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

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

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

---

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

---

524: １３２人目の素数さん [sage] 2019/09/23(月) 20:30:13.98 ID:xrE7eXYo 復活！！！ 昨日、リンク張ろうとしてNGワード規制食らいました >>518 >2)さて、単射が存在する >{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・} >　↓fe(単射)　　　　　↓fo(単射) >{・・・,-4,-2,0,2,4・・・、・・・,-3,-1,1,3,・・・} これはまあ、いいとして >4)逆射が存在する >{・・・,-4,-2,0,2,4・・・、・・・,-3,-1,1,3,・・・} >　↓fe^-1(単射)　　　　　↓fo^-1(単射) >{・・・,-4,-2,0,2,4・・・}{・・・,-3,-1,1,3,・・・} これはヒドイｗ　 値域が２つに分かれてるｗ 写像が根本的にわかってないね ま、集合が根本的に分かってないせいだねｗ 「１」は一遍、死んだほうがいいねｗ http://rio2016.5ch.io/test/read.cgi/math/1568026331/524

525: １３２人目の素数さん [] 2019/09/23(月) 20:31:42.27 ID:xrE7eXYo おっと、本題を忘れてた！これだよ、これ！ >>471 >「Z/nZは有限集合」と書いてある文献探して、提示してくれ >そうしたら、スレを閉じて、すっぱりと、おれは５CH数学板から去るよ（＾＾； >おっと、「Z/nZは有限集合」と書いてある”そのものずばり”だよ http://www.math.s.chiba-u.ac.jp/~matsu/math/limit.pdf p12 「Z/nZ は離散位相の入った有限集合なので,」 はい、スレ閉じて、すっぱりと5CH数学板から退去してください_(_ _)_ http://rio2016.5ch.io/test/read.cgi/math/1568026331/525

526: １３２人目の素数さん [] 2019/09/23(月) 20:50:39.75 ID:/TaDIct0 【祝』スレ主5CH数学板から退去＆以後出入り禁止【朗報】 　　　　 　　｜ 　　　 ／￣￣￣＼ 　　／　　　　　　　.＼ 　.｜　　　 .∧　　　 ｜ 　.｜　　.／川＼　　｜ 　　＼／┏┷┓＼／ 　　 　 。┃お┃｡ 　　ﾞ　# ﾟ┃め┃; ｡ 　　 ; ｡ ･┃で┃･ # 　　｡ ;ﾞ #┃と┃#　｡ 　　ﾞ･# : ┃う┃｡ ;　｡ 　.;:#　ﾞ｡ﾟ┃！┃ﾟ ｡ # 　; ｡;; ﾞ.:｡┗┯┛｡ # : # 　 ∧＿∧ │ . （ ´・ω・）│ 　:/　　　つΦ http://rio2016.5ch.io/test/read.cgi/math/1568026331/526

527: １３２人目の素数さん [] 2019/09/23(月) 21:25:53.31 ID:hzAaw1bL >>525 どうもスレ主です 良い文献だ が、 それ、おれが、最初から書いている元の数nってこと つまり、環として見れば、要素n個は、すでに宣言している通り ほかの文献ないのか？ http://rio2016.5ch.io/test/read.cgi/math/1568026331/527

528: １３２人目の素数さん [] 2019/09/23(月) 21:31:19.44 ID:/TaDIct0 >>527 何言ってんだ？このバカ おまえの要求通りの文言がしっかり書いてあるじゃねーかｗ >Z/nZ は離散位相の入った有限集合なので あらら〜　有限集合じゃ退去するしかないね〜 http://rio2016.5ch.io/test/read.cgi/math/1568026331/528

529: １３２人目の素数さん [sage] 2019/09/23(月) 22:08:02.86 ID:xrE7eXYo >>527 ウィキペディア 有限集合 https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88 ＞x, y がどんな元だったとしても、{}, {x}, {x, y} といったような集合は有限集合である。 はい、スレ閉じて、すっぱりと5CH数学板から退去してください_(_ _)_ http://rio2016.5ch.io/test/read.cgi/math/1568026331/529

530: １３２人目の素数さん [sage] 2019/09/23(月) 22:09:13.39 ID:WrtbuKCE >>527 > ほかの文献 というかスレ主がZとZ/2Zの区別がついていないだけだよ >>518のスレ主が書いている写像はZ→Zでしょ Z/2Z上の数を[0], [1]のようにZ上の数と区別して書けば Z→Z/2Zだったら値域は{[0], [1]}だよ { ... , -2, -1, 0, 1, 2, ... } = Z 　↓ (Z→Z/2Z) { ... , [0], [1], [0], [1], [0], ... } = {[0], [1]} = Z/2Z http://rio2016.5ch.io/test/read.cgi/math/1568026331/530

531: １３２人目の素数さん [] 2019/09/23(月) 22:30:24.85 ID:AiTCL1UC このスレ主が冪集合や射影空間、商環などをどう理解してるのか気になるな すげえトンチンカンなこと言いそう http://rio2016.5ch.io/test/read.cgi/math/1568026331/531

