現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
■ このスレッドは過去ログ倉庫に格納されています
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^
最近、AIと数学の関係が気になって、その関係の記事を集めています〜(^^
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを(^^
なお、
小学レベルとバカプロ固定
サイコパスのピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」。知能が低下してサルになっています)
(参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
(なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述(^^; )
High level people (知能の低い者が、サルと呼ばれるようになり、残りました。w(^^; )
低脳幼稚園児のAAお絵かき
上記は、お断り!!
小学生がいますので、18金(禁)よろしくね!(^^
(旧スレが1000オーバー(又は間近)で、新スレを立てた) >>579
>ツェルメロの自然数の構成では、
>{}を、無限に使うと、ωになるよ
>>568で述べたが、
{}を、無限に使うと、ω={ω}となる
したがって正則性公理に反する
正則性公理の下では{}の重なりの数は有限
>それ、有限集合だと、おかしい
>>568で述べたが
正則性公理を採用しない集合論ZFC-AFAでも
ω={ω}となるωは、唯一の元からなる有限集合
何もおかしくない
>>580
>ωが構成できることからすれば
>それは、無限集合でしょ
ω={ω}となるωは
無限個の元を有しないので
無限集合ではない >>581
>集合の濃度を、順序数を使って定義するという思想がある
その思想に沿った順序数は
ノイマンの構成法によるもの
ツェルメロの方法は、
上記の思想に沿うものではない
>2:={{{}}}
>で、順序数2、濃度2
{{{}}}の濃度は1
>つまり、{}の数で、濃度を定義すべき
濃度は、元の数で定義されるものであって
{}の数は関係ない
>それで、{}の数が無限のとき順序数ωになって、
{}の数が無限になるなら、整礎でない
>濃度も無限で、つじつまがあう
濃度を順序数で定義するのであれば、
ノイマンの構成法による必要がある
ツェルメロの方法では、超限順序数の定義ができない
まずωが正則性公理に反する。
正則性公理を捨ててω={ω}を認めたとして
今度はω+1が実現できない >0:=Φ(空集合)
>1:={}
Φ={}なので、上記の場合0=1 >>584
もとい
複素数体Cで
C/C={C}として
1元に潰したほうが、
面白いかも(゜ロ゜; >>587
ご指摘ありがとう
そうだね
空集合Φ={}
だったね
やっぱ0:=Φ={}
とするのが正しいね(^_^) >>586
濃度の話しのノイマン構成による解決は、ご指摘の通りのようだね
但し、ノイマン構成でも、無限集合ならば、 使われる{}の数は、無限でしょ
それとωは、集合ではないでしょ(゜ロ゜; >>591
ノイマン構成でも、
無限集合ならば
{}の多重度は、無限でしょ(゜ロ゜; >>592
ノイマン構成
0:={}
1:={0}
2:={0,1}
・
・
n:={0,1,・・,nー1}
・
・
ω: N:={0,1,・・,n,・・}
ω+1:N`:={0,1,・・,n,・・,N}
てことでしょ(゜ロ゜; Z/nZが、有限環であることは、誰も否定していない
但し、Zは無限集合だが、
それに{}を付けて、{Z}ならば有限集合と呼ぶことに、数学的にどんな意味があるのか
要素が有限個の集合と呼ぶことでよろしいでしょ
{Z}から{}を外せば、無限集合に戻るのだから
有限集合という言葉は、古典的な有限集合にのみ限定適用するのが、適切と思いますよ
わかったら、さあ、追加文献頼みますよ(゜ロ゜; >>593
>ノイマン構成でも、無限集合ならば
>{}の多重度は、無限でしょ
いや、ωの{}の多重度は有限
なぜなら、ωの要素はみな自然数で
nの{}の多重度はn+1で有限だから
>>596
>要素が有限個の集合
それが有限集合
>追加文献
都合のいいものはなさそうだから
直接、集合論の研究者に尋ねたら如何?
>>576でも書かれてるが
例えばキューネンの本を翻訳した藤田氏とか
藤田氏のtwitterアカウント
ジタさん (@fujitapiroc1964) >>597
どうもスレ主です
1)ωが、ノイマン構成の集合Nに対応することまでは、一致しています
しかし、Nは無限集合です
そこで、{N}を考えます
{N}の多重度は、無限でしょ
2)Nの多重度は、{N}の多重度ー1と考えると、無限でしょ
余談ですが、Nはnたちを無限に集めて、{}を付けたものと考えれば、やっぱり{}の多重度は無限
3)要素が有限個の集合を、有限集合と呼ぶと定義するのは、勝手ですが、
賢い命名かどうかが問題です
{N}を、有限集合に分類することに、どういう意義が、あるのか
元が有限個の集合と呼ぶほうが、分かり易いでしょ
{N}を有限集合と呼ぶと、{N}の{}を外せば、無限集合になって、それはなんかへん
4)やっぱり文献ないでしょ。それで結構ですよ
Z/nZを、有限環、有限群、あるいは、n=pのとき有限体と呼ぶ以上に、純粋に集合論として、有限集合を強調する意義はないでしょ(゜ロ゜; >>598
>1){N}の多重度は、無限でしょ
いや 有限
>2)Nの多重度は、{N}の多重度ー1と考えると、無限でしょ
いや 有限
>3)要素が有限個の集合を、有限集合と呼ぶと定義するのは、勝手ですが
既にそう定義されたので 勝手な変更はできない
>{N}を有限集合と呼ぶと、{N}の{}を外せば、無限集合になって、
>それはなんかへん
有限集合の条件として、集合の要素が何かは問わないので 全然ヘンでない
>4)やっぱり文献ないでしょ。それで結構ですよ
いや あまりにも自明なのでさらっと流しているだけ
「有限集合は要素が有限個の集合である」という定義を
集合論の研究者に確認して受け入れてね >>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}もそうである。
以上によって遺伝的有限集合とわかるものだけが遺伝的有限集合である。」
ただ、遺伝的有限集合のみを有限集合と呼ぶことはしない >>600
どうもスレ主です
外していたらごめん
あなたは、前スレで、前原先生の論文に文句つけた人かな
(基礎論の知識が豊富ですね)
1)背理法、{}の多重度が、有限とする
有限なのだから、あるmが存在してm重とする
しかし、自然の元nに上限なし
(かならずn+1が、存在する)
よって、矛盾である
(二ヵ所とも)
2)定義というか命名の妥当性を問題にしています
3)”元の数が有限の意味”で、有限集合と呼ぶとするのは、注釈つき乃至有限の意味が元の数であることが明白なときは反対しません
4)やっぱり文献ないでしょ
いや、要するに、遺伝的有限集合の定義を作ったのは、その必要が、あるからでしょ
つまり、元の数が有限だけで、単純に割り切れないってことですよね(゜ロ゜; >>598
> {N}の多重度は、無限でしょ
Nを基準(自然数の場合の空集合と同じ意味)と考えたら有限です
0, 1, 2, ...
ω, ω+1, ω+2, ...
> Nはnたちを無限に集めて、{}を付けたものと考えれば、やっぱり{}の多重度は無限
{0, 1, 2, ... }, {{0, 1, 2, ... }}, {{{0, 1, 2, ... }}}の場合は外側の{}は有限個
> {N}を有限集合と呼ぶと、{N}の{}を外せば、無限集合になって、それはなんかへん
{{}}などを空でない集合と呼ぶと{}を外していけば空集合になることは受け入れているのに?
空 vs. 空でない
有限 vs. 有限でない(= 無限) >>604
・Nを基準?意味分かりません
・ZFC公理的集合論は、まずは空集合基準でしょ(゜ロ゜; >>605
> 空集合基準
Nは ... {{ ... {空集合} ... }} ... ではないから空集合基準にならないでしょ
Nは無限個の元が基準
0, 1, 2, ... : 無限個の数を基準に{}で囲めば
{0, 1, 2, ... }これで初めて無限集合になっている
有限ならば{{{空集合 : 空集合の公理}}}で話が進むが
無限の場合は{{{ N : 無限公理 }}} >>603
前原センセイとは誰?国会議員か?
・Nの{}の重なりは、Nの要素の{}の重なりから決まる
どの元を選んでも有限
{}の重なりが無限になる元は存在しない
・有限集合は既に定義されている用語なので
妥当性の議論抜きに定義を受け入れるしかない
・”元の数が有限”の集合が有限集合というのが定義
反対しないなら受け入れたということ
・遺伝的有限集合は
「有限個の{}と,だけで記載できる集合が有限集合である」
といいたいためだけに考えられた概念ではない
有限集合というだけなら、別にその要素が無限集合であってもいい >>605
>・Nを基準?意味分かりません
私も分からん 集合論に”基準”という言葉はない
>・ZFC公理的集合論は、まずは空集合基準でしょ
これも分からん 分からん言葉を使う神経も分からん >>607
なんだ、おサルのピエロか
相手して、損したな(゜ロ゜; >>609
おサルのピエロ・・・知らん
有限集合の定義については集合論の研究者に尋ねること >>606
・ZFC公理は、空集合と{}で、全ての集合を作ろうというもの
・最初は、グーならぬ最初は空
だから空基準
・自然数の集合Nは、無限公理が適用されて出来上がっていることを、お忘れでは?
・まあ、可能無限かな(゜ロ゜;
・あんたら、哀れな素人さんと、同じ思考パターンやで
・今なら、哀れな素人さんの思考が、分かるのではw(゜ロ゜; >>612
有限集合とは”元の数が有限の集合”であることは受け入れた?
まだなら集合論の研究者に尋ねてね >>612
> 自然数の集合Nは、無限公理が適用されて出来上がっていることを、
> お忘れでは?
それはスレ主の方でしょ
> 最初は、グーならぬ最初は空
> だから空基準
無限公理適用でNがあるんだから空集合と{}だけではNは作れないし
逆にNから{}を順番に取り除いていっても空集合にはできない
{}の多重度で有限や無限を論ずるのならばNの濃度(= 可算無限)は
元の数に関してなので{}の多重度とは無関係
{}の多重度とは無関係に無限公理でNを導入すれば{}の多重度で測れるのは
ω, {ω}, {{ω}}, {{ω}}, ...
ω, ω+1, ω+2, ...
{}を順番に外すことではωより前には戻れない >>615
集合論の研究者を恐れるな
真理が知りたいんだろう? >>614
・哀れな素人さん?w(^_^)
空と{}だけで、Nができるよ
そのための無限公理だよ
・Nから、逆に{}までたどれるでしょ
現代数学は、無限の操作を許すよ
あなたは、哀れな素人さん?(゜ロ゜; >>617
追加文献が見つからない
それでいい
それが現実なんだ(^_^) >>618
Nのノイマン構成
0:{}=Φ
1:{{}}={Φ}
2:{Φ,{Φ}}
3:{Φ,{Φ},{Φ,{Φ}}}
・
・
ここで、右端のΦに注目する
そして、Φの右の}の数に注目する
1のとき}は、1個
2のとき}は、2個
3のとき}は、3個
・
nのとき}は、n個
つまり、ノイマン構成では、
ある数nと}の数とは、対応しています
だから、無限公理のもと、
ωにおいて、右端のΦの右の}の数は、加算無限
(゜ロ゜; いま、このガロアスレの勢いは
33.6で、ランキング一位です
みなさん、ありがとう(^_^) >>619
追加文献
ブリタニカ国際大百科事典
有限集合 ゆうげんしゅうごう finite set
https://kotobank.jp/word/%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88-144701
「元の個数が有限である集合をいう。」
御愁傷様(-||-) >>619
追加文献2
岩波数学辞典 第4版
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;
・{ω}の部分集合の族は{{}、{ω}}だけであり、
{ω}は{{}、{ω}}の要素であるから有限集合
・ωの部分集合の族としてωがあるが、
ωはωの要素でないので無限集合 >>620 追加
(ノイマン構成で、右端の}の数と、有限、む)
ツェルメロ構成 >>620 もとい、追加
(誤投稿のため再投稿)
(ノイマン構成で、右端の}の数と、有限無限が対応する)
ツェルメロ構成では、
0:Φ
1:{Φ}
2:{{Φ}}
3:{{{Φ}}}
・
同様に、右端の}の数に注目すると
数nに対して、}の数n個
同様に、ωに対しては、}の数は加算無限
そしてωは、有限ではない
しかし、ツェルメロ構成では、元の数は、常に一つ
ツェルメロ構成のωの示す集合を、有限集合と呼ぶのは、おかしい
有限集合は、古典的な有限集合に限定すべきだよと(゜ロ゜; >>622-623
辞書の意味で、
wikipedia 「有限」で
「無限でないことである」と
記載されているよ(゜ロ゜; >>627
>>623のラッセルとホワイトヘッドの定義を
否定できない貴方はこのスレッドから退去すること >>618
> 空と{}だけで、Nができるよ
それだと無限公理なしでNができることになるでしょ
無限公理 = Nは既に存在している
> Nから、逆に{}までたどれるでしょ
suc(n) = ωとなる自然数は存在しないんです
任意の自然数nとωの差は有限ではない
https://ja.wikipedia.org/wiki/順序数
> ある順序数 β が存在して α = S(β) となる順序数 α を後続順序数と呼ぶ。
> 0 でも後続順序数でもない順序数を極限順序数と呼ぶ。
> ω は最小の極限順序数である。 >>629
>suc(n) = ωとなる自然数は存在しないんです
上記は正しい
一方でωから{}を外して現れる要素は、全て自然数だから
{}を有限回外せば 空集合にいきつく つまり整礎 スレ主よ、お前のスレもだんだん落ちて来たぞ(笑
どんどん書き込んでサル石の噛みつきレスを誘発させろ(笑
それを僕が僕のスレにコピペしてやる(笑 スレ主よ、僕のスレにこんな投稿をしてやった(笑
現代数学の系譜 工学物理雑談 古典ガロア理論も読む
このスレの過去三年間のこいつの投稿を見てみればいい(笑
こいつがいかに異常な投稿をしているかが分る(笑
殺人狂の一歩手前の精神異常者だ(笑
サル石の過去の異常投稿をどんどん僕のスレに貼りつけてくれ(笑 >>632
哀れな素人さん、どうもスレ主です
レスありがとう
いま、PCの専用ブラウザの方がアクセス禁止状態なのです
多分もうしばらくしたら、アクセス可能になると思います
それまで少々お待ちください(^_^) >>629
・無限公理は、wikipediaでも見てもらえばいいが、
その意味は、ある集合が存在して、
空集合Φとx∪{x}を無限回繰り返した集合が可能だというもの
(不正確な表現かも知れないが、気持ちは、そういうこと)
・ここで、無限回の繰り返しを認めれば
(無限回の繰り返しと同じことが、公理的に構成できるだろう)
逆の繰り返しで、元に戻る
・それで尽きている(゜ロ゜; >>623
・ラッセルのPrincipia1912は、
濃度(cardinal number)での
有限と無限を、maltiplicative axiom(これは、今では選択公理と等価であることが知られている)
を使い、論じたもの
・ところで、自然数には、二つの性格があるという
順序(ordinarily number)と基数(cardinal number)
・順序で、ツェルメロ構成の自然数で、その後のωは、{}を加算無限に重ねたものたが、それは順序の意味で無限大でしょ
それを有限集合と呼ぶのは、如何なものかということよ(゜ロ゜;
濃度の意味では、1と定義するとしても(^_^) >>636
有限集合とは「濃度が有限」という定義だから順序は無関係
ついでに言うと{}を無限個重ねたものは、正則性公理に反する
あと maltiplicative ではなく multiplicative
P.S. このスレでは汚名返上は無理だから諦めて一から出直したほうがいい >>635
> 繰り返した集合が可能だというもの
> 無限回の繰り返しを認めれば
> 逆の繰り返しで、元に戻る
逆の繰り返しが可能かは無条件で認められないでしょ
順序数の差は?
有限回なら逆の繰り返しは可能
https://ja.wikipedia.org/wiki/順序数
> 順序数の間には自然数の場合と同じく和、積、冪が定義できる。
> 特に有限順序数の間の演算は通常のそれと一致する。
>>636
> 順序の意味で無限大
> それを有限集合と呼ぶのは、如何なものかということよ
https://ja.wikipedia.org/wiki/整列集合
> (0を含む)自然数全体の成す集合Nは通常の大小関係 ≤ が整列順序を与える。
> この整列集合の順序型はωで表される。
> さらに、0でない任意の自然数は唯一の直前元を持つ。
> Nにおける別な整列順序としては、例えば、どの偶数もどんな奇数よりも小さいものとし、
> 偶数同士あるいは奇数同士では通常の大小関係を適用することで得られる順序
> 0, 2, 4, 6, 8, ... , 1, 3, 5, 7, 9, ... が挙げられる。
> この順序に関する整列集合の順序型は ω + ω である。
> 任意の元が直後の元を持つ(したがって最大元は存在しない)が、
> 直前の元を持たない元が0と1の二つ存在する。
0, 2, 4, 6, 8, ... , 1, 3, 5, 7, 9, ... の1は「順序の意味で無限大」で有限値 >>638
>逆の繰り返しが可能かは無条件で認められないでしょ
>>629の「suc(n) = ωとなる自然数は存在しない」から
逆の繰り返しは不可能だな
>有限回なら逆の繰り返しは可能
任意の自然数mについて、suc(n) = mとなるnが存在するからね
ID:NoBnYUlZはこのスレでは汚名返上は無理だから
諦めて一から出直したほうがいい >>637
おサルのピエロか
ご苦労様
スペルチェックありがとう
そうそう、multiplicativeな
で
・日本語では、意識されないが、
英文法では、序数詞と基数詞とが、区別される
nとn-thみたいに
・で、公理的集合論は、日本語に近いのかも
集合ベースで、集合を序数詞の意味でも、基数詞の意味でも使う
・ツェルメロの構成による順序数ωを表す集合は、序数詞の意味で無限大
・この集合を有限集合と呼ぶのは、言語学として適切でないと思いますよ(^_^) >>639
自分たちが、無限を否定する哀れな素人さんの立場を取っているという自覚ありますか(^_^) >>640
気に入らないこという相手に
必ず「おサルのピエロ」という芸にも
迂闊な間違い発言で集中砲火を食らい
際限なく言い訳を書き続ける芸にも
もう飽きた
>言語学として適切でない
言語学板でスレッド立ててやってくれたまえ
https://lavender.5ch.net/gengo/ >>638
・自然数
ノイマン構成
0:Φ
1:{Φ}
2:{Φ,{Φ}}
3:{Φ,{Φ},{Φ,{Φ}}}
・
・
ωに至る
ツェルメロ構成
0:Φ
1:{Φ}
2:{{Φ}}
3:{{{Φ}}}
・
・
ωに至る
・両者の対応は、1対1
ノイマン構成でωに至ったとき
ツェルメロ構成でもωに至る
ノイマン構成でωは無限を意味し、その意味する集合は、濃度の意味でも無限集合になるのだが
しかし、ツェルメロ構成でωを意味する集合も、順序の意味で、無限集合でしょ
濃度の意味とは、別にして(゜ロ゜; >>643
まず、ノイマン構成でもツェルメロ構成でも
>ωに至る
は完全な誤り
ノイマン構成によるωは無限公理によって導入される
一方ツェルメロ構成によるωは正則性公理に反するので
正則性公理を維持する限り、導入できない
>ツェルメロ構成でωを意味する集合も、
>順序の意味で、無限集合でしょ
「順序の意味で・・・」が無意味
言葉を正しく読み取れない人には、
数学だけでなくいかなる学問の学習も不可能
君は数学諦めて、ここから去ったほうがいい >>642
・自分が、名無しで(自分のことを隠して)登場して、人違いされて怒るなら、固定ハンドル名つけろ
・集中砲火?知らんな(゜ロ゜;
・飽きた?知らんな。飽きたらされ
・言語学板?知らんな。人に指図するな。それに俺スレ主だよ(゜ロ゜; >>644
なんだ、やっぱりおサルのピエロか(゜ロ゜;
・無限公理は、別に否定していない
あんた無限公理分かってないのかな?
・ツェルメロ構成が、正則性公理に反する?知らんな。勘違いでしょ(゜ロ゜;
・順序が無意味?知らんな。順序数の理論が無意味だと?
順序数でも、無限を扱うでしょ(^_^) スレ主よ、サル石が
「現代数学はインチキだらけ」
で、お前への中傷レスを投稿し始めたぞ(笑
報復としてサル石がこのスレで書き込んだ精神異常レスを
僕のスレに貼り付けてやれ(笑 >>647
哀れな素人さん、どうもスレ主です
そちらのスレに出張して、反論書いておきました(^_^) おっちゃんです。
>>646
>・無限公理は、別に否定していない
そうであれば、可算無限集合となる自然数全体の集合Nの存在性を認めることになる。
故に、正の無限大+∞が自然数云々とはいわない。
>・ツェルメロ構成が、正則性公理に反する?知らんな。勘違いでしょ(゜ロ゜;
ツェルメロの自然数の構成では、
0:=Φ、
1:={Φ}、
2:={ Φ、{Φ} }、
3:={ Φ、{Φ}、{Φ、{Φ} }、
……
と、以下同様に帰納的に、自然数を小さい方から定義して行くが、
1:={Φ} と定義するときに、{Φ} は一元集合だから、正則性公理に反することになる。 >>643
> 両者の対応は、1対1
> ノイマン構成でωに至ったとき
> ツェルメロ構成でもωに至る
von Neumann:
vNeu = {{0}, {0, 1}, {0, 1, 2}, ... }
Zermelo:
Zer = {{0}, {{0}}, {{{0}}}, ... }
1対1なのは各々の要素である自然数だから有限でωに至らない
{0, {0}, {0, 1}, {0, 1, 2}, ... } = {0, 1, 2, 3, ... } = N = ω
{0, {0}, {{0}}, {{{0}}}, ... } = {0, 1, 2, 3, ... } = N = ω
0を無限個の{}で囲む形でωに至ることはない
(そんなものはどこにも現れない) >>648
>そちらのスレに出張して、反論書いておきました(^_^)
自分が白痴であることをわざわざ拡散するキチガイw >>648
>>649の
>0:=Φ、
>1:={Φ}、
>2:={ Φ、{Φ} }、
>3:={ Φ、{Φ}、{Φ、{Φ} }、
>……
は
>0:=Φ、
>1:={Φ}、
>2:={ {Φ} }、
>3:={ { {Φ} } }、
>……
に変更。 >>646
時枝記事では、自然数の定義はせいぜいペアノの公理で事足りる(実は、ペアノの公理も必要はない)が、
何でこのような自然数の構成の話をしているんだ? >>653
時枝はもう終わったよ
あと、こっちの話(基礎論)は、面白いし >>654
>時枝はもう終わったよ
終わらすなら間違っていたことを認めて下さいね
約束も守れないサイコパスさん >>649
おっちゃんに、どうもスレ主です
・∞が、自然数と言ったとか人違いですよ(゜ロ゜;
・{Φ}が、正則性公理に反する?(゜ロ゜;
そんなことないでしょ >>655
認めるよ、時枝先生が、自分の記事の前半を、後半で否定していること(゜ロ゜; >>657
それ、あなたの妄想ですからw
実際、記事後半に「記事前半は間違いである」なんて一言も書かれてないし、
逆に以下のように書かれています。
”ばかばかしい,当てられる筈があるものか,と感じられるだろう.
何か条件が抜け落ちているのではないか,と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ,一個を除いてそれらを見た上で,除いた一個を当てよ,というのだ.
ところがところが--本記事の目的は,確率99%で勝てそうな戦略を供することにある.
相変わらず妄想が激しいね、まだ病院行ってないんでしょう
こういうキチガイって精神病院に強制的に収監できないのだろうか? >>656
>・{Φ}が、正則性公理に反する?(゜ロ゜;
>そんなことないでしょ
>>652の
>0:=Φ、
>1:={Φ}、
>2:={ {Φ} }、
>3:={ { {Φ} } }、
>……
の部分は
>0:={Φ}、
>1:={ {Φ} }、
>2:={ { {Φ} } }、
>3:={ { { {Φ} } } }、
>……
に訂正。
すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。
>・∞が、自然数と言ったとか人違いですよ(゜ロ゜
スレ主は∞が自然数とか何度もいってなかったか?w >>658
ID:GqnEepIOさん、このスレは実質的にはスレ10で終わってますよ
https://wc2014.5ch.net/test/read.cgi/math/1411454303/259
>「σ-1・H・σはHと同型」ってまさに正規部分群でしょ?
こんなこと平気でいっちゃう人に、ガロア理論が理解できるわけないって
当時も祭りになってましたよ 当然ですね
昔っから、アレは文章の読み方が粗雑で、
実に初歩的なところで間違う悪癖があるんだよね
人間として致命的な欠陥があるんでしょう >>656
>>659の「 0∈x」は「 x∈N x≠0」に訂正。 相変わらず訂正に訂正を重ねるおっちゃん
彼が無職というのも分かる気がする
こんなのに危なっかしくて仕事頼めないもんなw >>658
>>661はなし。>>659の
>すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。
の部分は
>すると、任意の2以上の正整数xについて x≠Φ、0∈x だが、
>任意の x-1 以下の正整数tに対して、0∈t となって正則性公理に反する。
に訂正。 >>662
公理的集合論は多くの数学では出て来ないだろ?
どこで使うんだ?
>こんなのに危なっかしくて仕事頼めないもんなw
経済の話になるが、給料を得る代わりに労働時間を会社に与えている。
いうまでもなく、経済的には、時間と金のうち、どちらかを犠牲にしている。 >>662
まあ、現実的には、時間だけでなく、精神的疲れ(ストレス)や体の疲れなどが伴うから、給料を得る代わりに犠牲にしているモノはもっとある。 >>663
>任意の2以上の正整数xについて x≠Φ、0∈x だが、
ID:s0bEnY0rは、ID:NoBnYUlZと全く同じ間違いをしてる
{}∈{{}} {{}}∈{{{}}} だから {}∈{{{}}}、というのは誤り >>667
私は、公理的集合論とかの話は知らない。 公理的集合論なんてレベルの話じゃない
∈の定義から直ちに出て来る話 そもそもID:s0bEnY0rは {}∈{{{}}} と思ってる時点で間違ってる
これ初歩レベル ホントに大学出たのか? >>671
どうせ、{}∈{ {} } だろw といいたいのだろう。
こんなことは、勿論知っている。 ID:s0bEnY0rは
{}∈{{}} {{}}∈{{{}}}
だから {}∈{{{}}}
だと思ってるか? >>673
この理屈は間違い。
>>670にも書いたように、公理的集合論のwikiで、「⊂、⊃」と「∈、∋」の区別が付かない。 >>674
>この理屈は間違い。
ではどういう理屈で>>663で
>任意の2以上の正整数xについて x≠Φ、0∈x
といったのか?
おかしいだろう >>675
>ではどういう理屈で>>663で
>>任意の2以上の正整数xについて x≠Φ、0∈x
>といったのか?
理屈も何も、>>670や>>674に書いた通り説明が分からない。
wikiの公理的集合論の正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
だろうな。最後の ¬(t⊂x) が ¬(t∈x) になっている理由が分からん。 >>676
>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
>だろうな。
いや
∀A( A≠Φ → ( ∃x∈A.A∩=Φ)
だろう。
∀t∈A ¬(t∈x) ⇔ A∩x=Φ >>676
>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
>だろうな。
いや
∀A( A≠Φ → ( ∃x∈A.A∩x=Φ)
だろう。
∀t∈A ¬(t∈x) ⇔ A∩x=Φ >>677-678
定義通り、交わるの記号∩に従えばそうなる。 >>680
おっちゃんどうも
スレ主です
お疲れ様
おやすみなさい(^_^) 5245
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
https://twitter.com/dy_dt_dt_dx
https://twitter.com/5chan_nel (5ch newer account) ■ このスレッドは過去ログ倉庫に格納されています