位相空間における誘導位相と連続写像の関係：Og⊂Ofの意味

位相空間論では、写像 f:X→Y と g:Y→X が与えられたとき、Y 上に誘導される位相 Of と Og の関係を理解することが重要です。本記事では、Og⊂Of が f,g を連続にする理由を具体的に解説します。

誘導位相の定義

写像 f:X→Y に対して Y の誘導位相 Of は、Of={A⊂Y|f^(-1)(A)∈Ox} と定義されます。同様に g:Y→X に対する誘導位相 Og は Og={g^(-1)(V)|V∈Ox} です。これらはそれぞれ f と g が連続になるように最も粗い位相です。

Og⊂Of が成り立つ場合、Of の任意の開集合に対して f^(-1)(A)∈Ox が成り立つため、f は Of 上で連続です。また、Og⊂Of より g^(-1)(V)∈Of となり、Of 上で g も連続になります。

逆に、f,g が連続となる Y の位相 O が存在するとき、Og⊂O⊂Of が成り立ちます。これは Og⊂Of が Y 上に f,g を連続にする最も粗い位相であることを意味します。

まとめると、Og⊂Of が成り立つことは、Y 上に f,g を連続にする位相が存在することと同値です。Of は f,g を連続にする最小の位相であり、Og は g に対する誘導位相として f との連続性を保証する条件となります。従って Og⊂Of は連続性の必要十分条件として理解できます。