絡み数のソースを表示

[[画像:Linking Number Example.svg|thumb|絡み数2の有向絡み目]]
'''絡み数'''（からみすう、{{lang-en-short|''Linking number''}}）とは、[[数学]]において、3次元空間内の2つの有向[[閉曲線]]について片方がもう片方の周りをどちらの向きに何回周っているかを表す[[整数]]である。[[位相幾何学]]の一分野である[[結び目理論]]においては、2成分の[[結び目理論#向き付け|有向絡み目]]に対して定義される[[不変量]]といえる。

==定義==
2つの有向結び目 ''J'' , ''K'' からなる絡み目 {''J'', ''K''} を考える。それに対する絡み数Lk(''J'', ''K'') は、以下のようにして定義される。

絡み目 {''J'', ''K''} の射影図の交点のうち、''J'' の成分と ''K'' の成分からなる交点に注目する。それらの交点は、以下のどちらかとなっているので左側の交点に +1, 右側の交点に &minus;1 という符号を与え、射影図全体でのそれらの符号の総和を2で割ったものを絡み数 Lk(''J'', ''K'') として定義する。2成分の絡み目では異なる成分からなる交点の個数は[[偶数]]なので、絡み数は整数値とる。

<gallery widths="60px" heights="60px">
Image:Knot-crossing-plus.png|+1に対応する交点
Image:Knot-crossing-minus.png|&minus;1に対応する交点
</gallery>

あるいは、絡み目 {''J'', ''K''} の[[結び目理論#結び目の表示|射影図]]の交点のうち、''J'' の成分と ''K'' の成分からなる交点の中でも、 ''K'' の成分が手前側にある交点のみに注目し、それらに対してさきほどと同様にして +1 または &minus;1 の符号を与え、その総和を絡み数 Lk(''J'', ''K'') として定義することもできる。このように定義しても Lk(''J'', ''K'') = Lk(''K'', ''J'') が成立する<ref>''Knots, Links, Braids and 3-Manifolds'', p.101-102.</ref>。

==性質==
前節で定義した絡み数は、絡み目の射影図によらず一定である。すなわち有向絡み目として不変量となっている。絡み目のうち片方の成分の向きを反転させると、絡み数の正負が反転するため、絡み数の[[絶対値]]を取るとこれは（向きを考えていない）絡み目の不変量となる。例えば2成分の絡み目である[[ホップ絡み目]]の絡み数の絶対値は1となるが、同じく2成分の絡み目である[[ホワイトヘッド絡み目]]の絡み数の絶対値は0なので、この2つの絡み目は同値でないことが分かる。

分離可能な2成分の絡み目の絡み数は 0 となるが、逆は成り立たない（前述のホワイトヘッド絡み目が[[反例]]となる）。

<gallery>
Image:Linking Number 1.svg|絡み数 1 の有向ホップ絡み目
Image:Linking Number -1.svg|絡み数 &minus;1 の有向ホップ絡み目
Image:Labeled Whitehead Link.svg|絡み数 0 のホワイトホッド絡み目
</gallery>

==その他の定義==
===積分による定義===
2成分の有向絡み目を2つの有向閉曲線と考え[[線積分]]を使って以下のように定義することもできる<ref>[[今井淳]] 『[http://mathsoc.jp/publication/tushin/1303/1303imai.pdf 結び目の数学]』 p4-5</ref>。''x'', ''y'' は ''K'', ''J'' 上の点（の位置ベクトル）である。
:<math>\text{Lk}(J , K) = \,\frac{1}{4\pi}
\int_{J}\int_{K}
\frac{y - x}{| y - x|^3}
\cdot (d x \times d y).</math>

===ザイフェルト曲面を用いた定義===
一方の成分 ''J'' について、''J'' を[[境界 (位相空間論)|境界]]として持つ[[向き]]付け可能な[[曲面]]を ''S'' とする<ref group="注">このような曲面は常に存在する。[[ザイフェルト曲面]]を参照。</ref>。このとき ''J'' の向きに合わせた向きを ''S'' につけておく。さらに曲面 ''S'' と 閉曲線 ''K'' の交わりを考えるが、''K'' が ''S'' に接する点がある場合は ''S'' を少しずらして解消しておく。この状態で、''S'' と ''K'' の交わりとなっている有限個の交点において、''K'' の接線ベクトルの向きとその点での ''S'' の法線ベクトルの向きが同じ側なら +1, 逆側なら &minus;1 として符号を定め、全ての交点についてのその符号の和を Lk(''J'', ''K'') とする（これは曲面 ''S'' の取り方によらない）<ref>[[深谷賢治]] 『電磁場とベクトル解析』[[岩波書店]]、2004年、123-124頁。ISBN 978-4000068833。</ref>。

このほか[[写像度]]を使った定義などもある。

==絡み目と絡み目の絡み数==
2成分の絡み目に対して定義される絡み数は、次のようにして2つの絡み目に対して拡張することができる<ref>『結び目理論入門』98頁。</ref>。

すなわち、成分数 ''m'' の絡み目 ''L''<sub>''A''</sub> と成分数 ''n'' の絡み目 ''L''<sub>''B''</sub>について、''L''<sub>''A''</sub> の成分を ''K''<sub>''A''1</sub>, ''K''<sub>''A''2</sub>, ... , ''K''<sub>''Am''</sub>, ''L''<sub>''B''</sub> の成分を ''K''<sub>''B''1</sub>, ''K''<sub>''B''2</sub>, ... , ''K''<sub>''Bn''</sub> としたとき、これらの絡み目同士の絡み数を

: <math>\text{Lk}(L_A , L_B) = \sum_{1 \le i \le m \atop 1 \le j \le n} \text{Lk}(K_{Ai}, K_{Bj})</math>

として定義する。

==全絡み数==
成分数 ''n'' の有向絡み目 ''L'' の成分を ''K''<sub>1</sub>, ''K''<sub>2</sub>, ... , ''K''<sub>''n''</sub> としたとき、以下の式によって定義される Lk(''L'') を ''L'' の'''全絡み数'''（ぜんからみすう、{{lang|en|''total linking number''}}）または'''総絡み数'''（そうからみすう）という。これも有向絡み目の不変量となる。

:<math>\text{Lk}(L) = \sum_{1 \le i < j \le n} \text{Lk}(K_{i} , K_{j})</math>

完全分離可能な絡み目の総絡み数は 0 となる。

==関連項目==
*[[絡み数行列]]
*[[ひねり数]]
*[[ライジング数]]

==脚注==
{{reflist|group=注}}

==参考文献==
* [[C・C・アダムス]]著、[[金信泰造]]訳 『結び目の数学』 [[培風館]]、1998年、18-21頁。ISBN 978-4563002541。
* [[鈴木 晋一]] 『結び目理論入門』 [[サイエンス社]]、1991年、37-39頁。ISBN 978-4781906331。
* [[村杉邦男]] 『結び目理論とその応用』 [[日本評論社]]、1993年、54-58頁。ISBN 978-4535781993。
* V. V. Prasolov, A. B. Sossinsky, ''Knots, Links, Braids and 3-Manifolds'', Amer Mathematical Society, 1993 , p. 100-102. ISBN 978-0821808986
{{reflist}}

==外部リンク==
*{{MathWorld|urlname=LinkingNumber|title=Linking Number}}

{{DEFAULTSORT:からみすう}}
[[Category:結び目理論]]
[[Category:閉曲線]]
[[Category:数学に関する記事]]