直積位相

ウィキペディア

積位相

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/12/22 16:58 UTC 版)

位相幾何学とその周辺において、直積空間（ちょくせきくうかん、英: product space）とは位相空間の族の直積に直積位相 (product topology) と呼ばれる自然な位相を入れた空間のことである。この位相は他の、もしかするとより明らかな、箱位相と呼ばれる位相とは異なる。箱位相も直積空間に与えることができ、有限個の空間の直積では直積位相と一致する。しかしながら、直積位相は位相空間の圏における圏論的積であるという意味で「正しい」位相である。（一方箱位相は細かすぎる。）これが直積位相が「自然」であるという意味である。

定義

( ( X_i , O_i ) ) _i∈I を位相空間の族とし、

$X=\prod _{i\in I}X_{i}$

これは直積空間が位相空間の圏における積であることを示している。上の普遍性から写像 f : Y → X が連続であることと f_i = p_i o f がすべての i ∈ I に対して連続であることが同値であることが従う。多くの場合において component function f_i が連続であることを確認する方が易しい。写像 f : Y → X が連続であるかどうかを確認することは通常より難しい。p_i が連続であるという事実を何らかの方法で使おうとする。

任意の i ∈ I に対して、射影 p_i : X → X_i は開写像である。逆は正しくない。W が直積空間の部分空間であってすべての X_i への射影が開であっても、W が X において開とは限らない。（例えば W = R×R \ (0,1)×(0,1) を考えよ。）p_i : X → X_i は一般には閉写像でない。（例えば、2 つの R の直積空間 R×R について、U = { ( x, y )∈R×R | xy = 1 } は R×R の閉集合であるが、p₁(U) = p₂(U) = R \{0} は R の閉集合でない。）

直積空間における閉包と内部について次のことがいえる。任意の i ∈ I に対して S_i ⊂ X_i であるような集合族 ( S_i ) _i∈I に対して、

$\left(\prod _{i\in I}S_{i}\right)^{a}=\prod _{i\in I}{S_{i}}^{a}$

が成り立つ。I が有限集合 I = { 1, 2, 3, …, n } のときは、S₁⊂X₁ , S₂⊂X₂ , … , S_n⊂X_n であるような集合 S₁ , S₂ , … , S_n に対して、

$\left(S_{1}\times S_{2}\times \cdots \times S_{n}\right)^{o}={S_{1}}^{o}\times {S_{2}}^{o}\times \cdots \times {S_{n}}^{o}$

が成り立つ。

直積位相は次の事実により各点収束の位相 (topology of pointwise convergence) とも呼ばれる。X における点列（あるいはネット）が収束することとその空間 X_i へのすべての射影が収束することは同値である。とくに、I 上のすべての実数値関数からなる空間 X = R^I を考えると、直積空間における収束は関数の各点収束と同じである。

直積位相についての重要な定理はチコノフの定理である： 任意のコンパクト空間族の直積空間はコンパクトである。これは有限個のコンパクト空間の場合について示すのは容易だが、一般の場合の主張は選択公理と同値である。

他の位相的概念との関係

• 分離性
  • T₀ 空間の任意の直積は T₀ である。
  • T₁ 空間の任意の直積は T₁ である。
  • ハウスドルフ空間の任意の直積はハウスドルフである。
  • 正則空間の任意の直積は正則である。
  • チコノフ空間の任意の直積はチコノフである。
  • 正規空間の直積は正規とは限らない。
• コンパクト性
  • コンパクト空間の任意の直積はコンパクトである（チコノフの定理）。
  • 局所コンパクト空間の直積が局所コンパクトとは限らない。しかしながら、有限個を除くすべてがコンパクトであれば局所コンパクトである。（この条件は必要かつ十分である。）
• 連結性
  • 連結（resp. 弧状連結）空間の任意の直積は連結（resp. 弧状連結）である。
  • hereditarily disconnected space の任意の直積は hereditarily disconnected である。

選択公理

選択公理は、空でない集合たちの族の積が空でないという主張と同値である。証明は十分簡単である。各集合から元を選んで積において代表元を見つけるだけでよい。逆に、積の代表元は各成分からの元をちょうど1つずつ含む集合である。

選択公理は積空間の研究において再び現れる。例えば、コンパクト集合に関するチコノフの定理は選択公理と同値なより複雑かつ微妙な主張の例である。

関連項目

• 直和 (位相空間論)
• 誘導位相
• Projective limit topology
• 商位相空間
• 部分位相空間

参考文献

• Willard, Stephen (1970). General Topology. Reading, Mass.: Addison-Wesley Pub. Co.. ISBN 0486434796. http://store.doverpublications.com/0486434796.html 2013年2月13日閲覧。 
• 松坂, 和夫 (1968), 集合・位相入門, 岩波書店, ISBN 978-4000054249 

ウィキペディア小見出し辞書

直積位相

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/07/09 02:19 UTC 版)

「補有限」の記事における「直積位相」の解説

位相空間族 Xi の直積上に定義される直積位相は、各 i について Ui ⊂ Xi なる開集合の直積 ∏ U i で、有限を除く全ての i について Ui = Xi であるようなものを開基にもつ。 （有限個の例外を除いて全空間に一致するという条件を外した）類似概念に箱位相がある。