結び目理論のソースを表示

'''結び目理論'''（''むすびめりろん、''<em lang="en">knot theory</em>）とは、紐の[[結び目]]を数学的に表現し研究する学問で、[[低次元位相幾何学]]の1種である。[[組合せ的位相幾何学]]や[[代数的位相幾何学]]とも関連が深い。素数と結び目にもエタールホモロジーを導入して密接に関係する。
[[File:Tabela de nós matemáticos 01, crop.jpg|thumb| [[自明な結び目]](左上) や[[三葉結び目]](その下)など、様々な結び目の例。]]
[[File:TrefoilKnot 01.svg|thumb|最も単純で重要な結び目である三葉結び目の正則表示。[[結び目 (数学)|数学における結び目]]は閉曲線（両端が一致し連続する弧）である。]]

== 導入 ==
たとえば日常で、靴の紐などを[[蝶結び]]するとき、ちょっとした違いで縦結びになったり横結びになったりすることはよく知られていることである。このようなとき、結び目理論では、紐の両端をつないで輪の形にすることで、これらの結び目が図形としてどのように異なるか（あるいは同じものなのか）ということを数学的に明らかにすることができる。

一般に、二つの結び目（あるいは絡み目）が同じであるかどうかは、ライデマイスター移動などの'''局所変形'''や交差の入れ替えなどの'''結び目解消操作'''を用いて調べられる。

