数学 › 組合せ論 › グラフと行列式

閉折れ線の回転数と交差数

定義 7.8(「グラフと行列式」§7)

平面(C\mathbb{C} と同一視する)の点の列 p0,p1,…,pN−1p_0,p_1,\dots,p_{N-1}(添字は NN を法とする)で、各 jj について pj+1≠pjp_{j+1}\neq p_j であり、pj+1−pjp_{j+1}-p_j が pj−pj−1p_j-p_{j-1} の負の実数倍でないものを閉折れ線という。vj=(pj+1−pj)/∣pj+1−pj∣v_j=(p_{j+1}-p_j)/|p_{j+1}-p_j| とし、pjp_j での外角 τj∈(−π,π)\tau_j\in(-\pi,\pi) を eiτj=vj/vj−1e^{i\tau_j}=v_j/v_{j-1} で、回転数を rot⁡=∑jτj\operatorname{rot}=\sum_j\tau_j で定める。∏jeiτj=1\prod_je^{i\tau_j}=1 なので rot⁡∈2πZ\operatorname{rot}\in2\pi\mathbb{Z} である。

閉折れ線を、線分 [pj,pj+1][p_j,p_{j+1}] を区間 [j/N,(j+1)/N][j/N,(j+1)/N] で一定の速さでたどる周期 11 の連続写像 γ:R→C\gamma:\mathbb{R}\to\mathbb{C} と同一視する。0≤s<t<10\le s\lt t\lt1 かつ γ(s)=γ(t)\gamma(s)=\gamma(t) となる組 (s,t)(s,t) を交差といい、交差が有限個で、どの交差でも γ(s)\gamma(s) が二つの線分の内点であり、それら二つの線分が平行でないとき、γ\gamma は一般の位置にあるという。交差の個数を cr⁡(γ)\operatorname{cr}(\gamma) と書く。二つの閉折れ線 γ1,γ2\gamma_1,\gamma_2 についても、s,t∈[0,1)s,t\in[0,1)、γ1(s)=γ2(t)\gamma_1(s)=\gamma_2(t) となる組を交差と呼び、同じ条件で互いに一般の位置にあるといい、その個数を cr⁡(γ1,γ2)\operatorname{cr}(\gamma_1,\gamma_2) と書く。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 1 件