No.1
空集合があるなら空写像もあるの？
レス数: 91
概要: なんだよ空写像って
No.2
／::::::::::::::::::::::::::＼ ＿
/::::::::::::::::::::::::::::::::::::::＼ ／ ￣ ￣ ＼
|:::::::::::::::::|＿|＿|＿|＿| /、 ヽ
|;;;;;;;;;;ノ ／,, ,,＼ ヽ |・ |―-、 |
|::（ 6 ー─□─□ ） ｑ -´ 二 ヽ | はあ？いいから働けウンコ製造機
|ノ （∵∴ （ o o）∴） ノ＿ ー | |
／| < ∵ ３ ∵> ＼.￣｀ | /
::::::＼ ヽ ノ＼ O＝＝＝＝＝ |
:::::::::::::＼＿＿＿＿＿ノ:::::::::::＼ / |
No.3
典型は恒等写像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({}))) ={{},{{}},{{},{{}}}}
.
.
.
No.4
No.5
No.6
No.7
No.8
No.9
No.10
No.11
No.12
No.13
No.14
No.15
発想はいいけど未達
空集合から集合への写像を考えればそれは空写像
?_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であるということである
No.16
ああ、思い出した。
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
No.17
No.18
空射精
空写像
ホモ写像
オイラーの原理
鳩ノ巣原理
No.19
No.20
一般的には変換て言うかな
No.21
その写像は必ず単写である。
またその写像が全射となるのはXが空集合である
ときに限る。Xが空集合であればその写像は全単射
となり、逆写像を持つが、その逆写像もまた空写像である。
No.22
写像 f:X→Y とは、X×Y の部分集合Fであって、条件：∀(a,b)∈F ∧ ∀(a,c)∈F ⇒ b=c を満たすものを言う。
X={}のとき、{}×Y={}だから、F={}。{}はいかなる元も持たないから、条件の左辺は恒偽であり、よって条件は恒真。
従って f:{}→Y={}であり、これを空写像と言う。
No.23
「aがAの元であればBのある元bが存在して
一意に定まる関係」であり、
そのときｆ(a)=b と表す。
ここでAが空集合φであれば、Aの元は
存在しないので、定義における命題の
「aがAの元であれば、」のところが
偽になるため、「aがAの元であれば、Bのある元bが
一意に定まる関係」であることを満たすから、
定義域Aが空集合φである場合には集合Bが
何であっても、AからBへの写像ｆは存在する
ことが定義から保証される。
Aが空集合φである場合の写像を空写像
といい、その値域f(φ）は空集合φである。
空写像は単写であり、B=φの場合に限って
全単写となり、そうしてその場合には
逆写像も存在して空写像である。
No.24
空数学とは、その数学に含まれる
命題の集合（公理も含まれる）が
空集合であるような数学のことをいう。
No.25
ええっと、ここは...数学板か。宇宙（数学）構成つーことになる。
数学はエネルギー論を無視していると思っていたが、実質含意で考えればエネルギー論的にも辻褄が合う。
宇宙（物理）や量子論的にも成り立つかもしれない。ちょいとトランスワープ。
No.26
その数学が空数学ならば、それで書かれて
いる宇宙は空宇宙となり、宇宙には何物も
存在しないことになる。光無し、最初にも
言葉無し。まるっきり言葉を失う他無い。
No.27
そして、その集まり（空集合）の外にはすべてがある。空集合のまわりには豊穣な宇宙がある。
No.28
No.29
empty category 空圏だってあるし。
空数学ってのは空（集合）しか扱わない数学っすかね？
No.30
No.31
命題を含まない潔い態度の数学です。
何も導けないし何も行えない。
しかしそれに命題を付け加えることで、
あらゆる数学を含めることになるから
数学の母体となるものです、なーんちゃって。
No.32
メタ(数学)的な立場から空としているわけですね。
で、集合論や論理すらなくても困らないほどなにもないと。
無数学と空数学の違いですね、問題は。なにもないけど数学だけはある、と。
ブートストラップとしての数学。
No.33
そのように考えてしまうと、「数学でなければならない」ということはclassであり、
そこにあらわれている「数学」なんていうことも無定義用語とすれば、空のclassに属していれば「空数学」。
空のclassだけの数学。
一元体や絶対数学への別アプローチ（集合(class)論的アプローチ）かもしれない。と、わたしは妄想しました()
No.34
なのに空集合は要素を含まない集合である。
そういうトンチが許されるのならば、
空数学がなければものごとの整合性が
とれない。
No.35
集合論も論理学もなにもない状態からスタートするにしてもなにもない。
空圏からの関手でも考えるのだろうか。それしか考えられないと思うが、どうなるんだろ？
No.36
1階の下のL（ロビー）かG（グランド）でないと降りられない。
空集合はロビーだ。
空数学がただ空であるというだけなら、なにも始まらず、そこで終わる。
空であることで真空エネルギーがあってなにものかが対生成するとかいうのであればよいのだが、数学は物理ではない。
空である、ということは、そこになんらかの大きさのようなものがある/なければならない。
空は無ではない。
No.37
そらとかなしとかは別に関係ない
No.38
空（くう）は満ちると１になる。
１に満たないが、なんらかの大きさのようなものを持っている。
No.39
No.40
数学ならsuccessor (function/operator)がその類のものだろう。
No.41
空数学そのものから、自然に発生すべきである。
数学なのだから数学的対象が必要であり、空数学なのだから「空」が数学的対象である。
この「空」は、集合論や一階述語論理なども持っていないのだから、空集合の公理以前のものである。
公理そのものはメタ的にあるとして、「空の公理」（空集合の公理ではない）のみがあると考える。
No.42
空（から）の公理である。公理の枠だけがある。メタ数学の範疇になるだろう。
公理とは仮定であるが、命題とか前提とかもないとすれば、公理という仮定でもなく、
ただ、「素朴」になにもない。空数学は、いままでの数学の構造を脱構築しようという試みなのか？
ブルバキによる構造やら公理学の導入やら形式主義やらなんやらを脱構築しようというのだろうか。
No.43
空数学は、ブルバキやヒルベルトやらゲーデルあたりにまで喧嘩を売る数学であろう。
要請されるのは「空」であることと、「数学とは異なるものを同じものとみなす技術である」（ポアンカレ）という２つだ。
空を単位元とするモノイドと考えれば、自然数論のようなものだが、空数学＝モノイド数学なのか？
モノイドだけで数学を再構成/再構築できる？
No.44
無い形で数学を作れるか？
これこれの性質を満たすものの
集まりというものが存在するだとか、
空で無い集合に含まれる要素を
とりだしてだとかいうようなことを
認めない。自然数はあっても自然数の
集合は無い、など。
No.45
同じclassに属するものの集まりという概念はポアンカレの要請を満たす。
集合論ではなくclass論。同じclassに属するものの集まりと、classの集まりは区別される。
classもものであり、同じclassに属するclassの集まりがある。
空とはすべてのclassの集まり。white class?
わたしが空数学を考えるとこのような感じのclass論になる。個人的な見解なので、これを白数学と呼んで区別しておこう()
No.46
これをホワイトホールとすればブラックホールに相当する黒数学もある。
とすると穴数学がよさそうだ。空は穴だ。
この穴には白/黒の二面性がある。
ホワイトホールにもシュワルツシルト半径のようなものはあるのだろうか。時間反転すればいいだけかもしれないが。
No.47
数学における光速とはなにか、と考えるなら、それは「公理」のことだろう。
とすれば、公理がホールを作る。
それでもまだ重力に相当するものが足りない。
数学の圏と物理の圏は自然変換できるのだろうか。
No.48
物理を考えずにdemon algorithmのdemonを考えよう。悪魔数学。
ならば、最初に白数学として考えたが、黒数学と呼ぶのがふさわしい()
この悪魔は大きさのようなものを持ち、余剰エネルギーを格納して大きくなり、
可能であれば必要なときにエネルギーを放出して小さくなる。（とりあえず負の悪魔は考えない。いるかもしれないが）
注：エネルギーの形態のひとつが情報である。ただし、情報を受け取るモノ/者/物が必要だ。
量子的な数学場での演算子/作用素/operatorを扱う。
No.49
黒数学（悪魔数学/魔物数学）の駆動源は客観（化）というエネルギーである。
このエネルギーによって数学的対象がうみだされる。
この悪魔/魔物はマクスウェルの悪魔やラプラスの悪魔の親戚で、ゲーデルの悪魔もいるだろう。
命名するならチューリングの悪魔/魔物あたりが適当か？
これらの悪魔はブロッホ球やポアンカレ球のような球面であろうと考える。よーするに波だ。
No.50
数学世界でエネルギー論的に展開すべきである。
空という〇の真空エネルギーを使う。
フォンノイマン的に自然数論を展開するのであれば、〇が自分でべき集合をつくっていくべき()
〇が複数の〇からできているとすれば、バブル構造のようなものを持っている。
集合論から外延性の公理を取り去るのが正しそうだ。
