積位相

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

定義 
 を位相空間の族とし、

とする。各  に対して、 を  から  への射影とする。そのとき、射影の族  によって  から  を  の直積位相（またはチコノフ位相）といい、位相空間  を  の直積空間という。定義より、直積位相  は、任意の  に対して  が  から  への連続写像となるような  上の位相の一つであり、そのような位相の中で最も。

直積位相での開集合は  の形の集合の（有限個または無限個の）合併である。ここで各  は  の開集合で、有限個の  に対してのみ  である。

特に、 が有限集合  のときは、直積位相  の基底として

をとることができる。

 上の直積位相は、 を  の元、 を  の開集合として、  の形の集合によって生成された位相である。言い換えると、集合  は  上の位相の準開基をなす。 の部分集合が開であることと  の形の有限個の集合の交叉の（無限個でもよい）合併であることは同値である。 を open cylinder, それらの共通部分を cylinder set と呼ぶことがある。

一般に、各  の開集合の「単なる直積」全体は  上のと呼ばれるものの開基を成す。一般に、箱位相は積位相よりも細かいが、有限積に対しては一致する。

例 
 個の 1 次元ユークリッド空間  から作られる直積空間  は、 次元ユークリッド空間  に等しい。（ただし、ユークリッド空間の位相はである。）

カントール集合は離散空間 {0, 1} の可算個のコピーの積に同相であり、無理数全体からなる集合は自然数全体からなる集合（再び各コピーは離散位相を持っている）の可算個のコピーの積に同相である。

性質 
位相空間の族  の直積空間  が与えられたとする。

直積空間  は、射影と合わせて、次の普遍性によって特徴づけることができる。 が位相空間で、すべての  に対して  が連続写像であれば、ちょうど1つの連続写像  が存在して、すべての  に対して、以下の図式が可換図式となる：

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

任意の  に対して、射影  は開写像である。逆は正しくない。 が直積空間の部分空間であってすべての  への射影が開であっても、 が  において開とは限らない。（例えば  を考えよ。） は一般には閉写像でない。（例えば、2 つの  の直積空間  について、 は  の閉集合であるが、 は  の閉集合でない。）

直積空間における閉包と内部について次のことがいえる。任意の  に対して  であるような集合族  に対して、

が成り立つ。 が有限集合  のときは、 であるような集合  に対して、

が成り立つ。

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

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

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

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

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

関連項目 
直和 (位相空間論)

商位相空間
部分位相空間

脚注

参考文献 

位相空間
一般位相
二項演算
数学に関する記事