[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)

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

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

603: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/01(日) 22:28:56.53 ID:dvD9YE7H >>602 同値な定式化 集合論の枠組みでは、数学的帰納法の原理を次のように表すことができる[1]。 自然数 N の部分集合 A が空でないとき、A に属する最小の自然数が存在する。 この原理からもともとの形の数学的帰納法が導かれることは，次のようにして示せる。帰納法の仮定 1., 2. を満たす論理式 P(n) が与えられたとする。自然数の部分集合 A を A = { n ∈ N : ¬ P(n) } によって定める。この A が空集合であるということを示し

たい。 そうでないと仮定すると、Aに属する最小の自然数 a を取ることができるが、P(0)は成り立っていることから a は0でない。従って、ある自然数 b について a = b + 1となっているが、a は A に属する最小の自然数であったということから、b not∈ A であり、P(b) は成り立つことになる。帰納法の仮定から P(a) も成り立つことになり、これは矛盾である。 逆に、「n 以下の任意の自然数 k について k not∈ A」という形の命題 P(n) を考えることで、数学的帰納法から上の原理を導くことができる。A を自然数のある集合とし、A に属する最小の自然

数が存在しないと仮定する。 もし P(0) が成り立たないと、0 が A に属する最小の自然数となって仮定に反するから、P(0) は成り立つ。P(n) が成り立つとし、もし P(n + 1) が成り立たないとすると、n + 1 が A の最小の自然数となって仮定に反するから、P(n + 1) も成り立つ。よって数学的帰納法により A は空となる。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/603

604: １３２人目の素数さん [] 2019/09/01(日) 22:30:30.31 ID:CU1S7ZwH 有限列は無限に存在するが、どれも無限列ではない サルに無限は無理 http://rio2016.5ch.net/test/read.cgi/math/1566715025/604

605: １３２人目の素数さん [] 2019/09/01(日) 22:34:21.87 ID:CU1S7ZwH 数学的帰納法も使いこなせない自称阪大卒ｗ 近所の高校生に教えてもらえｗ http://rio2016.5ch.net/test/read.cgi/math/1566715025/605

606: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/01(日) 23:19:35.30 ID:dvD9YE7H >>604-605 ありがとう　踊ってくれて ｂｙ サル回しのスレ主より だれが、無限が分かっていなかったのかな？ｗ だれが、数学的帰納法が分かっていなかったのかな？ｗｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/606

607: １３２人目の素数さん [sage] 2019/09/01(日) 23:23:20.88 ID:IVtPZNby >>602 > 「無限公理」は、デフォルトであり だから箱の数を数学的帰納法で無限個に増やすのはナンセンスだと いっているのだが > 中学数学からの常識でしょ？ｗ スレ主がその常識に従っていないんだよ {X1}, {X1, X2}, ... , {X1, X2, ... , Xn}, ... (**)と数学的帰納法で やっていっても{X1, X2, ... , Xn, ... }は作れないんだよ (**)の末尾の , ... (= 無限にという意味)は帰納法では{}の中に入れられない 自然数の場合は {0}, {0, 1}, ... , {0, 1, ..

. , n}, ... と同様の形になるが 1 = {0}, 2 = {0, 1}, ... , n + 1 = {0, 1, ... , n} と定義できるから {1, 2, ... , n, ... } = (無限集合)N と定義できる ただしNは自然数全体の集合であって自然数ではない http://rio2016.5ch.net/test/read.cgi/math/1566715025/607

608: １３２人目の素数さん [] 2019/09/01(日) 23:24:45.99 ID:CU1S7ZwH >>606 おまえｗ http://rio2016.5ch.net/test/read.cgi/math/1566715025/608

609: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/02(月) 07:24:54.54 ID:C7KIpkvI >>607-608 >> 「無限公理」は、デフォルトであり >だから箱の数を数学的帰納法で無限個に増やすのはナンセンスだと ・ペアノの公理が理解できていませんね。下記をお読みください（＾＾ ・あなたの主張だと、「出題者が箱に1つずつ数を入れていく」（下記時枝ご参照）だと、そもそも可算無限長の数列が作れなくなりますよね。それはおかしいｗ（＾＾； ・数学的帰納法が分かっていないのは、だれでしょうね？ｗ （参考） h

