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

2018/02/08(木) 21:58:07.31

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

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

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

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

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

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」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も貼ります。関連のアーカイブの役も期待して。）

**１３２人目の素数さん** · 2018/02/10(土) 21:57:29.74

>>61

あるいは、次のようにも言える。
――――――――――――――――――――――――――――――――――――――――
定理C：
f：R → R が原点で微分可能ならば、f は原点で連続である。

スレ主：
過去スレで導入した X_f を使ってみる。
R－X_f がR中で稠密なら、f は原点で不連続になることに注意せよ。

さて、R－X_f がR中で稠密な場合と、稠密でない場合とがある。
場合分けが必要だろう？
補集合 R－X_f が、R中で稠密な場合を仮定として置きながら、結論で”f は原点で連続である”を導くのは、なんか変
ゆえに、定理C は数学の命題としてふさわしい形ではない。
――――――――――――――――――――――――――――――――――――――――

↑これがお前の言っていることだよ。これは一体どういうことだね？

**１３２人目の素数さん** · 2018/02/10(土) 21:59:47.10

>>63
＞ここで、仮定命題のQ’2：”Bfの補集合が、ベールの第一類集合で、R中稠密である”ことから、
＞すでに「R中に、性質Gを持つ開区間は取れない」が、含意されています
＞なので、「P’∧Q’2 → ￢Q」がもっとも素直な結論。逆に「P’∧Q’2 → Q」を、証明することは、”無理筋”だという主張です。

全く無理筋ではない。仮定が偽であることを証明すればいいだけ(>>46)。
あるいは、お前の屁理屈を定理Cに適用すると、次のようになる。
――――――――――――――――――――――――――――――――――――――――
定理C：
f：R → R が原点で微分可能ならば、f は原点で連続である。

スレ主：
f が原点で連続な場合と、そうでない場合とがある。場合分けが必要だろ？
しかし、f が原点で不連続な場合は、

「 fが原点で微分可能 ∧ f は原点で不連続 → fは原点で不連続」

がもっとも素直な結論。逆に

「 fが原点で微分可能 ∧ f は原点で不連続 → fは原点で連続」

を証明することは "無理筋" である。
ゆえに、定理C は数学の命題としてふさわしい形ではない。
――――――――――――――――――――――――――――――――――――――――

↑これがお前の言っていることだよ。これは一体どういうことだね？