Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新

---

85(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:10 ID:KYsCHIBD(14/17) AA×
>>75

外部ﾘﾝｸ:ja.wikipedia.org
外部ﾘﾝｸ:en.wikipedia.org

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
85: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/23(土) 23:10:13.92 ID:KYsCHIBD >>75 >「有理コーシー列の極限で実数を構成する」 >これがどれほどバカ発言か分かってないのが痛い >有理数Qが完備でないからこそ実数の構成が必要なのに、根本から分かってない それ、君だろ？（下記）ｗｗ ；ｐ）　 (参考) https://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 に属する極限を持つ（任意のコーシー点列が収束する）ことを言う。 直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 ℚ は完備でないが、これは例えば2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので ℚ からははみ出してしまう（後述）。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 (completion) として常に可能である。 例 有理数全体の成す集合に差の絶対値によって定義される標準距離函数を備えた空間 ℚ は完備でない。例えば 略 で定義される列を考えると、これは有理コーシー数列だが如何なる有理数にも収束しない。実際、これが何らかの有理数 x に収束するならば、x は x^2 = 2 を満たさねばならないが、これを満たす有理数は存在しない。しかしながら、同じ列を実数列と考えるならば無理数である √2 を極限に持つ。 同様に単位開区間 (0, 1) に絶対値による距離を入れた空間は、やはり完備でない。例えば xn ≔ 1/n で定義される数列はコーシー数列だが極限は元の空間に入らない。一方、単位閉区間 [0, 1] は完備である。先ほどと同じ列はこの空間内に極限を持ち、0 に収束する。 実数全体の成す空間 ℝ や複素数全体の成す空間 ℂ（ともに絶対値による距離を入れる）は完備であり、同様にユークリッド座標空間 ℝn も通常の距離函数に関して完備である。これと対照的に、無限次元ノルム線型空間は完備になることもならないことも起こり得る（完備な場合をバナハ空間と呼ぶ）。 任意の素数 p に対して、p-進数全体の成す空間 ℚp は完備である。この空間は有理数の空間 ℚ を p-進距離で完備化したものである（同様の仕方で、ℚ を通常の距離で完備化したものは実数の空間 ℝ になる） https://en.wikipedia.org/wiki/Construction_of_the_real_numbers Construction of the real numbers（実数の構成） http://rio2016.5ch.net/test/read.cgi/math/1755784703/85
有理コーシー列の極限で実数を構成する これがどれほどバカ発言か分かってないのが痛い 有理数が完備でないからこそ実数の構成が必要なのに根本から分かってない それ君だろ？下記 参考 完備距離空間 位相空間論あるいは解析学において距離空間 が完備かんび英 またはコーシー空間コーシーくうかん英 であるとは 内の任意のコーシー点列が に属する極限を持つ任意のコーシー点列が収束することを言う 直観的に言えば空間が完備であるというのはその内側や境界において点を追いかけると空間からはみ出してしまうということが起きないということである例えば有理数全体の成す集合 は完備でないがこれは例えば の正の平方根はそれに収束する有理コーシー数列が構成できるにも拘らず有理数ではないので からははみ出してしまう後述こういった抜けを全て埋めてしまうという考えは後述するように空間の完備化 として常に可能である 例 有理数全体の成す集合に差の絶対値によって定義される標準距離函数を備えた空間 は完備でない例えば 略 で定義される列を考えるとこれは有理コーシー数列だが如何なる有理数にも収束しない実際これが何らかの有理数 に収束するならば は を満たさねばならないがこれを満たす有理数は存在しないしかしながら同じ列を実数列と考えるならば無理数である を極限に持つ 同様に単位開区間 に絶対値による距離を入れた空間はやはり完備でない例えば で定義される数列はコーシー数列だが極限は元の空間に入らない一方単位閉区間 は完備である先ほどと同じ列はこの空間内に極限を持ち に収束する 実数全体の成す空間 や複素数全体の成す空間 ともに絶対値による距離を入れるは完備であり同様にユークリッド座標空間 も通常の距離函数に関して完備であるこれと対照的に無限次元ノルム線型空間は完備になることもならないことも起こり得る完備な場合をバナハ空間と呼ぶ 任意の素数 に対して進数全体の成す空間 は完備であるこの空間は有理数の空間 を 進距離で完備化したものである同様の仕方で を通常の距離で完備化したものは実数の空間 になる 実数の構成

---

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

---

あと 878 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.069s