結び目 (数学)

結び目の理論

結び目は、数学における重要な概念であり、特に低次元位相幾何学の一分野を形成しています。これは、円周 S1 が三次元のユークリッド空間 E3 へ埋め込まれる様子を考察するもので、ホモトピーによる違いを除外して取り扱います。日常での結び目のイメージと異なり、数学的な結び目は閉じた曲線であり、始まりや終わりがありません。また、物理的な特性を持たず、摩擦や厚みを考慮しません。さらに、より高次の球面への埋め込みも結び目として認められることがあります。

結び目の厳密な定義

数学文献では、結び目は円周や一次元球面 S1 の三次元空間 R3 への埋め込みとして定義されます。他の文献では、結び目が三次元球面 S3 へ埋め込まれる場合も考慮されます。二つの結び目が同値であるのは、全同位変形が可能な時と定義され、これにより結び目の解析が行われます。

射影と同位類

結び目は三次元空間 R3 や S3 上に存在する時、平面 R2 や S2 へ射影できます。この射影は正則な場合がほとんどですが、一部の交差点が生じることがあります。この交差点に関する情報を保つことで、結び目の同位類に必要な情報を確保できます。特に、この正則射影の情報はグラフ理論において、上下の符牒を持つ4価平面グラフとして表現され、局所変形をライデマイスター移動と呼びます。

結び目の種類

最も基本的な結び目は、結ばれていない円であり、これは自明な結び目と称されます。一般に認識される非自明なものとして、三葉結び目や八の字結び目、五葉結び目などがあります。結び目は単一の成分を持つ絡み目の特例として考えられ、多数の結び目が絡まり合っている場合はそれらを絡み目と呼びます。

馴れているか野性的か

三次元空間内の結び目が折線結び目である場合、これは線分の有限集合から形成されています。折線結び目に同値な結び目は馴れた（tame）結び目と呼ばれ、馴れた結び目ではないものは野性の（wild）結び目と称されます。結び目理論や三次元多様体論においては、通常馴れた結び目が主に扱われ、単に結び目として言及されます。たとえば、滑らかに描写された結び目は常に馴れた結び目です。

太らせた結び目の概念

馴れた結び目からの発展として、太った結び目（framed knot）が考えられます。これは、中身のあるトーラス D2 × S1 の S3 への埋め込みです。ひねり数（framing）は、太らせた結び目に付随する帯状領域 I × S1 の絡み数を表します。太らせた結び目同士が同値であるためには、それぞれのトーラスにおいて同位である必要があります。

結び目補空間の定義

三次元の球面内に埋め込まれた結び目を与えると、その結び目補空間は結び目の点を除く全ての点の集合を指します。ゴードン–リュークの定理により、同相な補空間を持つ結び目は、元の結び目とその鏡像のみであることが示されています。これにより、結び目の研究はその補空間の解析に置き換えられ、三次元多様体論へと進展します。

結び目に関する進展

JSJ分解やサーストンの双曲化定理に基づき、結び目の研究は多様な幾何学的多様体の研究に還元され、組み継ぎや衛星操作を通じて新しい知見が得られています。結び目理論や結び目不変量と関連する分野での発展は、今後の数学的探求の重要な元素となるでしょう。

もう一度検索