- 129 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/05/07(日) 22:04:52.13 ID:LvkNTLYs.net]
- 追加
ああ、こんな話も書いてありますね・・（＾＾；
ああ、無限は難しいですよね
https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0%E7%9B%B4%E7%B7%9A
実数直線
(抜粋)
位相的な性質
実数直線は局所コンパクトかつパラコンパクトであり、また第二可算かつ正規空間である。また弧状連結であり、従って連結である一方で、任意の一点を取り除くだけで不連結にすることができる。また実数直線は可縮であり、そのホモトピー群および簡約ホモロジー群はすべて零となる。
局所コンパクト空間としての実数直線はいくつかの方法でコンパクト化することができる。R の一点コンパクト化は円周（実射影直線）であり、付け加えられた点は符号なしの無限大と考えることができる。
別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。
他にも、実数直線に無限個の点を付け加えるストーン-チェックコンパクト化などがある。
文脈によっては実数全体の成す集合上に標準と異なる位相（例えば下極限位相やザリスキー位相）を入れるほうが有効であることもある。
R に対するザリスキー位相は有限補位相と同じになる。
測度空間としての性質
実数直線にはルベーグ測度という標準的な測度を入れることができる。ルベーグ測度は R 上のボレル測度（区間の測度は区間の長さであるものとして定められる測度）の完備化として定義することができる。
実数直線上のルベーグ測度は局所コンパクト群上のハール測度のもっとも簡単な例のひとつである。
|
 |