ttps://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 (抜粋) ペアノの公理とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。 定義 2．任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 http://tenmei.cocolog-nifty.com/matcha/2009/11/post-81dd.html 「１＋１＝２」はなぜか？〜ペアノの自然数論（足し算） テンメイのＲＵＮ＆ＢＩＫＥ 2009年11月28日 (抜粋) ペアノの根本的なアイデアは、

現実世界の足し算を証明するのではなく、 人工的な数学の世界で足し算を作るということだ。それでは現実と関係 ないのかというと、そんな事はない。普通の足し算はすべて完全に導き 出せるし、現実離れしたおかしな話が出てくることもない。 （>>350より） スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/ 時枝問題（数学セミナー201511月号の記事） 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよ

い. もちろんでたらめだって構わない.そして箱をみな閉じる. 今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう. どの箱を閉じたまま残すかはあなたが決めうる. 勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?」 あと 　>>598＆>>596＆>>592＆>>583 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/609

610: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/02(月) 08:21:27.33 ID:C7KIpkvI >>609 補足 >>> 「無限公理」は、デフォルトであり >>だから箱の数を数学的帰納法で無限個に増やすのはナンセンスだと >・ペアノの公理が理解できていませんね。下記をお読みください（＾＾ ・公理が分かってない ・箱を1つずつ増やすことにも、ペアノの公理が適用できて、自然数類似の可算無限集合ができるということ ・それは、”同型の違いを除いて一意に定めることができる” ・それが、ペアノの公理です（下

記） （参考） https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 (抜粋) 存在と一意性 この構成法はジョン・フォン・ノイマンによる[1]。 これは可能なペアノシステムの構成法として唯一のものではない。 例えば、集合 N = {0, 1, 2, ...} の構成と上記の後者関数 suc を仮定して、 X := {5, 6, 7, ...}, x := 5, と f := X 上に限定した後者関数、と定義したならば、これもまたペアノシステムである。 一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム

＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。 ラムダ計算はペアノの公理を満たす自然数の、異なる構成法を与える。 http://rio2016.5ch.net/test/read.cgi/math/1566715025/610

611: １３２人目の素数さん [sage] 2019/09/02(月) 08:39:27.49 ID:kFA/TyuL >>609 > それはおかしい 無限個まとめて入れないと無限個は入れられないですよ 極限をつかってR^Nのある元を 「出題者が箱に1つずつ数を入れていった」結果だと みなすことは出来る(ただし入れるわけではない) 極限を使いたいならまず極限値がないといけないので 結局無限数列を用意しておかなければならない >>609 >>610 数学的帰納法をつかうなら 中身(未定義なので数とは限らない)が入った箱が無限個ある から始めれば {0, 0, ... , 0, ... }

や{1, 2, ... , n , ... }は作ることができる ただしランダムな数はn番目までの数からn+1番目の数が決められないので 数学的帰納法は使えない > ペアノの公理が理解できていませんね > 自然数全体を公理化 理解できていないのはスレ主ですよ 前にも書いたが自然数全体の集合は自然数ではない ペアノの公理は無限公理により要素を無限個もつ集合が存在する つまり{?, ?, ... , ?, ... }に対して 1から始めるのなら最初が1で n + 1 = (n) + 1 = suc(n)となるから {1, 2, ... , n, n + 1, ... } ペアノの公理を使って言えることはある無限集合(

無限公理による)が 自然数全体の集合であることであって数を1つずつ入れていくわけではない http://rio2016.5ch.net/test/read.cgi/math/1566715025/611

612: １３２人目の素数さん [] 2019/09/02(月) 08:52:47.06 ID:JXpq+Nci >>609 >・ペアノの公理が理解できていませんね。下記をお読みください（＾＾ おまえ >・あなたの主張だと、「出題者が箱に1つずつ数を入れていく」（下記時枝ご参照）だと、そもそも可算無限長の数列が作れなくなりますよね。それはおかしいｗ（＾＾； 一つずつ入れる必要はない >・数学的帰納法が分かっていないのは、だれでしょうね？ｗ おまえ http://rio2016.5ch.net/test/read.cgi/math/1566715025/612

