第 7 章 不 変 量 の 計 算
加 藤 15.5.18
前 の 章 で 定 義 し た 結 び 目 の 階 数 を 実 際 に 計 算 し て み ま す 。 さ ら に 、 結 び 目 が ほ ど け る 、 ほ ど け な い 、 を 調 べ る た め に 重 要 と な る と い う こ と を 見 て い き た い
と思います。
ち な み に 、 結 び 目 の 階 数 は よ く 結 び 目 の 彩 色 数 ( さ い し ょ く す う ) と い わ れ る ら し い で す。 定 義 は こ ん な 感 じ で す。 よ か っ た ら 見 て く だ さ い 。
彩 色 数 の 定 義
彩 色 数 を 定 義 す る 前 に 、 い く つ か の 用 語 を 説 明 す る 。
● 弧 ・ ・ ・ 射 影 図 の 交 点 の 数 を n と す る と 結 び 目 の 射 影 図 は 切 れ 目 に よ っ て n 個 の 曲 線 に 分 解 す る ( た だ し 、 n = O の 時 は 1 つ ) こ の 曲 線 の こ と を 弧 と呼ぶ。
● 重 み ( 色 ) ・ ・ ・ 自 然 数 p を 固 定 し 、 各 孤 に O か ら p 1 ま で の 整 数 の う ち 1 つ を 対 応 さ せ た も の 。 重 み を つ け た 射 影 図 を 重 み の つ い た 射 影 図 と 呼 ぶ 。 O か ら p 1 の 数 が 色 の 種 類 を 表 す と 考 え る と イメ ー ジ が 湧 き や す い で あ ろ う 。 1 つ の 交 点 の 周 り に 着 目 し 、 各 弧 に 重 み を つ け る と 以 下 の よ う に
な る 。
(交点条件)
Y
Z。
Z。
こ こ で 重 み の 付 け 方 に 関 し て 、 次 の 条 件 ( 交 点 条 件 ) を 考 え る 。
2 x y 十 z ( m o d p )
す べ て の 交 点 で 交 点 条 件 を 満 た す よ う な 重 み を 適 切 な 重 み と 呼 び 、 適 切 な 重 み の っ い た 射 影 図 の 総 数 を p 一 彩 色 数 と 呼 ぶ 。 各 弧 に 同 じ 重 み を つ け る と 交 点 条 件 を 満 た す こ と は 明 ら か で あ る か ら 、 p 一 彩 色 数 は p 以 上 で あ る 。 し か し 、 結 び 目 に よ っ て は 各 弧 に そ れ ぞ れ 違 う 重 み 付 け を し て も 交 点 条 件 を 満 た す こ と が あ る 。 こ の よ う な と き 、 結 び 目 は p 一 彩 色 可 能 と 呼 ば れ る 。
こ れ 実 際 、 階 数 の と こ が p 一 彩 色 数 に 変 わ っ た だ け な ん で す け ど 、 一 応 の せ と き ま し た 。
こ こ で は 前 回 と 変 え る と め ん ど く さ い ん で 、 階 数 の ほ う で い き た い と思います。
1 。 交 点 の な い 結 び 目
ま ず は 、 交 点 の な い 結 び 目 の 射 影 図 に つ い て 考 え ま し ょ う 。 交 点 の な い 結 び 目 に つ い て は 、 す べ て の p に 対 し て 、 p を 法 と し た 階 数 は ( ) で す 。 前 回 の 講 義 で 「 結 び 目 の 射 影 図 の 階 数 は 結 び 目 の ( ) で あ る 。 」 と 証 明 さ れ た の で 結 び 目 の p を 法 と し た 階 数 が p で な け れ ば そ の 結 び 目 は 自 明 な 結 び 目 で な い 。 つ ま り 、 結 び 目 は ( ) と い う こ と が 分 か る 。
2 . ひ と え 結 び 目
次 の 図 の 結 び 目 に つ い て 、 そ の 階 級 を 計 算 し て み ま し ょ う 。 各 弧 の 重 み を 次 の ようにとります。
1
(1)2を法とした階級 各交点での交点条件
A
B
C
・
・
・ 一
2、
Z
こ の 方 程 式 を み た す x , y , z ( O x 1 , 0 y 1 , 0 z 1 ) の 組 の 数 が 前 の ペ ー ジ の 射 影 図 で 表 さ れ た 結 び 目 の 2 を 法 と し た 階 数 に な
る。
計算
よ っ て 図 1 で 表 さ れ た 結 び 目 の 2 を 法 と す る 階 級 は ( こ れ で は ほ ど け る か ほ ど け な い か は わ か ら な い 。
(2)3を法とした階級 各 交 点 で の 交 点 条 件
A
B
C
一
・
・ 一
拳 拳
)。
こ の 方 程 式 を み た す x , y , z ( O x 2 , 0 y 2 , 0 z 2 ) の 組 の 数 が 前 の ペ ー ジ の 射 影 図 で 表 さ れ た 結 び 目 の 3 を 法 と し た 階 数 に な る。
計算
よ っ て 図 1 で 表 さ れ た 結 び 目 の 3 を 法 と す る 階 級 は ( ) 。 階 級 は 不 変 量 な の で ひ と え 結 び 1 : I は ほ ど け な い こ と が わ か り ま し た。
練 習 1 . 1 図 1 で 表 さ れ た 結 び 目 の 4 を 法 と し た 階 級
答え(
)
練 習 1 . 2 図 1 で 表 さ れ た 結 び 目 の 5 を 法 と し た 階 級
答え( )
(3)一般化してみよう
各 交 点 で の 交 点 条 件
A:2y x+z(modp)
B:2x y+z(modp)
C φ一 2z x+y(modp)
交 点 条 件 を 連 立 さ せ 、 準 簡 約 化 を 適 用 し 、 連 立 一 次 方 程 式 を 解 く
1 り 1 ぐ
21 1
j 1 1 々
R j W W
→
EH H
3
H に 図 陥
→ 91 11 51 o 5 l l ol 1 1 1 1 11 11 11 11 11 11 11 11 1 ol l 11 o ll 11 1 ol 1 11 11 01 11 o l i l l L
2 3
p 3n(n:自然数)のとき連立一次方程式は
NN OO M
x 十 y 2 y 0 3 y 3 z 0
の
② 一 一 9 一
BH H
0
) イ
と な る が p と 3 は 互 い に 素 で あ る か ら 、 第 2 式 よ り y z が 分 か る 。 し た が っ て 解 は
x = y
一
一 z(modp)
ゆ え に 、 こ の 結 び 目 の 彩 色 数 は と な る 。
p = 3 の と き 、 ② は 自 明 な 等 式 に な り 、 ① よ り 解 は パ ラ メ ー タ が 2 つ の 一 次 方 程 式 と な る 。
x y + 2 z ( m o d 3 ) ( y 、 z は 任 意 )
O y < 3 、 0 z < 3 よ り 、 交 点 条 件 を み た す 解 ( 射 影 図 ) の 個 数 は 9 通 り で 階 数 は 9 で あ る 。
p = 6 の と き 、 ② は 自 明 な 等 式 に な り 、 ① よ り 解 は パ ラ メ ー タ が 2 つ の 一 次 方 程 式 と な る 。
x y + 2 z ( m o d 3 ) (y、zは任意)
O y く 6 、 0 z < 6 よ り 、 交 点 条 件 を み た す 解 ( 射 影 図 ) の 個 数 は 36通りで階数は36である。
以 下 同 様 。
3 。 8 の 宇 結 び 目
次 に 8 の 字 結 び 目 に つ い て 、 そ の 階 級 を 計 算 し て み ま し ょ う 。 各 弧 の 重 み を 次 の よ う に と り ま す。
エ
C。
D
2。
練 習 2 . 1 図 2 で 表 さ れ た 結 び 目 の 2 を 法 と し た 階 級
答え(
)
練 習 2 . 2 図 2 で 表 さ れ た 結 び 目 の 3 を 法 と し た 階 級
答 え ( )
練 習 2 . 3 図 2 で 表 さ れ た 結 び 目 の 4 を 法 と し た 階 級
答え( )
4
練 習 2 . 4 図 2 で 表 さ れ た 結 び 目 の 5 を 法 と し た 階 級
答え( )
練習2.58の宇結びF:1はほどけるかほどけないか
答え(
`●・
二
` y
二
)
で 、 い ま ま で の 計 算 結 果 を ま と め て み ま し ょ う 。
結び目の階数の表
●●●
とする数
結び目 2 3 4 5
ほどける結び目 2 3 4 5
ひとえ結び目 2 9 4 5
8 の 字 結 び 目 2 3 4 25
こ の 表 を 見 る と ほ ど け る 結 び 目 、 ひ と え 結 び 目 、 8 の 宇 結 び 目 は そ れ ぞ れ 違 う 結 び 目 で あ る こ と が わ か り ま す。
な ぜ な ら ば ( ) で あ る か ら で す 。
4 。 結 び 目 の 不 変 量 の 性 質
(1) p を 法 と し た 階 数 は 必 ず p で 割 り 切 れ る
結 び 目 の 射 影 図 に 適 切 な 重 み が つ い て い る も の を 考 え ま し ょ う 。 各 点 の 交 点 条 件 は
ʻ 1・
;・1
‥●
X
2.zl・、1.そ2.(h・・JI))
で し た 。 こ こ で 、 各 弧 の 重 み に t ( O t p 1 ) を 足 し た も の を 考 え て み ま し ょ う 。 す る と 、 交 点 条 件 は
|
{1十t
1十t
x.tt
2(x+t) (y+t)+(z+t)(modp)
2x+2t y+z+2t(modp)
2x y+z(modp)
t の 選 び 方 は O か ら t 1 ま で の p 通 り あ る の で 、 適 切 な 重 み が 1 つ 得 ら れ れ ば 、 p 個 の 適 切 な 重 み が 得 ら れ る 。 よ っ て 階 数 は p の 倍 数 と な る 。
(2) 2 を 法 と し た 階 級 は つ ね に 2 で あ る 2 を 法 と し た と き の 交 点 条 件 は
2x y+z(mod2)
O y+z(mod2)
y z(mod2)
こ れ は 、 交 点 の 下 を 通 る 弧 の 重 み は 2 を 法 と し て 合 同 で な け れ ぱ な ら な い と い う こ と を 表 し て い る 。 ひ と つ の 弧 に 重 み を つ け れ ば そ の 隣 の 弧 も 同 じ 重 み と な り 、 次 々 と 弧 の 重 み は 等 し く な っ て い く 。 ゆ え に 、 す べ て の 弧 の 重 み は 等 し く な る 。 孤 の 重 み の 選 び 方 は 2 を 法 と し て い る た め 、 O か 1 の 2 通 り 。 し た が っ て 、 2 を 法 と し た 時 の 階 級 は つ ね に 2 で あ る 。