Inter-universal geometry と ABC予想 (応援スレ) 74 (963レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
486: 08/30(土)06:59 ID:dKFmS13a(1/30) AAS
>>485
君の意図がどうあれいっぺんに定まるんだから一回の演算
どんな言い訳も無駄
488(1): 08/30(土)07:06 ID:dKFmS13a(2/30) AAS
>>485
>∪と∩とを 2項演算として定義しているよ
二項の合併を定義しているからといって無限項の合併を定義できないことにはならない。
実際、和集合の公理はそう定義している。
交叉についても分出公理を用いて無限項の交叉を定義できる。
489: 08/30(土)07:09 ID:dKFmS13a(3/30) AAS
>>487
(引用開始)
無限個の集合の合併や共通部分を、
有限個の集合の合併や共通部分の極限として扱うことは無理があり、
正しくない結論を導くことがある。
(引用終了)
極限じゃないと言われてるじゃんw
490: 08/30(土)07:11 ID:dKFmS13a(4/30) AAS
>>487
実際、和集合の公理は無限合併を定義しており、有限部分合併列の極限ではない。
極限は君の妄想。君、妄想ばっかだね。
491(1): 08/30(土)07:19 ID:dKFmS13a(5/30) AAS
>>487
そもそも極限を考えるには距離が定義されてないとダメなんだが、集合間の距離をどう定義するの?
何も考えてないでしょ君
外部リンク:ja.wikipedia.org
極限に関わる概念は距離とコーシー列で定義されるようになった
495: 08/30(土)08:45 ID:dKFmS13a(6/30) AAS
>>493
別にフィルターでもネットでも他の何でも使っていいんだけど、実際に集合の極限を定義してよ 集合の無限合併を極限で定義できるが君の主張なんでしょ? なら集合の極限が定義できてないとダメじゃん
できもしないでフィルターがああーー ネットがああーーーー と喚いてなんか反論したつもり? まったくナンセンス
496: 08/30(土)08:47 ID:dKFmS13a(7/30) AAS
>>494
>では、無限の合併集合や共通部分は どうするの?
>>488
君、言葉が分からないの? 言語障害?
497: 08/30(土)08:51 ID:dKFmS13a(8/30) AAS
>>494
>川崎徹郎先生は、まず 集合の列 Aの元の列(無限列)を定義する
>つまり、無限のAの元の列を作って それに 一気に
>合併集合や共通部分 を定義する
>極限だの へったくれだのを言うなと
>P11で
>「集合の議論では無限個のものの合併や共通部分が、
省8
498: 08/30(土)09:04 ID:dKFmS13a(9/30) AAS
集合の無限合併(交叉)は
・無限回の二項合併(交叉)
・有限合併(交叉)列の極限
のいずれでもない。実際、任意の集合X(有限でも無限でもよい)の合併∪Xが和集合の公理で定義されている。交叉についても任意の集合X(有限でも無限でもよい)の交叉∩Xを分出公理を使って定義可能。
よって君の持論「無限回の二項合併(交叉)演算が可能」はまったくのデタラメ。
君、口を開けばデタラメばかりだね。
499(1): 08/30(土)09:23 ID:dKFmS13a(10/30) AAS
そもそもこのお馬鹿さん、∪Xの意味すら分かってなさそう。
∪XはXの元すべての合併。Xが無限集合なら∪Xは無限合併。
お馬鹿さんは二項合併A∪Bしか知らん高卒オチコボレ。
因みに任意の集合A,Bに対して対の公理により{A,B}が存在し、A∪B=∪{A,B}。
503(2): 08/30(土)10:09 ID:dKFmS13a(11/30) AAS
>>500
>集合積∩を使うには、集合の無限列が必要なのだ
はぁ?
何を言い出すかと思えばw どんな妄想だよw
任意の集合Xに対しその共通部分は ∩X:={x∈∪X|∀y∈X(x∈y)} で定義される。
相変わらず口を開けばデタラメばかりで草
504: 08/30(土)10:12 ID:dKFmS13a(12/30) AAS
>>500
>つまり、ZFC公理系のごく最初の部分で さあ いまから最初の可算集合N(自然数)を定義しようとするにあたって
>非可算の集合積∩を使うのは、いかにも大袈裟でまずいってことだ
え?
べき集合の公理を否定する気?
頭大丈夫?
506(1): 08/30(土)10:14 ID:dKFmS13a(13/30) AAS
>>500
>非可算の集合積∩を使うのは、いかにも大袈裟でまずいってことだ
そもそも∩Xは任意の集合Xに対し定義されているのになんで非可算だとまずいの?
まったくデタラメまったくナンセンス
口を開けばデタラメばかり
507: 08/30(土)10:19 ID:dKFmS13a(14/30) AAS
>>500
>分出公理で簡単に済む話に わざわざ 集合積∩ね
∩Xも分出公理だけで定義できますけど?(和集合の公理は使わなくてもよい)
「わざわざ」は∩恐怖症のあなたの個人的感想ですよね?
508: 08/30(土)10:21 ID:dKFmS13a(15/30) AAS
>>500
>それに とらわれて集合積∩を使うのは まずい
その発言こそ無根拠でまずい
509: 08/30(土)10:27 ID:dKFmS13a(16/30) AAS
>>505
>>503
てか過去何度も書いてる。君、言葉が通じないの?言語障害?
511: 08/30(土)10:37 ID:dKFmS13a(17/30) AAS
また逃げたw
512: 08/30(土)10:39 ID:dKFmS13a(18/30) AAS
君、議論に負けるといつも逃げるね
逃げるくらいなら最初から数学板に書き込むなよ
514: 08/30(土)11:27 ID:dKFmS13a(19/30) AAS
そんな悔しい?
519: 08/30(土)16:18 ID:dKFmS13a(20/30) AAS
>なんなら添字すらなくてもいいけど
添え字が必要なのは∪なり∩なりの対象を全体の中から限定したい場合。対象が全体の場合は添え字は不要。
∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} は全体が対象だから添え字は不要。
添え字が無いから不明確とか言ってたお馬鹿さんがいるがまったくの言いがかり。
521: 08/30(土)16:22 ID:dKFmS13a(21/30) AAS
>>518
>「N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}」
>の証明を書け!!ww
君はバカなのかい?
「:=」は定義、定義は証明不要。そんなことも知らないの?
523(1): 08/30(土)16:31 ID:dKFmS13a(22/30) AAS
>>518
それを言うなら
ここで、「Aは無限公理により存在する集合を任意に選んだものである」として
1)Aが 可算無限集合の場合(この場合のAをBと書く)
2)Aが アレフ・ワン 非可算無限集合の場合(この場合のAをCと書く)
「∩{x⊂B|{}∈x∧∀y[y∈x→y∪{y}∈x]}=∩{x⊂C|{}∈x∧∀y[y∈x→y∪{y}∈x]}」
の証明を書け!!ww
省2
528: 08/30(土)16:42 ID:dKFmS13a(23/30) AAS
>>524
>ここで >>483 川崎徹郎流 で
>可算無限列 a0, a1X, a2X^2, ・・・
>を構成して 間に和の記号 + を挿入
>”極限の操作を経ずに、いっぺんに定まる”>>483
君は字が読めないのかい? 川崎なんとかは集合の合併・共通部分について言ってるんだが。
>”Σ_n=0〜∞ an X^n=a0+a1X+a2X^2+・・・”
省2
529: 08/30(土)16:44 ID:dKFmS13a(24/30) AAS
>>526
君が適当にあしらってるのは数学でしょ
だから口を開けば間違いだらけになるんだよ
532: 08/30(土)17:09 ID:dKFmS13a(25/30) AAS
>>531
>自然数N=ω これが 無限集合たちの最小で 全ての無限集合に含まれている
偶数全体の集合には含まれないから大間違い。
相変わらず口を開けば間違いだらけだね君。
533: 08/30(土)17:12 ID:dKFmS13a(26/30) AAS
>>531
>∩を使わずに済ます方が 公理による自然数N=ωの構築として
>圧倒的に スマートで美しいってこと
それって∩恐怖症のあなたの個人的感想ですよね?
541(2): 08/30(土)22:09 ID:dKFmS13a(27/30) AAS
>>539
>A=S3=S(S(S(ω)))={0,1,2,・・・,ω,S(ω),S(S(ω))} としよう
これは酷い。
S(S(ω))∈S(S(S(ω)))∧¬S(S(S(ω)))∈S(S(S(ω))) だから S(S(S(ω)))は帰納的集合ではない。よってAにはなり得ない。
こんな初歩の初歩の初歩から分かってないとは酷いにも程がある。
542(4): 08/30(土)22:19 ID:dKFmS13a(28/30) AAS
>>539
>”ωが最小の無限集合で、全ての無限集合の共通部分”は分っていることだから
だから大間違いって言ってるんだけど、言葉が通じないの? 言語障害?
偶数全体の集合と奇数全体の集合の共通部分は{}であってωではない。
君、言語障害を治さないと数学どうこう以前だよ。
546: 08/30(土)22:57 ID:dKFmS13a(29/30) AAS
>>545
間違いを認められないなら幼稚園からやり直しては?
550(2): 08/30(土)23:42 ID:dKFmS13a(30/30) AAS
>>547
>”このような場合(等濃真部分集合)を除外して”という条件が入るだろう
はい、大間違いです。
{0,1,2,・・・}∩{ω+0,ω+1,ω+2,・・・}={}
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.035s