613: １３２人目の素数さん [] 2019/09/02(月) 08:53:34.10 ID:JXpq+Nci >>609 >>・あなたの主張だと、「出題者が箱に1つずつ数を入れていく」（下記時枝ご参照）だと、そもそも可算無限長の数列が作れなくなりますよね。それはおかしいｗ（＾＾； おまえの知能って哀れ過ぎるド素人並みだなｗ http://rio2016.5ch.net/test/read.cgi/math/1566715025/613

614: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 10:26:41.08 ID:7XXWjS4V >>611 >無限個まとめて入れないと無限個は入れられないですよ 奇説、珍説ですね >結局無限数列を用意しておかなければならない 百歩譲って ええ、時枝に従って 「独立な確率変数の無限族 X1，X2，X3，…」が、用意できますよ これを、まとめて箱に入れます 確率変数の無限族が用意できることは、大学数学の常識です （下記、服部、逆瀬川、重川など） ヒトの数学では、確率変数を箱に入れることはできます。確率変数の定

義をお読みください （あなたのレベルなら、高校数学の>>404あたりでどうでしょうか。読めばわかります（＾＾ ） （参考） スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/22- (抜粋) 数学セミナー201511月号P37 時枝記事より 「もうちょっと面白いのは，独立性に関する反省だと思う. 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である. n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって， その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら， 当てられっこない

ではないか−−他の箱から情報は一切もらえないのだから. (引用終り) （参考） http://web.econ.keio.ac.jp/staff/hattori/probab.htm 確率論　服部哲弥 慶応 http://web.econ.keio.ac.jp/staff/hattori/probab.pdf 確率論講義録 　(約750KB pdf file・Last update 2011/09/09) 確率論（数学３年後期選択） probab.tex 服部哲弥 スレ74 https://rio2016.5ch.net/test/read.cgi/math/1564659345/641- http://www.f.waseda.jp/sakas/stochastics/stochastics.pdf/aspText.pdf 「確率過程とその応用」 逆瀬川浩孝 スレ74 https://rio2016.

5ch.net/test/read.cgi/math/1564659345/72- https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf 2013年度前期 確率論基礎 講義ノート 重川一郎 京都大学大学院理学研究科数学教室 https://ja.wikipedia.org/wiki/%E7%8B%AC%E7%AB%8B%E5%90%8C%E5%88%86%E5%B8%83 独立同分布（IID) 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/614

615: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 10:29:19.99 ID:7XXWjS4V >>612-613 おサルさん、今日も元気にご苦労さん ｂｙ サル回しのスレ主より それ全然反論になってない 説得力なし やっぱりおサルだねｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/615

616: １３２人目の素数さん [sage] 2019/09/02(月) 17:03:37.22 ID:pUa7sBFm お久しぶりです、おっちゃんです。 このスレは、もはやレジェンドになっているね〜。 それじゃ、おっちゃんもう寝る。 http://rio2016.5ch.net/test/read.cgi/math/1566715025/616

617: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 17:08:29.87 ID:7XXWjS4V おっちゃん、どうも、スレ主です。 お元気そうでなによりです。 おやすみなさい（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/617

618: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 17:12:10.03 ID:7XXWjS4V >>614 補足 ＜自然数と数学的帰納法＞ 下記嫁め 「最後の公理は、数学的帰納法を正当化するものである。」 「集合論において標準的となっている自然数の構成は以下の通りである。 　・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。 　無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 　このとき、それぞれの

自然数は、その数より小さい自然数全てを要素とする数の集合、となる。」 （参考） https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 (抜粋) 自然数とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数の歴史と零の地位 最初の大きな進歩は、数を表すための記数法の発明であり、これで大きな数を記録することが出来るようになった。 バビロニアで

