現代数学の系譜11 ガロア理論を読む13 [転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む13 [転載禁止]©2ch.net (654ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

236: 現代数学の系譜11 ガロア理論を読む [] 2015/04/29(水) 15:58:17.06 ID:6XYDeD+q

>>232
ちょっと戻る

>(a) A homomorphism α：R→R acts as the identity map on Z, hence on Q, and it maps positive real numbers to positive real numbers, and therefore preserves the order.

思うに、実数Rの定義として、収束する有理点列{An}を考えて、A homomorphism α：R→R が、preserves the order だということだろう
だから、明示的に使っているのは、「実数Rの定義として、収束する有理点列{An}」と「順序の保存」。実数の連続性は、表には出ないが、実数Rの定義から従うのだろう

http://ja.wikipedia.org/wiki/%E5%AE%8C%E5%82%99%E8%B7%9D%E9%9B%A2%E7%A9%BA%E9%96%93
抜粋
完備距離空間（かんびきょりくうかん）は数学用語の一つ。

位相空間論あるいは解析学において、距離空間 M が完備（かんび、英: complete）またはコーシー空間（コーシーくうかん、英: Cauchy space）であるとは、M 内の任意のコーシー点列が M に属する極限を持つ（任意のコーシー点列が収束する）ことを言う。

直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。
例えば、有理数全体の成す集合 Q は完備でないが、これは例えば 2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので Q からははみ出してしまう（後述）。
「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。

完備化
先の完備化の構成法をノルム線型空間に施せばもとの空間を稠密部分空間として含むバナハ空間が得られ、内積空間に施せば元の空間を稠密部分空間として含むヒルベルト空間が得られる。

位相的完備空間
距離空間の完備性は、完備な距離空間が完備でない距離空間に同相となり得るという意味で、距離的性質だが位相的性質ではないことに注意すべきである。

変形版と一般化
一般の位相群に対してもコーシー列は定義できるから、距離構造や完備性の定義および空間の完備化の構成法も、群構造を使ったもので置き換えた変形版を考えることができる。

http://wc2014.5ch.net/test/read.cgi/math/1428205549/236

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.241s*