ガロア第一論文と乗数イデアル他関連資料スレ18 (445ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
108(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/01(日)09:54 ID:SMdueHXd(1/2) AAS
>>107
ご指摘ありがとう
＜まず >>105の訂正版＞
問(5）において、f(x)’＝f(x)-g(x) とおくと
f(x)’が、稠密点x'で f(x')’=0のとき
↓
f(x)’が、恒等的に0 即ち f(x)’=0 at ∀x∈[a,b]
を証明すれば良いだけであって
(訂正版終り)
さて 下記が参考になる
外部ﾘﾝｸ:math.stackexchange.com
stackexchange.com
Example of a continuous function that don't have a continuous extension
asked Apr 7, 2019 AnalyticHarmony
Answers
Another reason: continuous in the whole line implies locally bounded near every point.
And another counterexample based in a different idea: Q is dense in R
with the usual topology. The function
f:Q⟶R
f(x)={0: x<√2,
={1: x>√2.
is continuous (check it) and can't be extended continuously to R.
answered Apr 7, 2019 Martín-Blas Pérez Pinilla
ここは、前スレでも扱った通り、下記です
2chｽﾚ:math より
理由は、簡単で 下記の通り
記
>>427の はてなブログ Branched Evolution で
”2020/08/16 — 距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる．”
で、「一様連続関数」とあるから、この命題では 「一様連続」は外せないと読んだ
（なお、今見ると >>207にも 完備距離空間 ja.wikipedia で
”完備距離空間は、完備化の普遍性
「任意の完備距離空間 N と M から N への一様連続写像が与えられたとき、M′ から N への一様連続写像 f′ で f の延長となるものが一意に存在する」
という普遍性を持つ。”とある（同様の記述が >>173にもあるね））
感心するほどではなく
”完備距離空間での 完備化の普遍性”として ”一様連続”は 覚えておくべき そして 理解しておくべきことだね
もし ”一様連続”という条件を外すと、>>432の通りで
外部ﾘﾝｸ:en.wikipedia.org
の”Examples and non-examples”の記載の通り non-exampleの存在が示せる ってこと だね
(引用終り)
つづく
109(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/01(日)09:55 ID:SMdueHXd(2/2) AAS
つづき
上記の 外部ﾘﾝｸ:en.wikipedia.orgより
Examples and non-examples
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.
(引用終り)
x<√2 と x^2 is less than 2 とは、同じ意味だ
さらに初心者向け解説をば 追加する
外部ﾘﾝｸ:wiis.info
wiis
関数の一様連続性（一様連続関数）
改めて整理すると、関数 f:R⊃X→Rが定義域X上で連続であることは、
∀a∈X,∀ε＞0,∃δ>0∀x∈X：(|x-a|＜δ→|f(x)-f(a)|＜ε) ・・・(1)
が成り立つことを意味する一方、fが定義域X上で一様連続であることは、
∀ε＞0,∃δ>0∀a∈X,∀x∈X：(|x-a|＜δ→|f(x)-f(a)|＜ε) ・・・(2)
が成り立つことを意味しますが、両者の違いは量化記号
∀a∈X
の相対的な位置だけです。連続性の定義(1)において∀a∈Xは∃δ>0よりも前に置かれているため、
(1)を満たすδの水準は点aの位置に依存します。点aの位置が変われば(1)を満たすδの値もまた変化するということです。
例（定数関数は一様連続関数）
(引用終り)
いま、上記 x=√2 の近くの点aを考える
簡単に、 a＜√2 とする （一様連続でない）(1)の場合に
|x-a|＜δ で
点aが √2 に 近づくと δを 小さく √2を超えないように制限することで (1)を満たし、従って 連続が言える
一方、(2)の場合には、δが先に与えられて √2を超えると、(2)を満たせず 一様連続が言えなくなる■
で、最初の 問(5）f(x)’＝f(x)-g(x) ＝0 は、上記 wiis ”例（定数関数は一様連続関数）”が当てはまる■
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.019s