位相空間論を学ぶうえで、「直積位相（積位相）」は避けて通れない重要な概念です。
二つの位相空間を「掛け合わせる」ことで新たな位相空間を作り出す直積位相は、数学の多くの場面で登場します。
しかし、定義が抽象的であるため、初めて学ぶ方にはとっつきにくく感じることも多いでしょう。
本記事では、直積位相の定義から基本的な性質、連続写像との関係まで、具体例を交えてわかりやすく解説していきます。
直積位相とは「最も粗い位相」として定義される
それではまず、直積位相（積位相）の定義とその本質的な意味について解説していきます。
直積位相とは、二つの位相空間X, Yの直積集合X×Yに対して定義される位相で、両方の射影写像を連続にする最も粗い位相のことです。
「最も粗い位相」という表現が重要です。
「粗い」とは、開集合が少ない（位相が弱い）ことを意味します。
射影写像π₁: X×Y → XとπY₂: X×Y → Yをともに連続にするという条件を満たす位相のうち、最も開集合が少ないものが直積位相です。
【直積位相の形式的な定義】
位相空間(X, τ_X)と(Y, τ_Y)の直積位相τは、
・π₁⁻¹(U) = U × Y（U ∈ τ_X）
・π₂⁻¹(V) = X × V（V ∈ τ_Y）
という形の集合を準開基（subbasis）として生成される位相。
これらの有限個の交叉が開基（basis）を構成します。
準開基とは、有限交叉を取ることで開基を生成する集合族のことです。
そして開基から任意の和集合を取ることで、すべての開集合が得られます。
直積位相の開集合とはどのようなものか
直積位相における開集合の具体的なイメージを持つことが、理解の第一歩です。
最も基本的な開集合は「積開集合」または「基本開集合」と呼ばれ、U × V（U∈τ_X, V∈τ_Y）という形をしています。
しかし、直積位相の開集合はこれだけではありません。
直積位相の開集合は、基本開集合U × Vの任意の和集合として表現される集合全体です。
つまり、開集合は必ずしも「箱型（直積型）」である必要はなく、そのような箱型集合の和集合であればよいのです。
【ℝ² = ℝ × ℝ での具体例】
ℝ×ℝの直積位相は標準的なユークリッド位相と一致します。
基本開集合：(a, b) × (c, d)（開区間の直積 = 開長方形）
開集合の例：開長方形の和（例：二つの離れた開長方形の和集合）
開円板D = {(x,y) | x²+y² ＜ 1}も直積位相の開集合（開長方形の和で表現可能）
ℝ²の場合、直積位相はユークリッド位相（通常の距離から定義される位相）と一致します。
これは直積位相が私たちの直感と整合的な概念であることを示しています。
直積位相の開基と準開基
直積位相を理解するうえで、開基と準開基の概念を整理しておきましょう。
| 概念 | 定義 | 直積位相での具体例 |
|---|---|---|
| 準開基（subbasis） | 有限交叉の全体が開基を生成する集合族 | U×Y と X×V の全体 |
| 開基（basis） | 任意の開集合が和集合で表せる集合族 | U×V（U∈τ_X, V∈τ_Y）の全体 |
| 開集合（open set） | 開基の元の任意の和集合 | 任意個の基本開集合U×Vの和集合 |
準開基から開基を作るには有限交叉を取り、開基から位相（開集合の全体）を生成するには任意の和集合を取ります。
直積位相の開基が「開集合どうしの直積U×V」で構成されるという事実は、積空間を扱う際の最も基本的な知識です。
直積位相と箱型位相の違い
直積位相と混同されることが多い概念として「箱型位相（box topology）」があります。
箱型位相では、∏ᵢ∈I Uᵢ（各Uᵢが開集合）の全体を開基とします。
有限個の直積の場合、直積位相と箱型位相は一致しますが、無限個の直積では異なります。
【直積位相と箱型位相の比較】
■ 直積位相：∏ᵢ∈I Uᵢ（ほぼすべてのiでUᵢ = Xᵢ）を開基とする
→ 有限個以外の成分は必ずXᵢ全体（制限が緩やか）
■ 箱型位相：∏ᵢ∈I Uᵢ（すべてのiでUᵢが開集合）を開基とする
→ すべての成分に独立に開集合を指定（制限が厳しい）
【重要】チコノフの定理が成立するのは直積位相のみ。箱型位相では成立しない。
無限直積においては直積位相のほうが「粗い」（開集合が少ない）ため、より良い位相的性質を持ちます。
これがチコノフの定理（コンパクト空間の直積はコンパクト）が直積位相でのみ成立する理由です。
直積位相の基本的な性質
続いては、直積位相が持つ基本的な性質について確認していきます。
直積位相には、位相空間論の重要な定理が多く関係しています。
チコノフの定理と直積位相
チコノフの定理は直積位相に関する最も重要な定理のひとつです。
【チコノフの定理】
コンパクト位相空間の任意の直積は（直積位相のもとで）コンパクトである。
すなわち、{Xᵢ}ᵢ∈I が各々コンパクト空間であれば、∏ᵢ∈I Xᵢ もコンパクト。
この定理の証明には選択公理（または同値なツォルンの補題）が必要です。
また、チコノフの定理は選択公理と同値であることも知られています。
チコノフの定理は、有限個のコンパクト空間の直積がコンパクトであることの自明な一般化のように見えますが、無限個の場合は非自明で深い結果です。
この定理は関数解析・確率論・数理経済学など幅広い分野で応用される、位相空間論の金字塔的な定理です。
直積位相の分離公理
分離公理とは、位相空間がどの程度「点を分離できるか」を表す性質です。
直積位相においては、分離公理が成分に遺伝するという重要な性質があります。
| 分離公理 | 直積での成立条件 | 具体例 |
|---|---|---|
| T₀（コルモゴロフ空間） | 各成分がT₀ ⟺ 直積がT₀ | ザリスキー位相の積 |
| T₁空間 | 各成分がT₁ ⟺ 直積がT₁ | 有限補位相の積 |
| ハウスドルフ空間（T₂） | 各成分がT₂ ⟺ 直積がT₂ | ℝ × ℝ = ℝ² |
| 正則空間（T₃） | 各成分がT₃ ⟺ 直積がT₃ | ℝⁿ（任意のn） |
| 完全正則空間（T₃½） | 各成分がT₃½ ⟺ 直積がT₃½ | コンパクトハウスドルフ空間の積 |
特に重要なのはハウスドルフ性（T₂）の遺伝性です。
X, Yがともにハウスドルフ空間であれば、X × Yも直積位相のもとでハウスドルフ空間になります。
これは「直積空間において任意の二点を開集合で分離できる」という性質が保たれることを意味しています。
直積位相における閉集合と境界
直積位相における閉集合についても整理しましょう。
直積位相の閉集合は、開集合の補集合として定義されます。
【直積位相の閉集合の例（ℝ²の場合）】
開長方形 (a,b) × (c,d) の補集合：閉集合（長方形の外側の全体）
閉長方形 [a,b] × [c,d]：閉集合
閉円板 {(x,y) | x²+y² ≤ 1}：閉集合
グラフ {(x, f(x)) | x∈ℝ}：連続関数fのグラフはℝ²の閉集合
一般に、F ⊆ X が閉集合であれば F × Y ⊆ X × Y も閉集合になります。
また、F₁ × F₂（F₁ ⊆ X, F₂ ⊆ Y が閉集合）は X × Y の閉集合です。
直積位相と連続写像の関係
続いては、直積位相と連続写像の関係について確認していきます。
直積位相の定義において「連続写像」の概念が中心的な役割を担っています。
射影写像の連続性と普遍性
直積位相は「射影写像を連続にする最も粗い位相」として定義されていました。
この定義から、射影写像の連続性は自動的に保証されます。
π₁: X×Y → X は連続写像であり、π₂: X×Y → Y も連続写像です。
さらに重要なのは「普遍性」です：写像f: Z → X×Yが連続であることと、π₁∘f: Z→X とπ₂∘f: Z→Y がともに連続であることは同値です。
この性質を「直積位相の普遍性」と呼びます。
【直積位相の普遍性の図式】
任意の位相空間Zと連続写像f: Z → Xおよびg: Z → Yに対して、
一意的な連続写像h: Z → X×Y が存在して、
π₁∘h = f かつ π₂∘h = g が成立する。
（h(z) = (f(z), g(z)) と定義される写像がそれです。）
この普遍性は、直積位相が「最も粗い位相」として特徴づけられることの位相論的な言い換えです。
連続写像と直積空間での定理
連続写像と直積位相に関する重要な定理をいくつか紹介しましょう。
| 定理名 | 内容 | 応用 |
|---|---|---|
| 対角写像の連続性 | Δ: X → X×X, x↦(x,x) は連続 | ハウスドルフ空間の対角集合が閉集合 |
| 積写像の連続性 | f×g: X×Y → X’×Y’ が連続 ⟺ f, g がともに連続 | 二変数関数の連続性判定 |
| グラフの閉性 | Yハウスドルフ, f連続 ⟹ グラフΓ(f)はX×Yの閉集合 | 連続関数のグラフの解析 |
| コンパクト性の保存 | チコノフの定理：コンパクト空間の直積はコンパクト | 関数解析・確率論への応用 |
対角写像の連続性から「X がハウスドルフ空間 ⟺ 対角集合 Δ(X) が X×X の閉集合」という美しい同値条件が導かれます。
これはハウスドルフ性の位相論的な特徴づけとして重要です。
積空間における連続関数の例
具体例として、ℝ² = ℝ × ℝ上の連続関数を考えてみましょう。
【ℝ²上の連続関数の例】
加法 +: ℝ × ℝ → ℝ, (x,y) ↦ x+y は連続（ℝ² → ℝの連続写像）
乗法 ×: ℝ × ℝ → ℝ, (x,y) ↦ xy は連続
距離関数 d: ℝ² → ℝ, (x,y) ↦ √(x²+y²) は連続
射影 π₁: ℝ² → ℝ, (x,y) ↦ x は連続（直積位相の定義による）
これらの連続性は日常的に当たり前に使っている性質ですが、直積位相の枠組みで厳密に保証されているものです。
実数の加法と乗法が連続であることが、実数の代数的・解析的な良い性質の基盤になっています。
直積位相の発展的なトピック
続いては、直積位相に関連する発展的なトピックについて確認していきます。
より高度な数学では、直積位相の概念がさまざまな形で拡張・応用されています。
無限直積位相と関数空間
無限個の位相空間の直積では、直積位相の定義が特に重要な意味を持ちます。
【関数空間としての無限直積】
添字集合Iと位相空間Yに対して、
∏ᵢ∈I Y = Y^I ≅ {f: I → Y | fはI上の関数}（関数空間）
特に、Yが{0,1}の場合：
{0,1}^ℕ ≅ カントール空間（ℕ上の0,1値関数の全体）
{0,1}^ℝ ≅ すべての部分集合の「特性関数」に対応
このように、無限直積空間は関数空間として解釈できます。
関数空間への直積位相の導入は、解析学における弱位相・狭義弱位相の概念の基礎にもなっています。
商位相・部分位相との比較
直積位相を理解するうえで、関連する位相構成（商位相・部分位相）と比較することも有益です。
| 位相の種類 | 定義の方針 | 関連する写像の連続性 |
|---|---|---|
| 直積位相 | 射影写像を連続にする最も粗い位相 | 射影写像が連続になる |
| 部分位相（相対位相） | 包含写像を連続にする最も粗い位相 | 包含写像が連続になる |
| 商位相 | 商写像を連続にする最も細かい位相 | 商写像が連続になる |
| 帰納的極限位相 | 包含写像を連続にする最も細かい位相 | 包含写像が連続になる |
直積位相と部分位相はいずれも「最も粗い位相」として定義される点で共通していますが、関連する写像の種類が異なります。
商位相は逆に「最も細かい位相」として定義されるため、対照的な位置づけにあります。
直積位相の圏論的理解
圏論の観点では、直積位相は位相空間の圏における「積対象（product object）」として特徴づけられます。
これは普遍性によって一意的に定まる概念で、「最も粗い位相」という定義と一致します。
位相空間の圏における積は直積位相を持つ積空間であり、射影写像が普遍性を満たす射（連続写像）として機能します。
この圏論的な理解は、直積位相がなぜ「自然な」位相構成であるかを説明してくれます。
圏論では、さまざまな数学的対象の「積」が同じ普遍性の言葉で統一的に記述され、直積位相はその一例に過ぎません。
群の直積、環の直積、ベクトル空間の直積も、すべて同じ圏論的パターンで理解できます。
まとめ
本記事では、直積位相（積位相）の定義から、開集合・閉集合の性質、連続写像との関係、チコノフの定理、無限直積への拡張まで、幅広く解説してきました。
直積位相とは、二つの位相空間X, Yの直積X×Yに対して、射影写像を連続にする最も粗い位相として定義される位相です。
開集合は基本開集合U×V（U∈τ_X, V∈τ_Y）の任意の和集合として表現され、ℝ²においてはユークリッド位相と一致します。
チコノフの定理によって、コンパクト空間の任意の直積は直積位相のもとでコンパクトになるという、位相空間論の金字塔的な結果が保証されています。
連続写像については「f: Z→X×Yが連続 ⟺ π₁∘fとπ₂∘fがともに連続」という普遍性が成立します。
また、ハウスドルフ性や正則性などの分離公理も直積で保存されます。
直積位相の理解は、現代数学の多くの分野への理解を大きく深める第一歩となるでしょう。
