ガロア第一論文と乗数イデアル他関連資料スレ18 (452ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
111(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/02(月)15:24 ID:ge6+WwpB(1/2)
>>110
>[a,b]は閉区間、したがって閉区間、しかも有界
>そして、大学１年で微分積分を習得し、理解した者なら、
>でも知っていて当然の定理がある！
>定理（有界閉区間上連続ならば一様連続）
>I を有界閉区間，f:I→Rを連続関数とする。このとき，f は一様連続である。
>したがって、出題の条件から必然的に一様連続である！
ふっふ、ほっほ
血迷ったか？
１）最初はぐー だよｗ
>>83より 前スレ399
"では、わかってるかどうか質問
「実数から実数への連続関数は
すべての有理数の点の上での値だけで特定できる」
これ本当？ 本当としてその証明示せる？" が、最初だったろう？
だったろ？ ここで有限区間の指定なし
その証明も 前スレ442より 下記のstackexchange answered May 3, 2013 Gyu Eun Lee の通りだ
(参考)
https://math.stackexchange.com/questions/379899/why-is-every-continuous-function-on-the-reals-determined-by-its-value-on-rationa
Why is every continuous function on the reals determined by its value on rationals? [closed]
Asked 12 years ago
asked May 3, 2013
Timothy Chang
answered May 3, 2013
Gyu Eun Lee
Suppose I have two continuous functions f,g:R→R
that agree at every rational number. You want to conclude that f(x)=g(x)
for every real number x.
Alternatively, you can show that f(x)−g(x)=0
for every real number x.
f−g is a continuous function on R, and (f−g)(q)=0
for every rational number q.
Let x be an arbitrary real number. Since the rationals are dense in the reals, we choose a sequence of rational numbers converging to x.
On this sequence f−g is identically zero, and passing to the limit by continuity, we conclude that (f−g)(x)=0.
Since x was arbitrary f−g is identically zero on R.
So a continuous function on R is uniquely determined by its values on Q.
２）さて おれが常に心掛けているのは、数学の証明というのは、しばしば複数あって
その各証明 というものは、背景には数学の構造があって、それを反映したものなのだよ
証明から 背後の数学の構造を感じ取れるか？ 看破できるかどうか？ だ
３）でな、高木先生は おそらく 教育的配慮から 問題をグレードダウンしているのだろうね
だが、君の本来の設問は 上記の通りで、 閉区間と 有界の設定なしだろう？
つまり、上記”「実数から実数への連続関数は
すべての有理数の点の上での値だけで特定できる」
これ本当？”（これは 君自身の書いたこと）を、百回反芻してくださいね （＾＾
112: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/02(月)15:26 ID:ge6+WwpB(2/2)
>>111 タイポ訂正
これ本当？ 本当としてその証明示せる？" が、最初だったろう？
だったろ？ ここで有限区間の指定なし
↓
これ本当？ 本当としてその証明示せる？" が、最初だったろう？
ここで有限区間の指定なし
114: 信長 [sage] 06/02(月)17:50 ID:ZRJYBVk5(1/6)
>>111
> 血迷ったか？
ハゲネズミはすぐ頭に血が上るのが悪い癖
> 最初はぐー だよ
最初？関係ない
83の問(5)について、107で
「問(6)で 一様性を要求しない場合を考えれば良い」
というから、そんなこと考える必要ない
問(5)の条件から一様連続性が示せると、
大学１年で微積の単位を取った学生なら
全員即答して当然のことを指摘した迄
ハゲネズミは大学１年で微積の単位を取れなかったか
115(1): 信長 [sage] 06/02(月)17:53 ID:ZRJYBVk5(2/6)
>>111
>「実数から実数への連続関数は
> すべての有理数の点の上での値だけで特定できる」
>だったろ？ ここで有限区間の指定なし
>>113でも笑われとるが、
「有限区間」というだけでは一様連続性は言えないぞ
例えば、開区間(a,b)では「連続ならば一様連続」とはいえない
ついでにいうが、上記の問題では
「実数から実数への連続関数」
を先に規定しているので
「有理数から実数への関数が
実数から実数への連続関数に
拡張できる条件」
を考える必要はない
ハゲネズミは論理が分からんから
必要なことを考えず
不要なことばかり考える
だから、微積が正しく理解できず、初歩から間違う
116: 信長 [sage] 06/02(月)17:55 ID:ZRJYBVk5(3/6)
>>111
> おれが常に心掛けているのは、
ハゲネズミは何も心掛けとらんじゃろ
> 数学の証明というのは、しばしば複数あって
> その各証明 というものは、背景にある数学の構造を反映したものなのだよ
> 証明から 背後の数学の構造を感じ取れるか？看破できるかどうか？ だ
証明がいくつあろうがハゲネズミは一つとして理解できたものなどなかろう
数学の構造を「感じ取る」とか、たわけたことをいっとるのがその証拠
数学の構造は定義として既に「示されている」
定義を読んで理解することが第一
証明で使う定義が数学の構造の反映そのもの
書かれてないことを看破するのではない
書かれていることを読解すればいい
しかし、ハゲネズミ、貴様にはそれができない
だから数学が分からない
117(3): 信長 [sage] 06/02(月)18:00 ID:ZRJYBVk5(4/6)
>>111
> でな、高木先生は おそらく 教育的配慮から
> 問題をグレードダウンしているのだろうね
「おそらく」とか「教育的配慮」とか
「グレードダウン」とか「だろう」とか
全部見当違い
問(5)も、問(6)も、実数の定義から分かる基本問題
> だが、君の本来の設問は 上記の通りで、閉区間と 有界の設定なしだろう？
まあ、なくても証明できるがな
「実数から実数への連続関数はすべての有理数の点の上での値だけで特定できる」
という問題は問(5)の一般化ではあるが、問(6)に答える必要がなく、単に、
「任意の有理数上で0となる関数を実数上の関数に拡張した場合
任意の実数上で0となる定数関数以外の関数以外のものは存在しない」
ということを示せばいいだけ
定数関数が一様連続であることはアホでも分かろう
さて、問(6)を一般化する場合
「ε-δ式でいえばlx−x'|<δなるとき, |f(x)-f(x')| < ε」（A）
のδとεがxに依存したもの、すなわち
「ε-δ式でいえばlx−x'|<δ(x)なるとき, |f(x)-f(x')| < ε(x)」（A’）
でも拡張はできる
一方で、有理数の位相による連続性（B）では拡張の存在を示すには不十分である
（B）を満たすが（A）を満たさぬ関数がある
f(x)=0: x<√2, =1: x>√2. がその例
fが(A')を満たさぬことはハゲネズミでもわかろうが
fが(B)を満たすことが、ハゲネズミ、貴様に示せるか？
こんな初歩が分からん奴は大学1年からやり直せ
> つまり、
>「実数から実数への連続関数はすべての有理数の点の上での値だけで特定できる」
> を、百回反芻してくださいね
ハゲネズミが百回、千回、いや一万回反芻しても答えは思いつくまい
そもそもf(x)=0: x<√2, =1: x>√2.がなぜ有理数上で連続なのかわからん上に
なぜ、有界閉区間だと連続ならば一様連続が云えて
なぜ、有界開区間だとそう云えないのか分からんハゲネズミは
大学１年レベルの初歩から微分積分が分かっとらんということじゃ
120(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 06/04(水)15:26 ID:Vo5laslH(1/2)
>>115
(引用開始)
>>111
>「実数から実数への連続関数は
> すべての有理数の点の上での値だけで特定できる」
>だったろ？ ここで有限区間の指定なし
「有限区間」というだけでは一様連続性は言えないぞ
例えば、開区間(a,b)では「連続ならば一様連続」とはいえない
(引用終り)
ふっふ、ほっほ
こんな話は、世の中 至る所に落ちていて
例えば 下記の ハテナブログ Branched Evolution Competitive Programming in Python 2020-08-16
”一様連続関数を完備化した空間に拡張する”を、ごらんあれ ｗ ；ｐ）
下記では、”有限区間の指定なし”！！
つまり、『一様連続関数を完備化した空間に拡張する』が、定理として成り立つ
有限区間[a,b]の指定は本質ではない
『高木先生は おそらく 教育的配慮から 問題をグレードダウンしているのだろうね』(>>111より)
下記の ハテナブログ を百回音読してね
その後、>>111を 読み返せ！ｗ
なお、下記 ハテナブログ では 実数値関数を扱っているが
複素数値関数 f:X→C (Cは複素数の集合)
でも同様だな （君のレベルが上がれば それが分かるだろう ；ｐ）
『問(5)も、問(6)も、実数の定義から分かる基本問題』>>117かよｗ
君は、さすが ”学部１年の１日目で詰んだ男”と言われるだけあるわｗ ；ｐ）
追伸：
下記 最後の”また，距離空間上の連続関数は稠密な部分集合上での値によって一意に決まるから，この拡張は一意的である．”が、>>83の 問（5）な （＾＾
(参考)
https://evolite.ｈａｔｅｎａｂｌｏｇ.com/entry/20200816/1597542858
Branched Evolution Competitive Programming in Python
2020-08-16
一様連続関数を完備化した空間に拡張する
関数解析 集合と位相
距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる．
補題： 略す
定理
距離空間
(X,d) 上に定義された一様連続関数
f:X→R は
(X,d) の完備化
(X^,d^) 上の一様連続関数
f^ :X^ →R に一意的に拡張できる．
証明
X は X^ の稠密な部分集合として埋め込めるから，
x∈X^ に収束する
X の点列
{xn} がとれる．
{xn} は収束するから，Cauchy 列であり，補題より
{f(xn)} も Cauchy 列である．
R の完備性より，
{f(xn)} は収束し，その収束先は点列
{xn} のとり方によらないから，
f^ を f^ (x)=lim n→∞ f(xn) で定義できる．
また，距離空間上の連続関数は稠密な部分集合上での値によって一意に決まるから，この拡張は一意的である．
参考
Aliprantis, Charalambos D., Border, Kim, Infinite Dimensional Analysis
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s