折れ線の弧・折れ線の閉曲線
平面 の点 ()を順に線分で結んだ集合 で、隣り合う線分が共有点を 1 つだけもち、隣り合わない線分が交わらないものを、 と を結ぶ折れ線の弧という。 を端点、それ以外の点を内点という。()とし、最初と最後の線分も だけを共有することを許して同じ条件を課したものを折れ線の閉曲線という。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。