[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
891(1): 08/21(木)07:12 ID:PuT7+w5i(6/9) AAS
無限級数の値を無限回の和と読み替えるのはバカ
無限級数の値は有限和からなる数列の極限
無限小数はそれ自体無限和になってると思うのが小賢しい高卒バカ
無限小数は有限小数からなる数列の極限
そして実数は有理コーシー列の同値類なのだから
無限小数は有限小数（もちろん有理数）からなる数列（コーシー列）の属する同値類
１＝０．９９９・・・というのは、両者が同じ同値類に属するという意味
省2
892(1): 08/21(木)07:12 ID:LISQrQEJ(6/14) AAS
>>889
>まっさきに言い換えしようとする◆yH25M02vWFhPがバカ、ってことよ
？？？
彼は別に言い換えしようとしてはいないと思うけど
添え字範囲の記述が無いから不明確とかバカ発言はしてたけど
まあどうでもいいけど
893(1): 08/21(木)07:15 ID:PuT7+w5i(7/9) AAS
>>890
＞空集合を要素とし、任意の要素yに対してy∪{y}も要素とするもの
＞を帰納的集合と云うんだよ。
帰納的である＝空集合を要素とし、任意の要素yに対してy∪{y}も要素とする
という言い換えをしてることは分かるよ
言ってるのは、ただ訳も分からず漫然と言い換えするとバカになる、ってこと
＞訳も分からず批判してる。
省1
894(1): 08/21(木)07:17 ID:PuT7+w5i(8/9) AAS
>>892
>>まっさきに言い換えしようとする◆yH25M02vWFhPがバカ、ってことよ
>？？？
>彼は別に言い換えしようとしてはいないと思うけど
ん？彼がいったんじゃなくて、君がいったの？
要するに、君、「彼がいった」と嘘ついたの？
895(1): 08/21(木)07:19 ID:PuT7+w5i(9/9) AAS
＞添え字範囲の記述が無いから不明確
添え字範囲が読み取れない高卒◆yH25M02vWFhPがバカ ってことでこの話は終わりな
バカの話をしてるとオレもオマエもバカになるよ
896: 08/21(木)07:40 ID:LISQrQEJ(7/14) AAS
>>891
>１＝０．９９９・・・というのは、両者が同じ同値類に属するという意味
R上の１も０．９９９・・・も有理コーシー列全体の集合X上の同値類（X/〜の元）だろ
X上の同値類である１にQ上のコーシー列1,1,1,・・・が属す。
X上の同値類である0.999・・・にQ上のコーシー列0.9,0.99,0.999,・・・が属す。
1,1,1,・・・−0.9,0.99,0.999,・・・＝0.1,0.01,0.001,・・・が0に収束するからこれらは同値。よってX上の同値類として１＝０．９９９・・・
897: 08/21(木)07:41 ID:LISQrQEJ(8/14) AAS
>>894
>要するに、君、「彼がいった」と嘘ついたの？
何言ってんだかさっぱり
898: 08/21(木)07:42 ID:LISQrQEJ(9/14) AAS
>>893
>なに狂ってるの？ 君、中卒？
誰彼かまわず中卒に見えるのは病気だよ 病院行った方が良い
899(1): 08/21(木)07:46 ID:LISQrQEJ(10/14) AAS
>>895
>添え字範囲が読み取れない高卒◆yH25M02vWFhP
いや添え字範囲が読み取れないんじゃなく、そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
にもかかわらず添え字範囲が書かれてないとかクレーム付けてるのが超絶バカ。
900(1): 08/21(木)09:25 ID:9AZwSd2X(1/3) AAS
>>899
＞そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
添え字の有無にこだわるな
共通集合の対象が{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}の全体
これが読み取れない◆yH25M02vWFhPが馬鹿
ということでこのスレ終了 お疲れサマンサ
901(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:21 ID:7NN/U5QB(1/3) AAS
>>872-882
ふっふ、ほっほ
>>866の補足をしておく
１）まず 下記の従属選択公理
全域二項関係 R を利用して
『列 (xn)n∈N を全ての n∈N に対して xnRxn+1 であるように取れる』としている
つまり、出来る列の長さは ω
省28
902(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:21 ID:7NN/U5QB(2/3) AAS
つづき
外部ﾘﾝｸ:en.wikipedia.org
Axiom of dependent choice
Relation with other axioms
It is possible to generalize the axiom to produce transfinite sequences. If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.
＜仏版のgoogle英訳＞
外部ﾘﾝｸ:fr.wikipedia.org
省26
903: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)11:38 ID:FFVXfbDV(1/18) AAS
デスパレス神戸 死神の都さ。
904(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)11:45 ID:7NN/U5QB(3/3) AAS
>>900
(引用開始)
＞そもそも添え字が無い。{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} は添え字付けられてないから。
添え字の有無にこだわるな
共通集合の対象が{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}の全体
これが読み取れない◆yH25M02vWFhPが馬鹿
(引用終り)
省37
905: 08/21(木)12:34 ID:VOoIKstu(1) AAS
>>904
z inductive ＝ ∅∈z∧∀y[y∈z→y∪{y}∈z] だから
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x] と
N:={x∈I∣∀z(∅∈z∧∀y[y∈z→y∪{y}∈z] ⟹ x∈z)} は
同じ
＞集合積∩の記号は 素朴集合論では 2項演算として導入され 添え字集合族に対して拡張されるのが一般的だろ
物を知らぬ白知の妄想が一般的なわけないだろ
省1
906: 08/21(木)13:17 ID:LISQrQEJ(11/14) AAS
>>901
>２）次に Axiom of countable choice (可算選択公理)
> "That is, given a function A with domain N (where N denotes the set of natural numbers) such that
> A(n) is a non-empty set for every n∈N, there exists a function f with domain N such that f(n)∈A(n) for every n∈N."
> この場合も 『 f(n)∈A(n) for every n∈N』で 出来る列の長さは ω だが、全域二項関係 Rは使えない
任意の可算集合Xに対し全単射f:N→Xが存在するから自明な整列順序 f(0)<f(1)<・・・ が存在する。すなわちXは自明に整列集合。
YがXを含む（X⊂Ｙ）なら、写像g:Y→Yを以下で定義すれば、g(Y)はYの真部分集合（Y=g(Y)∪{f(0)}）で、全単射h:Y→g(Y),h(y)=g(y) が存在するからYはデデキント無限。
省8
907: 08/21(木)13:47 ID:LISQrQEJ(12/14) AAS
>>902
>説明で " f ( n ) ∈ A ( n ) for all n ∈ N"に触れていないからダメ
「任意の無限集合がデデキント無限であることなどが証明できる」と、証明できる事しか述べてないのに証明の内容の一部が無いからダメとトンチンカンな言いがかりつけるおまえがダメ
908: 08/21(木)14:07 ID:LISQrQEJ(13/14) AAS
>>904
>口先でゴマカソウとしてないか？
それ、おまえの得意技
>・ここで 自然数 N:={x∈I∣∀z(z inductive ⟹ x∈z)} と スッキリ
なにがスッキリだよｗ おまえ「inductiveは数学的帰納法で、数学的帰納法を無限回実行できると言っている」とか超絶アホ発言した事もう忘れたの？
>記号∩が、公理から直接導けないので 公理の裏付けが不明確
そのアホみたいな言いがかりは大間違いであることを親切丁寧に教えてやったのにぜんぜん理解できんかった？ レベルが違い過ぎると会話が成立しないの好例ｗ
省13
909: 08/21(木)14:12 ID:LISQrQEJ(14/14) AAS
>>904
おまえさ、初歩の初歩からぜんぜん分かってないことをいいかげん自覚しろ
無自覚に不用意に口開いた結果間違いだらけになってんだよ
少しは恥を知れよ恥知らず
910: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)14:40 ID:FFVXfbDV(2/18) AAS
管理栄養士なんかはいい仕事だけど。宗教の戒律を守った食事。しかし病院は疲弊しているな。助けないと。クリニック勤務で。
911: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)14:41 ID:FFVXfbDV(3/18) AAS
数学者になる道があるならな。
912: 08/21(木)14:52 ID:9AZwSd2X(2/3) AAS
ベンツは失せろ
913: 08/21(木)14:52 ID:9AZwSd2X(3/3) AAS
ベンツは統失治せ
914: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:24 ID:FFVXfbDV(4/18) AAS
クライエント診てもいいけど治療の敷居は高いよ。
915: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:25 ID:FFVXfbDV(5/18) AAS
破天荒な方が成功するだろう。
916: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:27 ID:FFVXfbDV(6/18) AAS
治すということは状態がレベルアップしなきゃいけない。精神医療の駄目なとこや嫌なことは知っている。
917: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:29 ID:FFVXfbDV(7/18) AAS
治すよりは一般社会に背を向けて出家でもするほうが早い。
918: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:30 ID:FFVXfbDV(8/18) AAS
出家とその弟子は超えたが。親鸞の。
919: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:31 ID:FFVXfbDV(9/18) AAS
死神と修道士を両立するような。
920: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:32 ID:FFVXfbDV(10/18) AAS
将来は修道院や神社でも経営するさ。
921: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:33 ID:FFVXfbDV(11/18) AAS
おしゃれで美食じゃないとな。
922: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:34 ID:FFVXfbDV(12/18) AAS
また文学の方に戻るわ。では。
923: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:36 ID:FFVXfbDV(13/18) AAS
必ずしも予後が良いことが大事だろうか。
924: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:37 ID:FFVXfbDV(14/18) AAS
人の予後不良がわからないと。
925: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:38 ID:FFVXfbDV(15/18) AAS
信仰される立場で。
926: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:40 ID:FFVXfbDV(16/18) AAS
精神的に暴力性がないこと、身体的にストイックなこと。
927: 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)15:41 ID:FFVXfbDV(17/18) AAS
理解できるのは俺という古典のものの読者でも限られるだろう。
928: 08/21(木)16:03 ID:m+UPs8Gd(1/13) AAS
クロルプロマジン
929: 08/21(木)16:03 ID:m+UPs8Gd(2/13) AAS
フルフェナジン
930: 08/21(木)16:03 ID:m+UPs8Gd(3/13) AAS
レボメプロマジン
931: 08/21(木)16:04 ID:m+UPs8Gd(4/13) AAS
ハロペリドール
932: 08/21(木)16:04 ID:m+UPs8Gd(5/13) AAS
ピパンペロン塩酸塩
933: 08/21(木)16:04 ID:m+UPs8Gd(6/13) AAS
スルピリド
934: 08/21(木)16:05 ID:m+UPs8Gd(7/13) AAS
アリピプラゾール
935: 08/21(木)16:05 ID:m+UPs8Gd(8/13) AAS
リスペリドン
936: 08/21(木)16:05 ID:m+UPs8Gd(9/13) AAS
ペロスピロン
937: 08/21(木)16:06 ID:m+UPs8Gd(10/13) AAS
オランザピン
938: 08/21(木)16:06 ID:m+UPs8Gd(11/13) AAS
クエチアピンフマル酸塩
939: 08/21(木)16:06 ID:m+UPs8Gd(12/13) AAS
クロザピン
940: 08/21(木)16:08 ID:m+UPs8Gd(13/13) AAS
精神科で診てもらって
薬処方してもらって
飲んでな
ここには書き込まない
ここの書き込みは読まない
いいね ベンツ君
941(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/21(木)16:16 ID:FFVXfbDV(18/18) AAS
精神科は終え神経科ですが。
942(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:26 ID:/FwGOxIP(1/3) AAS
ふっふ、ほっほ
∩を使わない ”無限集合Iから自然数を抽出する”があるでよ（下記）
なんか、言っていることが、グダグダ
下記を百回音読してねｗ ；ｐ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
無限公理
省34
943: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:28 ID:/FwGOxIP(2/3) AAS
>>941
死狂幻調教大師S.A.D.@月と六ベンツ さん
スレ主です
いつもありがとうございます。
今後ともどうかよろしくお願いいたします。
944: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/21(木)23:29 ID:/FwGOxIP(3/3) AAS
次スレ立てた
ここが終わったら 次へ
2chｽﾚ:math
Inter-universal geometry と ABC予想 (応援スレ) 74
945(1): 08/22(金)00:47 ID:EqzHJSfS(1/8) AAS
>なんか、言っていることが、グダグダ
自分が理解できないといつもグダグダと言うね君
946: 08/22(金)02:39 ID:EqzHJSfS(2/8) AAS
グダグダって口先で言ってゴマカすのは具体的指摘が一切できないおまえの得意技だもんなｗ
947: 08/22(金)06:39 ID:DmmS/CLT(1/2) AAS
>>945
>自分が理解できないといつもグダグダと言うね君
◆yH25M02vWFhP は三歳児
>グダグダって口先で言ってゴマカすのは
>具体的指摘が一切できないおまえの得意技
集合論の基礎も分かってないから
∀x(x∈W↔∀I(Φ(I)→x∈I)) と
省4
948: 08/22(金)07:15 ID:DmmS/CLT(2/2) AAS
また国粋高卒サルが性懲りもなくクソスレ立てたので
しつこく指導書き込みしてやったぞ 感謝しな
動画ﾘﾝｸ[YouTube]
949: 08/22(金)08:45 ID:lLXfWi3o(1) AAS
>>942
>ふっふ、ほっほ
homo?
950: 08/22(金)08:46 ID:pREzy93p(1/7) AAS
>∩を使わない方法があるでよ
∩が嫌い？ ていうか、名古屋人？ 河村たかし？
951: 08/22(金)08:47 ID:pREzy93p(2/7) AAS
>なんか、言っていることが、グダグダ
自嘲？
952: 08/22(金)08:49 ID:pREzy93p(3/7) AAS
>百回音読してね
声に出すことで満足したら
中身が理解できないままだよ
953: 08/22(金)08:51 ID:pREzy93p(4/7) AAS
＞無限集合Iから自然数を抽出する
＞無限集合Iはすべての自然数を含んでいるが。
＞自然数全体が集合となることを示すために、…不要な要素を取り除いて、残った集合Nが自然数全体からなる集合である。
＞この集合は…一意である。
そうだよ
意味わかってる？
954: 08/22(金)08:52 ID:pREzy93p(5/7) AAS
＞自然数を抽出するために、どの集合が自然数であるかを定義する必要がある。
＞外延性の公理とaxiom of induction（英語: epsilon-induction）のみから
＞自然数を定義することが可能である。
意味わかってる？
955: 08/22(金)08:55 ID:pREzy93p(6/7) AAS
＞Φ(x)を「xは帰納的である」という論理式、つまり、
＞(∅∈x∧∀y(y∈x→(y∪{y}∈x))) とする。
この論理式、日本語で書けるかい？
「xは空集合φ(={})を要素にもち、かつ、xの任意の要素yに対して、yと{y}の和集合y∪{y}もxの要素である」
これ、できないと、数学の教科書、読めないよ。
できてる？君
956: 08/22(金)08:58 ID:pREzy93p(7/7) AAS
＞おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである。
そうだね。で、なぜ
「すべての帰納的な集合の共通部分をとる」と
「不要な要素を取り除る」のか、わかる？君
957: 08/22(金)09:03 ID:qkcuzqcJ(1/3) AAS
＞形式的に書くと、次のような集合Wが一意に存在することを示したい。
＞∀x(x∈W↔∀I((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈I)) (*)
どうぞ、ご随意に
できる？君
958: 08/22(金)09:05 ID:qkcuzqcJ(2/3) AAS
＞存在については、無限公理と分出公理を使って証明する。
どうぞ、ご随意に
できる？君
959: 08/22(金)09:06 ID:qkcuzqcJ(3/3) AAS
＞Iを無限公理によって保証された帰納的集合とする。
一行で終わり。
無限公理に関するところがこれだけって、わかる？君
960(1): 08/22(金)09:12 ID:EqzHJSfS(3/8) AAS
>>942
>W′を別の帰納的集合とすると
は間違い。
実際、{{{}}}∈W' なら W≠W' だから、W'が帰納的集合というだけでは W=W' は言えない。
「∀x(x∈W'↔∀I(Φ(I)→x∈I)) とすると」
に修正すれば正しい。
なぜならWが帰納的集合だから、∀x(x∈W'⇒x∈W) すなわち W'⊂W が言え、∀x(x∈W↔∀I(Φ(I)→x∈I)) からWとW'を入れ替えて同じことが言えるから。
省1
961: 08/22(金)09:16 ID:93kwSQ78(1/4) AAS
>分出公理を使って集合
>W={x∈I:∀J((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈J)}
>を取り出す。
>つまりWはIの要素のうち、あらゆる帰納的集合に含まれているものを集めてきた集合である。
>明らかにWは
>∀x(x∈W↔∀I((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈I))(*)
>を満たす。
省5
962: 08/22(金)09:18 ID:93kwSQ78(2/4) AAS
＞一意性については、
＞∀x(x∈W↔∀I((∅∈x∧∀y(y∈x→(y∪{y}∈x)))→x∈I)) (*)
＞を満たす集合はそれ自体帰納的集合であることに注意する。
そうだね
何故だか分かる？君
963: 08/22(金)09:20 ID:93kwSQ78(3/4) AAS
＞なぜなら、0はすべての帰納的集合に含まれているし、
＞xがすべての帰納的集合に含まれているとすると、
＞その後続x∪{x}もすべての帰納的集合に含まれている。
そうだね
これでいいって分かる？君
964: 08/22(金)09:25 ID:EzerkUp9(1/3) AAS
>W′を別の帰納的集合とすると、
>Wが帰納的であるため
>W′⊆Wが成り立ち、
>W′が帰納的であることから
>W⊆W′も成り立つ。
>よってW=W′。
>>960の指摘の通り
省13
965: 08/22(金)09:29 ID:EzerkUp9(2/3) AAS
＞この集合をωと書く。
＞この定義は数学的帰納法を容易に導けるため便利である。
ところで、ωが標準的な自然数しか含まない、と言い切れる？
つまり、ナイーブに
{},{}∪{{}},{}∪{{}}∪{{}∪{{}}},…
を任意有限回繰り返したものだけが要素となる集合だといえる？
Yes or No？
966: 08/22(金)09:32 ID:EzerkUp9(3/3) AAS
まあ、ゲーデルの不完全性定理を知ってれば分かることだけど
標準的自然数だけを含む集合を、帰納的な公理系で定義するのは・・・無理（笑）
「無限回の繰り返し」なんてナイーブなことをいっちゃう人は
ゲーデルの不完全性定理に反してるんだよね（嘲）
967(1): 08/22(金)10:25 ID:EqzHJSfS(4/8) AAS
>>942
>この集合をωと書く。
>この定義は数学的帰納法を容易に導けるため便利である。
これ何故か分かるかい？
P(n)をω上の命題関数、Sを後者関数、0:={}としたとき、数学的帰納法の条件節は P({})∧∀n∈ω(P(n)→P(S(n)))、帰結節は ∀n∈ω(P(n)) と書ける。
P(n)の真理集合 {n∈ω|P(n)} をTと書くと、条件節を仮定したとき {}∈T∧∀n∈ω(n∈T→S(n)∈T) すなわちTは帰納的集合。
Tはωの部分集合、且つωはあらゆる帰納的集合に含まれるから T⊂ω ∧ ω⊂T、すなわち T=ω、すなわち {n∈ω|P(n)}=ω、よって数学的帰納法が成り立つ。
省1
968: 08/22(金)10:40 ID:EqzHJSfS(5/8) AAS
自然数はペアノの公理で定義される。
ωが数学的帰納法（及びペアノの公理の残りの公理）を満たすから定義によりωが自然数全体の集合と言えるんだよ。
決して ω={0,1,2,・・・} だからではない。そもそも 0,1,2,・・・ が何者かZFは何も語っていない。
オチコボレは根本から分かってない。
969: 08/22(金)10:43 ID:93kwSQ78(4/4) AAS
>>967
それが、956の
>なぜ
>「すべての帰納的な集合の共通部分をとる」と
>「不要な要素を取り除る」のか
の答え
しかし、一方では、{}から始めて、順々に要素を追加していった結果、
省3
970: 08/22(金)10:59 ID:EqzHJSfS(6/8) AAS
>そもそも 0,1,2,・・・ が何者かZFは何も語っていない。
逆なんだよ。
ωが自然数全体の集合であることが示されたから、その元に
{}:=0,{}∪{{}}:=1,{}∪{{}}∪{{}∪{{}}}:=2,…
と別名を与え、それで初めて 0,1,2,・・・ が何者か定まるんだよ。
ωを{0,1,2,・・・}で定義したら循環論法になることが分からない？
オチコボレはいつも循環論法やらかすね。実数の構成でも和集合の定義でも整列可能定理でもやらかした。数学を根本から分かってない。
971: 08/22(金)11:14 ID:vKEk5VA3(1/2) AAS
◆yH25M02vWFhPトンデモ発言集
75
＞素朴集合論では 自然数N＝{0,1,2,・・・}
97
>無限集合Iから… Iの部分集合として
>帰納的集合たる 自然数のN={0,1,2,,・・・} を 抽出する
111
省15
上下前次1-新書関写板覧索設栞歴
あと 31 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s