暇つぶし2chat MATH

- 暇つぶし2ch749:そしてこの問題の主張は、集合論で標準的な公理系として用いられる ZFC から独立であることが知られている。位相的な性質 https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/150px-Real_projective_line.svg.png 実数直線にただひとつの無限遠点を加えてコンパクト化できる。 https://ja.wikipedia.org/wiki/%E7%9B%B4%E7%B7%9A 直線とは、太さを持たない幾何学的な対象である曲線の一種で、どこまでもまっすぐ無限に伸びて端点を持たない。まっすぐな線には直線の他に、有限の長さと両端を持つ線分と、一つの端点を始点として無限にまっすぐ伸びた半直線がある。座標直線上の点に実数を対応させることで数直線を考えることができる。数直線は向きを持った直線であり、原点から単位点の向きに矢印を記すことがある。 https://upload.wikimedia.org/wikipedia/commons/0/0f/Numberline.png