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の云ってることは数学でもなんでもない
サギの常套手段
>リーマンが、複素平面に∞を追加して、
>リーマン球面を考えた如しだ
これダメね
例えば リーマン球面上の変換の全体は複素平面上の変換の全体と等しくない
リーマン球面上の変換のうち一点∞を不変とするものが複素平面上の変換となる
924:132人目の素数さん
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に焼殺wwwwwww
925:132人目の素数さん
20/02/19 19:37:24.57 8K6AO46k.net
>>882
まったく空�
926:aな妄想発言 なぜR^(N∪{∞})で考えてはいけないのか? 要するにR^Nで同値にならない2列が、 ∞番目で同じ中身の箱を追加しただけで R^(N∪{∞})で同値になってしまう 逆にR^Nで同値な2列も ∞番目で異なる中身の箱を追加しただけで R^(N∪{∞})で同値でなくなってしまう つまりR^Nでの同値とR^(N∪{∞})での同値は全く別物 後者は∞番目の箱だけで決まるが 前者はそうならない(全体に共通する尻尾はない) ∞番目の箱を追加して 「ほら無限列でも有限列とまったく同じく失敗!」 というのは、それこそ「っぷ」君のいう 「わざわざ失敗する戦略をとって失敗だというのが無意味」 という話
927:132人目の素数さん
20/02/19 19:38:23.12 8K6AO46k.net
"Set A"ことセタ君
代表元の件につづき、無限列でもダメダメぶりを発揮
もう、数学板に書くのはやめたほうがいいな
少なくとも、その長ったらしいHNでトリップまでつけるのは無意味
HN名乗るほど大したこと書いてないんだから、匿名でいいよ
自分が天才とか自惚れるのは痛々しい
928:132人目の素数さん
20/02/19 19:41:47.58 XQIdA3Xt.net
>>889
なりぷっさま。。。
そう仰ると思ってました。。。
(._.)ゴメンナサィ..人ニ答エキクノガ好キナノ..
929:132人目の素数さん
20/02/19 19:47:00.44 5x6ALic7.net
>>885
設問がn→-∞ なら正解
設問がn=-∞ なら超正解
930:132人目の素数さん
20/02/19 19:47:04.04 8K6AO46k.net
>>884
今見ましたが、見事な誤答でした
答えの数字だけ書いときました
計算方法は・・・このスレの>>833見て
(ちなみに正しい数値は0.30102…だった)
931:132人目の素数さん
20/02/19 19:50:35.12 XQIdA3Xt.net
>>896-897
・・・
お知らせして来て良いでしょうか?
932:132人目の素数さん
20/02/19 19:53:11.65 XQIdA3Xt.net
>>897
あ、答え教えてあげてくださったんですね。。。
お取り込み中の所、わざわざ
お手数お掛け頂きまして
ありがとうございました。
933:132人目の素数さん
20/02/19 19:56:24.18 8K6AO46k.net
>>899
はいw
実はExcelで最初の1000個について統計をとると
だいたい傾向が分かっちゃう
934:132人目の素数さん
20/02/19 20:13:03.33 XQIdA3Xt.net
>>900
🌼面白い問題教えて~な🌺
の解答者の方のこちらを見て頂けませんでしょうか?
m/(n+1)=floor(nlog10(2)+1)/(n+1)ここでfloor(x)はx以下の最大の整数
935:132人目の素数さん
20/02/19 20:15:57.69 XQIdA3Xt.net
┃*Д*))どちらさまですか?>>896
936:132人目の素数さん
20/02/19 20:20:14.73 XQIdA3Xt.net
( ゚д゚)!なりぷッ様じゃない...>>895
937:132人目の素数さん
20/02/19 20:32:55.18 8K6AO46k.net
>>901
無駄に細かいな
938:132人目の素数さん
20/02/19 20:36:12.01 XQIdA3Xt.net
>>904
合ってるんですね♪
お知らせしてきて宜しいでしょうか?
「無駄に細かいな」←第六天魔王ペン先生のコメント付きで?
939:132人目の素数さん
20/02/19 20:41:22.54 liu9ZOvc.net
多分、間違ってる。推論がおかしいもん。
940:132人目の素数さん
20/02/19 20:47:43.03 liu9ZOvc.net
xを10進法で表示したとき最初の桁の数字が何になるかは
log_{10}(x)の小数部分(同じことだがlog_{10}(x) (mod 1))
が[0,1)のどの区間に入るかだけで決まる。
これが基本。
941:132人目の素数さん
20/02/19 20:48:47.96 2hWCM518.net
(えぇ・・・(。。。困惑)
お答えありがとうございます。。。
お知らせするのは
暫く控えさせて頂きますね...
942:132人目の素数さん
20/02/19 20:54:09.81 2hWCM518.net
じゃあ2スレともまだ正解者無し...?
(._.)
943:132人目の素数さん
20/02/19 20:54:55.67 Yib8Z78Q.net
もくてきのはこをあけてなかみをみないかぎりえいえんにわかりっこないじゃん
そんなこともわからないの?
ぷっぷっぷー
944:132人目の素数さん
20/02/19 20:56:03 2hWCM518.net
>>908
スマホがすぐ気絶しちゃってIDが変わっちゃうんです...
945:132人目の素数さん
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つの区間の「長さ」で入る確率が決まる。
この「長さ」が一様ではなくて対数的であることが
意外性が生じる原因。
946:132人目の素数さん
20/02/19 21:01:57 2hWCM518.net
一緒に出て行こうよ...?
(*´-`)ネッ?>>910
お忙しい所、いろいろお手数お掛け頂きましてありがとうございました。
(;-_-))ペコリン
/
LL
947:132人目の素数さん
20/02/19 21:02:38 Yib8Z78Q.net
ぷっぷっぷー
ぷっぷっぷー
ぷっぷっぷっぷっぷっぷっぷーwwwwwwwwwwwwwwwwwwww
948:132人目の素数さん
20/02/19 21:22:50 liu9ZOvc.net
ガウスが気づかなかったというのが信じられない。
まぁ数学者は「10進法による記法」など本質的ではないと見なすから
関心の方向として発想がなかったのか?
気づいていたとして、証明するには(後の)「ワイルの一様分布定理」
が必要だが、その方法が分からなかったのか?
「ワイルの定理」の証明には三角和の方法を使う。
その発想は非自明だが、三角和はガウスも得意とするところで
しかも彼が扱っていたのはテータ級数だのガウスの和だの
ワイルの方法よりも遥に深遠な内容を含んでいる
つまりワイルの定理が証明されたのは20世紀だが、数学の
内容的な深さとしては、大したことはない。
なので、ガウスが気づいていなかった
証明できなかった、のどちらも意外性がある。
(気づいていたが、大した話じゃないと思って書き残さなかった可能性もなくはない。)
949:132人目の素数さん
20/02/19 21:35:58 2hWCM518.net
>>904 第六天魔王閣下
お詫びを申し上げるのが遅れまして
大変失礼致しました
この度 私クソ絵文字が酒乱により
乱暴狼藉の限りを働き申し上げ
見苦しい所業の数々を
御目にお掛け致しました事を
慎んで心よりお詫び申し上げます
かしこ
クソ絵文字
950:132人目の素数さん
20/02/19 22:16:51.42 nnXPVhDc.net
>>876
>そんなことはない
>数学は、もっと広く自由だよ
>無限大超自然数 ω を考えて、見通しをつけて
>それから、自然数の集合Nに戻れば良い
考えるのは自由、見通しを付けたければ付けても良い。
しかしR^(N∪{∞})で数当てできないことを示しても無意味でしかない。
なぜなら時枝の問いは「勝つ戦略はあるか?」であり、勝てない戦略をいくら示しても肯定回答にも否定回答にもならないから。
要するに お ま え が や っ て る こ と は た だ た だ 無 意 味 ということ。
この期に及んでそんな無意味なレスしてるようじゃスレ閉じるしかないね。約束は守りましょう。
951:132人目の素数さん
20/02/19 22:23:08.87 nnXPVhDc.net
>>877
>・戻ると、”自然数の集合Nから、ランダムに任意の元dを選ぶ”という ランダムネスの定義が、本当は出来ずに、手品のタネになっている
戻ってない。時枝戦略は N からではなく {d1,d2,...,d100} からランダムに選んでいるから。
勝手に戦略を改竄しておいてランダムネスの定義が出来ないなどと言いがかりを付ける詐欺師に数学は無理。諦めてスレ閉じましょう。
952:132人目の素数さん
20/02/19 22:28:47.94 nnXPVhDc.net
>>877
>決定番号dが、如何にも我々の知っている有限の数の範囲になるが如くの錯覚をさせている(本当はここ極限です)
決定番号はその定義より自然数ですよ?どの自然数も有限ですよ?
錯覚(錯乱?)してるのはあなたですね
953:132人目の素数さん
20/02/19 22:46:35.03 nnXPVhDc.net
>>882
>1.下記の 時枝記事で、可算無限数列の任意の箱の中の数は、他の数と独立・無関係と仮定する(大学教程の確率論のiidより)
ちょっと何言ってるか分かりません(富沢風)
「箱の中の数が独立である」の定義を示して下さい。
0,0 は独立ですか? 0,1は独立ですか? 0,πは独立ですか?
尚、確率変数族の独立性は無関係ですね。時枝戦略では箱の中身は確率変数としていませんので。
954:132人目の素数さん
20/02/19 22:49:45.87 nnXPVhDc.net
>>882
>5.これは、大学4年の大学教程の確率論の単位を取れば、すぐ分かること。大学1年坊主で、同値類を学んで喜んでいる初心者がハマるw(^^;
確率論は無関係ですね。実際The Riddleは確率を一切使ってませんので。
あなたはThe Riddleの成立は認めるんですか? YES/NO
955:132人目の素数さん
20/02/19 23:02:10.99 Yib8Z78Q.net
箱の中の�
956:Jズを当てられると言うのなら お前もバカ扱いされてもしょうがないじゃんw ID:nnXPVhDc
957:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 23:29:08 WuOFpvsc.net
>>910
>もくてきのはこをあけてなかみをみないかぎりえいえんにわかりっこないじゃん
>そんなこともわからないの?
ザッツ ライト
>>922
>箱の中のカズを当てられると言うのなら
>お前もバカ扱いされてもしょうがないじゃんw
>ID:nnXPVhDc
ザッツ ライト
ID:Yib8Z78Qさん、ありがとう\(^^;/
958:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 23:44:51 WuOFpvsc.net
>>882 さらに追加
1.仮想的に、数を入れる人が、可算無限人 居るとする
2.可算無限それぞれの人が、めいめい勝手に箱に数を入れる
3.さて、時枝記事では、可算無限数列X=(x1,x2,・・・)に対して、あるxiなる箱の数が、確率99/100で的中できるという
4.しかし、xiから他の箱の数を見たとき、
あるiさんが入れた箱の数xiに対し、
無関係な多くの人が、自分の箱の周りに、
無関係に沢山(可算)の箱を、勝ってに持ってきて、
その無関係な、箱を開けたら、
自分の箱の数が、「確率99/100で的中できる」??
5.時枝さん、そんなアホな! w(^^;
おれは、ID:Yib8Z78Qさんの言う通りだと思う
”もくてきのはこをあけてなかみをみないかぎりえいえんにわかりっこないじゃん”!
”箱の中のカズを当てられると言うのなら ID:nnXPVhDcもバカ扱いされてもしょうがないじゃん”!!
に同意w
959:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/19 23:46:46 WuOFpvsc.net
>>924 タイポ訂正
無関係に沢山(可算)の箱を、勝ってに持ってきて、
↓
無関係に沢山(可算)の箱を、勝手に持ってきて、
960:132人目の素数さん
20/02/19 23:57:56 nnXPVhDc.net
>>924
屁理屈はいいので反例か証明のギャップを示して下さい。
「箱の中の数が独立である」の定義を示して下さい。
あなたはThe Riddleの成立は認めるんですか? YES/NO
961:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/02/20 00:00:45 bnuwxlf/.net
箱の中のカズを当てられると言うのなら
お前もバカ扱いされてもしょうがないじゃんw
ID:nnXPVhDc
962:132人目の素数さん
20/02/20 00:04:04 1uHbNqZ4.net
「当てられない」という直感はどこから来ているか?というと現実世界・経験から来ている。
有限個の箱しかない世界、そこでは数学的にも「当てられない」という結論になる。
しかし、無限個の箱がある世界では選択公理の仮定の下で「当てられる」という結論になる。
数学的な論理の話なので、理解できないなら「現実と異なる数学など認めない!」と言えばいい。
ただ、「論理的に間違っている!」と言うことはできない。
963:132人目の素数さん
20/02/20 00:09:05 vEZsGOs+.net
>>927
あれ?反例もギャップも示せないからって発狂ですか?
数学板で発狂は勘弁して下さい
964:132人目の素数さん
20/02/20 00:18:14 3QYysAWQ.net
選択公理ぐらいまともな本でしっかり理解しとけよ
ネットで間に合わせようとすんな
具体的な選択関数~とか完全に間違ってるぞぅぅぅぅぅぅぅぅぅぅぅぅぅぅぅ?
965:132人目の素数さん
20/02/20 01:05:58.52 AIIL/QpC.net
次以降雑談は↓でやれよ
スレリンク(math板)
ガロアは↓でな
スレリンク(math板)
966:132人目の素数さん
20/02/20 01:49:55.64 y6eOkUEo.net
>>924
箱の中の数字を見なくても数を入れた人が必ず答えを正しく教えてくれるのなら
当てられるじゃん
> 仮想的に、数を入れる人が、可算無限人 居るとする
その中の有限人が嘘の答えを教える場合は
100列に分ければ確率99/100で答えを正しく教えてくれる人を
選ぶことができるのが時枝戦略
967:132人目の素数さん
20/02/20 05:44:55.54 zoX1rFBb.net
>>923
>ザッツ ライト
>ID:Yib8Z78Qさん、ありがとう
また腹話術かw
こいつ他にやることないのかね?