は、数字を離して表記することでその桁が 0 であることを示す六十進法の位取り記数法に似た方法が開発された。 オルメカとマヤの文明では紀元前1世紀までには、数字を離して 0 の桁を表す方法が独立に用いられていた。 抽象的な概念としての数の体系的な最初の研究は、古代ギリシアにおいてなされ、数論が高度にまで発達した。古代ギリシアの数学者エウクレイデスが編纂した『原論』の第7巻の冒頭で数の定義がなされている[1]。 1.単位とは存在するもののおのおのがそれによって 1 とよばれるものである。 2.数とは単位から成る多である。 これは定規

とコンパスによる作図で数を定義したものと解釈できる。すなわち、任意に与えた線分の長さを単位として 1 を定義する。 そして、その線分を延長した直線上で単位を半径とする長さをコンパスで測り、その直線上でその単位を半径とする円との交点を作図し、その円の直径を 2 と定義する。同様にその直線上で円の直径に半径を繋いだ線分を作図し、その線分の長さを 3 と定義する。 したがって、1 は数ではなく単位であり、2, 3, 4, …が数になるため、古代ギリシア人は 1 を数として認識しなかったと言える。 つづく http://rio2016.5ch.net/test/read.

cgi/math/1566715025/618

619: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 17:12:42.35 ID:7XXWjS4V >>618 つづき 1世紀頃、無名のインド人によって、初めて 0 を使った完全な位取り記数法が発明された。彼はソロバンとよく似たビーズ玉計算機で計算していたとき、数のない桁を 0 で書いて、ビーズ玉計算機上の各桁の数をそのまま並べて書き表すと、計算結果を素早く書き残せることに気づいた。 こうしてできた記数法は、数の記録と計算に一大革命をもたらす大発明となった。しかし、ここでの 0 は数としての 0 ではなく、空の桁

を表す目印に過ぎないものであった。 数としての 0 の概念は628年のインド人数学者ブラーマグプタによって見出され、現代の 0 の概念と近い計算法が考え出された。 19世紀、自然数の集合論的な定義がなされた。この定義によれば零を自然数に含める方がより便利である。集合論、論理学などの分野ではこの流儀に従うことが多い一方、数論などの分野では 0 を自然数には含めない流儀が好まれることが多い。 どちらの流儀をとるにしろ、通常は著作あるいは論文毎に定義や注釈で明示される。とくに混乱を避けたい場合には、0 から始まる自然数を指すために

非負整数、1 から始まる自然数を指すために正整数という用語を用いることもよくある。 つづく http://rio2016.5ch.net/test/read.cgi/math/1566715025/619

620: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 17:13:19.10 ID:7XXWjS4V >>619 つづき 形式的な定義 自然数の公理 自然数がどんなものかは子供でも簡単に理解できるが、その定義は簡単ではない。自然数を初めに厳密に定義可能な公理として提示されたものにペアノの公理があり（1891年、ジュゼッペ・ペアノ）、以下のように自然数を定義することができる。 1 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 最後の公理は、数

学的帰納法を正当化するものである。また、上の公理に現れる数字は 1 だけであり、自然数 1 からすべての自然数が作り出されることを意味している。一方、この公理の "1" を "0" に置き換えれば、自然数 0, 1, 2, 3, … を作り出せる。 集合論において標準的となっている自然数の構成は以下の通りである。 ・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。 無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。

このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。 このように定義された集合 n は丁度（通常の意味で）n 個の元を含むことになる。また、これは有限順序数の構成であり、（通常の意味で）n <= m が成り立つことと n が m の部分集合であることは同値である。 加法と乗法 加法、乗法とも (i) 0 に対する演算結果を定義し、(ii) ある自然数 b に対する演算結果を用いてその次の自然数 suc(b) に対する演算結果を定義する、と言う形式になっている。(i), (ii) をあわせることで、あらゆる自然数に対する演

算結果が一意に得られることになる（数学的帰納法）。 自然数は加法について、0 を単位元とする可換モノイドになっている。また、乗法についても、1 を単位元とする可換モノイドになっている。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1566715025/620