結び目や絡み目の分類は、'''結び目[[不変量]]''' (<em lang="en">knot-invariant</em>) あるいは'''絡み目不変量''' (<em lang="en">link-invariant</em>) と呼ばれる "量" の発見と構成を主として行われる。例えば、絡み目の外部の[[基本群]]を周辺構造 {{lang|en|(peripheral structure)}} 込みで考えたものは、結び目の完全不変量である。しかし、肝心の[[群論|群]]の分類が容易ではないためこれを不変量として用いることはほとんどないようである。主に使われる不変量は[[アレクサンダー多項式]]などの[[#多項式不変量|多項式不変量]]や、'''結び目解消数''' (<em lang="en">unknotting number</em>) などである。

なお、Haken による正則曲面 {{lang|en|(normal surface)}} の理論により、任意に与えられた 2 個の結び目が同値であるか否かを判定するアルゴリズムが存在することが知られている。

近年では [[デオキシリボ核酸|DNA]] や[[タンパク質]]の[[異性体]]の構造などの研究や[[統計力学]]・[[場の量子論]]にも関連して注目されている。

結び目は3次元多様体の形状を調べることにも利用できる。同様のことを次元を上げて一般化して考えようとすると、4次元空間では1次元の閉多様体である結び目はほどけてしまって役に立たないが、2次元の多様体である閉曲面を使ってやれば目的を果たすことができる。これを4次元結び目理論、曲面結び目理論などと呼んで結び目理論に含めることもある。

== 基本的な図形 ==
[[ファイル:Whiteheadlink.png|thumb|right|ホワイトヘッド絡み目]]
[[ファイル:BorromeanRings.svg|thumb|right|ボロミアン環]]
[[ファイル:Wild knot.svg|thumb|right|野性的な結び目の例]]

一次元[[球面]]（[[単位円|単位円周]]） ''S''<sup>1</sup> から三次元[[ユークリッド空間]] '''R'''<sup>3</sup>  または三次元球面 ''S''<sup>3</sup>への[[単射]][[連続写像]] ''K'' あるいは ''K'' の像のことを'''[[結び目 (数学)|結び目]]'''という。ここで、三次元球面 ''S''<sup>3</sup> とは '''R'''<sup>3</sup> に、一点 {∞} を付け加えたコンパクト等質空間である。

要するに、三次元空間の中に浮かぶ絡まった 1 つの輪っかのことを数学では結び目というのである。日常語の意味での結び目とはかけ離れているように思われるが、紐の両端をくっつけて結び目を緩めた状態を想像してみると、なぜ上で言うようなものが数学で結び目と呼ばれるのか、実感できることと思われる。

結び目は絡まった輪っか一つだけである。二つ以上の結び目が互いに絡まりあったものを考えたほうがいろいろと便利であることが多いので、それを'''{{ill2|絡み目|en|Link (knot theory)|preserve=1}}'''と呼ぶ。正確には結び目と同様に次のように定義される。

いくつかの一次元球面の集合としての直和 ''S''<sup>1</sup> ∪ ''S''<sup>1</sup> ∪ … ∪ ''S''<sup>1</sup> から 三次元球面 ''S''<sup>3</sup> への単射連続写像 ''L'' あるいはその像のことを'''絡み目'''と呼ぶ。絡み目の連結成分の数を単に'''絡み目の成分数'''と呼ぶ。すなわち ''n'' 個の ''S''<sup>1</sup> の直和を埋め込んだ絡み目の成分数は ''n'' である。

有名な絡み目としては'''ホップ絡み目'''、'''ホワイトヘッド絡み目'''、'''ボロミアン環'''などが挙げられる。

絡み目を離れた2つの部分に分けることができるとき、その絡み目は'''分離可能'''（splittable）であるといい、成分数と同じ数だけの部分に離して分けることができる場合は'''完全分離可能'''であるという。つまり、絡み目が2つ以上の連結成分のある射影図（[[#結び目の表示]]で後述）を持つときに分離可能であるといい、成分数と等しい個数の連結成分のある射影図を持つときは完全分離可能であるということになる。

結び目を切ったり貼ったりしている間に絡み目が現れることがあり、結び目のみを研究の対象とする場合でも絡み目を合わせて考えるほうが自然であることも多い。

絡み目の定義を少し変形拡張した概念が幾つか提唱され、特に以下のものは活発に研究されている。
* [[組み紐 (数学)|組み紐]]----領域 <math>R^2\times [0,1]</math> に複数本の「ひも」<math>[0,1]</math> を(高さに関して)臨界点を持たないように埋め込んだもの。群構造をもつので代数的な視点からの研究が多い。
* [[空間グラフ]]----''S<sup>1</sup>'' の代わりにグラフを埋め込んだもの。
* [[タングル]]----境界つき三次元多様体に一般のコンパクト一次元多様体を埋め込んだもの。圏構造を持つ。
* [[仮想結び目]]----結び目の組み合わせ的な表示であるガウス図を考察対象としたもの。ガウス図上では交点と認識されないが、三次元空間への実現で交差として描かざるを得ない「仮想的交差」を持つ。

結び目・絡み目の成分が多辺形となっているとき、その結び目・絡み目は'''折線状'''（polygonal）であるという。また、結び目・絡み目が折れ線状に表せるとき、その結び目・絡み目は'''馴れた結び目・絡み目'''（tame knot/link）または'''順な結び目・絡み目'''であるといい、そうでないときは'''野性的な結び目・絡み目'''（wild knot/link）であるという。結び目理論では、通常は野性的な結び目・絡み目は除外して考えるため、一般的な結び目の表などに記載されているものはすべて馴れた結び目である。結び目を定義した際に使った連続写像 ''K'' に対して[[微分可能]]という条件をつけておけば自動的に野性的な結び目を排除することができる。

== 向き付け ==
{{seealso|向き}}
[[画像:Linking Number -1.svg|130px|thumb|right|向き付けられたホップ絡み目]]
結び目には円周を一周する向きにしたがって向きが入る。一つの結び目には正逆二つの向きを入れることができる。また、それぞれに成分について向きをつけることによって絡み目の向き付けもできる。向きをつけた結び目（絡み目）を、'''有向結び目'''（'''有向絡み目'''）という。

向き付けられた結び目（絡み目）の向きを逆にしても元の結び目（絡み目）と同じになるとき、その結び目（絡み目）は'''可逆'''または'''可反'''であるという。例えば[[三葉結び目]]、[[8の字結び目]]は可逆となっている。交点数が少ない結び目は可逆のものが多く、交点数が最も小さい非可逆で素な結び目は8交点のものである。

== 結び目の表示 ==
結び目（絡み目）は三次元空間に浮かんでいるが、これを二次元に射影して二次元の曲線のように表現することができる（ふつうは平面に射影する）。この図式のことを'''射影図'''（しゃえいず）または'''投影図'''（とうえいず）などという。このとき、
#結び目（絡み目）の異なる3つ以上の点が、射影面において同一の点に写されない
#射影面において2つの成分が1点で接することがない
という条件を満たすように射影することを'''正則表示'''（せいそくひょうじ、<em lang="en">regular presentation</em>）という（どんな結び目や絡み目でも適当に位置をずらすことによって正則表示することができる）。正則表示された結び目の図式を'''正則図式'''といい、結び目理論においては単に射影図といえば正則なものをさすことが多い。
正則図式において、結び目（絡み目）の2箇所の成分が1点に写されているところを'''交点'''または'''交差点'''といい、奥にある線の上を手前にある線が横切るとき、その交点で奥にある線がちょっと切れているように描けば、線の前後関係を損なうことなく結び目を二次元に射影することができる。
{| class="wikitable" style="text-align:center; margin:1ex auto 1ex auto;"
	|+ 結び目とその正則表示の例
|- style="padding:1em"
	| style="padding:1em" | [[ファイル:Trivial_knot.png|160px]]  [[ファイル:Circle_-_black_simple.svg|140px]]
	| style="padding:1em" | [[ファイル:Trefoli_knot.png|160px]]  [[ファイル:trefoil_knot_rp.png|140px]]
|-
	| [[自明な結び目]] || [[三葉結び目]]
|- style="padding:1em"
	| style="padding:1em" | [[ファイル:Figure_8_knot.png|160px]] [[ファイル:Fig8_knot_rp.png|140px]]
	| style="padding:1em" | [[ファイル:Hopf_link.png|160px]]  [[ファイル:Hopf_link_rp.png|140px]]
|-
	| [[8の字結び目]]（リスティングの結び目） || ホップ絡み目（成分数 2 の絡み目のひとつ）
|}
[[画像:Isthmus.svg|130px|thumb|上の射影図の中央にある交点が'''除去可能な交点'''。下図のように簡単に取り除くことができる。]]
結び目（絡み目）の射影図の中に右図のように簡単に取り除ける交点があるとき、それを'''除去可能な交点'''または'''無駄な交点'''という。除去可能な交点を全て取り除いた射影図は'''既約射影図'''（きやくしゃえいず）といわれる。

結び目（絡み目）を射影図として図示するほかにも、以下のような表示方法がある。
* '''[[ドウカーの表示法]]'''
: n交点の結び目の射影図を、n個の偶数の列によって表示する手法。
* '''[[コンウェイの表示法]]'''
: [[タングル]]という概念を用いて結び目や絡み目を表示する手法。
* '''組み紐による表示法'''
: [[組み紐 (数学)|組み紐]]を用いて結び目や絡み目を表示する。[[1923年]]にアレキサンダーが任意の結び目や絡み目が組み紐として表現できることを証明している。

== 結び目の同値性 ==
位相幾何学では、[[連続写像]]を用いて連続的に変形して互いに一致させることができる図形は[[同相]]といって、一般に同じものであると考える。結び目理論も位相幾何学の理論であるから、同様な同一視を行うのであるが、しかしいかなる結び目も[[円周]] {{math|''S''{{sup|1}}}} と同相であるので、同相であるかどうかを見るだけではどんな結び目も区別することはできない。そこで、与えられた結び目が、ある結び目を切ったり貼ったりすることなく連続的に変形していったものと一致するなら、もともと 2 つの結び目は同じであったと考える。これは、結び目のみならずその{{ill2|Ambient space|label=周辺の空間|en|Ambient space}}まで含めて連続的に変形できるかどうかということであって、以下のように定式化される。

2 つの結び目 {{mvar|K, K&prime;}} に対し、{{math|''S''{{sup|3}} × {{closed-closed|0, 1}}}} 上の自己同相写像（[[ホモトピー]]）{{mvar|H}} と自己同相 {{math|''h'': ''S''{{sup|3}} → ''S''{{sup|3}}}} の組で次の条件
: {{math|size=larger|1=''h''(''K'') = ''K&prime;''}},
: {{math|size=larger|1=''H''{{!}}{{sub|''S''{{sup|3}}×{{mset|''i''}}}} (∀''i'' ∈ {{closed-closed|0, 1}})}} は {{math|''S''{{sup|3}} × {{mset|''i''}}}} 上の同相写像,
: {{math|size=larger|1=''H''{{!}}{{sub|''S''{{sup|3}}×{{mset|0}}}} = id{{sub|''S''{{sup|3}}}}, ''H''{{!}}{{sub|''S''{{sup|3}}×{{mset|1}}}} = ''h''}}
を満たすもの（{{ill2|全同位|label=全同位写像|en|Ambient isotopy}}）が存在するとき、{{mvar|K}} と {{mvar|K&prime;}} は'''同値な結び目'''であるという。

[[自明な結び目]]と同値な結び目は'''解けている'''（ほどけている）という。
{| class="wikitable" style="text-align:center; margin:1ex auto 1ex auto;"
	|+ 同値な結び目の例
	| [[ファイル:Trivial_knots_3D.png|150px]]
	| [[ファイル:Unknots.svg|150px]]
	| [[ファイル:Thistlethwaite_unknot.svg|150px]]
|-
	| colspan="3"|解けている結び目
|}
<!--（結び目の補空間についてもどこかで書いておくほうがいいかも。）-->

結び目の'''局所変形'''（きょくしょへんけい、<em lang="en">local move</em>）すなわち、一部分を連続的に変形することで、幾つかの結び目が "同じ" かどうか調べることができるが、その代表的なものとして、次の変形を考えることができる。

{| class="wikitable" style="text-align:center; margin:1ex auto 1ex auto;"
	|+ '''ライデマイスター移動'''
|- style="padding:1em"
	| [[ファイル:Reidemeister move 1.svg|130px|]] || [[ファイル:Reidemeister move 2.svg|130px]] || [[ファイル:Reidemeister move 3.svg|130px]]
|-
	| Type I || Type II || Type III
|}

さらには、結び目の局所変形の手順というのは、この'''[[ライデマイスター移動]]'''と呼ばれる変形の組合せで行うことができる。二つの同値な結び目は有限回のライデマイスター移動で互いに移りあう。また特に、ライデマイスター移動 II, III のみによって移りあう結び目どうしは'''{{ill2|正則同位|en|Regular isotopy}}''' (regular isotopic) であるといい、すべてのライデマイスター移動で移りあう結び目どうしは'''{{ill2|全同位|en|Ambient isotopy}}''' (ambient istopic)である。

== 結び目の合成 ==
{{main|{{ill2|結び目の和|en|knot sum}}}}
[[Image:Sum of knots3.svg|thumb|三葉結び目と8の字結び目の合成]]
三次元球面 ''S<sup>3</sup>'' の北半球<ref>''S<sup>3</sup>'' は二つの三次元球を境界で貼り合わせてできる。説明の便宜上片方の三次元球を北半球、他方を南半球、境界となる二次元球面を赤道と呼ぶことにする。</ref>に結び目 ''K<sub>1</sub>'' 、 南半球に結び目 ''K<sub>2</sub>'' があるとする(共に向き付けられているとする)。''K<sub>1</sub>'' の一部と ''K<sub>2</sub>'' の一部を変形して、両方の結び目が赤道のある一点の十分小さな近傍を通り、かつ赤道と交わらないようにできる。このとき、この近傍の中で結び目の向きにあわせて「紐のつなぎかえ」を行うことで ''K<sub>1</sub>'' と ''K<sub>2</sub>'' から一つの結び目ができる。このように、「分離されている二つの結び目から一つの結び目をつくる」操作を結び目の'''合成'''といい、できあがった結び目を ''K<sub>1</sub><math>\sharp</math>K<sub>2</sub>'' と書く。逆に、合成 ''K<sub>1</sub><math>\sharp</math>K<sub>2</sub>'' に対して ''K<sub>1</sub>''、''K<sub>2</sub>''を因子と呼ぶ。合成は「つなぎかえる」点の選び方や、その過程での変形のしかたによらず、結び目そのものに対して決まる。結び目の合成は '''[[連結和]]'''、'''バンド和'''と呼ばれる操作と同等なものである。

結び目の合成は[[二項演算]]として結合律と可換律をみたし、結び目全体の集合に可換[[モノイド]]の構造を与える(単位元は[[自明な結び目]])。

二つの自明でない結び目の合成として表せない結び目を{{ill2|素結び目|en|prime knot|label='''素'''な結び目}}という（ただし自明な結び目は素な結び目に含めない）。素な結び目と合成結び目は、自然数論における[[素数]]と[[合成数]]に対応する概念であり、結び目に対して「素分解の一意性」が成立する。つまり、
* 任意の結び目は素な結び目たちの合成として表せる。
* 任意の結び目 ''K'' に対して、二通りの分解 <math>K=K_1\sharp K_2\sharp \dots\sharp K_m=L_1\sharp L_2\sharp \dots\sharp L_n</math> (<math>K_1, K_2, \dots, K_m</math>, <math>L_1,\dots, L_n</math>は全て非自明かつ素とする)があるとき，''n'' と ''m'' は等しく、添え字の入れ替えによって全ての ''i'' で <math>K_i</math> と <math>L_i</math> が同値になるようにすることができる。

幾つかの[[#結び目不変量|結び目不変量]]は合成に関してよく振舞い、多くの結果が得られている。
* 結び目 ''K'' の最小交点数 <math>c (K)</math> に関して、<math>c( K_1\sharp K_2 ) \le c(K_1) + c(K_2)</math>。
* 結び目 ''K'' の種数 <math>g (K)</math> に関して、<math>g( K_1\sharp K_2 ) = g(K_1) + g(K_2)</math>。
* 結び目 ''K'' の[[ホンフリー多項式]]<ref>自明な結び目に対する値を 1として定義した。</ref> <math>P (K)</math> に関して、<math>P( K_1\sharp K_2 ) = P(K_1) P(K_2)</math> 。

== 結び目不変量 ==
{{main|{{ill2|結び目不変量|preserve=1|en|knot invariant}}}}
何かの分類をするために、それとは別のものでパラメータ付けしようというのは数学の各分野でよくおこなわれることである。結び目についても、与えられた 2 つの結び目が同値かどうかを判断する "指標" として'''結び目不変量'''を考える。

結び目不変量は同値（つまり同じ）結び目には同じ指標が当てられるようにした（[[対偶 (論理学)|対偶]]を考えれば、与えられた 2 つの結び目が互いに異なる不変量を持つなら同値ではない）もののことである。たとえば、2 つの結び目が同値なら有限回のライデマイスター移動で移りあうので、結び目不変量はライデマイスター移動の各手順で変わることはない。簡単な例としては、'''[[絡み数]]'''や'''[[彩色数 (結び目理論)#彩色可能性|3彩色可能性]]'''などがある。

ただし、逆が成り立つとは限らない。つまり、同じ不変量を持つからといってそれらの結び目が同じかどうかは分からない。この性質を持つ、つまり不変量の値が同じである結び目たちが常に同値となる不変量は全ての結び目を区別することができ、'''完全な不変量'''という。

=== 多項式不変量 ===
{{main|{{ill2|結び目多項式|en|Knot polynomial}}}}
結び目の不変量で、特に「多項式」となっているものを'''多項式不変量'''という{{efn|ただし、ここでいう「多項式」には伝統的に[[ローラン多項式|正負の]]および{{ill2|ピュイズー多項式|en|Puiseux series|label=分数の}}冪を許す「多項式」も含まれ、厳密な意味で言えば、それらが必ずしも[[多項式]]ではないことに注意すべきである}}。多項式不変量の最初の例は、1928年にアレキサンダーが構成した[[アレクサンダー多項式]]である。これは絡み目の補空間の[[基本群]]から定義できる。その後、コンウェイによるアレクサンダー多項式の[[スケイン関係式]]による再定式化（[[コンウェイ多項式|アレキサンダーコンウェイ多項式]]）を経て、1984年にジョーンズによって全く新しい多項式不変量[[ジョーンズ多項式]]が発見された。これは長らく唯一であった多項式不変量に新たな種類を付け加えたのみならず、[[統計力学]]や量子場の理論、[[量子不変量]]、量子群など他の分野との関連の膨大な研究を生み出すことになった。さらにその後アレキサンダー多項式、ジョーンズ多項式をそれぞれ特殊な場合に含む[[ホンフリー多項式]]が発見され、これらの他にも幾つかの多項式不変量が知られている。

しかし、上に挙げたどの多項式不変量も完全に結び目を分類することはできない。つまり同じ多項式の値を持つ異なる結び目が存在するのである。スケイン関係式を満たすどんな多項式不変量も、完全には結び目を分類できないかどうかなどについてはまだわかっていない。
<!-- 結び目不変量とは正確には絡み目の作る圏から別の圏への関手のことである。-->

=== 結び目解消操作 ===
{{main|{{ill2|結び目解消問題|en|Unknotting problem}}}}
スケイン三つ組を使ったコンウェイ多項式などでは、与えられた結び目と「よく似た」結び目をいくつか用意して、それらを上手く比較してやるという考え方が用いられている。同様な考え方として、基準として自明な結び目をとり、任意の結び目と自明な結び目が何らかの意味で類似性があり、その類似性がどの程度の強度を持っているかと考えることにより、与えられた結び目がどの程度「複雑」であるかという指標を与える手段が得られる。ある結び目から自明な結び目へ類似性の連鎖によって関連付けることを、結び目を（一般には切ったり貼ったりを含んだ操作を繰り返して）「ほどく」という過程として表現して'''結び目解消''' {{lang|en|(unknotting)}} という呼称が用いられる。

結び目が与えられ、その結び目に「ある決まった操作」を行うことで得られる結び目は互いによく似ていると考えるとき、似た結び目のなかには連続的に変形してより「単純な」結び目になるようなものが一般には含まれている。もしその単純な結び目が自明な結び目であったなら、最初に与えられた結び目は一段階の複雑さを持っていると考えて差し支えない（自明な結び目そのものは0段階の複雑さを持つとみなす）。似た結び目の中に自明でない結び目があればまた同じ決まった操作をしてやることで、互いによく似た無数の結び目の集まりを複雑さの階層に分けることができる。もしある操作 ''X'' がどんな結び目にでも有限回施すことによってそれを自明な結び目にすることができるならば、操作 ''X'' は'''結び目解消操作''' {{lang|en|(unlinking or unknotting operation)}} と呼ばれる。局所変形などとは異なり、一般に結び目解消操作は切ったり貼ったり、一部を取り替えたりということが許されるが、多くの場合は同じ操作を同じ部分に二度施すと元に戻るような、逆を辿れる操作が好まれる。また、向き付けられた結び目・絡み目を考えているときには、向き付けと整合的であるような操作が適している。

逆を辿ることのできる結び目解消操作 ''X'' が与えられると、任意のふたつの結び目の間に ''X'' という変換操作に関してどの程度似ているかという[[距離空間|距離]]が定められる。実際、どんな結び目でも有限回 ''X'' を施してやればほどくことができるのだから、一方の結び目を解く手順を逆に辿ってやれば ''X'' によって一方を他方に変換することができる。もちろん一般には、このように一方を他方に変換する手順は一通りに限らないが、距離はこのような変換手順すべてについて、そこで行う必要のある ''X'' の回数を考え、その回数の最小値として定められる。
<!-- 交差交換とかデーン手術（は此処か?）とかΔ型結び目解消操作とか、書けるといいなぁ。 -->
{| class="wikitable" style="float:right"
	|+ 交差交換
|-
	|[[ファイル:Skein-relation-link24-minus-sm.png]]|| ↔ ||[[ファイル:Skein-relation-link24-plus-sm.png]]
|}
* [[交点数 (結び目理論)|交点数]]
* {{ill2|交差交換|en|Crossing switch}}
** {{ill2|結び目解消数|en|Unknotting number}}
** [[ゴルディアス距離]]
** [[ゴルディアス複体]]

* [[デルタ型結び目解消操作]]
** [[デルタ型結び目解消数]]
** [[デルタ型ゴルディアス距離]]

== 高次元結び目・絡み目 ==
高次元結び目とは高次元球面'''S'''<sup>n</sup>一個の高次元・数空間'''R'''<sup>m</sup>もしくは高次元球面'''S'''<sup>m</sup>への埋込みのこと。mはnより2以上大きい。
高次元絡み目とは高次元球面'''S'''<sup>n</sup>複数個の高次元・数空間'''R'''<sup>m</sup>もしくは高次元球面'''S'''<sup>m</sup>への埋込みのこと。
いずれもm=n+2の場合もm>n+2の場合も研究されている。
高次元結び目・絡み目の場合、1次元結び目・絡み目と違った興味深い現象も少なくなく、excitingな研究テーマの一つである<ref>[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.4359&rep=rep1&type=pdf A survey of applications of surgery to knot and link theory: J Levine, K Orr - Ann. of Math. Stud, 2000] 高次元結び目・絡み目の上級者向けの入門記事</ref><ref>[http://arxiv.org/pdf/1304.6053v1.pdf  arxiv1304.6053 Introduction to high dimensional knots: Eiji Ogasa] 高次元結び目・絡み目の初心者向けの入門記事</ref>。

== 結び目の命名法 ==
{{main|{{ill2|結び目の目録化|en|Knot tabulation}}}}

== 関連項目 ==
* [[トポロジー]]
* [[ホモトピー]] - 基本群
* [[絡み目ホモトピー]]
* [[結び目コボルディズム]]
* [[ひも理論]]
* [[交代結び目]]（概交代結び目）
* [[トーラス結び目]]
* [[双曲的結び目]]
* [[サテライト結び目]]
* [[デーン手術]]
* [[ライデマイスター移動]]
* [[交点数 (結び目理論)]]
* [[タングル]]
* [[あやとり]] - 全ての作品がループと相似である。

== 注 ==
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
* [[C・C・アダムス]] 『結び目の数学』 [[培風館]]、[[1998年]](ISBN 978-4563002541)。
* [[河内明夫]] 『結び目理論』 [[シュプリンガー・フェアラーク東京]]、[[1990年]](ISBN 4-431-70571-6 C3041)
* 河内明夫 『レクチャー結び目理論』 [[共立出版]]、[[2007年]](ISBN 978-4-320-01697-2)
* [[村杉邦男]] 『結び目理論とその応用』 [[日本評論社]]、[[1993年]](ISBN 4-535-78199-0)
* [[鈴木晋一]] 『結び目理論入門』 [[サイエンス社]]、[[1991年]](ISBN 4-7819-0633-8)
* [[W. B. R. リコリッシュ]] 『結び目理論概説』 [[シュプリンガー・フェアラーク東京]]、[[2000年]](ISBN 4-431-70859-6 C3041)
* [[クロウェル・フォックス]] 『結び目理論入門』 [[岩波書店]]、[[2000年]](ISBN 4-00-006046-5)
* [[S. C. カールソン]] 『曲面・結び目・多様体のトポロジー』 [[培風舘]]、[[2003年]] (ISBN 4-563-00331-X)
* [[村上順]] 『結び目と量子群』 [[朝倉書店]]、[[2000年]] (ISBN 4-254-11553-9)
* [[大槻知忠]] 『量子不変量』 [[日本評論社]]、[[1999年]] (ISBN 4-535-78260-1)
* [[落合豊行]]・[[山田修司 (数学者)|山田修司]]・[[豊田英美子]] 『コンピュータによる結び目理論入門』 [[牧野書店]]、[[1996年]] (ISBN 4-7952-0109-9)
* [[小林一章]] 『曲面と結び目のトポロジー』 [[朝倉書店]]、[[1992年]] (ISBN 4-254-11471-0)
* [[村上斉]] 『結び目のはなし』 [[遊星社]]、[[1990年]] (ISBN 4-7952-6865-7)
* [[L・H・カウフマン]] 『結び目の数学と物理』 [[培風館]]、[[1995年]] (ISBN  4-563-00237-2)
* [[和達三樹]] 『結び目と統計力学』 [[岩波書店]]、[[2002年]] (ISBN 4-00-011152-3)
* [[鎌田聖一]] 『曲面結び目理論』"シュプリンガー現代数学シリーズ・第16巻" [[丸善出版]]、[[2012年]] (ISBN 978-4-621-08509-7)
* 大槻知忠：『結び目の不変量』、共立出版、ISBN 978-4-320-11198-1 (2015年6月25日).
* 河内明夫：「結び目の理論」、共立出版、ISBN 978-4-320-11183-7 (2015年8月8日).
* 伊藤昇：「結び目理論の圏論：「結び目」のほどき方」、日本評論社、ISBN 978-4-53578813-8 (2018年3月23日)．
* 村上斉：「結び目理論入門（上）」、岩波書店、ISBN 978-4-00-029826-1（2019年12月21日）.
* C. アダムス：「結び目の数学: 結び目理論への初等的入門 原書改訂版」、丸善出版、ISBN 978-4-62130595-9（2021年1月27日).
* 村上順：「結び目理論:分解定理・不変量・体積予想」、森北出版、ISBN 978-4-62706321-1 (2021年9月18日).
* 村上斉：「結び目のはなし[新装版]」、日本評論社、ISBN 978-4-53578947-0 (2022年1月24日).
* 谷山公規：「結び目理論: 一般の位置から観るバシリエフ不変量」、共立出版、ISBN 978-4-320-11394-7（2023年3月3日）.

== 外部リンク ==
* {{MathWorld|urlname=KnotTheory|title=Knot Theory}}
* {{nlab|urlname=knot+theory|title=knot theory}}
* {{PlanetMath|urlname=KnotTheory|title=knot theory}}
* {{SpringerEOM|urlname=Knot_theory|title=Knot theory|first1=M.Sh.|last1=Farber|first2=A.V.|last2=Chernavskii}}
* {{ProofWiki|urlname=Definition:Knot_Theory|title=Definition:Knot Theory}}
* [http://katlas.math.toronto.edu/wiki/  The Knot Atlas -- （結び目と絡み目の射影図および結び目理論）]{{en icon}}
* [http://www.indiana.edu/~knotinfo Table of Knot Invariants -- （結び目と絡み目の射影図および結び目不変量）]{{en icon}}
* [http://www.c3.lanl.gov/mega-math/gloss/knots/knzero.html This is MEGA Mathematics! -- （結び目理論）]{{en icon}}
* [http://mathworld.wolfram.com/topics/KnotTheory.html Knot Theory -- （結び目理論）]{{en icon}}
* [http://www.math.utk.edu/~morwen Morwen Thistlethwaite's home page -- （結び目射影図と結び目理論）]{{en icon}}
* [http://amadeus.ics.nara-wu.ac.jp/~ochiai/freesoft.html Free Software in Knot Theory -- （結び目不変量）]{{en icon}}

{{Knot theory}}

{{DEFAULTSORT:むすひめりろん}}

[[Category:結び目理論|*]]
[[Category:数学に関する記事]]