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

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

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

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

50(2): １３２人目の素数さん [sage] 2017/12/15(金) 12:48:30.81 ID:8RLwNZRE(2/10) AAS
(>>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 となる。

52(1): １３２人目の素数さん [sage] 2017/12/15(金) 12:51:42.24 ID:S7p1wcDw(2/4) AAS
>>49-50
おっちゃん、どうも、スレ主です。

いつも、ご苦労さまです。

証明投稿の途中で、じゃまかな？（＾＾

そうそう、最初に証明すべき命題をきちんと書いてくれると助かるよ（＾＾

53(2): １３２人目の素数さん [sage] 2017/12/15(金) 12:53:30.18 ID:8RLwNZRE(3/10) AAS
(>>50の続き)
[第３段]：正の実数εと実数 f(a) とに対して、連結な距離空間 R^2 から誘導される位相について、x-座標が有理点aとなる
連結距離空間 R^2 上の点 (a,f(a)) の R^2 のε-近傍 U_ε(a,f(a)) を完全集合とする。無理数 c_1∈(S_1)∩(S_2) を任意に取る。
任意の正の実数εに対して、連結距離空間 R^2 から誘導された位相について、連結距離空間 R^2 の点 (a,f(a)) の R^2 の
ε-近傍 U_ε(a,f(a)) 上にx-座標が有理数なる R^2 の点は稠密に存在し、(a,f(a)) は孤立点ではない。
従って、A＝d/2 となって |f(a)−f(b)|≧ε＞d＝2A となることに着目し、三角不等式に注意すると、
任意に、すべての正整数nについて条件 |c_1−x_{1,n}|＜M を満たし、かつ或る正整数 m'_1 に対して x_{1, m'_1}＝a であり、
すべての n≠m'_1 なる正整数nに対して x_{1,n}≠b となるようなIの点列 { x_{1,n} } が取れる。
そして、正の単調減少列 { ε_{1,n} }、及び或る非負実数 μ_1 がそれぞれ定まって、{ ε_{1,n} } は μ_1 に収束し、
このとき任意の正整数nに対して μ_1≦|f(c_1)−f(x_{1,n})|＜ε_{1,n}＜A となる。
同様に、正の実数εと実数 f(b) とに対して、連結な距離空間 R^2 から誘導される位相について、x-座標が有理点bとなる
連結距離空間 R^2 上の点 (b,f(b)) の R^2 のε-近傍 U_ε(b,f(b)) を完全集合とする。無理数 c_2∈(S_1)∩(S_2) を任意に取る。
任意の正の実数εに対して、連結距離空間 R^2 から誘導された位相について、連結距離空間 R^2 の点 (b,f(b)) の R^2 の
ε-近傍 U_ε(b,f(b)) 上にx-座標が有理数なる R^2 の点は稠密に存在し、(b,f(b)) は孤立点ではない。
従って同様に、任意に、すべての正整数nについて条件 |c_2−x_{2,n}|＜M を満たし、かつ或る正整数 m'_2 に対して x_{2, m'_2}＝b であり、
すべての n≠m'_2 なる正整数nに対して x_{2,n}≠a となるようなIの点列 { x_{2,n} } が取れる。
そして、正の単調減少列 { ε_{2,n} }、及び或る非負実数 μ_2 がそれぞれ定まって、{ ε_{2,n} } は μ_2 に収束し、
このとき任意の正整数nに対して μ_2≦|f(c_2)−f(x_{2,n})|＜ε_{2,n}＜A となる。

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

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

ぬこの手ぬこTOP 0.024s