X



トップページ数学
632コメント701KB
現代数学の系譜 工学物理雑談 古典ガロア理論も読む51
■ このスレッドは過去ログ倉庫に格納されています
0001現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/08(木) 21:58:07.31ID:rfgP69By
“現代数学の系譜 物理工学雑談 古典ガロア理論も読む”

数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。

皆さまのご尽力で、伝統あるガロアすれは、
過去、数学板での勢いランキングで、常に上位です。(勢い1位の時も多い(^^ )

このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^

話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。

なお、
小学レベルとバカプロ固定
サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」)
(参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
High level people
低脳幼稚園児のAAお絵かき
お断り!
小学生がいますので、18金よろしくね!(^^

High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^;
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
旧スレが512KBオーバー(又は間近)で、新スレ立てる
(スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。)
0132132人目の素数さん2018/02/12(月) 13:04:24.81ID:X1pATS5E
>最大値があるとは言えませんよ
スレ主のファンタジー数学ではスレ主が「ある」と言えばあるのです。
0133132人目の素数さん2018/02/12(月) 16:01:34.31ID:xN3w9Uzw
数日ぶりにレスをする、おっちゃんです。
土日(金曜の夜を含む)と休日、祝日の振り替えとの合計日間で大体100レス進んだのかな。
ということは、土日だと一日当たり大体30〜40近くレスが書き込まれるということか。
スレ主は相変わらず頑固に屈さないな。
数学はディベートというか討論とは違うんだけどな。スレ主は討論会だと負けないだろうね。
0134132人目の素数さん2018/02/12(月) 16:25:52.76ID:xN3w9Uzw
p を仮定、qを結論とする。命題 p⇒q の真偽について、
p、q が両方共に真のとき、 p⇒q は真、
p が真、q が偽のとき、 p⇒q は偽、
p が偽、q が真のとき、 p⇒q は真、
p、q が両方共に偽のとき、 p⇒q は真。
これは基本。
あと、命題 p∧q → q については、仮定の p∧q で結論のqが仮定されていることになるから、p∧q → q は必ず成り立ち真になる。
逆に、命題 q → p∧q については、qが真かつpが偽のとき p∧q が偽になって反例になるから、必ずしも真になるとは限らない。
0135132人目の素数さん2018/02/12(月) 16:49:04.89ID:xN3w9Uzw
>>127
>無理数P*や超越数Tがあります
普通、無理数全体の集合は R\Q 、超越数全体の集合は C\CL(Q) (CL(Q) は有理数体Q上の代数的閉包を表すとする) で表す。
但し、線型代数が出来れば、任意の超越数は実超越数と実代数的数とから構成出来て、
実超越数全体の集合を R\( CL(Q) ) で表すことと同じになることが分かる。
0136132人目の素数さん2018/02/12(月) 16:54:47.68ID:xN3w9Uzw
で、今スレ主が反論のネタにしているのは ε-δ の関数の連続性や微分可能性のことだから、
言葉で反論している限り、無理数や超越数なんて関係ない。
0137132人目の素数さん2018/02/12(月) 17:07:55.73ID:caXk6IEJ
>>125
>「定理C:f:R → R が原点で微分可能ならば、f は原点で連続である。」と書いた
>仮定P: f:R → R が原点で微分可能
>これで尽きている。「不連続」は入る余地なし
>だから、微分可能の場合分けには、「f が原点で不連続ならば」は存在しない

間違っている。スレ主は、その場合分けが「証明の中での議論」であったことを忘れている。
証明の中の場合分けで先に定理Cを使うことで特定の場合分けを排除してしまったら循環論法であり、
それでは定理Cの証明にならない。

このことを丁寧に書くと、まずお前は次のように言っていることになる。
――――――――――――――――――――――――――――――――
定理C:
f:R → R が原点で微分可能ならば、f は原点で連続である。

スレ主:
定理Cを証明しよう。f は原点で微分可能とする。f は原点で連続であることを示したい。
ここで、次のような場合分けをする。

(1) f は原点で連続 (2) f は原点で不連続

しかし、f は原点で微分可能なのだから、fは原点で連続なのであり、(2)は起こりようがない。
よって、(2)は場合分けとして入る余地がない。すなわち、f が原点で微分可能としたときの
場合分けには、「f が原点で不連続ならば」は存在しない。
――――――――――――――――――――――――――――――――――

↑これがお前の言っている屁理屈である。この屁理屈の何が間違いなのかと言うと、
今は定理Cを証明しようとしている段階なのに、

>しかし、f は原点で微分可能なのだから、fは原点で連続なのであり、(2)は起こりようがない。

このように書いてしまったら、「先に定理Cを適用している」ことになって循環論法なのである。
つまり、これでは定理Cの証明にならないのである。
0138132人目の素数さん2018/02/12(月) 17:10:18.84ID:caXk6IEJ
あるいは、次のように言ってもよい。もし >>137 の論法が許されるなら、俺も次のような論法を使わせてもらう。
――――――――――――――――――――――――――――――――――――――
定理1.7:
R−B_f が第一類集合なら、f はある開区間の上でリプシッツ連続である。

俺:
定理1.7を証明しよう。R−B_f は第一類集合とする。
f はある開区間の上でリプシッツ連続であることを示したい。
ここで、次のような場合分けをする。

(1) R−B_f は R の中で稠密ではない (2) R−B_f は R の中で稠密である

しかし、R−B_f は第一類集合なのだから、fはある開区間の上でリプシッツ連続なのであり、(2)は起こりようがない。
よって、(2)は場合分けとして入る余地がない。すなわち、R−B_f が第一類集合としたのきの場合分けには、
「 R−B_f は R の中で稠密である 」は存在しない。
――――――――――――――――――――――――――――――――――――――

↑お前が言っているのは、こういうバカげた主張なのである。

>しかし、R−B_f は第一類集合なのだから、fはある開区間の上でリプシッツ連続なのであり、(2)は起こりようがない。

↑このように、証明の中で先に該当の定理を使ってしまったら、起こり得ない場合分けが先に排除できるのは
当たり前である。でも、それじゃあ循環論法であって、定理の証明にならないのである。
しかし、そのような芸当を定理Cの証明に対しては平気で使っているのがスレ主である。キチガイ。
0139132人目の素数さん2018/02/12(月) 17:12:13.96ID:caXk6IEJ
さて、上記の理由により、定理C の証明の中で P1,P2 と場合分けした場合には、
"場合分けP2" を事前に排除することは不可能であることが確定した。従って、当初の予定通り
―――――――――――――――――――――――
P: f は原点で微分可能
Q: f は原点で連続

P1:f は原点で微分可能かつfは原点で連続
P2:f は原点で微分可能かつfは原点で不連続

P = P1∨P2
―――――――――――――――――――――――
という場合分けになる。そして、お前は次のように主張するのである。

「 P2 の場合に「 P2 → Q 」を導くのは、なんか変。ゆえに、定理C は数学の命題としてふさわしい形ではない」

これは一体どういうことだね?
0140132人目の素数さん2018/02/12(月) 17:13:39.58ID:caXk6IEJ
>>124
>「Af(x) は x∈(a,b) を動かすごとに「有限値」」だから
>最大値 max(Af(x)) = m (m∈R) とおけば、Af(x) <= m
>それで終りでしょ?

ぜんぜん終わらない。息をするように間違えるゴミクズ。キチガイ。問題外。レベルが低すぎる。
x∈(a,b) を動かすごとに Af(x) が「有限値」であっても、
max_{x∈(a,b)} Af(x) が有限値で存在するとは限らないだろバカタレ。
―――――――――――――――――――――――――――――――――――
具体例:

f(x)=0 (x=0), x^{3/2}sin(1/x) (x≠0)

と置くと、f は任意の点で微分可能なので、特に B_f = R が成り立つ。
従って、(a.b)⊂B_f なる開区間は取り放題である。
特に (-1, 1) ⊂ B_f という開区間を採用してみよう。このとき、

max_{x∈(−1,1)} Af(x)

は有限値として存在しない。このことを、グラフを書いて確かめてみよ。
原点の近傍にいくらでも傾きが大きい点が存在するので、(−1,1) 上では
有限値としての max は存在しない。にも関わらず、各点で Af(x) は有限値である。
―――――――――――――――――――――――――――――――――――
0141132人目の素数さん2018/02/12(月) 17:22:11.65ID:caXk6IEJ
もちろん、>>140 の場合は、(2, 3)⊂B_f とでもすれば max_{x∈(2,3)} Af(x) が
有限値として存在する。しかし、スレ主風に言えば、次のような疑問が生じることになる。
―――――――――――――――――――――――――――――――――――――
f の原点での振る舞いが、原点のみならず R 上で稠密に分布するような
別の関数 g であって、しかも B_g = R が保たれたままであるような上手い g が
もし存在したとすると、(a,b)⊂B_g なる開区間は取り放題であるにも関わらず、
max_{x∈(a,b)} Ag(x) が有限値になるような (c,d) は1つも存在しないことになるし、
この g はどの開区間の上でもリプシッツ連続にならない。
―――――――――――――――――――――――――――――――――――――
このように考えると、B_f が開区間を含んでいるという条件下でも、
f がリプシッツ連続になる開区間が取れることは全く自明ではないことが分かるだろう。

あるいは、少し別の視点から考えてみると、
――――――――――――――――――――――――――――
A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
A_f(x)= 有限値なら何でもよい (xは無理数)
――――――――――――――――――――――――――――
が成り立つような上手い関数 f:R → R がもし存在したとすると、
この f に対しても B_f=R が成り立っているので、(a,b)⊂B_f なる開区間は取り放題であるが、
しかし max_{x∈(a,b)} Af(x) が有限値になるような (c,d) は1つも存在しないし、
この f はどの開区間の上でもリプシッツ連続にならない。

むろん、実際には、上記のようなヘンな関数は存在しない。すなわち、(a,b)⊂B_f なる開区間が取れるなら、
ある開区間の上で max Af(x) が有限値で存在するし、f はある開区間の上でリプシッツ連続になる。
ただし、そのことを証明するための方法は>>110なのであって、スレ主とかいうゴミクズが
考えているような単純な状況には決してなっていない。
0142132人目の素数さん2018/02/12(月) 17:25:12.74ID:caXk6IEJ
>>129
>2)の仮定Pが偽の場合は、結論Qが真であることが保証されません(論理学の基本)

間違っている。スレ主とかいうゴミクズは目的と手段をはき違えている。

・ 目的:「 P → Q 」という命題全体が真であることを証明したい。
・ 手段: P という仮定のもとで結論Qを導けばよい。

お前はここで、次のように勘違いしているのである。

「 P → Q が真であることを証明するには、P という仮定のもとで Q を導くしか方法がない 」

明らかに目的と手段をはき違えている。目的はあくまでも、「 P → Q 」という命題全体が真であることを
証明することである。もし仮定 P が偽であることが示せたなら、その時点で「 P → Q 」という命題全体が
真であることが確定するので、既に目的は達成されている。すなわち、この場合には Q を導く必要が無いのである。
Q を導くという方針は、あくまでも1つの手段に過ぎないのであり、「 Q を導くことが絶対に必要である」
ということにはならない。すなわち、次のようにすればいいのである。
―――――――――――――――――――――――――――――
P → Q が成り立つことを示したい。
P が成り立つとする。Q が成り立つことを示せばよい。

(〜〜何らかの議論〜〜)

ゆえに、¬P が成り立つ。すなわち、P ∧ ¬P が成り立つ。
従って、実は P は偽だったということになる。
よって、「 P → Q 」という命題全体は真であることが確定する。
―――――――――――――――――――――――――――――
↑このように、P が偽であることが判明した場合、もはや Q を導く必要がないのである。
目的と手段をはき違えて、「 Q を絶対に導かなければならない」と思い込んでいるバカタレがスレ主である。
0143132人目の素数さん2018/02/12(月) 17:27:05.58ID:caXk6IEJ
ちなみに、P が偽であることが判明した場合、議論をそこでやめずに Q を導くことも
実際には可能である。次のようにすればよい。
――――――――――――――――――――――――――――――――
P → Q が成り立つことを示したい。
P が成り立つとする。Q が成り立つことを示せばよい。

(〜〜何らかの議論〜〜)

ゆえに、¬P が成り立つ。すなわち、P ∧ ¬P が成り立つ。
これは「矛盾」である。矛盾した命題からは無条件に任意の命題を導出してよいので、
特に「 Q 」を導出してよい。よって、Q が成り立つ。

以上より、P が成り立つという仮定のもとで Q が導出できたので、P → Q は真である。
――――――――――――――――――――――――――――――――
0144132人目の素数さん2018/02/12(月) 17:35:06.00ID:caXk6IEJ
>>129
>これを踏まえて、上記系1.8を見ると、有理数の点はR中稠密ですから
>上記の1)又は2)のどちらの場合でも、その証明中の主張”定理1.7 が使えて,
>f はある開区間(a, b) の上でリプシッツ連続である”は、言えないことになります
>なので、系1.8の証明は成立していません

