1÷0ってなんで答えが定義されてないの？ [転載禁止]©2ch.net

**文系太郎** · 2015/06/28(日) 21:12:26.06

0かけたら3になる数のマークとか決めて使えばいいじゃん

③×0=3

みたいな

**１３２人目の素数さん** · 2015/06/28(日) 21:20:19.10

リーマン球面にそれらしいのがあるが

**１３２人目の素数さん** · 2015/06/28(日) 21:22:51.21

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

**１３２人目の素数さん** · 2015/06/28(日) 21:52:44.28

意味わからんｗ

**１３２人目の素数さん** · 2015/06/28(日) 23:30:02.87

1÷0=x
1=x×0
xについて解なし

**１３２人目の素数さん** · 2015/06/28(日) 23:46:40.37

無限遠点だよ

**１３２人目の素数さん** · 2015/06/29(月) 00:07:11.35

Ok.
0かけたら3になる数のマークとか決めて使うとしよう。
そうすると
③×0=3
両辺に2を掛けると
③×0×2=3×2
ここで0×2=0だから
③×0=6
つまり0かけたら3になるはずのマークが0をかけると6になってしまったね。
どうするの？

**１３２人目の素数さん** · 2015/06/29(月) 00:09:24.14

1÷0などの計算を可能にするための拡張みたいなものも考えられるだろうけど
問題はいろいろな法則が成り立たなくなるところをどうするか。
分配法則とかいろいろ。
そういうところに例外的なルールをたくさん盛り込まなくてはいけなくなる。
それが複雑すぎるから結局
「・・・やっぱり０で割るのはやめとこう」
ってことになる

**１３２人目の素数さん** · 2015/06/29(月) 00:36:49.68

そういうマーク付けできる数は一体何なのかを真剣に考えぬいて脳が焼き切れて狂ったのがゲオルグ・カントールというドイツ人。
焼き切れる寸前にマーク付けには階層がある（らしい）ことを見つけた。

**文系太郎** · 2015/06/29(月) 08:07:52.90

>>7
すげー

今日の仕事中に対案考えてみるわ

**文系太郎** · 2015/06/29(月) 20:38:07.45

1×0=①
1÷0=①
1×0=1÷0

なんてどう？

その他
①×①=1
①÷①=1
1×①=①
①+①=②
1+①=1+①

粋蕎 ◆C2UdlLHDRI · 2015/06/29(月) 21:02:00.90

Wheel theory - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Wheel_theory

**１３２人目の素数さん** · 2015/06/29(月) 21:42:45.07

>>11
・1×0＝①
・1×0＝1×(1－1)＝1×1－1×1＝0
よって①＝0

**１３２人目の素数さん** · 2015/06/29(月) 21:48:45.03

>>13よりこっちの方がいいかもしれん。

・1×0＝①
・1×0＝1×(0＋0)＝1×0＋1×0

よって①＝①＋① となるので、①＝0

**文系太郎** · 2015/06/29(月) 21:53:55.40

>>13
①=0でok

①のイメージは「1が無い」で、
0のイメージは「何も無い」

これって数学的にはダメ？

**文系太郎** · 2015/06/29(月) 21:55:30.68

>>14

うわ①+①=②が成り立たなくなった・・・

**１３２人目の素数さん** · 2015/06/29(月) 22:04:55.03

>>15
①＝0でいいなら、①＋①＝②に代入して②＝0になる。
たぶん①＋①＋①＝③とかも想定してると思うので、
これも代入して③＝0になる。
同様にして、マーク数は全部ゼロになっちゃう。

あと、①＝0を>>11の各項に代入すれば

1×0=0
1÷0=0
1×0=1÷0

その他
0×0=1
0÷0=1
1×0=0
0+0=0
1+0=1+0

となる。この中で「 0×0=1 」は確実にマズイだろう。

**文系太郎** · 2015/06/29(月) 22:37:01.71

>>17
頭の回転速いなw

0の持つ可能性をもっと制限した方がいいのかな、無を表すくせにやりたい放題

0=0+0とか0=1-1とか0が万能すぎてもう

明日また考えてみる

**１３２人目の素数さん** · 2015/06/29(月) 22:39:25.39

こんなのは何百年も色んな人が色々なレベルで考えてきた問題です
たとえ面白い結果が出てきたとしたら、既に偉い人が見つけているはずですから、いくら考えようが無駄です

**１３２人目の素数さん** · 2015/06/29(月) 22:42:40.79

>>18
なにか性質を制限した「ゼロモドキ」に対して
「 1÷ゼロモドキ」を定義しても意味が無いぞ。
いわゆる「真のゼロ」に対して「 1÷真のゼロ」を
どう定義したらいいのかっていう話なんだろ？
そこから逃げたら、結局は

「 1÷真のゼロは定義できない」

という、いつもどおりの結論になるだけ。

＞0=0+0とか0=1-1とか0が万能すぎてもう
まあだからこそ「 1÷0 」は普通は定義しないのだがね。

**１３２人目の素数さん** · 2015/06/29(月) 22:57:33.13

マイナスゼロを定義しないのはなぜか？

粋蕎 ◆C2UdlLHDRI · 2015/06/29(月) 22:59:45.00

・Wheel Theoryが示す"general case"つまり「除数0を含めた場合」の演算
0*z≠0 z-z≠0 z/z≠1
zが0/0や∞の場合に0と確定できぬ為。同じ理由で
1/(1/z)=z
ではあるが1/zをzの逆数と言う事が出来ない｡
「0の逆数」「∞の逆数」「不定元の逆数」と云う表現は数学に於いて許されていない｡

0/0や∞が関わらない場合のgeneral caseは当然
z^2+y*z=z*(z+y)
(z+y*z)/y=z/y+z
(z+0*y)z=z^2
1/(z+0*y)=1/z
だが、0/0や∞が関われば
z^2+y*z=z*(z+y)+0*z
(z+y*z)/y=z/y+z+0*y
(z+0*y)z=z^2+0*y
1/(z+0*y)=1/z+0*y
と、不定解の可能性を孕んだ式となる。何せ
0/0+z=0/0 0/0*z=0/0
となるが故である。一方、依然として
0*0=0
である｡

尚、此処での∞とは一点コンパクト化された任意の複素無限大である｡

**文系太郎** · 2015/06/30(火) 10:11:30.46

1なら犬が1匹、とかイメージできるけど
真のゼロってイメージが難しい

1×0は犬が0匹だけど、犬がいない状態でも犬1匹を代入できる空間があるわけで真のゼロではないじゃん

だから1×0=0に違和感を感じる

**１３２人目の素数さん** · 2015/06/30(火) 10:31:10.26

>>23
支離滅裂。空間をカウントしだすからそういうことになる。

1のときも空間はそこにあるんだから、1のときも空間をカウントしてみろよ。
そうすれば、1は「犬が1匹」＆「犬が代入できる空間」で「真の1ではないナニカ」になるよ。
ほら、支離滅裂だろ。

**文系太郎** · 2015/06/30(火) 12:04:45.24

>>24
そう。だから「真の1ではないナニカ」が①

ちょっと長くなるけど今考えてること
↓
0は「無い」という形容詞であって、「完全なる無」という名詞にはならないんじゃないか
名詞とするなら、完全なる無が何なのかを考えなきゃいけなくなる

完全なる無があり得ないとしたら、名前付けする対象もないんだから、0という文字の名詞としての意味が成り立たない

すると
1-1=解なし
1-0=解なし
になる

1÷0は
1×0^-1だから式としては成り立つ(掛け算を形容詞として)
こうかな？とおもってるのが

1×0=①
1÷0=①
1×0×0=1
1×0÷0=1

ちなみに
1を陽数、①を陰数と名付けたとして、陽数と陰数は0を境にした表裏一体なんじゃないかと考えてる
陽数視点の陰数は全て0(のようなもの)、
陰数視点の陽数も全て0(のようなもの)

とか

粋蕎 ◆C2UdlLHDRI · 2015/06/30(火) 12:25:42.99

>>22に「1÷0を加味する数学」を示したにも関わらず全く反応できない>>1

**文系太郎** · 2015/06/30(火) 15:09:57.18

>>26
すまんwheel theoryを理解できる知識と時間が俺になくて・・・