621: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 17:36:36.44 ID:7XXWjS4V >>620 補足 ＞自然数は加法について、0 を単位元とする可換モノイドになっている。また、乗法についても、1 を単位元とする可換モノイドになっている。 言い逃れができないようにｗ（＾＾； https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%8E%E3%82%A4%E3%83%89 モノイド (抜粋) 数学、とくに抽象代数学における単系（たんけい、英: monoid; モノイド）はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をも

つ半群（単位的半群）であるので、半群論の研究対象の範疇に属する。 定義 集合 S とその上の二項演算 ・: S × S → S が与えられ、以下の条件 を満たすならば、組 (S, ・, e) をモノイドという。 2.3 可換モノイド 演算が可換であるようなモノイドは、可換モノイド (commutative monoid) という（稀にアーベルモノイド (abelian monoid) ともいう）。可換モノイドはしばしば二項演算の記号を "+" として加法的に書かれる。 https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E7%9A%84%E6%A7%8B%E9%80%A0 代数的構造 代数的構造の例

・モノイド: 単位元を持つ半群 ・群: 任意の元が逆元を持つモノイド http://rio2016.5ch.net/test/read.cgi/math/1566715025/621

622: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/02(月) 17:45:22.49 ID:7XXWjS4V >>621 補足の補足 ＞言い逃れができないようにｗ（＾＾； まあ、要するに もし、>>620で構成された自然数 それは、一つずつ後者を作り続けた集合だが それがもし有限集合ならば 負数の集合を加えて、整数の集合を作ったとき 整数環にならんぜよｗ（＾＾ ∵ 演算の和（＋）や積（・）について、有限集合なら閉じないから （参考） https://ja.wikipedia.org/wiki/%E6%95%B4%E6%95%B0%E7%92%B0 整数環 (抜粋) 環 Z は最も簡

単な整数環である[1]． http://rio2016.5ch.net/test/read.cgi/math/1566715025/622

623: １３２人目の素数さん [sage] 2019/09/02(月) 19:18:37.27 ID:WeHO/pQm >>583 >> ・数学的帰納法により、全ての自然数で成立つ。 >> つまりは、時枝記事の数列に適用できるということ 誤り 数学的帰納法で証明できるｗ ■無限公理 　以下のA,Bを満たす集合ωが存在する 　A.　{}∈ω 　B.　∀x.x∈ω　⇒　x∪{x}∈ω ■定理 　上記の集合ωは、{}からx∪{x}という操作を 　いくら繰り返しても作れない ■証明 　０．{}は{}を要素として持たない（空集合だから） 　１．{}∪{{}}={{}}は{}を要素とするが{{}}を要素と

しない 　２．xがy∪{y}=xとなるyを要素とするがxを要素としなければ 　　　x∪{x}はxを要素として持つがx∪{x}を要素として持たない 　３．１．および２．から数学的帰納法により 　　　{}からx∪{x}という操作を繰り返した集合Xには 　　　¬（x∪{x}∈X）だが、x∈Xであるようなxが存在する したがってXはωの条件Bを満たさない 注）¬（ω∈ω）であるが、ω＝x∪{x}となるようなxは存在しない http://rio2016.5ch.net/test/read.cgi/math/1566715025/623

624: １３２人目の素数さん [sage] 2019/09/02(月) 19:24:09.79 ID:kFA/TyuL >>614 > その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら， > 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. 初期値{0, 0, ... , 0, ... }(同値類0とする)を{1, 2, ... , n, ... }(同値類Nとする)にできるか {0, 0, ... , 0, ... } 同値類0 {1, 0, ... , 0, ... } 同値類0 ... {1, 2, ... , n, 0, 0, ... } 同値類0 {1, 2, ... , n, n+1, 0, 0, ... } 同値類0 数学的帰納法により任意の自然数nに

対して数列{1, 2, ... , n, 0, 0, ... }は同値類0に属する 自然数kが定数であるときに初期値{0, 0, ... , 0, k, k+1, ... }(同値類N)であれば {0, 0, ... , 0, k, k+1, ... } 同値類N {1, 0, ... , 0, k, k+1, ... } 同値類N ... {1, 2, ... , k-1, k, k+1, ... } 同値類N (kが定数なら有限回で終わる) 数列の有限個を変えただけだと属する類は変化しないことに注目すれば 属する類に関して「情報は一切もらえない」ことはないことが分かる 数列自体に着目してしまうと項を1つ変えただけで数列が変化するので どの数列に変化するのか「情報は一切

