24/10/05 00:11:01.14 CXRRMwD3.net
なんだよ空写像って
2:￣￣|／￣￣￣
24/10/05 01:18:21.07 OGD3uCT7.net
＿＿＿＿_
／::::::::::::::::::::::::::＼ ＿
/::::::::::::::::::::::::::::::::::::::＼ ／ ￣ ￣ ＼
|:::::::::::::::::|＿|＿|＿|＿| /、 ヽ
|;;;;;;;;;;ノ ／,, ,,＼ ヽ |・ |―-、 |
|::（ 6 ー─□─□ ） ｑ -´ 二 ヽ | はあ？いいから働けウンコ製造機
|ノ （∵∴ （ o o）∴） ノ＿ ー | |
／| < ∵ ３ ∵> ＼.￣｀ | /
::::::＼ ヽ ノ＼ O＝＝＝＝＝ |
:::::::::::::＼＿＿＿＿＿ノ:::::::::::＼ / |
3:１３２人目の素数さん
24/10/05 06:17:08.26 qxAHxNA+.net
自分自身への写像があり、空集合にも自分自身への集合があるので、空写像は無いかな。
典型は恒等写像id
id(x) = x
id({}) = {}
A = {1, 2, 3}
id(A) = A = {1, 2, 3}
succで空集合から数を作るとかも。
0: {}
1: succ({}) = {{}}
2: succ(1) = succ(succ({})) = {{},{{}}}
3: succ(2) = succ(succ(1)) = succ(succ(succ({}))) ={{},{{}},{{},{{}}}}
.
.
.
4:１３２人目の素数さん
24/10/05 06:21:07.16 XIibLeSK.net
はろーわーく
5:１３２人目の素数さん
24/10/05 06:21:31.54 XIibLeSK.net
おちこぼれ
6:１３２人目の素数さん
24/10/05 06:21:53.63 XIibLeSK.net
しんやんくそすれ
7:１３２人目の素数さん
24/10/05 06:22:51.44 XIibLeSK.net
方程式って解く必要なくね？
8:１３２人目の素数さん
24/10/05 06:23:04.87 XIibLeSK.net
高校のベクトルって何なの？
9:１３２人目の素数さん
24/10/05 06:23:19.47 XIibLeSK.net
なんで数学者はブラ・ケット使わんの？？
10:１３２人目の素数さん
24/10/05 06:23:33.94 XIibLeSK.net
数学者って怒った時どうしてる？
11:１３２人目の素数さん
24/10/05 06:24:12.97 XIibLeSK.net
ねるな
12:１３２人目の素数さん
24/10/05 10:14:14.94 KtzNxbCT.net
恒等写像や核余核
13:１３２人目の素数さん
24/10/05 10:33:58.52 XIibLeSK.net
あらしをするーできないのはなぜはてな
14:１３２人目の素数さん
24/10/05 20:05:44.64 HAPWNpO5.net
任意の集合Xに対して、空集合∅からの写像∅→Xがただ一つ存在する
15:１３２人目の素数さん
24/10/05 20:56:07.03 ut8z8m5e.net
>>3
発想はいいけど未達
空集合から集合への写像を考えればそれは空写像
?_A: ?→A
∀A, ∃!?_A
また空集合の性質でどんな元も空集合に含まれることはなく、
これに反する前提を持つ命題は常に真（ex. ∀x??, ∃!y:?A, (x,y)??.)
また空関数は、Aも空集合のとき全単射となる
以上より導かれる興味深い事実は、基数λ、μに対して、
μ=card(X), λ= card(Y), λ^μ:= card (Y^X) としたとき、
0^0はX=Y=?に相当するから、0^0 = card(?^?)であり、この空写像はただ一つ存在するから、
0^0 = 1であるということである
16:１３２人目の素数さん
24/10/20 19:29:51.89 4wKBewva.net
>>15
ああ、思い出した。
2ⁿの2⁰ = 1の理由の時にアセンブラのNOP(何もしないという命令)相当の数学概念が欲しいとか思ったのと同じって事か。
2² = 1 * 2 * 2
2¹ = 1 * 2
2⁰ = 1 (１に０を１回も掛けない。つまり「何もしない」)
n ^ 0 = 1
n ^ m = n * (n ^ (m - 1))
それを行くと、何を受け取っても定数を返す関数とかは空写像って事になるのだらうか…。
なんか違う気がする。
f(x) = 1
17:１３２人目の素数さん
24/12/09 08:15:03.58 c1vp7o8e.net
空写像を定義しないと
18:１３２人目の素数さん
25/01/02 17:14:42.42 15RobLT+.net
空射精
空射精
空写像
ホモ写像
オイラーの原理
鳩ノ巣原理
19:１３２人目の素数さん
25/01/02 17:42:41.07 Pj+DALo7.net
写像ψ->ψの名前はあるの？
20:１３２人目の素数さん
25/01/02 18:20:02.89 rSGahDaD.net
>>19
一般的には変換て言うかな
21:１３２人目の素数さん
25/03/02 23:33:43.93 tlwTnLq/p
例えは゛「JＡ35ΗD」は「加森観光ルスツテロリスト加森久丈O1１2223０８８」た゛が
クソ航空機による騷音被害を受けたらアプリ「ADS-B Unfiltered...』で登録記号確認
ΤtPs://jasearСh.info/ ←ここで犯人特定
ADS-B出してない日の丸ロコ゛機体は憲法違反税金泥棒自閉隊関係だが，人の尊厳を踏みにじるこいつらテロリストか゛莫大な石油を無駄に
燃やしてヱネ価格高騰、気候変動，災害連發、人殺しまくって憲法ガン無視で騒音まき散らして労働者の睡眠妨害して生産性壊滅
知的産業を根絶やしにして住民の生命財産生活にと破壞して人々を貧困化させてる強盗殺人か゛近年の俺も俺も強盗の根源なわけだが
この悪質テ口に立ち向かう英雄に送金したいというやつ本当に大勢いるからな
企業トップ銃殺してSNSで盛大に称賛されて多額の金が集まってるがこの深刻な被害に切り込んだ英雄は一生遊べるほどに大儲けできるぞ
航空燃料税1万円/Lにするだけで財政、脱炭素、治安，国際競争カと一挙解決するものをア－アー聞こえないの腐敗政府を追い詰めよう
(ref.) ttps:／/www.call4.jp/info.php?type=items&id=I000006２
ttps:/／hanеda-РrojecΤ.jimdofrｅe.com/ , URLﾘﾝｸ(flight-rou)ｔе.com/
tTps:／/n-souonhigaisosyoudan.amebaownd.Сom/
22:１３２人目の素数さん
25/05/23 21:30:48.85 LKEZ/m+d.net
任意の集合Xに対して、空集合∅からの写像∅→Xがただ一つ存在する
その写像は必ず単写である。
またその写像が全射となるのはXが空集合である
ときに限る。Xが空集合であればその写像は全単射
となり、逆写像を持つが、その逆写像もまた空写像である。
23:１３２人目の素数さん
25/05/31 16:21:41.30 MYjSJVXc.net
>>1
写像 f:X→Y とは、X×Y の部分集合Fであって、条件：∀(a,b)∈F ∧ ∀(a,c)∈F ⇒ b=c を満たすものを言う。
X={} のとき、{}×Y={} だから、F={}。{}はいかなる元も持たないから、条件の左辺は恒偽であり、よって条件は恒真。
従って f:{}→Y={} であり、これを空写像と言う。
24:１３２人目の素数さん
25/09/01 15:10:55.11 zmHc7PUM.net
ｆが集合Aから集合Bへの写像であるとは、
「aがAの元であればBのある元bが存在して
一意に定まる関係」であり、
そのときｆ(a)=b と表す。
ここでAが空集合φであれば、Aの元は
存在しないので、定義における命題の
「aがAの元であれば、」のところが
偽になるため、「aがAの元であれば、Bのある元bが
一意に定まる関係」であることを満たすから、
定義域Aが空集合φである場合には集合Bが
何であっても、AからBへの写像ｆは存在する
ことが定義から保証される。
Aが空集合φである場合の写像を空写像
といい、その値域f(φ）は空集合φである。
空写像は単写であり、B=φの場合に限って
全単写となり、そうしてその場合には
逆写像も存在して空写像である。
25:１３２人目の素数さん
25/09/02 22:48:20.76 vgyzZwMc.net
全くの空論だ。
空数学とは、その数学に含まれる
命題の集合（公理も含まれる）が
空集合であるような数学のことをいう。
26:１３２人目の素数さん
25/09/03 22:21:25.83 i5rMkWMj.net
実質含意か。これが宇宙構成の秘密を握っているような気がしてきた。
ええっと、ここは...数学板か。宇宙（数学）構成つーことになる。
数学はエネルギー論を無視していると思っていたが、実質含意で考えればエネルギー論的にも辻褄が合う。
宇宙（物理）や量子論的にも成り立つかもしれない。ちょいとトランスワープ。
27:１３２人目の素数さん
25/09/04 00:21:00.13 IBnausHV.net
宇宙は数学の言葉で書かれているが、
その数学が空数学ならば、それで書かれて
いる宇宙は空宇宙となり、宇宙には何物も
存在しないことになる。光無し、最初にも
言葉無し。まるっきり言葉を失う他無い。
28:１３２人目の素数さん
25/09/04 00:41:54.06 OkReK+2M.net
空は無ではない、中身は無いけど集まりはある。
そして、その集まり（空集合）の外にはすべてがある。空集合のまわりには豊穣な宇宙がある。
29:１３２人目の素数さん
25/09/06 21:06:25.92 Av8R8IG9.net
空数学が命題というものを持たない数学であれば、それ単独では命題論理による議論は不可。
30:１３２人目の素数さん
25/09/06 21:31:57.28 s+KeRJvC.net
empty function / empty map のことっすね。
empty category 空圏だってあるし。
空数学ってのは空（集合）しか扱わない数学っすかね？
31:１３２人目の素数さん
25/09/06 21:34:54.52 s+KeRJvC.net
自然数論のこと？
32:１３２人目の素数さん
25/09/08 07:41:47.64 T0zNxX6Q.net
空数学は公理も定理もいっさいの
命題を含まない潔い態度の数学です。
何も導けないし何も行えない。
しかしそれに命題を付け加えることで、
あらゆる数学を含めることになるから
数学の母体となるものです、なーんちゃって。
33:１３２人目の素数さん
25/09/08 13:44:17.89 BCTakZLK.net
空の定理/公理などがあるわけではなく、
メタ(数学)的な立場から空としているわけですね。
で、集合論や論理すらなくても困らないほどなにもないと。
無数学と空数学の違いですね、問題は。なにもないけど数学だけはある、と。
ブートストラップとしての数学。
34:１３２人目の素数さん
25/09/08 14:03:06.93 BCTakZLK.net
メタ数学的立場から、数学でなければならないという要請だけがある「空数学」。
そのように考えてしまうと、「数学でなければならない」ということはclassであり、
そこにあらわれている「数学」なんていうことも無定義用語とすれば、空のclassに属していれば「空数学」。
空のclassだけの数学。
一元体や絶対数学への別アプローチ（集合(class)論的アプローチ）かもしれない。と、わたしは妄想しました()
35:１３２人目の素数さん
25/09/09 06:35:58.00 8Ojy0HbW.net
集合とは要素の集まりである（素朴）。
なのに空集合は要素を含まない集合である。
そういうトンチが許されるのならば、
空数学がなければものごとの整合性が
とれない。
36:１３２人目の素数さん
25/09/09 17:43:50.64 J16PBiwc.net
どうやって拡張するのだろう。体ではないので拡大体もつくれない。
集合論も論理学もなにもない状態からスタートするにしてもなにもない。
空圏からの関手でも考えるのだろうか。それしか考えられないと思うが、どうなるんだろ？
37:１３２人目の素数さん
25/09/10 15:41:45.87 Blnvne7H.net
某国にいったときだが、ホテルのエレベーターで下に降りようとして１階のボタンを押したがいけなかった。
1階の下のL（ロビー）かG（グランド）でないと降りられない。
空集合はロビーだ。
空数学がただ空であるというだけなら、なにも始まらず、そこで終わる。
空であることで真空エネルギーがあってなにものかが対生成するとかいうのであればよいのだが、数学は物理ではない。
空である、ということは、そこになんらかの大きさのようなものがある/なければならない。
空は無ではない。
38:１３２人目の素数さん
25/09/10 17:24:50.38 m1jUc3Tq.net
イギリス英語圏では the first floor が二階なことが往々にしてある
そらとかなしとかは別に関係ない
39:１３２人目の素数さん
25/09/10 17:59:27.56 Blnvne7H.net
数えと満の違いです。
空（くう）は満ちると１になる。
１に満たないが、なんらかの大きさのようなものを持っている。
40:１３２人目の素数さん
25/09/10 18:05:14.23 Blnvne7H.net
空数学があるとすれば、360°または720°回転して1単位となるか、それを抽象化したものが必要と思われる。
41:１３２人目の素数さん
25/09/10 18:12:22.69 Blnvne7H.net
量子力学でいえばCreation Operator。
数学ならsuccessor (function/operator)がその類のものだろう。
42:１３２人目の素数さん
25/09/11 10:57:14.07 /d2O7h0l.net
しかし、外部から持ち込むのは好ましくない。
空数学そのものから、自然に発生すべきである。
数学なのだから数学的対象が必要であり、空数学なのだから「空」が数学的対象である。
この「空」は、集合論や一階述語論理なども持っていないのだから、空集合の公理以前のものである。
公理そのものはメタ的にあるとして、「空の公理」（空集合の公理ではない）のみがあると考える。
43:１３２人目の素数さん
25/09/11 11:19:27.97 /d2O7h0l.net
空の公理は空集合の公理ではない、ほんとうになにもないという公理だ。
空（から）の公理である。公理の枠だけがある。メタ数学の範疇になるだろう。
公理とは仮定であるが、命題とか前提とかもないとすれば、公理という仮定でもなく、
ただ、「素朴」になにもない。空数学は、いままでの数学の構造を脱構築しようという試みなのか？
ブルバキによる構造やら公理学の導入やら形式主義やらなんやらを脱構築しようというのだろうか。
44:１３２人目の素数さん
25/09/11 11:52:57.98 /d2O7h0l.net
構造主義の構造とは数学的構造のことである。数学主義と読み替えてもよいだろう。
空数学は、ブルバキやヒルベルトやらゲーデルあたりにまで喧嘩を売る数学であろう。
要請されるのは「空」であることと、「数学とは異なるものを同じものとみなす技術である」（ポアンカレ）という２つだ。
空を単位元とするモノイドと考えれば、自然数論のようなものだが、空数学＝モノイド数学なのか？
モノイドだけで数学を再構成/再構築できる？
45:１３２人目の素数さん
25/09/11 18:07:26.73 Udk9IhMk.net
集合というものが記述に現れない
無い形で数学を作れるか？
これこれの性質を満たすものの
集まりというものが存在するだとか、
空で無い集合に含まれる要素を
とりだしてだとかいうようなことを
認めない。自然数はあっても自然数の
集合は無い、など。
46:１３２人目の素数さん
25/09/11 22:55:23.55 /d2O7h0l.net
数学が、同じとみなす技術としての要請があるかぎり、同じとみなしたものの集まりは避けられない。
同じclassに属するものの集まりという概念はポアンカレの要請を満たす。
集合論ではなくclass論。同じclassに属するものの集まりと、classの集まりは区別される。
classもものであり、同じclassに属するclassの集まりがある。
空とはすべてのclassの集まり。white class?
わたしが空数学を考えるとこのような感じのclass論になる。個人的な見解なので、これを白数学と呼んで区別しておこう()
47:１３２人目の素数さん
25/09/13 07:08:36.43 eChSBPgq.net
白数学なんていうわけのわからないものを考えてみたが、
これをホワイトホールとすればブラックホールに相当する黒数学もある。
とすると穴数学がよさそうだ。空は穴だ。
この穴には白/黒の二面性がある。
ホワイトホールにもシュワルツシルト半径のようなものはあるのだろうか。時間反転すればいいだけかもしれないが。
48:１３２人目の素数さん
25/09/13 07:16:24.49 eChSBPgq.net
穴数学を考えてみると、数学にも光速が必要になってくる()
数学における光速とはなにか、と考えるなら、それは「公理」のことだろう。
とすれば、公理がホールを作る。
それでもまだ重力に相当するものが足りない。
数学の圏と物理の圏は自然変換できるのだろうか。
49:１３２人目の素数さん
25/09/16 16:24:04.77 HRIZM31b.net
穴数学の穴はdemonであり、demon mathematicsだ。
物理を考えずにdemon algorithmのdemonを考えよう。悪魔数学。
ならば、最初に白数学として考えたが、黒数学と呼ぶのがふさわしい()
この悪魔は大きさのようなものを持ち、余剰エネルギーを格納して大きくなり、
可能であれば必要なときにエネルギーを放出して小さくなる。（とりあえず負の悪魔は考えない。いるかもしれないが）
注：エネルギーの形態のひとつが情報である。ただし、情報を受け取るモノ/者/物が必要だ。
量子的な数学場での演算子/作用素/operatorを扱う。
50:１３２人目の素数さん
25/09/16 16:40:18.49 HRIZM31b.net
メタ数学あるいは科学哲学としての議論が必要になるだろうけど、
黒数学（悪魔数学/魔物数学）の駆動源は客観（化）というエネルギーである。
このエネルギーによって数学的対象がうみだされる。
この悪魔/魔物はマクスウェルの悪魔やラプラスの悪魔の親戚で、ゲーデルの悪魔もいるだろう。
命名するならチューリングの悪魔/魔物あたりが適当か？
これらの悪魔はブロッホ球やポアンカレ球のような球面であろうと考える。よーするに波だ。
51:１３２人目の素数さん
25/09/17 22:35:36.01 P0446Sdf.net
数学は、メタ数学領域から人間による操作を与えてできるが、
数学世界でエネルギー論的に展開すべきである。
空という〇の真空エネルギーを使う。
フォンノイマン的に自然数論を展開するのであれば、〇が自分でべき集合をつくっていくべき()
〇が複数の〇からできているとすれば、バブル構造のようなものを持っている。
集合論から外延性の公理を取り去るのが正しそうだ。
52:１３２人目の素数さん
25/09/18 01:04:55.24 G9JrQQL8.net
〇はデーモンであり、0次元のデーモンは点が２つ‥だ。bitに相当する。
なので、現在のコンピュータは0次元デーモンの黒数学で成り立つ()
このあたりになると0次元の超ひも理論が...ほんとか？
0次元の超ひもの振動が万能チューリングマシンになるってことか。
53:１３２人目の素数さん
25/09/20 00:45:00.58 YRTpR0xw.net
〇が万能チューリングマシンになりそうなので、こっちに全力尽くそうと思う()
アイデアは単純だ。循環タグシステムの変種だが、生物に近い。
FIFOではなくブラックホールに類似したdemonがテープのかわり。
空数学というアイデアをありがとう。とりあえず他の板にトランスワープ。
ブラックホールが生命の起源かもね。Black alert!
54:１３２人目の素数さん
25/09/21 10:47:20.87 FzEsusJg.net
数学とは何か、
公理とみなす命題と命題論理があり、
命題論理を有限回適用して得られる
範囲の体系ではないだろうか。
55:１３２人目の素数さん
25/09/25 20:50:08.80 CFOHEvZb.net
空集合の冪集合を求めなさい（配点３点）。
56:１３２人目の素数さん
25/09/25 21:31:03.47 fkgyLEZd.net
空集合の部分集合は空集合のみ
57:１３２人目の素数さん
25/09/26 00:27:24.94 f0rZ2tau.net
X⊂{}とする。
部分集合の定義より ∀x(x∈X⇒x∈{})。全称除去により c∈X⇒c∈{}。
c∈{} は恒偽だから c∈X は恒偽でなければならない。よってX={}。よって2^{}={{}}。
58:１３２人目の素数さん
25/09/26 05:10:43.25 xHuchH0k.net
>>57
55で言い尽くされたこと
59:１３２人目の素数さん
25/09/26 11:49:13.56 f0rZ2tau.net
定理は言い尽くされていても証明は皆無。
60:１３２人目の素数さん
25/09/29 06:38:41.17 7S881PHT.net
空集合と集合の直積集合を求めなさい（配点３点）。
61:１３２人目の素数さん
25/09/29 07:47:00.03 EAeukqGm.net
空集合のみを部分集合として持つ集合は
空集合
62:１３２人目の素数さん
25/09/29 12:45:42.38 t8iNrpWU.net
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:１３２人目の素数さん
25/09/29 14:06:07.67 t8iNrpWU.net
訂正
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}={}
64:１３２人目の素数さん
25/09/29 22:28:42.38 t8iNrpWU.net
直感的な説明としては
y∈{}が恒偽だからx∈Xの真偽にかかわらずy∈{}∧x∈Xも恒偽。よって{(y,x)|y∈{}∧x∈X}={(y,x)|⊥}={}。
65:１３２人目の素数さん
25/10/02 17:36:52.89 e+RPfCQo.net
集合AとBにたいして
A×BとB×Aが一致するのはどのような
ときか。（配点３点）。
66:死狂幻調教大師S.A.D.@月と六ベンツ
25/10/02 17:41:51.95 qB1fmWR3.net
般若心経の空のほうがいいなあ。
67:１３２人目の素数さん
25/10/02 20:07:22.55 xShQdKnE.net
２変数の写像（関数）f(x,y)
1変数の写像（関数）f(x)
なら…
０変数の写像（関数）f
ってのも有っていいし、それって変数の事じゃん？
という事で
空写像＝変数（0変数の写像）
ってのはどうだろう？
68:１３２人目の素数さん
25/10/02 23:01:29.44 QQIw7WCn.net
集合は空間であり、functionも空間だし、上で語られている0変数も空間だ。
数学は空間の科学だったのかもしれない。そこには不動点（あるいは不変性）もある。
公理的集合論の問題は内包公理ではなく外延性公理の問題だったのかもしれない。
対象を仮想粒子とみなせば、ボース・アインシュタイン統計に従うものと、フェルミ・ディラック統計に従うものと最低でも２種類の対象が必要なのではないか？
69:１３２人目の素数さん
25/10/02 23:04:33.46 TwEtyvhN.net
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。
70:１３２人目の素数さん
25/10/03 07:28:53.13 9BkbmH3y.net
空間の科学の中で
時間の位置づけは重要
71:１３２人目の素数さん
25/10/05 12:16:16.43 pYOIe6n+.net
集合の直積は演算としては
可換でもなく結合的でもない。
しかし、((a,b),c)を(a,b,c)とみなし、
(a,(b,c))も(a,b,c)とみなす同一視を
行うことで結合的にできる。
72:１３２人目の素数さん
25/10/18 19:21:39.94 kTre2FiS.net
集合の直積は演算としては
可換でもなく結合的でもない。
しかし (a,b) を {a,b} と
同一視することにより可換にできる。
73:１３２人目の素数さん
25/10/20 16:03:29.36 ceqg2XVE.net
空の意をいかに取るかだな
空集合は{}ただ一つあり、空なものはその要素である
の類推から
空写像fはただ一つあり、空なものはそのタプルの要素である
とするならば
[f] = {({}, {})}
なるただ一つの関数f
74:１３２人目の素数さん
25/10/20 16:59:58.41 DU8YfOMv.net
空写像={}
>{({}, {})}
それは写像 f:{{}}→X∪{{}} ただしXは集合
75:１３２人目の素数さん
25/10/20 18:48:27.52 nox32zep.net
>>67
思いついた。
変数 ＝ ０変数の関数。
空集合 ＝ ∅
なら、
f = ∅
というのはどうだろう？
つまり、空集合は空写像でもある。
76:１３２人目の素数さん
25/10/21 00:19:37.52 +tHhg6Hh.net
(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)={})
77:１３２人目の素数さん
25/10/21 23:57:36.06 DmY4VVsy.net
空集合を真空と見なして、
集合に対する反集合要素というものを
考えてみる。
集合Aが要素aを含むとき、
Aの反集合\bar{A}は反要素\bar{a}を
含むというように。そうして要素数は
aが1なら\var{a}は-1と数えるなど。
こうしたからといって何も面白いことは
出て来ないような気がするけれども。
78:１３２人目の素数さん
25/10/22 19:38:00.04 xc0QhYtc.net
差集合かな？
79:１３２人目の素数さん
25/10/24 10:05:53.79 4/dDJw3U.net
写像ってさ
直積ABの部分集合で特別なもの
じゃないよな
この解釈だと恒等写像と包含写像が区別できない
80:１３２人目の素数さん
25/10/24 15:31:33.07 dX0vXa30.net
区別したい場合、定義域、値域、グラフの三つ組として定義すればよい
81:１３２人目の素数さん
25/10/26 19:35:26.11 AcnPF1U/.net
集合Aの冪集合をBとするとき、
AとBの濃度は必ず異なることを
示しなさい（配点５点）。
82:１３２人目の素数さん
25/10/26 22:41:15.24 ZArsq72D.net
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|。
83:１３２人目の素数さん
25/10/26 23:19:20.82 wcsWN8dm.net
>>81
始域終域グラフの三つ組
84:１３２人目の素数さん
25/10/27 11:52:19.33 S7PkSpnV.net
尚、自明な単射 h:A→B,h(a)={a} が存在するので |A|<|B|。
85:１３２人目の素数さん
25/10/30 11:13:03.07 uOmkkrB1.net
すべての集合の集合というものを考えて
Xとする。定義からXは自分自身も自分の
冪集合もその要素として含んでいるはず
である。よって X∈X、2^X∈X。
そうして冪集合の定義から X∈2^X 。
86:１３２人目の素数さん
25/10/30 17:03:54.02 xd0a59UB.net
集合全体の集まりをXとする。
いまXは集合と仮定する。
べき集合の公理より2^Xが存在して ∀x(x∈2^X⇔x⊂X⇒x∈X) ∴2^X⊂X
よって濃度の定義より |2^X|≦|X| だが、これはカントールの定理 |2^X|>|X| と矛盾。
ゆえにXは集合でない。
87:１３２人目の素数さん
25/10/31 12:25:20.79 yMqPIdb2.net
では集合の設定や定義としては、
如何なる言明であることが必要であり、
また十分であるといえるか。
あるいはある言明が与えられた場合に
それが集合を表すことかどうかを
決定することが常に可能だろうか。
88:１３２人目の素数さん
25/10/31 15:10:26.60 l/bJN8T+.net
一階(※1)の集合論が無矛盾ならば(※2)、xを任意に一つ固定したときに「xは集合である」という文は、証明可能・反証可能・証明も反証も不可能（集合論から独立）の3パターン存在する。
反証可能でないことはxが集合であるための必要条件。
証明可能であることはxが集合であるための十分条件(※3)。
※1 高階の場合、文が証明可能であることと妥当な論理的帰結であることは同値でないのでより多くのパターンがある。
※2 無矛盾性を前提しない場合、証明可能且つ反証可能というパターンもある。
※3 必要十分条件ではない。なぜならその文が集合論から独立ならxが集合でないことは言えないから。
ゲーデルの不完全性定理より集合論が無矛盾なら集合論から独立な文が存在するから、「xは集合である」という文の真偽は常に決定可能ではない。
例えばZFC集合論が無矛盾なら「最小の無限順序数ωに対して |ω|<|x|<|2^ω| を満たす集合xは存在しない」という文（連続体仮説）はZFC集合論から独立。
89:１３２人目の素数さん
25/10/31 16:55:55.71 l/bJN8T+.net
任意の集合A,B,Cにたいして
A ⊂ B ⇔ A×C ⊂ B×C
は言えるか。（配点３点）。
90:１３２人目の素数さん
25/11/01 08:23:37.92 VFjaEiiI.net
⊂が等しい場合を排除している記号で
あれば、Cとして空集合をとると、
AｘC、BxCが空集合となるため、
A×C ⊂ B×C は成り立たない。
91:１３２人目の素数さん
25/11/01 09:22:19.69 Um2AVKRG.net
{}⊂{} は成り立つ。
任意のA,Bで A ⊂ B は成り立たないと言いたいのかな？
92:１３２人目の素数さん
25/11/02 23:02:57.21 PzvJeOOq.net
⊂が等しい場合を排除している意味の
記号であれば、{}⊂{} は成り立たない。
等しい場合も含めている⊆の意味ならば
成り立つ。
集合の記号⊂は著者の流儀により⊆と
同じ意味に使われる場合とそうではな
い場合の2通りがあるため、初学者は
記号がどちらの意味で使われているの
かを自分で読んで判断をしなければな
らない。