今の俺の妄想だとwheelに出てくる「0/0」が成り立たないから、妄想終了したらチェックしてみる

**文系太郎** · 2015/07/01(水) 06:49:02.70

1÷0=①
1÷①=???

うーん

**１３２人目の素数さん** · 2015/07/01(水) 17:26:34.67

f(x)=1/xで
lim[x→+0]f(x)≠lim[x→-0]f(x)だから
1÷0を定義するより1÷(+0)と1÷(-0)を定義した方が良いんじゃないかな

**１３２人目の素数さん** · 2015/07/01(水) 20:09:45.57

その前に+0や-0を定義した方がいいでしょうね

**文系太郎** · 2015/07/02(木) 07:24:31.57

調べた
http://www24.atpages.jp/venvenkazuya/math3/limit3.php

ここでの0+0(プラス側から0に近づく)を+0、0-0(マイナス側から)を-0とすると、

1÷(+0)=+∞
1÷(-0)=-∞

これなら

+∞×(+0)=1
-∞×(-0)=1

になるね

完全なる無は存在しないと仮定して±0を使うのもありか

すると2-1≒1-0って事になるのか？

**１３２人目の素数さん** · 2015/07/02(木) 08:18:18.21

>>31
1-0=1はどこから？

**１３２人目の素数さん** · 2015/07/02(木) 09:08:11.93

答えは解なし。特定の数値が定義されてないだけ。

**文系太郎** · 2015/07/02(木) 10:14:33.53

>>32

数直線上の2から1までの距離と、1から+0までの距離がイコールじゃなくなるのか？って意味

粋蕎 ◆C2UdlLHDRI · 2015/07/02(木) 12:36:04.99

その0…
零元zero_elementじゃのうて
無限小元infinite_simalじゃな

**文系太郎** · 2015/07/02(木) 17:20:55.16

zero-elementについて・・・

存在しないものに0という文字を割り当てて、数学ではさもそれが存在するかのように使ってるとして。

例えば

「青い赤」にbrという文字を割り当てて使うと

br=青
br=赤
青=赤(?)

みたいな矛盾が生じるよね
それと同じ事が0除算でおこってるのかなーと

**１３２人目の素数さん** · 2015/07/02(木) 19:08:59.80

+0や-0とは、それぞれ、右側極限、左側極限を表す記号であり、数ではありません
プラス側から0にちかづけた時の0ではない値などというものは存在しません
もし、+0や-0という「数」を考えたいのならば、自分で定義する必要があります

あなたは、まず、今考えているものの定義やルールを全て書き出して整理した方が良いでしょう

1÷(+0)=+∞などという新しいルール以外にも、○×0=0や○+0=○などという古いルールも全てです
そうすると、新しいルールを設定した時、どういう矛盾が生じ、何を捨てなければならないのかわかるようになるはずです

また、∞、完全なる無、存在しない、陽数、≒など、あなたが説明しないで、ただなんとなく使っている言葉や記号がたくさんあります
それらも全て定義し直すべきです

次から次へと、まともな定義もせずに、新しい用語に飛びついて行くのでは、いつまで立っても議論が前へ進むことはありません

**１３２人目の素数さん** · 2015/07/02(木) 19:19:44.90

前つか、あらぬ方向に進んで、
自分がどこにいるか見失ったりね。

粋蕎 ◆C2UdlLHDRI · 2015/07/02(木) 19:36:51.42

不定形、値が確定しない形式
∞-∞ 0*∞ 0/0 ∞/∞ ∞^0 1^∞

**文系太郎** · 2015/07/02(木) 20:47:41.74

たしかに最初に考えてた事が頭から抜けてたり、あやふやだったり、なんて事があるな。今考えてみると

明日休みだし、書き出してみようかな

**１３２人目の素数さん** · 2015/07/03(金) 13:22:11.39

本気でゼロ除算の定式化を考えてるなら超準解析勉強すれば？

**１３２人目の素数さん** · 2015/07/04(土) 05:52:17.24

☆ 総務省の『憲法改正国民投票法』のURLですわ。☆
http://www.soumu.go.jp/senkyo/kokumin_touhyou/
☆ 日本国民の皆様方、2016年7月の『第24回参議院選挙』で、日本人の悲願である
改憲の成就が決まります。皆様方、必ず投票に自ら足を運んでください。お願いします。☆

**１３２人目の素数さん** · 2015/07/04(土) 08:55:39.04

７月は、彼岸じゃないぞ。

**１３２人目の素数さん** · 2015/07/04(土) 12:52:38.17

数の全体の集合を明確にする。
その集合に属するa,bの間の＋、－、×、÷の演算をぜんぶ定義する。
最終的にはそれが必要。

**ﾛｰﾀﾘｱﾝ** ◆MAZDA/RXis · 2015/07/04(土) 23:55:09.73

文系は文系でもカラッキシな人らしいのう、では先ず
0*n=0 n*0=0
同様に
n*∞=∞ ∞*n=∞

主張、∞+1=∞ ∞-1=∞
∞*2=∞ ∞/2=∞
理由、だって無限大は無限大だし

不定形
∞-∞=不定…だってお互いにどんな∞か分からんし
0/0=不定…だって0=2*0=3*0=n*0、0が比の姿形を消してしもうて互いの0同士で対比できない！
∞/∞=不定…同上、∞も比の姿形を消してしまう！
∞^0=不定…その0が零元じゃのうて無限小じゃったら、どうにも分からん
1^∞=不定…その1に無限小誤差が含まれてたら、どうにもならん

至って普通の数学
やはり数学が数学として厳格に在る為には
どっちにしても不定元は忌避対象な訳じゃな

**１３２人目の素数さん** · 2015/07/04(土) 23:58:51.45

極限としての0除算や不定や∞などではなく、実際に数同士の演算として定義されることはあるのですか？

**１３２人目の素数さん** · 2015/07/05(日) 00:20:50.81

>>45を読んでから書けよ。

**１３２人目の素数さん** · 2015/07/05(日) 00:21:42.02

読んだから書いたのですが

**１３２人目の素数さん** · 2015/07/05(日) 00:30:20.98

リーマン球面でいいんじゃないの
定義されない演算は残るけど

粋蕎 ◆C2UdlLHDRI · 2015/07/05(日) 01:58:14.17

>>46
それがWheel_theory
しかし単に不定形や∞を含む計算の詳説に過ぎん

**文系太郎** · 2015/07/05(日) 10:10:03.18

高校から数学は全くやってないんだよね

実生活では困らんけど、こういうこと考え出したら考え方の道具の少なさを感じた

本屋で解析について立ち読みしたけど、あれってzero_elementじゃなくてinfinite_smallの考えに辿り着く感じ？

**１３２人目の素数さん** · 2015/07/05(日) 11:15:10.05

1/0＝tan(π/2)
閉じた非ユークリッド系(球の表面)に有る。
地球が完全な球形として南極点が0なら対称地点の北極点が1/0
緯度･経度＝0ﾟ･0ﾟが＋1
緯度･経度＝0ﾟ･180ﾟが－1
北極点に近づく→＋∞,－∞
南極点に近づく→＋1/∞,－1/∞
そういう座標系だな

**１３２人目の素数さん** · 2015/07/05(日) 12:44:57.94

球と同相と言われても分かりにくいけど
具体例があると分かりやすいな

**文系太郎** · 2015/07/05(日) 13:17:10.20

>>52
その中で加法を考えると、
1+1=2の座標はどこ、とかじゃなくて単に1の次の数ってことだよね
→succ(1)

加減乗除の定義について調べてみた

加法減法は何個次の数・何個前の数ってこと

乗法はそれを何回繰り返すか
2×3
=succ(succ(0))×3
=succ(succ(succ(succ(succ(succ(0))))))
=6

除法は・・・
6÷3
=succ(succ(succ(succ(succ(succ(0))))))÷3
=succ(succ(0))
=2

結局マッチ棒並べて数えてるのと何が違うのか分からなくなってきた・・・

**１３２人目の素数さん** · 2015/07/05(日) 14:45:18.78

http://i.imgur.com/uXFr7je.jpg

**１３２人目の素数さん** · 2015/07/05(日) 19:35:32.55

>>52 補足
この座標系はインピーダンスのマッチングチャート(スミスチャート)に使われてます。(工学系)
http://homepage3.nifty.com/hrd/sj1.gif

