いくつかの事実についてとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > いくつかの事実についての意味・解説 

いくつかの事実について

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/10/14 01:23 UTC 版)

集積点」の記事における「いくつかの事実について」の解説

集積点特徴づけとして 「x が S の集積点となる必要十分条件は、x が S ∖ {x} の閉包含まれることである」 を挙げることができる。実際、ある点 y がある集合 T の閉包属することと y の任意の近傍が T と交わりを持つことが同値であるから、x の任意の近傍が x と異なる S の元を含む(⇔ x の任意の近傍が S ∖ {x} と交わる)という条件は、すなわち x が S ∖ {x} の閉包属すと言う条件他ならない。L(S) を S の集積点全体の成す集合とすると、S の閉包について 「S の閉包 cl(S) は S と L(S) との和集合等しい」 という特徴づけ得られる実際cl(S) ⊂ S ∪ L(S) について)、x が S の閉包属するとすると、x が S に属す場合は何もすることは無いが、そうでない場合は x の任意の近傍が S の点を含み、それは x と異なる(すなわち、x は S の集積点で L(S) に属す)。逆にcl(S) ⊃ S ∪ L(S) について)、S は明らかに S の閉包属し、L(S) の元 x についてはx の任意の近傍が(x と異なる)S の点を含むから、やはり x は S の閉包属する。また、この結果の系として、閉集合特徴づけ 「S が閉集合であるための必要十分条件は、S がその集積点全て含むことである」 が得られる実際、S が閉 ⇔ S = cl(S) ⇔ S = S ∪ L(S) となるが、これは L(S) は S に含まれるという条件他ならない。あるいは次のようにしても分かる。S が閉で x が S の集積点であるとき、もし x が S に属さないとすると S の開近傍で S の補集合包まれるものがあることになるが、それは S の点を含まないので x が S の集積点であったことに反する。逆に S が全ての集積点を含むとすると、S の補集合が開であることを示せる。実際、x を S の補集合の元とすると仮定により x は集積点でないから、x の開近傍 U で S と交わらないものが取れて、U は S の補集合包まれる。これは S の補集合各点成り立つから、S の補集合各点開近傍の和として書けることになり、S の補集合は開となる。 孤立点いかなる集合集積点にもならない実際、x が孤立点ならば {x} は x の近傍となるが、これは x 以外の点を含まない空間 X が離散的ならば任意の点が孤立点ゆえ、集積点を持つような X の部分集合存在しない。X が離散的でないとき、単元集合 {x} が開でないような点 x が存在するから、x の任意の開近傍は x と異なる点を含み、x は X の集積点となる。したがって位相空間 X が離散であるための必要十分条件は、X が集積点を持つ部分集合持たないことである。 空間 X が密着位相持ち、S が X の二元以上を含む部分集合とすると X の全ての元が S の集積点である。また S が単元集合場合も、X ∖ S の各点は S の集積点である。実際、S ∖ {x} が空でない限りその閉包自動的に X しかありえない一方、S ∖ {x} が空となるのは S が空であるか x が S の唯一の元であるときに限る。 定義により、任意の集積点触点である。

※この「いくつかの事実について」の解説は、「集積点」の解説の一部です。
「いくつかの事実について」を含む「集積点」の記事については、「集積点」の概要を参照ください。


いくつかの事実について

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/27 08:02 UTC 版)

次元 (ベクトル空間)」の記事における「いくつかの事実について」の解説

ベクトル空間 V の部分線型空間 W に対して dim(W) ≤ dim(V) が成り立つ。 二つ有限次元ベクトル空間等しいことを示すのに、次の判定規準利用できる。 V が有限次元ベクトル空間で W が V の部分線型空間とするとき、dim(W) = dim(V) ならば W = V成り立つ。 Rn標準的な基底 {e1, ..., en} を持つ。ただし ei単位行列の第 i-列に対応する。従って Rn次元は n である。 体 F 上の任意の二つベクトル空間は、その次元等しいならば互いに同型である。それらの基底の間の任意の全単射ベクトル空間の間の全単射線型写像一意的に拡張することができる。集合 B が与えられたとき、F 上の次元が(B の濃度) |B| であるようベクトル空間を、次のように作ることができる。写像 f: B → F で、有限個の例外を除く B の各元 b に対して f(b) = 0 となるようなものの全体 F(B) を取り、元ごとの和とスカラー倍によってこれらの写像の間の加法と F の元によるスカラー乗法定めれば、それが初期の F-ベクトル空間である。 次元についての重要な結果として、線型写像対す階数・退化次数定理挙げられる。 F/K を体の拡大とすると、拡大体 F は特に部分体 K 上のベクトル空間構造を持つ。さらに、任意の F-ベクトル空間 V は K-ベクトル空間と見ることもできる。これらのベクトル空間の次元は dimK(V) = dimK(F) dimF(V). なる関係によって結ばれている。特に任意の n-次元複素ベクトル空間実ベクトル空間として次元 2n を持つ。 ベクトル空間の次元について、基底濃度および空間自身濃度に関するいくつか簡単な公式が知られている。V を体 F 上のベクトル空間とし、その次元dim V で表すと dim V が有限ならば |V| = |F|dimV, dim V が無限ならば |V| = max(|F|, dim V), などが成立する

※この「いくつかの事実について」の解説は、「次元 (ベクトル空間)」の解説の一部です。
「いくつかの事実について」を含む「次元 (ベクトル空間)」の記事については、「次元 (ベクトル空間)」の概要を参照ください。

ウィキペディア小見出し辞書の「いくつかの事実について」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「いくつかの事実について」の関連用語

いくつかの事実についてのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



いくつかの事実についてのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの集積点 (改訂履歴)、次元 (ベクトル空間) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS