位相・幾何の格好いい用語30選|メビウスの帯・クラインの壺・毛玉の定理

メビウスの帯、クラインの壺、毛玉の定理。奇妙な名前の奥にある「つながり」と「変形」を30の用語で紹介します。境界・向き・穴・距離の違いを、小さな例と混同しやすい点から読み解きます。

空間を比べるための言葉

1.トポロジー

とぽろじー / topology 位相幾何学

長さや角度より、連続性やつながりなどの性質に注目して空間を調べる数学です。曲げ伸ばししても残る特徴という説明が入口ですが、どんな変形を許すかを明示することが必要です。

具体例:円周を切らずに楕円の輪へ変えると、長さや曲率が変わっても同相という関係で比べられます。

混同しやすい点:相似のように角度や長さの比を保つ条件とは違います。どんな潰し方でも同じ扱いになるわけではなく、同相とホモトピー同値でも基準が異なります。面白い見た目だけでなく、保つ性質を言葉にします。

2.同相

どうそう / homeomorphism

二つの空間の間に、一対一で全体を対応させる連続写像があり、その逆写像も連続である関係です。位相的に同じ空間として扱うための基本的な基準になります。

具体例:円周と楕円の輪は同相です。点を飛ばしたり重ねて潰したりせず、両方向へ連続に対応させられることを考えます。

混同しやすい点:大きさや角度は保つ必要がありません。一方、一方向の連続写像があるだけでは足りません。円板を一点へ潰す写像は連続でも逆の対応が作れず、両者は同相ではありません。相似より広く、無条件な変形より厳しい基準です。

3.位相不変量

いそうふへんりょう / topological invariant

同相な空間では同じ値や構造になる特徴です。空間が同じでないことを示したり、分類を進めたりするために使います。連結成分の数、オイラー標数、基本群などが例になります。

具体例:オイラー標数が球面では2、トーラスでは0なら、その違いから同相ではないと分かります。

混同しやすい点:不変量が同じなら必ず同相、とは限りません。トーラスとクラインの壺は同じ標数0でも違う曲面です。何を区別でき、何は区別できない量なのかを把握することが、不変量を使う際の大切な一歩になります。

4.連結性

れんけつせい / connectedness

空間を二つの空でない互いに分離した開集合へ分けられない性質です。直感的には、空間全体が切り離された複数の部分に分かれていないことを捉えます。

具体例:一本の区間は連結ですが、離れた二つの区間を合わせた空間は連結ではありません。どの点を含めるかで結果が変わります。

混同しやすい点:任意の二点を道で結べる弧状連結性とは、一般には異なります。身近な図では一致しやすくても、すべての位相空間で同じとしないようにします。また「穴がない」とも別で、円周は連結でも輪を一点に縮められません。

5.単連結

たんれんけつ / simply connected

弧状連結で、空間内のどんな閉じた道も連続的に一点へ縮められる性質です。「穴がない」という比喩が使われますが、道の縮め方を指定した定義で捉えると混乱を避けられます。

具体例:円板の中の輪は一点へ縮められます。原点を除いた平面では、原点を一周する道を、原点を通らず一点へ縮めることはできません。

混同しやすい点:球面は単連結ですが、中空の表面なので日常語では穴や空洞を連想します。高次元の空洞まで全て否定する意味ではありません。どの次元の道や穴を見ているかを区別する言葉です。

不思議な曲面とその性質

6.コンパクト性

こんぱくとせい / compactness

どんな開被覆からも有限個を選んで全体を覆えるという性質です。抽象的な定義ですが、ユークリッド空間では閉じて有界な集合がコンパクトという判定が、身近な入口になります。

具体例:閉区間[0,1]はコンパクトです。連続関数はその上で最大値・最小値を取るので、最適な値が実際に存在する保証につながります。

混同しやすい点:有界であるだけでは足りず、開区間(0,1)は同じ意味ではコンパクトでありません。また閉かつ有界という判定を、あらゆる空間へそのまま持ち込みません。空間の種類と境界を含むかを確認します。

7.メビウスの帯

めびうすのおび / Mobius strip メビウスの輪

