ザイフェルトのアルゴリズムとは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 情報 > コンピュータ > アルゴリズム > ザイフェルトのアルゴリズムの意味・解説 

ザイフェルト曲面

(ザイフェルトのアルゴリズム から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/05/01 17:15 UTC 版)

ザイフェルト曲面またはザイフェルト膜とは、結び目(あるいは絡み目、以下同様)を境界に持つような向き付け可能(つまり表裏のある)曲面である。より正確には以下の通りである: R3(または S3 など)内の境界を持つコンパクトかつ向き付け可能な二次元曲面 Ω が結び目 K のザイフェルト曲面であるとは、∂Ω = K、すなわち Ω の境界が結び目 K になっているときをいう。例えば円盤D2自明な結び目のザイフェルト曲面である。併し(一回半ひねりの)メビウスの輪三葉結び目を境界に持つ曲面であるが、向き付け可能でないため、これはザイフェルト曲面ではない。さらに結び目 K に向きを込めて考えているときの K のザイフェルト曲面とは、実際に向きを付けられた曲面 Ω であって、その境界 ∂Ω が( Ω 自身の向きから自然に誘導される)向きを込めて K と一致しているものをいう。

どのような結び目に対しても、そのような曲面が存在することを最初に証明したのはフランクル-ポントリャーギン(1930年)であるが、後に実際にそのような曲面を構成するアルゴリズムを見付けたザイフェルト(1934年)に因んで、ザイフェルト曲面と呼ばれる。

ザイフェルトのアルゴリズム

任意の有向絡み目の射影図に対して、以下のようにしてその絡み目のザイフェルト曲面を構成することができる。

  • ステップ1
与えられた有向絡み目の射影図に対して平滑化(smoothing)と呼ばれる操作を行う。つまり、有向絡み目の射影図の交点は必ず下図の図1か図2のようになっているので、それらを図3のように置換する。平滑化によって射影図の全ての交点は消去され、図には(向き付けられた)有限個の円周が残る。これらの円周をザイフェルト円周またはザイフェルト周という。
  • ステップ2
各ザイフェルト円周に対して、その円周を境界に持つような円板を張る。ただし、元の射影図によってはあるザイフェルト円周の内部に別のザイフェルト円周が入っている場合がある。そのような場合は、内側の円周を外側の円周より少しだけ上に持ち上げてから円板を張ることにする。このようにしてザイフェルト円周の個数と等しい、互いに交わらない円板ができる。
  • ステップ3
最後に、ステップ1の平滑化で消去した各交点のところで、両側の円板を180°ひねった帯で連結させる。このときの帯のひねり方は、ステップ1で平滑化する前の交点の上下と、ひねった帯の境界(両側)の上下が一致するようにする。

以上で、与えられた有向絡み目を境界に持つ曲面を構成できた。この方法をザイフェルトのアルゴリズムという。ザイフェルトのアルゴムリズムで構成された曲面は向き付け可能になっているため、ザイフェルト曲面である。ステップ2で円板を貼るとき、ザイフェルト円周が時計回りに向き付けられていれば円板の上側を表・下側を裏とし、円周が反時計回りのときは上側を裏・下側を表と定めておけば、平滑化するときに交点の両側の円周の向きが逆になっていることから、180°ひねった帯で連結させたときに片方の円板の表が他方の円板の表に、裏は裏につながっていることがわかる。

ザイフェルト曲面の存在とザイフェルト行列

存在とは、すべての絡み目に、ザイフェルト曲面が伴っているという定理である。この定理は、最初にフェリックス・フランクル英語版(Felix Frankl)とレフ・ポントリャーギン(Lev Pontryagin)により1930年に出版された[1]。別の証明がヘルベルト・ザイフェルト英語版(Herbert Seifert)により1934年に出版され、この証明はザイフェルトのアルゴリズムと現在呼ばれているものに依存している。このアルゴリズムは、問題の与えられた結び目や絡み目の射影が与えられると、ザイフェルト曲面 を作りだすアルゴリズムである。