背理法を理解できないキチガイ。題意の関数が存在しないことを示すために、
そのような関数の存在性を仮定しているに過ぎないことが理解できないゴミクズ。

「リプシッツ連続になり得ない」関数を仮定しているのに、どういうわけか
「リプシッツ連続になる」という不条理が導かれるのだから、そのような関数は存在しないってこと。
この論法は背理法であり、証明として完全に成立している。すなわち、系1.8の証明は
完全に成立している。一方でお前は、

「リプシッツ連続になり得ない関数を仮定しているのだから、リプシッツ連続である、は決して言えない」

と勘違いしている。実際には、ある性質の組み合わせを仮定しただけでは、

「その性質の 否定命題 は決して導けない」

ということには な ら な い 。なぜなら、その性質の組み合わせは矛盾している可能性があるからだ。
もし矛盾しているなら、その性質の否定命題が導出できても何らおかしくはない。なぜなら、矛盾した命題からは
どんな命題も導出できるからだ。

実際、系1.8の証明を、証明の外からメタ的に見てみると、存在しない関数の存在性を仮定してから
議論を始めているのだから、矛盾した仮定から出発していることになり、ゆえに原理的にはどんな命題も
導出できるのであり、そして実際に「リプシッツ連続になる」という不条理が導出されているのであり、
ゆえに証明の中の世界では「背理法」によって「そのような関数は存在しない」ということになるのである。

なぜかお前は、このような背理法がらみの論法がいつまで経っても理解できないでいる。キチガイ。頭がおかしい。
0145132人目の素数さん2018/02/12(月) 17:40:51.60ID:caXk6IEJ
>>129
>これを踏まえて、上記系1.8を見ると、有理数の点はR中稠密ですから
>上記の1)又は2)のどちらの場合でも、その証明中の主張”定理1.7 が使えて,
>f はある開区間(a, b) の上でリプシッツ連続である”は、言えないことになります
>なので、系1.8の証明は成立していません

お前のその屁理屈を、以下の正しい議論に適用してみよう。
――――――――――――――――――――――――――――――――
定理C3:
原点で微分可能かつ原点で不連続であるような関数は存在しない。

定理C3 の証明:
そのような関数 f が存在したと仮定する。…(*)
このとき、f は原点で微分可能だから、ご存知の「 定理C 」が適用できて、
f は原点で連続である。一方で、f の仮定から、f は原点で不連続なのだった。
これは矛盾。よって、(*)の仮定は間違っていたことになる。
すなわち、そのような関数は存在しない。
――――――――――――――――――――――――――――――――

[続く]
0146132人目の素数さん2018/02/12(月) 17:49:15.23ID:caXk6IEJ
[続き]

上記の正しい議論に対して、お前は次のように言うのである。
――――――――――――――――――――――――――
スレ主:
定理C3 の証明の中では、f は原点で不連続ですから、「 f は原点で連続 」は、
言えないことになります。なので、定理Cは適用できず、定理C3 の証明は成立していません。
――――――――――――――――――――――――――

実際には、「原点で微分可能かつ原点で不連続」という性質は矛盾しているので、そのような仮定を置いた時点で、
矛盾した命題から出発していることになり、そして矛盾した命題からは何でも導出できるがゆえに、
「 f は原点で連続」が導出できても何らおかしくはないのである。

つまり、f が原点で不連続という仮定があっても、その他の条件とのセットで仮定が矛盾していた場合には、
「 f が原点で連続」は言えるのである。今回の場合は、「fは原点で微分可能」という条件とのセットで
矛盾した状態から出発するので、「 f が原点で連続」は言えるのである。ただし、証明者の視点では、
仮定を置いた時点で既にその仮定が矛盾していることが分かるのではなく、不条理を導いた時点で初めて
「仮定が矛盾していた」ことが判明するのである(背理法)。ここで、なぜかスレ主は、不条理を導くことを
完全放棄し、「 f は原点で不連続 」という仮定に縛られて、

「 f は原点で微分可能 」

という条件があるにも関わらず定理Cを適用しようとせず、「 f は原点で連続、は決して言えない」と考え、
「定理Cは適用できない。定理C3 の証明は成立していない。」とほざくのである。証明者の視点から見ると、
スレ主のこのような行為は、背理法によって不条理を導くことを放棄しているだけの単なる愚行でしかない。

つまり、スレ主とかいうゴミクズは、背理法が全く理解できていないのである。キチガイ。
0147132人目の素数さん2018/02/12(月) 18:07:37.14ID:k93HhadU
「 東京タワーが塔ならば、鍋料理は複数存在する。」は真。
こんな奇妙な世界が記号論理。一般論として使うと目も当てられなくなる。
0148132人目の素数さん2018/02/12(月) 18:19:31.73ID:MGrwckru
>>147
今の議論にそういう頭を捻るような例は出てませんよ
0149132人目の素数さん2018/02/12(月) 20:50:26.58ID:X1pATS5E
背理法が理解できないなら高校一年生に教えてもらえばいい
数学板に来るのは時期尚早
0154現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 08:37:41.34ID:kLyhoiu6
話題散らしのために、これ面白かったから貼る(^^

http://www.math.titech.ac.jp/~taguchi/nihongo/cft.pdf
類体論 田口雄一郎先生 「 整数論札幌夏の学校」( 2006年8月28日 〜 9月8日 ) 初日の講義ノート。

http://www.math.titech.ac.jp/~taguchi/
田口雄一郎先生関連
March, 1988 : Graduated from University of Tokyo
June, 1993 : Degree of Doctor (University of Tokyo)
September, 1993 -- August, 1995: Member of the Institute for Advanced Study
April, 1998 -- March, 2001: Associate Professor of Mathematics, Hokkaido University
April, 2001 -- February 15, 2016: Associate Professor of Mathematics, Kyushu University
February 16, 2016 --: Professor of Mathematics, Tokyo Institute of Technology
http://www.math.titech.ac.jp/~taguchi/nihongo/bunsho.html
数学関係の文章
http://www.math.titech.ac.jp/~taguchi/nihongo/cft.html
http://coe.math.sci.hokudai.ac.jp/sympo/060828/index.html
「 整数論札幌夏の学校」( 2006年8月28日 〜 9月8日 )
0155132人目の素数さん2018/02/13(火) 20:31:35.15ID:cZFEnVOE
>>151
まあって
上限があるとも限りませんよ
0156現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 20:50:40.48ID:kLyhoiu6
>>151 再訂正
すまん
これ、lim supの使い方間違っているな。院試だったら、大減点だな。

なので、
最大値 lim sup (Af(x)) = m (m∈R) とおけば、Af(x) <= m
 ↓
最大値 sup (Af(x)) = m (m∈R) とおけば、Af(x) <= m
とします

(余談だが、こういう基本的な用語を間違うと、採点官の心象が悪くなる。
 要は、院試なんて、基礎的な勉強をしているか否かと基礎力を測るものだから、基本の標準用語の定義などは、間違わないことだ。
 ”数学は定義だ”などというが、基本的用語について、自分勝手な定義は(こいつ勉強不足だろうと)心象悪いだろう。
 頭良すぎて、試験の現場で新定義作って「ホームラン答案」を狙うのは(頭良すぎる東大生にいそうだが)、(採点基準外の)大外しの可能性があるだろう)

http://web.cc.yamaguchi-u.ac.jp/~hiroshi/basic/basic.pdf
解析学の基礎 卒研ゼミ用のテキスト (柳原 宏) 山口大
(抜粋)
P37
最大値, 最小値はいつでも存在するとは限らないので, 条件(i) を
みたすかどうかは問題にしないことにして(ii) をみたす数をE の上界(upper bound) と呼ぶことにしよう.
P39
定義2.3.10 E が上に有界とする. このとき上界の最小値
b0 = minU(E)(= min{b 2 R : b はE の上界})
が存在すればb0 をE の最小上界(least upper bound), または上限(supremum)
といいsupE と表す.
(引用終り)
http://web.cc.yamaguchi-u.ac.jp/~hiroshi/index-j.html
卒研ゼミ用のテキスト (柳原 宏)
http://web.cc.yamaguchi-u.ac.jp/~hiroshi/
Hiroshi Yanagihara (柳原 宏) Department of Applied Science Faculty of Engineering Yamaguchi University

https://ja.wikipedia.org/wiki/%E4%B8%8A%E6%A5%B5%E9%99%90%E3%81%A8%E4%B8%8B%E6%A5%B5%E9%99%90
上極限と下極限

https://ja.wikipedia.org/wiki/%E6%9C%AC%E8%B3%AA%E7%9A%84%E4%B8%8A%E9%99%90%E3%81%A8%E6%9C%AC%E8%B3%AA%E7%9A%84%E4%B8%8B%E9%99%90
本質的上限と本質的下限
(抜粋)
性質
inf f <= lim inf f <= ess inf f <= ess sup f <= lim sup f <= sup f
(引用終り)
0157現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 21:08:06.88ID:kLyhoiu6
>>140
あなたのそういう具体例を作る力は認めるけれども、例示は論点を外していると思う

>具体例:
>f(x)=0 (x=0), x^{3/2}sin(1/x) (x≠0)
>特に (-1, 1) ⊂ B_f という開区間を採用してみよう。

>>13 より)
定理1.7 (422 に書いた定理)
f : R → R とする.
Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である.
(引用終り)