帯の端を半回転ひねってつないだ、非向き付け可能な曲面です。面全体に表裏を一貫して割り当てられず、縁をたどると一本の輪につながります。厚みを無視した数学の面を考えます。

具体例:中央をたどる線を描くと、一周で反対側だと思っていた場所へ来て、さらに進んで元へ戻ります。接着する向きが面の性質を変えます。

混同しやすい点:境界が一つであることと、向き付けできないことは別の性質です。また途中を切る操作はつながりを変えるので、同相を保つ曲げ伸ばしとは区別します。

メビウスの帯を詳しく読む

8.クラインの壺

くらいんのつぼ / Klein bottle クラインの瓶

境界がなく、非向き付け可能な曲面です。三次元で描くと首が胴を突き抜ける模型が有名ですが、抽象的な曲面ではその交差箇所の点を同じ点として貼り合わせるわけではありません。

具体例:長方形の対辺を、一組は向きをそろえ、もう一組は反転して同一視することで構成を考えられます。

混同しやすい点:三次元の模型の自己交差は、曲面上の穴や枝分かれではありません。四次元なら自己交差なく埋め込めます。メビウスの帯には境界があり、トーラスは向き付け可能という違いも比較の手掛かりです。

クラインの壺を詳しく読む

9.トーラス

とーらす / torus ドーナツ面

円周を二方向に組み合わせた、ドーナツの表面のような曲面です。連結で境界がなく向き付け可能であり、オイラー標数は0です。内部の詰まったドーナツ全体とは分けて考えます。

具体例:長方形の左右と上下を、それぞれ対応する向きで貼り合わせる模型を使うと、画面端から反対側へ戻る二方向の周期性を想像できます。

混同しやすい点:三次元のドーナツの絵にある内側の円と外側の円は、どちらも曲面上の道です。「穴が一つ」という直感だけで、基本群の二方向の巡りを一つにまとめないようにします。

10.向き付け可能性

むきづけかのうせい / orientability

局所で選んだ向きを、空間全体へ矛盾なくそろえて広げられる性質です。曲面では小さな時計回りの向きや、三次元内の面なら法線の向きを連続に選べるかというイメージが役立ちます。

具体例:球面やトーラスは向き付け可能です。メビウスの帯では一周した向きが反転するため、全体を同じ基準でそろえられません。

混同しやすい点:表面が見えるか、裏が隠れているかという視点の話とは別です。また境界の有無も独立に確認します。非向き付け可能な曲面にも、境界のある帯と、境界のないクラインの壺があります。

境界・変形・穴を調べる

11.境界

きょうかい / boundary

多様体の文脈では、その近傍が半空間の端のように見える点の集まりです。紙の円板なら縁の円、メビウスの帯なら一つにつながった縁が境界になります。

具体例:円板の内部の点には周囲全方向の小さな近傍がありますが、縁の点では片側で面が終わります。この局所的な違いを考えます。

混同しやすい点:集合の境界という別の定義もあるため文脈を確認します。三次元空間内の球面を集合として見た境界と、球面を二次元多様体として見た境界は同じ話ではありません。球面は境界のない二次元多様体です。

12.ホモトピー

ほもとぴー / homotopy

一つの写像を別の写像へ、パラメータを使って連続に変えることです。輪を縮める図が入口になりますが、単に物体の形が似ることではなく、どの空間のどの写像をつなぐかを指定します。

具体例:平面の中の輪を一点へ縮める場合と、穴を避けながら穴を囲む輪を縮める場合を比べると、許す空間の違いが現れます。

混同しやすい点:同相は連続な一対一対応と逆写像を求めますが、ホモトピーでは途中で点を重ねる写像も扱います。道の端点を固定する条件があるかも重要です。

ホモトピーを詳しく読む

13.基本群

きほんぐん / fundamental group

ある基点から出て同じ点へ戻る道を、端点を固定したホモトピーで同じとみなし、道をつなぐ演算を入れた群です。空間内で輪がどう巡れるかを、代数的に記録します。

具体例:円周を一周、二周、逆向きに一周する道を考えると、巻く回数を整数で表す見方につながります。

