ガロア第一論文と乗数イデアル他関連資料スレ16

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

866: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/05(月) 14:05:34.29 ID:Y7s/vlgi

>>857
魔法の呪文”完備化の普遍性”
”そうは言っても、上記と同じくコーシー列の同値類を定義して、その同値類全体の成す集合が有理数の全体を部分体として含む体を成すことを示すのは容易である。この新しい体は完備であり、自然な全順序を備え、同型を除いて唯一の完備全順序体となる。こうして実数全体の成す体が「定義」される（より詳しくは実数の構成法（英語版）の項も参照のこと）。こうして作った実数と普段見慣れた実数とが同一視できるということを実感する一つの方法は、その実数を極限として与える「はず」の有理コーシー数列の同値類を同定することである。例えば実数の十進小数展開を途中で打ち切ることによりコーシー列を得ることは、対応する同値類に属するコーシー列を一つ選ぶことに相当する”
アーメン！ ；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%82%99%E8%B7%9D%E9%9B%A2%E7%A9%BA%E9%96%93
完備距離空間
直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 ℚ は完備でないが、これは例えば2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので ℚ からははみ出してしまう（後述）。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。
完備化
任意の距離空間 M に対して、M を稠密部分空間として含む完備距離空間 M′（あるいは M とも書く）を構成することができる
完備化の普遍性
「任意の完備距離空間 N と M から N への一様連続写像が与えられたとき、M′ から N への一様連続写像 f′ で f の延長となるものが一意に存在する」
という普遍性を持つ。空間 M′ は等距変換の違いを除いて、この普遍性によって決まり、M の完備化と呼ばれる。
M の完備化は M 内のコーシー列のある同値類集合として構成することができる。まず M 内の任意の二つのコーシー列 (xn)n と (yn)n に対して、それらの間の距離を
d(x,y)=lim n d(xn,yn) で定める（この極限は、実数直線が完備であることから存在する）。
これは実は擬距離であって距離関数ではない（二つの相異なるコーシー列の間の距離が 0 となることがあり得る）が、「距離が 0 である」というのはコーシー列全体の成す集合上の同値関係で、これで割って得られる同値類集合は距離空間となり、これが M の完備化を与える。もともとの空間 M は各元 x に対して、x に収束するコーシー列の同値類（これはつまり各項が常に x を値に取る定値列を含む同値類である）と x とを同一視することにより、完備化へ埋め込まれる。この埋め込みが所期の通り稠密部分空間の上への等距変換を定める。ただし注意すべき点として、今示した構成法は実数の完備性を明示的に用いているので、有理数の集合 ℚ の完備化については少し異なる扱いが必要になる

つづく

http://rio2016.5ch.net/test/read.cgi/math/1744899342/866

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

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

ぬこの手ぬこTOP 2.292s*