一般の計算はユークリッド系＝一本の無限長の直線で等間隔の目盛りが付いてる物差しで考えられてます。
状況に応じて使い分けしましょう。

■ ◆2VB8wsVUoo · 2015/07/05(日) 22:04:19.82

■

■ ◆2VB8wsVUoo · 2015/07/05(日) 22:04:46.32

■

■ ◆2VB8wsVUoo · 2015/07/05(日) 22:05:16.67

■

■ ◆2VB8wsVUoo · 2015/07/05(日) 22:05:46.25

■

**１３２人目の素数さん** · 2016/02/16(火) 06:26:26.09

0はトランプで言えばジョーカー

**１３２人目の素数さん** · 2016/02/20(土) 08:12:39.40

無限に小さい１／∞が０に向かっているけど届かないように
無限に大きい∞が、向かっているけど届かない目的地が１／０だよ

**１３２人目の素数さん** · 2016/02/20(土) 20:59:22.93

その1/0は+か？-か？純虚数か？虚数か？

**１３２人目の素数さん** · 2016/02/20(土) 23:02:50.49

1/0は閉じた非ユークリッド系にある。(>>56参照)
0が＋でもなければ－でもないその中間にあるように1/0は＋∞でもなければ－∞でもないその中間にある。
Ｙ＝tanＸはこの円座標を回る循環関数になる。

**１３２人目の素数さん** · 2016/02/21(日) 05:35:54.80

んなもん判定不能だから丸ごと一点コンパクト化しただけだろ

**１３２人目の素数さん** · 2016/02/21(日) 12:40:15.54

１が0.1、0.01と小さくなった先に０が見えるように
1/1が1/0.1、1/0.01と大きくなった先に1/0がある

１、０、－１と０を突破するとマイナス値になるように
1/1、1/0、1/-1と1/0を突破するとマイナス値になる
無限大の先にはマイナスが待っている

**１３２人目の素数さん** · 2016/02/21(日) 23:23:53.56

球面射影とは限らない。平面射影もまた、数学的存在｡
そこでは∞は±別個に記される｡

『一点コンパクト化の複素無限大』は…
…実数に於ける符号…
…極座標（≡複素数）に於ける偏角…
が、不定なる0との対比として整合性を図り、創設された手法であり
一点コンパクト化の複素無限大が数学的に存在する訳ではなく
複素無限大を一点コンパクト化した結果としての存在である｡

其処で発見されるべきは0の符号個別、0の偏角個別だが
計算機分野で+0と-0の区別が成される系は見受けられども
果たして数学的な発見であるかと言えば、否である｡

**１３２人目の素数さん** · 2016/02/23(火) 23:55:16.50

＞一点コンパクト化の複素無限大が数学的に存在する訳ではなく

この人は、地球儀を見たことがないのかなあ

**１３２人目の素数さん** · 2016/02/24(水) 21:47:41.85

+0=-0
が成り立ち
+∞=-∞
が成り立つ
大小観念や実数観念では語れぬ世界

**１３２人目の素数さん** · 2016/03/21(月) 17:31:13.88

1+1=2 を計算ととらえるならば左辺と右辺が不可逆であって熱が発生する。
可逆であれば1+0も扱えるはずなのだが。
よーするに定義しちゃえばいいだけ。数学は自由だｗ

**１３２人目の素数さん** · 2016/03/21(月) 17:32:49.59

1+0じゃねーや１÷０だ。

**１３２人目の素数さん** · 2016/03/21(月) 17:46:22.26

俺は、a÷b=c⇔a=cbが好きだな。
そうでない○○(大人の事情で伏字)がいることは、
知ってはいるが、理解はできない。

**１３２人目の素数さん** · 2016/07/24(日) 07:40:37.03

お前ら知ってるだろうが1進法の0はほんとに0だぞ

**１３２人目の素数さん** · 2016/09/06(火) 22:19:43.54

\1÷0=priceless

**１３２人目の素数さん** · 2016/12/02(金) 15:26:34.42

必要なので０で割ることを許す体系を実装した。
1/0 の情報をどうやって温存するか悩んでいる。
1/0に0を掛けたとき1になればよい。
数学的になめらか？な体系でなくともよい。
n/0をそのままおぼえていればいいのかな。
すなおに記号計算したほうがよさげではある。

**１３２人目の素数さん** · 2016/12/02(金) 15:36:37.96

輪って使えるのかな。ちょいと実装して試してみよう。

**１３２人目の素数さん** · 2016/12/02(金) 16:50:34.11

むむ。z/0=∞か。それじゃ使えん。情報を温存したいのだ。
0*z=0(z) として0の中にzを保存しておけば0で割ったときzを引き出せる。
z/0を(z/0)のままにしておけば*0したときzを引き出せるが、
加算時には(z/0)をそのまま保存しなくてならないのか？
z/0(y)だった場合は(z/0(y))であり、これに*0するとz/yかな？

**１３２人目の素数さん** · 2016/12/02(金) 18:55:19.08

>>75-77
零除算が関わるとWheel_theory>>12に情報を温存できない事が示されており､
如何なる計算に於いて如何なる不定形になるかも示されている｡

角なる上は情報を温存できない場合の計算をせずに保留する事で温存し､
次の計算に繰り込み計算する演算規則とすると良い｡
a→0の時の計算a/0+3を保留、次の計算a*a/0+3に繰り込み結果の3を得る｡
繰り込みが継続、或いは重複していく事も有り得る｡

**１３２人目の素数さん** · 2016/12/03(土) 02:59:13.65

情報を保存して計算を遅延させることで解決しようとしています。
内部に４つの複素数と制御が入った数ｗ
*0は/0で開かれ、/0は*0で開かれる。開かれると保存されていた値になる。
保存されている値も計算によって変化する。
位相の違いを無視すれば、結構いい感じに値が保存される。

**１３２人目の素数さん** · 2016/12/03(土) 12:14:47.54

wheelsがいまひとつ役に立たないことはわかったｗ
あれをあれすればよさそうなのだから実用的にはあれにマッピングすれば。。。
というわけで、もっとよさそうな数はないんでしょうかねぇ。

**１３２人目の素数さん** · 2016/12/03(土) 13:52:53.74

複素数なのは複素数を扱っているのであり、とりあえず整数を考えるならば４つの整数を内部に持つ数を作ればよいのではないか。
なんて漠然と思い始めた。
４次元ベクトル？　あるいはテンソル？
４つも必要なのか？
ようするにx*0とかx/0も数として扱えばいいってことだよねぇ？
３つあれば足りるような気もする。N, N(*0), N(/0)

**１３２人目の素数さん** · 2016/12/03(土) 21:55:58.18

>>79
だが*/0も*/∞と同様に開こうにも元の係数情報の一切合財を完全無欠に跡形も無く抹消してしまう
各0を別々に区別する手立てが必要。よって代数とし、各々の0と混濁しない様にする｡

x=3/a、y=x*a
に於いてa=0ならば
x=3/a
の計算を保留し、次の計算で
y=x*a=3/a*a=3
として計算を繰り込すしかない｡
0も∞も乗除算に於いてはブラックホールだ｡

>>80
使える・使えないではない、免れない
零除算を行うならばWheel_theoryは免れない
>>79の意味を汲み取り再度>>12を精読されたし

結局は如何に数式内の零除算形式の項を計算から外し後回しし
後の零乗算形式と相殺させる事だ

>>78一文訂正
× a→0の時の計算a/0+3を保留、次の計算a*a/0+3に繰り込み結果の3を得る

〇 a→0の時の計算a/0+3の内のa/0を保留、次の計算1/a*a/0+3に繰り込み結果の3を得る

**１３２人目の素数さん** · 2016/12/04(日) 02:45:11.48

とりあえず、目的を果たすだけのものは実装できた。
数として成り立つには乗算と除算を定義できるかどうかなんだが、
いまのところ乗算・除算にはスカラしか与えられない。
列ベクトル[a, b, c]と[d, e, f]をそのまま演算して成り立つのだろうか？
演算のたびに内部がどんどん肥大化するようなものは避けたい。
そもそもの数学では２＊３＝６のように熱を逃がしている。
保存する以上、肥大化するのは避けられない運命なのはわかる。

**１３２人目の素数さん** · 2016/12/04(日) 03:23:52.11

