20/02/16 21:00:17.62 JZ/SimBp.net
あ、さっきスマホっぺが気絶して
ＩＤ変わった絵文字で～す。。。
763:１３２人目の素数さん
20/02/16 21:02:45.35 e/25rw+d.net
使える魔法
「女性が着ている服を透視できる」
「それ、＊Vの見過ぎじゃないですか」
「・・・なぜ、わかった」
人にはいうなよｗ
764:１３２人目の素数さん
20/02/16 21:03:18.68 JZ/SimBp.net
あ～、追い詰められちゃいましたね。。。これは。。。┐(´へ`；)┌
やけっぱち路線に。。。ｺﾞﾒﾝﾈ...
...め～ﾁｬﾏ...
765:１３２人目の素数さん
20/02/16 21:05:10.48 e/25rw+d.net
>>714
ん？これってそういうプレイじゃないのか？（ド変態）
766:１３２人目の素数さん
20/02/16 21:07:04.76 +0BaO7jP.net
>>705
>数学科で、確率論の単位を優等で取得したものと
>大学教程の確率論を取らなかったり、落としたり、あるいはお情けで形式的な単位取得者たちとの差でしょ
>（時枝も後者だが）
確率論は無関係ですね。The Riddleは確率を使ってないので。
>確率論の単位を取った人達は、
>全員が、箱の中を確率変数としている
また妄想ですか。
>時枝記事の後半、Hart氏のPDFのRemark、mathoverflowの回答者達、全ての人達が
記事後半で何を言おうと無関係ですね。時枝定理の証明は記事前半であって、かつ後半を参照してませんから。
>それで、人数は十分でしょ（確率論を学んでいない人には、それが出来なくても、無理もないことだが）
>>686
767:１３２人目の素数さん
20/02/16 21:09:10.25 +0BaO7jP.net
そんなことより>>695に答えてもらえませんか？
答えられないなら数学は無理なのでスレ閉じましょう
768:１３２人目の素数さん
20/02/16 21:09:44.59 JZ/SimBp.net
>>713
Σ(´Д｀;)ﾊｯ!どど、どうしよぅ...
ｴﾓｷも使えてる...
ｴﾓｷは魔法使いだったの...？
ただの珍獣だと思ってた...
ヒモパンせくすぃセネガル人♂を
人差し指１本で、指一つ触れることなく
マッパ透視がﾃﾞｷﾙ。。。
(珍獣だけの特殊能力だと思ってた。。。)
ｴﾓｷ🍄は魔法使い一族だったのか。。。？
769:１３２人目の素数さん
20/02/16 21:10:42.42 2U0bQ8PM.net
>>612
> 時枝さんのトリックのタネですね
トリックでもなんでもなくてですね
有限と無限は異なるものだからその差(違い)は何か？
ということなんですよ
スレ主は実は有限しか考えていなくてそれを無限と思っているから間違える
> game3とか game2とかは、
> 本質の有限数列の外で
> 空（又は0）の部分を、当てる話になっている
game3の本質は箱が無限個あるところなんです
この場合有限数列にするには「これ以上箱に数字を入れない」という情報がないといけない
つまり最後の数字を入れた箱から先の無限個は全て空であると出題者が決めて箱を閉じた段階で
初めて出題が完了したといえる
極限をとって無限にするのならば数字の入った有限個の箱の後ろの有限個の空箱を無限個に増やすことになる
game3では対象が有限数列全体であったから無限数列を対象にした場合は
有限では扱えない無限個の空箱全てに(まとめて)数字を入れたという情報(循環節とか同値類(代表元))
が必要になるんです
770:１３２人目の素数さん
20/02/16 21:11:51.15 JZ/SimBp.net
混乱してきましたよ～
＠＠めがまわる～＠＠
771:１３２人目の素数さん
20/02/16 21:23:58.57 JZ/SimBp.net
せくすぃ限定透視能力者は。。。
女子でも元彼いてても
*＊女魔法使い＊*になれますか？
772:１３２人目の素数さん
20/02/16 21:29:28.28 q5wTwCqZ.net
おそらく、吸血コウモリの如く
赤外線を感知の第六感を有する
稀に見る生命体と同値類と思われる
赤外線センサで箱の中のを覗けば
如何なる数も∞回的中させられる
773:*＊Ambrose☆Merlin ＊*
20/02/16 21:30:25.58 JZ/SimBp.net
>>711
教えてくださいっ！
お師匠様！
774:１３２人目の素数さん
20/02/16 21:33:46.25 s3CpYSMp.net
>>704
やまとなでしこいいよね。
中原欧助だっけ？
カメレオン（ロレックスの時計）と間違えて
カメレオンのおもちゃプレゼントするとか最高だねｗ
775:１３２人目の素数さん
20/02/16 21:36:03.32 s3CpYSMp.net
*中原欧介*
776:１３２人目の素数さん
20/02/16 21:37:18.94 JZ/SimBp.net
>>722 誰っ！？((*д*┃
777:１３２人目の素数さん
20/02/16 21:41:11 s3CpYSMp.net
ぶっちゃけDTは最初の彼女はSJがいいと思ってるｗ
778:１３２人目の素数さん
20/02/16 21:42:31 JZ/SimBp.net
未使用同士。。。
どーにもならんだろ。。。？
779:＊ニニーヴ＊ ◆jPpg5.obl6
20/02/16 21:48:20 JZ/SimBp.net
♪(( ´∀`)σσ>>708
ね？そうですよね？大お師匠様？
780:１３２人目の素数さん
20/02/16 21:55:16.35 JZ/SimBp.net
大お師匠さまほどになると
お子様が大学生になるまで
奥様と共業してらっしゃるんだから。。。！
スレの住人さん１の
＊♂の使い手なんですもんね＊
(((ﾟ∀ﾟ*)(*ﾟ∀ﾟ)))ｳﾜｧ。。。
*＊ﾜｸﾜｸ*＊主様は
♪♪並んででも乗りたい♪♪
☆期待の人気☆アトラクション＊
だった。。。？
781:１３２人目の素数さん
20/02/16 21:56:38.65 e/25rw+d.net
>>724
いいね 矢田亜希子演じる若葉ちゃん（そこ？！）
僕が中原欧介なら若葉ちゃん一択です（ストーリーブチ壊しｗ）
782:ゆるしてください！なんにもしませんから！
20/02/16 21:58:17.46 JZ/SimBp.net
な～んてね♪
今日の♂下ネタ♂セクハラトーク
終わりっ！っと～
783:１３２人目の素数さん
20/02/16 21:59:28.75 e/25rw+d.net
>>730
やめとけ Set Aは家事も育児も全然手伝わない俺様夫だぞ きっと
ここでの発言でわかるだろ マメさゼロだからなｗ
みえみえなお世辞いうのは会社の上司とか取引相手だけｗ
784:*＊Ambrose＊♀Furlin＊*
20/02/16 22:08:13.13 JZ/SimBp.net
>>733
☆スター☆アトラクション☆
785:は ☆夢☆の ☆Dream☆land☆ ☆遊園地☆ だも～ん♪ 育児とか家事とか関係ないもんね～♪ 💗Ｌoverず💞が２人っきりで 盛り上がっちゃえればｅんです♪
786:１３２人目の素数さん
20/02/16 22:11:54.54 JZ/SimBp.net
いたちのｴﾓは
隠れファザコンかも？だけど、
結婚&家庭生活は興味ないから、、、
実は主様は
*＊☆都合がｅかも？☆＊*
でしたー。
な～んてね。。。
787:１３２人目の素数さん
20/02/16 22:22:34.32 s3CpYSMp.net
＊＊＊はともかくハグくらいしてもらいなよ。
自分を好きな子はすごくキツくしてくる。
だいたい男は手加減して軽くするだろ？
＊＊＊と同じで締め付けるのは女子の本能かな？
と思ってる・・・。
788:１３２人目の素数さん
20/02/16 22:23:35.31 s3CpYSMp.net
人生の真実もう一つ。
ショパンは恋人の髪の毛を日記に挟んで
別れてからも大切に持っていた。
この話を思い出すと「切ないな」
と思うのだが、女子にこの話をすると
「気持ち悪い」と言われるｗ
789:１３２人目の素数さん
20/02/16 22:27:19.93 JZ/SimBp.net
絞め殺し無花果。。。
ジャングルツリー。。。
な～んてね♪
790:１３２人目の素数さん
20/02/16 22:28:45.73 JZ/SimBp.net
今日のテキトーポジショントーク終わり♪
お休みなさ～い。。。
791:１３２人目の素数さん
20/02/16 22:43:52.66 s3CpYSMp.net
男は昔好きだった子のこともずっと好きだったりする（名前付き保存）
が、女子は昔のことはどうでもよくて今の彼が一番（上書き保存）なんだと。
「女の子は妊娠できる期間が限られてるからじゃない？」
と絶対音感のある女の子が言っていた・・・・。
792:１３２人目の素数さん
20/02/16 22:48:19.51 JL9/7puy.net
洗濯行李ぐらいまともに勉強しとけよきちげぇ共
793:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:13:55.20 tibq+GyR.net
>>741
どうも。スレ主です。
レスありがとう（＾＾
794:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:14:53.57 tibq+GyR.net
>>720-740
皆さま、どうも。スレ主です。
レスありがとう（＾＾
795:１３２人目の素数さん
20/02/17 07:22:44.09 mpmKBBUD.net
>>738
訂正です。。。
＞ジャングルツリー
↓
ジャングルツリーに絡み着いて纏わり付き、絞め上げて立ち枯れさせ倒木させて行く匍匐性樹木・・・・・
でした。。。
いたちの下ネタチャット嵐みたいに大暴れしちゃってごめんなさいでした。。。
高ＩＱスレのギフテッドにバレンタインに粘着発火したら、いつも通り逃げられて、スレがフリーズしちゃって、
ムシャクシャして誕生日の余った
シャンパンをやけ酒連続３日間で
四日酔いの勢いでやっちゃいました。。。ごめんなさいでした。。。
ギフちゃまが戻って来て、気まずいスレも直ったので、もうしません...
ごめんなさい。。。
796:１３２人目の素数さん
20/02/17 07:24:28.09 mpmKBBUD.net
主様お早うございます。
今日も１日🌈ご機嫌よう🍀でございます。。。
797:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:26:20.56 tibq+GyR.net
>>719
＞有限と無限は異なるものだからその差(違い)は何か？
レーヴェンハイム?スコーレムの定理をご存知でしょうか？ｗ（＾＾；
「定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す」ｗｗ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
(抜粋)
レーヴェンハイム?スコーレムの定理（英: Lowenheim?Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
例と帰結
レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
例えば、真の算術 (true arithmetic) には非可算なモデルがあり、それらは一階のペアノ算術を満足するが、同時に帰納的でない部分集合を持つ。
さらに悩ましかったのは、「集合論の可算なモデルの存在である。それにもかかわらず、集合論は実数が非可算である」という文を満たさなければならない。
この直観に反するような状況はスコーレムのパラドックスと呼ばれ
798:１３２人目の素数さん
20/02/17 07:27:19.87 mpmKBBUD.net
えもはモエ(ﾛｾﾞ)で発狂酒乱で大暴れしちゃって。。。スレを壊しちゃってごめんなさい。。。
酒乱を治しにリハブに
滝に打たれにイッて参ります。。。
799:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:27:25.19 tibq+GyR.net
>>746 文字化け訂正
レーヴェンハイム?スコーレムの定理
↓
レーヴェンハイム-スコーレムの定理
800:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:43:25.38 tibq+GyR.net
>>746 補足
＜ちょっと思いついたので書いておく＞
さらに、時枝の可算無限数列のシッポの同値類は、それぞれ、共通のシッポを持つことが、コンパクト性定理から言える
証明の筋は、下記の”４色定理と無限地図”に同じ
つまり、同値類内の任意の有限部分を取ると、これらは共通のシッポを持つ（∵推移律）
よって、コンパクト性定理より、1つの同値類全体でも、共通のシッポを持つ
コンパクト性定理は、非可算集合に対しても成立する
QED
（>>262より）
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
ロジックの部屋
坪井明人 筑波大
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
数理論理学ＩＩ
(抜粋)
第 2 章 モデル理論の基礎 21
2.2 コンパクト性定理 . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.5 応用例 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.5.1 ４色定理と無限地図 . . . . . . . . . . . . . . . . . . . 27
定理 53 (コンパクト性定理). T を閉論理式の集合とする．このとき次は同値
である：
1. T はモデルを持つ；
2. T の任意の有限部分集合 T0 はモデルを持つ．
証明. 1 ⇒ 2 は自明である．2 ⇒ 1 の対偶を示す．
2.5 応用例
2.5.1 ４色定理と無限地図
平面内に書かれた有限個の国を持つ地図は，４色を用いて隣国が同じ色にな
らないように塗り分けられる（ Kenneth Appel and Wolfgang Haken）．実は
この４色定理は無限個の国を持つ地図でも成立する．このことはコンパクト性
定理を使うと簡単に分かる．
T がモデルを持つことを示せば十分である．コンパクト性定理により，T の
各有限部分がモデルを持つことを示せばよい．しかし，それは有限地図 (有限
グラフ) に対する４色定理から明らかである．
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト性定理
(抜粋)
歴史
1930年にゲーデルが可算集合の場合について証明した。非可算の場合については、Anatoly Maltsevが1936年に証明を与えた[1][2]。
801:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:44:42.05 tibq+GyR.net
>>747
どうも。スレ主です。
レスありがとう
心配するな
スレは壊れていない
壊れているのは、５ｃｈ数学板の方だよｗ（＾＾；
802:１３２人目の素数さん
20/02/17 07:46:07.91 iBvH8kpv.net
>>670
＞どうせ早死にするんだから
。。。🤔(預言者メート？...)
803:１３２人目の素数さん
20/02/17 07:50:16 iBvH8kpv.net
>>750
主様、万が一奥様に
804:逃げられたら、いつでも、えもにご相談くださいね♪ えもがロゼの🍾モエちゃん(ﾎﾓｺﾛﾘ入ﾘ) 持って🥂慰めに飛んでイキまーす♪ じゃ今日も良い１日をお過ごしください♪
805:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:53:46.86 tibq+GyR.net
>>749 補足
＜これも思いついたので書いておく＞
１．時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む
２．共通のシッポの決定番号は、無限大超自然数 ωになる
∵ 背理法による。もし、共通のシッポの決定番号が有限ｍとする
しかし、必ずｍ＋1となる可算無限数列Aが、どの同値類内に存在する
Aは、同値類内の全ての元と同値（～）になるので、ｍ＋1になる部分を、共通のシッポに取り直せる
これは、共通のシッポの決定番号が有限ｍであったことに矛盾する
この矛盾は、決定番号が有限ｍとしたことに起因する
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 が全ての
無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい
つも同じ数」という意味であり，より直感的な収束の定義である．
806:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:54:57.87 tibq+GyR.net
>>752
＞主様、万が一奥様に逃げられたら、いつでも、えもにご相談くださいね♪
ご心配、ありがとう
感謝、感謝！！（＾＾
807:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 07:56:24.12 tibq+GyR.net
>>753 タイポ訂正
しかし、必ずｍ＋1となる可算無限数列Aが、どの同値類内に存在する
↓
しかし、必ずｍ＋1となる可算無限数列Aが、この同値類内に存在する
808:１３２人目の素数さん
20/02/17 08:45:24.16 hxAfh7NH.net
>>753
>２．共通のシッポの決定番号は、無限大超自然数 ωになる
なりません。決定番号は自然数ですから。
時枝戦略を論ずるなら時枝戦略を正しく理解することから始めしましょう。
809:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/17 09:14:52.64 mxishM0n.net
>>756
>>>753
>>２．共通のシッポの決定番号は、無限大超自然数 ωになる
>なりません。決定番号は自然数ですから。
（>>753より）
「１．時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む」
をどうぞ
>時枝戦略を論ずるなら時枝戦略を正しく理解することから始めしましょう。
時枝戦略を批判的によみましょう
所詮、『箱入り無数目』という
おちゃらけな題名の記事ですから（数学セミナー2015年11月号）
810:１３２人目の素数さん
20/02/17 14:37:24 qrK3/hex.net
数学掲示板群
URLﾘﾝｸ(x0000.net)
アルファ・ラボ|学術掲示板群
URLﾘﾝｸ(x0000.net)
811:１３２人目の素数さん
20/02/17 18:35:50.75 OIES02uk.net
>>746
> いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないこと
それでも有限と無限が同じではないでしょう
>>754
> 共通のシッポの決定番号が有限ｍであったことに矛盾する
> この矛盾は、決定番号が有限ｍとしたことに起因する
間違い
「共通のシッポの決定番号が有限にならない」ことは可算無限集合に起因する
スレ主は自然数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を有限にしなければいけない
812:１３２人目の素数さん
20/02/17 18:48:25.81 n7wiPCWM.net
共通のシッポてなんやねん
日本語でおｋ
813:１３２人目の素数さん
20/02/17 19:00:32.21 n7wiPCWM.net
普通の人間なら意味不明な書き込みに５年もつきあえるかよ
全部>>1のジエンだろう
814:１３２人目の素数さん
20/02/17 19:08:09.14 OBMvdNjz.net
「共通のシッポ」意味よく分かりますよ。
時枝記事読んで同値類の定義知ってれば誰でも分かる。
815:１３２人目の素数さん
20/02/17 19:20:26.99 n7wiPCWM.net
>>762
同値類の定義をどうぞ
↓
816:Mara Papiyas
20/02/17 19:30:08.06 bZMpz2gg.net
>>746
＞レーヴェンハイム・スコーレムの定理をご存知でしょうか？
無意味
自然数全体の集合Ｎは有限集合ではない
自然数論はそもそも有限モデルを持たない
これ豆なｗｗｗ
817:Mara Papiyas
20/02/17 19:31:02.12 bZMpz2gg.net
>>749
＞時枝の可算無限数列のシッポの同値類は、
＞それぞれ、共通のシッポを持つことが、
＞コンパクト性定理から言える
そもそも可算無限集合の尻尾の同値集合はコンパクトではない
したがって
＞同値類内の任意の有限部分を取ると、これらは共通のシッポを持つ（∵推移律）
がいえても、そこから
＞よって、コンパクト性定理より、1つの同値類全体でも、共通のシッポを持つ
は、いえない
残念だったな おバカのSet A ｗｗｗｗｗｗｗ
818:Mara Papiyas
20/02/17 19:32:09.08 bZMpz2gg.net
>>753
＞時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む
＞共通のシッポの決定番号は、無限大超自然数 ωになる
＞ ∵ 背理法による。もし、共通のシッポの決定番号が有限ｍとする
＞ しかし、必ずｍ＋1となる可算無限数列Aが、どの同値類内に存在する
＞ Aは、同値類内の全ての元と同値（～）になるので、ｍ＋1になる部分を、共通のシッポに取り直せる
＞ これは、共通のシッポの決定番号が有限ｍであったことに矛盾する
＞ この矛盾は、決定番号が有限ｍとしたことに起因する
超自然数を考えても、同値類全体の共通の尻尾の存在は導けない
これが証明だ！！！
∵ 背理法による。もし、共通のシッポの決定番号をωとする
しかし、必ずω＋1となる無限数列Aが、どの同値類内にも存在する
Aは、同値類内の全ての元と同値（～）になるので、ω＋1になる部分を、共通のシッポに取り直せる
これは、共通のシッポの決定番号がωであったことに矛盾する
この矛盾は、そもそも共通の尻尾が存在するとしたことに起因する
相変わらず、頭悪いな Set A ｗｗｗｗｗｗｗ
819:１３２人目の素数さん
20/02/17 19:33:38.75 bZMpz2gg.net
>>757
＞時枝戦略を批判的によみましょう
Set Aはまずに己の直感を批判的に検討しろ
所詮、工学部卒の筋肉馬鹿の素人の直感だろがｗｗｗｗｗｗｗ
820:１３２人目の素数さん
20/02/17 19:41:38.99 bZMpz2gg.net
>>760
＞共通のシッポてなんやねん
実数の無限列a,b∈R^Nが、共通の尻尾を持つとは
ある自然数ｎが存在して、ｎ以上の任意の自然数ｍについて
列a,bのm番めの項、a_m、b_mが等しくなること
論理式で書くと以下の通り
∃n∈N∀m∈N.ｎ<=ｍ⇒a_m=b_m
逆に実数の無限列a,b∈R^Nが、共通の尻尾を持たない場合
任意の自然数ｎについて、ｎ以上のある自然数ｍが存在して
列a,bのm番めの項、a_m、b_mが等しくないこと
論理式で書くとこうなる
∀n∈N∃m∈N.ｎ<=ｍ＆not(a_m=b_m)
821:Mara Papiyas
20/02/17 19:46:30.08 bZMpz2gg.net
さて、可算無限個の無限列
1000000…
0100000…
0010000…
0001000…
0000100…
0000010…
0000001…
…
を考える
これらのうちどの有限個の列を選んでも共通の尻尾を持つ
しかし上記の無限個の列全体の共通の尻尾は存在しない
なぜならどんな自然数ｎを選んでも
そこから先で不一致な項をもつ
2列が存在するから
コンパクト性定理 破れたり
ギャハハハハハハ！！！
822:Mara Papiyas
20/02/17 19:50:18.56 bZMpz2gg.net
>>769は超準モデルの場合にも拡大できる
標準モデルだろうが超準モデルだろうが
そのモデルの自然数ｎについて
ｎ番目の項だけ１となり他の項が０となる
無限列全体の集まりを考えればいい
823:１３２人目の素数さん
20/02/17 20:19:48.88 n7wiPCWM.net
>>768
それが時枝文と何の関係があるの
824:１３２人目の素数さん
20/02/17 21:03:59.65 hxAfh7NH.net
>>757
>（>>753より）
>「１．時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む」
>をどうぞ
意味不明。
埋め込んだところで無駄だと思うが、ともかく埋め込むというならまずは埋め込みを示せよｗ
で埋め込むとなぜ決定番号が自然数でなくなるのか示せよｗ
何も示してないのになに何か示した気になってんだ？バカなの？
>時枝戦略を批判的によみましょう
批判的に読むことと�
825:ﾒ髄反射で拒絶することは違いますけど何か？
826:現代数学の系譜 雑談 古典ガロア理論も読む
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'' の３つの場合で、s,s',s''の３つとも、2015番目から先一致するから、2015番目から先の数列が ３つの（シッポの）共通部分
ｒ＝s'とすれば、上記で決定番号はd1=1962とd2=2015だ
共通部分は、max(d1,d2) ＝2015から
これを、遅ればせながら（本当は>>753で定義しておくべきだったが）
これを共通部分の決定番号と定義する
即ち、
１）一つの同値類内の有限ｍ個の元の族の場合で、1つ代表を決めて、d1,d2,・・・dm-1 の最大値 max(d1,d2,・・・dm-1) とする
２）同様に、決定番号は、一つの同値類全体の共通部分でも、同様に決定番号を考えることができる
３）超自然数の集合 *Nの中で考えて（∵ >>753より）
一つの同値類全体では、これは当然∞に発散するから、超自然数の集合 *Nではωと考えて良い
４）つまり、一つの同値類全体で考えると、共通部分の決定番号は有限では収まらず∞に発散し、超自然数の集合 *Nの中ではωになる
827:１３２人目の素数さん
20/02/17 23:09:39.18 OIES02uk.net
>>773
> 一つの同値類全体で考えると、
そこから1つ選ばないと出題できないですよ
だからスレ主が挙げていることからは
時枝戦略が成立しない数列は出題出来ないという結論にしかならないです
828:１３２人目の素数さん
20/02/17 23:21:09.55 OBMvdNjz.net
一つの同値類に属するすべての元に共通のシッポがあるなんて
時枝先生は言ってないし、解法に必要でもありませんね。
829:１３２人目の素数さん
20/02/17 23:29:05.06 hxAfh7NH.net
>>773
>>「共通のシッポ」意味よく分かりますよ。
>>時枝記事読んで同値類の定義知ってれば誰でも分かる。
>ありがとう。ザッツ ライト！！
誰も存在するなんて言ってませんよ？意味が分かると言ってるだけで
830:１３２人目の素数さん
20/02/18 00:11:31 4LYhi4WJ.net
>>775
毎度の事だけどなにいってんのかわかんね
日本語でおｋ
831:現代数学の系譜 雑談 古典ガロア理論も読む ◆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)
射影幾何学
(抜粋)
透視図法に関する理論が、事実射影幾何学の源流の一つともなっている。初等的な幾何学とのもう一つの違いとして「平行線は無限遠点において交わる」と考えることが挙げられる。
これにより、初等幾何学の概念を射影幾何学へ持ち込むことができる。これもやはり、透視図において鉄道の線路が地平線において交わるといったような直観を基礎に持つ概念である。
832:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 00:18:06 twaSKzXK.net
>>776
存在は、コンパクト性定理から従う
同値類内の任意の有限部分が共通部分を持つなら、それは同値類全体に拡張できる（>>749）
833:１３２人目の素数さん
20/02/18 00:19:13 wEKqmQtS.net
>>777
おまえがバカでわかってねーだけじゃん うせろよ
834:１３２人目の素数さん
20/02/18 00:22:10 wEKqmQtS.net
>>779
>>772
835:１３２人目の素数さん
20/02/18 00:23:29 4LYhi4WJ.net
↑
>>775の自演乙
836:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 00:23:52 twaSKzXK.net
>>766
> しかし、必ずω＋1となる無限数列Aが、どの同値類内にも存在する
それは、なにも矛盾していない
ω＋1の長さの数列を考えればね
ωを考える意義は、Ｎをコンパクト化しているってことだよ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
実数直線
(抜粋)
実数直線はいくつかの方法でコンパクト化することができる。R の一点コンパクト化は円周（実射影直線）であり、付け加えられた点は符号なしの無限大と考えることができる。
別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。
837:１３２人目の素数さん
20/02/18 00:30:19 wEKqmQtS.net
決定番号は定義から自然数。
ωは自然数ではない。
よって
>２．共通のシッポの決定番号は、無限大超自然数 ωになる
は間違い。
存在しない共通のシッポを存在させようとして定義違反してるバカ。
838:１３２人目の素数さん
20/02/18 00:41:05 4LYhi4WJ.net
と、自演バカ
839:１３２人目の素数さん
20/02/18 06:38:22 eGolRFra.net
>>783
＞ωを考える意義は、Ｎをコンパクト化しているってことだよ
はい 改ざん
はい 詐欺
無限列は、R^Nです
Nのコンパクト化N∪｛∞｝による
R^（N∪｛∞｝）です
どうして嘘をつき続けるかね Set Aは
そんなに自分は数学の天才だと自惚れたいかね
840:１３２人目の素数さん
20/02/18 06:39:51 eGolRFra.net
いかん、肝心なところをうち間違った
云いたいことは
R^N＝R^（N∪｛∞｝）
ではない
この一点
ーーーーーーーーーーー
>>783
＞ωを考える意義は、Ｎをコンパクト化しているってことだよ
はい 改ざん
はい 詐欺
無限列は、R^Nです
Nのコンパクト化N∪｛∞｝による
R^（N∪｛∞｝）ではありません
どうして嘘をつき続けるかね Set Aは
そんなに自分は数学の天才だと自惚れたいかね
841:１３２人目の素数さん
20/02/18 06:42:20 eGolRFra.net
時枝の主張
R^Nでは「箱入り無数目」戦略が成功する
Set Aの主張
R^(N∪{∞})では「箱入り無数目」が失敗する！
結論
R^NとR^(N∪{∞})は異なるのだから当たり前
ああ、くだらん
842:１３２人目の素数さん
20/02/18 06:51:29.76 eGolRFra.net
このスレ、マジで終わったな
843:１３２人目の素数さん
20/02/18 09:14:00 wEKqmQtS.net
バカはとにかく>>772に答えなさい
844:１３２人目の素数さん
20/02/18 18:42:55 SmTAcwl4.net
>>780
なりぷっちゃま。。。
(...可愛ｅ💗)
845:１３２人目の素数さん
20/02/18 18:53:38 SmTAcwl4.net
ﾂﾝﾂﾝ!(;´-`)σ>>789
>>670←ちかぢかﾀﾋんじゃう
ご予定がおありなんですか？
846:１３２人目の素数さん
20/02/18 18:55:03 SmTAcwl4.net
＞どうせ早死にするんだから
・・・これは・・・？😵
847:１３２人目の素数さん
20/02/18 18:56:30 SmTAcwl4.net
・・・気になりますよ～・・・🤔。。。
848:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 18:56:53 TcGEdQgu.net
>>787
いやね、数学の常套手段だけれども
ある空間に移って、そこで見通しを付けて
逆に、元の空間に戻ると、問題が解けている
偏微分方程式で、フーリエ変換の空間で考えて
逆フーリエ変換するみたいなこと
Nをコンパクト化して考えて
それは結局
決定番号ｄの極限を考えることに相当しているが
そして、元の素朴なN（自然数）のｄを考えれば
時枝記事の戦略のトリックが見易いということ
数学の常套手段です
849:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/18 18:58:03 TcGEdQgu.net
>>789
スレは終わらない
終わっているのは
おサルのお前さんだよｗ（＾＾；
850:１３２人目の素数さん
20/02/18 19:33:39 eGolRFra.net
>>795
数学の分からん工学馬鹿の勘違いですな
「コンパクト化して考える」とかほざくのが馬鹿ｗ
要するにＮの中のありもしない架空の∞をデッチあげて
その∞が決定番号になる確率が１だと吠えまくる
時枝記事の戦略のトリック？ 違う
一点コンパクト馬鹿 Set A の口車のトリック
詐欺の常套手段ｗｗｗ
>>796
一点コンパクト詐欺 このスレ完全に終わったな
Set Aも人間として完全に終わったな まさに地獄の餓鬼畜生ｗ
851:１３２人目の素数さん
20/02/18 19:35:24 VLbYJPF3.net
>>795
それは結局元のR^Nの代表元で考えれば時枝戦略は成り立つ
ということです
回答者は100列のR^Nの元を作ってR^Nの代表元を使うだけだから
852:１３２人目の素数さん
20/02/18 19:36:09 SmTAcwl4.net
>>797
ﾀﾋんじゃうの？
853:１３２人目の素数さん
20/02/18 19:37:19 eGolRFra.net
アレクサンドロフ拡大
URLﾘﾝｸ(ja.wikipedia.org)
「位相空間論におけるアレクサンドロフ拡大は、
一点を追加することにより非コンパクト位相空間を拡大して
コンパクト空間を得る方法である。
名称はロシア人数学者パヴェル・アレクサンドロフに因む。」
Set AのAはAlexandroffの頭文字らしいｗｗｗｗｗｗｗ
854:１３２人目の素数さん
20/02/18 19:43:08.59 eGolRFra.net
>>798
R^(N∪{∞})の尻尾の同値類は
R^Nの尻尾の同値類とは全く異なる
R^(N∪{∞})の場合、∞番めの箱の中身だけで同値かどうかが決まる
つまり有限列の場合と全く同じ
だ・か・ら ワンポイントコンパクト馬鹿のSet Aが食いついた
こいつはどうやら数学で唯一理解できたのが
「ワンポイントコンパクト化」だけのようだ
一時期、アホのようにリーマン球面と吠えまくってしｗｗｗ
855:１３２人目の素数さん
20/02/18 19:47:32.46 eGolRFra.net
Set Aにとって、いかなる集合もコンパクトでなければならないらしいｗ
Set Aにとって自然数全体のNは実はそのままでは集合でなく
Nに一点∞を追加してコンパクト化することではじめて集合になるらしい
Rも一点∞を追加してコンパクト化することではじめて集合になるらしい
（つまりSet Aにとって実数の全体は円であるｗ）
Cも一点∞を追加してコンパクト化することではじめて集合になるらしい
（つまりSet Aにとって複素数の全体は球であるｗ）
856:１３２人目の素数さん
20/02/18 19:50:06.70 LIST9h+x.net
{∞}を追加してもそれを無視することはできる
無限長のシッポがなくなるわけではないんだから
「当てられる」と事実に変わりはない。
857:１３２人目の素数さん
20/02/18 19:51:48.00 eGolRFra.net
さて、箱入り無数目の話は、
Set Aの一点コンパクト詐欺で幕を閉じたので
別のネタでも提供しようか
Q.１，２，４，８、・・・、２＾ｎ という数列から１つ数を選んだとき、
その最高桁が１となる「確率」はいかほどか？
別に初めから無限個の集合で考えなくていいぞ
ｎを有限としてｎ→∞としてもかまわんし
（そこにトリックはないから）
858:１３２人目の素数さん
20/02/18 19:54:17.02 eGolRFra.net
>>803
∞を追加した場合、
ｒ１、ｒ２∈R＾（N∪｛∞｝）で
ｒ１、ｒ２の∞番目だけ一致する
�
859:h同値”な数列が存在する しかしこのような数列は、R＾Nでは同値でない これがSet Aの”一点コンパクト詐欺”のトリック！！！
860:１３２人目の素数さん
20/02/18 19:55:06.35 eGolRFra.net
さて、箱入り無数目の話は、
Set Aの一点コンパクト詐欺で幕を閉じたので
別のネタでも提供しようか
Q.１，２，４，８、・・・、２＾ｎ という数列から１つ数を選んだとき、
その最高桁が１となる「確率」はいかほどか？
別に初めから無限個の集合で考えなくていいぞ
ｎを有限としてｎ→∞としてもかまわんし
（そこにトリックはないから）
861:１３２人目の素数さん
20/02/18 20:07:29.51 wEKqmQtS.net
反例まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
862:１３２人目の素数さん
20/02/18 20:07:44.77 wEKqmQtS.net
証明のギャップまだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
863:１３２人目の素数さん
20/02/18 20:08:18.70 wEKqmQtS.net
>>772の回答まだ～？
☆ ﾁﾝ ﾏﾁｸﾀﾋﾞﾚﾀ～
ﾏﾁｸﾀﾋﾞﾚﾀ～
☆ ﾁﾝ 〃 ∧＿∧
ヽ＿＿_＼(＼･∀･)
＼＿／ ⊂ ⊂＿)
／￣￣￣￣￣ ／|
|￣￣￣￣￣￣| |
| 愛媛みかん |／
￣￣￣￣￣￣
864:１３２人目の素数さん
20/02/18 20:08:49.96 LIST9h+x.net
>>804
それってドクトル・クーガーに似た話が載ってませんでした？
最初に考えたのは志村五郎氏だったとか。
865:１３２人目の素数さん
20/02/18 20:14:23.01 eGolRFra.net
>>810
そうだとすると、志村五郎は”元ネタ”をばらさなかったみたいだな・・・
866:１３２人目の素数さん
20/02/18 20:14:31.53 LIST9h+x.net
>>805
SetAが勝手に{∞}を追加して
「{∞}で一致なら同値だろう」と言っても
「同値関係は{∞}を除いたシッポで決めるんだよ！」
とぶん殴って定義を回復すれば、当てられる事実に変わりはないｗ
867:１３２人目の素数さん
20/02/18 20:17:25.28 LIST9h+x.net
>>811
元ネタがあったとは知りませんでした。
868:１３２人目の素数さん
20/02/18 20:20:52.30 eGolRFra.net
>>812
Set Aが∞を追加した理由は「同値類の改変」にあるので
ISILのように抵抗を続けるに違いない・・・ああ、アホくさｗ
URLﾘﾝｸ(ja.wikipedia.org)
869:１３２人目の素数さん
20/02/18 20:22:40.57 eGolRFra.net
>>813
まあ、数学者なら”元ネタ”を知らなくても
独立で答えを見つけるだろうな
そんなに難しい話じゃないし
これ工学屋も知っとくと役に立つよ
870:１３２人目の素数さん
20/02/18 20:29:10 eGolRFra.net
>>804のヒント
デジタルじゃなくアナログ
電卓じゃなく計算尺
871:１３２人目の素数さん
20/02/18 20:43:50 wEKqmQtS.net
詐欺師はまた逃亡か
872:１３２人目の素数さん
20/02/18 20:48:48 LIST9h+x.net
>計算尺
パイロットウォッチに回転式のそういうのが付いてて
使い方を調べたことがありましたが、実際使った験しがないｗ
昔と違ってスマホで計算する方が早いし見易いですからね。
計算機登場前の昔は実際に使われていたらしい。
873:１３２人目の素数さん
20/02/18 20:58:55 LIST9h+x.net
２，４，８、・・・、２＾ｎ が等間隔になるような尺度を考えればいいってことですね。
874:１３２人目の素数さん
20/02/18 21:09:07 eGolRFra.net
>>819
そこはその通りですが、それだけだと半分ですかね
まあ、でもそれだけでも答え出せないこともないか
ちなみに私が初めて見た計算尺はコンサイスの円形のものですね
父親が使っていたものでしたが
使い方は別にそんなに難しくはないですよ
ただ私の世代はもう学校では計算尺の使い方は習わなかったですけどね
875:１３２人目の素数さん
20/02/18 21:14:52 eGolRFra.net
>>818
パイロットウォッチの計算尺
URLﾘﾝｸ(www.rasin.co.jp)
ああ、もうこれ見たら答え丸わかりだなｗ
ま、でも普通の計算尺でも同じか
円グラフか積み上げ棒グラフかの違いだけで
876:１３２人目の素数さん
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と見做す
877:１３２人目の素数さん
20/02/18 21:34:12 SmTAcwl4.net
えもじのいたちカキコが恥ずかしいをですか？
怒涛のスレ流しな感じなんですけど？
878:１３２人目の素数さん
20/02/18 21:35:19 SmTAcwl4.net
>>823
訂正します。
＞恥ずかしいをですか？ ❌
恥ずかしいんですか？ ⭕
879:１３２人目の素数さん
20/02/18 21:41:23 SmTAcwl4.net
たしかにまた呑んじゃいましたけど。
やっすいざくろ梅酒で～す♪
ﾀﾋぬとかﾀﾋなないとか、怖くてしらふでスレ見れな～ぃ！ですもんねー。だ。
880:１３２人目の素数さん
20/02/18 21:43:22 SmTAcwl4.net
わたしがアル中でﾀﾋんだらアノ嵐キャラの中年爺のせいだと思いまーす。
881:１３２人目の素数さん
20/02/18 21:44:51 SmTAcwl4.net
たすけてー！
しぬしぬ詐欺の爺がいまーす！
882:１３２人目の素数さん
20/02/18 21:45:44 SmTAcwl4.net
お休みなさーい！
ウソつき爺っちゃま！
883:１３２人目の素数さん
20/02/18 21:49:45 SmTAcwl4.net
昔の人の迷言
年寄りの趣味と云えば
「死んだふり」
年寄りの口癖と云えば
「おれももう長くねえなぁ・・・」
(↑２０年言い続けます。)
もういちいち爺っちゃまの口癖は
本気にしなくて良いんですよね。
884:１３２人目の素数さん
20/02/18 21:51:05 SmTAcwl4.net
( ´_ゝ`)ﾌｯ!嘘吐ｷ野郎ｶ...
885:１３２人目の素数さん
20/02/18 21:56:06.99 SmTAcwl4.net
＠ ＠ ＠
＠ ＠
＠ 酔っぱらっちゃった～ ＠
＠ ＠
＠ めがまわる～ ＠
＠ めまいがする～＠
お休みなさ～ぃ。。。
爺以外の方々、主様、
度々お騒がせ致しまして
誠に申し訳ございませんでした。
失礼致しました。
かしこ
886:１３２人目の素数さん
20/02/18 21:59:43.90 SmTAcwl4.net
あ、すう板らしく、
＼＼＼
📐📏 ﾎｨｮｯ!
算数なんか大っキラーイ！
ですよーだ。
887:１３２人目の素数さん
20/02/18 22:05:46.09 eGolRFra.net
>>822
ま、だいたい3/10なんですけどね
正確にはlog_10(2)=0.303…です
ついでにいうと最初の2^nの最初の10だと
最上位の桁が7と9の場合が出てきませんけど
計算し続ければいずれ出てきます
一般に最上位の桁がｉ（＝１~９）の確率は
log_10(1+1/ｉ)です
これ、ベンフォードの法則っていうらしいです
ベンフォードは物理学者だそうですけど
ただ最初に気づいたのはこの人じゃなくて
天文学者のサイモン・ニューカムだそうです
888:哀れな素人
20/02/18 22:09:32.47 fl8DAVdk.net
スレ主よ、お前のスレも変なのがいっぱい出て来て無茶苦茶だな（笑
僕のスレも変なのに占領されて無茶苦茶だ（笑
しかしサル石は僕のスレにはほとんど出て来ないし、
以前のような噛み付きもしなくなった（笑
サル石に、お前にあまり噛み付くな、と説教してやったから、
あいつも少しは手加減してくれるようになるだろう（笑
889:１３２人目の素数さん
20/02/18 22:09:40.09 eGolRFra.net
数学屋の私は初めて知ったんだけど
工業規格で標準数というのがあって
これも（定義の仕方からいって当然だけど）
ベンフォードの法則が当てはまってる
標準数
URLﾘﾝｸ(ja.wikipedia.org)
890:１３２人目の素数さん
20/02/18 22:10:00.41 SmTAcwl4.net
ヽ( ･∀･)ﾉ┌┛Σ(ノ `Д´)ノ>>833
891:１３２人目の素数さん
20/02/18 22:11:36.58 SmTAcwl4.net
!!( ; д)ﾟ ﾟ誰？>>835
892:１３２人目の素数さん
20/02/18 22:13:07.94 SmTAcwl4.net
蹴っちゃっ...
893:たあ！ ＠ ～＠( ´∀`)ｱﾊﾊﾊ!♪ ＠ ＠
894:１３２人目の素数さん
20/02/18 22:14:54.58 eGolRFra.net
>>835
wikiの「標準数」には、定義の記載がなかったな
ということで定義は以下を参照
URLﾘﾝｸ(kousyoudesignco.dip.jp)
標準数は対数目盛ではほぼ等間隔になる
895:１３２人目の素数さん
20/02/18 22:15:20.46 SmTAcwl4.net
ま、いっか！
バーチャルキ━━ック❗💖だからな❗
'`＠,､('∀`)♪'`💗,､＠( ´∀`)💖'`,､＠('∀`)♪'`,､＠
896:１３２人目の素数さん
20/02/18 22:17:16.14 SmTAcwl4.net
( ^▽^)ノ∠※。*°☆>>839
ばかじじぃっちゃま乙！w
897:１３２人目の素数さん
20/02/18 22:19:51.94 SmTAcwl4.net
(oﾟ∀ﾟ)=○)>>839)∴
可愛💖がっちゃおぉーっと❗
しぬしぬじじぃっちゃまに
しねしねパ━━ンチｯ❗w
898:１３２人目の素数さん
20/02/18 22:20:55.09 SmTAcwl4.net
'`＠,､('∀`)♪'`,､💖( ´∀`)'`＠
💗,､('∀`)♪'`,､
899:１３２人目の素数さん
20/02/18 22:21:40.89 wEKqmQtS.net
>>834
>僕のスレも変なのに占領されて無茶苦茶だ（笑
一番変な奴が言うなｗ
900:１３２人目の素数さん
20/02/18 22:21:46.68 SmTAcwl4.net
＠じゃお休みなさ～い＠＠
901:１３２人目の素数さん
20/02/18 22:25:49.11 SmTAcwl4.net
(○´∀｀人´∀｀○)>>844
なりぷっちゃま💞うえ〰いぃ♪
ぷっちゃまも★アノくそ爺★は
やめちゃいな～！ですよーだ♪ｗｗｗ
あんなの💩クソ💩だと思いましたー！だ。
902:１３２人目の素数さん
20/02/18 22:28:36.51 SmTAcwl4.net
今日の老人虐待終わりっ！と。
あばよ！クソ爺っちゃま！ｗｗｗｗ
ﾁﾞﾁﾞｨｵﾊﾞｶｻﾝﾀﾞﾈ〰!w
(*ﾉ▽｀*)σ
903:１３２人目の素人さん♪
20/02/18 22:36:56.43 t2JKKS7T.net
あ、お初にお目もじいたします。
絵文字ともうします。
えもやんってお呼びくださいませ♪
＼＼
━○ﾍﾟｺﾘﾝ♪ >>834
┃
904:１３２人目の素人さん♪
20/02/18 22:38:19.05 t2JKKS7T.net
>>848
絵文字がズレました〰！
＠＠酔っぱらい運転中＠＠だから。。。
905:１３２人目の素人さん
20/02/18 22:41:56.90 t2JKKS7T.net
ＩＤ変わってる〰！？
ま、こてにしますから＠ＮＧど～ぞ＠♪＠こんどこそ。。。お休みなさ～い＠
(*//ω//)酔ｯﾊﾟﾗｨｯﾃ楽cﾅｧ～♪
906:１３２人目の素人さん
20/02/18 22:43:33.22 t2JKKS7T.net
哀れな素人さまは独身でらっしゃいますか？
907:１３２人目の素人さん
20/02/18 22:45:10.26 t2JKKS7T.net
なんてね～🌺 ＠
＠ (*´∀`) ＠
ｵﾔｽﾐﾅｻ〰ｨ💗
908:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 00:12:08 WuOFpvsc.net
>>834
哀れな素人さん、どうも。スレ主です。
>サル石に、お前にあまり噛み付くな、と説教してやったから、
>あいつも少しは手加減してくれるようになるだろう（笑
ご心配なく
私は平気です
おサルは、単なるアホですからｗ
おサルは、ここで放し飼いが、世間様にご迷惑にならず 良いと思っています（＾＾；
909:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 00:16:02 WuOFpvsc.net
>>812
＞「同値関係は{∞}を除いたシッポで決めるんだよ！」
数学としては、{∞}の あり なし 二通り考えて、比較すれば良い
それが、数学の王道でしょｗ（＾＾；
910:お邪魔虫
20/02/19 00:22:39.34 T5k5TB3D.net
あ、１言忘れてました。
えもがいつまでもこのスレに粘着しちゃうのは、去年の１２月に爺っちゃまが
希死念慮ちっくなカキコしてたから、
気になっちゃってﾓﾔﾓﾔしちゃってるんですよ～？
えもパパもずっと前、１２月に急に自★しちゃったから、気になっちゃったんですよ。
昔、パピーとマミーの別居→離婚、
財産分与でマミーが疲れて愚痴を聴かされてたから、離婚後にパピーから
最初で最後の電話にえもっぺが出ちゃった時に
「２度と掛けて来ないでくださいｯ！」
ってぶちかまして、ﾊﾟﾋﾟ&ﾏﾐの腐れ縁カッターになっちゃったんだけど。
たしかにそれっきりパピーは２度と電話して来ませんでした〰。
７年後におばさん達から
「パピーが亡くなった」
って急に１２月に聞いて、今、
墓守りをしてま〰す。
１２月に変なカキコ見ちゃってﾓﾔﾓﾔしちゃって気になっちゃうんで〰す！
それだけ。
911:１３２人目の素数さん
20/02/19 00:22:52.54 nnXPVhDc.net
>>854
>数学としては、{∞}の あり なし 二通り考えて、比較すれば良い
>それが、数学の王道でしょｗ（＾＾；
{∞}無しで当てられるのに、わざわざ劣化させて当たらないと主張
それが、詐欺師の王道でしょｗ（＾＾；
912:１３２人目の素数さん
20/02/19 00:28:31.16 T5k5TB3D.net
爺がさっさと幸せになってりゃ
もーこねーよ！すう板なんか。
数学大っキラーイ！ですよーだ。
爺、粘着されたくなきゃ、
とっとと🌺幸せ💗ぶっとけよ！
ですよーだ。
( ´_ゝ`)ﾌｯ!無理ｶ...
913:１３２人目の素数さん
20/02/19 00:35:28.19 T5k5TB3D.net
じじぃが不幸臭かったら
スレストーカーしてやっからな？
見張ってるかんな？
|_￣))ｼﾞーｯ。。。ﾏﾀ不幸ｸｯｾｪﾅ...
ストーカーが
★爺っちゃまを見張ってます・・・★
914:お邪魔虫
20/02/19 00:42:04.83 T5k5TB3D.net
じじぃが「タヒぬ」←とかまたやりやがったら、酒乱えもやんが大暴れして
じじぃん家のこのスレぶっ壊して
じじぃを５ちゃん難民のホームレスにしてやんよっ！ですよーだ！ｗｗｗｗ
えもは酔った勢いでヤラカすタイプだからね～だ♪(＠´∀`@)♪♪♪
ばぃば～い！👋爺おやすみ～♪🌺
915:１３２人目の素数さん
20/02/19 01:14:32.55 nnXPVhDc.net
>>853
>おサルは、単なるアホですからｗ
と、勝手に R^(N∪{∞}) に改竄しちゃうアホが申しております
916:１３２人目の素数さん
20/02/19 05:40:58.35 8K6AO46k.net
>>853
＞ご心配なく 私は平気です
詐欺師には心がないからな
>>854
＞数学としては、{∞}の あり なし 二通り考えて、比較すれば良い
R^Nで当たるのに、わざわざR^(N∪{∞})を持ち出して
「R^(N∪{∞})の尻尾の同値類では当たらない！」
というのは詐欺 というか精神異常
自己愛性人格障害は治らないねえ・・・
917:１３２人目の素数さん
20/02/19 05:44:06.86 8K6AO46k.net
>>856
結局、何も考えずに素人の直感だけで
「当たりっこない！「箱入り無数目」は間違ってる！」
と言い出したことを正当化するために
R^NをR^(N∪｛∞｝）にすり替える
詐欺行為を働く犯罪者におちただけ
だったな Set Aは
Set A どんな育ち方したのか知らんけど
お前の人生 これでThe ENDだよ
918:１３２人目の素数さん
20/02/19 05:45:43.43 8K6AO46k.net
>>860
Set Aに限ったことではないが
トンデモにとって大事なのは
真実じゃなくて自分の思い込み
なんだな
自分の思い込みを守るために
見え透いた嘘をつきつづける
哀しいね トンデモって
919:１３２人目の素数さん
20/02/19 05:47:49.99 8K6AO46k.net
◆jPpg5.obl6
なんでここにいるんだ
気持ち悪いなこのメンヘラ
920:１３２人目の素数さん
20/02/19 06:04:55.56 liu9ZOvc.net
>>833
>ベンフォードの法則
それは初耳でした。
数学的な証明としては、log_10(2)が無理数であることと
aが無理数のとき
a,2a,...,na (mod 1)はn→∞のとき、[0,1)上に一様分布する
というワイルの一様分布定理（1909年）から直ちに従う。
ガウスが気づいていてもおかしくないような法則ですが
「10進法であらわしたときの最初の桁の数」
というのは数学者の盲点にはなるかもですね。
921:１３２人目の素数さん
20/02/19 06:07:06.16 liu9ZOvc.net
>>864
メンヘラだな～とは思いますが、相当気に入られてますね笑
実害がなければいいのではｗ
922:１３２人目の素数さん
20/02/19 06:42:42.05 uLD0QIT0
923:.net
924:１３２人目の素数さん
20/02/19 06:45:07.91 8K6AO46k.net
>>865
ま、以下は数学の証明では必要ですが・・・はしょりました
・log_10(2)が無理数であること
・aが無理数のとき
a,2a,...,na (mod 1)はn→∞のとき、[0,1)上に一様分布する
というワイルの一様分布定理（1909年）
>>866
昨日の書き込みは酒とか睡眠薬でも飲んでるときの感じだったな
925:現代数学の系譜 雑談 古典ガロア理論も読む
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)
926:１３２人目の素数さん
20/02/19 07:55:12.63 lPhrQh5H.net
>>866
お早うございます。
僭越至極ながら、ご尊レスに
一つだけ修正を加えさせて頂きたいです。
(じじぃを「気に入って」)ないです。
小生、幼少の際より、意地悪爺は
大っ嫌いです。
ここの性悪爺は🐤舌切り雀🐦の
悪い爺さん並みのクソ爺っちゃま
だと思います。
きしねんりょ爺が
しぬしぬ詐欺を繰り返すのが
「気になって」(ﾓﾔﾓﾔしちゃって)る
だけなんです。
しぬしぬ詐欺師の悪い爺さんを
やっつけてやりたい。。。
当スレの「😏詐欺バスター」の
一員になりたいんです。
927:現代数学の系譜 雑談 古典ガロア理論も読む
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]。
928:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 08:01:01.56 WuOFpvsc.net
>>871 補足
＞南部陽一郎先生のノーベル賞とも関係している
下記だな
こういう物理からの概念が、数学に取入れられて、使われているのは、20世紀後半からよく見かけるね
URLﾘﾝｸ(ja.wikipedia.org)
自発的対称性の破れ
(抜粋)
主に物性物理学、素粒子物理学において用いられる概念であり、前者では超伝導を記述するBCS理論でクーパー対ができる十分条件、後者では標準模型においてゲージ対称性を破り、ウィークボソンに質量を与えるヒッグス機構等に見ることができる。
また、この他、磁気学における強磁性体の磁化についても発生の前後で自発的対称性の破れが考えられている。
929:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 08:05:55.67 WuOFpvsc.net
>>860
>勝手に R^(N∪{∞}) に改竄しちゃうアホが申しております
落ちこぼれさん
”lim sup”
”数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する”
大学数学では、常識では？ｗｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
上極限と下極限
数学において、数列 (an)n∈N の上極限（じょうきょくげん、英語: limit superior）および下極限（かきょくげん、英語: limit inferior）とは、nを無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の極限に（ある意味で）なりうる値を上と下からおさえるために使われる。
性質
数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。
930:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 08:08:27.23 WuOFpvsc.net
>>873 補足
(引用開始)
”lim sup”
”数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する”
大学数学では、常識では？
(引用終り)
大学数学では、自由自在に「無限大をとることを許す」
もちろん、無限大をとらない場合も考える
両方考えるのが、正解ですよｗｗ（＾＾
931:１３２人目の素数さん
20/02/19 10:09:08.98 nnXPVhDc.net
>>874
>大学数学では、自由自在に「無限大をとることを許す」
>もちろん、無限大をとらない場合も考える
>両方考えるのが、正解ですよｗｗ（＾＾
考えるのは勝手だが、もはや時枝問題ではありませんね。
なぜなら時枝問題の設定はR^NであってR^(N∪{∞})ではありませんので。
時枝問題を論じたいなら時枝問題を正しく理解することから始めましょうｗｗ（＾＾
932:現代数学の系譜 雑談 古典ガロア理論も読む
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日開催
超準解析入門
－超実数と無限大の数学－
磯野優介
数学入門公開講座
933: 平成 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 が全ての 無限大超自然数 ω に対して成立する事としてもよい事になる．これは「数列の ∞ 番目がい つも同じ数」という意味であり，より直感的な収束の定義である．
934:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 11:14:51 TtPt7jCK.net
>>876 補足
分かり易く例えで説明する
・ランダムを直感的に考えて、決定番号ｄが属する自然数の集合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;
935:１３２人目の素数さん
20/02/19 12:21:41.32 ZQUriCAf.net
>>875
自演うざいからとっとと引っこめや
936:１３２人目の素数さん
20/02/19 12:29:31.35 ZQUriCAf.net
ID:nnXPVhDc＝>>1
937:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 14:00:06 TtPt7jCK.net
>>878-879
どうもスレ主です。
よくぞ言ってくれましたｗ（＾＾；
自演じゃないが、要するに、似た底辺レベルだと、
ID:nnXPVhDcのあほサルのことを
認識されているということですね
分かりますｗｗ（＾＾
（絶対に数学科修士卒のレベルにはないぞよ、おサルはｗｗ）
938:１３２人目の素数さん
20/02/19 17:26:21.40 Yib8Z78Q.net
自演うざいぞー
939:現代数学の系譜 雑談 古典ガロア理論も読む
20/02/19 18:25:33.25 TtPt7jCK.net
>>877 補足の追加
１．下記の 時枝記事で、可算無限数列の任意の箱の中の数は、他の数と独立・無関係と仮定する（大学教程の確率論のiidより）
２．時枝記事では、可算無限数列X＝（x1,x2,・・・）に対して、あるxiなる箱の数が、確率99/100で的中できるという
３．しかし、xiから他の箱の数を見たとき、独立・無関係なので、数列のシッポは無関係だし、どの同値類になるかも無関係で、まして代表も関係ない。決定番号も関係無い！！
４．時枝記事の通りに、決定番号d=iで、i+1の箱を開けて、代表のriの数で、「xi＝ri」（代表のi番目と等しい） だろうと言われても
上記３の通り、「xiとriとは、全く無関係」だから、当たってもたまたまでしかない
”確率99/100で的中”なんで、ゴマカシ以外の何物でもないということです
５．これは、大学４年の大学教程の確率論の単位を取れば、すぐ分かること。大学１年坊主で、同値類を学んで喜んでいる初心者がハマるｗ（＾＾；
以上
（参考（>>35より））
スレ80 ｽﾚﾘﾝｸ(math板:50番)
時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)
940:１３２人目の素数さん
20/02/19 19:05:16.82 I7dLMQQO.net
>>876 >>877
> 極限で考えれば良い
時枝記事の数列(R^Nの元)は極限値にいたるまでの無限個の数字です
極限をとって有限を無限にするということはある番号から先の無限個の数列の
数字を指定するということなので
> 決定番号dが、如何にも我々の知っている有限の数の範囲になるが如くの錯覚をさせている
> （本当はここ極限です）
これは根本的に理解できていないということです
決定番号dの極限を考えるのならばdの極限値にいたるまでの無限個の数字に対して
決定番号を求めなおすことになって同値類が変化してその代表元に対する決定番号d'は
有限になります
>>882
> xiから他の箱の数を見たとき、独立・無関係なので、
他の全ての箱に数字が入っているかどうかも分からないですね
可算無限個の箱の先頭から有限個の箱は有限数列と無限数列の場合で共通です
有限数列でなくて無限数列であると確定されるのならば時枝戦略は成り立ちます
941:１３２人目の素人さん
20/02/19 19:09:41.80 DKV+ww/5.net
>>804
※よゐこのみなさんはカンニングしないでね！
🍀分からない問題はここに書いてね🌼
&
🌺面白い問題教えて～な🌸
であっという間に猛者達が解いてしまいました。。。
(※イナさまって、どうなさったのでしょうか...)
942:１３２人目の素人さん
20/02/19 19:23:05.97 XQ
943:IdA3Xt.net
944:１３２人目の素数さん
20/02/19 19:26:50.10 XQIdA3Xt.net
もっと難しいお題を頂戴出来ますでしょうか？
猛者達に試練を与えて差し上げたいんです。
簡単過ぎて眠たくなっちゃったら、お気の毒ですし。。。
945:１３２人目の素数さん
20/02/19 19:28:10.13 XQIdA3Xt.net
モッサーずが可哀想。。。
946:１３２人目の素数さん
20/02/19 19:31:18.36 8K6AO46k.net
>>873
>”数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する”
（）内が問題
範囲がNとかRとかCとか書いてあったら
∞をとることを許してはならない
要するにコンパクトでないものを
勝手にコンパクト化してはならない
これこそ大学数学の常識
947:１３２人目の素数さん
20/02/19 19:31:55.82 liu9ZOvc.net
自分の頭で考える気がないならSetAと同類だよ
答え自体よりも何でそうなるかという理屈を考えるのが数学
948:１３２人目の素数さん
20/02/19 19:32:26.11 8K6AO46k.net
>>874
>大学数学では、自由自在に「無限大をとることを許す」
その認識が誤り
自由自在に許してるわけではない
違うと明言することで許される
同じと言い張ることは許されない
リーマン球C∪{∞}は、複素平面Cではない
射影直線R∪{∞}は、実数直線Rではない
N∪{∞}は、自然数全体Nではない
それぞれ前者はコンパクトだが後者はそうではない
>もちろん、無限大をとらない場合も考える
>両方考えるのが、正解ですよ
問題でR^Nといってるときに、
勝手にR^(N∪{∞})にすり替えるのは詐欺
949:１３２人目の素数さん
20/02/19 19:34:07.78 8K6AO46k.net
>>876
>>時枝問題の設定はR^NであってR^(N∪{∞})ではありませんので。
>そんなことはない
そんなことある
箱入り無数目の記事より
「実数列の集合R^Nを考える」
はい、これでSet Aはウソつき決定！
>数学は、もっと広く自由だよ
問題設定をすり替える自由はない
>無限大超自然数 ω を考えて、見通しをつけて
>それから、自然数の集合Nに戻れば良い
そもそも、Set Aが「一点コンパクト化」実現のために
付け加えたがってる一点∞は無限大超自然数ωではないが
ωはω＋１もω－１もある
一方∞には∞＋１も∞－１もない
>ε-δ 論法の収束とか極限で考えれば良いだけのこと
Set Aのいう１，２，３，・・・の収束先の極限∞は
無限大超自然数ωではないが
>つまり、時枝記事の可算無限数列のシッポは、
>結局は極限ということだよ
それが誤り それがウソ それが妄想
>無限大超自然数 ωを考えれば、
>それがはっきり見えるってことよ
無限大超自然数ωは、そもそも
Set Aのいう１，２，３，・・・の
収束先である極限∞、ではない
>数学の常套手段さ
Set Aの云ってることは数学でもなんでもない
サギの常套手段
>リーマンが、複素平面に∞を追加して、
>リーマン球面を考えた如しだ
これダメね
例えば リーマン球面上の変換の全体は複素平面上の変換の全体と等しくない
リーマン球面上の変換のうち一点∞を不変とするものが複素平面上の変換となる
950:１３２人目の素数さん
20/02/19 19:35:29.00 8K6AO46k.net
>>877
>分かり易く例えで説明する
分かりやすく間違ってるね
>”自然数の集合Nから、ランダムに任意の元dを選ぶ”
>という ランダムネスの定義が、本当は出来ずに、
>手品のタネになっている
「一点の測度が与えられない」という意味なら正しい
しかし
「実はNの外にある∞となる確率が1」
といってるなら、それは誤りでありウソだ
>つまり、ある可算無限数列X＝（x1,x2,・・・）に対して、
>問題の数列Xを知らずに、同値類の代表r＝(r1,r2,・・・)を選び、
>決定番号dが決まる
>決定番号dが、如何にも我々の知っている有限の数の範囲
>になるが如くの錯覚をさせている
別に「我々の知っている」有限の数の範囲である必要はない
有限の数、つまり自然数のほとんどすべては
「我々の知らない」数だが、何の問題もない
>（本当はここ極限です）
>それが、手品のタネになっている
決定番号が「極限」＝∞になるというなら
それは誤りでありウソである
>有限の世界なら、d1とd2の大小比較も明確だ
>しかし、無限大の世界では、d1とd2の大小比較は簡単に言えない
まず、我々が知ろうが知るまいが
自然数であるかぎり、有限であり
d1とd2の大小比較は可能
また、仮に超限自然数を考えたところで
モデルの中では有限であるから
d1とd2の大小比較は可能
しかも「最大の超限自然数」は存在しません
したがって、いかなる無限大超自然数ωも
極限にはなり得ない！
（ここ、重要！）
>それを、DR Pruss氏は、mathoverflowで述べているのです
全然見当違い
Set AはPrussの論文、読めてないね
Prussは無限大超自然数なんて一言も言ってない
しかもPrussの論文では、真っ先に
累次積分の順序交換で異なる結果が出る
といってるから、Set Aの計算はこの瞬間否定される
Set A Prussに焼殺ｗｗｗｗｗｗｗ
951:１３２人目の素数さん
20/02/19 19:37:24.57 8K6AO46k.net
>>882
まったく空疎な妄想発言
なぜR^(N∪{∞})で考えてはいけないのか？
要するにR^Nで同値にならない２列が、
∞番目で同じ中身の箱を追加しただけで
R^(N∪{∞})で同値になってしまう
逆にR^Nで同値な２列も
∞番目で異なる中身の箱を追加しただけで
R^(N∪{∞})で同値でなくなってしまう
つまりR^Nでの同値とR^(N∪{∞})での同値は全く別物
後者は∞番目の箱だけで決まるが
前者はそうならない（全体に共通する尻尾はない）
∞番目の箱を追加して
「ほら無限列でも有限列とまったく同じく失敗！」
というのは、それこそ「っぷ」君のいう
「わざわざ失敗する戦略をとって失敗だというのが無意味」
という話
952:１３２人目の素数さん
20/02/19 19:38:23.12 8K6AO46k.net
"Set A"ことセタ君
代表元の件につづき、無限列でもダメダメぶりを発揮
もう、数学板に書くのはやめたほうがいいな
少なくとも、その長ったらしいHNでトリップまでつけるのは無意味
HN名乗るほど大したこと書いてないんだから、匿名でいいよ
自分が天才とか自惚れるのは痛々しい
953:１３２人目の素数さん
20/02/19 19:41:47.58 XQIdA3Xt.net
>>889
なりぷっさま。。。
そう仰ると思ってました。。。
(._.)ｺﾞﾒﾝﾅｻｨ..人ﾆ答ｴｷｸﾉｶﾞ好ｷﾅﾉ..
954:１３２人目の素数さん
20/02/19 19:47:00.44 5x6ALic7.net
>>885
設問がｎ→-∞ なら正解
設問がｎ=-∞ なら超正解
955:１３２人目の素数さん
20/02/19 19:47:04.04 8K6AO46k.net
>>884
今見ましたが、見事な誤答でした
答えの数字だけ書いときました
計算方法は・・・このスレの>>833見て
（ちなみに正しい数値は0.30102…だった）
956:１３２人目の素数さん
20/02/19 19:50:35.12 XQIdA3Xt.net
>>896-897
・・・
お知らせして来て良いでしょうか？
957:１３２人目の素数さん
20/02/19 19:53:11.65 XQIdA3Xt.net
>>897
あ、答え教えてあげてくださったんですね。。。
お取り込み中の所、わざわざ
お手数お掛け頂きまして
ありがとうございました。
958:１３２人目の素数さん
20/02/19 19:56:24.18 8K6AO46k.net
>>899
はいｗ
実はExcelで最初の1000個について統計をとると
だいたい傾向が分かっちゃう
959:１３２人目の素数さん
20/02/19 20:13:03.33 XQIdA3Xt.net
>>900
🌼面白い問題教えて～な🌺
の解答者の方のこちらを見て頂けませんでしょうか？
ｍ/(n+1)=floor(nlog10(2)+1)/(n+1)ここでfloor(x)はｘ以下の最大の整数
960:１３２人目の素数さん
20/02/19 20:15:57.69 XQIdA3Xt.net
┃*Д*))どちらさまですか？>>896
961:１３２人目の素数さん
20/02/19 20:20:14.73 XQIdA3Xt.net
( ﾟдﾟ)!なりぷｯ様じゃない...>>895
962:１３２人目の素数さん
20/02/19 20:32:55.18 8K6AO46k.net
>>901
無駄に細かいな
963:１３２人目の素数さん
20/02/19 20:36:12.01 XQIdA3Xt.net
>>904
合ってるんですね♪
お知らせしてきて宜しいでしょうか？
「無駄に細かいな」←第六天魔王ペン先生のコメント付きで？
964:１３２人目の素数さん
20/02/19 20:41:22.54 liu9ZOvc.net
多分、間違ってる。推論がおかしいもん。
965:１３２人目の素数さん
20/02/19 20:47:43.03 liu9ZOvc.net
xを10進法で表示したとき最初の桁の数字が何になるかは
log_{10}(x)の小数部分（同じことだがlog_{10}(x) (mod 1)）
が[0,1)のどの区間に入るかだけで決まる。
これが基本。
966:１３２人目の素数さん
20/02/19 20:48:47.96 2hWCM518.net
(えぇ・・・(。。。困惑)
お答えありがとうございます。。。
お知らせするのは
暫く控えさせて頂きますね...
967:１３２人目の素数さん
20/02/19 20:54:09.81 2hWCM518.net
じゃあ２スレともまだ正解者無し...？
(._.)
968:１３２人目の素数さん
20/02/19 20:54:55.67 Yib8Z78Q.net
もくてきのはこをあけてなかみをみないかぎりえいえんにわかりっこないじゃん
そんなこともわからないの？
ぷっぷっぷー
969:１３２人目の素数さん
20/02/19 20:56:03 2hWCM518.net
>>908
スマホがすぐ気絶しちゃってIDが変わっちゃうんです...
970:１３２人目の素数さん
20/02/19 20:59:30 liu9ZOvc.net
したがって
x,x^2,...の最高桁の数字の分布は
log_{10}(x),2log_{10}(x),... (mod 1)
の値が[0,1)の（9つに分けた）どの区間に入るかだけで決まるが
log_{10}(x)=a が無理数であれば「ワイルの定理」より
a,2a,... (mod 1)は一様分布が言えるのだから
9つの区間の「長さ」で入る確率が決まる。
この「長さ」が一様ではなくて対数的であることが
意外性が生じる原因。
971:１３２人目の素数さん
20/02/19 21:01:57 2hWCM518.net
一緒に出て行こうよ...？
(*´-`)ﾈｯ?>>910
お忙しい所、いろいろお手数お掛け頂きましてありがとうございました。
(;-_-))ﾍﾟｺﾘﾝ
/
ＬＬ
972:１３２人目の素数さん
20/02/19 21:02:38 Yib8Z78Q.net
ぷっぷっぷー
ぷっぷっぷー
ぷっぷっぷっぷっぷっぷっぷーｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
973:１３２人目の素数さん
20/02/19 21:22:50 liu9ZOvc.net
ガウスが気づかなかったというのが信じられない。
まぁ数学者は「10進法による記法」など本質的ではないと見なすから
関心の方向として発想がなかったのか？
気づいていたとして、証明するには（後の）「ワイルの一様分布定理」
が必要だが、その方法が分からなかったのか？
「ワイルの定理」の証明には三角和の方法を使う。
その発想は非自明だが、三角和はガウスも得意とするところで
しかも彼が扱っていたのはテータ級数だのガウスの和だの
ワイルの方法よりも遥に深遠な内容を含んでいる
つまりワイルの定理が証明されたのは20世紀だが、数学の
内容的な深さとしては、大したことはない。
なので、ガウスが気づいていなかった
証明できなかった、のどちらも意外性がある。
（気づいていたが、大した話じゃないと思って書き残さなかった可能性もなくはない。）
974:１３２人目の素数さん
20/02/19 21:35:58 2hWCM518.net
>>904 第六天魔王閣下
お詫びを申し上げるのが遅れまして
大変失礼致しました
この度 私クソ絵文字が酒乱により
乱暴狼藉の限りを働き申し上げ
見苦しい所業の数々を
御目にお掛け致しました事を
慎んで心よりお詫び申し上げます
かしこ
ｸｿ絵文字
975:１３２人目の素数さん
20/02/19 22:16:51.42 nnXPVhDc.net
>>876
>そんなことはない
>数学は、もっと広く自由だよ
>無限大超自然数 ω を考えて、見通しをつけて
>それから、自然数の集合Nに戻れば良い
考えるのは自由、見通しを付けたければ付けても良い。
しかしR^(N∪{∞})で数当てできないことを示しても無意味でしかない。
なぜなら時枝の問いは「勝つ戦略はあるか？」であり、勝てない戦略をいくら示しても肯定回答にも否定回答にもならないから。
要するに お ま え が や っ て る こ と は た だ た だ 無 意 味 ということ。
この期に及んでそんな無意味なレスしてるようじゃスレ閉じるしかないね。約束は守りましょう。
976:１３２人目の素数さん
20/02/19 22:23:08.87 nnXPVhDc.net
>>877
>・戻ると、”自然数の集合Nから、ランダムに任意の元dを選ぶ”という ランダムネスの定義が、本当は出来ずに、手品のタネになっている
戻ってない。時枝戦略は N からではなく {d1,d2,...,d100} からランダムに選んでいるから。
勝手に戦略を改竄しておいてランダムネスの定義が出来ないなどと言いがかりを付ける詐欺師に数学は無理。諦めてスレ閉じましょう。
977:１３２人目の素数さん
20/02/19 22:28:47.94 nnXPVhDc.net
>>877
>決定番号dが、如何にも我々の知っている有限の数の範囲になるが如くの錯覚をさせている（本当はここ極限です）
決定番号はその定義より自然数ですよ？どの自然数も有限ですよ？
錯覚（錯乱？）してるのはあなたですね
978:１３２人目の素数さん
20/02/19 22:46:35.03 nnXPVhDc.net
>>882
>１．下記の 時枝記事で、可算無限数列の任意の箱の中の数は、他の数と独立・無関係と仮定する（大学教程の確率論のiidより）
ちょっと何言ってるか分かりません（富沢風）
「箱の中の数が独立である」の定義を示して下さい。
0,0 は独立ですか？ 0,1は独立ですか？ 0,πは独立ですか？
尚、確率変数族の独立性は無関係ですね。時枝戦略では箱の中身は確率変数としていませんので。
979:１３２人目の素数さん
20/02/19 22:49:45.87 nnXPVhDc.net
>>882
>５．これは、大学４年の大学教程の確率論の単位を取れば、すぐ分かること。大学１年坊主で、同値類を学んで喜んでいる初心者がハマるｗ（＾＾；
確率論は無関係ですね。実際The Riddleは確率を一切使ってませんので。
あなたはThe Riddleの成立は認めるんですか？ YES/NO
980:１３２人目の素数さん
20/02/19 23:02:10.99 Yib8Z78Q.net
箱の中の�
981:Jズを当てられると言うのなら お前もバカ扱いされてもしょうがないじゃんｗ ID:nnXPVhDc
982:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 23:29:08 WuOFpvsc.net
>>910
>もくてきのはこをあけてなかみをみないかぎりえいえんにわかりっこないじゃん
>そんなこともわからないの？
ザッツ ライト
>>922
>箱の中のカズを当てられると言うのなら
>お前もバカ扱いされてもしょうがないじゃんｗ
>ID:nnXPVhDc
ザッツ ライト
ID:Yib8Z78Qさん、ありがとう＼（＾＾；／
983:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 23:44:51 WuOFpvsc.net
>>882 さらに追加
１．仮想的に、数を入れる人が、可算無限人 居るとする
２．可算無限それぞれの人が、めいめい勝手に箱に数を入れる
３．さて、時枝記事では、可算無限数列X＝（x1,x2,・・・）に対して、あるxiなる箱の数が、確率99/100で的中できるという
４．しかし、xiから他の箱の数を見たとき、
あるｉさんが入れた箱の数xiに対し、
無関係な多くの人が、自分の箱の周りに、
無関係に沢山（可算）の箱を、勝ってに持ってきて、
その無関係な、箱を開けたら、
自分の箱の数が、「確率99/100で的中できる」？？
５．時枝さん、そんなアホな！ ｗ（＾＾；
おれは、ID:Yib8Z78Qさんの言う通りだと思う
”もくてきのはこをあけてなかみをみないかぎりえいえんにわかりっこないじゃん”！
”箱の中のカズを当てられると言うのなら ID:nnXPVhDcもバカ扱いされてもしょうがないじゃん”！！
に同意ｗ
984:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 23:46:46 WuOFpvsc.net
>>924 タイポ訂正
無関係に沢山（可算）の箱を、勝ってに持ってきて、
↓
無関係に沢山（可算）の箱を、勝手に持ってきて、
985:１３２人目の素数さん
20/02/19 23:57:56 nnXPVhDc.net
>>924
屁理屈はいいので反例か証明のギャップを示して下さい。
「箱の中の数が独立である」の定義を示して下さい。
あなたはThe Riddleの成立は認めるんですか？ YES/NO
986:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/20 00:00:45 bnuwxlf/.net
箱の中のカズを当てられると言うのなら
お前もバカ扱いされてもしょうがないじゃんｗ
ID:nnXPVhDc
987:１３２人目の素数さん
20/02/20 00:04:04 1uHbNqZ4.net
「当てられない」という直感はどこから来ているか？というと現実世界・経験から来ている。
有限個の箱しかない世界、そこでは数学的にも「当てられない」という結論になる。
しかし、無限個の箱がある世界では選択公理の仮定の下で「当てられる」という結論になる。
数学的な論理の話なので、理解できないなら「現実と異なる数学など認めない！」と言えばいい。
ただ、「論理的に間違っている！」と言うことはできない。