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

■ このスレッドは過去ログ倉庫に格納されています
“現代数学の系譜 物理工学雑談 古典ガロア理論も読む”

数学セミナー時枝記事は、過去スレ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も貼ります。関連のアーカイブの役も期待して。)

0608132人目の素数さん2018/01/20(土) 13:01:07.55ID:VK9rLWYy
>>607
3年間なら出来るとは思うが、学習法による。
知識とかは、チンタラチンタラ長くやっても身に付かず、
集中して身に付けないと身に付かない。
英語、古文、漢文の辞書を引くことについては、
それらの科目に或る程度慣れて単語が分かるようにならないと、
辞書を引くのに時間がかかることには変わりがない。
辞書を引いて調べたようなことが全くないと、
単語を調べるのかに手間がかかり辞書を引くのに時間がかかる。

0609132人目の素数さん2018/01/20(土) 13:12:05.24ID:7r0Arldd
東大に受かるには小学校からそのつもりで勉強しないと駄目
そして東大出のほとんどは下らない人生を送っている
真に人類に貢献する人はほんの一握り
そしてそういう人は東大出じゃなくてもいる
だから東大コンプレックスは捨てた方がいい、実に下らない

0610132人目の素数さん2018/01/20(土) 13:37:21.68ID:IrkaiIsq
>>598
=======
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
0040 132人目の素数さん 2018/01/19 12:00:25
>>39
私はあそこのスレ主とは違う。
ガロアスレのスレ主は他人に成り済ましたりする癖があって、質が悪い。
=======

