[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ17 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
447(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/05/18(日) 07:55:32.92 ID:kvRHpDhK(1/3) AAS
>>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の存在が示せる ってこと だね
453: １３２人目の素数さん [] 2025/05/18(日) 08:33:05.69 ID:dHKV9stj(2/4) AAS
>>447
１，日本語だけじゃなく英語も読めない？
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.
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.)
ここに全部書いてあるじゃん
Q上コーシー連続なら、Q上連続
しかし、Q上で連続でも、コーシー連続じゃないと拡張できない
（例：ｘ＾２＜２ならｆ（ｘ）＝０、ｘ＾２＞２ならｆ（ｘ）＝１となる関数は、Ｑ上連続）
Q上コーシー連続なら、R上連続に拡張できる
Q上一様連続なら、コーシー連続
しかし、Q上一様連続でない、コーシー連続関数がある
（ｆ（ｘ）＝２＾ｘ）
だから、ｆ：Ｑ→Ｒを、ｆ：Ｒ→Ｒに一意的に拡張する場合
十分条件 ：Ｑ上一様連続
必要条件 ：Ｑ上連続
必要十分条件：Ｑ上コーシー連続
な
ということで、コーシー連続の定義読めよ
Let X and Y be metric spaces, and let f:X→Y be a function from X to Y.
Then f is Cauchy-continuous if and only if,
given any Cauchy sequence (x1,x2,…) in X,
the sequence (f(x1),f(x2),…) is a Cauchy sequence in Y.
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s