積位相

位相幾何学とその周辺において、直積空間（ちょくせきくうかん、）とは位相空間の族の直積に直積位相 (product topology) と呼ばれるを入れた空間のことである。この位相は他の、もしかするとより明らかな、と呼ばれる位相とは異なる。箱位相も直積空間に与えることができ、有限個の空間の直積では直積位相と一致する。しかしながら、直積位相は位相空間の圏における圏論的積であるという意味で「正しい」位相である。（一方箱位相は細かすぎる。）これが直積位相が「自然」であるという意味である。
定義.
 を位相空間の族とし、
とする。各 に対して、 を から への射影とする。そのとき、射影の族 によって から を の直積位相（またはチコノフ位相）といい、位相空間 を の直積空間という。定義より、直積位相 は、任意の に対して が から への連続写像となるような 上の位相の一つであり、そのような位相の中で最も。
直積位相での開集合は formula_1 の形の集合の（有限個または無限個の）合併である。ここで各 は の開集合で、有限個の に対してのみ である。
特に、 が有限集合 のときは、直積位相 の基底として
をとることができる。
 上の直積位相は、 を の元、 を の開集合として、 の形の集合によって生成された位相である。言い換えると、集合 は 上の位相の準開基をなす。 の部分集合が開であることと の形の有限個の集合の交叉の（無限個でもよい）合併であることは同値である。 を , それらの共通部分を と呼ぶことがある。
一般に、各 の開集合の「単なる直積」全体は 上のと呼ばれるものの開基を成す。一般に、箱位相は積位相よりも細かいが、有限積に対しては一致する。
例.
 個の 1 次元ユークリッド空間 から作られる直積空間 は、 次元ユークリッド空間 に等しい。（ただし、ユークリッド空間の位相はである。）
カントール集合は離散空間 {0, 1} の可算個のコピーの積に同相であり、無理数全体からなる集合は自然数全体からなる集合（再び各コピーは離散位相を持っている）の可算個のコピーの積に同相である。
性質.
位相空間の族 の直積空間 が与えられたとする。
直積空間 は、射影と合わせて、次の普遍性によって特徴づけることができる。 が位相空間で、すべての に対して が連続写像であれば、"ちょうど1つの"連続写像 が存在して、すべての に対して、以下の図式が可換図式となる：
これは直積空間が位相空間の圏における積であることを示している。上の普遍性から写像 が連続であることと がすべての に対して連続であることが同値であることが従う。多くの場合において component function が連続であることを確認する方が易しい。写像 が連続であるかどうかを確認することは通常より難しい。 が連続であるという事実を何らかの方法で使おうとする。
任意の に対して、射影 は開写像である。逆は正しくない。 が直積空間の部分空間であってすべての への射影が開であっても、 が において開とは限らない。（例えば を考えよ。） は一般には閉写像でない。（例えば、2 つの の直積空間 について、 は の閉集合であるが、 は の閉集合でない。）
直積空間における閉包と内部について次のことがいえる。任意の に対して であるような集合族 に対して、
が成り立つ。 が有限集合 のときは、 であるような集合 に対して、
が成り立つ。
直積位相は次の事実により"各点収束の位相" (topology of pointwise convergence) とも呼ばれる。 における点列（あるいはネット）が収束することとその空間 へのすべての射影が収束することは同値である。とくに、 上のすべての実数値関数からなる空間 を考えると、直積空間における収束は関数の各点収束と同じである。
直積位相についての重要な定理はチコノフの定理である： 任意のコンパクト空間族の直積空間はコンパクトである。これは有限個のコンパクト空間の場合について示すのは容易だが、一般の場合の主張は選択公理と同値である。
選択公理.
選択公理は、空でない集合たちの族の積が空でないという主張と同値である。証明は十分簡単である。各集合から元を選んで積において代表元を見つけるだけでよい。逆に、積の代表元は各成分からの元をちょうど1つずつ含む集合である。
選択公理は積空間の研究において再び現れる。例えば、コンパクト集合に関するチコノフの定理は選択公理と同値なより複雑かつ微妙な主張の例である。