混同しやすい点:単なる穴の個数ではありません。道をつなぐ順番が重要な空間もあり、一般には交換法則を満たしません。基点や連結性の条件を意識し、図の見た目だけで群の構造を即断しないようにします。

14.ホモロジー

ほもろじー / homology

閉じた鎖を、より高い次元の鎖の境界として埋まるものと区別し、空間のつながりを代数的に調べる方法です。道だけでなく、異なる次元の循環的な構造を扱えます。

具体例:円周そのものには輪を埋める円板が含まれませんが、円板全体を空間に含めれば輪はその境界として埋まります。

混同しやすい点:ホモトピーと似た名前でも同じ概念ではありません。また「穴を数える」という説明だけでは、係数の選び方やねじれなどを落とします。何を鎖とし、何を境界として割り引くかが中心です。

15.ベッチ数

べっちすう / Betti number

各次元のホモロジーの独立な成分の数を表す数です。適切な係数を使ったときの次元として捉えると、連結成分や独立な輪などを数える入口になります。

具体例:球面では0次が1、1次が0、2次が1となり、交互の和1−0+1=2がオイラー標数に対応します。

混同しやすい点:「すべての穴の数」という一つの数ではなく、次元ごとに分かれます。ベッチ数が一致しても空間が同相とは限りません。係数やねじれの情報の扱いもあり、形の完全な写真ではないことを覚えておきます。

数と定理で形を知る

16.オイラー標数

おいらーひょうすう / Euler characteristic

適切な分割で、頂点・辺・面などの数を交互に足し引きした位相不変量です。曲面ならχ=V−E+Fが基本となり、分割を細かくしても差し引きが保たれます。

具体例:立方体の表面では8−12+6=2。一つの面を対角線で分けると辺と面が一つずつ増え、値は変わりません。

混同しやすい点:立体の中身まで含める場合には三次元セルも数えます。球面とトーラスは標数で区別できますが、同じ0のトーラスとクラインの壺は区別できません。一致が同相の証明になるわけではありません。

オイラー標数を詳しく読む

17.種数

しゅすう / genus

連結で境界のない向き付け可能な曲面では、球面に付けた持ち手の数として捉えられる数です。球面は0、トーラスは1で、オイラー標数との関係χ=2−2gがあります。

具体例:ドーナツの表面にさらに一つの持ち手を加えた二重トーラスなら種数2で、標数は−2になります。

混同しやすい点:対象の向き付け可能性や境界の有無を確認します。非向き付け可能な曲面にも別の種数の流儀があるので、同じ公式を無条件に代入しません。平面の絵で穴に見える箇所だけを数えるより、曲面の種類を先に決めます。

18.ブラウワーの不動点定理

ぶらうわーのふどうてんていり / Brouwer fixed point theorem

閉じた球や円板を自分自身の中へ連続に写すと、f(x)=xとなる点が少なくとも一つ存在する定理です。境界を含むこと、連続であること、像が同じ領域内に入ることを一緒に読みます。

具体例:円板を回転させるなら中心が不動点です。一方、中心のない円周だけを少し回転させる写像には不動点がなく、対象の違いが重要です。

混同しやすい点:その点が安定で、近くの点が集まるとは限りません。また途中で一度も動かなかった点を保証する話でもなく、写像の前後が一致するという意味です。

ブラウワーの不動点定理を詳しく読む

19.毛玉の定理

けだまのていり / hairy ball theorem ハリネズミの定理

球面上に連続な接ベクトル場を置くと、どこかでベクトルが0になるという定理です。毛をすべて面に沿わせ、途切れずにとかし、どこでも0にしない配置は作れないという比喩で知られます。

具体例:球を回転させる速度の場なら、赤道付近では矢印があっても回転軸の両端で0になります。これは理解のための例で、一般的な証明そのものではありません。

混同しやすい点:球面に接する、連続、という条件が重要です。現実の髪や三次元の風へそのまま適用して、つむじや台風の数を決めることはできません。

毛玉の定理を詳しく読む

20.測地線

そくちせん / geodesic