このスレの問題は解決できないが、こちらの問題の解決策はみえてきたｗ

いや、このスレの問題は解決できている。そのままに定義すればよいだけ。
１÷０は１÷０という数である。それが数学的に問題をはらんでいるかいるかどうかは数学屋ではないので気にしない。

**１３２人目の素数さん** · 2016/12/05(月) 04:53:15.92

>>84
拡張実数の内
実数に±∞を加えた
affine拡張実数
を更に
±∞を一点コンパクト化して∞とした
射影拡張実数
がそれにあたるか
複素∞を一点コンパクト化して∞とする
Riemann球面
もある

何れにせよWheel_theoryは免れない

**１３２人目の素数さん** · 2016/12/05(月) 16:57:22.18

ん？　Wheel Theoryを読み間違えていたかな。
5 / 0 は 5 ・ /0
5 ・ 0 は 05
になるってことかな。
ちょいと実装してたしかめてみよう。

**１３２人目の素数さん** · 2016/12/05(月) 23:11:15.11

読んでみたけどよくわからない。
0/0 + x = 0/0
ではxが保存されないではないか。

5 + 3 = 8 では+3という情報があれば5を復元できる。
5 * 3 = 15 でも*3という情報があれば5を復元できる。
5 * 0 = 0 では*5から0は復元できるが*0という情報から5は復元できない。
せめて二項演算からは演算と片方の数があればもう一方を復元したい。
そういう数が欲しい。

**１３２人目の素数さん** · 2016/12/07(水) 09:55:10.59

>>87
それだと、新たな数を実数に添加するんじゃなく、
もとの実数の性質を大幅に変えないと。
何に0掛けても0になる以上、0掛ける前の情報は
保存されるわけがない。さて、分配法則を否定するか、
足し算の単位元を複数にするか、それとも

**１３２人目の素数さん** · 2016/12/08(木) 11:53:38.35

とりあえず、作ってみて考える。
整数を扱おうと思って、余りも確保しようとしていたら有理数になってしまった。
整数の除算の余りを保存したら有理数になるとは考えたこともなかった。
ここでまた疑問がでてきた。
3/3 = 1/1 = 1 としてしまうと3という情報がなくなる。
有理数ではこれでもよいが、有理数では3/3,1/1,1の違いをどう考えているのだろうか？
放出された熱（情報）が、回収（保存）されるような機構を持った「数」も必要だろう。
ユニタリ変換と写像とを分けて考えて合体させた数は数学にないのだろうか？
量子状態と観測（収縮）の問題とすれば物理になってしまう。
数学はそれを抽象化するが、数学にひそむ「熱（放出）」の問題を数学問題として取り組んでいたりはしないのだろうか？

**１３２人目の素数さん** · 2016/12/08(木) 17:40:06.94

むむー。ちょいと空いた時間に有理数を拡張して作ってみたのだが。
できてしまった。。。

そんな簡単にできるはずは。。。どこかに落とし穴があるはず。
（１行削除。やはり、どうやっているかを書くのはマズイ）
1*2*0*5/0 がちゃんと計算できるｗ
ま、ボロがでるまでいろいろテストしてみよう。
絶対おかしい。
有理数と拡張をあわせて224行のプログラム。

**１３２人目の素数さん** · 2016/12/08(木) 20:15:27.63

>>90
その系では、0=0*0は成り立たないの？
1*2*0*5/0の分子の0だけ0*0に置き換えたり
分母の0だけ0*0に置き換えたりして0を約分すると、
ちょっと素敵なことが起こるよね？

**１３２人目の素数さん** · 2016/12/08(木) 21:00:28.44

ええっと、0*0は0ですね。いまの実装だとそうなります。
分子というか演算を並べて表記しました。
これって昔からある数なんですけどね本当は。
数学的にも成り立っているのかどうか検証中。
超簡単単純なひも理論のような気もしてきた。
ま、いろいろやってみてボロがでてくるまでの運命かも。

**１３２人目の素数さん** · 2016/12/08(木) 21:35:52.45

う。0*0をやってみたら0じゃなかった。
0*0はへんなところにマッピングされて内部で保持されている。
0*0*0=1になるｗ
0にすべきなのかこのままでよいのか検討中。このままじゃおかしいよなぁ。
0*0/0=0にすべきか。このような場合の処理が抜けている。ここでもひねらないといけないようだ。
0*0/0が振動にみえるのでひも理論と関係するのではないかと思っているｗ

**１３２人目の素数さん** · 2016/12/08(木) 23:05:46.86

0をひとつにすべきなのか基底の異なる0にすべきなのか。
あ、数学ではなく量子力学で考えてますのであしからず。
異なるからこそ振動があるんだよなぁ。後者だな。
そもそも０にも種類があるってことから始めてるわけだし。
０にも０という大きさがあると。
Aという集合がφであってもBという集合のφとは異なる。集合論ではどう扱われているんだろう。

**１３２人目の素数さん** · 2016/12/09(金) 09:09:17.58

問題点がわかってきた。スカラーの０とベクトルの０の演算だ。
このへん、数学ではどのように対処してるんだろう。
マトリックス演算のロジックを再考しなきゃ。
情報を保存するマトリックス演算が必要なのか。
数学でも、単位をつけた演算が必要。でも単位をつけると数学ではなくなる？

**１３２人目の素数さん** · 2016/12/09(金) 10:50:10.03

0*0 は 0・*0 になる。0*0=0に直した。これで整合性がとれているのかどうか。
大きさの無い0（スカラ）と大きさ？の有る0（ベクトル）を区別すればキレイに収まりそうなので考え中。
ベクトルの中の数値の0のかわりにスカラの0（◎？）を入れればよいのか。
(0, 0, 0) ではなく(◎, 0, ◎)の計算ができるように演算を作り直せばよいのだろうと思う。
これを(0, 1, 0)で代用してしまったため、不具合が生じたようだ。
数学には◎が足りないのかもしれない。
お気づきのようにベクトルに拡大して０の除算を解決しようとしているわけ。

**１３２人目の素数さん** · 2016/12/09(金) 15:17:45.36

0・*0 = *0 だった。0・/0 = /0 でよかったようだ。
◎を導入した。
◎＋◎＝◎
ｘ＋◎＝ｘ
◎＊◎=◎
ｘ＊◎=◎
この数◎に名前があれば教えてほしい。

例によって直観で行列計算を作ってしまったのだが、この計算はすでにありそうなのに見つからない。
なんらかのベクトル変換なんだろうけど、手の内を明かしたくないし。。。

**１３２人目の素数さん** · 2016/12/09(金) 16:00:11.15

あ、０＊◎＝◎ね。
０より強い０だがこれより強い０は無い。

**１３２人目の素数さん** · 2016/12/09(金) 17:15:28.28

>>98
a→0,b→∞とする、但し｢→0｣:≠｢=0｣
a^bはaより高位の無限小
a^(2^b)はa^bより高位の無限小
◎^bは◎より高位の無限小
◎^(2^b)は◎^bより高位の無限小

0に強弱無し、0に位の高低無し

**１３２人目の素数さん** · 2016/12/09(金) 17:22:27.63

>>94
量子論理でも0と異なる0なんてものは無い

>>95
比の情報が保存されている以上それは0ではなく無限小
0は比の情報そのものも0、情報0、情報無し
0に比の理合を求める事は不可能、この理不尽こそが0

**１３２人目の素数さん** · 2016/12/09(金) 18:29:55.76

情報としての０を保存するために◎を考えたわけです。
真に情報がないものを◎として、０には０という情報があると。
無いということと０を区別する必要はあると思いますね。
ある基底において０とは０という値であり、値が無いということではない。
これが数学に入るかどうかはわかりませんが、情報論的には必要です。
よって量子力学（＝量子情報論）にも必要となるでしょう。

**１３２人目の素数さん** · 2016/12/09(金) 20:52:19.58

遠回しに言ってないで
定義を挙げたらいいんじゃないの？

**１３２人目の素数さん** · 2016/12/09(金) 21:33:53.92

◎^b=◎　だから無限小ではないよねぇ。
まあ。N/Aなんだけど。数学でも強い０を考えられないものかと。
重ね合わせの計算のとき役に立つはず。

**１３２人目の素数さん** · 2016/12/09(金) 22:04:14.70

