空集合があるなら空写像もあるの？ (69ﾚｽ)
上下前次1-新
27: 09/04(木)00:41 ID:OkReK+2M(1) AAS
空は無ではない、中身は無いけど集まりはある。
そして、その集まり（空集合）の外にはすべてがある。空集合のまわりには豊穣な宇宙がある。
28: 09/06(土)21:06 ID:Av8R8IG9(1) AAS
空数学が命題というものを持たない数学であれば、それ単独では命題論理による議論は不可。
29: 09/06(土)21:31 ID:s+KeRJvC(1/2) AAS
empty function / empty map のことっすね。
empty category 空圏だってあるし。
空数学ってのは空（集合）しか扱わない数学っすかね？
30: 09/06(土)21:34 ID:s+KeRJvC(2/2) AAS
自然数論のこと？
31: 09/08(月)07:41 ID:T0zNxX6Q(1) AAS
空数学は公理も定理もいっさいの
命題を含まない潔い態度の数学です。
何も導けないし何も行えない。
しかしそれに命題を付け加えることで、
あらゆる数学を含めることになるから
数学の母体となるものです、なーんちゃって。
32: 09/08(月)13:44 ID:BCTakZLK(1/2) AAS
空の定理/公理などがあるわけではなく、
メタ(数学)的な立場から空としているわけですね。
で、集合論や論理すらなくても困らないほどなにもないと。
無数学と空数学の違いですね、問題は。なにもないけど数学だけはある、と。
ブートストラップとしての数学。
33: 09/08(月)14:03 ID:BCTakZLK(2/2) AAS
メタ数学的立場から、数学でなければならないという要請だけがある「空数学」。
そのように考えてしまうと、「数学でなければならない」ということはclassであり、
そこにあらわれている「数学」なんていうことも無定義用語とすれば、空のclassに属していれば「空数学」。
空のclassだけの数学。
一元体や絶対数学への別アプローチ（集合(class)論的アプローチ）かもしれない。と、わたしは妄想しました()
34: 09/09(火)06:35 ID:8Ojy0HbW(1) AAS
集合とは要素の集まりである（素朴）。
なのに空集合は要素を含まない集合である。
そういうトンチが許されるのならば、
空数学がなければものごとの整合性が
とれない。
35: 09/09(火)17:43 ID:J16PBiwc(1) AAS
どうやって拡張するのだろう。体ではないので拡大体もつくれない。
集合論も論理学もなにもない状態からスタートするにしてもなにもない。
空圏からの関手でも考えるのだろうか。それしか考えられないと思うが、どうなるんだろ？
36: 09/10(水)15:41 ID:Blnvne7H(1/4) AAS
某国にいったときだが、ホテルのエレベーターで下に降りようとして１階のボタンを押したがいけなかった。
1階の下のL（ロビー）かG（グランド）でないと降りられない。
空集合はロビーだ。
空数学がただ空であるというだけなら、なにも始まらず、そこで終わる。
空であることで真空エネルギーがあってなにものかが対生成するとかいうのであればよいのだが、数学は物理ではない。
空である、ということは、そこになんらかの大きさのようなものがある/なければならない。
空は無ではない。
37: 09/10(水)17:24 ID:m1jUc3Tq(1) AAS
イギリス英語圏では the first floor が二階なことが往々にしてある
そらとかなしとかは別に関係ない
38: 09/10(水)17:59 ID:Blnvne7H(2/4) AAS
数えと満の違いです。
空（くう）は満ちると１になる。
１に満たないが、なんらかの大きさのようなものを持っている。
39: 09/10(水)18:05 ID:Blnvne7H(3/4) AAS
空数学があるとすれば、360°または720°回転して1単位となるか、それを抽象化したものが必要と思われる。
40: 09/10(水)18:12 ID:Blnvne7H(4/4) AAS
量子力学でいえばCreation Operator。
数学ならsuccessor (function/operator)がその類のものだろう。
41: 09/11(木)10:57 ID:/d2O7h0l(1/4) AAS
しかし、外部から持ち込むのは好ましくない。
空数学そのものから、自然に発生すべきである。
数学なのだから数学的対象が必要であり、空数学なのだから「空」が数学的対象である。
この「空」は、集合論や一階述語論理なども持っていないのだから、空集合の公理以前のものである。
公理そのものはメタ的にあるとして、「空の公理」（空集合の公理ではない）のみがあると考える。
42: 09/11(木)11:19 ID:/d2O7h0l(2/4) AAS
空の公理は空集合の公理ではない、ほんとうになにもないという公理だ。
空（から）の公理である。公理の枠だけがある。メタ数学の範疇になるだろう。
公理とは仮定であるが、命題とか前提とかもないとすれば、公理という仮定でもなく、
ただ、「素朴」になにもない。空数学は、いままでの数学の構造を脱構築しようという試みなのか？
ブルバキによる構造やら公理学の導入やら形式主義やらなんやらを脱構築しようというのだろうか。
43: 09/11(木)11:52 ID:/d2O7h0l(3/4) AAS
構造主義の構造とは数学的構造のことである。数学主義と読み替えてもよいだろう。
空数学は、ブルバキやヒルベルトやらゲーデルあたりにまで喧嘩を売る数学であろう。
要請されるのは「空」であることと、「数学とは異なるものを同じものとみなす技術である」（ポアンカレ）という２つだ。
空を単位元とするモノイドと考えれば、自然数論のようなものだが、空数学＝モノイド数学なのか？
モノイドだけで数学を再構成/再構築できる？
44: 09/11(木)18:07 ID:Udk9IhMk(1) AAS
集合というものが記述に現れない
無い形で数学を作れるか？
これこれの性質を満たすものの
集まりというものが存在するだとか、
空で無い集合に含まれる要素を
とりだしてだとかいうようなことを
認めない。自然数はあっても自然数の
集合は無い、など。
45: 09/11(木)22:55 ID:/d2O7h0l(4/4) AAS
数学が、同じとみなす技術としての要請があるかぎり、同じとみなしたものの集まりは避けられない。
同じclassに属するものの集まりという概念はポアンカレの要請を満たす。
集合論ではなくclass論。同じclassに属するものの集まりと、classの集まりは区別される。
classもものであり、同じclassに属するclassの集まりがある。
空とはすべてのclassの集まり。white class?
わたしが空数学を考えるとこのような感じのclass論になる。個人的な見解なので、これを白数学と呼んで区別しておこう()
46: 09/13(土)07:08 ID:eChSBPgq(1/2) AAS
白数学なんていうわけのわからないものを考えてみたが、
これをホワイトホールとすればブラックホールに相当する黒数学もある。
とすると穴数学がよさそうだ。空は穴だ。
この穴には白/黒の二面性がある。
ホワイトホールにもシュワルツシルト半径のようなものはあるのだろうか。時間反転すればいいだけかもしれないが。
47: 09/13(土)07:16 ID:eChSBPgq(2/2) AAS
穴数学を考えてみると、数学にも光速が必要になってくる()
数学における光速とはなにか、と考えるなら、それは「公理」のことだろう。
とすれば、公理がホールを作る。
それでもまだ重力に相当するものが足りない。
数学の圏と物理の圏は自然変換できるのだろうか。
48: 09/16(火)16:24 ID:HRIZM31b(1/2) AAS
穴数学の穴はdemonであり、demon mathematicsだ。
物理を考えずにdemon algorithmのdemonを考えよう。悪魔数学。
ならば、最初に白数学として考えたが、黒数学と呼ぶのがふさわしい()
この悪魔は大きさのようなものを持ち、余剰エネルギーを格納して大きくなり、
可能であれば必要なときにエネルギーを放出して小さくなる。（とりあえず負の悪魔は考えない。いるかもしれないが）
注：エネルギーの形態のひとつが情報である。ただし、情報を受け取るモノ/者/物が必要だ。
量子的な数学場での演算子/作用素/operatorを扱う。
49: 09/16(火)16:40 ID:HRIZM31b(2/2) AAS
メタ数学あるいは科学哲学としての議論が必要になるだろうけど、
黒数学（悪魔数学/魔物数学）の駆動源は客観（化）というエネルギーである。
このエネルギーによって数学的対象がうみだされる。
この悪魔/魔物はマクスウェルの悪魔やラプラスの悪魔の親戚で、ゲーデルの悪魔もいるだろう。
命名するならチューリングの悪魔/魔物あたりが適当か？
これらの悪魔はブロッホ球やポアンカレ球のような球面であろうと考える。よーするに波だ。
50: 09/17(水)22:35 ID:P0446Sdf(1) AAS
数学は、メタ数学領域から人間による操作を与えてできるが、
数学世界でエネルギー論的に展開すべきである。
空という〇の真空エネルギーを使う。
フォンノイマン的に自然数論を展開するのであれば、〇が自分でべき集合をつくっていくべき()
〇が複数の〇からできているとすれば、バブル構造のようなものを持っている。
集合論から外延性の公理を取り去るのが正しそうだ。
51: 09/18(木)01:04 ID:G9JrQQL8(1) AAS
〇はデーモンであり、0次元のデーモンは点が２つ‥だ。bitに相当する。
なので、現在のコンピュータは0次元デーモンの黒数学で成り立つ()
このあたりになると0次元の超ひも理論が...ほんとか？
0次元の超ひもの振動が万能チューリングマシンになるってことか。
52: 09/20(土)00:45 ID:YRTpR0xw(1) AAS
〇が万能チューリングマシンになりそうなので、こっちに全力尽くそうと思う()
アイデアは単純だ。循環タグシステムの変種だが、生物に近い。
FIFOではなくブラックホールに類似したdemonがテープのかわり。
空数学というアイデアをありがとう。とりあえず他の板にトランスワープ。
ブラックホールが生命の起源かもね。Black alert!
53: 09/21(日)10:47 ID:FzEsusJg(1) AAS
数学とは何か、
公理とみなす命題と命題論理があり、
命題論理を有限回適用して得られる
範囲の体系ではないだろうか。
54: 09/25(木)20:50 ID:CFOHEvZb(1) AAS
空集合の冪集合を求めなさい（配点３点）。
55: 09/25(木)21:31 ID:fkgyLEZd(1) AAS
空集合の部分集合は空集合のみ
56(1): 09/26(金)00:27 ID:f0rZ2tau(1/2) AAS
X⊂{}とする。
部分集合の定義より ∀x(x∈X⇒x∈{})。全称除去により c∈X⇒c∈{}。
c∈{} は恒偽だから c∈X は恒偽でなければならない。よってX={}。よって2^{}={{}}。
上下前次1-新書関写板覧索設栞歴
あと 13 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.012s