写像度(しゃぞうど、degree, mapping degree)とは、コンパクト弧状連結向き付けられた同次元多様体間での連続写像を特徴付ける整数のこと。写像のホモトピー不変量のひとつである。

概要

編集

円周 S1上の連続写像 f : S1S1について、fS1を(向きを込めて)何重に被覆するかを考える。 例えば、 S1 を絶対値 1 の複素数の集合()とみなしたとき、zzk にうつす写像は S 1k 重に被覆する。 このように、写像 fS1k 重に被覆するとき、f の写像度が k である、という。 このとき、 f を連続変形しても写像度は変化しないことがわかる。

n 次元球面 Sn上の連続写像 f : SnSn や、もっと一般に n 次元多様体 M, N の間の連続写像 f : MN についても同じように写像度を定義することができる。

定義

編集

弧状連結で、向き付け可能n 次元多様体 Xnホモロジー群 Hn(X) は整数群 Z と同型であり、ひとつの生成元から生成される無限巡回群である。生成元となりうる元は ± の二つ存在するが、 X に向きを付けると、 どちらが + であるかを定める。 つまり、Hn(X) の生成元を定めることになる。この生成元を(向き付けられた)X の基本ホモロジー類といい、 [X] と書く。

コンパクト、弧状連結で向きのついたn 次元多様体 M, N連続写像 f : MN が与えられたとする。 f から誘導される準同型

 

について、

 

である。このとき、f の写像度 deg fk で定義する。

なめらかな多様体の場合

編集

M, N ともになめらかな多様体で 、f がなめらかな写像であった場合、 deg f を上の定義とは違う方法で計算できる。

M, N はコンパクトな多様体であるので、 任意の f正則値 y について、 y逆像 f -1(y) は有限集合である。よって、正則値 y に対して整数

 

を定義することができる。ただし、dfxfx における微分、 sign dfxdfx (を行列としてみたとき)の行列式の符号[1]である。

このように定義すると、 任意の正則値 y について d(y) は deg f と等しい。

性質

編集
  • 写像 fgホモトピックであれば、 deg f = deg g である。
  • N = Sn であれば、写像 fg がホモトピックであることと deg f = deg g であることは同値である(ホップの定理)。

S1S1 の写像は S1 × S1、つまりトーラス上にグラフを描くことができる。下の図は、それぞれ写像度 -4, 0, 3の写像のグラフである。

     

脚注

編集
  1. ^ fx において向きを保つときに 1, 向きを逆転させるときに -1 の値をとる

参考文献

編集
  • 田村一郎 『トポロジー』 岩波全書
  • John W. Milnor, Topology from the Differentiable Viewpoint, PRINCETON UNIVERSITY PRESS

関連項目

編集