>>103
強い０は、１個でなく、より強い０の系列
として与えないと、１÷０の問題点が
１÷(強い０)で再燃するだけじゃないの？

**１３２人目の素数さん** · 2016/12/09(金) 22:25:08.91

あ。強い０は内部にあるだけだから数としては閉じ込められていて外部にでてこないので大丈夫です。

**１３２人目の素数さん** · 2016/12/09(金) 22:34:57.44

強い０も扱うような０除算可能な数は、そのうち考えるかもしれませんがｗ

整数にオプショナルな◎を加えた数は整数と同等に扱えるのかどうか。
なにか不都合が生じるのかと。

**１３２人目の素数さん** · 2016/12/10(土) 10:30:05.96

>>106
それが
Wheel_theory
何故ならば
整数0と貴方の謂う所の◎は同一
整数の為、無限小成分一切無しの為

**１３２人目の素数さん** · 2016/12/10(土) 10:38:21.25

0と◎は演算結果が異なるのに同一？

**１３２人目の素数さん** · 2016/12/10(土) 11:15:28.04

0 or 0 = 0 だが　0 or ◎ = 0 で◎は消失する。0より弱い？
x and 0 = 0 (x≠◎)だが x and ◎ = ◎ で0と◎は同じだが、
0 and ◎ = ◎ 0より強い？
(or, andは論理演算ではなく空間演算？)
空間を余次元とし、値を消失させる消失数？
これが余次元の正体であり、空間として作用するが値は無い。
0という「値」ではなく空間（基底）のみ存在して値が無い。
値を粒子とすれば粒子化していない波の状態にかかわるものかもしれないとイメージしています。
◎が振動していれば「ひも」かもしれないｗ
数も「ひも」から成り立っているのかもしれませんよ。突飛すぎますがね。

**１３２人目の素数さん** · 2016/12/10(土) 11:34:27.73

>>109
論理演算としての0は整数0と同一
試しに置き換え比べてみると良い

**１３２人目の素数さん** · 2016/12/10(土) 11:44:11.00

◎を振動させようとすると少なくとももうひとつ①のようなものを考えねばならない。
基底ベクトルを(1,0,0)のようにあらわすと値としての1や0と紛らわしく、値の保存ができない。
(①,◎,◎)として計算できるような①も必要だということです。
0を「無い」のではなく「値」として扱うにはもう少し考えねばならない。
(1,0,0)で計算するからおかしな値になるので(有,無,無)を使って計算する必要がある。
◎はなんとかなったけど、①をどうやって計算体系に取り込むか。。。
数学ではなくて計算機科学だと思ってください。

**１３２人目の素数さん** · 2016/12/10(土) 11:50:05.49

>>110
それは混同だと思います。
数学ではいろいろなところで0が使われますが、文脈によって異なる0です。
同一視はできない。

**１３２人目の素数さん** · 2016/12/10(土) 12:14:45.33

> ◎が振動していれば「ひも」かもしれないｗ
> 数も「ひも」から成り立っているのかもしれませんよ。突飛すぎますがね｡

◎は◎故に振動しても何も発生しない
単気筒エンジンの振動式をa*s_kとしaを係数すれば
a=◎なら直ちにs_kをフーリエ解析する迄めなく
a*s_k=◎
となる。素粒子を形成する紐には成り得ない｡

さてここで悪魔の定義を提示
Ω:=|1/◎|:◎の逆数の絶対値

**１３２人目の素数さん** · 2016/12/10(土) 12:41:57.56

>>111
計算機科学が数学を逸脱する事は不可能

>>112
点集合論上の空集合として解釈している。点集合論上の集合を数として定量表現して言えば
面積1[㎡]は体積としては0[m^3]だが此の0は空集合ではなく無限小､
長さ1[m]は面積としては0[㎡]だが此の0も空集合ではなく無限小､
点の数1[m^0]は長さとしては0[m]だが此の0も空集合ではなく無限小だ｡
そして点集合論上の空集合とは点の数0[m^0]
つまり座標上の1点としてさえも存在しない完全無欠な正真正銘の0
此の「非存在」をイメージしている｡

**１３２人目の素数さん** · 2016/12/10(土) 12:50:02.25

◎はN/AなのでΩではなくて◎になりますね。

①は＋で①となり、＊で相手の数になる。
◎＋①＝①
◎＊①＝◎
かな？
◎と①で振動して。振動とは空間と値が入れ替わるようなイメージになった。
◎は空間だけあり、①は値だけがある。
そうすると実際の値とは切り離して３つ（値,空間の基底？,値の基底？)になるのかもしれない。
この３つが相互に入れ替わるのが「ひも」なのかも。
数学なんてどうでもよくて、「計算」ができればよいｗ
しかし、この３つが数の原理であるとも考えられる。
ただし、値は複数なのでそこはまだ考える必要がある。カッコの中の「値」は「値の核」（＝粒子？）かもしれん。

**１３２人目の素数さん** · 2016/12/10(土) 12:59:37.09

>>114
なるほど、数学としては0を無限小である考えればよいのですね。
0は無ではないと。0と無の分離は必要だとｗ
値の核としての無限小の0と考えれば、値の核は0になる。
そして振動から自然数が発生する。そういうモデルが作れるかどうか。
なかなかおもしろいパズルになってきた。

**１３２人目の素数さん** · 2016/12/10(土) 14:25:11.37

>>115
ん？>>101を見る限り◎は「標準部分関数」が0でありN/Aではないのでは？
N/Aとは不定形の事で単に英単語綴りの直訳通りの「非数」の意味ではない
よって∞も非数だが0/0等の不定形であるN/Aには含まない

**１３２人目の素数さん** · 2016/12/10(土) 16:23:07.33

そう。N/Aとは計算のときのための仮の呼称でした。意味的になりたちません。
それに①の必要もでてきたので、N/Aとしたのは早計でした。

０の除算を可能とするために、数の内部に３次元ベクトルをつくります。
0,*0,/0 の３つの次元です。
これに0と無を区別するために◎を導入したのですが、基底ベクトルの(1,0,0)なども区別する必要がでてきて、
①の導入も必要となりました。
しかし、これを数に混入させようとしたら、◎はよくても、①が成り立ちません。
そうなると、ベクトルの値としてさらに２次元ベクトルが必要です。
これが２次元より小さいので１．ｘ次元のようなものになります。
◎、①、●の３つの値しかない次元を余次元としてくっつけてやります。
四則演算はこの３次元空間での変換になるわけです。
これでいけるのではないかと踏んでいます。
●は、これと組み合わせたとき通常の数になるという意味です。

**１３２人目の素数さん** · 2016/12/10(土) 16:30:32.03

●が必要なのか◎①だけでいけるのか、まだ検討中ですが。
やはり●は不要で、◎①の余次元を付加するだけでよさそう。
しかし◎のときも数値を持つというのは冗長な気もするので考え中。

**１３２人目の素数さん** · 2016/12/10(土) 16:47:00.06

余次元の付加ではなくトリプルにしてもやはり無駄がある。
やはり●はあったほうがよいのか。考え中。

**１３２人目の素数さん** · 2016/12/10(土) 17:45:05.19

>>118
ならば
>>115 > ◎はN/AなのでΩではなくて◎になりますね｡
つまり
1/◎=◎
というのは誤りで
1/◎≠◎
となるのでは？

**１３２人目の素数さん** · 2016/12/10(土) 18:03:20.15

プログラム言語によっては+0≠-0となる例がある事に関しても
+◎と-◎とで同一とするのか非とするのかも気になる

**１３２人目の素数さん** · 2016/12/10(土) 19:07:24.66

0.0 と -0.0はありますねぇ。
◎には符号をつけないほうがよいでしょうねぇ。
/◎は/0軸に移動するのですが、単体で考えると◎としたほうがよいでしょうねぇ。
Programed Number なので、性質は与えればすむわけですｗ

どうも①を基底としたとき、意味がとれなくなってきた。
①は不要（というか記述する必要なし）であって、基底ベクトルにおきかえていたのが間違いで
単に回転させればよいのかもしれない。そうすると余次元は不要で◎だけあればことたりそうだ。

**１３２人目の素数さん** · 2016/12/10(土) 22:38:23.81

まあ、こういう感じで計算されます。
検証しながら修正中。
1 = IQ[[1/1], ◎, ◎]
2 = IQ[[2/1], ◎, ◎]
1+2 = IQ[[3/1], ◎, ◎]
1*2 = IQ[[2/1], ◎, ◎]
1*2*0 = IQ[◎, [2/1], ◎]
1*2*0*5 = IQ[◎, [10/1], ◎]
1*2*0*5/0 = IQ[[10/1], ◎, ◎]
0*0 = IQ[◎, [0/1], ◎]
0*0/0 = IQ[[0/1], ◎, ◎]
0/0 = IQ[◎, ◎, [0/1]]
0/0*0 = IQ[[0/1], ◎, ◎]

**１３２人目の素数さん** · 2016/12/11(日) 01:36:45.27

何やってんのかイマイチわからんのだが、
記号０をゼロじゃなく無限小の意味に変えたら
１÷０が計算に使えるようになりますってことなら、
１÷ゼロの問題を何一つ解決してない。

**１３２人目の素数さん** · 2016/12/11(日) 02:04:29.18

無限小はわたしが持ち出したわけじゃないしそこんところはよくわからない。
*0や/0をそのまま数として扱うってことだけ。定義をあたえてパズルが埋まるかというゲームｗ

**１３２人目の素数さん** · 2016/12/11(日) 03:14:01.98

1/◎に解を与えられてないしな

点集合論上の「空集合にあたる数:◎」の逆数だから｢万有集合にあたる数卍｣とでも言うべきか
でもa≧0ならば一般にa<2^a、◎も例に漏れないから卍<2^卍になる
彼の言葉「0より強い0」を流用すれば◎より強い◎である1/2^卍が存在してしまう事になる

**１３２人目の素数さん** · 2016/12/11(日) 11:27:40.17

なるほど、◎＝φでよいのかもしれない。
整数の集合にもφがあるので集合論的な整数でφはどのように扱われるべきか、ということ。
◎は無くしてしまってφにしよう。

**１３２人目の素数さん** · 2016/12/11(日) 11:34:01.35

φを整数の元とすればどうなるのかという問題ですね。

**１３２人目の素数さん** · 2016/12/11(日) 11:41:51.22

φは明示的に扱われていないだけで、整数の集合に最初からいるメンバーではないんでしょうか？

**１３２人目の素数さん** · 2016/12/11(日) 12:07:17.25

別のものに同じ記号を使うのは、混同がなければ構わないが、、、
敢えて新しい０と空集合を同一視させようという試みなら、邪悪だ。
φより◎のほうがマシだな。

**１３２人目の素数さん** · 2016/12/11(日) 12:24:23.84

∅という記号があった。元ではなく部分集合か。
圏論では対象域にしれっと存在していた気がする。
整数であれば、もともとの元をそれを元とする集合と考えればよいのかも。
そうすれば∅も元として入りこめるｗ

**１３２人目の素数さん** · 2016/12/11(日) 12:30:15.61

実際にはOptional<有理数>としてオプショナルに導入したnullですからね。
圏論的な背景はあるはず。

**１３２人目の素数さん** · 2016/12/11(日) 12:41:36.40

>>132
＞ペアノなら、空集合は０だけどな。

**１３２人目の素数さん** · 2016/12/11(日) 12:41:58.62

ラッピングされていればなんら問題は生じない。
問題は整数の部分集合として存在する∅を含めた計算体系で∅を元のように扱えるかということかな。
まあ、扱えても扱えなくても、ラッピングされたクラスとして使用しているかぎりは問題ではないのだが。

**１３２人目の素数さん** · 2016/12/11(日) 12:56:11.01

＞ラッピングされていればなんら問題は生じない。

新しい数学が整数でないことを示すだけなら、
空集合を当てる必要は特にない。
整数nを{n,1}に、◎を{1,2,3}に当てても
何も変わらない。
敢えて空集合を持ち出してポエマーを釣ろうとする
理由が知りたい。

**１３２人目の素数さん** · 2016/12/11(日) 13:09:15.09

それは簡単だ。その集合の部分集合としての空集合だからだ。
それをも元とした新たなラッパーを作ればよいわけだが、
操作側で扱いを定義してもラッパーと等価になる。
問題は圏論的に整数と新たな整数は同じものになるのかということかもしれない。

**１３２人目の素数さん** · 2016/12/11(日) 13:13:36.75

それは、どのような圏を定義するか次第だろう？
ナニイッテンダ、圏論は魔法ではない。

**１３２人目の素数さん** · 2016/12/11(日) 13:41:01.74

どのような圏を定義するか次第であるとすれば、
それは圏論は魔法であるということにならないでしょうかね？

**１３２人目の素数さん** · 2016/12/11(日) 13:50:51.16

圏って言えば演算体系になると思っていたら大間違い

**１３２人目の素数さん** · 2016/12/11(日) 14:03:23.12

問題を変えれば、
部分集合を元とする集合には集合論的に制約はあるか？
ということにでもなるのかな。
制約が無いとすれば元の集合に空集合を元として加えてもよいのか？
そして、最初からそいつは元の集合に「いる」のではないのか？

**１３２人目の素数さん** · 2016/12/11(日) 14:05:51.82

なぜ演算体系になると思っていると思っているのか不思議だね。

**１３２人目の素数さん** · 2016/12/11(日) 14:26:16.03

>>141
集合が空集合を含む⊃ことと
空集合を元に持つ∋ことの区別はついてるかね？
圏論より先に学んでおくべきことが
足りてないように思えるが。

**１３２人目の素数さん** · 2016/12/11(日) 14:27:47.18

やはり、空集合を元にしようとすると異なるクラスになってしまう。
0を情報として残そうとするならラッパークラスが必要。
なので無限小がどうたらとかいう議論は無用ということ、それをするとクラスを混同していることなる故。
これが余次元の正体なのか？

**１３２人目の素数さん** · 2016/12/11(日) 14:34:11.03

ん？　ちがうよ、考えているのは数学じゃないから。
余次元を含むだろう空間の計算（物理）において、クラスを混同しているのではないだろうか、ということ。

**１３２人目の素数さん** · 2016/12/11(日) 14:57:55.22

結論として、整数（あるいは有理数など）には∅を加えた体系？を作れるが元の整数とはクラスが異なる。
そう解釈してよいのかなと。

**１３２人目の素数さん** · 2016/12/11(日) 15:08:11.15

なんでもかんでも情報を保存したいのなら単なる文字列操作でも考えとけ
それか２種類の演算は互いに無関係とするか

**１３２人目の素数さん** · 2016/12/11(日) 15:48:43.94

演算が無数にあったとき厄介になる。
演算クラスもわけて考えるのがベストなんだろうねｗ
演算クラスと対象クラスの関係。和形式と積形式だけととらえてよいのか。
それを類感と接触であると捉えると。。。魔法も２つでよいのか。
考えなければならないことがまだまだある。

**１３２人目の素数さん** · 2016/12/11(日) 15:57:28.16

それと今回考えている途中ででてきた①。うまく使えなかったが。
加法で相手を消失させ、乗法で相手に吸収されてしまうもの。
これは数学として存在するのか？ 1に似ていてちょっと違う。

**１３２人目の素数さん** · 2016/12/11(日) 20:29:43.37

いま直面している問題が解決できれば
数学的な側面はどうでもいいとか言っておきながら
ちらほら数学を気にしてるのは一体なんなんだ

**１３２人目の素数さん** · 2016/12/11(日) 21:15:27.87

空集合との間になにか双対性のようなものがあるのか？

他にやっている量子問題の解決の糸口になりそうだからだよ。

**１３２人目の素数さん** · 2016/12/11(日) 22:58:00.59

並置されると相手を隠してしまい、接触すると消えてしまう。
空集合と双対。
基底となんらかの関係がある。
数学でみつからなきゃ物理板行きかな。

**１３２人目の素数さん** · 2016/12/12(月) 05:13:04.87

>>152
結局は物理数学で数学的に語れる事だし物理板向きではないよ

> *0や/0をそのまま数として扱うってことだけ。定義をあたえてパズルが埋まるかというゲームｗ

それも数学の内で語れる事だよ
あと「ゲーム」って概念が既にあるから無闇矢鱈、ゲームという言葉にしない方が良いよ