532: １３２人目の素数さん [sage] 2019/09/23(月) 22:33:19.86 ID:xrE7eXYo >>531 すでにスレ10で正規部分群についてトンチンカンなこといいまくってますｗ 書き込みできない間、調べました 1>　1の発言 >>　1に対する他人のツッコミ https://wc2014.5ch.net/test/read.cgi/math/1411454303/232 1> σ-1・C5・σ＝C5（巡回群） https://wc2014.5ch.net/test/read.cgi/math/1411454303/235 >>わかって書いていると思うが、 >>「σ-1・C5・σ＝C5（巡回群）」の >>左辺のC5と右辺のC5とは、 >>一般には同型ではあるが違う群である。 https://wc2014.5ch.net/test/read.cgi/math/1411454303/237 1>それは、群の表現の問題ではないかと。 1>そして、何を同じとし、何を違うと考えるかは、コンテキスト（状況）依存だと https://wc2014.5ch.net/test/read.cgi/math/1411454303/242 >>私は間違っていた。 >>スレ主は分かっていなかった。 >>群Ｇの任意の部分群ＨとＧの元σに対してσ-1・Ｈ・σはＨと同型である。 >>ＨがＧの正規部分群であるとは >>σ-1・Ｈ・σが"Ｇの部分集合"としてもＨと同じ >>であるということである。 https://wc2014.5ch.net/test/read.cgi/math/1411454303/253 >>任意のＨ、σに対してσ-1・Ｈ・σはＨと同型なので、 1>それは、現代風の正規部分群の定義だ https://wc2014.5ch.net/test/read.cgi/math/1411454303/255 >>違う、違う。 >>Ｈが正規部分群でなくても、σ-1・Ｈ・σはＨと同型である。 https://wc2014.5ch.net/test/read.cgi/math/1411454303/259 1>σには、何の制約も付かないとしたら、「σ-1・Ｈ・σはＨと同型」ってまさに正規部分群でしょ？ https://wc2014.5ch.net/test/read.cgi/math/1411454303/265 >>これは酷い http://rio2016.5ch.io/test/read.cgi/math/1568026331/532

533: １３２人目の素数さん [] 2019/09/23(月) 22:34:37.47 ID:hzAaw1bL >>527 nZは、無限集合 それを1個として、Z/nZはn個とする そこまでは、自分で書いている それで、有限集合とするならば、 Z自身1個の集合だから、有限集合だ Z'＝｛Z｝は、1個の元からなる では、これは有限集合なのか さあ、追加の文献を探しておくれ http://rio2016.5ch.io/test/read.cgi/math/1568026331/533

534: １３２人目の素数さん [sage] 2019/09/23(月) 22:34:47.32 ID:xrE7eXYo >>531の続き https://wc2014.5ch.net/test/read.cgi/math/1411454303/283 1>群ＧがS5のとき、位数５の巡回群は正規部分群ではない 　この言明自体は正しいが、 先に紹介した「1」のスレ10の253、259の発言と矛盾する 　今思えば∈も⊂も、有限集合の定義も誤解する馬鹿が 　「σ-1・Ｈ・σ＝Ｈ」（左辺と右辺は集合として同じ） 　を誤解するのは当然だろう　日本語が分かってない 　ついでにいうと https://wc2014.5ch.net/test/read.cgi/math/1411454303/283 1>線形置換から成る位数２０の群Gでは、正規部分群になるよ 　実はスレ10の235に対して、 「σ-1・C5・σ＝C5、の＝は集合として同じ、の意味 　　σは、実は対称群Ｓ５ではなく位数２０の群Ｇの要素σ 　　Ｇは対称群Ｓ５内におけるＨの正規化群」 　と返答すればそれで終わった話 　しかし「1」はそこが分かってないからトンチンカンな回答をし 　10スレの259で致命的な自爆回答をして破滅ｗ http://rio2016.5ch.io/test/read.cgi/math/1568026331/534

535: １３２人目の素数さん [sage] 2019/09/23(月) 22:37:13.43 ID:xrE7eXYo >>533 >Z'＝｛Z｝は、1個の元からなる >では、これは有限集合なのか 有限集合だ ウィキペディア 有限集合 https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88 ＞x, y がどんな元だったとしても、{}, {x}, {x, y} といったような集合は有限集合である。 はい、スレ閉じて、すっぱりと5CH数学板から退去してください_(_ _)_ http://rio2016.5ch.io/test/read.cgi/math/1568026331/535

536: １３２人目の素数さん [sage] 2019/09/23(月) 22:45:56.67 ID:xrE7eXYo ＞Z自身1個の集合だから、有限集合だ これはヒドイｗ どんな集合も１個の集合ｗ Ｚは無限個の元があるから無限集合 {Z}は、1個の元Zしかないから有限集合 Zと｛Z｝が同じだと思うヤツには数学は無理！ http://rio2016.5ch.io/test/read.cgi/math/1568026331/536

537: １３２人目の素数さん [] 2019/09/23(月) 22:52:25.74 ID:hzAaw1bL >>533 自分で、>>471に書いている通り Z/nZが、n個の元からなり、濃度がnであることは、書いてある それ以上の文献を頼むよ http://rio2016.5ch.io/test/read.cgi/math/1568026331/537

538: １３２人目の素数さん [sage] 2019/09/23(月) 22:59:32.81 ID:xrE7eXYo >>537 ダメだよ はっきりと>>471で ＞「Z/nZは有限集合」と書いてある”そのものずばり”だよ >>525の文献で「Z/nZは…有限集合」と書いてあるから もう君はスレ閉じて、すっぱりと5CH数学板から退去するしかない 書き続けたら永遠に罵倒してやる　 貴様は卑怯卑劣なウソツキサイコパスだとなｗｗｗｗｗｗｗ http://rio2016.5ch.io/test/read.cgi/math/1568026331/538

539: １３２人目の素数さん [] 2019/09/23(月) 23:02:11.46 ID:/TaDIct0 往生際の悪いスレ主 http://rio2016.5ch.io/test/read.cgi/math/1568026331/539

