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