現代数学の系譜 工学物理雑談 古典ガロア理論も読む83at MATH
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 - 暇つぶし2ch700:132人目の素数さん
20/02/16 17:32:38.26 EDHhRkvl.net
理系の人口を増やしたいんだよおぉォッ!
   
 このままじゃ減っちゃうよー!
       ゜。゜(つд<。)゜。

701:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 17:33:26.55 3HCL8TTE.net
>>667
>日本中の大学レベルの教員に尋ねるのが怖いSet A
それはお前
おれが、大学教員に聞いたことを過去スレでアップしたが
おサルは、フェイクだと言ったw(^^;
やっぱ、不都合な真実なんだな、時枝不成立についてはw(^^
自分で、真実に触れろ、あほサルさん
URLリンク(ja.wikipedia.org)
不都合な真実

702:132人目の素数さん
20/02/16 17:33:46.59 e/25rw+d.net
絵文字がどんな仕事してるのかは興味ある

703:132人目の素数さん
20/02/16 17:35:49.77 EDHhRkvl.net
>>670
「したいっ!」って言ってんの❗
願望ですよ、願望!
め~様の
「アイドルガーッ!」
「ジョシアナガーッ!」
とおなじですね・・・
( ´_ゝ`)フッ...(←暗い笑い)

704:132人目の素数さん
20/02/16 17:36:04.47 e/25rw+d.net
>>673
>おれが、大学教員に聞いたことを過去スレでアップしたが
妄想を語られてもなw
どこの大学の誰だと聞いても答えなかったよな?
そりゃ答えられるわけない 妄想だからなw
こんな俺様男と結婚した女の面が見たいもんだ(マジ)
息子は被害者といっていい

705:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 17:36:27.29 3HCL8TTE.net
>>672
まあ、落ち着いて
そう、焦ってもしかたないよ(^^;

706:132人目の素数さん
20/02/16 17:37:23.26 zpQOGETI.net
それじゃ、おっちゃんもう寝る。

707:132人目の素数さん
20/02/16 17:38:33.83 e/25rw+d.net
>>675
>「アイドルガーッ!」
>「ジョシアナガーッ!」
見る分にはタダだからなw
まあ、私も無駄に齢とってないので、
同世代の女子アナがどういういう風になったか
ちゃんと観察してますけどね
ま、でも・・・見る分にはタダだからな(しつこい)

708:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 17:38:42.77 3HCL8TTE.net
>>676
数学科修士とか、妄想を語っていたけど、ガセか?(>>2
てめえの 指導教官のつてで、確率論に詳しい教員にコンタクトすれば、即日解決する話じゃんかよ ww(^^
それが出来ない理由がないだろう?
なに、逃げているんだよ、おいww

709:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 17:39:44.32 3HCL8TTE.net
>>678
おっちゃん、どうも、スレ主です。
レスありがとう
お休みなさい(^^

710:132人目の素数さん
20/02/16 17:40:07.23 s3CpYSMp.net
なんで数学科出た学生と教員との間に絶壁と言える意見の違いがあると思うわけ?
このスレに来た数学科出身者はほぼ全員時枝成立と言っていた。
箱の中を確率変数としなければね。

711:132人目の素数さん
20/02/16 17:40:59.52 e/25rw+d.net
>>672
>理系の人口を増やしたいんだよおぉォッ!
やめといたほうがいいよ
理系君は***下手だよ
ちっちゃいよ(何が!)
早いよ(だから何が!!)
きっとガテン系のダンナのほうが全然マシだよ(何がぁぁぁぁぁ!!!)

712:132人目の素数さん
20/02/16 17:43:30.14 EDHhRkvl.net
>>674
生保レディ首になった。
クソぽんこつ営業で。。。
パワハラすっとぼけて粘ってたんだけど
最後はハゲタカのよーに
契約までマネージャーに盗られて
自主退職でーす。
そのタイミングでままちんガン発覚しちゃって病院付き添いがハードスケジュールになっちゃったから、しばらくはバイトぐらいしかムリ。
専業主婦ぶりてえなぁ、っと。

713:132人目の素数さん
20/02/16 17:44:08.48 EDHhRkvl.net
>>678
お休みなさい。。。

714:132人目の素数さん
20/02/16 17:46:24.17 +0BaO7jP.net
>>673
時枝成立を明


715:言した大学教員  スタンフォード大学教授 時枝正  Kusiel-Vorreuter大学教授 Sergiu Hart 時枝不成立を明言した大学教員  該当者無し



716:132人目の素数さん
20/02/16 17:46:45.90 e/25rw+d.net
>>680
>てめえの 指導教官のつてで、
>確率論に詳しい教員にコンタクトすれば、
>即日解決する話
解決ならSet Aの書き込みを見た瞬間解決してるw
君が悶々としてるんだろ?
だったら君が自分の出身大学の数学科の確率論専攻の教授に聞けばいい
大阪大学卒とかいうのはありゃ嘘か? 嘘だろうな
いくら工学部でも大阪大学卒なら君みたいな馬鹿なことはいわない
私の知り合いの大阪大学工学部卒の人も云ってた
「うちの大学の卒業者?嘘でしょう?
 いくらなんでもここまで馬鹿じゃないですよ」

717:132人目の素数さん
20/02/16 17:48:20.41 EDHhRkvl.net
>>683
捨て身の告白、おありがとうございます。
やはり、キッツイ女子が犠牲になるしかないんでしょうね。。。
(「キッツイ」←なにが???)
世の中にはぴったりの方もいらっしゃいますから、諦めずに🤵婚カツ👰
頑張ってくださいませ。

718:132人目の素数さん
20/02/16 17:51:18 e/25rw+d.net
>>684
ああ、生保か・・・人から金毟り取るブラック稼業だなw

同期で銀行とか生命保険とかに就職した奴がいるが
ロクなことになってない 
数学科卒にはあんなダークな仕事は無理

>ままちんガン発覚しちゃって病院付き添いがハードスケジュール

そうか、あるあるだな

ああ、でも抗不安剤(ベンゾジアゼピン系)は飲むなよ
あれ心身ボロボロになるから

719:132人目の素数さん
20/02/16 17:54:51 e/25rw+d.net
>>688
>婚カツ
そもそもその気がない

既に小学生の時点で「ボクは結婚したくない」といってました
別に両親の仲が悪いとかいうことはなかったんですけどね
なんか結婚というものにロマンを感じなかったんでしょう

隠居生活は私の子供時代からの夢ですねw
多分仕事にもロマンを感じなかったんでしょう

720:132人目の素数さん
20/02/16 17:55:22 +0BaO7jP.net
>>680
>てめえの 指導教官のつてで、確率論に詳しい教員にコンタクトすれば、即日解決する話じゃんかよ ww(^^
妄想ですね。The Riddle は確率を一切使ってませんので。

>それが出来ない理由がないだろう?
>なに、逃げているんだよ、おいww
不要ですね。時枝問題は学部レベルの学力があれば理解可能ですから。

721:132人目の素数さん
20/02/16 17:56:54 s3CpYSMp.net
ID:e/25rw+dはDTじゃなかったっけ?

722:132人目の素数さん
20/02/16 17:56:56 EDHhRkvl.net
>>683
捨て身の告白にお応えして。。。

ちなみにえもも
「彼氏いない歴*年」が祟ったのか?
腹痛が心配になって婦人科受診したら
「狭いな...」って先生に呟かれました。。。

えも的には細**は全然OKになっちゃったみたいでーす♪
お気になさらないでくださ~い♪♪
♪ ♪(´∀`*)b ♪

723:132人目の素数さん
20/02/16 17:57:03 e/25rw+d.net
>>691
>時枝問題は学部レベルの学力があれば理解可能

高校生でも分かるだろ

724:132人目の素数さん
20/02/16 17:57:30 +0BaO7jP.net
>>680
ところであなたは The Riddle の成立は認めてるんですか?

725:132人目の素数さん
20/02/16 17:59:24 EDHhRkvl.net
>>689
国民皆保険制度の国で民間保険なんて
数学的にはギャンブルですよね♪
胴元と詐欺師しか儲からないっての♪

726:132人目の素数さん
20/02/16 18:06:26 EDHhRkvl.net
>>690
素敵です♪独身貴族派なんですね。

えもは両親の仲が冷えきる→離婚
のボッシーんちで、パピーが離婚後
7年そこそこでタヒんじゃったから、
結婚願望まったく無かったんですよ~。

ままちんがガンになってから、
えもを心配して
「誰か良い人が居てくれたら
安心なんだけど...」
って不憫がるから、心配かけるのが
親不孝で申し訳ナッス!で、
気まずくなっちゃって、なんとなく
焦っちゃたんだけど、よく考えてみたら、やっぱり結婚なんかしたくなーい!
でしたーw

727:132人目の素数さん
20/02/16 18:08:53 EDHhRkvl.net
>>692
DT、、、都市伝説ですか。。。?
夢があって可愛e。。。💗ですよね🐦

728:132人目の素数さん
20/02/16 18:12:01 EDHhRkvl.net
文字通り*pure*mathematian*

ピュアって*夢*があって良いですよね
じゃ、お騒がせいたしました。。。

729:132人目の素数さん
20/02/16 18:28:54 +0BaO7jP.net
>>680
The Riddle を認めない→a>b かつ a<b なる自然数 a,b の存在を主張するDQN
The Riddle を認める→小学校レベルの確率を否定するDQN

どちらでもお好きなDQNをお選びください

730:132人目の素数さん
20/02/16 18:34:12 s3CpYSMp.net
***下手 ていうより性格面で齟齬が生じやすいと思う。
結果として女は不幸になる。
グロタンとか彼女は何人もいたし子供までいたけど
晩年はピレネー山脈で一人で暮らしてましたね。
女はコミュニケーションを好む
数学者は沈思黙考を好む 。
理系好きなミーハー女子と暮らすとかは一つの解かも
ラグランジュとかそうでしょう。多分ラグランの方が不幸になったけどw

731:やった~!はじめて勝った~!? ◆jPpg5.obl6
20/02/16 18:41:02 dm8hnxLM.net
>>699
↑(やった!め~様に
ウエメセマウントかませるネタ発見♪?
( *´艸`)ゥフフ。。。♪)
(↑と歓ぶマグロであった。。。)

732:132人目の素数さん
20/02/16 20:25:33.48 e/25rw+d.net
>>692
フッ・・・魔法が使えるんだゼ(嘘)

733:132人目の素数さん
20/02/16 20:31:39.01 e/25rw+d.net
>>701
自分の場合、別にコミュニケーションは求めてないな
あ、でも「やまとなでしこ」は見てました(なんのこっちゃ)
URLリンク(www.youtube.com)

734:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 20:48:49.45 3HCL8TTE.net
>>682
>なんで数学科出た学生と教員との間に絶壁と言える意見の違いがあると思うわけ?
数学科で、確率論の単位を優等で取得したものと
大学教程の確率論を取らなかったり、落としたり、あるいはお情けで形式的な単位取得者たちとの差でしょ
(時枝も後者だが)
>このスレに来た数学科出身者はほぼ全員時枝成立と言っていた。
>箱の中を確率変数としなければね。
確率論の単位を取った人達は、
全員が、箱の中を確率変数としている
時枝記事の後半、Hart氏のPDFのRemark、mathoverflowの回答者達、全ての人達が
それで、人数は十分でしょ(確率論を学んでいない人には、それが出来なくても、無理もないことだが)
(参考)
URLリンク(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13

735:132人目の素数さん
20/02/16 20:52:34.98 e/25rw+d.net
>>705
>確率論の単位を取った人達は、
>全員が、箱の中を確率変数としている
誰にも確認せずに「全員がそうだ」といいきるあたり
完全に精神を患っちゃったね Set A君
いつまで、無能な自分から目を背けて
天才という嘘をつきつづけるつもりだい?

736:132人目の素数さん
20/02/16 20:53:54.16 JZ/SimBp.net
>>704Σ(・ω・;ノ)ノ
め~ちゃまは女の子だった。。。❗❓
ご、ごご、ごめんなさい。。。
🌼レデぃ🌺に。。。セクハラトークを。。。
ゆるしてください。。。
なんにもしませんから!
 

737:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/16 20:54:46.16 3HCL8TTE.net
>>692
おつです
DT? 下記?
ちなみに
ET(^^
URLリンク(d.hatena.ne.jp)
はてな Blog Tags
D.T.
(一般)
【でぃーてぃ】
みうらじゅんと伊集院�


738:ェ提唱する童貞の新しい呼称のこと 『これまでマイナスのイメージで語られがちなD.T.だったが、それこそが想像力を培い、創造力を育む「クリエイティビリティの源」なのだ。D.T.期間が短いヤツなんてつまらない、モノをつくってるやつはみんなD.T.だよ』と主張している. ありがとうM&I ! 「D.T.」(2002年8月)ISBN:4840106193 解説の続きを読む https://ja.wikipedia.org/wiki/DT DT(ディーティー) DT 記号 国鉄およびJRの動台車の形式に冠される記号。 童貞を意味する俗語。みうらじゅんが命名者[1]。 DTシリーズ(DTヴァンパイア、DTエイトロン等)。 https://ja.wikipedia.org/wiki/ET ET 地球外生命 (Extraterrestrial life) の略 スティーヴン・スピルバーグ監督の映画「E.T.」



739:132人目の素数さん
20/02/16 20:55:19.02 e/25rw+d.net
数学が分かってる人にとっては
1920年のSierpinskiの例から
累次積分が万能でないことを
承知している
工学馬鹿だけが
「累次積分は絶対正しい!!!」
と妄信狂信してる
数学者は数学の計算を信仰したりしない
順序を交換したら違う答えが出るのなら
その計算はおかしいってことなんだ

740:132人目の素数さん
20/02/16 20:57:15.58 JZ/SimBp.net
( ´∀`)σ>>708
ツンツン。。。
🌺め~ちゃま🌼女子説🌹
浮上中ですよ~?

741:第六天魔王 Mara Papiyas
20/02/16 20:59:37.04 e/25rw+d.net
URLリンク(matome.naver.jp)
だからいってるだろう
俺が第六天魔王 Mara Papiyasだと!!!wwwwwww

742:132人目の素数さん
20/02/16 21:00:17.62 JZ/SimBp.net
あ、さっきスマホっぺが気絶して
ID変わった絵文字で~す。。。

743:132人目の素数さん
20/02/16 21:02:45.35 e/25rw+d.net
使える魔法
「女性が着ている服を透視できる」
「それ、*Vの見過ぎじゃないですか」
「・・・なぜ、わかった」
人にはいうなよw

744:132人目の素数さん
20/02/16 21:03:18.68 JZ/SimBp.net
あ~、追い詰められちゃいましたね。。。これは。。。┐(´へ`;)┌
やけっぱち路線に。。。ゴメンネ...
...め~チャマ...

745:132人目の素数さん
20/02/16 21:05:10.48 e/25rw+d.net
>>714
ん?これってそういうプレイじゃないのか?(ド変態)

746:132人目の素数さん
20/02/16 21:07:04.76 +0BaO7jP.net
>>705
>数学科で、確率論の単位を優等で取得したものと
>大学教程の確率論を取らなかったり、落としたり、あるいはお情けで形式的な単位取得者たちとの差でしょ
>(時枝も後者だが)
確率論は無関係ですね。The Riddleは確率を使ってないので。
>確率論の単位を取った人達は、
>全員が、箱の中を確率変数としている
また妄想ですか。
>時枝記事の後半、Hart氏のPDFのRemark、mathoverflowの回答者達、全ての人達が
記事後半で何を言おうと無関係ですね。時枝定理の証明は記事前半であって、かつ後半を参照してませんから。
>それで、人数は十分でしょ(確率論を学んでいない人には、それが出来なくても、無理もないことだが)
>>686

747:132人目の素数さん
20/02/16 21:09:10.25 +0BaO7jP.net
そんなことより>>695に答えてもらえませんか?
答えられないなら数学は無理なのでスレ閉じましょう

748:132人目の素数さん
20/02/16 21:09:44.59 JZ/SimBp.net
>>713
Σ(´Д`;)ハッ!どど、どうしよぅ...
エモキも使えてる...
エモキは魔法使いだったの...?
ただの珍獣だと思ってた...
ヒモパンせくすぃセネガル人♂を
人差し指1本で、指一つ触れることなく
マッパ透視がデキル。。。
(珍獣だけの特殊能力だと思ってた。。。)
エモキ🍄は魔法使い一族だったのか。。。?

749:132人目の素数さん
20/02/16 21:10:42.42 2U0bQ8PM.net
>>612
> 時枝さんのトリックのタネですね
トリックでもなんでもなくてですね
有限と無限は異なるものだからその差(違い)は何か?
ということなんですよ
スレ主は実は有限しか考えていなくてそれを無限と思っているから間違える
> game3とか game2とかは、
> 本質の有限数列の外で
> 空(又は0)の部分を、当てる話になっている
game3の本質は箱が無限個あるところなんです
この場合有限数列にするには「これ以上箱に数字を入れない」という情報がないといけない
つまり最後の数字を入れた箱から先の無限個は全て空であると出題者が決めて箱を閉じた段階で
初めて出題が完了したといえる
極限をとって無限にするのならば数字の入った有限個の箱の後ろの有限個の空箱を無限個に増やすことになる

game3では対象が有限数列全体であったから無限数列を対象にした場合は
有限では扱えない無限個の空箱全てに(まとめて)数字を入れたという情報(循環節とか同値類(代表元))
が必要になるんです

750:132人目の素数さん
20/02/16 21:11:51.15 JZ/SimBp.net
    混乱してきましたよ~
 @@めがまわる~@@

751:132人目の素数さん
20/02/16 21:23:58.57 JZ/SimBp.net
せくすぃ限定透視能力者は。。。
女子でも元彼いてても
**女魔法使い**になれますか?

752:132人目の素数さん
20/02/16 21:29:28.28 q5wTwCqZ.net
おそらく、吸血コウモリの如く
赤外線を感知の第六感を有する
稀に見る生命体と同値類と思われる
赤外線センサで箱の中のを覗けば
如何なる数も∞回的中させられる

753:**Ambrose☆Merlin **
20/02/16 21:30:25.58 JZ/SimBp.net
>>711
教えてくださいっ!
お師匠様!

754:132人目の素数さん
20/02/16 21:33:46.25 s3CpYSMp.net
>>704
やまとなでしこいいよね。
中原欧助だっけ?
カメレオン(ロレックスの時計)と間違えて
カメレオンのおもちゃプレゼントするとか最高だねw

755:132人目の素数さん
20/02/16 21:36:03.32 s3CpYSMp.net
*中原欧介*

756:132人目の素数さん
20/02/16 21:37:18.94 JZ/SimBp.net
>>722    誰っ!?((*д*┃

757:132人目の素数さん
20/02/16 21:41:11 s3CpYSMp.net
ぶっちゃけDTは最初の彼女はSJがいいと思ってるw

758:132人目の素数さん
20/02/16 21:42:31 JZ/SimBp.net
未使用同士。。。
どーにもならんだろ。。。?

759:*ニニーヴ* ◆jPpg5.obl6
20/02/16 21:48:20 JZ/SimBp.net
♪(( ´∀`)σσ>>708
ね?そうですよね?大お師匠様?

760:132人目の素数さん
20/02/16 21:55:16.35 JZ/SimBp.net
大お師匠さまほどになると
お子様が大学生になるまで
奥様と共業してらっしゃるんだから。。。!
スレの住人さん1の
*♂の使い手なんですもんね*
(((゚∀゚*)(*゚∀゚)))ウワァ。。。
**ワクワク**主様は
♪♪並んででも乗りたい♪♪
☆期待の人気☆アトラクション*
だった。。。?

761:132人目の素数さん
20/02/16 21:56:38.65 e/25rw+d.net
>>724
いいね 矢田亜希子演じる若葉ちゃん(そこ?!)
僕が中原欧介なら若葉ちゃん一択です(ストーリーブチ壊しw)

762:ゆるしてください!なんにもしませんから!
20/02/16 21:58:17.46 JZ/SimBp.net
な~んてね♪
今日の♂下ネタ♂セクハラトーク
終わりっ!っと~

763:132人目の素数さん
20/02/16 21:59:28.75 e/25rw+d.net
>>730
やめとけ Set Aは家事も育児も全然手伝わない俺様夫だぞ きっと
ここでの発言でわかるだろ マメさゼロだからなw
みえみえなお世辞いうのは会社の上司とか取引相手だけw

764:**Ambrose*♀Furlin**
20/02/16 22:08:13.13 JZ/SimBp.net
>>733
☆スター☆アトラクション☆は
    ☆夢☆の
  ☆Dream☆land☆
    ☆遊園地☆
    だも~ん♪
育児とか家事とか関係ないもんね~♪
💗Loverず💞が2人っきりで
盛り上がっちゃえればeんです♪

765:132人目の素数さん
20/02/16 22:11:54.54 JZ/SimBp.net
いたちのエモは
隠れファザコンかも?だけど、
結婚&家庭生活は興味ないから、、、
実は主様は
**☆都合がeかも?☆**
でしたー。
な~んてね。。。

766:132人目の素数さん
20/02/16 22:22:34.32 s3CpYSMp.net
***はともかくハグくらいしてもらいなよ。
自分を好きな子はすごくキツくしてくる。
だいたい男は手加減して軽くするだろ?
***と同じで締め付けるのは女子の本能かな?
と思ってる・・・。

767:132人目の素数さん
20/02/16 22:23:35.31 s3CpYSMp.net
人生の真実もう一つ。
ショパンは恋人の髪の毛を日記に挟んで
別れてからも大切に持っていた。
この話を思い出すと「切ないな」
と思うのだが、女子にこの話をすると
「気持ち悪い」と言われるw

768:132人目の素数さん
20/02/16 22:27:19.93 JZ/SimBp.net
   絞め殺し無花果。。。
  ジャングルツリー。。。
な~んてね♪

769:132人目の素数さん
20/02/16 22:28:45.73 JZ/SimBp.net
今日のテキトーポジショントーク終わり♪
お休みなさ~い。。。

770:132人目の素数さん
20/02/16 22:43:52.66 s3CpYSMp.net
男は昔好きだった子のこともずっと好きだったりする(名前付き保存)
が、女子は昔のことはどうでもよくて今の彼が一番(上書き保存)なんだと。
「女の子は妊娠できる期間が限られてるからじゃない?」
と絶対音感のある女の子が言っていた・・・・。

771:132人目の素数さん
20/02/16 22:48:19.51 JL9/7puy.net
洗濯行李ぐらいまともに勉強しとけよきちげぇ共

772:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:13:55.20 tibq+GyR.net
>>741
どうも。スレ主です。
レスありがとう(^^

773:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:14:53.57 tibq+GyR.net
>>720-740
皆さま、どうも。スレ主です。
レスありがとう(^^

774:132人目の素数さん
20/02/17 07:22:44.09 mpmKBBUD.net
>>738
訂正です。。。
>ジャングルツリー
    ↓
ジャングルツリーに絡み着いて纏わり付き、絞め上げて立ち枯れさせ倒木させて行く匍匐性樹木・・・・・
でした。。。
いたちの下ネタチャット嵐みたいに大暴れしちゃってごめんなさいでした。。。
高IQスレのギフテッドにバレンタインに粘着発火したら、いつも通り逃げられて、スレがフリーズしちゃって、
ムシャクシャして誕生日の余った
シャンパンをやけ酒連続3日間で
四日酔いの勢いでやっちゃいました。。。ごめんなさいでした。。。
ギフちゃまが戻って来て、気まずいスレも直ったので、もうしません...
ごめんなさい。。。

775:132人目の素数さん
20/02/17 07:24:28.09 mpmKBBUD.net
主様お早うございます。
今日も1日🌈ご機嫌よう🍀でございます。。。

776:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:26:20.56 tibq+GyR.net
>>719
>有限と無限は異なるものだからその差(違い)は何か?
レーヴェンハイム?スコーレムの定理をご存知でしょうか?w(^^;
「定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す」ww
(参考)
URLリンク(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
(抜粋)
レーヴェンハイム?スコーレムの定理(英: Lowenheim?Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
例と帰結
レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
例えば、真の算術 (true arithmetic) には非可算なモデルがあり、それらは一階のペアノ算術を満足するが、同時に帰納的でない部分集合を持つ。
さらに悩ましかったのは、「集合論の可算なモデルの存在である。それにもかかわらず、集合論は実数が非可算である」という文を満たさなければならない。
この直観に反するような状況はスコーレムのパラドックスと呼ばれ

777:132人目の素数さん
20/02/17 07:27:19.87 mpmKBBUD.net
えもはモエ(ロゼ)で発狂酒乱で大暴れしちゃって。。。スレを壊しちゃってごめんなさい。。。
酒乱を治しにリハブに
滝に打たれにイッて参ります。。。

778:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:27:25.19 tibq+GyR.net
>>746 文字化け訂正
レーヴェンハイム?スコーレムの定理
 ↓
レーヴェンハイム-スコーレムの定理

779:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:43:25.38 tibq+GyR.net
>>746 補足
<ちょっと思いついたので書いておく>
さらに、時枝の可算無限数列のシッポの同値類は、それぞれ、共通のシッポを持つことが、コンパクト性定理から言える
証明の筋は、下記の”4色定理と無限地図”に同じ
つまり、同値類内の任意の有限部分を取ると、これらは共通のシッポを持つ(∵推移律)
よって、コンパクト性定理より、1つの同値類全体でも、共通のシッポを持つ
コンパクト性定理は、非可算集合に対しても成立する
QED
>>262より)
URLリンク(www.math.tsukuba.ac.jp)
ロジックの部屋
坪井明人 筑波大
URLリンク(www.math.tsukuba.ac.jp)
数理論理学II
(抜粋)
第 2 章 モデル理論の基礎 21
2.2 コンパクト性定理 . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 応用例 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.5.1 4色定理と無限地図 . . . . . . . . . . . . . . . . . . . 27
定理 53 (コンパクト性定理). T を閉論理式の集合とする.このとき次は同値
である:
1. T はモデルを持つ;
2. T の任意の有限部分集合 T0 はモデルを持つ.
証明. 1 ⇒ 2 は自明である.2 ⇒ 1 の対偶を示す.
2.5 応用例
2.5.1 4色定理と無限地図
平面内に書かれた有限個の国を持つ地図は,4色を用いて隣国が同じ色にな
らないように塗り分けられる( Kenneth Appel and Wolfgang Haken).実は
この4色定理は無限個の国を持つ地図でも成立する.このことはコンパクト性
定理を使うと簡単に分かる.
T がモデルを持つことを示せば十分である.コンパクト性定理により,T の
各有限部分がモデルを持つことを示せばよい.しかし,それは有限地図 (有限
グラフ) に対する4色定理から明らかである.
URLリンク(ja.wikipedia.org)
コンパクト性定理
(抜粋)
歴史
1930年にゲーデルが可算集合の場合について証明した。非可算の場合については、Anatoly Maltsevが1936年に証明を与えた[1][2]。

780:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:44:42.05 tibq+GyR.net
>>747
どうも。スレ主です。
レスありがとう
心配するな
スレは壊れていない
壊れているのは、5ch数学板の方だよw(^^;

781:132人目の素数さん
20/02/17 07:46:07.91 iBvH8kpv.net
>>670
>どうせ早死にするんだから
 。。。🤔(預言者メート?...)

782:132人目の素数さん
20/02/17 07:50:16 iBvH8kpv.net
>>750
主様、万が一奥様に逃げられたら、いつでも、えもにご相談くださいね♪
えもがロゼの🍾モエちゃん(ホモコロリ入リ)
持って🥂慰めに飛んでイキまーす♪

じゃ今日も良い1日をお過ごしください♪

783:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:53:46.86 tibq+GyR.net
>>749 補足
<これも思いついたので書いておく>
1.時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む
2.共通のシッポの決定番号は、無限大超自然数 ωになる
 ∵ 背理法による。もし、共通のシッポの決定番号が有限mとする
 しかし、必ずm+1となる可算無限数列Aが、どの同値類内に存在する
 Aは、同値類内の全ての元と同値(~)になるので、m+1になる部分を、共通のシッポに取り直せる
 これは、共通のシッポの決定番号が有限mであったことに矛盾する
 この矛盾は、決定番号が有限mとしたことに起因する
QED
>>321より)
URLリンク(www.kurims.kyoto-u.ac.jp)
平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所,平成29年7月31日~8月3日開催
超準解析入門
-超実数と無限大の数学-
磯野優介
数学入門公開講座
平成 29 年 7 月 31 日~8 月 3 日
(抜粋)
P15-16
4 超実数を用いた解析学の展開
4.1 数列の収束
定義 4.1. 超実数 α が超自然数であるとは,自然数からなる数列 (an)n を用いて α = (an)n
と書ける事である.この時もし α が無限大超実数ならば,無限大超自然数という.超自然数
の集合を *N で表す.以後は分かりやすさのため,超自然数は ω, λ 等の記号で表す事が多い.
次の定理は,数列の収束という ε-δ 論法における概念を,超実数のみを用いた条件に言い
換えるものです.
定理 4.7. 実数列 (an)n と実数 a ∈ R に対して,limn→∞ an = a である事の必要十分条件は
どんな無限大超自然数 ω に対しても aω =~ a となる事である.
注意 4.8. この定理が証明されれば,最初から limn→∞ an = a の定義を,aω =~ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる.これは「数列の ∞ 番目がい
つも同じ数」という意味であり,より直感的な収束の定義である.

784:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:54:57.87 tibq+GyR.net
>>752
>主様、万が一奥様に逃げられたら、いつでも、えもにご相談くださいね♪
ご心配、ありがとう
感謝、感謝!!(^^

785:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:56:24.12 tibq+GyR.net
>>753 タイポ訂正
 しかし、必ずm+1となる可算無限数列Aが、どの同値類内に存在する
 ↓
 しかし、必ずm+1となる可算無限数列Aが、この同値類内に存在する

786:132人目の素数さん
20/02/17 08:45:24.16 hxAfh7NH.net
>>753
>2.共通のシッポの決定番号は、無限大超自然数 ωになる
なりません。決定番号は自然数ですから。
時枝戦略を論ずるなら時枝戦略を正しく理解することから始めしましょう。

787:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 09:14:52.64 mxishM0n.net
>>756
>>>753
>>2.共通のシッポの決定番号は、無限大超自然数 ωになる
>なりません。決定番号は自然数ですから。
>>753より)
「1.時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む」
をどうぞ
>時枝戦略を論ずるなら時枝戦略を正しく理解することから始めしましょう。
時枝戦略を批判的によみましょう
所詮、『箱入り無数目』という
おちゃらけな題名の記事ですから(数学セミナー2015年11月号)

788:132人目の素数さん
20/02/17 14:37:24 qrK3/hex.net
数学掲示板群
URLリンク(x0000.net)

アルファ・ラボ|学術掲示板群
URLリンク(x0000.net)

789:132人目の素数さん
20/02/17 18:35:50.75 OIES02uk.net
>>746
> いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないこと
それでも有限と無限が同じではないでしょう

>>754
> 共通のシッポの決定番号が有限mであったことに矛盾する
> この矛盾は、決定番号が有限mとしたことに起因する
間違い
「共通のシッポの決定番号が有限にならない」ことは可算無限集合に起因する
スレ主は自然数


790:nと自然数全体の集合Nの違いが分からないみたいね 任意の自然数n(有限)は自然数全体の集合N(可算無限集合)でない >>757 数列の収束をωを使って書き換えても時枝記事の結論は変わらないよ 1, 2, 3, ... , n-1, n, ... が 1, 2, 3, ... , d-1, {d, d+1, d+2, ... }(d以降全ては可算無限集合) より 1, 2, 3, ... , d-1, ω 数列を1つ選んで出題するにはd-1を有限にしなければいけない



791:132人目の素数さん
20/02/17 18:48:25.81 n7wiPCWM.net
共通のシッポてなんやねん
日本語でおk

792:132人目の素数さん
20/02/17 19:00:32.21 n7wiPCWM.net
普通の人間なら意味不明な書き込みに5年もつきあえるかよ
全部>>1のジエンだろう

793:132人目の素数さん
20/02/17 19:08:09.14 OBMvdNjz.net
「共通のシッポ」意味よく分かりますよ。
時枝記事読んで同値類の定義知ってれば誰でも分かる。

794:132人目の素数さん
20/02/17 19:20:26.99 n7wiPCWM.net
>>762
同値類の定義をどうぞ
   ↓

795:Mara Papiyas
20/02/17 19:30:08.06 bZMpz2gg.net
>>746
>レーヴェンハイム・スコーレムの定理をご存知でしょうか?
無意味
自然数全体の集合Nは有限集合ではない
自然数論はそもそも有限モデルを持たない
これ豆なwww

796:Mara Papiyas
20/02/17 19:31:02.12 bZMpz2gg.net
>>749
>時枝の可算無限数列のシッポの同値類は、
>それぞれ、共通のシッポを持つことが、
>コンパクト性定理から言える
そもそも可算無限集合の尻尾の同値集合はコンパクトではない
したがって
>同値類内の任意の有限部分を取ると、これらは共通のシッポを持つ(∵推移律)
がいえても、そこから
>よって、コンパクト性定理より、1つの同値類全体でも、共通のシッポを持つ
は、いえない
残念だったな おバカのSet A wwwwwww

797:Mara Papiyas
20/02/17 19:32:09.08 bZMpz2gg.net
>>753
>時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む
>共通のシッポの決定番号は、無限大超自然数 ωになる
> ∵ 背理法による。もし、共通のシッポの決定番号が有限mとする
> しかし、必ずm+1となる可算無限数列Aが、どの同値類内に存在する
> Aは、同値類内の全ての元と同値(~)になるので、m+1になる部分を、共通のシッポに取り直せる
> これは、共通のシッポの決定番号が有限mであったことに矛盾する
> この矛盾は、決定番号が有限mとしたことに起因する
超自然数を考えても、同値類全体の共通の尻尾の存在は導けない
これが証明だ!!!
∵ 背理法による。もし、共通のシッポの決定番号をωとする
  しかし、必ずω+1となる無限数列Aが、どの同値類内にも存在する
  Aは、同値類内の全ての元と同値(~)になるので、ω+1になる部分を、共通のシッポに取り直せる
  これは、共通のシッポの決定番号がωであったことに矛盾する
  この矛盾は、そもそも共通の尻尾が存在するとしたことに起因する
相変わらず、頭悪いな Set A wwwwwww

798:132人目の素数さん
20/02/17 19:33:38.75 bZMpz2gg.net
>>757
>時枝戦略を批判的によみましょう
Set Aはまずに己の直感を批判的に検討しろ
所詮、工学部卒の筋肉馬鹿の素人の直感だろがwwwwwww

799:132人目の素数さん
20/02/17 19:41:38.99 bZMpz2gg.net
>>760
>共通のシッポてなんやねん
実数の無限列a,b∈R^Nが、共通の尻尾を持つとは
ある自然数nが存在して、n以上の任意の自然数mについて
列a,bのm番めの項、a_m、b_mが等しくなること
論理式で書くと以下の通り
∃n∈N∀m∈N.n<=m⇒a_m=b_m
逆に実数の無限列a,b∈R^Nが、共通の尻尾を持たない場合
任意の自然数nについて、n以上のある自然数mが存在して
列a,bのm番めの項、a_m、b_mが等しくないこと
論理式で書くとこうなる
∀n∈N∃m∈N.n<=m&not(a_m=b_m)

800:Mara Papiyas
20/02/17 19:46:30.08 bZMpz2gg.net
さて、可算無限個の無限列
1000000…
0100000…
0010000…
0001000…
0000100…
0000010…
0000001…

を考える
これらのうちどの有限個の列を選んでも共通の尻尾を持つ
しかし上記の無限個の列全体の共通の尻尾は存在しない
なぜならどんな自然数nを選んでも
そこから先で不一致な項をもつ
2列が存在するから
コンパクト性定理 破れたり
ギャハハハハハハ!!!

801:Mara Papiyas
20/02/17 19:50:18.56 bZMpz2gg.net
>>769は超準モデルの場合にも拡大できる
標準モデルだろうが超準モデルだろうが
そのモデルの自然数nについて
n番目の項だけ1となり他の項が0となる
無限列全体の集まりを考えればいい

802:132人目の素数さん
20/02/17 20:19:48.88 n7wiPCWM.net
>>768
それが時枝文と何の関係があるの

803:132人目の素数さん
20/02/17 21:03:59.65 hxAfh7NH.net
>>757
>(>>753より)
>「1.時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む」
>をどうぞ
意味不明。
埋め込んだところで無駄だと思うが、ともかく埋め込むというならまずは埋め込みを示せよw
で埋め込むとなぜ決定番号が自然数でなくなるのか示せよw
何も示してないのになに何か示した気になってんだ?バカなの?
>時枝戦略を批判的によみましょう
批判的に読むことと脊髄反射で拒絶することは違いますけど何か?

804:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 22:58:12.71 tibq+GyR.net
>>762
>「共通のシッポ」意味よく分かりますよ。
>時枝記事読んで同値類の定義知ってれば誰でも分かる。
ありがとう。ザッツ ライト!!
(>>347より)数学セミナー201511月号の記事
実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s ~ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す.
(引用終り)
上記は、数列がs,s',s'' の3つの場合で、s,s',s''の3つとも、2015番目から先一致するから、2015番目から先の数列が 3つの(シッポの)共通部分
r=s'とすれば、上記で決定番号はd1=1962とd2=2015だ
共通部分は、max(d1,d2) =2015から
これを、遅ればせながら(本当は>>753で定義しておくべきだったが)
これを共通部分の決定番号と定義する
即ち、
1)一つの同値類内の有限m個の元の族の場合で、1つ代表を決めて、d1,d2,・・・dm-1 の最大値 max(d1,d2,・・・dm-1) とする
2)同様に、決定番号は、一つの同値類全体の共通部分でも、同様に決定番号を考えることができる
3)超自然数の集合 *Nの中で考えて(∵ >>753より)
 一つの同値類全体では、これは当然∞に発散するから、超自然数の集合 *Nではωと考えて良い
4)つまり、一つの同値類全体で考えると、共通部分の決定番号は有限では収まらず∞に発散し、超自然数の集合 *Nの中ではωになる

805:132人目の素数さん
20/02/17 23:09:39.18 OIES02uk.net
>>773
> 一つの同値類全体で考えると、
そこから1つ選ばないと出題できないですよ
だからスレ主が挙げていることからは
時枝戦略が成立しない数列は出題出来ないという結論にしかならないです

806:132人目の素数さん
20/02/17 23:21:09.55 OBMvdNjz.net
一つの同値類に属するすべての元に共通のシッポがあるなんて
時枝先生は言ってないし、解法に必要でもありませんね。

807:132人目の素数さん
20/02/17 23:29:05.06 hxAfh7NH.net
>>773
>>「共通のシッポ」意味よく分かりますよ。
>>時枝記事読んで同値類の定義知ってれば誰でも分かる。
>ありがとう。ザッツ ライト!!
誰も存在するなんて言ってませんよ?意味が分かると言ってるだけで

808:132人目の素数さん
20/02/18 00:11:31 4LYhi4WJ.net
>>775
毎度の事だけどなにいってんのかわかんね
日本語でおk

809:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 00:14:54 twaSKzXK.net
>>773 補足

数学の歴史は、数学概念の拡張の歴史ともいえる
複素数まで拡張してガウス整数を考えるなどは、古典的な例だ
数概念に限らず、さまざまな概念の拡張がなされてきた
例えば、無限遠点を付け加えた射影幾何など
拡張された概念で考えることが良い結果を生む
必要なら、拡張から元に戻ると見通しが良いことが多い
時枝も同じ

(参考)
URLリンク(ja.wikipedia.org)

(抜粋)
数概念の拡張の歴史
数の概念は人類の歴史とともに、非常に長い年月をかけて、ゆっくりと、徐々に、拡張されてきた。
自然数に加えて、古代バビロニアや古代インドにおいて、現代で言う「ゼロ」に似たような概念を使おうとする人が現れた。
なお、「1, 2, 3, 4, 5...」という概念しか知らなかったところに加えて、「ゼロ」という概念を発明し 数を拡張したことは、数学の長い歴史の中でも特に大きな跳躍だった、とされることがある。「無い」ということを「ひとつの概念」を扱おうとしたこと
有理数から実数への拡張はこのような演算とは異なるギャップを埋めることで得られ、代数方程式の解法を通じて虚数を含む複素数へと拡張された。
・自然数 → 整数 → 有理数 → 実数 → 複素数
ものの個数の概念である自然数を拡張して基数が、ものの順番を表す意味での自然数の拡張として順序数が定義される。複素数を更に拡張したものとして、四元数、八元数・十六元数などの体系がある。あるいは、実数に加えて無限小や無限大を含む超実数などの体系もある。

・基数 - 有限基数(= 自然数)、無限基数
・順序数 - 有限順序数(= 自然数)、超限順序数
・実数 → 複素数 → 四元数 → 八元数 → 十六元数
・有理数 → p-進数 (+ 実数 → アデール)
・実数 → 超実数

URLリンク(ja.wikipedia.org)
射影幾何学
(抜粋)
透視図法に関する理論が、事実射影幾何学の源流の一つともなっている。初等的な幾何学とのもう一つの違いとして「平行線は無限遠点において交わる」と考えることが挙げられる。
これにより、初等幾何学の概念を射影幾何学へ持ち込むことができる。これもやはり、透視図において鉄道の線路が地平線において交わるといったような直観を基礎に持つ概念である。

810:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 00:18:06 twaSKzXK.net
>>776
存在は、コンパクト性定理から従う
同値類内の任意の有限部分が共通部分を持つなら、それは同値類全体に拡張できる(>>749

811:132人目の素数さん
20/02/18 00:19:13 wEKqmQtS.net
>>777
おまえがバカでわかってねーだけじゃん うせろよ

812:132人目の素数さん
20/02/18 00:22:10 wEKqmQtS.net
>>779
>>772

813:132人目の素数さん
20/02/18 00:23:29 4LYhi4WJ.net

>>775の自演乙

814:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 00:23:52 twaSKzXK.net
>>766
>  しかし、必ずω+1となる無限数列Aが、どの同値類内にも存在する

それは、なにも矛盾していない
ω+1の長さの数列を考えればね
ωを考える意義は、Nをコンパクト化しているってことだよ

(参考)
URLリンク(ja.wikipedia.org)
実数直線
(抜粋)
実数直線はいくつかの方法でコンパクト化することができる。R の一点コンパクト化は円周(実射影直線)であり、付け加えられた点は符号なしの無限大と考えることができる。
別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。

815:132人目の素数さん
20/02/18 00:30:19 wEKqmQtS.net
決定番号は定義から自然数。
ωは自然数ではない。
よって
>2.共通のシッポの決定番号は、無限大超自然数 ωになる
は間違い。
存在しない共通のシッポを存在させようとして定義違反してるバカ。

816:132人目の素数さん
20/02/18 00:41:05 4LYhi4WJ.net
と、自演バカ

817:132人目の素数さん
20/02/18 06:38:22 eGolRFra.net
>>783
>ωを考える意義は、Nをコンパクト化しているってことだよ

はい 改ざん 
はい 詐欺

無限列は、R^Nです 
Nのコンパクト化N∪{∞}による
R^(N∪{∞})です

どうして嘘をつき続けるかね Set Aは
そんなに自分は数学の天才だと自惚れたいかね

818:132人目の素数さん
20/02/18 06:39:51 eGolRFra.net
いかん、肝心なところをうち間違った

云いたいことは
R^N=R^(N∪{∞})
ではない

この一点
ーーーーーーーーーーー
>>783
>ωを考える意義は、Nをコンパクト化しているってことだよ

はい 改ざん 
はい 詐欺

無限列は、R^Nです 
Nのコンパクト化N∪{∞}による
R^(N∪{∞})ではありません

どうして嘘をつき続けるかね Set Aは
そんなに自分は数学の天才だと自惚れたいかね

819:132人目の素数さん
20/02/18 06:42:20 eGolRFra.net
時枝の主張

 R^Nでは「箱入り無数目」戦略が成功する

Set Aの主張

 R^(N∪{∞})では「箱入り無数目」が失敗する!

結論

 R^NとR^(N∪{∞})は異なるのだから当たり前

ああ、くだらん

820:132人目の素数さん
20/02/18 06:51:29.76 eGolRFra.net
このスレ、マジで終わったな

821:132人目の素数さん
20/02/18 09:14:00 wEKqmQtS.net
バカはとにかく>>772に答えなさい

822:132人目の素数さん
20/02/18 18:42:55 SmTAcwl4.net
>>780
なりぷっちゃま。。。
(...可愛e💗)

823:132人目の素数さん
20/02/18 18:53:38 SmTAcwl4.net
ツンツン!(;´-`)σ>>789
>>670←ちかぢかタヒんじゃう
ご予定がおありなんですか?

824:132人目の素数さん
20/02/18 18:55:03 SmTAcwl4.net
>どうせ早死にするんだから

・・・これは・・・?😵

825:132人目の素数さん
20/02/18 18:56:30 SmTAcwl4.net
・・・気になりますよ~・・・🤔。。。

826:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 18:56:53 TcGEdQgu.net
>>787
いやね、数学の常套手段だけれども
ある空間に移って、そこで見通しを付けて
逆に、元の空間に戻ると、問題が解けている
偏微分方程式で、フーリエ変換の空間で考えて
逆フーリエ変換するみたいなこと

Nをコンパクト化して考えて
それは結局
決定番号dの極限を考えることに相当しているが
そして、元の素朴なN(自然数)のdを考えれば
時枝記事の戦略のトリックが見易いということ

数学の常套手段です

827:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 18:58:03 TcGEdQgu.net
>>789
スレは終わらない
終わっているのは
おサルのお前さんだよw(^^;

828:132人目の素数さん
20/02/18 19:33:39 eGolRFra.net
>>795
数学の分からん工学馬鹿の勘違いですな

「コンパクト化して考える」とかほざくのが馬鹿w

要するにNの中のありもしない架空の∞をデッチあげて
その∞が決定番号になる確率が1だと吠えまくる

時枝記事の戦略のトリック? 違う
一点コンパクト馬鹿 Set A の口車のトリック

詐欺の常套手段www

>>796
一点コンパクト詐欺 このスレ完全に終わったな
Set Aも人間として完全に終わったな まさに地獄の餓鬼畜生w

829:132人目の素数さん
20/02/18 19:35:24 VLbYJPF3.net
>>795
それは結局元のR^Nの代表元で考えれば時枝戦略は成り立つ
ということです

回答者は100列のR^Nの元を作ってR^Nの代表元を使うだけだから

830:132人目の素数さん
20/02/18 19:36:09 SmTAcwl4.net
>>797
タヒんじゃうの?

831:132人目の素数さん
20/02/18 19:37:19 eGolRFra.net
アレクサンドロフ拡大
URLリンク(ja.wikipedia.org)

「位相空間論におけるアレクサンドロフ拡大は、
 一点を追加することにより非コンパクト位相空間を拡大して
 コンパクト空間を得る方法である。
 名称はロシア人数学者パヴェル・アレクサンドロフに因む。」

Set AのAはAlexandroffの頭文字らしいwwwwwww

832:132人目の素数さん
20/02/18 19:43:08.59 eGolRFra.net
>>798
R^(N∪{∞})の尻尾の同値類は
R^Nの尻尾の同値類とは全く異なる
R^(N∪{∞})の場合、∞番めの箱の中身だけで同値かどうかが決まる
つまり有限列の場合と全く同じ
だ・か・ら ワンポイントコンパクト馬鹿のSet Aが食いついた
こいつはどうやら数学で唯一理解できたのが
「ワンポイントコンパクト化」だけのようだ
一時期、アホのようにリーマン球面と吠えまくってしwww

833:132人目の素数さん
20/02/18 19:47:32.46 eGolRFra.net
Set Aにとって、いかなる集合もコンパクトでなければならないらしいw
Set Aにとって自然数全体のNは実はそのままでは集合でなく
Nに一点∞を追加してコンパクト化することではじめて集合になるらしい
Rも一点∞を追加してコンパクト化することではじめて集合になるらしい
(つまりSet Aにとって実数の全体は円であるw)
Cも一点∞を追加してコンパクト化することではじめて集合になるらしい
(つまりSet Aにとって複素数の全体は球であるw)

834:132人目の素数さん
20/02/18 19:50:06.70 LIST9h+x.net
{∞}を追加してもそれを無視することはできる
無限長のシッポがなくなるわけではないんだから
「当てられる」と事実に変わりはない。

835:132人目の素数さん
20/02/18 19:51:48.00 eGolRFra.net
さて、箱入り無数目の話は、
Set Aの一点コンパクト詐欺で幕を閉じたので
別のネタでも提供しようか
Q.1,2,4,8、・・・、2^n という数列から1つ数を選んだとき、
 その最高桁が1となる「確率」はいかほどか?
別に初めから無限個の集合で考えなくていいぞ
nを有限としてn→∞としてもかまわんし
(そこにトリックはないから)

836:132人目の素数さん
20/02/18 19:54:17.02 eGolRFra.net
>>803
∞を追加した場合、
r1、r2∈R^(N∪{∞})で
r1、r2の∞番目だけ一致する
”同値”な数列が存在する
しかしこのような数列は、R^Nでは同値でない
これがSet Aの”一点コンパクト詐欺”のトリック!!!

837:132人目の素数さん
20/02/18 19:55:06.35 eGolRFra.net
さて、箱入り無数目の話は、
Set Aの一点コンパクト詐欺で幕を閉じたので
別のネタでも提供しようか
Q.1,2,4,8、・・・、2^n という数列から1つ数を選んだとき、
 その最高桁が1となる「確率」はいかほどか?
別に初めから無限個の集合で考えなくていいぞ
nを有限としてn→∞としてもかまわんし
(そこにトリックはないから)

838:132人目の素数さん
20/02/18 20:07:29.51 wEKqmQtS.net
反例まだ~?
 ☆ チン マチクタビレタ~
     マチクタビレタ~
☆ チン  〃 ∧_∧
 ヽ___\(\・∀・)
  \_/ ⊂ ⊂_)
  / ̄ ̄ ̄ ̄ ̄ /|
 | ̄ ̄ ̄ ̄ ̄ ̄| |
 | 愛媛みかん |/
   ̄ ̄ ̄ ̄ ̄ ̄

839:132人目の素数さん
20/02/18 20:07:44.77 wEKqmQtS.net
証明のギャップまだ~?
 ☆ チン マチクタビレタ~
     マチクタビレタ~
☆ チン  〃 ∧_∧
 ヽ___\(\・∀・)
  \_/ ⊂ ⊂_)
  / ̄ ̄ ̄ ̄ ̄ /|
 | ̄ ̄ ̄ ̄ ̄ ̄| |
 | 愛媛みかん |/
   ̄ ̄ ̄ ̄ ̄ ̄

840:132人目の素数さん
20/02/18 20:08:18.70 wEKqmQtS.net
>>772の回答まだ~?
 ☆ チン マチクタビレタ~
     マチクタビレタ~
☆ チン  〃 ∧_∧
 ヽ___\(\・∀・)
  \_/ ⊂ ⊂_)
  / ̄ ̄ ̄ ̄ ̄ /|
 | ̄ ̄ ̄ ̄ ̄ ̄| |
 | 愛媛みかん |/
   ̄ ̄ ̄ ̄ ̄ ̄

841:132人目の素数さん
20/02/18 20:08:49.96 LIST9h+x.net
>>804
それってドクトル・クーガーに似た話が載ってませんでした?
最初に考えたのは志村五郎氏だったとか。

842:132人目の素数さん
20/02/18 20:14:23.01 eGolRFra.net
>>810
そうだとすると、志村五郎は”元ネタ”をばらさなかったみたいだな・・・

843:132人目の素数さん
20/02/18 20:14:31.53 LIST9h+x.net
>>805
SetAが勝手に{∞}を追加して
「{∞}で一致なら同値だろう」と言っても
「同値関係は{∞}を除いたシッポで決めるんだよ!」
とぶん殴って定義を回復すれば、当てられる事実に変わりはないw

844:132人目の素数さん
20/02/18 20:17:25.28 LIST9h+x.net
>>811
元ネタがあったとは知りませんでした。

845:132人目の素数さん
20/02/18 20:20:52.30 eGolRFra.net
>>812
Set Aが∞を追加した理由は「同値類の改変」にあるので
ISILのように抵抗を続けるに違いない・・・ああ、アホくさw
URLリンク(ja.wikipedia.org)

846:132人目の素数さん
20/02/18 20:22:40.57 eGolRFra.net
>>813
まあ、数学者なら”元ネタ”を知らなくても
独立で答えを見つけるだろうな
そんなに難しい話じゃないし
これ工学屋も知っとくと役に立つよ

847:132人目の素数さん
20/02/18 20:29:10 eGolRFra.net
>>804のヒント 

デジタルじゃなくアナログ
電卓じゃなく計算尺
 

848:132人目の素数さん
20/02/18 20:43:50 wEKqmQtS.net
詐欺師はまた逃亡か

849:132人目の素数さん
20/02/18 20:48:48 LIST9h+x.net
>計算尺
パイロットウォッチに回転式のそういうのが付いてて
使い方を調べたことがありましたが、実際使った験しがないw
昔と違ってスマホで計算する方が早いし見易いですからね。
計算機登場前の昔は実際に使われていたらしい。

850:132人目の素数さん
20/02/18 20:58:55 LIST9h+x.net
2,4,8、・・・、2^n が等間隔になるような尺度を考えればいいってことですね。

851:132人目の素数さん
20/02/18 21:09:07 eGolRFra.net
>>819
そこはその通りですが、それだけだと半分ですかね
まあ、でもそれだけでも答え出せないこともないか

ちなみに私が初めて見た計算尺はコンサイスの円形のものですね
父親が使っていたものでしたが

使い方は別にそんなに難しくはないですよ
ただ私の世代はもう学校では計算尺の使い方は習わなかったですけどね

852:132人目の素数さん
20/02/18 21:14:52 eGolRFra.net
>>818
パイロットウォッチの計算尺
URLリンク(www.rasin.co.jp)

ああ、もうこれ見たら答え丸わかりだなw
ま、でも普通の計算尺でも同じか
円グラフか積み上げ棒グラフかの違いだけで

853:132人目の素数さん
20/02/18 21:28:21 QInpW8Sy.net
計算尺も全部不要 霊感 六感 第六感
で、3/10
1 2 4 8 16 32 64 128 256 512
の10個の内、該当は3個
補足
512の2倍は1024だから1000と見做す

854:132人目の素数さん
20/02/18 21:34:12 SmTAcwl4.net
えもじのいたちカキコが恥ずかしいをですか?
怒涛のスレ流しな感じなんですけど?

855:132人目の素数さん
20/02/18 21:35:19 SmTAcwl4.net
>>823
訂正します。
>恥ずかしいをですか? ❌
 恥ずかしいんですか? ⭕

856:132人目の素数さん
20/02/18 21:41:23 SmTAcwl4.net
たしかにまた呑んじゃいましたけど。
やっすいざくろ梅酒で~す♪

タヒぬとかタヒなないとか、怖くてしらふでスレ見れな~ぃ!ですもんねー。だ。

857:132人目の素数さん
20/02/18 21:43:22 SmTAcwl4.net
わたしがアル中でタヒんだらアノ嵐キャラの中年爺のせいだと思いまーす。

858:132人目の素数さん
20/02/18 21:44:51 SmTAcwl4.net
たすけてー!
しぬしぬ詐欺の爺がいまーす!

859:132人目の素数さん
20/02/18 21:45:44 SmTAcwl4.net
お休みなさーい!
ウソつき爺っちゃま!

860:132人目の素数さん
20/02/18 21:49:45 SmTAcwl4.net
     昔の人の迷言

   年寄りの趣味と云えば
    「死んだふり」

   年寄りの口癖と云えば
「おれももう長くねえなぁ・・・」
  (↑20年言い続けます。)

 もういちいち爺っちゃまの口癖は
 本気にしなくて良いんですよね。

861:132人目の素数さん
20/02/18 21:51:05 SmTAcwl4.net
( ´_ゝ`)フッ!嘘吐キ野郎カ...

862:132人目の素数さん
20/02/18 21:56:06.99 SmTAcwl4.net
@      @      @
   @      @
@  酔っぱらっちゃった~ @
                   @       @
@ めがまわる~    @
 @   めまいがする~@
お休みなさ~ぃ。。。
 爺以外の方々、主様、
度々お騒がせ致しまして
誠に申し訳ございませんでした。
失礼致しました。
        かしこ

863:132人目の素数さん
20/02/18 21:59:43.90 SmTAcwl4.net
あ、すう板らしく、
\\\
  📐📏 ホィョッ!
算数なんか大っキラーイ!
ですよーだ。

864:132人目の素数さん
20/02/18 22:05:46.09 eGolRFra.net
>>822
ま、だいたい3/10なんですけどね
正確にはlog_10(2)=0.303…です
ついでにいうと最初の2^nの最初の10だと
最上位の桁が7と9の場合が出てきませんけど
計算し続ければいずれ出てきます
一般に最上位の桁がi(=1~9)の確率は
log_10(1+1/i)です
これ、ベンフォードの法則っていうらしいです
ベンフォードは物理学者だそうですけど
ただ最初に気づいたのはこの人じゃなくて
天文学者のサイモン・ニューカムだそうです

865:哀れな素人
20/02/18 22:09:32.47 fl8DAVdk.net
スレ主よ、お前のスレも変なのがいっぱい出て来て無茶苦茶だな(笑
僕のスレも変なのに占領されて無茶苦茶だ(笑
しかしサル石は僕のスレにはほとんど出て来ないし、
以前のような噛み付きもしなくなった(笑
サル石に、お前にあまり噛み付くな、と説教してやったから、
あいつも少しは手加減してくれるようになるだろう(笑

866:132人目の素数さん
20/02/18 22:09:40.09 eGolRFra.net
数学屋の私は初めて知ったんだけど
工業規格で標準数というのがあって
これも(定義の仕方からいって当然だけど)
ベンフォードの法則が当てはまってる
標準数
URLリンク(ja.wikipedia.org)

867:132人目の素数さん
20/02/18 22:10:00.41 SmTAcwl4.net
ヽ( ・∀・)ノ┌┛Σ(ノ `Д´)ノ>>833

868:132人目の素数さん
20/02/18 22:11:36.58 SmTAcwl4.net
!!( ; д)゚ ゚誰?>>835

869:132人目の素数さん
20/02/18 22:13:07.94 SmTAcwl4.net
蹴っちゃっ...たあ!  
     @
~@( ´∀`)アハハハ!♪  @
  @

870:132人目の素数さん
20/02/18 22:14:54.58 eGolRFra.net
>>835
wikiの「標準数」には、定義の記載がなかったな
ということで定義は以下を参照
URLリンク(kousyoudesignco.dip.jp)
標準数は対数目盛ではほぼ等間隔になる

871:132人目の素数さん
20/02/18 22:15:20.46 SmTAcwl4.net
ま、いっか!
バーチャルキ━━ック❗💖だからな❗
'`@,、('∀`)♪'`💗,、@( ´∀`)💖'`,、@('∀`)♪'`,、@

872:132人目の素数さん
20/02/18 22:17:16.14 SmTAcwl4.net
( ^▽^)ノ∠※。*°☆>>839
ばかじじぃっちゃま乙!w

873:132人目の素数さん
20/02/18 22:19:51.94 SmTAcwl4.net
(o゚∀゚)=○)>>839)∴
可愛💖がっちゃおぉーっと❗
しぬしぬじじぃっちゃまに
しねしねパ━━ンチッ❗w

874:132人目の素数さん
20/02/18 22:20:55.09 SmTAcwl4.net
'`@,、('∀`)♪'`,、💖( ´∀`)'`@
💗,、('∀`)♪'`,、

875:132人目の素数さん
20/02/18 22:21:40.89 wEKqmQtS.net
>>834
>僕のスレも変なのに占領されて無茶苦茶だ(笑
一番変な奴が言うなw

876:132人目の素数さん
20/02/18 22:21:46.68 SmTAcwl4.net
@じゃお休みなさ~い@@

877:132人目の素数さん
20/02/18 22:25:49.11 SmTAcwl4.net
(○´∀`人´∀`○)>>844
なりぷっちゃま💞うえ〰いぃ♪
ぷっちゃまも★アノくそ爺★は
やめちゃいな~!ですよーだ♪www
あんなの💩クソ💩だと思いましたー!だ。

878:132人目の素数さん
20/02/18 22:28:36.51 SmTAcwl4.net
今日の老人虐待終わりっ!と。
あばよ!クソ爺っちゃま!wwww
ヂヂィオバカサンダネ〰!w
(*ノ▽`*)σ 

879:132人目の素人さん♪
20/02/18 22:36:56.43 t2JKKS7T.net
あ、お初にお目もじいたします。
絵文字ともうします。
えもやんってお呼びくださいませ♪
\\
━○ペコリン♪ >>834


880:132人目の素人さん♪
20/02/18 22:38:19.05 t2JKKS7T.net
>>848
絵文字がズレました〰!
@@酔っぱらい運転中@@だから。。。

881:132人目の素人さん
20/02/18 22:41:56.90 t2JKKS7T.net
ID変わってる〰!?
ま、こてにしますから@NGど~ぞ@♪@こんどこそ。。。お休みなさ~い@
(*//ω//)酔ッパラィッテ楽cナァ~♪

882:132人目の素人さん
20/02/18 22:43:33.22 t2JKKS7T.net
哀れな素人さまは独身でらっしゃいますか?

883:132人目の素人さん
20/02/18 22:45:10.26 t2JKKS7T.net
なんてね~🌺 @
@ (*´∀`)   @
  オヤスミナサ〰ィ💗

884:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 00:12:08 WuOFpvsc.net
>>834
哀れな素人さん、どうも。スレ主です。

>サル石に、お前にあまり噛み付くな、と説教してやったから、
>�


885:いつも少しは手加減してくれるようになるだろう(笑 ご心配なく 私は平気です おサルは、単なるアホですからw おサルは、ここで放し飼いが、世間様にご迷惑にならず 良いと思っています(^^;



886:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 00:16:02 WuOFpvsc.net
>>812
>「同値関係は{∞}を除いたシッポで決めるんだよ!」

数学としては、{∞}の あり なし 二通り考えて、比較すれば良い
それが、数学の王道でしょw(^^;

887:お邪魔虫
20/02/19 00:22:39.34 T5k5TB3D.net
あ、1言忘れてました。
えもがいつまでもこのスレに粘着しちゃうのは、去年の12月に爺っちゃまが
希死念慮ちっくなカキコしてたから、
気になっちゃってモヤモヤしちゃってるんですよ~?
えもパパもずっと前、12月に急に自★しちゃったから、気になっちゃったんですよ。
昔、パピーとマミーの別居→離婚、
財産分与でマミーが疲れて愚痴を聴かされてたから、離婚後にパピーから
最初で最後の電話にえもっぺが出ちゃった時に
「2度と掛けて来ないでくださいッ!」
ってぶちかまして、パピ&マミの腐れ縁カッターになっちゃったんだけど。
たしかにそれっきりパピーは2度と電話して来ませんでした〰。
7年後におばさん達から
「パピーが亡くなった」
って急に12月に聞いて、今、
墓守りをしてま〰す。
12月に変なカキコ見ちゃってモヤモヤしちゃって気になっちゃうんで〰す!
それだけ。

888:132人目の素数さん
20/02/19 00:22:52.54 nnXPVhDc.net
>>854
>数学としては、{∞}の あり なし 二通り考えて、比較すれば良い
>それが、数学の王道でしょw(^^;
{∞}無しで当てられるのに、わざわざ劣化させて当たらないと主張
それが、詐欺師の王道でしょw(^^;

889:132人目の素数さん
20/02/19 00:28:31.16 T5k5TB3D.net
爺がさっさと幸せになってりゃ
もーこねーよ!すう板なんか。
数学大っキラーイ!ですよーだ。
爺、粘着されたくなきゃ、
とっとと🌺幸せ💗ぶっとけよ!
ですよーだ。
( ´_ゝ`)フッ!無理カ...

890:132人目の素数さん
20/02/19 00:35:28.19 T5k5TB3D.net
じじぃが不幸臭かったら
スレストーカーしてやっからな?
見張ってるかんな?
|_ ̄))ジーッ。。。マタ不幸クッセェナ...
ストーカーが
★爺っちゃまを見張ってます・・・★

891:お邪魔虫
20/02/19 00:42:04.83 T5k5TB3D.net
じじぃが「タヒぬ」←とかまたやりやがったら、酒乱えもやんが大暴れして
じじぃん家のこのスレぶっ壊して
じじぃを5ちゃん難民のホームレスにしてやんよっ!ですよーだ!wwww
えもは酔った勢いでヤラカすタイプだからね~だ♪(@´∀`@)♪♪♪
ばぃば~い!👋爺おやすみ~♪🌺

892:132人目の素数さん
20/02/19 01:14:32.55 nnXPVhDc.net
>>853
>おサルは、単なるアホですからw
と、勝手に R^(N∪{∞}) に改竄しちゃうアホが申しております

893:132人目の素数さん
20/02/19 05:40:58.35 8K6AO46k.net
>>853
>ご心配なく 私は平気です
詐欺師には心がないからな
>>854
>数学としては、{∞}の あり なし 二通り考えて、比較すれば良い
R^Nで当たるのに、わざわざR^(N∪{∞})を持ち出して
「R^(N∪{∞})の尻尾の同値類では当たらない!」
というのは詐欺 というか精神異常
自己愛性人格障害は治らないねえ・・・

894:132人目の素数さん
20/02/19 05:44:06.86 8K6AO46k.net
>>856
結局、何も考えずに素人の直感だけで
「当たりっこない!「箱入り無数目」は間違ってる!」
と言い出したことを正当化するために
R^NをR^(N∪{∞})にすり替える
詐欺行為を働く犯罪者におちただけ
だったな Set Aは
Set A どんな育ち方したのか知らんけど
お前の人生 これでThe ENDだよ

895:132人目の素数さん
20/02/19 05:45:43.43 8K6AO46k.net
>>860
Set Aに限ったことではないが
トンデモにとって大事なのは
真実じゃなくて自分の思い込み
なんだな
自分の思い込みを守るために
見え透いた嘘をつきつづける
哀しいね トンデモって

896:132人目の素数さん
20/02/19 05:47:49.99 8K6AO46k.net
◆jPpg5.obl6
なんでここにいるんだ
気持ち悪いなこのメンヘラ

897:132人目の素数さん
20/02/19 06:04:55.56 liu9ZOvc.net
>>833
>ベンフォードの法則
それは初耳でした。
数学的な証明としては、log_10(2)が無理数であることと
aが無理数のとき
a,2a,...,na (mod 1)はn→∞のとき、[0,1)上に一様分布する
というワイルの一様分布定理(1909年)から直ちに従う。
ガウスが気づいていてもおかしくないような法則ですが
「10進法であらわしたときの最初の桁の数」
というのは数学者の盲点にはなるかもですね。

898:132人目の素数さん
20/02/19 06:07:06.16 liu9ZOvc.net
>>864
メンヘラだな~とは思いますが、相当気に入られてますね笑
実害がなければいいのではw

899:132人目の素数さん
20/02/19 06:42:42.05 uLD0QIT0.net
>>864
クソがっ!😡💨

900:132人目の素数さん
20/02/19 06:45:07.91 8K6AO46k.net
>>865
ま、以下は数学の証明では必要ですが・・・はしょりました
・log_10(2)が無理数であること
・aが無理数のとき
 a,2a,...,na (mod 1)はn→∞のとき、[0,1)上に一様分布する
 というワイルの一様分布定理(1909年)
>>866
昨日の書き込みは酒とか睡眠薬でも飲んでるときの感じだったな

901:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 07:51:22.88 WuOFpvsc.net
メモ
ラングランズを辿ると、Higgs先生(ノーベル物理学賞)へ辿り着く(^^;
URLリンク(ja.wikipedia.org)
ゴ・バオ・チャウ(ベトナム語: Ngo B?o Chau / ?寶珠[?o ?a???? c???] 、1972年6月28日 - )、ベトナムの数学者。現在はフランスとベトナム国籍を持っている。2010年にベトナム人としてはじめてフィールズ賞を受賞した。
中でも2008年にラングランズ・プログラムの基本補題の証明に成功したことはよく知られている。
URLリンク(ja.wikipedia.org)
ラングランズ・プログラム
基本補題
詳細は「ラングランズプログラムの基本補題(英語版) 」を参照
URLリンク(en.wikipedia.org)(Langlands_program)
Laumon and Ngo (2008) then proved the fundamental lemma for unitary groups, using Hitchin fibration introduced by Ngo (2006)
URLリンク(en.wikipedia.org)
Hitchin system
called a Hitchin pair or Higgs bundle, defines a point in the cotangent bundle.
URLリンク(en.wikipedia.org)
In mathematics, a Higgs bundle is a pair (E,φ) consisting of a holomorphic vector bundle E and a Higgs field φ, a holomorphic 1-form taking values in End(E) such that φ ∧ φ = 0. Such pairs were introduced by Hitchin (1987), who named the field φ after Peter Higgs because of an analogy with Higgs bosons.
URLリンク(en.wikipedia.org)
Peter Ware Higgs CH FRS FRSE FInstP (born 29 May 1929) is a British theoretical physicist, Emeritus Professor in the University of Edinburgh[5][6] and Nobel Prize laureate for his work on the mass of subatomic particles.[7](2014)

902:132人目の素数さん
20/02/19 07:55:12.63 lPhrQh5H.net
>>866
お早うございます。
僭越至極ながら、ご尊レスに
一つだけ修正を加えさせて頂きたいです。
(じじぃを「気に入って」)ないです。
小生、幼少の際より、意地悪爺は
大っ嫌いです。
ここの性悪爺は🐤舌切り雀🐦の
悪い爺さん並みのクソ爺っちゃま
だと思います。
きしねんりょ爺が
しぬしぬ詐欺を繰り返すのが
「気になって」(モヤモヤしちゃって)る
だけなんです。
しぬしぬ詐欺師の悪い爺さんを
やっつけてやりたい。。。
当スレの「😏詐欺バスター」の
一員になりたいんです。

903:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 07:57:25.79 WuOFpvsc.net
>>869 補足
ヒッグス先生のノーベル賞は2013年だね
南部陽一郎先生のノーベル賞とも関係している
URLリンク(ja.wikipedia.org)
ピーター・ヒッグス
ピーター・ウェア・ヒッグス(Peter Ware Higgs, 1929年5月29日 - )は、イギリスの理論物理学者。エディンバラ大学名誉教授。2013年ノーベル物理学賞受賞。
URLリンク(ja.wikipedia.org)
南部陽一郎
自発的対称性の破れの発見により、2008年にノーベル物理学賞を受賞した[6]。

904:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 08:01:01.56 WuOFpvsc.net
>>871 補足
>南部陽一郎先生のノーベル賞とも関係している
下記だな
こういう物理からの概念が、数学に取入れられて、使われているのは、20世紀後半からよく見かけるね
URLリンク(ja.wikipedia.org)
自発的対称性の破れ
(抜粋)
主に物性物理学、素粒子物理学において用いられる概念であり、前者では超伝導を記述するBCS理論でクーパー対ができる十分条件、後者では標準模型においてゲージ対称性を破り、ウィークボソンに質量を与えるヒッグス機構等に見ることができる。
また、この他、磁気学における強磁性体の磁化についても発生の前後で自発的対称性の破れが考えられている。

905:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 08:05:55.67 WuOFpvsc.net
>>860
>勝手に R^(N∪{∞}) に改竄しちゃうアホが申しております
落ちこぼれさん
”lim sup”
”数列 (an) の上極限と下極限は(無限大をとることを許せば)必ず存在する”
大学数学では、常識では?ww(^^;
URLリンク(ja.wikipedia.org)
上極限と下極限
数学において、数列 (an)n∈N の上極限(じょうきょくげん、英語: limit superior)および下極限(かきょくげん、英語: limit inferior)とは、nを無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の極限に(ある意味で)なりうる値を上と下からおさえるために使われる。
性質
数列 (an) の上極限と下極限は(無限大をとることを許せば)必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。

906:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 08:08:27.23 WuOFpvsc.net
>>873 補足
(引用開始)
”lim sup”
”数列 (an) の上極限と下極限は(無限大をとることを許せば)必ず存在する”
大学数学では、常識では?
(引用終り)
大学数学では、自由自在に「無限大をとることを許す」
もちろん、無限大をとらない場合も考える
両方考えるのが、正解ですよww(^^

907:132人目の素数さん
20/02/19 10:09:08.98 nnXPVhDc.net
>>874
>大学数学では、自由自在に「無限大をとることを許す」
>もちろん、無限大をとらない場合も考える
>両方考えるのが、正解ですよww(^^
考えるのは勝手だが、もはや時枝問題ではありませんね。
なぜなら時枝問題の設定はR^NであってR^(N∪{∞})ではありませんので。
時枝問題を論じたいなら時枝問題を正しく理解することから始めましょうww(^^

908:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 10:31:46.30 TtPt7jCK.net
>>875
>なぜなら時枝問題の設定はR^NであってR^(N∪{∞})ではありませんので。
そんなことはない
数学は、もっと広く自由だよ
無限大超自然数 ω を考えて、見通しをつけて
それから、自然数の集合Nに戻れば良い
ε-δ 論法の収束とか極限で考えれば良いだけのこと
つまり、時枝記事の可算無限数列のシッポは、結局は極限ということだよ
無限大超自然数 ωを考えれば、それがはっきり見えるってことよ
数学の常套手段さ
リーマンが、複素平面を∞を追加して、リーマン球面を考えた如しだ
>>321より)
URLリンク(www.kurims.kyoto-u.ac.jp)
平成29年度(第39回)数学入門公開講座テキスト(京都大学数理解析研究所,平成29年7月31日~8月3日開催
超準解析入門
-超実数と無限大の数学-
磯野優介
数学入門公開講座
平成 29 年 7 月 31 日~8 月 3 日
(抜粋)
P15-16
4 超実数を用いた解析学の展開
4.1 数列の収束
定義 4.1. 超実数 α が超自然数であるとは,自然数からなる数列 (an)n を用いて α = (an)n
と書ける事である.この時もし α が無限大超実数ならば,無限大超自然数という.超自然数
の集合を *N で表す.以後は分かりやすさのため,超自然数は ω, λ 等の記号で表す事が多い.
次の定理は,数列の収束という ε-δ 論法における概念を,超実数のみを用いた条件に言い
換えるものです.
定理 4.7. 実数列 (an)n と実数 a ∈ R に対して,limn→∞ an = a である事の必要十分条件は
どんな無限大超自然数 ω に対しても aω =~ a となる事である.
注意 4.8. この定理が証明されれば,最初から limn→∞ an = a の定義を,aω =~ a が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる.これは「数列の ∞ 番目がい
つも同じ数」という意味であり,より直感的な収束の定義である.

909:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 11:14:51 TtPt7jCK.net
>>876 補足

分かり易く例えで説明する
・ランダムを直感的に考えて、決定番号dが属する自然数の集合Nから、ランダムに任意の元dを選ぶことを考えよう
・さて、我々が日常生活し考えている100兆くらいの数は、自然数N全体のほんの一部にすぎない
 いわゆる天文学的に大きな数も また同じで、所詮有限にすぎない
・コンピュータ内で数を扱うとして、まともに固定小数点の数として扱えば、桁あふれを起こして、コンピュータメモリ内に収まらない
 天文学では、指数を使ったりするけれども、>>876のように極限を考えると、それでも 極限の途中で、指数でさえ コンピュータメモリ内に収まらない
・それが、>>876のように、無限大超自然数 ω を考えれば、はっきり見えるってわけです
・戻ると、”自然数の集合Nから、ランダムに任意の元dを選ぶ”という ランダムネスの定義が、本当は出来ずに、手品のタネになっている
・つまり、ある可算無限数列X=(x1,x2,・・・)に対して、問題の数列Xを知らずに、同値類の代表r=(r1,r2,・・・)を選び、決定番号dが決まる
 決定番号dが、如何にも我々の知っている有限の数の範囲になるが如くの錯覚をさせている(本当はここ極限です)
 それが、手品のタネになっている
 有限の世界なら、d1とd2の大小比較も明確だ
・しかし、無限大の世界では、d1とd2の大小比較は簡単に言えない
・それを、DR Pruss氏は、mathoverflowで述べているのです

(参考)
URLリンク(mathoverflow.net)
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
DR Pruss氏

By a conglomerability assumption, we could then conclude that P(X<=Y)=0, which would be absurd as the same reasoning would also show that P(Y<=X)=0.

URLリンク(www.mdpi.com)
Symmetry and the Brown-Freiling Refutation of the Continuum Hypothesis
by Paul Bartha
Symmetry 2011, 3(3), 636-652;

910:132人目の素数さん
20/02/19 12:21:41.32 ZQUriCAf.net
>>875
自演うざいからとっとと引っこめや

911:132人目の素数さん
20/02/19 12:29:31.35 ZQUriCAf.net
ID:nnXPVhDc=>>1

912:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 14:00:06 TtPt7jCK.net
>>878-879
どうもスレ主です。
よくぞ言ってくれましたw(^^;

自演じゃないが、要するに、似た底辺レベルだと、
 ID:nnXPVhDcのあほサルのことを
認識されているということですね
分かりますww(^^
(絶対に数学科修士卒のレベルにはないぞよ、おサルはww)

913:132人目の素数さん
20/02/19 17:26:21.40 Yib8Z78Q.net
自演うざいぞー

914:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 18:25:33.25 TtPt7jCK.net
>>877 補足の追加
1.下記の 時枝記事で、可算無限数列の任意の箱の中の数は、他の数と独立・無関係と仮定する(大学教程の確率論のiidより)
2.時枝記事では、可算無限数列X=(x1,x2,・・・)に対して、あるxiなる箱の数が、確率99/100で的中できるという
3.しかし、xiから他の箱の数を見たとき、独立・無関係なので、数列のシッポは無関係だし、どの同値類になるかも無関係で、まして代表も関係ない。決定番号も関係無い!!
4.時枝記事の通りに、決定番号d=iで、i+1の箱を開けて、代表のriの数で、「xi=ri」(代表のi番目と等しい) だろうと言われても
 上記3の通り、「xiとriとは、全く無関係」だから、当たってもたまたまでしかない
 ”確率99/100で的中”なんで、ゴマカシ以外の何物でもないということです
5.これは、大学4年の大学教程の確率論の単位を取れば、すぐ分かること。大学1年坊主で、同値類を学んで喜んでいる初心者がハマるw(^^;
以上
(参考(>>35より))
スレ80 スレリンク(math板:50番)
時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)

915:132人目の素数さん
20/02/19 19:05:16.82 I7dLMQQO.net
>>876 >>877
> 極限で考えれば良い
時枝記事の数列(R^Nの元)は極限値にいたるまでの無限個の数字です
極限をとって有限を無限にするということはある番号から先の無限個の数列の
数字を指定するということなので
> 決定番号dが、如何にも我々の知っている有限の数の範囲になるが如くの錯覚をさせている
> (本当はここ極限です)
これは根本的に理解できていないということです
決定番号dの極限を考えるのならばdの極限値にいたるまでの無限個の数字に対して
決定番号を求めなおすことになって同値類が変化してその代表元に対する決定番号d'は
有限になります
>>882
> xiから他の箱の数を見たとき、独立・無関係なので、
他の全ての箱に数字が入っているかどうかも分からないですね
可算無限個の箱の先頭から有限個の箱は有限数列と無限数列の場合で共通です
有限数列でなくて無限数列であると確定されるのならば時枝戦略は成り立ちます

916:132人目の素人さん
20/02/19 19:09:41.80 DKV+ww/5.net
>>804
※よゐこのみなさんはカンニングしないでね!
🍀分からない問題はここに書いてね🌼
       &
  🌺面白い問題教えて~な🌸
であっという間に猛者達が解いてしまいました。。。
(※イナさまって、どうなさったのでしょうか...)

917:132人目の素人さん
20/02/19 19:23:05.97 XQIdA3Xt.net
>>884
↑答えが合ってるか解りません。
ID変わってるけど884です。

918:132人目の素数さん
20/02/19 19:26:50.10 XQIdA3Xt.net
もっと難しいお題を頂戴出来ますでしょうか?
猛者達に試練を与えて差し上げたいんです。
簡単過ぎて眠たくなっちゃったら、お気の毒ですし。。。

919:132人目の素数さん
20/02/19 19:28:10.13 XQIdA3Xt.net
モッサーずが可哀想。。。

920:132人目の素数さん
20/02/19 19:31:18.36 8K6AO46k.net
>>873
>”数列 (an) の上極限と下極限は(無限大をとることを許せば)必ず存在する”
()内が問題
範囲がNとかRとかCとか書いてあったら
∞をとることを許してはならない
要するにコンパクトでないものを
勝手にコンパクト化してはならない
これこそ大学数学の常識

921:132人目の素数さん
20/02/19 19:31:55.82 liu9ZOvc.net
自分の頭で考える気がないならSetAと同類だよ
答え自体よりも何でそうなるかという理屈を考えるのが数学

922:132人目の素数さん
20/02/19 19:32:26.11 8K6AO46k.net
>>874
>大学数学では、自由自在に「無限大をとることを許す」
その認識が誤り
自由自在に許してるわけではない
違うと明言することで許される
同じと言い張ることは許されない
リーマン球C∪{∞}は、複素平面Cではない
射影直線R∪{∞}は、実数直線Rではない
N∪{∞}は、自然数全体Nではない
それぞれ前者はコンパクトだが後者はそうではない
>もちろん、無限大をとらない場合も考える
>両方考えるのが、正解ですよ
問題でR^Nといってるときに、
勝手にR^(N∪{∞})にすり替えるのは詐欺

923:132人目の素数さん
20/02/19 19:34:07.78 8K6AO46k.net
>>876
>>時枝問題の設定はR^NであってR^(N∪{∞})ではありませんので。
>そんなことはない
そんなことある
箱入り無数目の記事より
「実数列の集合R^Nを考える」
はい、これでSet Aはウソつき決定!
>数学は、もっと広く自由だよ
問題設定をすり替える自由はない
>無限大超自然数 ω を考えて、見通しをつけて
>それから、自然数の集合Nに戻れば良い
そもそも、Set Aが「一点コンパクト化」実現のために
付け加えたがってる一点∞は無限大超自然数ωではないが
ωはω+1もω-1もある
一方∞には∞+1も∞-1もない
>ε-δ 論法の収束とか極限で考えれば良いだけのこと
Set Aのいう1,2,3,・・・の収束先の極限∞は
無限大超自然数ωではないが
>つまり、時枝記事の可算無限数列のシッポは、
>結局は極限ということだよ
それが誤り それがウソ それが妄想
>無限大超自然数 ωを考えれば、
>それがはっきり見えるってことよ
無限大超自然数ωは、そもそも
Set Aのいう1,2,3,・・・の
収束先である極限∞、ではない
>数学の常套手段さ
Set Aの云ってることは数学でもなんでもない
サギの常套手段
>リーマンが、複素平面に∞を追加して、
>リーマン球面を考えた如しだ
これダメね
例えば リーマン球面上の変換の全体は複素平面上の変換の全体と等しくない
リーマン球面上の変換のうち一点∞を不変とするものが複素平面上の変換となる


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch