正無限角形

辺・頂点∞
シュレーフリ記号{∞}
コクセター図形
内角 (度)180°
双対多角形自己双対

無限角形 (むげんかくけい、むげんかっけい、infinite polygon、apeirogon) は、「無限個の辺と頂点を持つ多角形」とされる図形である。円の面積を多角形による近似で求める方法などから、正多角形の無限への極限を円と類推されることもある[注 1]が、幾何学においては、無限遠まで等間隔に並んだ無限個の頂点とそれらを結ぶ無限個の線分といった描像を持つことが多い。

以下においてもapeirogonの訳語としての無限角形について記すが、深谷賢治『双曲幾何』では理想境界 (ideal boundary) 上の頂点を1つ以上持っている図形 (ideal polyhedron) を無限多角形と呼んでいる。[1]
定義
初等的定義

正多角形は平面上の合同変換に関連付けることができる。原点でない適当な点 A0 に対して、原点を中心とした 360 p {\textstyle {\tfrac {360}{p}}} 度の回転 (p は3以上の整数とする) を繰り返したとき、A0 の像は離散的な p 個の点の集まり A0, A1, ..., Ap?1 となって、さらにそれらの点は正p角形の頂点をなすように存在している。従って、平面上の回転変換、特に p 回対称の回転はそれぞれの正多角形に対応付けられることがわかる。

平面上の合同変換と図形を関連付けるこの考え方は、自然に正多角形の一般化を与える。平面の半回転、鏡映あるいは反転（いずれも2回対称である）は二角形と関連付けられる。また、 ( 360 × m n ) {\textstyle (360\times {\tfrac {m}{n}})} 度の回転は星形と関連付けられる。これらの例と同様に、平面上の並進、すなわち平面全体の平行移動に関連付けられる図形が無限角形である。[2]

平面全体の平行移動に対して、平面上の適当な点 A0 の像は、一直線上に並んだ等間隔な点の並びとなって現れる[注 2]。コクセターの定義によるこの図形を特に正無限角形（apeirogon）という。[注 3]
双曲幾何ホロサイクルに内接する無限角形

ユークリッド平面においては3種類しか存在しなかった正多角形の単一なタイル張りは、双曲平面においては無数に存在する (具体的に、任意の整数 p ≧ 3 に対して、双曲正p角形のみで張られるタイル張りが少なくとも1つ存在する[3])。その極限的なケースとして、シュレーフリ記号 {∞, q} で表されるタイリング（q は各頂点に集まる図形あるいは辺の数を表す）が考えられる。このときそれぞれの図形は双曲平面のホロサイクル（英語: horocycle）に内接した無限個の頂点と辺を持つ図形であり、すなわち無限角形 (apeirogon) である[4]。
脚注
注釈^ [1]などに見られる
^ 先の例と同様、ある平行移動を1つ固定し、その反復または逆操作の反復による像を考えているため、点 A0 の像は離散的かつ等間隔に並ぶこととなる。
^ 日本語版『正多胞体』ではapeirogonを「正無限角形」と訳している (Coxeter 2022)。

出典^ 深谷 2004, p. 110
^ H.S.M.コクセター 著、一松信 監訳、岡田 好一、日野 雅之、宮崎 興二 訳『正多胞体』丸善出版〈数学クラシックス〉、2022年7月25日、47頁。ASIN B0B874ZZNY。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 9784621307267。 
^ 深谷 2004, p. 133, 定理 4.34
^ Coxeter, Harold Scott Macdonald (1999). The beauty of geometry: twelve essays (Unabridged republication ed.). Mineola (N.Y.): Dover publ. p. 201. ISBN 978-0-486-40919-1. LCCN 99-35678