拡大実数
実数の集合に元を追加した体系。2種類ほど考えられる。 list
projectively extended real line
fig. https://upload.wikimedia.org/wikipedia/commons/4/4c/Real_projective_line.svg
cf. wheel?
extended real number line
aka. affinely extended real number system
±∞の2点を追加
cf. 射影幾何学
平面 + 無限遠点