スレ主の目は節穴のようだ(^^

>>610
ID:IrkaiIsqさん、どうも。スレ主です。

>スレ主の目は節穴のようだ(^^

本当だね。見えてなかったよ(^^
いや、google検索でヒットしなかったんだ。

”【大学院へ】 30過ぎて、数学の道へ”スレは巡回先にはしていたが、あのスレは1/18に新スレに移行したんだね
それ〜、知らなかったな〜(^^

で、多分新しいスレだから、googleで引っかからなかったのかな?

で、【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章 0040 132人目の素数さん 2018/01/19 12:00:25は
”40 名前:132人目の素数さん[sage] 投稿日:2018/01/19(金) 12:00:25.64 ID:zLaqQ3FB [8/21]”のID:zLaqQ3FBでしょ?

で、”34 名前:132人目の素数さん[sage] 投稿日:2018/01/19(金) 10:22:31.70 ID:zLaqQ3FB [5/21]
>おまえ数学板は初めてか?
ガロアスレのおっちゃんです。”だって(^^

だったら、それおっちゃんの発言だから、私スレ主は、有名でもなんでもないじゃんか〜!(^^
おっちゃんとは、腐れ縁というか、旧知の間柄ですよ〜!

>>610
ID:IrkaiIsqさん、どうも。スレ主です。

>ガロアスレのスレ主は他人に成り済ましたりする癖があって、質が悪い。

おっちゃんも、しかし、言っていることが意味不明だな
そもそも、ここでは、私スレ主以外に、コテハン付けている人は、C++さんと、¥さんくらい

自分が、”132人目の素数さん”のままで発言していて
”他人に成り済まし”とかいう意味が分らん

他人てなんだ? その定義は?
まあ、たまにコテが外れることがあるが、新スレのときに専用ブラウザの設定を忘れているときがあるけどね。

けど、”132人目の素数さん”が基本のバカ板でなにを言っているのかね?(^^

0613132人目の素数さん2018/01/20(土) 15:52:56.90ID:7r0Arldd
スレ主は検索もできないのか

>>613
どうも。スレ主です。

その声は、おっちゃんかい?
検索結果は、下記の通りだった。

まだ、googleのボット巡回で、
集めて貰ってないのかも・・(^^

(参考:検索キーワードと検索結果)
私はあそこのスレ主とは違う。 site:https://rio2016.5ch.net/test/read.cgi/math/
25 件 (0.43 秒)

ガロアスレのスレ主は他人に成り済ましたりする癖があって、質が悪い site:https://rio2016.5ch.net/test/read.cgi/math/
1 件 (0.30 秒)

>>614 補足

上記は、書き込み直前に改めて検索した結果だ
だから、googleのデータベースのインデックス内に取り込まれていないと思うよ

そもそも、このスレのカキコもヒットしないしね

0616132人目の素数さん2018/01/20(土) 18:09:03.36ID:VK9rLWYy
>>614
IDを見ろよ。
IDを変えてレスしているから区別付かなくなっているだろw

0617132人目の素数さん2018/01/20(土) 18:10:21.85ID:mEUvIos7
>>615
スレ主は論文にしろ検索にしろ
情報を精査することができないのかね?

一手間加えるだけで未然防止できるような
イージーミスが多くないか?

0618132人目の素数さん2018/01/20(土) 19:18:51.15ID:XURtOrzK
やっぱり脇見恐怖症の人間には東大というか普通の大学自体無理なのでしょうか?
通信制の大学にするしかないですか?

>>616
おっちゃん、どうも、スレ主です。
レスありがとう。別人だったか(^^

>>617
どうも。スレ主です。

>スレ主は論文にしろ検索にしろ
>情報を精査することができないのかね?
>一手間加えるだけで未然防止できるような
>イージーミスが多くないか?

確かに(^^
その指摘は当たっている・・・(^^

それはさておき・・・(^^
「(参考:検索キーワードと検索結果)
私はあそこのスレ主とは違う。 site:https://rio2016.5ch.net/test/read.cgi/math/
25 件 (0.43 秒)

ガロアスレのスレ主は他人に成り済ましたりする癖があって、質が悪い site:https://rio2016.5ch.net/test/read.cgi/math/
1 件 (0.30 秒)」

これでどうやったら、「【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章 」のおっちゃんの発言ヒットするんだい?
知ってたら教えてくれよ(^^

>>618

突然だけど、”糸井重里、池上彰も絶賛する、80年前の歴史的名著『君たちはどう生きるか』が話題!”
これを一度だまされたと思って読んでみたらどうだ?

実は、NHKとか他のTVでも取り上げられていて、つい先日書店で見かけて、店頭で読んだ来たんだ・・(^^

https://ddnavi.com/review/403043/a/
トップ>レビュー>糸井重里、池上彰も絶賛する、80年前の歴史的名著『君たちはどう生きるか』が話題! KADOKAWA CORPORATION 2017/9/27
(抜粋)
「ほぼ日の読書会」で糸井重里さんがこんなことを言っていた。「自分はこれまであまり人に本を勧めてこなかった。何故なら、本を読む人は自分のことをいいと思いすぎている気がする。あいつは本を読まないから、という言い方で、人間の優劣をつけている風潮を、苦々しく思っていた」と。

 善悪や優劣にとらわれず本について語り合いたい、という糸井さんが持参していたのが『君たちはどう生きるか』(吉野源三郎:著、羽賀翔一:マンガ/マガジンハウス)。

 原作は、戦中に書かれ今なお読まれ継がれる歴史的名著で、著者は岩波少年文庫の創設にも尽力した、編集者であり児童文学者の吉野源三郎。池上彰氏が「子どもたちに向けた哲学書であり、道徳の書」と序文を寄せたことで話題の新装版とともに、80年の時を経てマンガ版が刊行された。

だからこその新装版でありマンガ版なのだ。枠にとらわれずに手にとってみると、生きていくうえでぶつかる悩みや疑問、人間関係で生じる葛藤など、人が乗り越えなくてはならない壁に、世代も性別も関係ないのだと知ることができるのだ。
時代が違うとか、児童書だからとかいう思い込みは捨てて、若者もそうとは呼べなくなった人も、ぜひ手にとってみてほしい。現に、読み終えた読者からはこんなコメントが寄せられている。

【原作読者のコメント】

幾つになっても読んで学ぶことがある。子供向けに書かれているから読みやすいけど、内容については年齢を重ねるとともに深く理解できそう。

現在にも通用する価値観に感銘を受けるとともに、書かれた時代、社会情勢を考えると一層驚きを覚える。ぜひこどもたちにも読ませたい名著。

つづく

>>621 つづき

【マンガ読者のコメント】

君ではなく「君たち」であること。「こう生きるべき」という断定ではなく「どう生きるか」という問いかけであること。定期的に読み返し、自分のものにしたい。きっとこの本からはこの先ずっと大切にしたい生き方の指針が見つけられる。

どんなに知識をたくわえても、物事の全体像や正しさを理解したつもりでも、失敗してしまうことはある。とんでもない過ちを犯すこともある。自分のとほうもない弱さに直面したとき、自分を救ってくれるのは、これまでと同じように俯瞰して物事を考える力であり、「抽象化することが生きる武器になる」(糸井)。
生きていくことはその連続であり、自分なりの武器をそなえてどう立ち向かっていくのか。君たちは、私たちは、どう生きていくのか。深く考えさせてくれる、まぎれもない名著なのである。

文=立花もも
(引用終り)
以上

>>618

「どんなに知識をたくわえても、物事の全体像や正しさを理解したつもりでも、失敗してしまうことはある。とんでもない過ちを犯すこともある。自分のとほうもない弱さに直面したとき、自分を救ってくれるのは、これまでと同じように俯瞰して物事を考える力であり、「抽象化することが生きる武器になる」(糸井)。
生きていくことはその連続であり、自分なりの武器をそなえてどう立ち向かっていくのか。君たちは、私たちは、どう生きていくのか。深く考えさせてくれる、まぎれもない名著なのである。」

てことな!(^^

>>618

上記の>>621-623を踏まえて(歴史的名著『君たちはどう生きるか』を読む前提で)
脇見恐怖症とかよく分らないが、精神科医とか、カウンセリングとか
そっちも検討した方が良いだろう

キーワード:カウンセリング 地方自治体
で検索すると
下記ヒットするよ。自分の身近なところで、相談するのが良いと思う

約 781,000 件 (0.53 秒)
検索結果
1)
[PDF]国や地方自治体の相談機関 - 日本臨床心理士会
www.jsccp.jp/near/pdf/gui03.pdf
国や地方自治体の相談窓口・機関. ? 医療機関. ? 学校や企業内の相談窓口. ? 外部EAP機関. ? 大学附属の相談機関. ? 私設心理相談機関. 国や地方自治体の相談機関. 医療・保健領域の機関として保健所や精神保健福祉センター、福祉領域の機関として児. 童相談所、療育センター、女性相談所、教育領域の機関として教育相談所、
司法・法 ... こうした医療機関では、医療の一環として、臨床心理士による心理検査やカウンセリング. を受けることができます。合わせて医師の診察を受けることが必要ですから、医療の対象と ...

2)
メンタルクリニック?カウンセリングルーム?行政機関?心の相談窓口の ...
https://cotree.jp ? コラム ? カウンセリングを受けたい
2014/11/18 - 全国500か所、各地方自治体に設置されています。医師、保健師、精神保健福祉相談員、薬剤師、栄養士などのスタッフがいます。予約なしで相談が可能。電話相談も受け付けています。保健所では地域の医療機関に関する情報を提供してくれるので、
どの医療機関にかかったらいいか、どの診療科にかかったらいいか迷った場合などに、相談にのるとよいでしょう。

以上

>>574 補足

https://en.wikipedia.org/wiki/Littlewood_conjecture
Littlewood conjecture
(抜粋)
References
3 M. Einsiedler; A. Katok; E. Lindenstrauss (2006-09-01). "Invariant measures and the set of exceptions to Littlewood's conjecture". Annals of Mathematics. 164 (2): 513?560. arXiv:math.DS/0612721?Freely accessible. doi:10.4007/annals.2006.164.513. MR 2247967. Zbl 1109.22004.
(引用終り)

これ、arXiv:mathのリンクから下記に入ると、”Ann. of Math. (2) 164 (2006)”版が公開されているね〜(^^
https://arxiv.org/abs/math/0612721
https://arxiv.org/pdf/math/0612721.pdf
Invariant measures and the set of exceptions to Littlewood's conjecture
Manfred Einsiedler, Anatole Katok, Elon Lindenstrauss
(Submitted on 22 Dec 2006)
We classify the measures on SL (k,R)/SL (k,Z) which are invariant and ergodic under the action of the group A of positive diagonal matrices with positive entropy. We apply this to prove that the set of exceptions to Littlewood's conjecture has Hausdorff dimension zero.
Subjects: Dynamical Systems (math.DS); Number Theory (math.NT)
Journal reference: Ann. of Math. (2) 164 (2006), no. 2, 513--560
(抜粋)
Part 2. Positive entropy and the set of exceptions to Littlewood’s Conjecture
7. Definitions

11. The set of exceptions to Littlewood’s Conjecture

The following well-known proposition
gives the reduction of Littlewood’s conjecture to the dynamical question which
we studied in Section 10; see also [24, §2] and [46, §30.3]. We include the proof
for completeness.
Proposition 11.1. The tuple (u, v) satisfies
(11.1) liminf n→∞ n ||nu|| ||nv|| = 0,
if and only if the orbit A+τu,v is unbounded where A+ is the semigroup
(略)
(引用終り)

>>625 補足

このPDFをざっと眺めると・・(^^
(細かいところは、全くついて行けず、理解できないが・・)
Positive entropyとか、本当に力学的な(ポアンカレのトポロジーも力学的な課題から発しているというし、ペレリマン先生も”entropy”とか書いていたが)
理論を適用して、
”Proposition 11.1. The tuple (u, v) satisfies
(11.1) liminf n→∞ n ||nu|| ||nv|| = 0,
if and only if the orbit A+τu,v is unbounded where A+ is the semigroup ”

みたいなことを証明したのかな〜?(^^

0627132人目の素数さん2018/01/20(土) 23:04:07.80ID:IrkaiIsq
>>620
引用した内容からおおよそ数学板であることは分かるはず。あとは数学板の各スレッドにて適当なキーワードでページ内検索を地道にすれば、サクッと見つけられる。別に難しいことでは無い。

スレ主よ
ここまで面倒みてあげないとダメなのか?
数学云々よりも先に身の回りの基本的なツールの有効な活用方法をちゃんと習得することをオススメする。

>>601
Elon_Lindenstrauss 先生は、数オリは、1988(17か18かのとき)に銅目メダルで、17点の102位(全体で62.17%)か
いわゆる、神童とか天才と言われるレベルではないが、その後順調に伸びたんだろう・・(^^
だったら、君にも可能性はある・・、可能性は・・(^^

https://en.wikipedia.org/wiki/Elon_Lindenstrauss
Elon Lindenstrauss
(抜粋)
Elon Lindenstrauss ( born August 1, 1970) is an Israeli mathematician, and a winner of the 2010 Fields Medal.[1][2]

Awards[edit]
In 1988, Lindenstrauss represented Israel in the International Mathematical Olympiad and won a bronze medal.

External links
http://www.imo-official.org/participant_r.aspx?id=1672
International Mathematical Olympiad
Elon Lindenstrauss
Year Country P1 P2 P3 P4 P5 P6 Total Rank Abs. Rel. Award

1988 Israel 3 5 1 7 0 1 17 102 62.17% Bronze medal 
(引用終り)

0629132人目の素数さん2018/01/20(土) 23:29:15.70ID:IrkaiIsq
スレ主へ

数学という点で既に他の住人に引き離されてる自覚はあると思うが
それ以上にITリテラシーなどもっと基本的な素養という点で他の住人にかなり差をつけられていることを自覚できているか?

あと、いつも(^^ ←こんな顔文字を使って他人の指摘をごまかしてるつもりなのかも知れないが、何も誤魔化しきれてない。
反感買ってるだけなの分かってる?

>>627
>あとは数学板の各スレッドにて適当なキーワードでページ内検索を地道にすれば、サクッと見つけられる。別に難しいことでは無い。

正気か? 「別に難しいことでは無い」だろうが、無価値なことに時間を無駄にしていると、思わないか?
おっちゃんのどこかのスレの発言を、そこまでして・・、おれが見つけなければならないと?(^^

【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
https://rio2016.5ch.net/test/read.cgi/math/1516213849/

いま現在の、google検索結果
1)
”私はあそこのスレ主とは違う。 site:https://rio2016.5ch.net/test/read.cgi/math/1516213849/ に一致する情報は見つかりませんでした。”
2)
”ガロアスレのスレ主は他人に成り済ましたりする癖があって、質が悪い site:https://rio2016.5ch.net/test/read.cgi/math/1516213849/ に一致する情報は見つかりませんでした。”
(引用終り)

(余談だが、5CHに変わってからかどうか分らないが、googleに疎んじられているようだな・・(^^ )

で、>>620に書いたように、バカ板全体 site:https://rio2016.5ch.net/test/read.cgi/math/ (”30過ぎて”スレでなく)、を対象に検索を掛けてヒットなしだった
で? おれが、いちいちバカ板の全てのスレを開いて検索して回れと? おれが、そこまで他人のつまらん発言の面倒をみなけりゃいかんのかい?(^^

以上


>>629

>それ以上にITリテラシーなどもっと基本的な素養という点で他の住人にかなり差をつけられていることを自覚できているか?

嫁よ>>630
5CH数学板のバカすれは、googleから疎外されているんじゃないのかね〜?(^^

なお、(^^=W だよ

もっとも、このガロアすれも、googleからバカすれ認定されていると思うがね(^^

ひょっとして、”site:https://rio2016.5ch.net/test/read.cgi/math/”の検索テクニックをご存じない?(^^

0635132人目の素数さん2018/01/21(日) 00:54:59.46ID:hREHM7MH
新年が明けてまでゴミクズの相手をするのもバカらしいので、正月の三日間くらいは控えようと思っていたら、
ゴミクズ自体のことがどうでもよくなってきて、今日ひさしぶりに閲覧してみた次第である。
そして、ゴミクズのゴミクズ具合は全く変わってないようで何よりである。

以下ではゴミクズに向けて反論を書いていくが、こちらは以前よりやる気がないので、
今後も返答を続けるか否かは気分次第であることを先に注意しておく。

0636132人目の素数さん2018/01/21(日) 01:01:18.47ID:hREHM7MH
>>560

>1.「f はある開区間の上でリプシッツ連続である.」→「f は”Bf内の”ある開区間の上でリプシッツ連続である.」
>  という表現にすべきだったろう。”Bf内の”は、私には自明だが、証明を書いた人は、
>  表現がまずく”証明のために作った”B_N,M”なる被覆空間の合併集合”との区別を忘れてしまった。つまり、”B_N,M”と”Bf”とを混同してしまったのだ

息をするように間違えるゴミクズ。キチガイ。
「f はある開区間の上でリプシッツ連続である.」という表現のままで完全に正しい。
「Bf内」という余計な条件は全く必要ない。


>2.集合の被覆(>>210ご参照)だから、被覆される集合と被覆する集合の性質とは、基本的には無関係。単に集合の大小関係にすぎない
>  つまり、「Bf ⊆ ∪B_N,M」以上のことはなにも言えないから、「∪B_N,M」側について何か証明しても、”Bf”には無関係だということに気付いていない

息をするように間違えるゴミクズ。キチガイ。
証明の中では、ベールのカテゴリ定理を経由することで、ある B_{N,M} が内点を持つことが示される。
すなわち、(a,b) ⊂ B_{N,M} を満たす開区間 (a,b) が取れることが示される。
このことから、f は (a,b) 上でリプシッツ連続になることが示される。
お前がいつまでも証明から逃げ回って理解しようとしないだけ。


>” ruler function ”を思い浮かべれば、気付くのは容易だったろう

息をするように間違えるゴミクズ。キチガイ。何度も同じことを言わせるな。
ruler function を f とするとき、R−B_f は第一類集合になってないので、
f は例の定理の「適用範囲外」ということになり、よって例の定理の反例になり得ない(>>45)。

0637132人目の素数さん2018/01/21(日) 01:09:14.34ID:hREHM7MH
>3.”稠密”についての意識が希薄。集合R−Bfは、R中の有理数Qを念頭に置いたものがだから、集合R−BfもR中に稠密分散している。
>  ならば、”Bf内”に、”リプシッツ連続である開区間”など取れるはずがない。

息をするように間違えるゴミクズ。キチガイ。
お前のこの発言のうち、最初の一行目は

「集合R−Bfは、R中の有理数Qを念頭に置いたものがだから、集合R−BfもR中に稠密分散している」

というものであるが、これを簡潔に言い直せば、

「 R−B_f は必ず R の中に稠密に分布する」

というものである。しかし、R−B_f についての仮定は、「 R−B_f は第一類集合とする」という条件だけであるから、
R−B_f は必ずしも R の中に稠密に分布しない。よって、この時点で、お前の言っていることは完全に間違っている。
言い換えれば、お前は例の定理の「仮定」の部分を正しく認識できていない。
というより、お前は「 P ならば Q 」の形をした命題全般について、正しく認識できていない。レベルが低すぎる。問題外。キチガイ。

ちなみに、それでもなお稠密に分布する場合を考えたいなら、それはつまり

「 R−B_f が第一類集合であり、なおかつ、R−B_f が R の中に稠密に分布する」… (*)

というケースを考えることになる。しかし、例の定理により、このようなケースは存在しないことが示される。
すなわち、お前は「存在しないケースを持ち出して反論した気になっている」のである。キチガイ。
なお、(*)が成り立つような具体例として、お前は再び ruler function を持ち出そうとするだろうが、
ruler function に対しては R−B_f が第一類集合にならないので、(*)の具体例になり得ない。
お前はここから全く進歩していない。キチガイ。

0638132人目の素数さん2018/01/21(日) 01:15:45.48ID:hREHM7MH
>><数学では>
>>文学のような矛盾は許されない。R中のQは稠密。
>>にも関わらず、「f はある開区間の上でリプシッツ連続である」(>>560)とする。
>>そういう命題の立て方は、許されない

>普通の教科書を勉強している限り
>定理の命題の立て方に矛盾を含んでいることはありえない・・(^^

息をするように間違えるゴミクズ。キチガイ。
「 R−B_f が第一類集合であり、なおかつ、R−B_f が R の中に稠密に分布する」というケースは存在しない。
そして、そのような存在しないケースを持ち出しているのがお前である。
となれば、矛盾しているのはお前の「頭」の方である。

あるいは、次のような言い方をしてもよい。
まず、例の定理は、「 P ならば Q 」という形の命題になっている。ただし、

P: R−B_f は第一類集合
Q: f はある開区間の上でリプシッツ連続

である。もうこの時点で、「そういう命題の立て方は許されない」などということはあり得ない。
なぜなら、もしそれが許されないなら、「 P ならば Q 」の形をした如何なる命題も許されないことになるからだ。
つまり、繰り返しになるが、お前は「 P ならば Q 」の形をした命題全般について、正しく認識できていない。
レベルが低すぎる。問題外。キチガイ。

0639132人目の素数さん2018/01/21(日) 01:21:16.80ID:hREHM7MH
以下、「 P ならば Q 」という形の命題の真偽について。

・ P が偽がならば、「 P ならば Q 」は真であるから、この命題は正しい。
・ P が真かつ Q が真ならば、「 P ならば Q 」は真であるから、この命題は正しい。
・ P が真かつ Q が偽ならば、「 P ならば Q 」は偽であるから、この命題は間違いとなる。

従って、もしこの方針で例の定理にイチャモンをつけたいのなら、
P が真なのに Q が偽になるような具体例を持ち出すしかない。

「 R−B_f が第一類集合であり、なおかつ、R−B_f が R の中に稠密に分布する」… (*)

というケースは、P が真なのに Q が偽になるようなケースの一例であるから、そのようなケースが
もし実在するなら、それを持ち出してもよい。しかし、少なくとも ruler function は(*)に該当しない。
なぜなら、ruler function に対しては R−B_f が第一類集合にならないからだ(>>45)。
お前はここから全く進歩していない。キチガイ。

そして、例の定理により、(*)は起こらないことが示される。
よって、(*)が成り立つような具体例を考えることそのものが無駄である。
素直に証明を読めばいいのに、お前は逆張りをして(*)から攻めようとするから、
論理的に こんがらがって トンチンカンな間違いに陥るのである。キチガイ。

0640132人目の素数さん2018/01/21(日) 01:25:39.37ID:hREHM7MH
あるいは、お前が持ち出している論法を別の言い方で表現すると、次のようになる。

・ "P ならば Q" という形の命題について考える。
・ ここで、P が真なのに Q が偽になるようなケースを考えてみよう。
・ このとき、"P ならば Q" は偽となる。
・ よって、"P ならば Q" は命題の立て方に矛盾を含んでいる。

これが、お前の持ち出している論法である。
しかし、この論法は、「 P が真なのに Q が偽になる」ようなケースを
実際に持ってこなければ成立しない。

しかし、お前はそのようなケースの実例を提示することなく、「命題の立て方に矛盾を含んでいる」と主張している。
となれば、お前の論法は「 P ならば Q 」の形をした全ての命題に適用できてしまう。
すなわち、お前は「 P ならば Q 」の形の命題を悉く全て否定していることになる。キチガイ。

繰り返しになるが、お前は「 P ならば Q 」の形をした命題全般について、正しく認識できていない。
レベルが低すぎる。問題外。キチガイ。

0641132人目の素数さん2018/01/21(日) 01:46:18.18ID:hREHM7MH
くどいようだが、以下では2つの例によって、
スレ主とかいうゴミクズの論法のおかしさを改めて指摘しておく。

―――――――――――――――――――――――――――――――――――――
定理A:
f:R→R が各点で微分可能ならば、f は各点で連続である。

スレ主:
「 f:R→R は各点で微分可能だが、f は各点で不連続である 」… (*)
という条件を満たす f を何でもいいから持ってくれば、上記の定理に矛盾する。
よって、上記の定理は、命題の立て方に矛盾を含んでいる。
―――――――――――――――――――――――――――――――――――――

―――――――――――――――――――――――――――――――――――――
定理B:
R−B_f が第一類集合ならば、f はある開区間の上でリプシッツ連続である。

スレ主:
「 R−B_f は第一類集合であり、なおかつ、R−B_f は R の中に稠密に分布する」…(**)
という条件を満たす f を何でもいいから持ってくれば、上記の定理に矛盾する。
よって、上記の定理は、命題の立て方に矛盾を含んでいる。
―――――――――――――――――――――――――――――――――――――

この2つの例のうち、定理Aの方は、明らかにスレ主の主張が間違っていると分かる。
なぜなら、(*)が成り立つような f は存在しないからだ。
そして、存在しないことはどうやって分かるかというと、
定理Aの証明をきちんと読むことで分かるのである。
証明を読まず、逆張りをして(*)の方から攻めても無駄である。
しかし、そのような愚行に及んでいるのがスレ主である。キチガイ。

同じように、定理Bの方も、スレ主の主張は間違っている。
なぜなら、(**)が成り立つような f は存在しないからだ。
そして、存在しないことはどうやって分かるかというと、
定理Bの証明をきちんと読むことで分かるのである。
証明を読まず、逆張りをして(**)の方から攻めても無駄である。
しかし、そのような愚行に及んでいるのがスレ主である。キチガイ。

0642132人目の素数さん2018/01/21(日) 04:20:28.29ID:9gmnH5gE
スレ主は数学以前

>>635-641
寒中お見舞い申し上げます!(^^
ご苦労さんです(^^

年末年始に自得したのかと思ったが
そうでは無かったのかい?(^^

”「f はある開区間の上でリプシッツ連続である.」という表現のままで完全に正しい。
「Bf内」という余計な条件は全く必要ない。”(>>636より)

だから、「Bf内」という解釈でいいだろ? 別に表現する必要もなく

で、(>>184
”系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.
証明
存在すると仮定する. 定理1.7 のBf について,
R − Q = (無理数全体) = (f の微分可能点全体) ⊆ Bf
が成り立つので,
R − Bf ⊆ Q = ∪p ∈Q {p} ・・・(1)
である. ここで, 1 点集合{p} (p ∈ Q) は全部で可算無限個あり, 各{p} は内点を持たない閉集合であ
るから, (1) の右辺は内点を持たない閉集合の可算和である. よって, 定理1.7 が使えて, f はある開
区間(a, b) の上でリプシッツ連続である. 特に, f は(a, b) の上で連続である (2) さて, Q はR 上
で稠密だから, (a, b) ∩ Q ≠ Φ である. そこで, x ∈ (a, b) ∩ Q を何でもいいから1 つ取る. (2) より,
f は点x で連続であるが, 一方で, x ∈ Q とf の仮定により, f は点x で不連続である. これは矛
盾. よって, 題意が成り立つ.”

だったろ? 「有理数の点で不連続」だから、この集合(「有理数の点」)だけを見れば、R内で”内点を持たない閉集合の高々可算和で被覆できる”でしょ?
だが、明らかに、有理数の点はR内で稠密だから、定理1.7の適用外

反例にならないというが、それをいうためには、”R−Bf が内点を持たない閉集合の高々可算和で被覆できる”を否定する証明を別にしなければならない
それは、”R−Bf が内点を持たない閉集合の非可算和でしか被覆できない”という方向でしか、証明できない。(「ある開区間の上でリプシッツ連続である」とは証明できない)

”R−Bf が内点を持たない閉集合の非可算和でしか被覆できない”をいう証明は、系1.8の証明そのものでしかない!

以上

0644132人目の素数さん2018/01/21(日) 08:41:49.90ID:wjJV20b1
>>632
見つけられなかった事実に対する
スレ主の言い訳がくどい。
カッコ悪杉

0645132人目の素数さん2018/01/21(日) 10:20:58.64ID:hREHM7MH
>>643
>だから、「Bf内」という解釈でいいだろ? 別に表現する必要もなく

お前が言っている「Bf内」が

「 (a,b) ⊂ B_f となる(a,b)が取れて、f は (a,b) の上でリプシッツ連続である」

という意味ならば、特に問題は起きないと思われる。

「 (a,b)∩B_f ⊂ B_f となる (a,b) が取れて、f は (a,b)∩B_f の上でリプシッツ連続である」

という意味のつもりならダメ。

0646132人目の素数さん2018/01/21(日) 10:22:21.09ID:hREHM7MH
>>643
>「有理数の点で不連続」だから、この集合(「有理数の点」)だけを見れば、
>R内で”内点を持たない閉集合の高々可算和で被覆できる”でしょ?
>だが、明らかに、有理数の点はR内で稠密だから、定理1.7の適用

息をするように間違えるゴミクズ。キチガイ。レベルが低すぎる。問題外。
定理1.7は「 P ならば Q 」という形の命題になっており、具体的には

P: R−B_f は第一類集合
Q: f はある開区間の上でリプシッツ連続

である。従って、定理1.7 が適用できるか否かは、考えている関数 f が条件 P を満たすか否かのみで決まる。
すなわち、f が P を満たすなら定理1.7が適用できるし、P を満たさないなら適用範囲外である。
件の関数 f がもし存在するなら、R−B_f ⊆ Q となるので、R−B_f は第一類集合となり、
P が成り立つことになるので、定理1.7 が適用「できる」のである。
そして、そこで矛盾するので、そのような f は存在しないことになる。
この理屈が分からないのは本当に問題外である。キチガイ。レベルが低すぎる。

あるいは、次のように言ってもよい。件の関数 f がもし存在するなら、
「 R−B_f は第一類集合であり、なおかつ、R−B_f は R の中に稠密に分布する 」…(*)
ので、特に、この f に対して

「 P は真だが Q は偽である 」…(1)

という性質が成り立つことになる。しかし、定理1.7により、「 P ならば Q 」が
成り立つことが示されているのだから、(1)は起こり得ないはずであり、矛盾する。
よって、件の関数は存在しない。

結局、お前のイチャモンのつけ方は、俺が>>640で書いた論理そのものである。
繰り返しになるが、お前は「 P ならば Q 」の形をした命題全般について、正しく認識できていない。
レベルが低すぎる。問題外。キチガイ。

0647132人目の素数さん2018/01/21(日) 10:30:02.61ID:hREHM7MH
>>643
くどいようだが、以下では2つの例によって、
スレ主とかいうゴミクズの論法のおかしさを改めて指摘しておく。

―――――――――――――――――――――――――――――――――――――
定理A:
f:R→R が各点で微分可能ならば、f は各点で連続である。

スレ主:
「 f:R→R は各点で微分可能だが、f は各点で不連続である 」… (*)
という条件を満たす f を何でもいいから持ってくれば、
この f は上記の定理Aの適用範囲外である。
―――――――――――――――――――――――――――――――――――――

―――――――――――――――――――――――――――――――――――――
定理B:
R−B_f が第一類集合ならば、f はある開区間の上でリプシッツ連続である。

スレ主:
系1.8で考察されている関数 f を考えれば、
「 R−B_f は第一類集合であり、なおかつ、R−B_f は R の中に稠密に分布する」…(**)
が成り立つのだから、この f は上記の定理Bの適用範囲外である。
―――――――――――――――――――――――――――――――――――――

[続く]

>>645

「 (a,b) ⊂ B_f となる(a,b)が取れて、f は (a,b) の上でリプシッツ連続である」で良いよ
それで、くどいが、いま問題にしている関数f : R → R が、”f は、ある (a,b) の上でリプシッツ連続である”という定理の主張だと(>>180より)

”f は、ある (a,b) の上でリプシッツ連続である”
 ↓
”R−Bf は、R中で稠密ではない”
が、自明に言える。これは良いよね

だから、定理1.7は、”R−Bf は、R中で稠密ではない”場合のみしか適用できない
これは良いよね

だから、”系1.8 有理数の点で不連続”(>>643)の場合は、適用外

0649132人目の素数さん2018/01/21(日) 10:32:33.20ID:hREHM7MH
[続き]

上記の2つの例のうち、定理Aの方は、明らかにスレ主は何かを盛大に勘違いしている。
なぜなら、定理Aが適用できるか否かは、「 f:R→R は各点で微分可能」が成り立つか否かだけで決まるからだ。
(*)を満たすような f はこの条件を満たすのだから、定理Aが適用できて矛盾するので、
「(*)を満たす関数 f は存在しない」ということになる。
あるいは、適用可能か否かという観点からではなく、よりシンプルに

「(*)を満たす関数は定理Aに矛盾するので、(*)を満たす関数は存在しない」

とだけ考えてもよい。いずれにせよ、上記の定理Aにおいてスレ主が言っていることは、
明らかに何かを盛大に勘違いしている。


全く同じ理屈により、定理Bの方も、スレ主は何かを盛大に勘違いしている。
なぜなら、定理Bが適用できるか否かは、「 R−B_f は第一類集合」が成り立つか否かだけで決まるからだ。
(**)を満たすような f はこの条件を満たすのだから、定理Bが適用できて矛盾するので、
「(**)を満たす関数 f は存在しない」ということになる。
あるいは、適用可能か否かという観点からではなく、よりシンプルに

「(**)を満たす関数は定理Bに矛盾するので、(**)を満たす関数は存在しない」

とだけ考えてもよい。いずれにせよ、上記の定理Bにおいてスレ主が言っていることは
明らかに何かを盛大に勘違いしている。

0650132人目の素数さん2018/01/21(日) 10:35:49.99ID:hREHM7MH
>>643
>反例にならないというが、それをいうためには、”R−Bf が内点を持たない閉集合の高々可算和で被覆できる”
>を否定する証明を別にしなければならない
>それは、”R−Bf が内点を持たない閉集合の非可算和でしか被覆できない”という方向でしか、証明できない。
>(「ある開区間の上でリプシッツ連続である」とは証明できない)

息をするように間違えるゴミクズ。キチガイ。レベルが低すぎる。問題外。
ruler function が例の定理の反例にならないことは既に示してある(>>45)。
実際には、>>45 から引用されている

https://rio2016.5ch.net/test/read.cgi/math/1513201859/540

において、ruler function が反例にならないことの根拠が書いてある。
大きなポイントは、スレ主がたびたび引用している

>THEOREM: Let g be continuous and discontinuous on sets
>of points that are each dense in the reals.
>Then g fails to have a derivative on a
>co-meager (residual) set of points. In fact,
>g fails to satisfy a pointwise Lipschitz
>condition, a pointwise Holder condition,
>or even any specified pointwise modulus of
>continuity condition on a co-meager set.

という定理である( co-meager という性質をよく見たまえ)。
この定理により、ruler function に対しては
「 R−Bf は第一類集合にならない 」ことが示されるのである。

既に論破済みの ruler function とかいう関数をいつまでも持ち出すなよゴミクズ。

0651132人目の素数さん2018/01/21(日) 10:39:00.83ID:hREHM7MH
>>648
>だから、定理1.7は、”R−Bf は、R中で稠密ではない”場合のみしか適用できない
>これは良いよね

ぜんぜん良くない。息をするように間違えるゴミクズ。キチガイ。
お前のその理屈は、俺が >>647, >>649 で書いたことそのものである。
お前は何かを盛大に勘違いしている。>647, >649 をよく読め。


>だから、”系1.8 有理数の点で不連続”(>>643)の場合は、適用外

息をするように間違えるゴミクズ。キチガイ。
お前のその理屈は、俺が >647, >649 で書いたことそのものである。
お前は何かを盛大に勘違いしている。>647, >649 をよく読め。


繰り返しになるが、お前は「 P ならば Q 」の形をした命題全般について、正しく認識できていない。
レベルが低すぎる。問題外。キチガイ。

>>644
>見つけられなかった事実に対する
>スレ主の言い訳がくどい。
>カッコ悪杉

1)自分に対する他人の発言を、逐一見つけなければならない義務も必然性もない
2)自分が必要と感じる最小限の労力を投下して、検索ヒットしなかったという単純なる事実を述べた。勿論、「見つけられなかった事実」を否定するつもりはない
3)で、「数学板の各スレッドにて適当なキーワードでページ内検索を地道にすれば」(>>627)が、「ITリテラシー」(>>629)だと?
4)それは違うだろうと言ったまで(>>630

以上

新スレ立てた
ここは、いま507KBで、あと5KBで容量オーバーで書けなくなる
ここを使い切ったら、新スレで

現代数学の系譜 工学物理雑談 古典ガロア理論も読む50
https://rio2016.5ch.net/test/read.cgi/math/1516499937/

>>649

おれは、>>649で、
難しいことは言っていない。単純な話だよ


”f は、ある (a,b) の上でリプシッツ連続である”
 ↓
”R−Bf は、R中で稠密ではない”
が、自明に言える。これは良いよね」

ってこと

>なぜなら、定理Aが適用できるか否かは、「 f:R→R は各点で微分可能」が成り立つか否かだけで決まるからだ。

で、”f は、ある (a,b) の上でリプシッツ連続である”が言える→”R−Bf は、R中で稠密ではない”が言える→”R−Bf は、R中で稠密”な場合は適用外

0655132人目の素数さん2018/01/21(日) 11:31:22.07ID:hREHM7MH
>>654
>で、”f は、ある (a,b) の上でリプシッツ連続である”が言える→
>”R−Bf は、R中で稠密ではない”が言える→”R−Bf は、R中で稠密”な場合は適用外

息をするように間違えるゴミクズ。キチガイ。問題外。レベルが低すぎる。
お前がそこで言っていることを丁寧に書き直すと、次のようになる。

――――――――――――――――――――――――――――――――
・ R−B_f は第一類集合であるとする(定理Bの仮定)
・ ”f は、ある (a,b) の上でリプシッツ連続である”が言える(定理Bの結論)
・ 特に、”R−Bf は、R中で稠密である”は成り立たない。
・ 従って、定理Bは、”R−Bf は、R中で稠密”な場合は適用外である。
――――――――――――――――――――――――――――――――


同じ理屈を>>647の定理Aに使えば、次のようになる。

――――――――――――――――――――――――――――――――
・ f:R→R が各点で微分可能とする(定理Aの仮定)
・ ”f は各点で連続である”が言える(定理Aの結論)
・ 特に、”f は各点で不連続である”は成り立たない。
・ 従って、定理Aは、”f は各点で不連続である”場合は適用外である。
――――――――――――――――――――――――――――――――

↑もうこの時点で、スレ主が言っていることは おかしいと分かるが、
実際には、さらにおかしなことが導ける。

[続く]

0656132人目の素数さん2018/01/21(日) 11:33:53.33ID:wjJV20b1
>>652
義務も必要も無いなら、何故探した?

最小の労力で確実に成果を出す手段が選べていない時点で甘い。無駄。


「数学板の各スレッドにて適当なキーワードでページ内検索を地道にすれば」
スクリプトにやらせば簡単だろ?
さすがに手動は無いだろ?

0657132人目の素数さん2018/01/21(日) 11:35:50.38ID:hREHM7MH
[続き]

上記のスレ主の滅茶苦茶な理屈は、「 P ならば Q 」の形をした任意の命題に対しても通用する。
――――――――――――――――――――――――――――――――
・ P が成り立つとする(命題の仮定)
・ Q が成り立つことが言える(命題の結論)
・ 特に、¬Q は成り立たない。
・ 従って、この命題は、¬Q の場合は適用外である。
・ すなわち、Q が成り立つことを予め別経路で確認しておかなければ、
 「 P ならば Q 」は適用できない。
――――――――――――――――――――――――――――――――

これが、お前が言っていることである。

「 P ならば Q 」を適用したい場面において、仮定 P の成立だけでは
適用範囲内であるとは言えず、Q の成立を別経路で確認しなければ、
「 P ならば Q 」は適用できないと言っているのがお前である。

しかし、別経路でQの成立が確認できるなら、「 P ならば Q 」の出番は無くなる。
すなわち、お前は「 P ならば Q 」という命題の適用を如何なる場合に対しても
完全否定していることになるのである。

明らかに、お前は「 P ならば Q 」の形をした命題全般について、正しく認識できていない。
レベルが低すぎる。問題外。キチガイ。

0658132人目の素数さん2018/01/21(日) 11:43:33.31ID:DWkPYc3I
1ヶ月前にも同じことを指摘されてるよね
P⇒Qが分からないなら正真正銘の中学レベルだよ


258 132人目の素数さん sage 2017/12/19(火) 07:54:14.39 ID:F1UbN7QE
>>255
> おれは、「”R−Bf は内点を持たない閉集合で被覆できる”の証明は、どこかの標準テキストにあるのか?」と聞いたんだけど?

(もうひとつ横レスだが言わせてくれ)

オマエは

1)定理1.7『A⇒B』が成立するためには『Aが真でなければならない』と思っているのか?(呆)

それとも

2)Rの一点部分集合{0}やQが『内点を持たない閉集合で被覆できる』ことが分からないのか?(呆)


率直に言って、君は数学に向いてないぞ

■ このスレッドは過去ログ倉庫に格納されています