重箱の隅を突いても仕方ないので、簡単に
”f はある開区間の上でリプシッツ連続である”という主張だから、(-1, -δ+0)と(+δ+0, 1)と二つに分ければいいだけのこと(どちらか一つで定理の主張を満たす)
(-1, -δ+0)と(+δ+0, 1)とは、どちらも、”ある開区間の上でリプシッツ連続である”を満たしている。
ここに、δは「 1> δ >0 」の適当な実数とする

以上
0158現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 21:20:13.40ID:kLyhoiu6
>>155
これは、「ぷふ」さんだね

>>156>>157とをご参照

>>157に書いたように
定理1.7より
”Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }”
を満たすある開区間(a,b)が存在するとして

その区間内どこも「リプシッツ連続ではない」と言えるんですかね? はて?
まあ、また例によって、定理1.7を証明した人が、新しい例を示してくれるかも知れないが
0159現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 21:45:05.98ID:kLyhoiu6
>>137-139

>間違っている。スレ主は、その場合分けが「証明の中での議論」であったことを忘れている。
>証明の中の場合分けで先に定理Cを使うことで特定の場合分けを排除してしまったら循環論法であり、
>それでは定理Cの証明にならない。

意味わからん
私スレ主が言っている”場合分け”は、普通に 命題論理 藤田聡 広島大学のPDFの”proof by cases”のこと
特別のことをいうつもりはない。”場合分け”は、多分古典論理学内で、古代ギリシャからあると思う

>>157)定理1.7
”R−Bf が内点を持たない閉集合の高々可算和で被覆できる”の条件下で、

一つの典型例が、系1.8の「有理数=R−Bf」の場合で、この場合、「有理数=R−Bf」はR中で稠密だ。だから、その補集合たる「無理数=Bf」内には、開区間は取れない
もう一つが、「整数=R−Bf」で、稠密でないから、「Bf」内に、開区間が取れる

ところが、場合分けとして、「無理数=R−Bf」とか、「超越数=R−Bf」は、できない
”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ

同様に、「定理C: f:R → R が原点で微分可能ならば、f は原点で連続である」 で、場合分け ”(1) f は原点で連続 (2) f は原点で不連続”は不可
命題論理 藤田聡 広島大学のPDFの”proof by cases”をご参照

http://home.hiroshima-u.ac.jp/fujita/Class/Kisoron/logic.pdf
命題論理 藤田聡 広島大学(2009年度版)
(抜粋)
<証明手法>
P85
proof by cases
(p1∨p2∨・・・∨pn)→q
を示すのに
(p1→q)∧(p2→q)∧・・・∧(pn→q)
を示す
(引用終り)
0160現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 21:56:20.35ID:kLyhoiu6
>>141
これなんか、へんなことを書いていると思った

引用
「あるいは、少し別の視点から考えてみると、
――――――――――――――――――――――――――――
A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
A_f(x)= 有限値なら何でもよい (xは無理数)
――――――――――――――――――――――――――――
が成り立つような上手い関数 f:R → R がもし存在したとすると、
この f に対しても B_f=R が成り立っているので、(a,b)⊂B_f なる開区間は取り放題であるが、
しかし max_{x∈(a,b)} Af(x) が有限値になるような (c,d) は1つも存在しないし、
この f はどの開区間の上でもリプシッツ連続にならない。」
(引用終り)

>>157に書いたように
定理1.7より
”Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }”

この「 lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ 」は、過去スレで指摘したように、この条件はディニ微分可だったよね?
だが、上記で
A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
A_f(x)= 0 (xは無理数)
とすれば、これはディリクレ関数と同じ性質を持つ。
つまり、すべての x∈Rで、不連続で微分も不可。微分不可だから、ディニ微分不可。
だから、B_fは空集合

https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%8B%E5%BE%AE%E5%88%86
ディニ微分

以上
0161現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 21:59:04.10ID:kLyhoiu6
>>160 訂正

すべての x∈Rで、不連続で微分も不可。微分不可だから、ディニ微分不可。
 ↓
すべての x∈Rで、不連続で微分も不可。不連続だから、ディニ微分不可。

また、間違えてしまった。息をしたからか・・(^^
0162132人目の素数さん2018/02/13(火) 22:27:42.93ID:cZFEnVOE
>>156
>最大値 sup (Af(x)) = m (m∈R) とおけば、Af(x) <= m
どう書いても存在するとは限りません
0163現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 22:27:47.82ID:kLyhoiu6
>>144-146

>背理法を理解できないキチガイ。題意の関数が存在しないことを示すために、
>そのような関数の存在性を仮定しているに過ぎないことが理解できないゴミクズ。

違うよ。
場合分けを曲解していることによる誤解だな

定理1.7を場合分けして、その場合分けのR-Bfが稠密で、
系1.8の「有理数=R−Bf」の場合で、この場合、「有理数=R−Bf」はR中で稠密だ(>>159より)

この場合、Bf内に開区間など取れない。
稠密な場合は、開区間には、必ず「R−Bf」が入るから、定理1.7の「開区間がリプシッツ連続だ」という主張は、もともと無理でしょ?
0164132人目の素数さん2018/02/13(火) 22:36:35.06ID:cZFEnVOE
>>158
あるいはBfの中に開区間(a,b)が存在する場合
その区間内にリプシッツ連続である区間が存在することを証明する必要があります
はて?というのはむしろあなたを批判している人が持つ疑問であり
あなたは上記を主張しているのですからそれを証明する必要があるわけです
しかもあなたは自明だとも言っているのですから
相当に単純な証明が示されて然るべきと期待しますよ
なお
件の証明を書いた人はそれを証明しています
0165132人目の素数さん2018/02/13(火) 22:40:24.75ID:cZFEnVOE
>>163
>場合分けを曲解していることによる誤解だな
というより
場合分けすることなく証明できているのに
なぜ場合分けをしなくてはいけないと思っているか解せないというのが
件の証明を書いた人の気持ちであろうと思いますね
0166現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 22:44:15.05ID:kLyhoiu6
>>162

>>最大値 sup (Af(x)) = m (m∈R) とおけば、Af(x) <= m
>どう書いても存在するとは限りません

それでも結構だが
定理1.7の条件「 Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }」で、これを満たすある開区間(a,b)が存在するとして

その区間内全ての点で、「Af(x) <= m」を満たさない?
あるいは、「Af(x) <= m」の点はどこにも存在しない?

それでも、開区間(a,b)の中に、リプシッツ連続である開区間(a',b')が取れる? 
取れるというのが、定理1.7の主張ですよね?

余談だけれど、定理の証明というのは、一番成立し難い場合にも、その前提条件を付加してきちんと証明できないと、その証明は信用されませんよ
上記の定理1.7の補集合が稠密な場合とか、いまの場合の「その区間内全ての点で「Af(x) <= m」を満たさない? あるいは、「Af(x) <= m」の点はどこにも存在しない?」場合とかを
易しい場合だけ証明して、「QED!」はないですよ
0167132人目の素数さん2018/02/13(火) 22:45:24.72ID:cZFEnVOE
できれば>>131についてもお答えいただけますか
0168132人目の素数さん2018/02/13(火) 22:46:31.92ID:cZFEnVOE
>>166
>その区間内全ての点で、「Af(x) <= m」を満たさない?
>あるいは、「Af(x) <= m」の点はどこにも存在しない?
自明と書いたのはあなたですから
ぜひ証明してください
0169現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/13(火) 23:46:38.89ID:kLyhoiu6
>>161-160 訂正の訂正

念のため
すべての x∈Rで、不連続で微分も不可。不連続だから、ディニ微分不可。
 ↓
すべての x∈Rで、不連続で微分も不可。不連続だから、ディニ微分有限値不可。

とします。理由は、下記の「補完数直線上では、各ディニ微分は常に存在する」より。定理1.7の仮定は、「< +∞」ですので、元のままでも、「+∞ や ?∞」は除外されていますが。

https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%8B%E5%BE%AE%E5%88%86
ディニ微分
(抜粋)
注意
・補完数直線上では、各ディニ微分は常に存在する。しかし、それらの値は有限とは限らず、+∞ や ?∞ となることもある(すなわち、ディニ微分は「拡張実数値」の意味において、常に存在する)。
・f が局所リプシッツ連続ならば、ディニ微分 f'_{+} は有限である。もし f が t において微分可能ならば、その t における各ディニ微分は通常の意味での微分に等しい。
(引用終り)
0170現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/14(水) 00:02:26.54ID:66CEJ9Q+
>>165
>>場合分けを曲解していることによる誤解だな
>というより
>場合分けすることなく証明できているのに
>なぜ場合分けをしなくてはいけないと思っているか解せないというのが
>件の証明を書いた人の気持ちであろうと思いますね

話は逆で、場合分けして、証明できない場合があれば、それは「定理が成り立たない」ってことですよ
定理1.7の場合、それは補集合R-Bfが稠密な場合で、その場合、集合Bf内に開区間なく、またリプシッツ連続な区間もない

「場合分けして、証明できない場合があれば、それは定理が成り立たない」は、反例による証明でも同じ理屈ですよ
反例は1つで良い。反例が成立する場合が1つあれば良いのです

例えば、「素数は全て奇数である」という定理には、反例素数の2があります。
だが、「2を除く素数は、全て奇数である」は、正しい定理です。

