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