[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 http://rio2016.5ch.net/test/read.cgi/math/1513201859/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
571: １３２人目の素数さん [] 2017/12/26(火) 19:13:34.92 ID:84+rbTu3 >>567 >>可算集合の補集合で微分可能→ある開区間で連続 > >ここを詳しく書くと >A:稠密可算集合Q（有理数）で不連続で、その補集合（無理数）で微分可能→B:（ある条件を満たせば、必ず（例え補集合が不連続であってかつ稠密であっても））ある開区間で連続（命題Aは”ある条件を満たす”）→矛盾 Qで不連続は不要です （ある条件）とは？ http://rio2016.5ch.net/test/read.cgi/math/1513201859/571
572: １３２人目の素数さん [] 2017/12/26(火) 19:20:36.30 ID:84+rbTu3 >>568 >”無理数で可微分、dense（稠密）な有理点のみ微分不可の函数は構成可能” > ↓ >では、”無理数で可微分、dense（稠密）な有理点のみリプシッツ不連続（あるいはディニ微分不可）の函数は構成可能”か？ > >例の定理1.7は、これを”構成不能”と証明したということですか？ 無理数で可微分有理数で不連続な関数は存在しないという結論を導けます ところでリプシッツ不連続とは？ http://rio2016.5ch.net/test/read.cgi/math/1513201859/572
576: １３２人目の素数さん [] 2017/12/26(火) 19:55:00.31 ID:84+rbTu3 >>574 ならば >ここを詳しく書くと >A:稠密可算集合Q（有理数）で不連続で、その補集合（無理数）で微分可能→B:（ある条件を満たせば、必ず（例え補集合が不連続であってかつ稠密であっても））ある開区間で連続（命題Aは”ある条件を満たす”）→矛盾 ではなくて A:可算集合の補集合で微分可能→B:ある開区間で連続 ですよ その条件はAによって満たされています http://rio2016.5ch.net/test/read.cgi/math/1513201859/576
577: １３２人目の素数さん [] 2017/12/26(火) 20:02:52.40 ID:84+rbTu3 >>575 >上記>>574 の定理1.7での Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ } > >に対する補集合 R−Bfが満たすべき性質を、都合上、俗に”リプシッツ不連続”と呼称させて頂きました つまり xにおいて``リプシッツ不連続''とは limsup[y→x] |(f(y)-f(x))/(y-x)|=+∞ ということですか ならば 無理数で可微分有理数でリプシッツ不連続な関数は存在しないという結論を導けますよ http://rio2016.5ch.net/test/read.cgi/math/1513201859/577
585: １３２人目の素数さん [] 2017/12/26(火) 20:37:56.49 ID:84+rbTu3 >>578 有理数で不連続な関数→どの開区間でも連続ではない 無理数で微分可能な関数→ある開区間で連続 どちらも正しいということです ところで 「無理数の至る所で微分可能な関数」はその前に書いている条件「有理数で不連続」も満たすのでしょうね？そしてその関数の微分可能な点の補集合は可算ではないということですね？ その関数に関しては「ある条件」が成り立たないでしょうね 成り立つとすれば矛盾を引き起こしますから http://rio2016.5ch.net/test/read.cgi/math/1513201859/585
586: １３２人目の素数さん [] 2017/12/26(火) 20:39:54.53 ID:84+rbTu3 >>579 ここで話題の定理の証明を読んでみてください http://rio2016.5ch.net/test/read.cgi/math/1513201859/586
592: １３２人目の素数さん [] 2017/12/26(火) 21:51:02.94 ID:84+rbTu3 >>588 こう書くべきでしたか？ 件の定理は無理数で可微分有理数でリプシッツ不連続な関数は存在しないという結論を導いていますよ http://rio2016.5ch.net/test/read.cgi/math/1513201859/592
593: １３２人目の素数さん [] 2017/12/26(火) 21:54:27.76 ID:84+rbTu3 >>587 >>有理数で不連続な関数→どの開区間でも連続ではない >>無理数で微分可能な関数→ある開区間で連続 >>どちらも正しいということです > >へー、どういうこと？ どちらも正しいので無理数で微分可能有理数で不連続な関数が存在しないと結論できるわけです >>「無理数の至る所で微分可能な関数」はその前に書いている条件「有理数で不連続」も満たすのでしょうね？そしてその関数の微分可能な点の補集合は可算ではないということですね？ >>その関数に関しては「ある条件」が成り立たないでしょうね >>成り立つとすれば矛盾を引き起こしますから > >同意です >上記のURLにあります つまりその関数は件の定理の扱っている範疇外ということですね http://rio2016.5ch.net/test/read.cgi/math/1513201859/593
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s