同様に、定理1.7においては、補集合R-Bfが稠密な場合は、集合Bfを満たす開区間は取れません。
「補集合R-Bfが稠密な場合は、集合Bfを満たす開区間は取れない」という仮定と、R内で「f はある開区間の上でリプシッツ連続である」という結論とは、両立しませんよ。
0171現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/14(水) 00:10:46.54ID:66CEJ9Q+
>>164>>168

Bfを満たす開区間(a,b)が存在し→その開区間内にリプシッツ連続である開区間(a',b')が取れる
という証明の流れと思います

証明は考えてみますが、結論「リプシッツ連続である開区間(a',b')が取れる」の前提として、仮定「Bfを満たす開区間(a,b)が存在」するが必要と思っています
なので、ここを強調しておきます

なお、「Bfを満たす開区間(a,b)の存在」が否定される場合は、結論「リプシッツ連続である開区間(a',b')が取れる」も否定されると思いますよ
もし、証明可能と言われるなら、逆にどうぞと申し上げておきます

なお、>>170をご参照ください
0172132人目の素数さん2018/02/14(水) 00:20:09.04ID:ZbM//CC/
じゃ自明じゃないじゃんw バカかこいつw
0173現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/14(水) 00:28:56.76ID:66CEJ9Q+
>>167

>>131より)
>>127
> >>2)稠密な場合は自明に定理1.7の仮定が、不成立(仮定が不成立の場合は、証明の必要さえない)
> >定理の仮定は
> >''R-Bfが可算個の疎な閉集合で被覆できる''
> >ですが
> >あなたの主張は
> >''R-BfがRで稠密ならばR-Bfは可算個の疎な閉集合で被覆できない''
> >ということですか?
>
> いいえ違います。
ではどういうことですか?上記で不成立とする仮定とはなんでしょう?
(引用終り)

回答します
1.(>>13)「系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.」に対し、定理1.7を適用するのは適切ではないと考えます
2.理由は、>>170-171に述べました(R-Bfが稠密な場合には、定理1.7は数学の定理として成り立っていない)
0174現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/14(水) 00:40:13.75ID:66CEJ9Q+
>>147
>「 東京タワーが塔ならば、鍋料理は複数存在する。」は真。
>こんな奇妙な世界が記号論理。一般論として使うと目も当てられなくなる。

バートランド・ラッセルのこんな話かな?(^^
まあ、「裏庭に東京タワーがあれば、入場料を取って、大もうけができる」は真かな?
https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%83%88%E3%83%A9%E3%83%B3%E3%83%89%E3%83%BB%E3%83%A9%E3%83%83%E3%82%BB%E3%83%AB
バートランド・ラッセル
(抜粋)
記述理論
記述理論(Theory of Description)は指示対象が存在しない「現代のフランス王」や「ペガサス」といった語句を解釈する際に、フレーゲのようにそのような語句を含んだ文を無意味としたり、それら非存在者の指示対象としてなんらかの概念の「存在」を仮定することなしに、解釈を可能とするためにラッセルが発見した手法である。
1905年の『表示について』で初めて発表された。

記述理論とは、以下のような手法である。

「現代のフランスの王ははげである」

という文章の意味を考える場合、この文を、

「あるものが存在し、そのものは一つであり、フランスの王であり、かつはげである」

と翻訳する。すると、実在しない「現代のフランスの王」が示す指示対象として存在者をなんら仮定することなく有意味に文を解釈でき、その真偽を確定できる。
(引用終り)
0175132人目の素数さん2018/02/14(水) 01:06:54.41ID:sLMrM9T3
>>159
>ところが、場合分けとして、「無理数=R−Bf」とか、「超越数=R−Bf」は、できない
>”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ

その場合分けは「仮定が偽」になることが明白なだけであって、その場合分け自体は可能である。
あるいは、次のように言ってもよい。お前がそこで言っていることはつまり、

「仮定が偽のケースは場合分けとしては不可能である」

という屁理屈である。だったら、その屁理屈を拝借すれば、全く同じように、
「 R−B_f は R の中で稠密」という場合分けも不可能である。
なぜなら、その場合「 R−B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)。
0176132人目の素数さん2018/02/14(水) 01:08:21.70ID:sLMrM9T3
>>159
>同様に、「定理C: f:R → R が原点で微分可能ならば、f は原点で連続である」 で、
>場合分け ”(1) f は原点で連続 (2) f は原点で不連続”は不可

その場合分けは やはり可能だし、どちらのケースでも、
「仮定が偽」になることは全く明白ではない。特に (2) のケースは、

「結論に合致しないケース」

なのであって、「仮定に合致しないケース」ではないので、スレ主の言い分である

「仮定が偽のケースは場合分けとしては不可能である」

という屁理屈にすら全く当てはまっていない。

あるいは、お前にとっては、(2)の場合に仮定が偽になることが明白に見えるかもしれないが、
それは 定理C を先に適用してしまっているからであって、既に述べたように循環論法である。
ゆえに、定理C の場合には、(1),(2)による場合分けは可能である。
0177132人目の素数さん2018/02/14(水) 01:09:43.27ID:sLMrM9T3
さて、上記の理由により、定理C の証明の中で P1,P2 と場合分けした場合には、
"場合分けP2" を事前に排除することは不可能であることが確定した。従って、当初の予定通り
―――――――――――――――――――――――
P: f は原点で微分可能
Q: f は原点で連続

P1:f は原点で微分可能かつfは原点で連続
P2:f は原点で微分可能かつfは原点で不連続

P = P1∨P2
―――――――――――――――――――――――
という場合分けになる。そして、お前は次のように主張するのである。

「 P2 の場合に「 P2 → Q 」を導くのは、なんか変。ゆえに、定理C は数学の命題としてふさわしい形ではない」

これは一体どういうことだね?
0178132人目の素数さん2018/02/14(水) 01:13:44.77ID:sLMrM9T3
追記。

>ところが、場合分けとして、「無理数=R−Bf」とか、「超越数=R−Bf」は、できない
>”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ

繰り返しになるが、お前がここで言っていることはつまり、
「仮定が偽のケースは場合分けとしては不可能である」という屁理屈である。
その一方で、世の中には次のような定理が存在する。

定理:a^b が有理数になるような無理数 a,b が存在する。

この定理の証明として、次のような有名なものがある。
――――――――――――――――――――――――――――――
証明:c=√2 と置くと、これは無理数であることが知られている。
そこで、c^c の値に注目し、以下のように場合分けする。

(1) c^c は有理数である (2) c^c は無理数である

(1) の場合、a=b=c と置けばよいことになるので、証明が終わる。
(2) の場合、a=c^c と置けば、まず a は無理数である。
また、b=c と置けば、これも無理数である。c=√2 だったから、

a^b = (c^c)^c = c^{c^2}= (√2)^(√2^2) = 2

となるので、a^b は有理数である。よって、(2) の場合も証明が終わる。
――――――――――――――――――――――――――――――――

[続く]
0179132人目の素数さん2018/02/14(水) 01:16:14.39ID:sLMrM9T3
[続き]

上記の証明はよく知られた証明であり、「正しい証明である」ことに注意せよ。
一方で、c^c すなわち √2^√2 は実際には「無理数」であることが
証明されている(簡単には証明できないらしいが)。となると、上記の証明における

(1) c^c は有理数である

のケースは、仮定が偽ということになる。従って、お前の屁理屈によれば、そもそも

>(1) c^c は有理数である (2) c^c は無理数である

という場合分け自体が不可能ということになる。その一方で、上記の証明は
よく知られた証明であり、「正しい証明」なのである。たとえば、

https://ja.wikipedia.org/wiki/排中律

に全く同じ証明が載っている。にも関わらず、スレ主の屁理屈によれば、
そもそも (1),(2) による場合分け自体が不可能となってしまい、
上記の証明は「間違っている」ことになってしまう。

これは一体どういうことだね?
0180132人目の素数さん2018/02/14(水) 01:28:06.89ID:TXT4lmT9
>>173
聞いていることに答えていただけますか?
``定理1.7の仮定が不成立''
のその``仮定''とは何のことでしょう?
0181132人目の素数さん2018/02/14(水) 01:30:21.26ID:TXT4lmT9
>>171
あなたはそれを``自明''と書いたのですよ?
実のところ
その部分を証明するのが件の証明の``キモ''なのです
自明でないと認識できたのなら証明を読みましょう
0182132人目の素数さん2018/02/14(水) 01:31:48.15ID:TXT4lmT9
>>170
>話は逆で、場合分けして、証明できない場合があれば、それは「定理が成り立たない」ってことですよ
場合分けせずに証明できていますから
当然ながら
場合分けしても証明が出来ています
場合分けした条件を使う必要が無いというだけのことです
0183132人目の素数さん2018/02/14(水) 01:32:05.54ID:sLMrM9T3
>>163
>この場合、Bf内に開区間など取れない。
>稠密な場合は、開区間には、必ず「R−Bf」が入るから、
>定理1.7の「開区間がリプシッツ連続だ」という主張は、もともと無理でしょ?

「R−B_f が第一類かつ R−B_f が R の中で稠密」という仮定は「偽」なので、
スレ主の屁理屈によれば、そもそもそのような場合分け自体が不可能である。
つまり、スレ主は自爆している。

あるいは、次のように言ってもよい。
「R−B_f が第一類かつ R−B_f が R の中で稠密」という仮定は「偽」なので、
矛盾した命題からはどんな命題も導出できるがゆえに、
「ある開区間の上でリプシッツ連続だ」という主張も導出できる。
スレ主は「導出できない」などとほざいているが、実際には導出できるのである(仮定が偽だから)。
では、なぜ「R−B_f が第一類かつ R−B_f が R の中で稠密」が偽であると分かるのか?
それは、定理1.7 から従う。
0184132人目の素数さん2018/02/14(水) 01:34:22.96ID:TXT4lmT9
>>171
>なお、「Bfを満たす開区間(a,b)の存在」が否定される場合は、結論「リプシッツ連続である開区間(a',b')が取れる」も否定されると思いますよ
当たり前です
証明をお考えください
件の証明よりも簡単なものになれば
それは件の証明をした人も喜ぶでしょうよ
0185132人目の素数さん2018/02/14(水) 01:36:49.66ID:sLMrM9T3
あるいは、同じことの繰り返しになるが、次のように言ってもよい。

>この場合、Bf内に開区間など取れない。
>稠密な場合は、開区間には、必ず「R−Bf」が入るから、
>定理1.7の「開区間がリプシッツ連続だ」という主張は、もともと無理でしょ?

お前のこの屁理屈を定理Cに適用すると、次のようになる。
――――――――――――――――――――――――――――
P: f は原点で微分可能
Q: f は原点で連続

P1:f は原点で微分可能かつfは原点で連続
P2:f は原点で微分可能かつfは原点で不連続