曲面や曲がった空間で、局所的にまっすぐ進む道を一般化したものです。距離を測る構造に依存し、球面上では大円に沿う道が代表例になります。

具体例:地球を球とみなす模型で、二地点を結ぶ短い大円弧を考えます。平面の地図で曲がって見えても、球面上では自然な道になります。

混同しやすい点:十分短い区間では最短経路になりますが、測地線の長い区間が常に全体で最短とは限りません。またトポロジーが同じでも距離の与え方が違えば測地線は変わります。つながりと計量の違いを示す言葉です。

21〜30:名前の奥へ、もう一歩

21.ボルスク=ウラムの定理

ぼるすくうらむのていり / Borsuk–Ulam theorem

n次元球面からn次元ユークリッド空間への連続写像には、互いに反対側の二点を同じ値へ写す組がある、という定理です。連続性と、空間の次元の組合せが重要になります。

具体例:球面上の温度と気圧を連続な二つの値とみなす理想模型では、地球の反対側どうしで両方が一致する点の組がある、という比喩ができます。二つの量を同時にそろえるのが特徴です。

混同しやすい点:任意の三つ四つの量まで同時に一致するとは言っていません。また現実の地形や不連続を含む測定へ、そのまま厳密な結論を当てはめません。特定の場所を簡単に計算する方法を与える定理でもありません。

22.ホップ写像

ほっぷしゃぞう / Hopf map Hopf fibration

三次元球面S³から通常の二次元球面S²への写像で、行き先の一点に対応する元の点の集まりが円になるものです。空間を円の集まりとして捉える、不思議なつながりを示します。

具体例:S³の異なる二つのファイバーの円は、互いにリンクした関係を持ちます。三次元への射影図で多数の輪が絡む様子を見ると、単純に輪を横へ積み重ねた構造ではないことが分かります。

混同しやすい点:S³は四次元ユークリッド空間内の球面として表せる三次元の空間で、普通のボールの表面S²とは違います。三次元で描いた輪の図は射影や模型であり、元の空間を歪みなく丸ごと見たものではありません。

23.射影平面

しゃえいへいめん / real projective plane RP²

実射影平面は、三次元空間の原点を通る直線を一つの点とみなした空間です。球面上の正反対の二点を同一視する、という作り方でも表せます。向き付けできない閉じた曲面です。

具体例:原点から伸びる向きについて、正方向と逆方向を同じ直線として扱います。球面の二点をペアにして一つへまとめるため、普通の球面とはつながりの性質が変わります。

混同しやすい点:単なる遠近法の絵や平らな紙ではありません。三次元空間の中へ自己交差なしに埋め込むことはできないため、図の交差をそのまま抽象的な曲面の交差と解釈しないようにします。

24.結び目

むすびめ / knot

数学では、輪になった紐を三次元空間へ自己交差なしに置いた形を考え、切ったり他の部分を通り抜けたりせず変形できるかで分類します。端のない閉じた輪であることが基本です。

具体例:単純な輪と三葉結び目は、許された変形だけでは同じにできません。平面に描くと交差が現れますが、どちらが上を通るかを示して、三次元の配置の情報を残します。

混同しやすい点:紙の図の交点の数は描き方で変わります。見た目の交差が多いだけで別の結び目とは限らず、不変量などを使って調べます。複数の輪の絡まりはリンクと呼び、一つの輪の結び目と区別します。

25.ガウス=ボンネの定理

がうすぼんねのていり / Gauss–Bonnet theorem

曲面の曲がり方を全体で積分した値と、オイラー標数という位相的な量を結び付ける定理です。境界のないコンパクトな向き付け可能曲面では、ガウス曲率の積分が2πχになります。

具体例:球面のオイラー標数は2なので、曲率の積分は4πです。一方、トーラスではχ=0となります。大きさや局所の曲がり方を変えても、全体の関係が保たれる点が面白いところです。

混同しやすい点:トーラスの曲率がどこでもゼロという意味ではありません。正と負の寄与が相殺される場合があります。境界や角を持つ領域では追加の項が必要で、条件を省いて同じ式を使うことはできません。

