現代数学の系譜工学物理雑談古典ガロア理論も読む48

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

50: １３２人目の素数さん [sage] 2017/12/15(金) 12:48:30.81 ID:8RLwNZRE

(>>49の続き)
[第２段]：i＝1,2 を任意に取る。iに対して点 c∈(S_1)∩(S_2) を任意に取る。実関数 f(x) はIの無理点cで連続だから、
Aに対して或る正の実数 δ'(A) が定まって、M＝δ'(A) とおくと、|c−x|＜M のとき |f(c)−f(x)|＜A となる。
|c−x_{i,1}|＜M なるIの点 x_{i,1} を適当に取り、|f(c)−f(x_{i,1})|＜ε_{i,1}＜A を満たす正の実数 ε_{i,1} を任意に取る。
2以上の正整数nを任意に取る。同様に、|c−x_{i,n}|＜M なるIの点 x_{i,n} を適当に取り、|f(c)−f(x_{i,n})|＜ε_{i,n}＜ε_{i,1}
を満たす正の実数 ε_{i,n} を任意に取る。同様に、|c−x_{i,n+1}|＜M なるIの点 x_{i,n+1} を適当に取り、
|f(c)−f(x_{i,n+1})|＜ε_{i,n+1}＜ε_{i,n} を満たす正の実数 ε_{i,n+1} を任意に取る。
2以上の正整数nは任意であるから、nについて帰納的に考えると、任意の2以上の正整数nに対して
次の条件をすべて同時に満たすようなIの実数 x_{i,n}, x_{i,(n+1)} と正の実数 ε_{i,n}, ε_{i,(n±1)} が存在する：
?@)：|c−x_{i,n}|＜M、|f(c)−f(x_{i,n})|＜ε_{i,n}＜ε_{i,(n-1)}、
?A)：|c−x_{i,(n+1)}|＜M、|f(c)−f(x_{i,(n+1)})|＜ε_{i,(n+1)}＜ε_{i,n}。
ここに、|c−x_{i,1}|＜M、|f(c)−f(x_{i,1})|＜ε_{i,1}＜A。このとき構成された正の実数列 { ε_{i,n} } は単調減少である。
{ ε_{i,n} } は下に有界で、任意の正整数nに対して ε_{i,n}, x_{i,n} は |f(c)−f(x_{i,n})|＜ε_{i,n} を満たすから、
iに対して或る非負実数 μ_i が存在して { ε_{i,n} } は μ_i に収束し、任意の正整数nに対して μ_i≦|f(c)−f(x_{i,n})|＜ε_{i,n}。
iに対して (S_1)∩(S_2) の点cが任意に取れて、i＝1,2 は任意だったから、各 i＝1,2 に対して、点 c∈(S_1)∩(S_2) を任意に取れば、
すべての正整数nについて条件 |c−x_{i,n}|＜M を満たすようなIの点列 { x_{i,n} } が任意に取れて、
更にiに対して正の単調減少列 { ε_{i,n} }、及び或る非負実数 μ_i がそれぞれ定まって、{ ε_{i,n} } は μ_i に収束し、
任意の正整数nに対して μ_i≦|f(c_i)−f(x_{i,n})|＜ε_{i,n}＜A＝d/2 となる。

http://rio2016.5ch.net/test/read.cgi/math/1513201859/50

96: １３２人目の素数さん [sage] 2017/12/16(土) 13:27:21.76 ID:9/yG/0pd

>>64
おっちゃんです。
>＜おっちゃんの>>49の訂正命題＞
>Iを開区間とする。
>連結な距離空間 R^2 から誘導される位相について、高々1個の正の実数εに対し、
>高々2個のIの異なる有理点 a,b に対してそれぞれy-座標が a' ,b' が定まって得られるような、
>連結距離空間 R^2 上のε-近傍 U_ε(a, a'), ε-近傍 U_ε(b, b') の各閉包を完全集合とする。
>このとき、Iを定義域とし、任意のIの有理点で不連続、かつ任意のIの無理点で連続となる実関数 f(x) は存在しない。
>＜おわり＞
>
>申し訳ないが、おれにはこの命題の意味がとれない
その命題の意味？　開区間Iを定義域とし、任意のIの有理点で不連続、
かつ任意のIの無理点で微分可能となる実関数 f(x) は存在しないことを示すための準備。
この場合は完全集合は閉区間と同じ扱いになる。その完全集合つまり閉区間についての
元の仮定が偽で、結論も偽の命題なんだから、対偶を取れば正しい命題になって数学的には正しい命題になる。
今気付いたが、ε-δ だけで示せるだろう。ただ、もっと長くなるとは思う。

>１）普通の開区間Iと何が違う？
この場合も含めて普通は、連結な距離空間 R^2 に定められた距離関数はユークリッド平面 R^2 に
定義された任意の2点に定義された通常の距離の取り方をするが、距離関数の取り方次第では
他の距離関数が定義されたユークリッド平面 R^2 を連結な距離空間として扱うことも出来る。
このときは空間 R^2 を通常のユークリッド平面 R^2 とは異なる扱いをすることになる。
そして、ユークリッド平面 R^2 からその高々有限個の点からなる
離散距離空間を構成することも出来て、通常の距離とは異なる扱いをすることも出来る。

>２）”普通の１変数関数 （x,y）∈R^2 ｙ＝f(x) で、通常のユークリッド距離空間（√（x^2+y^2））”と何が違う？
この場合は普通のユークリッド距離関数と同じと考えて問題はない。
普通はユークリッド平面 R^2 を連結な距離空間として扱うとき、その距離関数は任意の2点間に定義されたような通常の距離関数の取り方をする。

http://rio2016.5ch.net/test/read.cgi/math/1513201859/96

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.038s