P = P1∨P2

スレ主:
P2 の場合には、f が原点で不連続であることが仮定されているのだから、
f が原点で連続であるという主張はもともと無理である。
つまり、P2 の場合には、定理C は証明できない。

ゆえに、定理C は数学の定理としてふさわしい形をしていない。
――――――――――――――――――――――――――――

お前はここで、「定理Cの場合は P1,P2 による場合分けが不可能だ」という屁理屈を
何度も述べているようだが、全く同じ屁理屈は定理1.7にも適用できるので、
お前の屁理屈はどちらに転んでも完全に破綻している。というか、もともと論理が滅茶苦茶。問題外。
0186132人目の素数さん2018/02/14(水) 01:38:44.93ID:sLMrM9T3
>>160
>だが、上記で
>A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
>A_f(x)= 0 (xは無理数)
>とすれば、これはディリクレ関数と同じ性質を持つ。
>つまり、すべての x∈Rで、不連続で微分も不可。微分不可だから、ディニ微分不可。
>だから、B_fは空集合

息をするように間違えるゴミクズ。俺は

f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
f(x)= 有限値なら何でもよい (xは無理数)

と書いたのではない。

A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
A_f(x)= 有限値なら何でもよい (xは無理数)

と書いたのである。すなわち、 f そのものをディリクレ関数っぽい値に設定したのではなく、
A_f の方をディリクレ関数っぽい値に設定したのである。もしそのような性質が成り立つ f が
存在したとすると、(a,b)⊂B_f なる開区間は取り放題なのに、f はどの開区間の上でも
リプシッツ連続にならないので、

「 (a,b)⊂B_f の場合はリプシッツ連続性が自明に分かる」

というスレ主の直観は破壊されることになる。

[続く]
0187132人目の素数さん2018/02/14(水) 01:41:48.63ID:sLMrM9T3
[続き]

ここでお前は、次のように言うかもしれない。
―――――――――――――――――――――――――――――――――――――――――
A_f(x) がディリクレ関数っぽい状態なら、その前の f だってディリクレ関数っぽいはずであり、
ゆえに f はどの点でも微分不可能のはずで、B_fは空集合になるだろう。
―――――――――――――――――――――――――――――――――――――――――
しかし、この意見は的外れであることを先に指摘しておく。
なぜなら、A_f(x) は おかしな挙動をある程度は取り得るからである。たとえば、

f(x)=0 (x=0), x^{3/2}sin(1/x) (x≠0)

という例の場合、A_f(x) は原点で 不 連 続 であることが確認できる。
もちろん、この f の場合は、A_f(x) は原点以外のところでは連続になっているが、
しかし原点では不連続なのである。

ところで、f の原点での挙動を、他の有限個の点 x_1, x_2, …, x_n に "移植" することは
明らかに可能であるから、そのように移植した新しい関数を g とするとき、A_g(x) は
x=0, x_1, x_2, …, x_n において不連続ということになる。もちろん、A_g(x) は
各点で「有限値」のままである。

というように、少なくとも有限個の点で A_f(x) が不連続になることは実際に「ある」。
問題は、A_f(x) が R 全体でディリクレ関数っぽい状況になることがあり得るのかということであるが、
俺が書いた>>110の手法を使えば、そのような関数は「無い」ことが分かる。

しかし、それは>>110を使ったからこそ「無い」ことが分かるのであって、
「無いことは自明である」ということにはならないのである。
0189132人目の素数さん2018/02/14(水) 17:33:55.32ID:fdysUhrS
>>175-179 & >>183 & >>185

>>ところが、場合分けとして、「無理数=R−Bf」とか、「超越数=R−Bf」は、できない
>>”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ
>
>その場合分けは「仮定が偽」になることが明白なだけであって、その場合分け自体は可能である。
>あるいは、次のように言ってもよい。お前がそこで言っていることはつまり、
>
>「仮定が偽のケースは場合分けとしては不可能である」
>
>という屁理屈である。だったら、その屁理屈を拝借すれば、全く同じように、
>「 R−B_f は R の中で稠密」という場合分けも不可能である。
>なぜなら、その場合「 R−B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)。

普通の証明論の場合分けを否定されてもね。それ無理筋ですよ
(”場合分け”は、私の独自説ではなく、ごく一般の数理です)
集合論で言えば、仮定で有理数Qを問題にしているときに、集合Qの中での場合分けは可能です
が、集合Qの外、つまり、「無理数=R−Bf」とか、「超越数=R−Bf」は、できない。それをやれば、プロレスの場外乱闘ですよ

それから、”「 R−B_f は R の中で稠密」という場合分けも不可能である。
なぜなら、その場合「 R−B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)”という主張も無理筋でしょう
それをいうなら、(>>13)”系1.8 有理数の点で不連続”には、適用できないということですよね
「 R−B_f は R の中で稠密」という場合分けが、定理1.7で存在しないなら、「系1.8 有理数」には定理1.7は適用できませんね

以上
0190132人目の素数さん2018/02/14(水) 17:34:52.60ID:fdysUhrS
>>186
これは、どうも失礼。私の早とちりでしたね
あなたは、こういう例を考える力はすごくあるね〜(^^

「f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
f(x)= 有限値なら何でもよい (xは無理数)

と書いたのではない。

A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
A_f(x)= 有限値なら何でもよい (xは無理数)

と書いたのである。すなわち、 f そのものをディリクレ関数っぽい値に設定したのではなく、
A_f の方をディリクレ関数っぽい値に設定したのである。もしそのような性質が成り立つ f が
存在したとすると、(a,b)⊂B_f なる開区間は取り放題なのに、f はどの開区間の上でも
リプシッツ連続にならない」
(引用終わり)

なるほど。でもね、この例は、諸刃の剣というやつでしょ
(一般性を損なわず”A_f(x)=0 (xは無理数)”とします)
1)∀p ∈Q を考えた場合、”Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }”で、
  無理数x=irに収束するQ内のコーシー列が取れる。分母q→∞。だから分子もp→∞。
2)補足:1/2=0.5に近い無理数x=irを考えると、コーシー列pn/qnで、分母qn→∞のとき、分子p =〜 0.5q→∞となる
3)なので、「(a,b)⊂B_f なる開区間は取り放題」ではない

つづく
0191132人目の素数さん2018/02/14(水) 17:35:36.44ID:fdysUhrS
>>190 つづき

以下参考
(>>13より)
定理1.7 (422 に書いた定理)
f : R → R とする.
Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
(引用終わり)

http://yusuke-ujitoko.hatenablog.com/entry/2017/05/17/005434
リプシッツ連続 緑茶思考ブログ 2017-05-17
(抜粋)
定義:リプシッツ連続
関数f(x)が任意の実数x,yに対し、

?f(x)?f(y)??k?x?y?

を満たす0以上のkがとれるとき、関数f(x)はリプシッツ連続であるといい、kをリプシッツ定数という。

x=yのとき、任意の実数について上式は成り立つので、
「関数f(x)がリプシッツ連続」であることは、「x≠yとなる任意の実数x,yに対して

?f(x)?f(y)/(x?y)? ? k

を満たす0以上の定数kがとれることと同値である。

つまり関数f(x)がリプシッツ連続であるとは、関数y=f(x)のグラフ上の任意の異なる2点(a,f(a)),(b,f(b))を通る直線の傾きが、?k以上k以下である、
すなわち、関数f(x)の変化率の絶対値はkを超えないということである。
(引用終わり)

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%97%E3%82%B7%E3%83%83%E3%83%84%E9%80%A3%E7%B6%9A リプシッツ連続

以上
0195132人目の素数さん2018/02/14(水) 18:15:21.87ID:sLMrM9T3
>>189
>が、集合Qの外、つまり、「無理数=R−Bf」とか、「超越数=R−Bf」は、できない。それをやれば、プロレスの場外乱闘ですよ

「場外乱闘」などという言葉を使ってみても、お前が言っている内容は全く変わらない。
お前がそこで言っていることはつまり、
――――――――――――――――――――――――――――――――――
R−B_f が第一類集合なのに「 R−B_f=無理数」としてしまえば、
R−B_f が第一類集合であることに矛盾するので、この場合分けは出来ない
――――――――――――――――――――――――――――――――――
ということである。この屁理屈を>>178-179に適用すると、次のようになる。

――――――――――――――――――――――――――――――――――
c=√2 とすると、c^c は無理数であることが知られている。すると、
c^c は無理数なのに「 c^c は有理数 」としてしまえば、
c^c が無理数であることに矛盾するので、この場合分けは出来ない。
――――――――――――――――――――――――――――――――――
つまり、スレ主は>178-179の証明が「間違いだ」と言っていることになるのである。
しかし、>178-179の証明は、よく知られた「正しい証明」である。

これは一体どういうことだね?
0196132人目の素数さん2018/02/14(水) 18:33:31.82ID:sLMrM9T3
>>195
>なぜなら、その場合「 R−B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)”という主張も無理筋でしょう
>それをいうなら、(>>13)”系1.8 有理数の点で不連続”には、適用できないということですよね
>「 R−B_f は R の中で稠密」という場合分けが、定理1.7で存在しないなら、「系1.8 有理数」には定理1.7は適用できませんね

何度も同じことを言わせるな。定理1.7は系1.8の証明の中で適用可能である。
なぜなら、定理1.7 の主張は

「 R−B_f が第一類集合なら、f はある開区間の上でリプシッツ連続」

というものだからだ。系1.8 だけでなく、
一般に R−B_f が第一類集合でありさえすれば、定理1.7が適用可能。
0197132人目の素数さん2018/02/14(水) 18:36:23.51ID:sLMrM9T3
>>190
>(一般性を損なわず”A_f(x)=0 (xは無理数)”とします)
>1)∀p ∈Q を考えた場合、”Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }”で、
>  無理数x=irに収束するQ内のコーシー列が取れる。分母q→∞。だから分子もp→∞。
>2)補足:1/2=0.5に近い無理数x=irを考えると、コーシー列pn/qnで、分母qn→∞のとき、分子p =〜 0.5q→∞となる
>3)なので、「(a,b)⊂B_f なる開区間は取り放題」ではない

計算の仕方が意味不明。お前がそこでやっていることは、

「 1/2 に近い無理数 x を1つ取り、有理数列 pn/qn であって pn/qn → x を満たすものを取った」

ということに過ぎない。このときに pn → +∞, qn → +∞ が成り立つのは当たり前の話。
で?どうしてそこから 「(a,b)⊂B_f なる開区間は取り放題ではない」という結論が出るんだ?

