正六角形の辺に、ある頂点から反時計回りに順に語
でラベルと向きを付ける(指数 の辺は反時計回りの向き、指数 の辺は時計回りの向きをもつ)。同じ文字の辺どうしを、向きが一致するように貼り合わせて得られる閉曲面を とする。 は向き付け可能である。 の種数 を求めよ。
閉曲面の分類と多角形の貼り合わせ
多角形の辺の貼り合わせの語から、閉曲面の向き付け可能性(各文字が指数 と で 1 回ずつ現れるかどうか)と、頂点の同値類の個数 から を求め、種数 (向き付け可能)または射影平面の個数 (向き付け不可能)を決められる(例: 語 では , で 、向き付け不可能で )。連結和の公式 を使える
前提
- CW 複体のオイラー標数 (大学院数学 代数的位相幾何)
この技能までの道筋(89 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 小数の四則計算 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 1 次方程式の解き方 (中学数学 方程式)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 乗法公式による展開 (中学数学 数と式)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- ベクトルの演算と成分 (数学C ベクトル)
- 行列の和・積と 2 次の逆行列 (大学数学 線形代数)
- 掃き出し法と連立 1 次方程式 (大学数学 線形代数)
- 行列の階数と解の存在 (大学数学 線形代数)
- ベクトル空間・一次独立・基底・次元 (大学数学 線形代数)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 線形変換と行列 (大学数学 線形代数)
- 核と像と次元定理 (大学数学 線形代数)
- 単体複体のホモロジーとベッチ数 (大学院数学 代数的位相幾何)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 群の位数と元の位数 (大学数学 代数学)
- 有限アーベル群の構造と部分群の個数 (大学数学 代数学)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 同じものを含む順列・重複組合せ (数学A 場合の数と確率)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 増減表と極値 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 積と商の微分 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- の極限 (数学III 極限)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- 無限等比級数と無限級数 (数学III 極限)
- べき級数と収束半径 (大学数学 微分積分)
- 母関数と係数の取り出し (大学数学 離散数学・組合せ論)
- 分割数と分割の母関数 (大学数学 離散数学・組合せ論)
- 有限アーベル群の分類(単因子と素因子型) (大学院数学 群論)
- 行列式 (大学数学 線形代数)
- ユークリッドの互除法 (数学A 整数の性質)
- 整数行列の単因子(スミス標準形) (大学院数学 群論)
- CW 複体の胞体ホモロジー (大学院数学 代数的位相幾何)
- CW 複体のオイラー標数 (大学院数学 代数的位相幾何)
説明
多角形の辺に文字を付け、同じ文字の辺どうしを矢印の向きに合わせて貼り合わせると閉曲面ができます。この貼り合わせを表す語(辺を一周して読んだ文字列)だけから、できた曲面が向き付け可能かどうかとオイラー標数 を求め、閉曲面の分類定理によって、種数 の向き付け可能な閉曲面 か、射影平面 個の連結和 かを決められるようになります。連結和 のオイラー標数も公式で求められます。
なぜそうしてよいのか
長さ の語(各文字がちょうど 回現れる)で 角形の辺を貼り合わせると、曲面に CW 構造が入ります。 胞体は多角形の内部の 個、 胞体は文字の種類の 個、 胞体は貼り合わせで同一視された頂点の類の 個です。したがって胞体の個数の交代和から です。 は とは限らないので、頂点の類は実際にたどって数える必要があります。
閉曲面の分類定理は「連結な閉曲面は、球面 、トーラス 個の連結和 ()、射影平面 個の連結和 ()のどれか つと同相で、どれになるかは向き付け可能かどうかと で決まる」というものです。ここで連結和 は、 から小さな円板を つずつ取り除き、できた境界の円周どうしを貼り合わせた曲面です。円板( 胞体 個)を除くと は 減り、貼り合わせる円周は なので、 です。、トーラスは 、射影平面は なので、、 となり、、 と逆に解けます。
向き付け可能性は語の指数で判定できます。同じ文字が と同じ指数で 回現れると、その 辺の近くの帯は、端をねじって貼り合わせた帯(メビウスの帯)になり、表裏の区別がつかなくなります。逆に、すべての文字が のように と で 回ずつ現れるなら、多角形の向きがどの辺でも矛盾なく貼り合わさり、曲面は向き付け可能です。
手順
語が各文字をちょうど 回含むことを確かめ、文字の種類の数 を数える
各文字が指数 と で 回ずつ現れるか調べる。すべてそうなら向き付け可能、同じ指数で 回現れる文字が つでもあれば向き付け不可能
多角形の頂点に番号 を付け、各辺の文字と矢印の始点・終点を書き出す。同じ文字の 辺について、始点どうし・終点どうしを同一視し、頂点の類の個数 を数える
を計算する
向き付け可能なら 、向き付け不可能なら を求める。連結和については を使う
例題
六角形の辺を語 に従って貼り合わせて得られる閉曲面は向き付け可能である。この曲面の種数 を求めよ。
例題の解答
手順 1: 文字は の 種類で、それぞれ 回ずつ現れるので 。
手順 2: はどれも指数 と で 回ずつ現れるので、向き付け可能である。
手順 3: 頂点を順に とし、 番目の辺を から ()へ読む。指数 の辺は矢印が逆向きなので
- : と より 、
- : と より 、
- : と より 、
よって頂点の類は と の つで、。
手順 4: 。
手順 5: 向き付け可能なので (トーラス)。
答え:
よくある誤り
頂点の類が必ず 個だと決めつけてしまう誤り。例題の語 で とすると となり、向き付け可能なのに が奇数という矛盾が起こる。正しくは頂点をたどって 、
向き付け不可能な曲面にも を使ってしまう誤り。語 ( で )を「種数 」とするのは誤り。 が同じ指数で 回現れるので向き付け不可能で、正しくは (クラインの壺 )
文字が隣り合っていないと向き付け可能と判定してしまう誤り。語 をトーラスと思うのは誤り。 ともに同じ指数で 回現れるので向き付け不可能で、頂点の類は の 、、正しくは (射影平面)
連結和のオイラー標数を単純な和にしてしまう誤り。 とするのは誤り。正しくは で、向き付け不可能なので
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
角形の辺に、境界を一周する向きに沿って順に
とラベルを付け、同じ文字の辺どうしを矢印の向き(指数 は逆向き)が一致するように貼り合わせて得られる閉曲面を とする。 は 個の実射影平面の連結和 と同相である。 を求めよ。正十角形の 本の辺を、ある頂点から反時計回りに順にたどり、次の語に従ってラベルと向きをつける。
ここで文字 はその辺に反時計回りの向きをつけること、 は時計回りの向きをつけることを表す。同じ文字の 辺を向きが一致するように貼り合わせて得られる閉曲面を とする。 はある 以上の整数 に対して種数 の向き付け可能な閉曲面 に同相である。 を求めよ。次元球面から、閉包が互いに交わらない つの開円板を取り除いて得られる曲面を とし、その境界の つの円周を とする。 と のそれぞれに、メビウスの帯の境界の円周を同相写像で貼り合わせる。さらに には、トーラスから つの開円板を取り除いて得られる曲面の境界の円周を同相写像で貼り合わせる。こうして得られる閉曲面を とする。
はある正の整数 に対して、 個の実射影平面の連結和 に同相である。 を求めよ。
をトーラス、 を実射影平面とし、連結和
を考える。 を の向き付け二重被覆( の各点 と における局所的な向き つの組全体からなる 重被覆)とする。 は連結な向き付け可能閉曲面であるから、ある 以上の整数 について種数 の向き付け可能閉曲面 と同相である。この を求めよ。枚の六角形 を用意する。各六角形の 本の辺を、ある頂点から反時計回りに順にたどり、次の語に従ってラベルと向きをつける。
ここで、文字 はその辺の向きが反時計回りの向きと一致することを、 は逆向きであることを表す。 種類の文字 はそれぞれちょうど 回ずつ現れる。同じ文字のついた 本の辺を、向きが一致するように同一視して得られる空間を とする( は連結な閉曲面になる)。整数係数ホモロジー群を ( は 以上の整数、 は有限アーベル群)と表すとき、 と の位数 の組 を求めよ。
つの六角形 を用意する。各六角形の 本の辺を、ある頂点から反時計回りに順にたどり、次の語に従ってラベルと向きをつける。
ここで、文字 はその辺を反時計回りの向きに、 は時計回りの向きにたどることを表す。同じ文字の 本の辺を、向きが一致するように同一視して得られる空間を とする( は連結な閉曲面になる)。整数係数ホモロジー群が ( は 以上の整数)と表されるとき、組 を求めよ。
を 個の射影平面の連結和として得られる向き付け不可能な閉曲面とする。 の連結な 重被覆空間 ( は連結で、各点の逆像がちょうど 点)を考える。 つの被覆 , は、同相写像 で を満たすものが存在するとき同型であるという。
同型類で数えたとき、連結な 重被覆空間のうち、全空間 が向き付け不可能であるものはいくつあるか。
クラインの壺 を、正方形 において , と同一視して得られる空間とする。 の連結な 重被覆空間 ( は連結で、各点の逆像がちょうど 点)のうち、 がクラインの壺に同相であるものを考える。ここで つの被覆 , が同型であるとは、同相写像 で を満たすものが存在することとする。
このような被覆空間の同型類の個数を求めよ。
を種数 の向き付け可能な閉曲面とする。 の相異なる 点からなる部分集合全体の空間
(順序付き配置空間 を、対称群 の座標の入れ替えによる作用で割った商空間)のオイラー標数 を求めよ。正の整数 に対して を種数 の向き付け可能な閉曲面とし、正の整数 に対して を 個の実射影平面 の連結和として得られる向き付け不可能な閉曲面とする()。
閉曲面 と曲面 について、「 が を被覆する」とは、 を全空間とする被覆写像 が存在することとする( は連結とする)。
と のどちらもが を被覆するような正の整数 をすべて求めよ。
この問題では、曲面とは境界のない第二可算ハウスドルフな 2 次元位相多様体とし、閉曲面とはコンパクトかつ連結な曲面とする。ホモロジーはすべて整数係数の特異ホモロジーとする。曲面 の座標円板とは、 のある開集合 と同相写像 ( 全体への同相写像)について (, )と表される集合のこととする。座標円板 について であり、各 について包含写像が誘導する は同型である。曲面 の向き付けとは、各点 に対して の生成元 を 1 つずつ選んだもので、次の条件をみたすものと定める: 各 に対し、 を含む座標円板 と の生成元 で、すべての について の への像が に等しいものが存在する。向き付けが存在する曲面を向き付け可能という。 に対し、 で種数 の向き付け可能な閉曲面を表す。
を整数、 を正の奇数とし、閉曲面 への 重被覆写像 (各点のファイバーがちょうど 点からなる被覆写像)が存在するとする。このとき、 は向き付け可能であり、かつ は を割り切ることを証明せよ。
ただし、次の事実は証明なしに用いてよい。
(i) 閉曲面の分類定理: 向き付け可能な閉曲面は、ある に対する にただ 1 つ同相であり、 である。
(ii) 閉曲面 から閉曲面 への 重被覆写像があれば である。
(iii) 曲面 の向き付け二重被覆 を、、 で定める。ここで の位相は、 の座標円板 と の生成元 の組ごとに定まる集合 全体を開基とするものである。 は曲面であり、 は 2 重被覆写像で、各 について は同相である。さらに、 が閉曲面のとき「 が連結」と「 が向き付け不可能」は同値である。
(iv) 、 が被覆写像で、 が連結かつ局所弧状連結であり、連続写像 が を満たすならば、 は(全射な)被覆写像である。
この技能の次に学べること
- 被覆空間と部分群の対応 (大学院数学 代数的位相幾何)