[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ17 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ17 http://rio2016.5ch.net/test/read.cgi/math/1746597368/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
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
453: 132人目の素数さん [] 2025/05/18(日) 08:33:05.69 ID:dHKV9stj >>447 1,日本語だけじゃなく英語も読めない? 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上で連続でも、コーシー連続じゃないと拡張できない (例:x^2<2ならf(x)=0、x^2>2ならf(x)=1となる関数は、Q上連続) Q上コーシー連続なら、R上連続に拡張できる Q上一様連続なら、コーシー連続 しかし、Q上一様連続でない、コーシー連続関数がある (f(x)=2^x) だから、f:Q→Rを、f:R→Rに一意的に拡張する場合 十分条件 :Q上一様連続 必要条件 :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. http://rio2016.5ch.net/test/read.cgi/math/1746597368/453
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.046s