もらえない」ことになる 時枝戦略では開けずに残す箱は1つなので属する類に関して開けた箱から情報がもらえる >>622 > それは、一つずつ後者を作り続けた集合だが > それがもし有限集合ならば > 負数の集合を加えて、整数の集合を作ったとき 有限集合だから整数全体の集合も作れない >>620 >>607を見よ http://rio2016.5ch.net/test/read.cgi/math/1566715025/624

625: １３２人目の素数さん [sage] 2019/09/02(月) 19:24:59.64 ID:WeHO/pQm >>602 >>数学的帰納法＋「無限公理」は、デフォルトであり、”標準”です 既に>>623より、数学的帰納法では無限公理は証明できないことを示したｗ 有限集合論では無限公理の否定が成り立つ　つまり 「任意の集合ｓは、｛｝を要素としないか 　あるｘが存在して、ｘを要素としてもｘ∪｛ｘ｝が要素でない」 無限公理がデフォルトで標準とかわめくのは 平行線公理がデフォルトで標準とか 同時の絶対性がデフォルトで標準とか わめく偏執狂と同じ精神構

造 http://rio2016.5ch.net/test/read.cgi/math/1566715025/625

626: １３２人目の素数さん [] 2019/09/02(月) 20:31:36.39 ID:JXpq+Nci >>609 サル >「出題者が箱に1つずつ数を入れていく」（下記時枝ご参照）だと、そもそも可算無限長の数列が作れなくなりますよね ド素人 >ケーキを食べ尽くすことはできない 脳の構造が同じｗ http://rio2016.5ch.net/test/read.cgi/math/1566715025/626

627: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/02(月) 20:34:06.59 ID:C7KIpkvI >>623-626 おまいら、一体全体、何を主張したいんだ？ｗ ペアノの公理を否定したいのかｗ？！ （＾＾； なお、おれは”無限集合の公理”を否定したことはない！ だれかと勘違いだろう？ 彼の書き込みを最近見ないけど （＾＾ （参考） https://dictionary.goo.ne.jp/word/%E4%B8%80%E4%BD%93%E5%85%A8%E4%BD%93/ 一体全体（いったいぜんたい） の意味 出典：デジタル大辞泉（小学館） goo辞書 ［副］「一体1」を強めた言い方。非常

に強い疑問の気持ちを表す。「一体全体どうなっているんだ」 https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 (抜粋) 定義 ペアノの公理は以下の様に定義される。 5. 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 5番目の公理は、数学的帰納法の原理である。 この集合 N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。 無限集合の公理は 0 を含む帰納的集合

の存在を主張しているので、ここでの N の定義に問題はない。 自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。 それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 (抜粋) 形式的な定義 自然数の公理 自然数を初めに厳密に定義可能な公理として提示されたものにペアノの公理があり（1891年、ジュゼッペ・ペアノ）、以下のように自然数を定義することができる。 ・1 がある性質を満たし、a がある性質を満たせばその後者 suc(a)

もその性質を満たすとき、すべての自然数はその性質を満たす。 最後の公理は、数学的帰納法を正当化するものである。 無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 http://rio2016.5ch.net/test/read.cgi/math/1566715025/627

628: １３２人目の素数さん [sage] 2019/09/02(月) 21:11:33.93 ID:kFA/TyuL >>627 > おまいら、一体全体、何を主張したいんだ？ｗ > ペアノの公理を否定したいのかｗ？！ （＾＾； 箱を1つずつ増やすことでは可算無限個にできないといっている スレ主の主張は >>609 > あなたの主張だと、「出題者が箱に1つずつ数を入れていく」 > だと、そもそも可算無限長の数列が作れなくなりますよね。 > それはおかしいｗ（＾＾； > 数学的帰納法が分かっていないのは、だれでしょうね？ｗ >>610 > 箱を1つずつ増やす