(a,b) ⊂ B_f が "成り立たない" ためには、(a,b) 内のある点 z において Af(z)=+∞ が
成り立たなければならないんだぞ?どうやってそのような点 z を見つけるんだ?
お前の書き方だと、あたかも Af(x)=+∞ が成り立つかのように書かれているが、
pn/qn を取っただけでどうして Af(x)=+∞ が出るんだ?

|(f(x)−f(pn/qn))/(x−pn/qn)|

↑この式で n→∞ としてみても、Af(x)=+∞ は全く出て来ないぞ?
0198132人目の素数さん2018/02/14(水) 18:39:53.16ID:sLMrM9T3
>>190
もしかしてお前、A_f(x)=0 と f(x)=0 を混同してるんじゃないか?
あるいは、A_f(q/p)=|p| と f(q/p)=|p| を混同してるんじゃないか?
お前は f(x)=0, f(pn/qn)= |qn| として計算しているんじゃないか?
何度も言うけど、俺は

f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
f(x)= 有限値なら何でもよい (xは無理数)

と書いたのではなくて、

>A_f(x)= |p| (xは有理数で x=q/p で p と q は互いに素),
>A_f(x)= 有限値なら何でもよい (xは無理数)

と書いたのだぞ?あたま大丈夫?あるいは、

「 pn/qn → x かつ Af(pn/qn)=|qn| → +∞ だから、Af(x)=+∞ 」

だと勘違いしてるんじゃないか?Af(z) は z の関数として連続ではないのだから、
pn/qn → x かつ Af(pn/qn) → +∞ でも Af(x)=+∞ なんて言えないぞ?
0199現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 08:46:23.94ID:PodxFPJ7
準備

>>191 修正再録
http://yusuke-ujitoko.hatenablog.com/entry/2017/05/17/005434
リプシッツ連続 緑茶思考ブログ 2017-05-17
(抜粋)
定義:リプシッツ連続
関数f(x)が任意の実数x,yに対し、

|f(x)-f(y)|<= k|x-y|

を満たす0以上のkがとれるとき、関数f(x)はリプシッツ連続であるといい、kをリプシッツ定数という。

x=yのとき、任意の実数について上式は成り立つので、
「関数f(x)がリプシッツ連続」であることは、「x≠yとなる任意の実数x,yに対して

|f(x)=f(y)/(x-y)| <= k

を満たす0以上の定数kがとれることと同値である。

つまり関数f(x)がリプシッツ連続であるとは、関数y=f(x)のグラフ上の任意の異なる2点(a,f(a)),(b,f(b))を通る直線の傾きが、?k以上k以下である、
すなわち、関数f(x)の変化率の絶対値はkを超えないということである。
(引用終わり)
0200現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 08:47:00.44ID:PodxFPJ7
準備追加

>>13より)f : R → R とする.
Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
(引用終り)

「lim sup y→x |(f(y) − f(x))/(y − x)|< +∞」は、
下記の4つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)が
有限値で収まることを意味している。

https://www.amazon.co.jp/dp/0387984801
https://books.google.co.jp/books?id=MzQ6JA6SiHYC&;pg=PA215&lpg=PA215&dq=%22liminf+of+functions%22#v=snippet&q=%20&f=false
Fundamentals of Real Analysis 著者: Sterling K. Berberian 出版社: Springer; Softcover reprint of the original 1st ed. 1999版 (1998/11/1)

P220のパラグラフ5.3.6に4つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)
と、lim sup, lim inf との関係が載っている
(引用終り)
0202現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 10:15:35.48ID:RGRVREaW
準備追加2

(>>169 追加引用)
https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%8B%E5%BE%AE%E5%88%86
ディニ微分
(抜粋)
定義[編集]
連続関数 f: R → R の上側ディニ微分(しばしば右上微分とも呼ばれる[1])は、

f'_{+}(t) def= limsup _h → {0+} {f(t+h)-f(t)}/h

により定義される。ここで limsup は上極限を表す。同様に、下側ディニ微分は

f'_{-}(t) def= liminf _h → {0+} {f(t+h)-f(t)}/h

により定義される。ここで liminf は下極限を表す。

注意
・補完数直線上では、各ディニ微分は常に存在する。しかし、それらの値は有限とは限らず、+∞ や -∞ となることもある(すなわち、ディニ微分は「拡張実数値」の意味において、常に存在する)。
・f が局所リプシッツ連続ならば、ディニ微分 f'_{+} は有限である。もし f が t において微分可能ならば、その t における各ディニ微分は通常の意味での微分に等しい。

D 記法と追加の定義
しばしば f'_{+}(t) の代わりに D^{+}f(t), f'_{-}(t)の代わりに D_{+}f(t) が記号として用いられ[1]、また

D^{-}f(t) def=limsup _{h→ {0-} {f(t+h)-f(t)}/h, D_{-}f(t) def=liminf _{h→ {0-} {f(t+h)-f(t)}/h

が定義される。
つまり、ディニ微分の「D 記法」は、プラスかマイナスかの符号によってそれぞれ左側、右側からの微分を表し、その符号の位置が上か下かによってそれぞれ上極限、下極限を表すのである。
(引用終り)
0204現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 10:52:05.85ID:RGRVREaW
>>199-202 の準備で何をしたかったのかというと

1.ディニ微分を間に入れて

定理1.7の条件;lim sup y→x |(f(y) − f(x))/(y − x)|< +∞
 ↓↑
ディニ微分
 ↓↑
定理1.7の結論;リプシッツ連続 (”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より)

という関係を見ようとしたわけだ

2.まず、「lim sup y→x |(f(y) − f(x))/(y − x)|< +∞」から、4つのディニ微分がいずれも有限値だと
 それは、即ちリプシッツ連続だということだ

3.逆もまた言えるわけだ。
  リプシッツ連続だと、4つのディニ微分がいずれも有限値であると
  そして、4つのディニ微分がいずれも有限値だと、「lim sup y→x |(f(y) − f(x))/(y − x)|< +∞」だと
 (この部分は、ディニ微分を介さずとも、直接
   ”|f(x)-f(y)|<= k|x-y|” → ”lim sup y → x |(f(y) − f(x))/(y − x)|< +∞” が見易いかと思う)

つづく
0205現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 10:54:53.35ID:RGRVREaW
>>204 つづき

1.まず、リプシッツ連続”|f(x)-f(y)|<= k|x-y|” → ”lim sup y → x |(f(y) − f(x))/(y − x)|< +∞”
  の方が分かりやすいので、ここからいくと

>>13より)
定理1.7 (422 に書いた定理)
f : R → R とする.
Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である.
(引用終わり)

 で、
 f はある開区間の上でリプシッツ連続である
  ↓
 f はある開区間の上で ”lim sup y → x |(f(y) − f(x))/(y − x)|< +∞”である
 が言える

2.つまり、定理1.7が成り立つと、仮定の集合Bfもまた、ある開区間を含む
  だから、定理1.7が成り立つと、補集合R−Bfが稠密ではないという結論になる(補集合R−Bfが稠密なら、Bfは開区間を含みえない)

3.繰り返すが、定理1.7が成り立つ場合は、補集合R−Bfが稠密ではない(∵開区間が存在するため)という結論になる

つづく
0206現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 10:56:48.17ID:RGRVREaW
>>205 つづき

1.さて、もう一つの下記

 a) lim sup y→x |(f(y) − f(x))/(y − x)|< +∞
  ↓
 b) リプシッツ連続 (”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より)

 を認めると、前記と併せて、a)とb)は同値ということになる

2.また、「仮定の集合Bfが、ある開区間を含む」場合
 a)→b)を認めると、「仮定の集合Bfが、ある開区間を含む」→「その開区間でリプシッツ連続」が言える

以上
0207現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 11:07:20.49ID:RGRVREaW
補足
なにが、自明(トリビア)かは、人によると思うが

”ディニ微分を間に入れて

定理1.7の条件;lim sup y→x |(f(y) − f(x))/(y − x)|< +∞
 ↓↑
ディニ微分
 ↓↑
定理1.7の結論;リプシッツ連続 (”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より)

という関係を見”ると(>>204

定理1.7の構造がよく見えるだろうと

以上
0208現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 11:13:48.63ID:RGRVREaW
>>197-198
この例は、諸刃の剣というやつでしょ(>>190)

>>204より

リプシッツ連続 (”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より)
 ↓↑
im sup y→x |(f(y) − f(x))/(y − x)|< +∞

が言えるから、リプシッツ連続を否定する例を作ると、自分に跳ね返って、
”im sup y→x |(f(y) − f(x))/(y − x)|< +∞”が、否定されるってことでしょ
0211現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 11:33:20.69ID:RGRVREaW
>>210 補足

定理1.7の証明を読んだが
(なお、定理1.7が分からない人は>>15-17ご参照)

1)
・f : R → R で Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
・Bf内のある点 x0 ∈ Bf の回りに、近傍(x0 - δ、x0 + δ)を取って
・近傍(x0 - δ、x0 + δ)内が、すべてBf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }を満たす
  ↓
 近傍(x0 - δ、x0 + δ)内に、リプシッツ連続な開区間 (x0 - δ’、x0 + δ’)が取れるという
 証明のストーリーと読みました

2)が、それ、暗黙に、”近傍(x0 - δ、x0 + δ)内が、すべてBf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }を満たす”を使っていますね?

3)その条件は、補集合R−BfがR中稠密な場合は、使えないでしょ

この点を補足しておきます。
なお、>>205も再度強調しておきます。

以上
0212132人目の素数さん2018/02/15(木) 11:44:45.49ID:gCnkTTzV
>>206
> a) lim sup y→x |(f(y) − f(x))/(y − x)|< +∞
>  ↓
> b) リプシッツ連続 (”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より)
まず
もう少し正確な表現で描き直した上で証明をしてください
(成り立たない例は件の証明を書いた人が挙げていますよ?)
0213132人目の素数さん2018/02/15(木) 11:49:09.18ID:gCnkTTzV
>>211
>3)その条件は、補集合R−BfがR中稠密な場合は、使えないでしょ
ですので
R-BfがRで稠密な場合は定理の条件を満たすfは存在しないということになります
あなたが定理を``間違っている''と主張する場合
R-Bfが稠密でかつ可算個の疎な閉集合で被覆できるfの例を作れなければ
説得力は皆無ですよ
0215現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 13:41:22.24ID:RGRVREaW
>>213
ご苦労さまです

(引用)
「> 3)その条件は、補集合R−BfがR中稠密な場合は、使えないでしょ
ですので
R-BfがRで稠密な場合は定理の条件を満たすfは存在しないということになります」
(引用終わり)

