[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ17 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ17 http://rio2016.5ch.net/test/read.cgi/math/1746597368/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
432: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/17(土) 20:00:54.76 ID:y2zepp9J >>427 補足 >(”一様連続”の条件を外せるかは ちょっと保留) ”一様連続”を仮定するのが、良さそうだね 下記の通り 一様連続 →Uniform continuity(英文情報(圧倒的に良質情報が多い)) →Cauchy continuity(For a function between metric spaces, uniform continuity implies Cauchy continuity (Fitzpatrick 2006). ) →Cauchy-continuous function Examples and non-examples と辿れる ここで Q上 Cauchy-continuou関数だが Uniform continuouでない関数が、 non-example として構成されている(下記) こいつは Rへ連続関数として延長不可だ!w ;p) (参考) https://ja.wikipedia.org/wiki/%E4%B8%80%E6%A7%98%E9%80%A3%E7%B6%9A 一様連続 https://en.wikipedia.org/wiki/Uniform_continuity Uniform continuity Other characterizations Cauchy continuity For a function between metric spaces, uniform continuity implies Cauchy continuity (Fitzpatrick 2006). (注:逆は不成立(下記)) Relations with the extension problem A sufficient condition for f to extend to a continuous function f:X→R is that it is Cauchy-continuous, i.e., the image under f of a Cauchy sequence remains Cauchy. If X is complete (and thus the completion of S), then every continuous function from X to a metric space Y is Cauchy-continuous. Therefore when X is complete, f extends to a continuous function f:X→R if and only if f is Cauchy-continuous. It is easy to see that every uniformly continuous function is Cauchy-continuous and thus extends to X. https://en.wikipedia.org/wiki/Cauchy-continuous_function Cauchy-continuous function Examples and non-examples Since the real line R is complete, continuous functions on R are Cauchy-continuous. On the subspace Q of rational numbers, however, matters are different. For example, define a two-valued function so that f(x) is 0 when x^2 is less than 2 but 1 when x^2 is greater than 2. (Note that x^2 is never equal to 2 for any rational number x.) This function is continuous on Q but not Cauchy-continuous, since it cannot be extended continuously to R. {\displaystyle \mathbb {R} .} On the other hand, any uniformly continuous function on Q must be Cauchy-continuous. For a non-uniform example on Q, let f(x) be 2^x; this is not uniformly continuous (on all of Q), but it is Cauchy-continuous. (This example works equally well on R.) A Cauchy sequence (y1,y2,…) in Y can be identified with a Cauchy-continuous function from {1,1/2,1/3,…} to Y, defined by f(1/n)=yn. If Y is complete, then this can be extended to {1,1/2,1/3,…}; f(x) will be the limit of the Cauchy sequence. http://rio2016.5ch.net/test/read.cgi/math/1746597368/432
433: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/17(土) 20:10:17.52 ID:y2zepp9J >>432 >>403の "某多変数関数論の名誉教授をエスパー" は、ちょっとエスパー能力が足りなかったか のでなく エスパー読み手の ”数学能力”の問題か (^^ →Uniform continuity →Cauchy continuity ここらで イマイチ 私の数学能力がついて行けてなかったんだね!w ;p) オチコボレのおサルさん>>10 勉強になって良かったね!!!ww ;p) http://rio2016.5ch.net/test/read.cgi/math/1746597368/433
435: 132人目の素数さん [] 2025/05/17(土) 20:32:31.00 ID:0l6LbjtF >>432 >”一様連続”を仮定するのが、良さそうだね >> 423読んで理解したなら絶対できない自爆発言かと (引用始) 実数上の2つの連続関数 𝑓(𝑥) と 𝑔(𝑥) が任意の有理数点で一致するとき、 これらの関数は実数全体で一致します。 この事実は、連続性と有理数の稠密性 によって保証されます。 一様連続性は不要であり、通常の連続性だけで十分です。 証明の概略 有理数は実数全体で稠密であるため、任意の実数 𝑥 に対して、 有理数列 (𝑞𝑛) が存在し、𝑞𝑛→𝑥 (有理数列が 𝑥 に収束する)。 𝑓(𝑥) と 𝑔(𝑥) は連続関数なので、有理数点 𝑞𝑛 で 𝑓(𝑞𝑛)=𝑔(𝑞𝑛) ならば、 極限を取ることで lim 𝑛→∞ 𝑓(𝑞𝑛)=lim 𝑛→∞ 𝑔(𝑞𝑛). しかし、連続性より、右辺はそれぞれ 𝑓(𝑥) と 𝑔(𝑥) に収束するため、𝑓(𝑥)=𝑔(𝑥). これにより、任意の実数 𝑥 で 𝑓(𝑥)=𝑔(𝑥) が成立するため、 𝑓(𝑥) と 𝑔(𝑥) は完全に一致する。 一様連続性が必要ではない理由は、連続関数の定義そのものが局所的な収束を保証するためです。 一様連続性は関数の振る舞いが一様に安定していることを保証するものですが、 今回の議論では特定の収束列を用いるため、通常の連続性で十分です。 (引用終) 1、Copilotに完全に論破される アーメン http://rio2016.5ch.net/test/read.cgi/math/1746597368/435
447: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/18(日) 07:55:32.92 ID:kvRHpDhK >>446 >その結論は正しいですね。セタさんは「一様連続」という概念が好きらしい。 >それには一理あると思いますよ。 >もしご自分でその理由が説明できれば感心しますが。 ID:LhBQrX7V さん、投稿ありがとう スレ主です 固有名詞の話は別として 理由は、簡単で 下記の通り 記 >>427の はてなブログ Branched Evolution で ”2020/08/16 — 距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる.” で、「一様連続関数」とあるから、この命題では 「一様連続」は外せないと読んだ (なお、今見ると >>207にも 完備距離空間 ja.wikipedia で ”完備距離空間は、完備化の普遍性 「任意の完備距離空間 N と M から N への一様連続写像が与えられたとき、M′ から N への一様連続写像 f′ で f の延長となるものが一意に存在する」 という普遍性を持つ。”とある(同様の記述が >>173にもあるね)) 感心するほどではなく ”完備距離空間での 完備化の普遍性”として ”一様連続”は 覚えておくべき そして 理解しておくべきことだね もし ”一様連続”という条件を外すと、>>432の通りで https://en.wikipedia.org/wiki/Cauchy-continuous_function の”Examples and non-examples”の記載の通り non-exampleの存在が示せる ってこと だね http://rio2016.5ch.net/test/read.cgi/math/1746597368/447
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.405s*