「有向点族」の版間の差分
削除された内容 追加された内容
編集の要約なし |
m →概要 |
||
9行目:
点列概念の一般化である有向点族の概念が導入された背景を説明するため、まず以下の基本的な問いを考える:「位相空間X上の位相構造に関する概念(例えば開集合や閉集合)を点列の極限によって特長づける事はできるか?」。もし答えが「できる」であれば、位相空間上の性質を点列という直観的に分かりやすい概念で表現できる事になるので、非常に有益である。実際[[距離空間]]の場合は閉集合や開集合を点列の極限で定義できる事が有益に働いていた。
結論から言えばXが[[第一可算公理]]を満たせばそのような特徴づけが可能であり、この場合例えばXの部分集合Aが閉集合である事はA内の点列の極限(もしあれば)が必ずAに属する事をもって特徴づけられる。
しかし第一可算公理という条件のない一般の位相空間の場合このような特徴づけができない例がある事が知られている。これは点列という概念がそもそも可算個の点の列として定義されている事と関係しており、可算個の点の列で位相構造をとらえられるよう、空間の方にも第一可算公理という可算性に関する条件を課す必要があるのである。
|