**１３２人目の素数さん** · 2016/12/12(月) 09:51:29.53

> *0や/0をそのまま数として扱う

計算したら *0=1*0,/0=1/0 になって、
普通の wheel theory になるだけじゃない？

**１３２人目の素数さん** · 2016/12/12(月) 10:20:42.73

数学でも文脈によって意味の異なる数学用語がたくさんあるし、
文脈上で使用しているので無問題。

Wheel theoryがいまひとつわからないんだが、WikiPediaをみる限り、消失している数値がある。

新しいクラスを作らなくても、もとからEmpty Setは数の集合にいるのだから、演算側で部分集合を対象にしてもよいということに気づいた。
①に相当するものは既に実装されているどこかにあるはずなのに、数学的対象として抽出できていない。
これも既に数学にある概念のはずなのだが。

**１３２人目の素数さん** · 2016/12/12(月) 10:35:02.10

とか、①は単に、「基底」の本来の性質なのかもしれない。
基底も元として含めたクラスは基底との演算も定義できるので万能ではないのか？

**１３２人目の素数さん** · 2016/12/12(月) 10:50:41.14

仮に、このEmptySetと規定を含むクラスを万能クラスとすると、
なかなかおもしろい数学空間が想像できる。
数学ではこれらは組として外部で扱われるが計算対象にはなっていないのだろうか？
無限を含むので慎重に外部から作用させているのだろうけど。
それを内部に取り込んで計算可能にすると人間には取り扱えないだろうというイメージがある。

**１３２人目の素数さん** · 2016/12/12(月) 14:38:18.11

どうも間接的な話ばかりで要するに
何をやってんのかが見えてこないが、、、
ひょっとして、
確定しない値の候補を集合にして
{2,3}＋{5,7,9}＝{7,8,9,10,11,12},
{2,3}×{5,7,9}＝{10,14,15,18,21,27}
みたいなこと考えてる？

**１３２人目の素数さん** · 2016/12/12(月) 15:45:02.77

いや、0,*0,/0と,それぞれの次元に∅を付加した３次元ベクトル空間上にマッピングしている。

整数を考えたとき、それを集合とすれば、∅は集合の壁？の内側にくっついており、①は外側にくっついている。
双対のイメージを持ったのはそういうことだ。
最近の数学オブジェクトの定義ではｎ組タプルのような言語システムであらわされることが多いが、このとき∅と①（基底）が暗黙のうちに扱われることが多い。
単に、数学での記述力不足なのであって、数学的にはどちらも最初から存在しているようだ。
これらを元に昇格させて明示的に取り扱うべきではないか、という見解に達したｗ

**１３２人目の素数さん** · 2016/12/12(月) 15:56:03.61

数に明示的に基底を表記することで、計算における熱（雑音）も明示的に記述できる。
この排熱処理機構を明示的に定義するべきかもしれない。
排熱孔を明示すれば、それを再利用する処理もつけやすい。エコ数ｗ
その排熱でターボ計算ができたり。（これは冗談ではない）

**１３２人目の素数さん** · 2016/12/12(月) 16:19:51.58

ここでいう基底はbaseというよりclass(級ではなく類のほう)か？
実際にclassで実装しているが、scalarClassも明示するとかえってごちゃごちゃ。
相手がscalarだったから隠ぺいされたのであって、そうでなければ＋される。
同様に∅もそれぞれのscalarでは別のclassであれば*される。
イメージ的には正しそうだ。

**１３２人目の素数さん** · 2016/12/12(月) 16:54:41.60

実際に限定的な四則演算以上のことをやらせようとすると、もっと内部情報が必要になるので、
動的にclassを扱えるようにしたほうがよいわけです。
最終的には人工知能にならざるをえないｗ

**１３２人目の素数さん** · 2016/12/12(月) 19:34:25.75

何がやりたいのかいまいち分からんが、

＞最終的には人工知能にならざるをえないｗ

こんなこと言うからには、扱いにくさについては
最初から諦めがついてるんだよな？
だったら >>147 で決着ついてるじゃん。

単なる文字列操作でも考えとけ。

**１３２人目の素数さん** · 2016/12/12(月) 21:42:38.06

>>159-162
あいかわらず、群盲象撫で状態で
何をしようとしているのか、サッパリ見えない。
小出しにしないで、そのモデルを具体的に書けば？

**１３２人目の素数さん** · 2016/12/12(月) 21:49:44.22

>>163
彼が、その文字列操作の具体的なコードを書けば、
何の話だか見えてくるかもね。
知らないような言語でも、短いプログラムなら
大抵読めるもんだし。
イメージだけの話より、なんぼか前進はする気が

**１３２人目の素数さん** · 2016/12/12(月) 23:53:27.28

あー。３次元ベクトルでいっぱつ理解してくれると思ってた。

数を複素数のiのようにとりあえずx,y,zをつけて表す。
ax + by + cz
xが通常の数で、yが*0したときの数、zが/0したときの数。
加算は複素数と同じように同じ項同士を加算すればよい。
乗算はええっと、検証が終わってから説明ｗ
検証した範囲では動いているのだが、もすこし計算を簡略化できそうなので。
ま、複素数の演算みたいなもの。x,y,zは*0で右ローテイトして/0で左ローテイト。
帰宅してから酒のみながら作っているので、あれあれとかなってごたごたしてくるｗ
それぞれの項目をばらばらに計算して重ねるより、class情報があれば重ねたまま計算できるかなとかいいかげんな思いつきでいじって混乱ｗ
2x+3y+∅z * ∅x+5y+∅z = ∅x+10y+15z
∅x+10y+15z / ∅x+5y+∅z = 2x+3y+∅z
こんな感じ。

**１３２人目の素数さん** · 2016/12/13(火) 00:06:05.67

>>166
> 乗算はええっと、検証が終わってから説明ｗ

そこだよ、そこ。
そこを書かなければ話が始まらない。

**１３２人目の素数さん** · 2016/12/13(火) 00:26:17.71

＞数を複素数のiのようにとりあえずx,y,zをつけて表す。
ならまずはx,y,zの関係式を書けよ
意味も分からず形だけ真似してるんじゃねえよ

**１３２人目の素数さん** · 2016/12/13(火) 00:57:11.44

＞x,y,zは*0で右ローテイトして/0で左ローテイト。

なんだこりゃ。*0 によって y が z に移動するのは不自然だろ。
x が y に移動し、z が x に移動するのはまだしも。

**１３２人目の素数さん** · 2016/12/13(火) 09:03:42.10

うーん。数学的センスないのね。
やっぱ特許とる方向で検討中。

**１３２人目の素数さん** · 2016/12/13(火) 09:44:45.91

>>170
数学的センス無いのは君だ。無論、計算機科学的センスも無い
結局、君のやってる事は0乗除された数の別格納でしかない

**１３２人目の素数さん** · 2016/12/13(火) 10:31:56.85

ちゃんと理解してるじゃないですか。おかしなひとだｗ

**１３２人目の素数さん** · 2016/12/13(火) 10:59:00.86

>>170
「不自然だ」という意見に対して
「数学的センスがない」では説明になってない。

＞xが通常の数で、yが*0したときの数、zが/0したときの数。

このように書いているのに、*0 によって y が z に移動するのは不自然。
お前はこのことに説明を与えていない。

こんな不自然な移動を定義に組み込んでしまったら、
z に格納されている数が /0 を由来とする数なのか、
それとも *0 によって y から不自然に移動してきた数なのか、
区別がつかなくなる。これでは、お前がやろうとしている目的が破綻する。

**１３２人目の素数さん** · 2016/12/13(火) 11:41:19.81

なにを議論していたのかわかっていないようですね。
ま、いっぽうてきに議論していたのだけどｗ

∅と双対のように存在する基底としてのclassの機能がそこにあります。
そこに奇妙な波があって輸送するかのような現象がみいだされました。
各次元のclassをキレイに接合するのにはそのようなものが必要でした。
これが超ひも理論などの「ひも」の元ではないかと考えて調査中です。
大きさのある0ですね。大きさという言葉では微妙ですが。classを混同しなければよいわけで。

**１３２人目の素数さん** · 2016/12/13(火) 11:42:14.02

区別をつけるために∅やらclassをとりこんだのにねぇ。

**１３２人目の素数さん** · 2016/12/13(火) 11:57:07.34