いやいや、流石にそれは強引な主張では?(下記ご参照)

>あなたが定理を``間違っている''と主張する場合
>R-Bfが稠密でかつ可算個の疎な閉集合で被覆できるfの例を作れなければ
>説得力は皆無ですよ

私の主張は逆で、
定理1.7で、補集合R−BfがR中稠密な場合は、
きちんと、条件設定”補集合R−BfがR中稠密”を付加した上で、そういう関数fが存在しないというなら、
それを筋道立てて、証明すべきであると。それをやらないと説得力なしです。

以前も書いたように
ケース1
f : R → R で、Rの部分集合Bfがfの連続な点の集合で、補集合R−Bfが不連続な点の集合の場合

ケース2(上記の逆で)
f : R → R で、Rの部分集合Bfがfの不連続な点の集合で、補集合R−Bfが連続な点の集合の場合

この2つの場合で
ケース1では、”R−Bf が内点を持たない閉集合の高々可算和で被覆でき、R中稠密” な関数fは存在します。例としては、トマエ関数です
ケース2では、”R−Bf が内点を持たない閉集合の高々可算和で被覆でき、R中稠密” な関数fは存在しせん。理由は、下記の”不連続性の分類”をご参照ください

なので、問題の定理1.7のR−BfがR中稠密な場合は、きちんとした別証明が必要と思いますよ(みそくそ一緒の定理1.7の証明でなく)
そして、
ケース1のように、そのような「関数f」が存在するなら、系1.8へ定理1.7を適用して矛盾を導くことはできません
ケース2のように、そのような「関数f」が存在しないなら、系1.8の証明は、開区間の存在を経由することはありません

(参考)
https://ja.wikipedia.org/wiki/%E4%B8%8D%E9%80%A3%E7%B6%9A%E6%80%A7%E3%81%AE%E5%88%86%E9%A1%9E
不連続性の分類
(抜粋)
関数の不連続点の集合
函数の連続点の全体からなる集合は開集合の可算個の交わり(Gδ-集合)である。また不連続点の全体は閉集合の可算個の合併(Fσ-集合)である。
(引用終わり)

以上
0216現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 13:44:15.18ID:RGRVREaW
>>200 補足

この
https://www.amazon.co.jp/dp/0387984801
https://books.google.co.jp/books?id=MzQ6JA6SiHYC&;pg=PA215&lpg=PA215&dq=%22liminf+of+functions%22#v=snippet&q=%20&f=false
Fundamentals of Real Analysis 著者: Sterling K. Berberian 出版社: Springer; Softcover reprint of the original 1st ed. 1999版 (1998/11/1)

は、定理1.7を書いた人から、教えてもらったテキストです
一言補足です
0217現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2018/02/15(木) 14:22:07.26ID:RGRVREaW
再録
スレ48 https://rio2016.5ch.net/test/read.cgi/math/1513201859/439
439 現代数学の系譜 雑談 古典ガロア理論も読む 2017/12/23(土) 10:37:20.53

http://www.artsci.kyushu-u.ac.jp/~ssaito/jpn/maths/real_analysis_2009_proceedings.pdf
典型的連続関数のDini微分 斎藤新悟 (Shingo SAITO) 九州大学大学院数理学研究院
(抜粋)
1 Dini微分とDenjoy-Young-Saksの定理

x = 0, 1 においては Dini 微分のうちいくつかが定義されないため,以下では (0, 1) の点における Dini 微分を主に考える.
Dini 微分に関する最も重要な定理の 1 つが次の Denjoy-Young-Saks の定理である:
定理 1.2(Denjoy-Young-Saks の定理)
f : [0, 1] → R とする.このとき,ほとんどすべての x ∈ (0, 1) に対して次のいずれかが成立する:
(1) D^+f(x) = D+f(x) = D^-f(x) = D-f(x) ∈ R,すなわち f は x で微分可能.
(2) D^+f(x) = D-f(x) ∈ R, D^-f(x) = ∞, D+f(x) = -∞.
(3) D^-f(x) = D+f(x) ∈ R, D^+f(x) = ∞, D-f(x) = -∞.
(4) D^±f(x) = ∞, D±f(x) = -∞.
注意 1.3 この定理では,f の連続性や可測性は仮定する必要がない.歴史的には最初にDenjoy, Young が独立に連続関数について示し,次に Young が可測関数にまで拡張し,最後に Saks が任意の関数について証明した.証明は例えば [2] の §3.5 を参照.
Denjoy-Young-Saks の定理の威力を実感するため,この定理から直ちに従う 2 つの系を述べる.

系 1.5 任意の f : [0, 1] → R に対して集合 {x ∈ (0, 1) | f′(x) = ∞} は零集合である.
証明 f ′(x) = ∞ なる x ∈ (0, 1) では Denjoy-Young-Saks の定理の (1), (2), (3), (4) のいずれも成立しないことから系が従う.

http://www.artsci.kyushu-u.ac.jp/~ssaito/jpn/maths/talks.html
研究集会での講演 斎藤新悟 九州大学基幹教育院准教授
(抜粋)
36.典型的連続関数の Dini 微分 (2009/10/23) [日本語講演,60 分]
実解析学シンポジウム 2009 @ 城西大学 坂戸キャンパス 関連文書:アブストラクト,報告集
(引用終り)

(追加)
https://en.wikipedia.org/wiki/Denjoy%E2%80%93Young%E2%80%93Saks_theorem
Denjoy?Young?Saks theorem
以上
0218132人目の素数さん2018/02/15(木) 15:58:12.59ID:0aAhb8Kl
おっちゃんです。

背理法のからくり。
基本的に、背理法で示せる命題は、有限回の推論で矛盾を導くことで示せるようになっている。
Pを仮定、Qを結論とする。P、Qが両方共に真或いは偽のどちらか一方になるのときの命題 P→Q を示すことを考える。
命題 P→Q を背理法で示すとする。Qを否定する。その上で元の仮定のPも仮定する。
そうすると、P、Qは両方共に真か偽のどちらか一方だから、命題 P∧ ¬Q を偽と仮定したことになる。
そして、偽の命題 P∧ ¬Q から始めて、有限回の推論で、背理法で示すべき命題 P→Q を示すことになる。
これを行うにあたり、Qの否定 ¬Q からいえることだけを適用して有限回の推論で矛盾を導けて P→Q を導けるとする。
そうすると、P、Qは両方共に真か偽のどちらか一方で、示すべき命題 P→Q は元々真だから、
仮定のPを任意の(Pとは異なる他の)仮定 P' で置き換えて P'→Q を背理法で示せることになる。
つまり、一般論として、結論Qが与えられた上で、任意の仮定 P' に対して、命題 P'→Q を背理法で示せることがいえる。
だが、これはあり得ない。有限回の推論の過程においてこのあり得ない事柄を導いて矛盾を得られた原因は、
背理法で命題 P→Q を示すにあたり、偽の命題 P∧ ¬Q から推論を始めて、
¬Q だけから行える有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導けたことにある。
従って、背理法で命題 P→Q を有限回の推論で示すにあたり、命題 P∧ ¬Q を偽と仮定して、
¬Q だけから行える有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導いて P→Q を導いてはならない。
だから、背理法で命題 P→Q を有限回の推論で示すには、単に ¬Q からいえることだけではなく、
元の仮定Pに含まれているすべての事柄から行える推論に基づくことも適用して有限回の推論で矛盾を導いて命題 P→Q を示さないといけない。
0219132人目の素数さん2018/02/15(木) 16:00:23.82ID:0aAhb8Kl
(>>218の続き)
そうして背理法の枠組みの中で命題 P→Q を示すにあたり、偽の命題 P∧ ¬Q を仮定して、
有限回の推論で矛盾を導くと、矛盾を導けた原因は偽の命題 P∧ ¬Q を仮定したことにあるから、
命題 P→Q を示すにあたり仮定した偽の命題 P∧ ¬Q は否定されることになる。
そうすると、背理法の推論の過程では P∧ ¬Q を否定した命題 ¬(P∧ ¬Q)=¬P ∨ ¬¬Q=¬P ∨Q が得られることになる。
つまり、Pでない または Qである といえることになる。示すべき命題 P→Q を背理法で示すにあたり、
仮定のPは元から仮定されているから、Pであることがいえて、「Pでない」ということはあり得ない。
だから、「Qである」ことがいえる。つまり結論Qが得られる。
そのようにして、命題 P→Q を背理法で示すようになる。背理法の推論の仕組みとしては、そのようになっている。

スレ主は、今回の場合、仮定のPにあたる定理1.7の「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用していない。
それ故に、背理法を正しく適用出来ていないことになる。
0220132人目の素数さん2018/02/15(木) 16:12:44.23ID:0aAhb8Kl
まあ、>>219
>命題 ¬(P∧ ¬Q)=¬P ∨ ¬¬Q=¬P ∨Q
は正しくは
>命題 ¬(P∧ ¬Q)≡¬P ∨ ¬¬Q≡¬P ∨Q
である。スレ主に、今回の背理法による推論のからくりは教えた。
だが、定理1.7を背理法で示すにあたり、
「R-Bfが可算個の疎な閉集合で被覆できる」を完全に適用するには ε-δ だけでなく
最低でも位相空間は必要だな。
0221132人目の素数さん2018/02/15(木) 17:10:00.99ID:VntZxPVK
>>215
>定理1.7で、補集合R−BfがR中稠密な場合は、
>きちんと、条件設定”補集合R−BfがR中稠密”を付加した上で、そういう関数fが存在しないというなら、
>それを筋道立てて、証明すべきであると。それをやらないと説得力なしです。

>なので、問題の定理1.7のR−BfがR中稠密な場合は、きちんとした別証明が必要と思いますよ(みそくそ一緒の定理1.7の証明でなく)

その屁理屈は聞き飽きた。同じ屁理屈を 定理C に適用すると、次のようになる。
――――――――――――――――――――――――――――――――――――
定理C で、「 f が原点で不連続」な場合は、きちんと条件設定 "f は原点で不連続" を
付加したうえで、そういう関数fが存在しないというなら、それを筋道立てて、証明すべきであると。
それをやらないと説得力なしです。 なので、問題の定理Cの「 f が原点で不連続な場合」は、
きちんとした別証明が必要と思いますよ(みそくそ一緒の 定理C の証明でなく)
――――――――――――――――――――――――――――――――――――

ここでスレ主は、定理C のときだけは、次のような別の屁理屈を繰り出すのである。
――――――――――――――――――――――――――――――
定理Cの場合は、f が原点で不連続という場合分けは存在しない。
なぜなら、f が微分可能なら f は原点で連続になるからだ。
なぜそうなるかって?定理Cにそう書いてあるじゃないか。
――――――――――――――――――――――――――――――