26.多様体

たようたい / manifold

十分小さな範囲ではユークリッド空間の一部のように見える空間です。全体の形が複雑でも、局所的な座標を貼り合わせて調べられることが基本になります。

具体例:地球の表面を小さな地図で表す比喩が使えます。全体は球面でも、近所だけなら二つの座標で場所を示せます。複数の地図の重なる場所で、座標のつながり方を指定します。

混同しやすい点:全体が平らであるという意味ではありません。また微分を扱うには座標変換の滑らかさなどを加え、位相多様体と微分可能多様体を区別します。境界を許すかどうかも定義の一部です。

27.被覆空間

ひふくくうかん / covering space

ある空間を、局所的には同じ形の複数のシートで覆うように写す空間です。元の各点の小さな近傍を取り出すと、上側では重ならない近傍の集まりに分かれる性質を持ちます。

具体例:実数直線を角度として円周へ巻き付ける写像を考えます。角度を一周増やすと同じ円周上の点に戻りますが、直線上では別の場所にいます。円の周回をほどいて調べる見方です。

混同しやすい点:単に紙を上からかぶせる意味ではありません。枝分かれする点がある写像は、そこで通常の被覆の条件を満たさない場合があります。基本群や経路の持ち上げを考える際に、局所的な条件が重要になります。

28.変形レトラクト

へんけいれとらくと / deformation retract

空間全体を連続的に動かし、ある部分空間へ縮める一方、その部分の点は動かさないという関係です。空間のホモトピー的な性質を、より簡単な部分で調べるのに役立ちます。

具体例:厚みのある円環を、その真ん中の円周へ半径方向に縮める模型が例です。円環には幅がありますが、輪を一周する構造を円周に残したまま簡略化できます。

混同しやすい点:同相という意味ではありません。円環と円周は局所的な次元が違い、一対一の連続な逆写像では対応しません。また穴を塞いだ円板を、その境界の円へ同じ条件で縮めることはできません。

29.基本領域

きほんりょういき / fundamental domain

対称変換や同一視によって同じと扱う点から、代表を集めた領域です。境界をどう貼り合わせるかも含めることで、複雑な空間を一枚の図として考えられます。

具体例:正方形の左右、上下の辺を対応する向きで貼り合わせるとトーラスを表せます。図は平らでも、辺の向こう側へ進んだときにどこへ戻るかという規則が、空間のつながりを決めます。

混同しやすい点:領域の形だけでは元の空間は決まりません。同じ正方形でも貼り合わせる向きを変えると別の曲面になります。境界上の重複の扱いや、どの対称変換を使うかを省かずに示します。

30.ポアンカレ予想

ぽあんかれよそう / Poincaré conjecture

閉じた単連結な三次元多様体は、三次元球面S³と同相であるという主張で、現在は証明された定理です。三次元空間の形を、その中の輪を縮められるかという性質から特徴付けます。

具体例:普通の球面S²では輪を一点へ縮められるという直感があります。その一つ上の次元で、閉じた三次元多様体にも対応する特徴付けができるかを問うものです。

混同しやすい点:任意の三次元の物体が丸い球になるという話ではありません。閉じたという条件はここではコンパクトで境界がないことを意味し、S³も普通のボールの表面とは次元が異なります。宇宙の形を無条件に決定する主張でもありません。

同相とホモトピー同値

同相とホモトピー同値の違い
比べる点同相ホモトピー同値
条件連続な全単射と連続な逆写像往復が恒等写像へ連続変形できる
円環と円周局所次元が違い同相でない円環を円周へ縮められる
残る情報位相的な空間全体の構造より粗い変形の型

参考資料

同相と相似

関係保つもの例
同相連続な一対一対応と連続な逆写像円周と楕円の輪
相似角度や長さの比など大きさだけを変えた同じ形

トポロジーとユークリッド幾何

見方主な関心変形の例
トポロジーつながり、連続性、境界など伸縮で長さが変わっても同相になり得る
ユークリッド幾何距離、角度、平行など合同や相似ではそれぞれ保つ条件がある

参考資料