540: １３２人目の素数さん [] 2019/09/23(月) 23:08:10.37 ID:hzAaw1bL >>533 {Z}は、順序数の視点では、有限順序数では、ないよね(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/540

541: １３２人目の素数さん [sage] 2019/09/23(月) 23:08:27.43 ID:xrE7eXYo 明日以降、1の書き込みはなくなるので このスレでは1の過去の馬鹿発言を嘲笑する 祭を開催したいと思いますｗｗｗ http://rio2016.5ch.io/test/read.cgi/math/1568026331/541

542: １３２人目の素数さん [sage] 2019/09/23(月) 23:09:32.32 ID:xrE7eXYo >>540 全ての集合が順序数だと思う1は正真正銘の馬鹿ｗ http://rio2016.5ch.io/test/read.cgi/math/1568026331/542

543: １３２人目の素数さん [sage] 2019/09/23(月) 23:12:04.54 ID:xrE7eXYo 明日以降 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE のHNによる書き込みは、乗っ取りによる荒らしと判定します また「スレ主」を称する書き込みも、 成り済ましによる荒らしと判定します http://rio2016.5ch.io/test/read.cgi/math/1568026331/543

544: １３２人目の素数さん [sage] 2019/09/23(月) 23:16:11.73 ID:xrE7eXYo 1は本日当スレから退去いたしました 明日以降1を称する荒らしは即座に焼殺してください お願いいたします http://rio2016.5ch.io/test/read.cgi/math/1568026331/544

545: １３２人目の素数さん [sage] 2019/09/23(月) 23:25:10.52 ID:xrE7eXYo 本日の動画 https://www.dailymotion.com/video/x4e4xvt http://rio2016.5ch.io/test/read.cgi/math/1568026331/545

546: １３２人目の素数さん [] 2019/09/23(月) 23:37:11.25 ID:/TaDIct0 【祝】除菌完了 http://rio2016.5ch.io/test/read.cgi/math/1568026331/546

547: １３２人目の素数さん [] 2019/09/23(月) 23:37:34.40 ID:hzAaw1bL >>540 あと、wikipediaの自然数の単純な構成で 0：＝{} 1：＝{0}={{}} 2：＝{1}={{{}}} 3：＝{2}={{{{}}}} 　・ 　・ この構成では、集合の濃度は常に1だ さあ、追加文献頼むよ http://rio2016.5ch.io/test/read.cgi/math/1568026331/547

548: １３２人目の素数さん [] 2019/09/23(月) 23:42:32.37 ID:hzAaw1bL スレ主です 追加文献頼むよ(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/548

549: １３２人目の素数さん [sage] 2019/09/23(月) 23:42:43.43 ID:xrE7eXYo >>547 >この構成では、集合の濃度は常に1だ 特に問題ない さ、出ていってくれ　ウジ虫野郎 明日以降現れたら、容赦なく機関銃でバラバラになるまで射殺するｗ http://rio2016.5ch.io/test/read.cgi/math/1568026331/549

550: １３２人目の素数さん [] 2019/09/23(月) 23:49:12.36 ID:xrE7eXYo >>548 https://www.youtube.com/watch?v=4R8sG1bVCLI http://rio2016.5ch.io/test/read.cgi/math/1568026331/550

551: １３２人目の素数さん [] 2019/09/23(月) 23:58:23.45 ID:/TaDIct0 >>547 >>548 こらこら せっかく除菌完了したのに入ってくるんじゃない http://rio2016.5ch.io/test/read.cgi/math/1568026331/551

552: １３２人目の素数さん [sage] 2019/09/24(火) 05:22:54.14 ID:FCSoHS2p 「Ｈが正規部分群でなくても、σ-1・Ｈ・σはＨと同型」 ｅをＧの（そしてＨの）単位元とする ｇ、ｈをＨの元とする h-1をｈの逆元とする σ-1・ｅ・σ＝ｅ σ-1・ｇ・σ・σ-1・ｈ・σ＝σ-1・ｇ・ｈ・σ σ-1・ｈ・σ・σ-1・ｈ−１・σ＝σ-1・ｈ・ｈ−１・σ＝σ-1・ｅ・σ＝ｅ ★正規部分群でない部分群の例 S3の中のS2　{e,(12)} (13)(12)(13)=(23)　{e,(23)}≠{e,(12)} (23)(12)(23)=(13)　{e,(13)}≠{e,(12)} 群としては同型だが、集合としては等しくない ☆正規部分群である部分群の例 S3の中のA3　{e,(123),(132)} (12)(123)(12)=(12)(12)(23)(12)=(132) (12)(132)(12)=(12)(23)(12)(12)=(123) (13)(123)(13)=(13)(23)(13)(13)=(132) (13)(132)(13)=(13)(13)(23)(13)=(123) (23)(123)(23)=(23)(12)(23)(23)=(132) (23)(132)(23)=(23)(23)(12)(23)=(123) 恒等変換でないが、集合としては等しい http://rio2016.5ch.io/test/read.cgi/math/1568026331/552

553: １３２人目の素数さん [] 2019/09/24(火) 07:19:17.58 ID:hsCazScf >>547 どうもスレ主です だいたい分かりました 後で書きます でも、追加文献も有ればうれしい 宜しくね(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/553

554: １３２人目の素数さん [] 2019/09/24(火) 07:22:35.54 ID:hsCazScf >>552 どうもスレ主です レスありがとうございます(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/554

555: １３２人目の素数さん [] 2019/09/24(火) 07:45:19.80 ID:qFBXNa9D 早く間違いを認めたらいかがでしょう？ そして約束を守りましょう http://rio2016.5ch.io/test/read.cgi/math/1568026331/555

556: 哀れな素人 [] 2019/09/24(火) 08:11:26.75 ID:Rm/L4Kyf スレ主よ、サル石が毎日お前に噛み付いていることを 僕のスレでスレ民に知らせてやった（笑 サル石の異常性を示す投稿もコピペしてやった（笑 これから毎日そうしてやろうかと思っている（笑 そのうち2chの全員にこいつの異常性が知れ渡る（笑 現代数学はインチキだらけ https://rio2016.5ch.net/test/read.cgi/math/1567930973/l50 それから、サル石のアホは、IDがばれるので、 日付変更後と早朝には投稿しなくなった（笑 ID:qFBXNa9D これはたぶんサル石だろうが（笑 http://rio2016.5ch.io/test/read.cgi/math/1568026331/556

557: １３２人目の素数さん [] 2019/09/24(火) 10:03:13.10 ID:hsCazScf >>556 哀れな素人さん、どうもスレ主です レスありがとうございます 禁止のURLを、貼ったか何かで、アクセス禁止になったらしく いま、スマホからです 不便です ゆっくりやりましょう(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/557

558: １３２人目の素数さん [sage] 2019/09/24(火) 18:58:58.22 ID:p/vUWnO4 https://www.people.vcu.edu/~rhammack/BookOfProof/Main.pdf の問題を解いてみよと書いたけれどもスレ主は結局解けなかったみたいね > Exercises for Section 1.3 A. (部分集合の列挙) > 3. {{R}} > 6. {R, Q, N} > 7. {R, {Q, N}} これもヒントになるでしょ https://math.stackexchange.com/questions/2002828/is-any-set-containing-r-infinite http://rio2016.5ch.io/test/read.cgi/math/1568026331/558

559: １３２人目の素数さん [] 2019/09/24(火) 22:18:40.37 ID:hsCazScf >>547 この自然数の構成では、 カッコ{}の数が問題で、 カッコ{}の数が、無限大のとき、 順序数は、ω(有限ではない) しかし、元の数はで、1で 濃度も1 だから有限集合だと？ これは問題だな http://rio2016.5ch.io/test/read.cgi/math/1568026331/559

560: １３２人目の素数さん [sage] 2019/09/24(火) 23:09:01.20 ID:p/vUWnO4 >>559 そもそもωに対応する自然数は存在しない > カッコ{}の数が、無限大のとき、 これは間違い 故スレ主が書いているのは以下と同じこと a1 = ωという数列がある 値が有限でないのに有限数列であるというのはおかしい http://rio2016.5ch.io/test/read.cgi/math/1568026331/560

561: １３２人目の素数さん [] 2019/09/25(水) 00:02:57.99 ID:2SqyoTy4 >>533 Z/nZは、自分が、すでに書いているように、有限群 それは、すでに書いている 有限環という言葉がある Z/nZは、当然有限環であることに、何の疑問もない 同様に、Z/2Zは有限群であり、有限環であり、有限体である それは、自分で書いてある通り さあ、追加の文献を頼む(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/561

562: １３２人目の素数さん [] 2019/09/25(水) 00:22:05.40 ID:GY+qoybD >>561 おまえ>>525読めんの？ 往生際悪過ぎ とっとと失せろ おまえの居場所は此処には（たぶん何処にも）無い http://rio2016.5ch.io/test/read.cgi/math/1568026331/562

563: １３２人目の素数さん [sage] 2019/09/25(水) 05:23:27.64 ID:EeFvG8oM レス乞食 https://dic.nicovideo.jp/a/%E3%83%AC%E3%82%B9%E4%B9%9E%E9%A3%9F http://rio2016.5ch.io/test/read.cgi/math/1568026331/563

564: １３２人目の素数さん [] 2019/09/25(水) 06:43:05.53 ID:2SqyoTy4 >>547 ノイマン構成だと n：＝{0,1,・・,n-1} 超限順序数 ω：＝{0,1,・・,n,・・} 一方、自然数の単純な構成で ω：＝{{・・{}・・}} (カッコが、無限にある) なので、カッコが無限にある場合は、有限集合とするのは問題だな(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/564

565: １３２人目の素数さん [] 2019/09/25(水) 06:47:56.16 ID:2SqyoTy4 >>562 おサルありがとう(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/565

566: １３２人目の素数さん [] 2019/09/25(水) 06:51:57.37 ID:2SqyoTy4 ガロアスレの勢い、1位だ(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/566

567: １３２人目の素数さん [sage] 2019/09/25(水) 07:14:02.09 ID:EeFvG8oM xが順序数⇔x は推移的集合であり x の要素もまた推移的集合 wikipediaの自然数の「単純な構成」（多分ツェルメロによるもの）では 0,1は順序数だが、2={{{}}}は順序数ではない http://rio2016.5ch.io/test/read.cgi/math/1568026331/567

568: １３２人目の素数さん [sage] 2019/09/25(水) 07:43:53.12 ID:EeFvG8oM ω＝{ω}とすると、正則性公理に反する 正則性公理を採用しない集合論（ZFC-AFA)の上では 上記のωは集合となるが、その場合も要素は１個 https://ja.wikipedia.org/wiki/%E3%83%94%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%82%A2%E3%82%AF%E3%82%BC%E3%83%AB http://rio2016.5ch.io/test/read.cgi/math/1568026331/568

569: １３２人目の素数さん [] 2019/09/25(水) 09:21:27.08 ID:2SqyoTy4 >>567 どうもスレ主です ご苦労様 だが、順序数の定義を再確認乞う http://rio2016.5ch.io/test/read.cgi/math/1568026331/569

570: １３２人目の素数さん [] 2019/09/25(水) 09:26:25.35 ID:2SqyoTy4 >>568 どうもスレ主です 元が、1個の集合が、有限元の集合であることは否定していない だが、それは古典的な有限集合とは、違うでしょ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/570

571: １３２人目の素数さん [] 2019/09/25(水) 10:44:57.82 ID:2SqyoTy4 >>570 補足 有限元の集合 　↓ 有限個元の集合 が、分かり易いかも 有限個の元からなる集合を、有限集合とする定義もありだろうが、 >>564に書いたように、無限集合と考えた方が良い集合までも、有限集合になってしまう なので、元が有限個の集合と、古典的な有限集合とは、分けた方が良いと思う (例 {Z}) http://rio2016.5ch.io/test/read.cgi/math/1568026331/571

572: １３２人目の素数さん [] 2019/09/25(水) 14:03:47.31 ID:2SqyoTy4 >>571 補足 例としては、{N}の方が適切か 順序数との関係で説明できるから(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/572

573: １３２人目の素数さん [] 2019/09/25(水) 16:23:59.07 ID:2SqyoTy4 >>572 {N}や{Z}の使い道がすぐには、浮かばないが、理論的には考えられるだろう 到達不能基数などのわけわからんものも、ありなのだから(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/573

574: １３２人目の素数さん [sage] 2019/09/25(水) 17:21:32.78 ID:jXP/PATW 少女達と無敵の人による或る秘めやかな「性的儀式」 無敵の人３．0 ＰＯＳＴ　ＨＵＭＡＮ　ＳＥＸと 量子的シンギュラリティに関する最終報告 https://ncode.syosetu.com/novelview/infotop/ncode/n3344fs/ 👀 Rock54: Caution(BBR-MD5:0be20a4887bc3d3353f527d3636c44e3) http://rio2016.5ch.io/test/read.cgi/math/1568026331/574

575: １３２人目の素数さん [] 2019/09/25(水) 18:46:59.19 ID:2SqyoTy4 >>573 いま、ふと思ったが、 Z/nZで、n＝1とすると Z/Z＝{Z} か これは何者だろう？ 単位元のみと見て、 群と解釈できるが 1元体F1？(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/575

576: １３２人目の素数さん [sage] 2019/09/25(水) 19:55:59.76 ID:EeFvG8oM >>569 >>567の順序数は∈を順序関係とした場合の定義 >>570-571 >有限個の元からなる集合を、 >有限集合とする定義もありだろうが、 「・・・もあり」ではなく上記の定義が全て キューネンの本を翻訳した藤田氏に ツイッターで訊ねたら？ 藤田氏のtwitterアカウント ジタさん (@fujitapiroc1964) http://rio2016.5ch.io/test/read.cgi/math/1568026331/576

577: １３２人目の素数さん [] 2019/09/26(木) 00:00:21.57 ID:uk8exx/N 約束も守れないサイコパス http://rio2016.5ch.io/test/read.cgi/math/1568026331/577

578: １３２人目の素数さん [sage] 2019/09/26(木) 06:05:13.29 ID:8SLr+Kit 粘着 https://dic.nicovideo.jp/a/%E7%B2%98%E7%9D%80 http://rio2016.5ch.io/test/read.cgi/math/1568026331/578

579: １３２人目の素数さん [] 2019/09/26(木) 09:05:30.63 ID:J8Wn5uyQ >>576 そう、順序数の定義は、いくつもある ツェルメロの自然数の構成では、 {}を、無限に使うと、ωになるよ それ、有限集合だと、おかしい(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/579

580: １３２人目の素数さん [] 2019/09/26(木) 09:53:13.08 ID:J8Wn5uyQ >>579 ツェルメロの自然数構成だと {}を、どんどん内側に構成していく 直接の要素は、常に一つ だが、これでωが構成できる ωが構成できることからすれば それは、無限集合でしょ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/580

581: １３２人目の素数さん [] 2019/09/26(木) 11:10:32.30 ID:J8Wn5uyQ >>580 集合の濃度を、順序数を使って定義するという思想がある とすれば、 (>>567)2：＝{{{}}} で、順序数2、濃度2 この場合、多重{}が3重だから 2＝3―1 とすれば良い つまり、{}の数で、濃度を定義すべき それで、{}の数が無限のとき 順序数ωになって、濃度も無限で、 つじつまがあう http://rio2016.5ch.io/test/read.cgi/math/1568026331/581

582: １３２人目の素数さん [] 2019/09/26(木) 15:31:15.34 ID:J8Wn5uyQ >>575 これ、自分では、気にいっている Z/Z＝｛Z} nで割って1余るとかの類推で、 n＝1で割る 余りは、常に0 剰余類は一つ、Zのみで 標準代表は、0 環Zが、0に潰れているイメージ 面白い(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/582

583: １３２人目の素数さん [] 2019/09/26(木) 16:42:53.44 ID:J8Wn5uyQ >>547　追加 0：＝Φ（空集合） 1：＝{} 2：＝{{}} 3：＝{{{}}} 　・ 　・ と一つずらす方が 濃度の和を考えるときなど 絶対きれいだよね(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/583

584: １３２人目の素数さん [] 2019/09/26(木) 18:31:34.11 ID:J8Wn5uyQ >>582　追加 Z/pZ　p素数だと 有限体 p＝1だと 体が1元に潰れている だから、F1体かもww(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/584

585: １３２人目の素数さん [sage] 2019/09/26(木) 19:14:26.28 ID:8SLr+Kit >>579 >ツェルメロの自然数の構成では、 >{}を、無限に使うと、ωになるよ >>568で述べたが、 {}を、無限に使うと、ω＝{ω}となる したがって正則性公理に反する 正則性公理の下では{}の重なりの数は有限 >それ、有限集合だと、おかしい >>568で述べたが 正則性公理を採用しない集合論ZFC-AFAでも ω＝｛ω｝となるωは、唯一の元からなる有限集合 何もおかしくない >>580 >ωが構成できることからすれば >それは、無限集合でしょ ω＝｛ω｝となるωは 無限個の元を有しないので 無限集合ではない http://rio2016.5ch.io/test/read.cgi/math/1568026331/585

586: １３２人目の素数さん [sage] 2019/09/26(木) 19:14:59.26 ID:8SLr+Kit >>581 >集合の濃度を、順序数を使って定義するという思想がある その思想に沿った順序数は ノイマンの構成法によるもの ツェルメロの方法は、 上記の思想に沿うものではない >2：＝{{{}}} >で、順序数2、濃度2 {{{}}}の濃度は1 >つまり、{}の数で、濃度を定義すべき 濃度は、元の数で定義されるものであって {}の数は関係ない >それで、{}の数が無限のとき順序数ωになって、 {}の数が無限になるなら、整礎でない >濃度も無限で、つじつまがあう 濃度を順序数で定義するのであれば、 ノイマンの構成法による必要がある ツェルメロの方法では、超限順序数の定義ができない まずωが正則性公理に反する。 正則性公理を捨ててω＝｛ω｝を認めたとして 今度はω＋１が実現できない http://rio2016.5ch.io/test/read.cgi/math/1568026331/586

587: １３２人目の素数さん [sage] 2019/09/26(木) 19:16:00.53 ID:8SLr+Kit >0：＝Φ（空集合） >1：＝{} Φ＝{}なので、上記の場合０＝１ http://rio2016.5ch.io/test/read.cgi/math/1568026331/587

588: １３２人目の素数さん [] 2019/09/26(木) 19:37:21.88 ID:J8Wn5uyQ >>584 複素数体Cで c http://rio2016.5ch.io/test/read.cgi/math/1568026331/588

589: １３２人目の素数さん [] 2019/09/26(木) 19:41:55.48 ID:J8Wn5uyQ >>584 もとい 複素数体Cで C/C＝{C}として 1元に潰したほうが、 面白いかも(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/589

590: １３２人目の素数さん [] 2019/09/26(木) 21:37:36.31 ID:J8Wn5uyQ >>587 ご指摘ありがとう そうだね 空集合Φ＝{} だったね やっぱ0：＝Φ＝{} とするのが正しいね(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/590

591: １３２人目の素数さん [] 2019/09/26(木) 22:20:56.60 ID:J8Wn5uyQ >>586 濃度の話しのノイマン構成による解決は、ご指摘の通りのようだね 但し、ノイマン構成でも、無限集合ならば、 使われる{}の数は、無限でしょ それとωは、集合ではないでしょ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/591

592: １３２人目の素数さん [] 2019/09/26(木) 22:24:39.41 ID:J8Wn5uyQ >>591　 ノイマン構成でも、 無限集合ならば {}の多重度は、無限でしょ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/592

593: １３２人目の素数さん [] 2019/09/26(木) 23:12:08.19 ID:J8Wn5uyQ >>592　 ノイマン構成 0：＝{} 1：＝{0} 2：＝{0,1} 　・ 　・ n：＝{0,1,・・,nｰ1} 　・ 　・ ω： N：＝{0,1,・・,n,・・} ω+1：N｀：＝{0,1,・・,n,・・,N} てことでしょ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/593

594: １３２人目の素数さん [] 2019/09/27(金) 00:07:02.73 ID:hOMsDXh9 >>584 これは酷い http://rio2016.5ch.io/test/read.cgi/math/1568026331/594

595: １３２人目の素数さん [] 2019/09/27(金) 00:07:22.12 ID:hOMsDXh9 約束も守れないサイコパス http://rio2016.5ch.io/test/read.cgi/math/1568026331/595

596: １３２人目の素数さん [] 2019/09/27(金) 00:50:13.81 ID:NvLUjz9t Z/nZが、有限環であることは、誰も否定していない 但し、Zは無限集合だが、 それに{}を付けて、{Z}ならば有限集合と呼ぶことに、数学的にどんな意味があるのか 要素が有限個の集合と呼ぶことでよろしいでしょ {Z}から{}を外せば、無限集合に戻るのだから 有限集合という言葉は、古典的な有限集合にのみ限定適用するのが、適切と思いますよ わかったら、さあ、追加文献頼みますよ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/596

597: １３２人目の素数さん [sage] 2019/09/27(金) 06:17:15.09 ID:hBvXJpyy >>593 >ノイマン構成でも、無限集合ならば >{}の多重度は、無限でしょ いや、ωの{}の多重度は有限 なぜなら、ωの要素はみな自然数で ｎの{}の多重度はｎ＋１で有限だから >>596 ＞要素が有限個の集合 それが有限集合 ＞追加文献 都合のいいものはなさそうだから 直接、集合論の研究者に尋ねたら如何？ >>576でも書かれてるが 例えばキューネンの本を翻訳した藤田氏とか 藤田氏のtwitterアカウント ジタさん (@fujitapiroc1964) http://rio2016.5ch.io/test/read.cgi/math/1568026331/597

598: １３２人目の素数さん [] 2019/09/27(金) 07:28:08.16 ID:NvLUjz9t >>597 どうもスレ主です 1)ωが、ノイマン構成の集合Nに対応することまでは、一致しています 　しかし、Nは無限集合です 　そこで、{N}を考えます 　{N}の多重度は、無限でしょ 2)Nの多重度は、{N}の多重度ｰ1と考えると、無限でしょ 　余談ですが、Nはnたちを無限に集めて、{}を付けたものと考えれば、やっぱり{}の多重度は無限 3)要素が有限個の集合を、有限集合と呼ぶと定義するのは、勝手ですが、 　賢い命名かどうかが問題です 　｛N}を、有限集合に分類することに、どういう意義が、あるのか 　元が有限個の集合と呼ぶほうが、分かり易いでしょ 　{N}を有限集合と呼ぶと、{N}の{}を外せば、無限集合になって、それはなんかへん 4)やっぱり文献ないでしょ。それで結構ですよ 　Z/nZを、有限環、有限群、あるいは、n＝pのとき有限体と呼ぶ以上に、純粋に集合論として、有限集合を強調する意義はないでしょ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/598

599: １３２人目の素数さん [] 2019/09/27(金) 07:31:33.55 ID:NvLUjz9t さあ、追加の文献検索頼みますよ(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/599

600: １３２人目の素数さん [sage] 2019/09/27(金) 07:35:40.14 ID:hBvXJpyy >>598 >1){N}の多重度は、無限でしょ いや　有限 >2)Nの多重度は、{N}の多重度ｰ1と考えると、無限でしょ いや　有限 >3)要素が有限個の集合を、有限集合と呼ぶと定義するのは、勝手ですが 既にそう定義されたので　勝手な変更はできない >{N}を有限集合と呼ぶと、{N}の{}を外せば、無限集合になって、 >それはなんかへん 有限集合の条件として、集合の要素が何かは問わないので　全然ヘンでない >4)やっぱり文献ないでしょ。それで結構ですよ いや　あまりにも自明なのでさらっと流しているだけ 「有限集合は要素が有限個の集合である」という定義を 集合論の研究者に確認して受け入れてね http://rio2016.5ch.io/test/read.cgi/math/1568026331/600

601: １３２人目の素数さん [sage] 2019/09/27(金) 07:40:05.41 ID:hBvXJpyy >>600 ぜひ、集合論研究者に有限集合の定義を確認してね P.S. 「古典的」ではなく、遺伝的有限集合の定義は以下 https://ja.wikipedia.org/wiki/%E9%81%BA%E4%BC%9D%E7%9A%84%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88 「整礎的な遺伝的有限集合の帰納的定義は次のようにされる： 　基底段階: 空集合は遺伝的有限である。 　再帰段階: もし a_1,… ,a_kが遺伝的有限ならば {a_1,… ,a_k}もそうである。 　以上によって遺伝的有限集合とわかるものだけが遺伝的有限集合である。」 ただ、遺伝的有限集合のみを有限集合と呼ぶことはしない http://rio2016.5ch.io/test/read.cgi/math/1568026331/601

602: １３２人目の素数さん [] 2019/09/27(金) 08:53:45.80 ID:hOMsDXh9 約束も守れないサイコパス http://rio2016.5ch.io/test/read.cgi/math/1568026331/602

603: １３２人目の素数さん [] 2019/09/27(金) 14:44:52.86 ID:NvLUjz9t >>600 どうもスレ主です 外していたらごめん あなたは、前スレで、前原先生の論文に文句つけた人かな （基礎論の知識が豊富ですね） 1)背理法、{}の多重度が、有限とする 　有限なのだから、あるmが存在してm重とする 　しかし、自然の元nに上限なし 　(かならずn+1が、存在する) 　よって、矛盾である （二ヵ所とも） 2）定義というか命名の妥当性を問題にしています 3）”元の数が有限の意味”で、有限集合と呼ぶとするのは、注釈つき乃至有限の意味が元の数であることが明白なときは反対しません 4）やっぱり文献ないでしょ 　いや、要するに、遺伝的有限集合の定義を作ったのは、その必要が、あるからでしょ 　つまり、元の数が有限だけで、単純に割り切れないってことですよね(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/603

604: １３２人目の素数さん [sage] 2019/09/27(金) 17:21:11.79 ID:wA8G3H27 >>598 > {N}の多重度は、無限でしょ Nを基準(自然数の場合の空集合と同じ意味)と考えたら有限です 0, 1, 2, ... ω, ω+1, ω+2, ... > Nはnたちを無限に集めて、{}を付けたものと考えれば、やっぱり{}の多重度は無限 {0, 1, 2, ... }, {{0, 1, 2, ... }}, {{{0, 1, 2, ... }}}の場合は外側の{}は有限個 > {N}を有限集合と呼ぶと、{N}の{}を外せば、無限集合になって、それはなんかへん {{}}などを空でない集合と呼ぶと{}を外していけば空集合になることは受け入れているのに？ 空 vs. 空でない 有限 vs. 有限でない(= 無限) http://rio2016.5ch.io/test/read.cgi/math/1568026331/604

605: １３２人目の素数さん [] 2019/09/27(金) 18:36:33.78 ID:NvLUjz9t >>604 ・Nを基準？意味分かりません ・ZFC公理的集合論は、まずは空集合基準でしょ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/605

606: １３２人目の素数さん [sage] 2019/09/27(金) 18:52:16.49 ID:wA8G3H27 >>605 > 空集合基準 Nは ... {{ ... {空集合} ... }} ... ではないから空集合基準にならないでしょ Nは無限個の元が基準 0, 1, 2, ... : 無限個の数を基準に{}で囲めば {0, 1, 2, ... }これで初めて無限集合になっている 有限ならば{{{空集合 : 空集合の公理}}}で話が進むが 無限の場合は{{{ N : 無限公理 }}} http://rio2016.5ch.io/test/read.cgi/math/1568026331/606

607: １３２人目の素数さん [sage] 2019/09/27(金) 19:24:22.97 ID:hBvXJpyy >>603 前原センセイとは誰？国会議員か？ ・Nの{}の重なりは、Nの要素の{}の重なりから決まる 　どの元を選んでも有限 　{}の重なりが無限になる元は存在しない ・有限集合は既に定義されている用語なので 　妥当性の議論抜きに定義を受け入れるしかない ・”元の数が有限”の集合が有限集合というのが定義 　反対しないなら受け入れたということ ・遺伝的有限集合は 　「有限個の{}と,だけで記載できる集合が有限集合である」 　といいたいためだけに考えられた概念ではない 　有限集合というだけなら、別にその要素が無限集合であってもいい http://rio2016.5ch.io/test/read.cgi/math/1568026331/607

608: １３２人目の素数さん [sage] 2019/09/27(金) 19:31:54.09 ID:hBvXJpyy >>605 >・Nを基準？意味分かりません 私も分からん　集合論に”基準”という言葉はない >・ZFC公理的集合論は、まずは空集合基準でしょ これも分からん　分からん言葉を使う神経も分からん http://rio2016.5ch.io/test/read.cgi/math/1568026331/608

609: １３２人目の素数さん [] 2019/09/27(金) 20:34:51.46 ID:NvLUjz9t >>607 なんだ、おサルのピエロか 相手して、損したな(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/609

610: １３２人目の素数さん [sage] 2019/09/27(金) 20:51:11.84 ID:hBvXJpyy >>609 おサルのピエロ・・・知らん 有限集合の定義については集合論の研究者に尋ねること http://rio2016.5ch.io/test/read.cgi/math/1568026331/610

611: １３２人目の素数さん [] 2019/09/27(金) 21:47:38.23 ID:hOMsDXh9 約束も守れないサイコパス http://rio2016.5ch.io/test/read.cgi/math/1568026331/611

612: １３２人目の素数さん [] 2019/09/27(金) 22:12:37.55 ID:NvLUjz9t >>606 ・ZFC公理は、空集合と{}で、全ての集合を作ろうというもの ・最初は、グーならぬ最初は空 　だから空基準 ・自然数の集合Nは、無限公理が適用されて出来上がっていることを、お忘れでは？ ・まあ、可能無限かな(゜ロ゜; ・あんたら、哀れな素人さんと、同じ思考パターンやで ・今なら、哀れな素人さんの思考が、分かるのではw(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/612

613: １３２人目の素数さん [sage] 2019/09/27(金) 22:24:25.36 ID:hBvXJpyy >>612 有限集合とは”元の数が有限の集合”であることは受け入れた？ まだなら集合論の研究者に尋ねてね http://rio2016.5ch.io/test/read.cgi/math/1568026331/613

614: １３２人目の素数さん [sage] 2019/09/27(金) 22:41:41.02 ID:wA8G3H27 >>612 > 自然数の集合Nは、無限公理が適用されて出来上がっていることを、 > お忘れでは？ それはスレ主の方でしょ > 最初は、グーならぬ最初は空 > 　だから空基準 無限公理適用でNがあるんだから空集合と{}だけではNは作れないし 逆にNから{}を順番に取り除いていっても空集合にはできない {}の多重度で有限や無限を論ずるのならばNの濃度(= 可算無限)は 元の数に関してなので{}の多重度とは無関係 {}の多重度とは無関係に無限公理でNを導入すれば{}の多重度で測れるのは ω, {ω}, {{ω}}, {{ω}}, ... ω, ω+1, ω+2, ... {}を順番に外すことではωより前には戻れない http://rio2016.5ch.io/test/read.cgi/math/1568026331/614

615: １３２人目の素数さん [] 2019/09/27(金) 23:24:55.68 ID:NvLUjz9t >>613 追加文献提供頼むよ(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/615

616: １３２人目の素数さん [] 2019/09/27(金) 23:25:37.61 ID:hOMsDXh9 約束も守れないサイコパス http://rio2016.5ch.io/test/read.cgi/math/1568026331/616

617: １３２人目の素数さん [sage] 2019/09/27(金) 23:28:03.49 ID:hBvXJpyy >>615 集合論の研究者を恐れるな 真理が知りたいんだろう？ http://rio2016.5ch.io/test/read.cgi/math/1568026331/617

618: １３２人目の素数さん [] 2019/09/28(土) 06:43:30.33 ID:4iMJWNT8 >>614 ・哀れな素人さん？w(^_^) 　空と{}だけで、Nができるよ 　そのための無限公理だよ ・Nから、逆に{}までたどれるでしょ 　現代数学は、無限の操作を許すよ 　あなたは、哀れな素人さん？(゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/618

619: １３２人目の素数さん [] 2019/09/28(土) 06:46:12.71 ID:4iMJWNT8 >>617 追加文献が見つからない それでいい それが現実なんだ(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/619

620: １３２人目の素数さん [] 2019/09/28(土) 07:06:22.74 ID:4iMJWNT8 >>618 Nのノイマン構成 0：{}＝Φ 1：{{}}＝{Φ} 2：{Φ,{Φ}} 3：{Φ,{Φ},{Φ,{Φ}}} 　・ 　・ ここで、右端のΦに注目する そして、Φの右の}の数に注目する 1のとき}は、1個 2のとき}は、2個 3のとき}は、3個 　・ nのとき}は、n個 つまり、ノイマン構成では、 ある数nと}の数とは、対応しています だから、無限公理のもと、 ωにおいて、右端のΦの右の}の数は、加算無限 (゜ロ゜; http://rio2016.5ch.io/test/read.cgi/math/1568026331/620

621: １３２人目の素数さん [] 2019/09/28(土) 07:14:01.78 ID:4iMJWNT8 いま、このガロアスレの勢いは 33.6で、ランキング一位です みなさん、ありがとう(^_^) http://rio2016.5ch.io/test/read.cgi/math/1568026331/621

622: １３２人目の素数さん [sage] 2019/09/28(土) 09:54:19.72 ID:ccu5D6lw >>619 追加文献 ブリタニカ国際大百科事典 有限集合　ゆうげんしゅうごう　finite set https://kotobank.jp/word/%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88-144701 「元の個数が有限である集合をいう。」 御愁傷様(-||-) http://rio2016.5ch.io/test/read.cgi/math/1568026331/622

623: １３２人目の素数さん [sage] 2019/09/28(土) 10:12:23.43 ID:ccu5D6lw >>619 追加文献２ 岩波数学辞典　第４版 355　濃度　F.有限と無限の定義　(p1149) 「X を集合 A のベキ集合の部分集合であるとする． 　もし空集合がX に属し，すべてのB∈X と a∈A に対しB∪{a}∈X となっているなら， 　X は A に よって生成される部分集合の族という． 　A 自体が Aによって生成される部分集合の族すべてに属すと き， 　A は有限であるという」 原典　B. Russell - A.Whitehead, Principia Mathematica, Vol.II, Cambridge Univ. Press, 1912; ・{ω｝の部分集合の族は｛｛｝、{ω｝｝だけであり、 　｛ω｝は｛｛｝、{ω｝｝の要素であるから有限集合 ・ωの部分集合の族としてωがあるが、 　ωはωの要素でないので無限集合 http://rio2016.5ch.io/test/read.cgi/math/1568026331/623

---

ﾒﾓ帳

(0/65535文字)

---

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

---

あと 379 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.034s