だったら、同じ屁理屈を定理1.7にも適用すれば、次のようになる。
――――――――――――――――――――――――――――――――
定理1.7 の場合は、R−B_f が R の中で稠密という場合分けは存在しない。
なぜなら、R−B_f が第一類集合なら、f はある開区間の上でリプシッツ連続だからだ。
なぜそうなるかって?定理1.7 にそう書いてあるじゃないか。
――――――――――――――――――――――――――――――――

結局、スレ主とかいうゴミクズの屁理屈は、どちらに転んでも自爆に終わるのである。
0222132人目の素数さん2018/02/15(木) 17:11:30.82ID:VntZxPVK
>>204
>2.まず、「lim sup y→x |(f(y) − f(x))/(y − x)|< +∞」から、4つのディニ微分がいずれも有限値だと
> それは、即ちリプシッツ連続だということだ

息をするように間違えるゴミクズ。キチガイ。問題外。レベルが低すぎる。
お前の屁理屈を適用すると、

「 Af(x) が各点で有限値なら、f はどの区間の上でもリプシッツ連続だ 」

ということになる。しかし、既に見た

f(x)=0 (x=0), x^{3/2}sin(1/x) (x≠0)

という関数が反例であると何度も言っている。この f は原点の近傍でリプシッツ連続にならないのである。
任意の点で A_f(x) が有限値であるにも関わらずな。

>>206
>1.さて、もう一つの下記
> a) lim sup y→x |(f(y) − f(x))/(y − x)|< +∞
> b) リプシッツ連続 (”任意の実数x,yに対し |f(x)-f(y)|<= k|x-y| を満たす0以上のkがとれる”>>199より)
> を認めると、前記と併せて、a)とb)は同値ということになる

(a)と(b)は同値にならない。理由は上に同じ。上で挙げた関数 f について、
A_f(x) は任意の点で有限値であるが、この f は原点の近傍でリプシッツ連続ではない。
0223132人目の素数さん2018/02/15(木) 17:12:49.42ID:VntZxPVK
>>205
>2.また、「仮定の集合Bfが、ある開区間を含む」場合
> a)→b)を認めると、「仮定の集合Bfが、ある開区間を含む」→「その開区間でリプシッツ連続」が言える

まさしく「息をするように間違えるゴミクズ」。
上記の関数 f について、B_f=R が成り立つので、(a,b)⊂B_fなる開区間は取り放題である。
特に (−1, 1)⊂B_f という開区間を取ってみよう。すると、お前が言うところの

>「仮定の集合Bfが、ある開区間を含む」→「その開区間でリプシッツ連続」が言える

を適用すれば、f は (−1, 1) 全体でリプシッツ連続ということになるが、
しかし f は (−1, 1) 上ではリプシッツ連続にならない。
0224132人目の素数さん2018/02/15(木) 17:17:05.50ID:VntZxPVK
>>208
>この例は、諸刃の剣というやつでしょ

原理的には諸刃の剣であることは俺も理解している。しかし、

>>110により、そのような関数は存在しない 」

と何度も添えているので、実際には俺の方は無傷なのである。一方で、お前はノーダメージとはいかない。
なぜなら、>>190のような関数が存在しないことを>>110を経由せずに自明に証明できなければ、

「 (a,b)⊂B_f なる開区間が存在するなら、f がある区間の上でリプシッツ連続になるのは自明だ」

というお前の直観が破壊されるからである。
というか、今までのお前の立場を考慮すると、お前の方から自発的に
>>190のような関数の有無に拘るべきなのである。にも関わらず、お前には

「 (a,b)⊂B_f なる開区間が存在するなら、f がある区間の上でリプシッツ連続になるのは自明だ」

というアホな "思い込み" があるので、お前は上記のような考察をせず、
なぜか俺の方から そのような考察をするという逆転した状況になっているのであるw
0225132人目の素数さん2018/02/15(木) 17:19:31.83ID:VntZxPVK
>>211
>・f : R → R で Bf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }
>・Bf内のある点 x0 ∈ Bf の回りに、近傍(x0 - δ、x0 + δ)を取って
>・近傍(x0 - δ、x0 + δ)内が、すべてBf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }を満たす
> 近傍(x0 - δ、x0 + δ)内に、リプシッツ連続な開区間 (x0 - δ’、x0 + δ’)が取れるという
> 証明のストーリーと読みました

微妙に間違っている。正確には、もっと強いことを言っている。

・ ある B_{N,M} に対して、(a,b) ⊂ B_{N,M} なる開区間が存在する
・ この開区間の中にリプシッツ連続な区間が取れる

このように、B_f ではなく B_{N,M} 内に開区間が取れると言っている。
これは、B_f の中に開区間が取れることよりも遥かに強い条件になっている。
なぜなら、既に述べたように、B_f の各点xでは A_f(x) がただ単に有限値であるにすぎないのに対して、
B_{N,M} 上では一様に A_f(x)≦N が成り立つからだ。

>2)が、それ、暗黙に、”近傍(x0 - δ、x0 + δ)内が、
>すべてBf :={x ∈ R | lim sup y→x |(f(y) − f(x))/(y − x)|< +∞ }を満たす”を使っていますね?

微妙に間違っている。正確には、もっと強いことを使っている。上で述べたように、
「ある B_{N,M} が (a,b) ⊂ B_{N,M} なる開区間を含む」ということを使っている。
この場合、(a,b)内の各点 x に対して Af(x)≦N が成り立つことになる。
そのような強い条件を使っているのである。

[続く]
0226132人目の素数さん2018/02/15(木) 17:24:24.67ID:VntZxPVK
[続き]

>3)その条件は、補集合R−BfがR中稠密な場合は、使えないでしょ

使える。なぜなら、R−B_f が第一類集合なら、ベールのカテゴリ定理より、ある B_{N,M} に対して
(a,b) ⊂ B_{N,M} なる開区間が存在するからだ。すなわち、「 R−B_f が第一類集合 」という条件は

「 ある B_{N,M} に対して (a,b) ⊂ B_{N,M} なる開区間が存在する 」

という滅茶苦茶に強い条件を暗黙のうちに含意しているのである。
特に、R−B_f が第一類集合なら、R−B_f は R の中で稠密になりえないのである。
そういう「なりえない条件」を最初から付け加えたところで、仮定が偽になるだけである。
お前の屁理屈を使えば、

「そのような場合分けは存在しない」

のである。文句があるなら「ベールのカテゴリ定理」を批判したまえ。
0227132人目の素数さん2018/02/15(木) 17:32:37.99ID:VntZxPVK
というか、何のための「第一類集合」だと思っているのだ。一般に、A ⊂ R が

「 R−A は第一類集合 」

という条件を満たすならば、A ⊂ ∪_k F_k なる可算無限個の閉集合 F_k を
任意に取るとき、ベールのカテゴリ定理により、ある F_k は内点を持つことになる。
すなわち、(a,b)⊂F_k なる開区間が取れることになる。大事なことなのでもう一度言う。

――――――――――――――――――――――――――――――
R−A が第一類集合ならば、「 A 」の方については、
A ⊂ ∪_k F_k なる可算無限個の閉集合 F_k を任意に取るとき、
ある F_k は内点を持つ(ベールのカテゴリ定理より)。
――――――――――――――――――――――――――――――

すなわち、R−A が第一類集合ならば、「 A 」の方は非常に強い性質を持っているのである。
にも関わらず、お前はこのことをずっと無視しつづけており、機械的に「第一類集合」という言葉を
振り回すだけで、第一類集合から導かれる上記の「強い」性質を全く視野に入れていない。

「 A 」が非常に強い性質を持つならば、その性質から暗黙のうちに含意される
様々な派生の性質があるはずで、それらの性質に矛盾するような条件は、お前から言わせれば
条件として追加できないはずであり、「場合分けとして存在しない」はずなのである。

しかし、お前は機械的に「第一類集合」という言葉を振り回すだけで、この条件から
何が言えるのか全く考慮してないために、お前が思いついた場合分けは何でも可能だと
思い込んでいる。いや、実際にはどんな場合分けも可能(おかしな場合分けは仮定が偽になるだけで、
場合分け自体は可能)なのだが、お前に言わせれば、「矛盾する場合分けは最初から
場合分けとして存在しない」はずである。にも関わらず、お前は追加した条件が
矛盾しているかどうかを全く考慮していないのである。やってることに一貫性がなくて滅茶苦茶。
0228132人目の素数さん2018/02/15(木) 17:34:13.49ID:VntZxPVK
とりあえず、これだけは言っておこう。

R−B_f は第一類集合とする。このとき、「 B_f 」の方は次の性質を満たす。

――――――――――――――――――――――――――――――――
B_f ⊂ ∪_k F_k なる可算無限個の閉集合 F_k を任意に取るとき、
ある F_k は内点を持つ(ベールのカテゴリ定理より)。
――――――――――――――――――――――――――――――――

↑お前は今までずっとこの性質を無視し続けてきたので、これからはこの性質を使いたまえ。
0229132人目の素数さん2018/02/15(木) 17:39:05.08ID:VntZxPVK
あと、定理1.7とは違う話になるが、練習問題も出しておく。
以下、f:R→R に対して、f の不連続点全体の集合を E_f と書くことにする。
連続点ではなく、「不連続点」の集合な。

このとき、次の定理が成り立つ。
――――――――――――――――――――――――――――――――
定理E:
R−E_f が第一類集合ならば、(a,b) ⊂ E_f を満たすa,bが存在する。
――――――――――――――――――――――――――――――――

↑この 定理E は正しい定理である。スレ主にはその理由が分かるかな?
0230132人目の素数さん2018/02/15(木) 18:36:00.21ID:gCnkTTzV
>>215
>いやいや、流石にそれは強引な主張では?(下記ご参照)
強引ではありませんよ
P->Q

P∧¬Q->矛盾 (もしくはP∧¬Qは偽)
は同値だからです
この定理は
P:R-Bfが可算個の疎な閉集合で覆える
Q:fがリプシッツ連続となる開区間が存在する
というものであり
fにリプシッツ連続となる開区間が存在するならR-BfがRで稠密にならないのは自明ですので
''R-Bfが可算個の疎な閉集合で覆える"∧"R-BfがRで稠密"->矛盾
となる訳です
件の証明を書いた人が再三指摘しているあなたの思考法の難点は
背理法を理解していないことにあるようですね
0231132人目の素数さん2018/02/15(木) 18:39:00.33ID:gCnkTTzV
結局
>>131
にはお答えいただけないようですね
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況