収束の一意性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/04 05:30 UTC 版)
一般の位相空間において有向点族の収束の一意性は必ずしも成立しないものの、収束の一意性が保証される必要十分条件は下記のように記述できる事が知られている: 定理・定義 (ハウスドルフ性) ― 位相空間 ( X , O ) {\displaystyle (X,{\mathcal {O}})} において、下記の2つの性質は同値である。これらの性質の1つ(したがって両方を満たす事)をハウスドルフ性もしくはハウスドルフの分離公理といい、ハウスドルフ性が成り立つ位相空間をハウスドルフ空間もしくはT2-空間という。 X上の任意の有向点族 ( x λ ) λ ∈ Λ {\displaystyle (x_{\lambda })_{\lambda \in \Lambda }} に対し、 ( x λ ) λ ∈ Λ {\displaystyle (x_{\lambda })_{\lambda \in \Lambda }} が収束すればその収束先は一意である。 X上の任意の2点x、yに対し、xの開近傍Uと、yの開近傍Vが存在しU∩V'=∅ なお、ハウスドルフ性は数ある「分離公理」の一つであり、「T2-空間」という名称も「T1-空間」や「T3-空間」といった他の分離公理と区別するための名称である。詳細は本項の分離公理の説明や分離公理の項目を参照されたい。
※この「収束の一意性」の解説は、「位相空間」の解説の一部です。
「収束の一意性」を含む「位相空間」の記事については、「位相空間」の概要を参照ください。
- 収束の一意性のページへのリンク