|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 結び : [むすび] 【名詞】 1. ending 2. conclusion 3. union ・ 目 : [め, もく] 【名詞】 1. (1) item 2. division 3. class 4. (2) piece (in Go)
数学において、結び目は、円の3次元ユークリッド空間の中への埋め込みである。結び目 ''K'' の結び目群 (knot group) は、R3 における ''K'' の結び目補空間の基本群 : として定義される。 他にも結び目を3次元球面の中へ埋め込んで考えることもあり、その場合、結び目群は、''S''3 における結び目の補空間の基本群である。 == 性質 == 2つの同値な結び目は同型な結び目群を持つので、結び目群は結び目不変量であり、同値でない結び目のペアを識別することに使うことができる。このことは、2つの結び目間の同値ということは、同一視写像にアイソトピックであり、第一の結び目を第二の結び目に写す の自己同相であるということから帰結する。そのような同相は、結び目補空間の同相を制限し、同相の制限が基本群の同型を引き起す。しかしながら、2つの同値ではない結び目が、同型な結び目群を持つ場合もある。(下記の例を参照) 結び目群のアーベル化は、常に無限巡回群 Z と同型であり、このことは、容易に計算できるように、アーベル化が第一ホモロジー群に一致することより従う。 結び目群(あるいは、一般的に、向き付けられた絡み目の基本群)は、比較的単純なアルゴリズムにより(Wirtinger presentation)で計算することができる。
|