被覆空間
連続な全射 が被覆写像であるとは、各 が開近傍 を持ち、 が互いに素な開集合 の合併で、各 が同相写像となることをいう。このような をよく被覆される開集合、 を層(sheet)という。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 6 件
- 自由で真性不連続な作用による商✓補題 6.1・複素多様体と正則写像
- Hadamard の卵形面定理✓定理 7.1・曲線と曲面
- Puiseux 展開✓定理 4.3・解析的摂動論 II
- 単連結な多様体は向き付け可能✓補題 2.5・ポアンカレ予想 I
- 球面の自由な商の基本群✓補題 2.12・ポアンカレ予想 I
- ハワイの耳輪は普遍被覆をもたない✓命題 7.2・反例の空間