写像度
写像度（しゃぞうど、degree）とは、コンパクト、弧状連結、向き付けられた同次元の多様体間での連続写像を特徴付ける整数のこと。写像のホモトピー不変量のひとつである。
円周"S"上の連続写像 "f" : "S" → "S"について、"f" の像が "S"を(向きを込めて)何重に被覆するかを考える。
例えば、 "S" を絶対値 1 の複素数の集合(群)とみなしたとき、"z" を "z" にうつす写像は "S" を "k" 重に被覆する。
このように、写像 "f" が "S" を "k" 重に被覆するとき、"f" の写像度が "k" である、という。
このとき、 "f" を連続変形しても写像度は変化しないことがわかる。
"n" 次元球面 "S"上の連続写像 "f" : "S" → "S" や、もっと一般に "n" 次元多様体 "M", "N" の間の連続写像 "f" : "M" → "N" についても同じように写像度を定義することができる。
弧状連結で、向き付け可能な "n" 次元多様体 "X" の "n" 次ホモロジー群 "H(X)" は整数群 Z と同型であり、ひとつの生成元から生成される無限巡回群である。生成元となりうる元は ± の二つ存在するが、 "X" に向きを付けると、 どちらが + であるかを定める。 つまり、"H(X)" の生成元を定めることになる。この生成元を (向き付けられた)"X" の基本ホモロジー類といい、 "[X]" と書く。
コンパクト、弧状連結で向きのついた"n" 次元多様体 "M, N" と連続写像 "f" : "M" → "N" が与えられたとする。 "f" から誘導される準同型
formula_1
formula_2
である。このとき、"f" の写像度 "deg f" を "k" で定義する。
"M, N" ともになめらかな多様体で 、"f" がなめらかな写像であった場合、 "deg f" を上の定義とは違う方法で計算できる。
"M, N" はコンパクトな多様体であるので、 任意の "f" の正則値 "y" について、 "y" の逆像 "f(y)" は有限集合である。よって、正則値 "y" に対して整数
formula_3
を定義することができる。ただし、"df" は "f" の "x" における微分、 "sign df" は "df" (を行列としてみたとき)の行列式の符号である。
このように定義すると、 任意の正則値 "y" について "d(y)" は "deg f" と等しい。"S" → "S" の写像は "S" × "S"、つまりトーラス上にグラフを描くことができる。下の図は、それぞれ写像度 -4, 0, 3の写像のグラフである。