ことにも、ペアノの公理が適用できて、 > 自然数類似の可算無限集合ができるということ ペアノの公理は無限集合が存在(無限公理)すれば 自然数全体の集合が存在することがいえる http://rio2016.5ch.net/test/read.cgi/math/1566715025/628

629: １３２人目の素数さん [] 2019/09/02(月) 21:13:58.18 ID:JXpq+Nci >>622 >それは、一つずつ後者を作り続けた集合だが >それがもし有限集合ならば >負数の集合を加えて、整数の集合を作ったとき >整数環にならんぜよｗ（＾＾ このバカは何訳わからんこと言ってるのやら 無限集合が最初から存在するのであって、一つずつ後者を作り続ける必要は無いｗ 実際、ペアノの公理のどこにもそんなことは書かれていないｗ　バカが読めてないだけｗ なにが整数環にならんぜよだバカｗ ケーキは食べ尽くせない論と同レベルｗ　バカ過ぎｗ

http://rio2016.5ch.net/test/read.cgi/math/1566715025/629

630: １３２人目の素数さん [] 2019/09/02(月) 21:22:50.72 ID:JXpq+Nci >>627 >おまいら、一体全体、何を主張したいんだ？ｗ サルが間違ってるという主張 >ペアノの公理を否定したいのかｗ？！ （＾＾； ぜんぜん？ 数学分からんのならROMってろよサル 分からんくせに分かってるふりするなバカ http://rio2016.5ch.net/test/read.cgi/math/1566715025/630

631: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/02(月) 23:43:07.85 ID:C7KIpkvI >>628-630 >箱を1つずつ増やすことでは可算無限個にできないといっている なるほど しかし、笑えるな １）>>614に書いたが、”百歩譲って、時枝に従って 「独立な確率変数の無限族 X1，X2，X3，…」が、用意できますよ” 　ってことね。そこをまず、確認な ２）その上で、おれは、「無限個まとめて入れないと無限個は入れられないです」 　という奇説、珍説を潰しに行っていることね ３）そして、お二人には、以前にも注

意しているが 　おれの発言には、全部、裏付けがあるってことね 　というか、基本は、根拠文典からのコピペだ 　たまに、個人のネットからのコピペもあるけど 　その個人のネットのカキコには、大概大学数学のテキストの種本がある 　なので、そこを無防備に突っかかってくるから、あっさり返り討ちになるんだよ 今日は、遅いので また明日踊らせてやるよ ｂｙ サル回しのスレ主よりｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/631

632: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/02(月) 23:44:11.66 ID:C7KIpkvI 再度言おう スレ75 https://rio2016.5ch.net/test/read.cgi/math/1565872684/411- 時枝記事の手法など プロ数学者は、だれも相手にしない 不成立に見えて、自明に不成立だから ｗ（＾＾ スレ75 https://rio2016.5ch.net/test/read.cgi/math/1565872684/377- i.i.d. 独立同分布 （説明） １．箱が1個。確率変数X1 　サイコロ，コインなら、確率空間は、下記の定義の通り。 　サイコロΩ={1,2,3,4,5,6}で、1〜6の数が箱に入り、各確率1

/6 　コイン１枚なら、Ω={0,1}で、0か1の数が箱に入り、各確率1/2 ２．箱がｎ個。確率変数X1,X2,・・・,Xn 　i.i.d. 独立同分布とすると、各箱は上記1の通り (２’箱がｎ+1個。確率変数X1,X2,・・・,Xn+1 　i.i.d. 独立同分布とすると、各箱は上記1の通り ) ３．箱が可算無限個。確率変数X1,X2,・・・ →X∞ 　i.i.d. 独立同分布とすると、各箱は上記1の通り ４．これは、数学的帰納法の証明にもなっている。時枝は、これで尽きている。上記１〜３のどの箱の確率変数も例外なし！ QED（＾＾ （参考） https://mathtrain.jp/probspace 確率空間

の定義と具体例（サイコロ，コイン） | 高校数学の美しい物語 2015/11/06 https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95 数学的帰納法 http://rio2016.5ch.net/test/read.cgi/math/1566715025/632

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 370 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.032s