絡み目が m 個の成分(m = 1 が結び目)を持っていて、(射影された)図が d 個の交点をもってて、交叉が f 個の円(結び目の向き付けを保つ)として解消しているとすると、曲面 は d 個の帯のついた f 個の交点を持たない円板から構成される。ホモロジー群 は 2g 個の生成子をもつ自由アーベル群である。ここに

種数である。 上の交叉形式 Q は、反対称行列で、2g 個のサイクル

の基底が存在し、行列

は、

.

の g 個のコピーの直和である。

結び目種数

ザイフェルト曲面は、すべてが一意的とは限らない。種数 g のザイフェルト曲面 S とザイフェルト行列 V は手術英語版(surgery)により変形することができる。この変形は、種数 g+1 のザイフェルト曲面 S' とザイフェルト行列

に置き換えることにより変形される。結び目 K の種数結び目不変量であり、K のザイフェルト曲面の最小な種数により定義される。

たとえば、

種数の基本的性質は、結び目の連結和に関して加法的である。このことはシューベルトにより示されている。

関連項目

参考文献

  • ^ Frankl, F.; Pontrjagin, L. (1930). "Ein Knotensatz mit Anwendung auf die Dimensionstheorie". Math. Annalen 102 (1): 785–789. doi:10.1007/BF01782377. 

ザイフェルトのアルゴリズム

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/05/01 17:15 UTC 版)

ザイフェルト曲面」の記事における「ザイフェルトのアルゴリズム」の解説

任意の有向絡み目射影に対して、以下のようにしてその絡み目ザイフェルト曲面構成することができる。 ステップ1 与えられた有向絡み目射影に対して平滑化smoothing)と呼ばれる操作を行う。つまり、有向絡み目射影図の交点は必ず下図の図1か図2のようになっているので、それらを図3のように置換する平滑化によって射影図の全ての交点消去され、図には(向き付けられた)有限個の円周が残る。これらの円周ザイフェルト円周またはザイフェルト周という。 図1(平滑化前) 図2(平滑化前) 図3(平滑化後) ステップ2ザイフェルト円周に対して、その円周境界に持つような円板張る。ただし、元の射影図によってはあるザイフェルト円周内部別のザイフェルト円周入っている場合がある。そのような場合は、内側円周外側円周より少しだけ上に持ち上げてから円板張ることにする。このようにしてザイフェルト円周個数等しい、互いに交わらない円板ができる。 ステップ3 最後にステップ1平滑化消去した交点のところで、両側の円板180°ひねった帯で連結させる。このときの帯のひねり方は、ステップ1平滑化する前の交点の上下と、ひねった帯の境界両側の上下が一致するようにする。 以上で与えられた有向絡み目境界に持つ曲面構成できた。この方法をザイフェルトのアルゴリズムという。ザイフェルトのアルゴムリズムで構成され曲面向き付け可能になっているため、ザイフェルト曲面である。ステップ2円板貼るとき、ザイフェルト円周時計回り向き付けられていれば円板の上側を表・下側を裏とし、円周反時計回りのときは上側を裏・下側を表と定めておけば、平滑化するときに交点両側の円周向き逆になっていることから、180°ひねった帯で連結させたときに片方円板の表が他方円板の表に、裏は裏につながっていることがわかる。

※この「ザイフェルトのアルゴリズム」の解説は、「ザイフェルト曲面」の解説の一部です。
「ザイフェルトのアルゴリズム」を含む「ザイフェルト曲面」の記事については、「ザイフェルト曲面」の概要を参照ください。

ウィキペディア小見出し辞書の「ザイフェルトのアルゴリズム」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



ザイフェルトのアルゴリズムと同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ザイフェルトのアルゴリズム」の関連用語

ザイフェルトのアルゴリズムのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ザイフェルトのアルゴリズムのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのザイフェルト曲面 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのザイフェルト曲面 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS