自明位相とは何か
自明位相(または最小位相)とは、集合 X に定義できる最も単純な位相のことです。空集合と集合そのものの二つだけを含みます。$$ T = \{ \emptyset , X \} $$
これは「自明」と呼ばれる通り、集合に与えられる位相構造の中で最も基本的で、これ以上単純化できない構成です。
自明位相は、空集合 Ø と集合 X のみから構成されており、実質的には X の不適部分集合だけを含んでいます。
基本的な考え方
空でない集合 X に自明位相 T を与えると、次のような単純な構造が得られます。
$$ (X, T) $$
このとき、T は空集合と集合 X の二つの要素から成ります。
$$ T = \{ \emptyset , X \} $$
この定義だけで、位相の三つの基本条件をすべて自然に満たします。
位相の三つの条件
集合 X 上の位相 T が成立するためには、次の条件を満たす必要があります。
- 空集合 Ø と全体集合 X が T に含まれている。
- T に含まれる開集合の任意の和集合も T に属する。
- T に含まれる任意の二つの開集合の共通部分も T に属する。
位相 T = {Ø, X} はこれらの条件をすべて自動的に満たしています。
証明 定義より、空集合と X はすでに T に含まれます。
集合 X は開集合として扱われ、空集合も位相空間の公理により常に開集合とみなされます。
さらに、T には他の集合が存在しないため、どのような和集合や共通部分を考えても位相の条件を破ることはありません。
したがって、すべての位相公理が完全に成立します。
なぜ「最小位相」と呼ばれるのか
自明位相が最小位相と呼ばれるのは、集合 X に定義できる位相の中で最も単純で、これ以上削除できない構造だからです。
位相が最小であるとは、そこからいずれかの要素を取り除くと、もはや位相としての条件を満たさなくなることを意味します。
位相は必ず空集合 Ø と全体集合 X の二つを含まなければなりません。したがって、T = {Ø, X} はそれらだけを含む最小限の構成です。
もし空集合または X のいずれかを取り除けば、位相の条件を満たさなくなります。
このため、自明位相 T = {Ø, X} は、集合 X に定義できる最も単純かつ最小の位相です。
注 自明位相は理論的には非常に美しく簡潔な構成であり、位相空間論の基本概念を理解するうえで重要な役割を果たします。ただし、構造的な情報をほとんど持たないため、応用的な場面で利用されることはほとんどありません。位相の可能な形の中で「最小の極限」に位置し、その反対側には、集合 X のすべての部分集合を開集合とみなす離散位相が存在します。
(続く)