空集合があるなら空写像もあるの？ (91ﾚｽ)
上下前次1-新
1(1): 2024/10/05(土)00:11 ID:CXRRMwD3(1) AAS
なんだよ空写像って
62: 09/29(月)14:06 ID:t8iNrpWU(2/3) AAS
訂正
Xを集合とする。
(1)∀y(¬y∈{}) 前提
(2)¬c∈{} (1)と∀除去
(3)¬c∈{}∨¬d∈X (2)と選言導入
(4)∀x∀y(¬y∈{}∨¬x∈X) (3)と∀導入
(5)¬(∃x∃y(y∈{}∧x∈X)) (4)とドモルガンの法則と二重否定除去
∴{}×X:={(y,x)|y∈{}∧x∈X}={}
63: 09/29(月)22:28 ID:t8iNrpWU(3/3) AAS
直感的な説明としては
y∈{}が恒偽だからx∈Xの真偽にかかわらずy∈{}∧x∈Xも恒偽。よって{(y,x)|y∈{}∧x∈X}={(y,x)|⊥}={}。
64: 10/02(木)17:36 ID:e+RPfCQo(1) AAS
集合AとBにたいして
A×BとB×Aが一致するのはどのような
ときか。（配点３点）。
65: 死狂幻調教大師S.A.D.@月と六ベンツ 10/02(木)17:41 ID:qB1fmWR3(1) AAS
般若心経の空のほうがいいなあ。
66(1): 10/02(木)20:07 ID:xShQdKnE(1) AAS
２変数の写像（関数）f(x,y)
1変数の写像（関数）f(x)
なら…
０変数の写像（関数）f
ってのも有っていいし、それって変数の事じゃん？
という事で
空写像＝変数（0変数の写像）
ってのはどうだろう？
67: 10/02(木)23:01 ID:QQIw7WCn(1) AAS
集合は空間であり、functionも空間だし、上で語られている0変数も空間だ。
数学は空間の科学だったのかもしれない。そこには不動点（あるいは不変性）もある。
公理的集合論の問題は内包公理ではなく外延性公理の問題だったのかもしれない。
対象を仮想粒子とみなせば、ボース・アインシュタイン統計に従うものと、フェルミ・ディラック統計に従うものと最低でも２種類の対象が必要なのではないか？
68: 10/02(木)23:04 ID:TwEtyvhN(1) AAS
A={}∨B={}⇒A×B=B×A={}。
以下 ¬(A={}∨B={}) とする。
いま A≠B を仮定。
あるa∈Aが存在して¬a∈B・・・(1) または あるb∈Bが存在して¬b∈A・・・(2)
(1)のとき、b∈Bを任意に取ると (a,b)∈A×B∧¬(a,b)∈B×A ∴¬A×B⊂B×A ∴A×B≠B×A。
(2)のときも同じことが言えるので結局 A×B≠B×A。対偶を取り A×B=B×A→A=B。
以上から A×B=B×A⇒A={}∨B={}∨A=B。
69: 10/03(金)07:28 ID:9BkbmH3y(1) AAS
空間の科学の中で
時間の位置づけは重要
70: 10/05(日)12:16 ID:pYOIe6n+(1) AAS
集合の直積は演算としては
可換でもなく結合的でもない。
しかし、((a,b),c)を(a,b,c)とみなし、
(a,(b,c))も(a,b,c)とみなす同一視を
行うことで結合的にできる。
71: 10/18(土)19:21 ID:kTre2FiS(1) AAS
集合の直積は演算としては
可換でもなく結合的でもない。
しかし (a,b) を {a,b} と
同一視することにより可換にできる。
72: 10/20(月)16:03 ID:ceqg2XVE(1) AAS
空の意をいかに取るかだな
空集合は{}ただ一つあり、空なものはその要素である
の類推から
空写像fはただ一つあり、空なものはそのタプルの要素である
とするならば
[f] = {({}, {})}
なるただ一つの関数f
73: 10/20(月)16:59 ID:DU8YfOMv(1) AAS
空写像={}
>{({}, {})}
それは写像 f:{{}}→X∪{{}} ただしXは集合
74: 10/20(月)18:48 ID:nox32zep(1) AAS
>>66
思いついた。
変数 ＝ ０変数の関数。
空集合 ＝ ∅
なら、
f = ∅
というのはどうだろう？
つまり、空集合は空写像でもある。
75: 10/21(火)00:19 ID:+tHhg6Hh(1) AAS
(1)写像の定義より ∀a∀b∀f((f:a→b)⊂a×b)
(2)直積の定義より ∀a∀b(a={}∨b={}⇒a×b={})
(3)空集合の定義より ∀c(c⊂{}⇒c={})
(1),(2),(3)より ∀a∀b∀f(a={}∨b={}⇒(f:a→b)={})
76: 10/21(火)23:57 ID:DmY4VVsy(1) AAS
空集合を真空と見なして、
集合に対する反集合要素というものを
考えてみる。
集合Aが要素aを含むとき、
Aの反集合\bar{A}は反要素\bar{a}を
含むというように。そうして要素数は
aが1なら\var{a}は-1と数えるなど。
こうしたからといって何も面白いことは
出て来ないような気がするけれども。
77: 10/22(水)19:38 ID:xc0QhYtc(1) AAS
差集合かな？
78: 10/24(金)10:05 ID:4/dDJw3U(1) AAS
写像ってさ
直積ABの部分集合で特別なもの
じゃないよな
この解釈だと恒等写像と包含写像が区別できない
79: 10/24(金)15:31 ID:dX0vXa30(1) AAS
区別したい場合、定義域、値域、グラフの三つ組として定義すればよい
80(1): 10/26(日)19:35 ID:AcnPF1U/(1) AAS
集合Aの冪集合をBとするとき、
AとBの濃度は必ず異なることを
示しなさい（配点５点）。
81: 10/26(日)22:41 ID:ZArsq72D(1) AAS
F:={f:A→{0,1}∈A×{0,1}} で集合Fを定義する。
べき集合の定義よりBからFへの全単射が存在する。
いま |A|=|B| を仮定する。
仮定より全単射 g:A→F が存在する。
f0∈F を f0(a)≠(g(a))(a) で定義したとき ¬f0∈g(A) であるからgが全射であることと矛盾する。
矛盾が導かれたので仮定は否定される、すなわち|A|≠|B|。
82: 10/26(日)23:19 ID:wcsWN8dm(1) AAS
>>80
始域終域グラフの三つ組
83: 10/27(月)11:52 ID:S7PkSpnV(1) AAS
尚、自明な単射 h:A→B,h(a)={a} が存在するので |A|<|B|。
84: 10/30(木)11:13 ID:uOmkkrB1(1) AAS
すべての集合の集合というものを考えて
Xとする。定義からXは自分自身も自分の
冪集合もその要素として含んでいるはず
である。よって X∈X、2^X∈X。
そうして冪集合の定義から X∈2^X 。
85: 10/30(木)17:03 ID:xd0a59UB(1) AAS
集合全体の集まりをXとする。
いまXは集合と仮定する。
べき集合の公理より2^Xが存在して ∀x(x∈2^X⇔x⊂X⇒x∈X) ∴2^X⊂X
よって濃度の定義より |2^X|≦|X| だが、これはカントールの定理 |2^X|>|X| と矛盾。
ゆえにXは集合でない。
86: 10/31(金)12:25 ID:yMqPIdb2(1) AAS
では集合の設定や定義としては、
如何なる言明であることが必要であり、
また十分であるといえるか。
あるいはある言明が与えられた場合に
それが集合を表すことかどうかを
決定することが常に可能だろうか。
87: 10/31(金)15:10 ID:l/bJN8T+(1/2) AAS
一階(※1)の集合論が無矛盾ならば(※2)、xを任意に一つ固定したときに「xは集合である」という文は、証明可能・反証可能・証明も反証も不可能（集合論から独立）の3パターン存在する。
反証可能でないことはxが集合であるための必要条件。
証明可能であることはxが集合であるための十分条件(※3)。
※1 高階の場合、文が証明可能であることと妥当な論理的帰結であることは同値でないのでより多くのパターンがある。
※2 無矛盾性を前提しない場合、証明可能且つ反証可能というパターンもある。
※3 必要十分条件ではない。なぜならその文が集合論から独立ならxが集合でないことは言えないから。
ゲーデルの不完全性定理より集合論が無矛盾なら集合論から独立な文が存在するから、「xは集合である」という文の真偽は常に決定可能ではない。
例えばZFC集合論が無矛盾なら「最小の無限順序数ωに対して |ω|<|x|<|2^ω| を満たす集合xは存在しない」という文（連続体仮説）はZFC集合論から独立。
88: 10/31(金)16:55 ID:l/bJN8T+(2/2) AAS
任意の集合A,B,Cにたいして
A ⊂ B ⇔ A×C ⊂ B×C
は言えるか。（配点３点）。
89: 11/01(土)08:23 ID:VFjaEiiI(1) AAS
⊂が等しい場合を排除している記号で
あれば、Cとして空集合をとると、
AｘC、BxCが空集合となるため、
A×C ⊂ B×C は成り立たない。
90: 11/01(土)09:22 ID:Um2AVKRG(1) AAS
{}⊂{} は成り立つ。
任意のA,Bで A ⊂ B は成り立たないと言いたいのかな？
91: 11/02(日)23:02 ID:PzvJeOOq(1) AAS
⊂が等しい場合を排除している意味の
記号であれば、{}⊂{} は成り立たない。
等しい場合も含めている⊆の意味ならば
成り立つ。
集合の記号⊂は著者の流儀により⊆と
同じ意味に使われる場合とそうではな
い場合の2通りがあるため、初学者は
記号がどちらの意味で使われているの
かを自分で読んで判断をしなければな
らない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.443s*