だめだこりゃ。
それで説明したつもりなのか。
何の説明にもなってないぞ。

おそらくコイツは、「扱いたい対象を数学的に厳密に定義する」
という作業をやったことがないんだろう。

>>175
＞区別をつけるために∅やらclassをとりこんだのにねぇ。

いつ取り込んだの？俺は >>166 の話をしているのだが？
>>166 に提示されている計算ルールには、∅ の概念も class の概念も出現していない。
だから区別のつけようがない。z に格納されている数が /0 を由来とする数なのか、
それとも *0 によって y から不自然に移動してきた数なのか、区別がつかなくなる。

x は普通の数(実数)なんだから、∅ も class も無関係に定義が終わっている。
y, z は *0, /0 を適用したときの数なんだから、
これも ∅ と class は登場せずに定義が終わっている。
∅ と class が登場する余地がない。
そもそも、お前が言うところの class って何なんだよ。

**１３２人目の素数さん** · 2016/12/13(火) 11:58:42.18

>>172
だが
1*0=2*0=3*0=0
|1/0|=|2/0|=|3/0|=∞
1^∞=2^∞=3^∞=∞
1^(-∞)=2^(-∞)=3^(-∞)=0

全ての0をどうやって仕分けする積もりだ？

やはり
極限 - Wikipedia
http://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90
を元に
繰り込み - Wikipedia
http://ja.wikipedia.org/wiki/%E7%B9%B0%E3%82%8A%E8%BE%BC%E3%81%BF
以上の事はできないな

>>173
どうやら0乗除からの保護隔離格納らしい
そしてその彼は
1*0=2*0=3*0=0
|1/0|=|2/0|=|3/0|=∞
1^∞=2^∞=3^∞=∞
1^(-∞)=2^(-∞)=3^(-∞)=0
である事を気付いていない

2*0=2*0*0=2*0*0*0
である事も気付いていない

**１３２人目の素数さん** · 2016/12/13(火) 12:03:47.43

>>174
一応、このツッコミどころ満載の駄文にも1つ1つレスしておこう。

＞∅と双対のように存在する基底としてのclassの機能がそこにあります。
意味不明。
数学で「双対」という言葉を使うときには、
何と何が双対なのか明示しなければ意味が無い。
お前は、∅ と対になるもう1つの対象を明示しておらず、
「基底としてのclassの機能」とポエムを書くだけで終わっている。

「基底としてのclassの機能」

とは何なのか？数学的に厳密な定義を述べてくれ。ポエムじゃなくてさ。

**１３２人目の素数さん** · 2016/12/13(火) 12:05:45.20

>>172
単なる数値区別難儀の問題だけじゃない、例えば
a^2-a^2=a(a-a)
⇔(a+a)*(a-a)=a(a-a)
⇔2*a*(a-a)=a(a-a)
⇔2*a=a
⇔2=1
数式からして異常が起こる

**１３２人目の素数さん** · 2016/12/13(火) 12:07:02.79

>>174
＞そこに奇妙な波があって輸送するかのような現象がみいだされました。
これも意味不明。ただのポエム。

＞各次元のclassをキレイに接合するのにはそのようなものが必要でした。
これも意味不明。
数学では、「次元」という言葉はれっきとした数学用語であり、
きちんと定義がついているが、お前が言うところの「次元」は、
数学で使われる「次元」とは別物のように見える。
より詳しく言うと、お前は

「各次元のclass」

という言葉遣いをしているので、class の間に「次元」の概念が
定義されていることになる。しかし、そんなの聞いたことがない。

お前が言うところの「次元」の定義を述べよ。

**１３２人目の素数さん** · 2016/12/13(火) 12:15:52.79

>>174
＞これが超ひも理論などの「ひも」の元ではないかと考えて調査中です。
話が飛んでいる。大風呂敷を広げるのは結構だが、
>>166 への返答とは無関係の話題である。
なぜそのタイミングで別の話を始めるのか？
お前は >>166 に適切に返答できていないのに、なぜ別の話を始めるのか？
こいつにはコミュニケーション能力がないのだろうか？

＞大きさのある0ですね。大きさという言葉では微妙ですが。classを混同しなければよいわけで。
お前の言う class が何なのか意味不明だが、
>>166 は明らかに欠陥品で、
z に格納されている数が /0 を由来とする数なのか、
それとも *0 によって y から不自然に移動してきた数なのか、
区別がつかなくなる。お前はこのことに反論できていない。
お前の中では区別がついている「つもり」なのかもしれないが、
少なくとも >>166 の定義の仕方では区別がつかず、欠陥品である。

**１３２人目の素数さん** · 2016/12/13(火) 13:36:14.64

>>169
乗法非可換は良いとして、単位元が存在しないのでは
その代数系は応用に乏しいのではないだろうか？
多元環にもならないから、扱いにくいし。

**１３２人目の素数さん** · 2016/12/13(火) 14:39:29.38

>>174
君が人為的に作り出した?と双対とclassがひもの元？
君ルールがどうやってひもの元に？

> 各次元のclassをキレイに接合するのにはそのようなものが必要でした｡

ひもの元じゃないじゃん君の恣意じゃん

**１３２人目の素数さん** · 2016/12/13(火) 14:53:29.71

>>182続き
しもた。1x+0y+0zが単位元か。
多元環どころか体にもなってるじゃないか。
後は、y,zを*0,/0と解釈できるかどうかだな。
むしろ、yはωなんじゃないのか。

**１３２人目の素数さん** · 2016/12/13(火) 16:20:18.20

まだ、限定された計算の中でしか成り立たず、どうするか検討中ですからね。
次元が足りないはずです。まだ復元できない数があります。
しかし、classを導入して熱を逃がせば、うまくマッピングできるという予想します。
小出しにしているのではなく、まだ考え中のものだからですよｗ
どんどん肥大化するような数だけは避けたいので排熱しないといけない。
数学ではなくどんどん理論物理な世界に突入しているｗ
スピノルがその向こう側にあるような。。。７２０°でもとにもどるのか？

**１３２人目の素数さん** · 2016/12/13(火) 17:08:49.10

逃がしてよい熱と逃がしてはいけない情報。
このへんは写像ですかねぇ。写像におけるエントロピーとか数学で扱われているのだろうか。
２対１と３対１では出入りするエントロピー量が違う。質はどのように定義されるのか。

**１３２人目の素数さん** · 2016/12/13(火) 19:28:00.17

聞きかじりの知識を寄せ集めて
無責任に思いつきの発言を繰り返してるだけだなこりゃ。
>>185-186 で使われている

「次元」「class」「熱」「マッピング」「排熱」「写像」「エントロピー」

という単語の全てに違和感を覚える。
単語の使い方がおかしいからだ。
こいつがやっていることは数学でもなければ物理でもない。
ただのポエムであり、ただの妄想である。
テメーの日記にでも書いとけ。

そして、俺はこの手の言語感覚を持つ人種を知っている。統失である。
こいつはガチで病気なんだろう。

**１３２人目の素数さん** · 2016/12/13(火) 23:09:28.74

>>184続き
彼が考えたのは、0除算に関係する何かじゃなくR(ω)だと思うんだがな。
要するに単なるC=R(i)と同じだから、x,y,zは基底でなく2個しか独立でない。

**１３２人目の素数さん** · 2016/12/14(水) 10:06:17.37

わはは。とりあえず大バグみつけたので修正中。
はたして３つで足りるのか。
２個しか独立でないか。たしかに分解して計算してから合成すると併合されてしまうところがある。
ま。できがあるかできあがらないか、できあがったら検討しましょ。
０をひものようなものと考えると、振動モードがある。
淘汰されるのか非決定性なのか。それともゆらぎの空間に遺伝子のようなものがあるのか。

**１３２人目の素数さん** · 2016/12/14(水) 14:20:27.14

ポエムとプログラミングって、数学を間に挟んで
反対向きにずれたもんだと思うんだがな。
なぜ共存してるんだろうか？
物理を挟むと馴染むのかな。謎だ

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:24:03.12

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:24:20.29

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:24:37.16

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:24:54.41

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:25:10.81

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:25:26.53

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:25:42.05

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:25:58.22

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:26:15.86

￥

￥ ◆2VB8wsVUoo · 2016/12/14(水) 18:26:36.09

￥