[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
55(2): １３２人目の素数さん [sage] 2017/12/15(金) 12:56:00.96 ID:8RLwNZRE(4/10) AAS
(>>53の続き)
[第４段]：故に c_1＝c_2 として点 c∈(S_1)∩(S_2) を任意に取れば、任意に、すべての正整数nについて条件 |c−x_{1,n}|＜M を満たし、
かつ或る正整数 m_1 に対して x_{1, m_1}＝a であり、すべての n≠m_1 なる正整数nに対して x_{1,n}≠b となるような
Iの点列 { x_{1,n} } が取れる。このとき更に、任意に、すべての正整数nについて条件 |c−x_{2,n}|＜M を満たし、
かつ或る正整数 m_2 に対して x_{2, m_2}＝b であり、すべての n≠m_2 なる正整数nに対して x_{2,n}≠a となるような
Iの点列 { x_{2,n} } が取れる。そして、各 i＝1,2 に対して正の単調減少列 { ε_{i,n} }、及び或る非負実数 μ_i がそれぞれ定まって、
{ ε_{i,n} } は μ_i に収束し、このとき任意の正整数nに対して μ_i≦|f(c)−f(x_{i,n})|＜ε_{i,n}＜A となる。
[第５段]：i＝1,n＝m_1 とすると、x_{1,m_1}＝a から |c−a|＜M であって、|f(c)−f(a)|＜A＝d/2。
同様に、i＝2,n＝m_2 とすると、x_{2,m_2}＝b から |c−b|＜M であって、|f(c)−f(b)|＜A＝d/2。
従って、三角不等式から、|a−b|≦|a−c|＋|c−b|＜M＋M＝2M、|f(a)−f(b)|≦|f(a)−f(c)|＋|f(c)−f(b)|＜d/2＋d/2＝d。
d/2 に対して定まる正の実数 δ(d/2) を δ(d/2)＝2M とおけば、|a−b|＜δ(d/2) であって |f(a)−f(b)|＜d＜ε、
故に、εに対して定まる正の実数 δ(ε) を δ(ε)＝δ(d/2) とおけば、|a−b|＜δ(ε) であって |f(a)−f(b)|＜ε。
しかし、これは |f(a)−f(b)|≧ε であったことに反し矛盾する。背理法が適用出来るから、任意の正の実数εに対して、
連結な距離空間 R^2 から誘導される位相について、任意のIの有理点a'と任意の実数yとに対して定まりx-座標が有理数a'となるような、
連結な距離空間 R^2 上のε-近傍 U_ε(a',y) を完全集合とすると、区間Iで定義された
すべてのIの有理点で不連続、すべてのIの無理点で連続な実関数 f(x) は存在しないことになる。
57: １３２人目の素数さん [sage] 2017/12/15(金) 13:00:53.36 ID:8RLwNZRE(6/10) AAS
あっ、>>56は>>55の続きで、新たな命題の証明。
60: １３２人目の素数さん [sage] 2017/12/15(金) 16:40:48.25 ID:8RLwNZRE(8/10) AAS
>>55の第５段の
>背理法が適用出来るから、任意の正の実数εに対して、連結な距離空間 R^2 から誘導される位相について、
>任意のIの有理点a'と任意の実数yとに対して定まりx-座標が有理数a'となるような、
>連結な距離空間 R^2 上のε-近傍 U_ε(a',y) を完全集合とすると、
の部分は
>背理法が適用出来るから、任意の正の実数εに対して、連結な距離空間 R^2 から誘導される位相について、
>高々1個の正の実数εに対し、高々2個のIの異なる有理点 a,b に対してそれぞれy-座標が a' ,b' が定まって得られるような、
>連結距離空間 R^2 上のε-近傍 U_ε(a, a'), ε-近傍 U_ε(b, b') の各閉包を完全集合とすると、
に変更。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s