Inter-universal geometry と ABC予想 (応援スレ) 74 (960ﾚｽ)
上下前次1-新
85(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:10 ID:KYsCHIBD(14/17) AAS
>>75
>「有理コーシー列の極限で実数を構成する」
>これがどれほどバカ発言か分かってないのが痛い
>有理数Qが完備でないからこそ実数の構成が必要なのに、根本から分かってない
それ、君だろ？（下記）ｗｗ ；ｐ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
完備距離空間
位相空間論あるいは解析学において、距離空間 M が完備（かんび、英: complete）またはコーシー空間（コーシーくうかん、英: Cauchy space）であるとは、M 内の任意のコーシー点列が M に属する極限を持つ（任意のコーシー点列が収束する）ことを言う。
直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 ℚ は完備でないが、これは例えば2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので ℚ からははみ出してしまう（後述）。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。
例
有理数全体の成す集合に差の絶対値によって定義される標準距離函数を備えた空間 ℚ は完備でない。例えば
略
で定義される列を考えると、これは有理コーシー数列だが如何なる有理数にも収束しない。実際、これが何らかの有理数 x に収束するならば、x は x^2 = 2 を満たさねばならないが、これを満たす有理数は存在しない。しかしながら、同じ列を実数列と考えるならば無理数である √2 を極限に持つ。
同様に単位開区間 (0, 1) に絶対値による距離を入れた空間は、やはり完備でない。例えば xn ≔ 1/n
で定義される数列はコーシー数列だが極限は元の空間に入らない。一方、単位閉区間 [0, 1] は完備である。先ほどと同じ列はこの空間内に極限を持ち、0 に収束する。
実数全体の成す空間 ℝ や複素数全体の成す空間 ℂ（ともに絶対値による距離を入れる）は完備であり、同様にユークリッド座標空間 ℝn も通常の距離函数に関して完備である。これと対照的に、無限次元ノルム線型空間は完備になることもならないことも起こり得る（完備な場合をバナハ空間と呼ぶ）。
任意の素数 p に対して、p-進数全体の成す空間 ℚp は完備である。この空間は有理数の空間 ℚ を p-進距離で完備化したものである（同様の仕方で、ℚ を通常の距離で完備化したものは実数の空間 ℝ になる）
外部ﾘﾝｸ:en.wikipedia.org
Construction of the real numbers（実数の構成）
上下前次1-新書関写板覧索設栞歴
あと 875 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.007s