２ちゃんねる ■掲示板に戻る■ 全部 1- 最新50

■ このスレッドは過去ログ倉庫に格納されています

1÷0ってなんで答えが定義されてないの？

1 ：文系太郎：2015/06/28(日) 21:12:26.06 ID:djM3Kmv/.net: 0かけたら3になる数のマークとか決めて使えばいいじゃん

③×0=3

みたいな
2 ：１３２人目の素数さん：2015/06/28(日) 21:20:19.10 ID:eMUJ56cs.net: リーマン球面にそれらしいのがあるが
3 ：１３２人目の素数さん：2015/06/28(日) 21:22:51.21 ID:NoHNoowI.net: このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

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

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所
4 ：１３２人目の素数さん：2015/06/28(日) 21:52:44.28 ID:uDGSUpum.net: 意味わからんｗ
5 ：１３２人目の素数さん：2015/06/28(日) 23:30:02.87 ID:JRre+vZe0.net: 1÷0=x
1=x×0
xについて解なし
6 ：１３２人目の素数さん：2015/06/28(日) 23:46:40.37 ID:eMUJ56cs.net: 無限遠点だよ
7 ：１３２人目の素数さん：2015/06/29(月) 00:07:11.35 ID:ivmrb2Qo.net: Ok.
0かけたら3になる数のマークとか決めて使うとしよう。
そうすると
③×0=3
両辺に2を掛けると
③×0×2=3×2
ここで0×2=0だから
③×0=6
つまり0かけたら3になるはずのマークが0をかけると6になってしまったね。
どうするの？
8 ：１３２人目の素数さん：2015/06/29(月) 00:09:24.14 ID:fsZrowmc.net: 1÷0などの計算を可能にするための拡張みたいなものも考えられるだろうけど
問題はいろいろな法則が成り立たなくなるところをどうするか。
分配法則とかいろいろ。
そういうところに例外的なルールをたくさん盛り込まなくてはいけなくなる。
それが複雑すぎるから結局
「・・・やっぱり０で割るのはやめとこう」
ってことになる
9 ：１３２人目の素数さん：2015/06/29(月) 00:36:49.68 ID:ivmrb2Qo.net: そういうマーク付けできる数は一体何なのかを真剣に考えぬいて脳が焼き切れて狂ったのがゲオルグ・カントールというドイツ人。
焼き切れる寸前にマーク付けには階層がある（らしい）ことを見つけた。
10 ：文系太郎：2015/06/29(月) 08:07:52.90 ID:eMawXDFC.net: >>7
すげー

今日の仕事中に対案考えてみるわ
11 ：文系太郎：2015/06/29(月) 20:38:07.45 ID:6VUpzL/V.net: 1×0=①
1÷0=①
1×0=1÷0

なんてどう？

その他
①×①=1
①÷①=1
1×①=①
①+①=②
1+①=1+①
12 ：粋蕎 ◆C2UdlLHDRI ：2015/06/29(月) 21:02:00.90 ID:4cdLVYwt.net: Wheel theory - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Wheel_theory
13 ：１３２人目の素数さん：2015/06/29(月) 21:42:45.07 ID:jBA8xQxN.net: >>11
・1×0＝①
・1×0＝1×(1－1)＝1×1－1×1＝0
よって①＝0
14 ：１３２人目の素数さん：2015/06/29(月) 21:48:45.03 ID:jBA8xQxN.net: >>13よりこっちの方がいいかもしれん。

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

よって①＝①＋① となるので、①＝0
15 ：文系太郎：2015/06/29(月) 21:53:55.40 ID:6VUpzL/V.net: >>13
①=0でok

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

これって数学的にはダメ？
16 ：文系太郎：2015/06/29(月) 21:55:30.68 ID:6VUpzL/V.net: >>14

うわ①+①=②が成り立たなくなった・・・
17 ：１３２人目の素数さん：2015/06/29(月) 22:04:55.03 ID:jBA8xQxN.net: >>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 」は確実にマズイだろう。
18 ：文系太郎：2015/06/29(月) 22:37:01.71 ID:/dW6D8jM.net: >>17
頭の回転速いなw

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

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

明日また考えてみる
19 ：１３２人目の素数さん：2015/06/29(月) 22:39:25.39 ID:sZ4Vwtzj.net: こんなのは何百年も色んな人が色々なレベルで考えてきた問題です
たとえ面白い結果が出てきたとしたら、既に偉い人が見つけているはずですから、いくら考えようが無駄です
20 ：１３２人目の素数さん：2015/06/29(月) 22:42:40.79 ID:jBA8xQxN.net: >>18
なにか性質を制限した「ゼロモドキ」に対して
「 1÷ゼロモドキ」を定義しても意味が無いぞ。
いわゆる「真のゼロ」に対して「 1÷真のゼロ」を
どう定義したらいいのかっていう話なんだろ？
そこから逃げたら、結局は

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

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

＞0=0+0とか0=1-1とか0が万能すぎてもう
まあだからこそ「 1÷0 」は普通は定義しないのだがね。
21 ：１３２人目の素数さん：2015/06/29(月) 22:57:33.13 ID:ExDd/FsR.net: マイナスゼロを定義しないのはなぜか？
22 ：粋蕎 ◆C2UdlLHDRI ：2015/06/29(月) 22:59:45.00 ID:4cdLVYwt.net: ・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
である｡

尚、此処での∞とは一点コンパクト化された任意の複素無限大である｡
23 ：文系太郎：2015/06/30(火) 10:11:30.46 ID:kXvuJ1XP.net: 1なら犬が1匹、とかイメージできるけど
真のゼロってイメージが難しい

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

だから1×0=0に違和感を感じる
24 ：１３２人目の素数さん：2015/06/30(火) 10:31:10.26 ID:5ggs0HOT.net: >>23
支離滅裂。空間をカウントしだすからそういうことになる。

1のときも空間はそこにあるんだから、1のときも空間をカウントしてみろよ。
そうすれば、1は「犬が1匹」＆「犬が代入できる空間」で「真の1ではないナニカ」になるよ。
ほら、支離滅裂だろ。
25 ：文系太郎：2015/06/30(火) 12:04:45.24 ID:D9+0xQv0.net: >>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(のようなもの)

とか
26 ：粋蕎 ◆C2UdlLHDRI ：2015/06/30(火) 12:25:42.99 ID:xiVdHhDh.net: >>22に「1÷0を加味する数学」を示したにも関わらず全く反応できない>>1
27 ：文系太郎：2015/06/30(火) 15:09:57.18 ID:qgfR4VIn.net: >>26
すまんwheel theoryを理解できる知識と時間が俺になくて・・・

今の俺の妄想だとwheelに出てくる「0/0」が成り立たないから、妄想終了したらチェックしてみる
28 ：文系太郎：2015/07/01(水) 06:49:02.70 ID:D2WnOmHZ.net: 1÷0=①
1÷①=???

うーん
29 ：１３２人目の素数さん：2015/07/01(水) 17:26:34.67 ID:F/wVHWkK0.net: f(x)=1/xで
lim[x→+0]f(x)≠lim[x→-0]f(x)だから
1÷0を定義するより1÷(+0)と1÷(-0)を定義した方が良いんじゃないかな
30 ：１３２人目の素数さん：2015/07/01(水) 20:09:45.57 ID:SdEsqtXk.net: その前に+0や-0を定義した方がいいでしょうね
31 ：文系太郎：2015/07/02(木) 07:24:31.57 ID:wnKQv5I5.net: 調べた
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って事になるのか？
32 ：１３２人目の素数さん：2015/07/02(木) 08:18:18.21 ID:5A5lMmJT0.net: >>31
1-0=1はどこから？
33 ：１３２人目の素数さん：2015/07/02(木) 09:08:11.93 ID:8Chy24fM.net: 答えは解なし。特定の数値が定義されてないだけ。
34 ：文系太郎：2015/07/02(木) 10:14:33.53 ID:0o0rdx2m.net: >>32

数直線上の2から1までの距離と、1から+0までの距離がイコールじゃなくなるのか？って意味
35 ：粋蕎 ◆C2UdlLHDRI ：2015/07/02(木) 12:36:04.99 ID:p6SWZnSq.net: その0…
零元zero_elementじゃのうて
無限小元infinite_simalじゃな
36 ：文系太郎：2015/07/02(木) 17:20:55.16 ID:wAyV0UYU.net: zero-elementについて・・・

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

例えば

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

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

みたいな矛盾が生じるよね
それと同じ事が0除算でおこってるのかなーと
37 ：１３２人目の素数さん：2015/07/02(木) 19:08:59.80 ID:iYKWRpCP.net: +0や-0とは、それぞれ、右側極限、左側極限を表す記号であり、数ではありません
プラス側から0にちかづけた時の0ではない値などというものは存在しません
もし、+0や-0という「数」を考えたいのならば、自分で定義する必要があります

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

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

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

次から次へと、まともな定義もせずに、新しい用語に飛びついて行くのでは、いつまで立っても議論が前へ進むことはありません
38 ：１３２人目の素数さん：2015/07/02(木) 19:19:44.90 ID:N1hTwO69.net: 前つか、あらぬ方向に進んで、
自分がどこにいるか見失ったりね。
39 ：粋蕎 ◆C2UdlLHDRI ：2015/07/02(木) 19:36:51.42 ID:p6SWZnSq.net: 不定形、値が確定しない形式
∞-∞ 0*∞ 0/0 ∞/∞ ∞^0 1^∞
40 ：文系太郎：2015/07/02(木) 20:47:41.74 ID:J5ERIzoG.net: たしかに最初に考えてた事が頭から抜けてたり、あやふやだったり、なんて事があるな。今考えてみると

明日休みだし、書き出してみようかな
41 ：１３２人目の素数さん：2015/07/03(金) 13:22:11.39 ID:WIE5b/wL.net: 本気でゼロ除算の定式化を考えてるなら超準解析勉強すれば？
42 ：１３２人目の素数さん：2015/07/04(土) 05:52:17.24 ID:t+w4ffB5.net: ☆ 総務省の『憲法改正国民投票法』のURLですわ。☆
http://www.soumu.go.jp/senkyo/kokumin_touhyou/
☆ 日本国民の皆様方、2016年7月の『第24回参議院選挙』で、日本人の悲願である
改憲の成就が決まります。皆様方、必ず投票に自ら足を運んでください。お願いします。☆
43 ：１３２人目の素数さん：2015/07/04(土) 08:55:39.04 ID:6YX6GIAX.net: ７月は、彼岸じゃないぞ。
44 ：１３２人目の素数さん：2015/07/04(土) 12:52:38.17 ID:fKcIqKgn.net: 数の全体の集合を明確にする。
その集合に属するa,bの間の＋、－、×、÷の演算をぜんぶ定義する。
最終的にはそれが必要。
45 ：ﾛｰﾀﾘｱﾝ ◆MAZDA/RXis ：2015/07/04(土) 23:55:09.73 ID:j0UI8caQ.net: 文系は文系でもカラッキシな人らしいのう、では先ず
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に無限小誤差が含まれてたら、どうにもならん

至って普通の数学
やはり数学が数学として厳格に在る為には
どっちにしても不定元は忌避対象な訳じゃな
46 ：１３２人目の素数さん：2015/07/04(土) 23:58:51.45 ID:/q40jgbG.net: 極限としての0除算や不定や∞などではなく、実際に数同士の演算として定義されることはあるのですか？
47 ：１３２人目の素数さん：2015/07/05(日) 00:20:50.81 ID:QuJvEbYL.net: >>45を読んでから書けよ。
48 ：１３２人目の素数さん：2015/07/05(日) 00:21:42.02 ID:U6aCNoEZ.net: 読んだから書いたのですが
49 ：１３２人目の素数さん：2015/07/05(日) 00:30:20.98 ID:ajuCdWg4.net: リーマン球面でいいんじゃないの
定義されない演算は残るけど
50 ：粋蕎 ◆C2UdlLHDRI ：2015/07/05(日) 01:58:14.17 ID:go7Nzigd.net: >>46
それがWheel_theory
しかし単に不定形や∞を含む計算の詳説に過ぎん
51 ：文系太郎：2015/07/05(日) 10:10:03.18 ID:MPgXKLxR.net: 高校から数学は全くやってないんだよね

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

本屋で解析について立ち読みしたけど、あれってzero_elementじゃなくてinfinite_smallの考えに辿り着く感じ？
52 ：１３２人目の素数さん：2015/07/05(日) 11:15:10.05 ID:QHjHIjSB.net: 1/0＝tan(π/2)
閉じた非ユークリッド系(球の表面)に有る。
地球が完全な球形として南極点が0なら対称地点の北極点が1/0
緯度･経度＝0ﾟ･0ﾟが＋1
緯度･経度＝0ﾟ･180ﾟが－1
北極点に近づく→＋∞,－∞
南極点に近づく→＋1/∞,－1/∞
そういう座標系だな
53 ：１３２人目の素数さん：2015/07/05(日) 12:44:57.94 ID:CTkWdC/Q.net: 球と同相と言われても分かりにくいけど
具体例があると分かりやすいな
54 ：文系太郎：2015/07/05(日) 13:17:10.20 ID:vouuXP/J.net: >>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

結局マッチ棒並べて数えてるのと何が違うのか分からなくなってきた・・・
55 ：１３２人目の素数さん：2015/07/05(日) 14:45:18.78 ID:eEe3ZJsf.net: http://i.imgur.com/uXFr7je.jpg
56 ：１３２人目の素数さん：2015/07/05(日) 19:35:32.55 ID:QHjHIjSB.net: >>52 補足
この座標系はインピーダンスのマッチングチャート(スミスチャート)に使われてます。(工学系)
http://homepage3.nifty.com/hrd/sj1.gif

一般の計算はユークリッド系＝一本の無限長の直線で等間隔の目盛りが付いてる物差しで考えられてます。
状況に応じて使い分けしましょう。
57 ：■ ◆2VB8wsVUoo ：2015/07/05(日) 22:04:19.82 ID:dy5ev+an.net: ■
58 ：■ ◆2VB8wsVUoo ：2015/07/05(日) 22:04:46.32 ID:dy5ev+an.net: ■
59 ：■ ◆2VB8wsVUoo ：2015/07/05(日) 22:05:16.67 ID:dy5ev+an.net: ■
60 ：■ ◆2VB8wsVUoo ：2015/07/05(日) 22:05:46.25 ID:dy5ev+an.net: ■
61 ：１３２人目の素数さん：2016/02/16(火) 06:26:26.09 ID:DVMW2NSa.net: 0はトランプで言えばジョーカー
62 ：１３２人目の素数さん：2016/02/20(土) 08:12:39.40 ID:r80k37kq.net: 無限に小さい１／∞が０に向かっているけど届かないように
無限に大きい∞が、向かっているけど届かない目的地が１／０だよ
63 ：１３２人目の素数さん：2016/02/20(土) 20:59:22.93 ID:w9wvBatc.net: その1/0は+か？-か？純虚数か？虚数か？
64 ：１３２人目の素数さん：2016/02/20(土) 23:02:50.49 ID:NuoeSz7d.net: 1/0は閉じた非ユークリッド系にある。(>>56参照)
0が＋でもなければ－でもないその中間にあるように1/0は＋∞でもなければ－∞でもないその中間にある。
Ｙ＝tanＸはこの円座標を回る循環関数になる。
65 ：１３２人目の素数さん：2016/02/21(日) 05:35:54.80 ID:NeLzI0AV.net: んなもん判定不能だから丸ごと一点コンパクト化しただけだろ
66 ：１３２人目の素数さん：2016/02/21(日) 12:40:15.54 ID:IYlQBJyb.net: １が0.1、0.01と小さくなった先に０が見えるように
1/1が1/0.1、1/0.01と大きくなった先に1/0がある

１、０、－１と０を突破するとマイナス値になるように
1/1、1/0、1/-1と1/0を突破するとマイナス値になる
無限大の先にはマイナスが待っている
67 ：１３２人目の素数さん：2016/02/21(日) 23:23:53.56 ID:NeLzI0AV.net: 球面射影とは限らない。平面射影もまた、数学的存在｡
そこでは∞は±別個に記される｡

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

其処で発見されるべきは0の符号個別、0の偏角個別だが
計算機分野で+0と-0の区別が成される系は見受けられども
果たして数学的な発見であるかと言えば、否である｡
68 ：１３２人目の素数さん：2016/02/23(火) 23:55:16.50 ID:E4nTaM77.net: ＞一点コンパクト化の複素無限大が数学的に存在する訳ではなく

この人は、地球儀を見たことがないのかなあ
69 ：１３２人目の素数さん：2016/02/24(水) 21:47:41.85 ID:sCyR+5Rg.net: +0=-0
が成り立ち
+∞=-∞
が成り立つ
大小観念や実数観念では語れぬ世界
70 ：１３２人目の素数さん：2016/03/21(月) 17:31:13.88 ID:cXfephpF.net: 1+1=2 を計算ととらえるならば左辺と右辺が不可逆であって熱が発生する。
可逆であれば1+0も扱えるはずなのだが。
よーするに定義しちゃえばいいだけ。数学は自由だｗ
71 ：１３２人目の素数さん：2016/03/21(月) 17:32:49.59 ID:cXfephpF.net: 1+0じゃねーや１÷０だ。
72 ：１３２人目の素数さん：2016/03/21(月) 17:46:22.26 ID:HBdZ0JQp.net: 俺は、a÷b=c⇔a=cbが好きだな。
そうでない○○(大人の事情で伏字)がいることは、
知ってはいるが、理解はできない。
73 ：１３２人目の素数さん：2016/07/24(日) 07:40:37.03 ID:RassdX6v.net: お前ら知ってるだろうが1進法の0はほんとに0だぞ
74 ：１３２人目の素数さん：2016/09/06(火) 22:19:43.54 ID:nPZO8VPf.net: \1÷0=priceless
75 ：１３２人目の素数さん：2016/12/02(金) 15:26:34.42 ID:YPi0crhN.net: 必要なので０で割ることを許す体系を実装した。
1/0 の情報をどうやって温存するか悩んでいる。
1/0に0を掛けたとき1になればよい。
数学的になめらか？な体系でなくともよい。
n/0をそのままおぼえていればいいのかな。
すなおに記号計算したほうがよさげではある。
76 ：１３２人目の素数さん：2016/12/02(金) 15:36:37.96 ID:YPi0crhN.net: 輪って使えるのかな。ちょいと実装して試してみよう。
77 ：１３２人目の素数さん：2016/12/02(金) 16:50:34.11 ID:YPi0crhN.net: むむ。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かな？
78 ：１３２人目の素数さん：2016/12/02(金) 18:55:19.08 ID:RRKqnFDp.net: >>75-77
零除算が関わるとWheel_theory>>12に情報を温存できない事が示されており､
如何なる計算に於いて如何なる不定形になるかも示されている｡

角なる上は情報を温存できない場合の計算をせずに保留する事で温存し､
次の計算に繰り込み計算する演算規則とすると良い｡
a→0の時の計算a/0+3を保留、次の計算a*a/0+3に繰り込み結果の3を得る｡
繰り込みが継続、或いは重複していく事も有り得る｡
79 ：１３２人目の素数さん：2016/12/03(土) 02:59:13.65 ID:CKCNMNjc.net: 情報を保存して計算を遅延させることで解決しようとしています。
内部に４つの複素数と制御が入った数ｗ
*0は/0で開かれ、/0は*0で開かれる。開かれると保存されていた値になる。
保存されている値も計算によって変化する。
位相の違いを無視すれば、結構いい感じに値が保存される。
80 ：１３２人目の素数さん：2016/12/03(土) 12:14:47.54 ID:CKCNMNjc.net: wheelsがいまひとつ役に立たないことはわかったｗ
あれをあれすればよさそうなのだから実用的にはあれにマッピングすれば。。。
というわけで、もっとよさそうな数はないんでしょうかねぇ。
81 ：１３２人目の素数さん：2016/12/03(土) 13:52:53.74 ID:CKCNMNjc.net: 複素数なのは複素数を扱っているのであり、とりあえず整数を考えるならば４つの整数を内部に持つ数を作ればよいのではないか。
なんて漠然と思い始めた。
４次元ベクトル？　あるいはテンソル？
４つも必要なのか？
ようするにx*0とかx/0も数として扱えばいいってことだよねぇ？
３つあれば足りるような気もする。N, N(*0), N(/0)
82 ：１３２人目の素数さん：2016/12/03(土) 21:55:58.18 ID:vIvU3N6X.net: >>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を得る
83 ：１３２人目の素数さん：2016/12/04(日) 02:45:11.48 ID:w0eXyaG5.net: とりあえず、目的を果たすだけのものは実装できた。
数として成り立つには乗算と除算を定義できるかどうかなんだが、
いまのところ乗算・除算にはスカラしか与えられない。
列ベクトル[a, b, c]と[d, e, f]をそのまま演算して成り立つのだろうか？
演算のたびに内部がどんどん肥大化するようなものは避けたい。
そもそもの数学では２＊３＝６のように熱を逃がしている。
保存する以上、肥大化するのは避けられない運命なのはわかる。
84 ：１３２人目の素数さん：2016/12/04(日) 03:23:52.11 ID:w0eXyaG5.net: このスレの問題は解決できないが、こちらの問題の解決策はみえてきたｗ

いや、このスレの問題は解決できている。そのままに定義すればよいだけ。
１÷０は１÷０という数である。それが数学的に問題をはらんでいるかいるかどうかは数学屋ではないので気にしない。
85 ：１３２人目の素数さん：2016/12/05(月) 04:53:15.92 ID:TRGbmE75.net: >>84
拡張実数の内
実数に±∞を加えた
affine拡張実数
を更に
±∞を一点コンパクト化して∞とした
射影拡張実数
がそれにあたるか
複素∞を一点コンパクト化して∞とする
Riemann球面
もある

何れにせよWheel_theoryは免れない
86 ：１３２人目の素数さん：2016/12/05(月) 16:57:22.18 ID:8zhanbLp.net: ん？　Wheel Theoryを読み間違えていたかな。
5 / 0 は 5 ・ /0
5 ・ 0 は 05
になるってことかな。
ちょいと実装してたしかめてみよう。
87 ：１３２人目の素数さん：2016/12/05(月) 23:11:15.11 ID:X88xNZyf.net: 読んでみたけどよくわからない。
0/0 + x = 0/0
ではxが保存されないではないか。

5 + 3 = 8 では+3という情報があれば5を復元できる。
5 * 3 = 15 でも*3という情報があれば5を復元できる。
5 * 0 = 0 では*5から0は復元できるが*0という情報から5は復元できない。
せめて二項演算からは演算と片方の数があればもう一方を復元したい。
そういう数が欲しい。
88 ：１３２人目の素数さん：2016/12/07(水) 09:55:10.59 ID:hrL7qfYT.net: >>87
それだと、新たな数を実数に添加するんじゃなく、
もとの実数の性質を大幅に変えないと。
何に0掛けても0になる以上、0掛ける前の情報は
保存されるわけがない。さて、分配法則を否定するか、
足し算の単位元を複数にするか、それとも
89 ：１３２人目の素数さん：2016/12/08(木) 11:53:38.35 ID:teFaAsSt.net: とりあえず、作ってみて考える。
整数を扱おうと思って、余りも確保しようとしていたら有理数になってしまった。
整数の除算の余りを保存したら有理数になるとは考えたこともなかった。
ここでまた疑問がでてきた。
3/3 = 1/1 = 1 としてしまうと3という情報がなくなる。
有理数ではこれでもよいが、有理数では3/3,1/1,1の違いをどう考えているのだろうか？
放出された熱（情報）が、回収（保存）されるような機構を持った「数」も必要だろう。
ユニタリ変換と写像とを分けて考えて合体させた数は数学にないのだろうか？
量子状態と観測（収縮）の問題とすれば物理になってしまう。
数学はそれを抽象化するが、数学にひそむ「熱（放出）」の問題を数学問題として取り組んでいたりはしないのだろうか？
90 ：１３２人目の素数さん：2016/12/08(木) 17:40:06.94 ID:teFaAsSt.net: むむー。ちょいと空いた時間に有理数を拡張して作ってみたのだが。
できてしまった。。。

そんな簡単にできるはずは。。。どこかに落とし穴があるはず。
（１行削除。やはり、どうやっているかを書くのはマズイ）
1*2*0*5/0 がちゃんと計算できるｗ
ま、ボロがでるまでいろいろテストしてみよう。
絶対おかしい。
有理数と拡張をあわせて224行のプログラム。
91 ：１３２人目の素数さん：2016/12/08(木) 20:15:27.63 ID:gAr5cVpc.net: >>90
その系では、0=0*0は成り立たないの？
1*2*0*5/0の分子の0だけ0*0に置き換えたり
分母の0だけ0*0に置き換えたりして0を約分すると、
ちょっと素敵なことが起こるよね？
92 ：１３２人目の素数さん：2016/12/08(木) 21:00:28.44 ID:aejNK9zR.net: ええっと、0*0は0ですね。いまの実装だとそうなります。
分子というか演算を並べて表記しました。
これって昔からある数なんですけどね本当は。
数学的にも成り立っているのかどうか検証中。
超簡単単純なひも理論のような気もしてきた。
ま、いろいろやってみてボロがでてくるまでの運命かも。
93 ：１３２人目の素数さん：2016/12/08(木) 21:35:52.45 ID:aejNK9zR.net: う。0*0をやってみたら0じゃなかった。
0*0はへんなところにマッピングされて内部で保持されている。
0*0*0=1になるｗ
0にすべきなのかこのままでよいのか検討中。このままじゃおかしいよなぁ。
0*0/0=0にすべきか。このような場合の処理が抜けている。ここでもひねらないといけないようだ。
0*0/0が振動にみえるのでひも理論と関係するのではないかと思っているｗ
94 ：１３２人目の素数さん：2016/12/08(木) 23:05:46.86 ID:aejNK9zR.net: 0をひとつにすべきなのか基底の異なる0にすべきなのか。
あ、数学ではなく量子力学で考えてますのであしからず。
異なるからこそ振動があるんだよなぁ。後者だな。
そもそも０にも種類があるってことから始めてるわけだし。
０にも０という大きさがあると。
Aという集合がφであってもBという集合のφとは異なる。集合論ではどう扱われているんだろう。
95 ：１３２人目の素数さん：2016/12/09(金) 09:09:17.58 ID:fuf1iohv.net: 問題点がわかってきた。スカラーの０とベクトルの０の演算だ。
このへん、数学ではどのように対処してるんだろう。
マトリックス演算のロジックを再考しなきゃ。
情報を保存するマトリックス演算が必要なのか。
数学でも、単位をつけた演算が必要。でも単位をつけると数学ではなくなる？
96 ：１３２人目の素数さん：2016/12/09(金) 10:50:10.03 ID:fuf1iohv.net: 0*0 は 0・*0 になる。0*0=0に直した。これで整合性がとれているのかどうか。
大きさの無い0（スカラ）と大きさ？の有る0（ベクトル）を区別すればキレイに収まりそうなので考え中。
ベクトルの中の数値の0のかわりにスカラの0（◎？）を入れればよいのか。
(0, 0, 0) ではなく(◎, 0, ◎)の計算ができるように演算を作り直せばよいのだろうと思う。
これを(0, 1, 0)で代用してしまったため、不具合が生じたようだ。
数学には◎が足りないのかもしれない。
お気づきのようにベクトルに拡大して０の除算を解決しようとしているわけ。
97 ：１３２人目の素数さん：2016/12/09(金) 15:17:45.36 ID:fuf1iohv.net: 0・*0 = *0 だった。0・/0 = /0 でよかったようだ。
◎を導入した。
◎＋◎＝◎
ｘ＋◎＝ｘ
◎＊◎=◎
ｘ＊◎=◎
この数◎に名前があれば教えてほしい。

例によって直観で行列計算を作ってしまったのだが、この計算はすでにありそうなのに見つからない。
なんらかのベクトル変換なんだろうけど、手の内を明かしたくないし。。。
98 ：１３２人目の素数さん：2016/12/09(金) 16:00:11.15 ID:fuf1iohv.net: あ、０＊◎＝◎ね。
０より強い０だがこれより強い０は無い。
99 ：１３２人目の素数さん：2016/12/09(金) 17:15:28.28 ID:F89OiIfJ.net: >>98
a→0,b→∞とする、但し｢→0｣:≠｢=0｣
a^bはaより高位の無限小
a^(2^b)はa^bより高位の無限小
◎^bは◎より高位の無限小
◎^(2^b)は◎^bより高位の無限小

0に強弱無し、0に位の高低無し
100 ：１３２人目の素数さん：2016/12/09(金) 17:22:27.63 ID:F89OiIfJ.net: >>94
量子論理でも0と異なる0なんてものは無い

>>95
比の情報が保存されている以上それは0ではなく無限小
0は比の情報そのものも0、情報0、情報無し
0に比の理合を求める事は不可能、この理不尽こそが0
101 ：１３２人目の素数さん：2016/12/09(金) 18:29:55.76 ID:fuf1iohv.net: 情報としての０を保存するために◎を考えたわけです。
真に情報がないものを◎として、０には０という情報があると。
無いということと０を区別する必要はあると思いますね。
ある基底において０とは０という値であり、値が無いということではない。
これが数学に入るかどうかはわかりませんが、情報論的には必要です。
よって量子力学（＝量子情報論）にも必要となるでしょう。
102 ：１３２人目の素数さん：2016/12/09(金) 20:52:19.58 ID:kmDQV+mm.net: 遠回しに言ってないで
定義を挙げたらいいんじゃないの？
103 ：１３２人目の素数さん：2016/12/09(金) 21:33:53.92 ID:y1jQbXqc.net: ◎^b=◎　だから無限小ではないよねぇ。
まあ。N/Aなんだけど。数学でも強い０を考えられないものかと。
重ね合わせの計算のとき役に立つはず。
104 ：１３２人目の素数さん：2016/12/09(金) 22:04:14.70 ID:kmDQV+mm.net: >>103
強い０は、１個でなく、より強い０の系列
として与えないと、１÷０の問題点が
１÷(強い０)で再燃するだけじゃないの？
105 ：１３２人目の素数さん：2016/12/09(金) 22:25:08.91 ID:y1jQbXqc.net: あ。強い０は内部にあるだけだから数としては閉じ込められていて外部にでてこないので大丈夫です。
106 ：１３２人目の素数さん：2016/12/09(金) 22:34:57.44 ID:y1jQbXqc.net: 強い０も扱うような０除算可能な数は、そのうち考えるかもしれませんがｗ

整数にオプショナルな◎を加えた数は整数と同等に扱えるのかどうか。
なにか不都合が生じるのかと。
107 ：１３２人目の素数さん：2016/12/10(土) 10:30:05.96 ID:fUaFjcv5.net: >>106
それが
Wheel_theory
何故ならば
整数0と貴方の謂う所の◎は同一
整数の為、無限小成分一切無しの為
108 ：１３２人目の素数さん：2016/12/10(土) 10:38:21.25 ID:bJmIng00.net: 0と◎は演算結果が異なるのに同一？
109 ：１３２人目の素数さん：2016/12/10(土) 11:15:28.04 ID:bJmIng00.net: 0 or 0 = 0 だが　0 or ◎ = 0 で◎は消失する。0より弱い？
x and 0 = 0 (x≠◎)だが x and ◎ = ◎ で0と◎は同じだが、
0 and ◎ = ◎ 0より強い？
(or, andは論理演算ではなく空間演算？)
空間を余次元とし、値を消失させる消失数？
これが余次元の正体であり、空間として作用するが値は無い。
0という「値」ではなく空間（基底）のみ存在して値が無い。
値を粒子とすれば粒子化していない波の状態にかかわるものかもしれないとイメージしています。
◎が振動していれば「ひも」かもしれないｗ
数も「ひも」から成り立っているのかもしれませんよ。突飛すぎますがね。
110 ：１３２人目の素数さん：2016/12/10(土) 11:34:27.73 ID:fUaFjcv5.net: >>109
論理演算としての0は整数0と同一
試しに置き換え比べてみると良い
111 ：１３２人目の素数さん：2016/12/10(土) 11:44:11.00 ID:bJmIng00.net: ◎を振動させようとすると少なくとももうひとつ①のようなものを考えねばならない。
基底ベクトルを(1,0,0)のようにあらわすと値としての1や0と紛らわしく、値の保存ができない。
(①,◎,◎)として計算できるような①も必要だということです。
0を「無い」のではなく「値」として扱うにはもう少し考えねばならない。
(1,0,0)で計算するからおかしな値になるので(有,無,無)を使って計算する必要がある。
◎はなんとかなったけど、①をどうやって計算体系に取り込むか。。。
数学ではなくて計算機科学だと思ってください。
112 ：１３２人目の素数さん：2016/12/10(土) 11:50:05.49 ID:bJmIng00.net: >>110
それは混同だと思います。
数学ではいろいろなところで0が使われますが、文脈によって異なる0です。
同一視はできない。
113 ：１３２人目の素数さん：2016/12/10(土) 12:14:45.33 ID:fUaFjcv5.net: > ◎が振動していれば「ひも」かもしれないｗ
> 数も「ひも」から成り立っているのかもしれませんよ。突飛すぎますがね｡

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

さてここで悪魔の定義を提示
Ω:=|1/◎|:◎の逆数の絶対値
114 ：１３２人目の素数さん：2016/12/10(土) 12:41:57.56 ID:fUaFjcv5.net: >>111
計算機科学が数学を逸脱する事は不可能

>>112
点集合論上の空集合として解釈している。点集合論上の集合を数として定量表現して言えば
面積1[㎡]は体積としては0[m^3]だが此の0は空集合ではなく無限小､
長さ1[m]は面積としては0[㎡]だが此の0も空集合ではなく無限小､
点の数1[m^0]は長さとしては0[m]だが此の0も空集合ではなく無限小だ｡
そして点集合論上の空集合とは点の数0[m^0]
つまり座標上の1点としてさえも存在しない完全無欠な正真正銘の0
此の「非存在」をイメージしている｡
115 ：１３２人目の素数さん：2016/12/10(土) 12:50:02.25 ID:bJmIng00.net: ◎はN/AなのでΩではなくて◎になりますね。

①は＋で①となり、＊で相手の数になる。
◎＋①＝①
◎＊①＝◎
かな？
◎と①で振動して。振動とは空間と値が入れ替わるようなイメージになった。
◎は空間だけあり、①は値だけがある。
そうすると実際の値とは切り離して３つ（値,空間の基底？,値の基底？)になるのかもしれない。
この３つが相互に入れ替わるのが「ひも」なのかも。
数学なんてどうでもよくて、「計算」ができればよいｗ
しかし、この３つが数の原理であるとも考えられる。
ただし、値は複数なのでそこはまだ考える必要がある。カッコの中の「値」は「値の核」（＝粒子？）かもしれん。
116 ：１３２人目の素数さん：2016/12/10(土) 12:59:37.09 ID:bJmIng00.net: >>114
なるほど、数学としては0を無限小である考えればよいのですね。
0は無ではないと。0と無の分離は必要だとｗ
値の核としての無限小の0と考えれば、値の核は0になる。
そして振動から自然数が発生する。そういうモデルが作れるかどうか。
なかなかおもしろいパズルになってきた。
117 ：１３２人目の素数さん：2016/12/10(土) 14:25:11.37 ID:fUaFjcv5.net: >>115
ん？>>101を見る限り◎は「標準部分関数」が0でありN/Aではないのでは？
N/Aとは不定形の事で単に英単語綴りの直訳通りの「非数」の意味ではない
よって∞も非数だが0/0等の不定形であるN/Aには含まない
118 ：１３２人目の素数さん：2016/12/10(土) 16:23:07.33 ID:bJmIng00.net: そう。N/Aとは計算のときのための仮の呼称でした。意味的になりたちません。
それに①の必要もでてきたので、N/Aとしたのは早計でした。

０の除算を可能とするために、数の内部に３次元ベクトルをつくります。
0,*0,/0 の３つの次元です。
これに0と無を区別するために◎を導入したのですが、基底ベクトルの(1,0,0)なども区別する必要がでてきて、
①の導入も必要となりました。
しかし、これを数に混入させようとしたら、◎はよくても、①が成り立ちません。
そうなると、ベクトルの値としてさらに２次元ベクトルが必要です。
これが２次元より小さいので１．ｘ次元のようなものになります。
◎、①、●の３つの値しかない次元を余次元としてくっつけてやります。
四則演算はこの３次元空間での変換になるわけです。
これでいけるのではないかと踏んでいます。
●は、これと組み合わせたとき通常の数になるという意味です。
119 ：１３２人目の素数さん：2016/12/10(土) 16:30:32.03 ID:bJmIng00.net: ●が必要なのか◎①だけでいけるのか、まだ検討中ですが。
やはり●は不要で、◎①の余次元を付加するだけでよさそう。
しかし◎のときも数値を持つというのは冗長な気もするので考え中。
120 ：１３２人目の素数さん：2016/12/10(土) 16:47:00.06 ID:bJmIng00.net: 余次元の付加ではなくトリプルにしてもやはり無駄がある。
やはり●はあったほうがよいのか。考え中。
121 ：１３２人目の素数さん：2016/12/10(土) 17:45:05.19 ID:fUaFjcv5.net: >>118
ならば
>>115 > ◎はN/AなのでΩではなくて◎になりますね｡
つまり
1/◎=◎
というのは誤りで
1/◎≠◎
となるのでは？
122 ：１３２人目の素数さん：2016/12/10(土) 18:03:20.15 ID:fUaFjcv5.net: プログラム言語によっては+0≠-0となる例がある事に関しても
+◎と-◎とで同一とするのか非とするのかも気になる
123 ：１３２人目の素数さん：2016/12/10(土) 19:07:24.66 ID:bJmIng00.net: 0.0 と -0.0はありますねぇ。
◎には符号をつけないほうがよいでしょうねぇ。
/◎は/0軸に移動するのですが、単体で考えると◎としたほうがよいでしょうねぇ。
Programed Number なので、性質は与えればすむわけですｗ

どうも①を基底としたとき、意味がとれなくなってきた。
①は不要（というか記述する必要なし）であって、基底ベクトルにおきかえていたのが間違いで
単に回転させればよいのかもしれない。そうすると余次元は不要で◎だけあればことたりそうだ。
124 ：１３２人目の素数さん：2016/12/10(土) 22:38:23.81 ID:bJmIng00.net: まあ、こういう感じで計算されます。
検証しながら修正中。
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], ◎, ◎]
125 ：１３２人目の素数さん：2016/12/11(日) 01:36:45.27 ID:HYVAGAU5.net: 何やってんのかイマイチわからんのだが、
記号０をゼロじゃなく無限小の意味に変えたら
１÷０が計算に使えるようになりますってことなら、
１÷ゼロの問題を何一つ解決してない。
126 ：１３２人目の素数さん：2016/12/11(日) 02:04:29.18 ID:m2pX1u3s.net: 無限小はわたしが持ち出したわけじゃないしそこんところはよくわからない。
*0や/0をそのまま数として扱うってことだけ。定義をあたえてパズルが埋まるかというゲームｗ
127 ：１３２人目の素数さん：2016/12/11(日) 03:14:01.98 ID:EpqBQVWg.net: 1/◎に解を与えられてないしな

点集合論上の「空集合にあたる数:◎」の逆数だから｢万有集合にあたる数卍｣とでも言うべきか
でもa≧0ならば一般にa<2^a、◎も例に漏れないから卍<2^卍になる
彼の言葉「0より強い0」を流用すれば◎より強い◎である1/2^卍が存在してしまう事になる
128 ：１３２人目の素数さん：2016/12/11(日) 11:27:40.17 ID:m2pX1u3s.net: なるほど、◎＝φでよいのかもしれない。
整数の集合にもφがあるので集合論的な整数でφはどのように扱われるべきか、ということ。
◎は無くしてしまってφにしよう。
129 ：１３２人目の素数さん：2016/12/11(日) 11:34:01.35 ID:m2pX1u3s.net: φを整数の元とすればどうなるのかという問題ですね。
130 ：１３２人目の素数さん：2016/12/11(日) 11:41:51.22 ID:m2pX1u3s.net: φは明示的に扱われていないだけで、整数の集合に最初からいるメンバーではないんでしょうか？
131 ：１３２人目の素数さん：2016/12/11(日) 12:07:17.25 ID:HYVAGAU5.net: 別のものに同じ記号を使うのは、混同がなければ構わないが、、、
敢えて新しい０と空集合を同一視させようという試みなら、邪悪だ。
φより◎のほうがマシだな。
132 ：１３２人目の素数さん：2016/12/11(日) 12:24:23.84 ID:m2pX1u3s.net: ∅という記号があった。元ではなく部分集合か。
圏論では対象域にしれっと存在していた気がする。
整数であれば、もともとの元をそれを元とする集合と考えればよいのかも。
そうすれば∅も元として入りこめるｗ
133 ：１３２人目の素数さん：2016/12/11(日) 12:30:15.61 ID:m2pX1u3s.net: 実際にはOptional<有理数>としてオプショナルに導入したnullですからね。
圏論的な背景はあるはず。
134 ：１３２人目の素数さん：2016/12/11(日) 12:41:36.40 ID:HYVAGAU5.net: >>132
＞ペアノなら、空集合は０だけどな。
135 ：１３２人目の素数さん：2016/12/11(日) 12:41:58.62 ID:m2pX1u3s.net: ラッピングされていればなんら問題は生じない。
問題は整数の部分集合として存在する∅を含めた計算体系で∅を元のように扱えるかということかな。
まあ、扱えても扱えなくても、ラッピングされたクラスとして使用しているかぎりは問題ではないのだが。
136 ：１３２人目の素数さん：2016/12/11(日) 12:56:11.01 ID:HYVAGAU5.net: ＞ラッピングされていればなんら問題は生じない。

新しい数学が整数でないことを示すだけなら、
空集合を当てる必要は特にない。
整数nを{n,1}に、◎を{1,2,3}に当てても
何も変わらない。
敢えて空集合を持ち出してポエマーを釣ろうとする
理由が知りたい。
137 ：１３２人目の素数さん：2016/12/11(日) 13:09:15.09 ID:m2pX1u3s.net: それは簡単だ。その集合の部分集合としての空集合だからだ。
それをも元とした新たなラッパーを作ればよいわけだが、
操作側で扱いを定義してもラッパーと等価になる。
問題は圏論的に整数と新たな整数は同じものになるのかということかもしれない。
138 ：１３２人目の素数さん：2016/12/11(日) 13:13:36.75 ID:HYVAGAU5.net: それは、どのような圏を定義するか次第だろう？
ナニイッテンダ、圏論は魔法ではない。
139 ：１３２人目の素数さん：2016/12/11(日) 13:41:01.74 ID:m2pX1u3s.net: どのような圏を定義するか次第であるとすれば、
それは圏論は魔法であるということにならないでしょうかね？
140 ：１３２人目の素数さん：2016/12/11(日) 13:50:51.16 ID:EpqBQVWg.net: 圏って言えば演算体系になると思っていたら大間違い
141 ：１３２人目の素数さん：2016/12/11(日) 14:03:23.12 ID:m2pX1u3s.net: 問題を変えれば、
部分集合を元とする集合には集合論的に制約はあるか？
ということにでもなるのかな。
制約が無いとすれば元の集合に空集合を元として加えてもよいのか？
そして、最初からそいつは元の集合に「いる」のではないのか？
142 ：１３２人目の素数さん：2016/12/11(日) 14:05:51.82 ID:m2pX1u3s.net: なぜ演算体系になると思っていると思っているのか不思議だね。
143 ：１３２人目の素数さん：2016/12/11(日) 14:26:16.03 ID:HYVAGAU5.net: >>141
集合が空集合を含む⊃ことと
空集合を元に持つ∋ことの区別はついてるかね？
圏論より先に学んでおくべきことが
足りてないように思えるが。
144 ：１３２人目の素数さん：2016/12/11(日) 14:27:47.18 ID:m2pX1u3s.net: やはり、空集合を元にしようとすると異なるクラスになってしまう。
0を情報として残そうとするならラッパークラスが必要。
なので無限小がどうたらとかいう議論は無用ということ、それをするとクラスを混同していることなる故。
これが余次元の正体なのか？
145 ：１３２人目の素数さん：2016/12/11(日) 14:34:11.03 ID:m2pX1u3s.net: ん？　ちがうよ、考えているのは数学じゃないから。
余次元を含むだろう空間の計算（物理）において、クラスを混同しているのではないだろうか、ということ。
146 ：１３２人目の素数さん：2016/12/11(日) 14:57:55.22 ID:m2pX1u3s.net: 結論として、整数（あるいは有理数など）には∅を加えた体系？を作れるが元の整数とはクラスが異なる。
そう解釈してよいのかなと。
147 ：１３２人目の素数さん：2016/12/11(日) 15:08:11.15 ID:nrojVksL.net: なんでもかんでも情報を保存したいのなら単なる文字列操作でも考えとけ
それか２種類の演算は互いに無関係とするか
148 ：１３２人目の素数さん：2016/12/11(日) 15:48:43.94 ID:m2pX1u3s.net: 演算が無数にあったとき厄介になる。
演算クラスもわけて考えるのがベストなんだろうねｗ
演算クラスと対象クラスの関係。和形式と積形式だけととらえてよいのか。
それを類感と接触であると捉えると。。。魔法も２つでよいのか。
考えなければならないことがまだまだある。
149 ：１３２人目の素数さん：2016/12/11(日) 15:57:28.16 ID:m2pX1u3s.net: それと今回考えている途中ででてきた①。うまく使えなかったが。
加法で相手を消失させ、乗法で相手に吸収されてしまうもの。
これは数学として存在するのか？ 1に似ていてちょっと違う。
150 ：１３２人目の素数さん：2016/12/11(日) 20:29:43.37 ID:PBqd9gpZ.net: いま直面している問題が解決できれば
数学的な側面はどうでもいいとか言っておきながら
ちらほら数学を気にしてるのは一体なんなんだ
151 ：１３２人目の素数さん：2016/12/11(日) 21:15:27.87 ID:m2pX1u3s.net: 空集合との間になにか双対性のようなものがあるのか？

他にやっている量子問題の解決の糸口になりそうだからだよ。
152 ：１３２人目の素数さん：2016/12/11(日) 22:58:00.59 ID:m2pX1u3s.net: 並置されると相手を隠してしまい、接触すると消えてしまう。
空集合と双対。
基底となんらかの関係がある。
数学でみつからなきゃ物理板行きかな。
153 ：１３２人目の素数さん：2016/12/12(月) 05:13:04.87 ID:aFZqwL8k.net: >>152
結局は物理数学で数学的に語れる事だし物理板向きではないよ

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

それも数学の内で語れる事だよ
あと「ゲーム」って概念が既にあるから無闇矢鱈、ゲームという言葉にしない方が良いよ
154 ：１３２人目の素数さん：2016/12/12(月) 09:51:29.53 ID:TVE37Pyi.net: > *0や/0をそのまま数として扱う

計算したら *0=1*0,/0=1/0 になって、
普通の wheel theory になるだけじゃない？
155 ：１３２人目の素数さん：2016/12/12(月) 10:20:42.73 ID:PgB4VOcZ.net: 数学でも文脈によって意味の異なる数学用語がたくさんあるし、
文脈上で使用しているので無問題。

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

新しいクラスを作らなくても、もとからEmpty Setは数の集合にいるのだから、演算側で部分集合を対象にしてもよいということに気づいた。
①に相当するものは既に実装されているどこかにあるはずなのに、数学的対象として抽出できていない。
これも既に数学にある概念のはずなのだが。
156 ：１３２人目の素数さん：2016/12/12(月) 10:35:02.10 ID:PgB4VOcZ.net: とか、①は単に、「基底」の本来の性質なのかもしれない。
基底も元として含めたクラスは基底との演算も定義できるので万能ではないのか？
157 ：１３２人目の素数さん：2016/12/12(月) 10:50:41.14 ID:PgB4VOcZ.net: 仮に、このEmptySetと規定を含むクラスを万能クラスとすると、
なかなかおもしろい数学空間が想像できる。
数学ではこれらは組として外部で扱われるが計算対象にはなっていないのだろうか？
無限を含むので慎重に外部から作用させているのだろうけど。
それを内部に取り込んで計算可能にすると人間には取り扱えないだろうというイメージがある。
158 ：１３２人目の素数さん：2016/12/12(月) 14:38:18.11 ID:TVE37Pyi.net: どうも間接的な話ばかりで要するに
何をやってんのかが見えてこないが、、、
ひょっとして、
確定しない値の候補を集合にして
{2,3}＋{5,7,9}＝{7,8,9,10,11,12},
{2,3}×{5,7,9}＝{10,14,15,18,21,27}
みたいなこと考えてる？
159 ：１３２人目の素数さん：2016/12/12(月) 15:45:02.77 ID:PgB4VOcZ.net: いや、0,*0,/0と,それぞれの次元に∅を付加した３次元ベクトル空間上にマッピングしている。

整数を考えたとき、それを集合とすれば、∅は集合の壁？の内側にくっついており、①は外側にくっついている。
双対のイメージを持ったのはそういうことだ。
最近の数学オブジェクトの定義ではｎ組タプルのような言語システムであらわされることが多いが、このとき∅と①（基底）が暗黙のうちに扱われることが多い。
単に、数学での記述力不足なのであって、数学的にはどちらも最初から存在しているようだ。
これらを元に昇格させて明示的に取り扱うべきではないか、という見解に達したｗ
160 ：１３２人目の素数さん：2016/12/12(月) 15:56:03.61 ID:PgB4VOcZ.net: 数に明示的に基底を表記することで、計算における熱（雑音）も明示的に記述できる。
この排熱処理機構を明示的に定義するべきかもしれない。
排熱孔を明示すれば、それを再利用する処理もつけやすい。エコ数ｗ
その排熱でターボ計算ができたり。（これは冗談ではない）
161 ：１３２人目の素数さん：2016/12/12(月) 16:19:51.58 ID:PgB4VOcZ.net: ここでいう基底はbaseというよりclass(級ではなく類のほう)か？
実際にclassで実装しているが、scalarClassも明示するとかえってごちゃごちゃ。
相手がscalarだったから隠ぺいされたのであって、そうでなければ＋される。
同様に∅もそれぞれのscalarでは別のclassであれば*される。
イメージ的には正しそうだ。
162 ：１３２人目の素数さん：2016/12/12(月) 16:54:41.60 ID:PgB4VOcZ.net: 実際に限定的な四則演算以上のことをやらせようとすると、もっと内部情報が必要になるので、
動的にclassを扱えるようにしたほうがよいわけです。
最終的には人工知能にならざるをえないｗ
163 ：１３２人目の素数さん：2016/12/12(月) 19:34:25.75 ID:7qrUvsCr.net: 何がやりたいのかいまいち分からんが、

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

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

単なる文字列操作でも考えとけ。
164 ：１３２人目の素数さん：2016/12/12(月) 21:42:38.06 ID:TVE37Pyi.net: >>159-162
あいかわらず、群盲象撫で状態で
何をしようとしているのか、サッパリ見えない。
小出しにしないで、そのモデルを具体的に書けば？
165 ：１３２人目の素数さん：2016/12/12(月) 21:49:44.22 ID:TVE37Pyi.net: >>163
彼が、その文字列操作の具体的なコードを書けば、
何の話だか見えてくるかもね。
知らないような言語でも、短いプログラムなら
大抵読めるもんだし。
イメージだけの話より、なんぼか前進はする気が
166 ：１３２人目の素数さん：2016/12/12(月) 23:53:27.28 ID:WSEfwZmU.net: あー。３次元ベクトルでいっぱつ理解してくれると思ってた。

数を複素数の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
こんな感じ。
167 ：１３２人目の素数さん：2016/12/13(火) 00:06:05.67 ID:BFltloVb.net: >>166
> 乗算はええっと、検証が終わってから説明ｗ

そこだよ、そこ。
そこを書かなければ話が始まらない。
168 ：１３２人目の素数さん：2016/12/13(火) 00:26:17.71 ID:vK/bCp70.net: ＞数を複素数のiのようにとりあえずx,y,zをつけて表す。
ならまずはx,y,zの関係式を書けよ
意味も分からず形だけ真似してるんじゃねえよ
169 ：１３２人目の素数さん：2016/12/13(火) 00:57:11.44 ID:Z/rgWPA3.net: ＞x,y,zは*0で右ローテイトして/0で左ローテイト。

なんだこりゃ。*0 によって y が z に移動するのは不自然だろ。
x が y に移動し、z が x に移動するのはまだしも。
170 ：１３２人目の素数さん：2016/12/13(火) 09:03:42.10 ID:Zg1nOY8m.net: うーん。数学的センスないのね。
やっぱ特許とる方向で検討中。
171 ：１３２人目の素数さん：2016/12/13(火) 09:44:45.91 ID:eRJh+g7D.net: >>170
数学的センス無いのは君だ。無論、計算機科学的センスも無い
結局、君のやってる事は0乗除された数の別格納でしかない
172 ：１３２人目の素数さん：2016/12/13(火) 10:31:56.85 ID:Zg1nOY8m.net: ちゃんと理解してるじゃないですか。おかしなひとだｗ
173 ：１３２人目の素数さん：2016/12/13(火) 10:59:00.86 ID:Z/rgWPA3.net: >>170
「不自然だ」という意見に対して
「数学的センスがない」では説明になってない。

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

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

こんな不自然な移動を定義に組み込んでしまったら、
z に格納されている数が /0 を由来とする数なのか、
それとも *0 によって y から不自然に移動してきた数なのか、
区別がつかなくなる。これでは、お前がやろうとしている目的が破綻する。
174 ：１３２人目の素数さん：2016/12/13(火) 11:41:19.81 ID:Zg1nOY8m.net: なにを議論していたのかわかっていないようですね。
ま、いっぽうてきに議論していたのだけどｗ

∅と双対のように存在する基底としてのclassの機能がそこにあります。
そこに奇妙な波があって輸送するかのような現象がみいだされました。
各次元のclassをキレイに接合するのにはそのようなものが必要でした。
これが超ひも理論などの「ひも」の元ではないかと考えて調査中です。
大きさのある0ですね。大きさという言葉では微妙ですが。classを混同しなければよいわけで。
175 ：１３２人目の素数さん：2016/12/13(火) 11:42:14.02 ID:Zg1nOY8m.net: 区別をつけるために∅やらclassをとりこんだのにねぇ。
176 ：１３２人目の素数さん：2016/12/13(火) 11:57:07.34 ID:Z/rgWPA3.net: だめだこりゃ。
それで説明したつもりなのか。
何の説明にもなってないぞ。

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

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

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

x は普通の数(実数)なんだから、∅ も class も無関係に定義が終わっている。
y, z は *0, /0 を適用したときの数なんだから、
これも ∅ と class は登場せずに定義が終わっている。
∅ と class が登場する余地がない。
そもそも、お前が言うところの class って何なんだよ。
177 ：１３２人目の素数さん：2016/12/13(火) 11:58:42.18 ID:eRJh+g7D.net: >>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
である事も気付いていない
178 ：１３２人目の素数さん：2016/12/13(火) 12:03:47.43 ID:Z/rgWPA3.net: >>174
一応、このツッコミどころ満載の駄文にも1つ1つレスしておこう。

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

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

とは何なのか？数学的に厳密な定義を述べてくれ。ポエムじゃなくてさ。
179 ：１３２人目の素数さん：2016/12/13(火) 12:05:45.20 ID:eRJh+g7D.net: >>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
数式からして異常が起こる
180 ：１３２人目の素数さん：2016/12/13(火) 12:07:02.79 ID:Z/rgWPA3.net: >>174
＞そこに奇妙な波があって輸送するかのような現象がみいだされました。
これも意味不明。ただのポエム。

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

「各次元のclass」

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

お前が言うところの「次元」の定義を述べよ。
181 ：１３２人目の素数さん：2016/12/13(火) 12:15:52.79 ID:Z/rgWPA3.net: >>174
＞これが超ひも理論などの「ひも」の元ではないかと考えて調査中です。
話が飛んでいる。大風呂敷を広げるのは結構だが、
>>166 への返答とは無関係の話題である。
なぜそのタイミングで別の話を始めるのか？
お前は >>166 に適切に返答できていないのに、なぜ別の話を始めるのか？
こいつにはコミュニケーション能力がないのだろうか？

＞大きさのある0ですね。大きさという言葉では微妙ですが。classを混同しなければよいわけで。
お前の言う class が何なのか意味不明だが、
>>166 は明らかに欠陥品で、
z に格納されている数が /0 を由来とする数なのか、
それとも *0 によって y から不自然に移動してきた数なのか、
区別がつかなくなる。お前はこのことに反論できていない。
お前の中では区別がついている「つもり」なのかもしれないが、
少なくとも >>166 の定義の仕方では区別がつかず、欠陥品である。
182 ：１３２人目の素数さん：2016/12/13(火) 13:36:14.64 ID:BFltloVb.net: >>169
乗法非可換は良いとして、単位元が存在しないのでは
その代数系は応用に乏しいのではないだろうか？
多元環にもならないから、扱いにくいし。
183 ：１３２人目の素数さん：2016/12/13(火) 14:39:29.38 ID:eRJh+g7D.net: >>174
君が人為的に作り出した?と双対とclassがひもの元？
君ルールがどうやってひもの元に？

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

ひもの元じゃないじゃん君の恣意じゃん
184 ：１３２人目の素数さん：2016/12/13(火) 14:53:29.71 ID:BFltloVb.net: >>182続き
しもた。1x+0y+0zが単位元か。
多元環どころか体にもなってるじゃないか。
後は、y,zを*0,/0と解釈できるかどうかだな。
むしろ、yはωなんじゃないのか。
185 ：１３２人目の素数さん：2016/12/13(火) 16:20:18.20 ID:Zg1nOY8m.net: まだ、限定された計算の中でしか成り立たず、どうするか検討中ですからね。
次元が足りないはずです。まだ復元できない数があります。
しかし、classを導入して熱を逃がせば、うまくマッピングできるという予想します。
小出しにしているのではなく、まだ考え中のものだからですよｗ
どんどん肥大化するような数だけは避けたいので排熱しないといけない。
数学ではなくどんどん理論物理な世界に突入しているｗ
スピノルがその向こう側にあるような。。。７２０°でもとにもどるのか？
186 ：１３２人目の素数さん：2016/12/13(火) 17:08:49.10 ID:Zg1nOY8m.net: 逃がしてよい熱と逃がしてはいけない情報。
このへんは写像ですかねぇ。写像におけるエントロピーとか数学で扱われているのだろうか。
２対１と３対１では出入りするエントロピー量が違う。質はどのように定義されるのか。
187 ：１３２人目の素数さん：2016/12/13(火) 19:28:00.17 ID:Z/rgWPA3.net: 聞きかじりの知識を寄せ集めて
無責任に思いつきの発言を繰り返してるだけだなこりゃ。
>>185-186 で使われている

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

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

そして、俺はこの手の言語感覚を持つ人種を知っている。統失である。
こいつはガチで病気なんだろう。
188 ：１３２人目の素数さん：2016/12/13(火) 23:09:28.74 ID:eTfntFSH.net: >>184続き
彼が考えたのは、0除算に関係する何かじゃなくR(ω)だと思うんだがな。
要するに単なるC=R(i)と同じだから、x,y,zは基底でなく2個しか独立でない。
189 ：１３２人目の素数さん：2016/12/14(水) 10:06:17.37 ID:JyfuMrvp.net: わはは。とりあえず大バグみつけたので修正中。
はたして３つで足りるのか。
２個しか独立でないか。たしかに分解して計算してから合成すると併合されてしまうところがある。
ま。できがあるかできあがらないか、できあがったら検討しましょ。
０をひものようなものと考えると、振動モードがある。
淘汰されるのか非決定性なのか。それともゆらぎの空間に遺伝子のようなものがあるのか。
190 ：１３２人目の素数さん：2016/12/14(水) 14:20:27.14 ID:KJIR+qu/.net: ポエムとプログラミングって、数学を間に挟んで
反対向きにずれたもんだと思うんだがな。
なぜ共存してるんだろうか？
物理を挟むと馴染むのかな。謎だ
191 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:24:03.12 ID:SmsN7Loc.net: ￥
192 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:24:20.29 ID:SmsN7Loc.net: ￥
193 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:24:37.16 ID:SmsN7Loc.net: ￥
194 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:24:54.41 ID:SmsN7Loc.net: ￥
195 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:25:10.81 ID:SmsN7Loc.net: ￥
196 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:25:26.53 ID:SmsN7Loc.net: ￥
197 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:25:42.05 ID:SmsN7Loc.net: ￥
198 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:25:58.22 ID:SmsN7Loc.net: ￥
199 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:26:15.86 ID:SmsN7Loc.net: ￥
200 ：￥ ◆2VB8wsVUoo ：2016/12/14(水) 18:26:36.09 ID:SmsN7Loc.net: ￥
201 ：１３２人目の素数さん：2016/12/14(水) 19:12:58.02 ID:gXGwWlW3.net: ポエムと数学の中間がプログラミングだ
202 ：１３２人目の素数さん：2016/12/14(水) 21:01:10.73 ID:B8Mb6J0d.net: よくわからんな。二項演算で計算によって失われたエントロピーの片割れを与えることで残りを復元しようとしているだけなのに。
たいしてむつかしいことをしようというわけではない。
z-x-yのようにつながったひもを考えると、振動モードとして
yやzが開放端であったり固定端であったり、ひもが輪になっていたりといろいろ考えられる。
*0に*0を演算するとき開放端であればyに値がたまり、固定端であれば反射してxに値がたまる。
輪になっていればyからzにつたわる。
ともかく*0や/0を破綻しないようにどーにでも定義できる。
ただそれだけの話なのにね。
203 ：１３２人目の素数さん：2016/12/14(水) 23:02:11.02 ID:KJIR+qu/.net: 定義できるなら、何か定義してみろ。
これまでの所、風評ばかりで定義が出てきてない。
204 ：１３２人目の素数さん：2016/12/15(木) 11:48:43.32 ID:qnZKIeng.net: より一般化した定義あるいは定義の定義を与えるために振動モードを考えているわけだが。
これは状況意味論におけるチャンネル理論やChu Spaceを拡張できるものだと考えています。
数学的にはトポロジー分野かなと思って調べているのですが。
そもそも計算とそのエントロピーはどこの分野で扱われているものやら。
数学はその各分野間の統合がうまくできておらず、ネアンデルタール人のように消滅してしまうのではないでしょうかｗ
205 ：１３２人目の素数さん：2016/12/15(木) 13:30:54.03 ID:qnZKIeng.net: 数学にはAriithmeticという分野もあるが、そこでもエントロピーは取り扱われないようだ。
2 * 3 = 6 が放出しているエントロピーを考えるとき、これをクラスの演算（クラス演算？）として取り扱えばよさそうだ。
それには単位のようなものをつける。おそらくこれは基底だろう。
2[x] * 3[y] = 6[x*y]
これだと単位のようなものは保存されるが、値？側で保存されないものがエントロピー（情報）として放出されている。
右左からの演算の違いがなければ、
2[x] * 3[x] = 6[x^2]
もちろんx^2はx*xと同じであるが、一般的な算術では
2[x] * 3[x] = 6[x] という写像であり、単位のようなものの側でもエントロピーが放出されている。
放出されるエントロピーにはいくつかの種類があるということだ。
単位のようなものはclassであり、class演算がそこにある。
すくなくとも、二項演算においては数値側のエントロピーとclass(演算）側のエントロピーの両者があれば元の式を復元できるだろう。
206 ：１３２人目の素数さん：2016/12/15(木) 13:40:07.49 ID:qnZKIeng.net: 左右からの演算を考えるとき、交換可能であれば、クラスの側も同じであるか、兄弟関係にあるのだと考えられる。
同じクラスから継承されたもの同士であっても交換可能とは限らず、それはそれらのクラスが持つ属性としてでもとらえられるべきものなのか。
こういうことが「クラス演算」では考慮されていなくてはならない。
207 ：１３２人目の素数さん：2016/12/15(木) 21:15:57.64 ID:610EAsvS.net: z-x-y で両端を固定端とすればxに値があつまる。
それだったらxだけでよいのではないか。
a + 0 = a
a - 0 = a
a * 0 = a
a / 0 = a
これで0除算が可能になる。*,/はもっと別の記号であらわされるが適当なものがなかったのでｗ
数の性質は変えておらず、数のクラスと演算クラスとで形成されるクラス演算（の）空間を変形させただけである。
元の*,/と共存する形で演算を追加すればなんら問題はない。
この演算クラスおよびクラス間での演算は、チャンネル理論を拡張するものだとすれば、認知科学全般や心理学や精神分析？などに応用できる。
これで防衛機制を説明することができるのではないかと考え中。
208 ：１３２人目の素数さん：2016/12/16(金) 02:18:23.13 ID:SGVcEtaL.net: >>204
だから、風評ばかりでなく
定義そのものを挙げろと。
馬鹿なの？
209 ：１３２人目の素数さん：2016/12/16(金) 14:33:17.66 ID:iTY70cih.net: 喪失したエントロピーをおぎなって回復させるというは、暗号論からの要請で。
暗号キー encode 平文 = 暗号
としたとき
暗号キー decode 暗号 = 平文
としたいわけです。

固定端（点）による反射にも、そのまま反射したり符号や位相がかわったり、いろいろ考えられますね。
演算クラスと対象クラスによって形成される（変換）空間は、意味論的空間だと考えることができます。
数学における意味論は数にべったりとまとわりついてますが、これを切り離すべきではないかと思います。
210 ：１３２人目の素数さん：2016/12/16(金) 16:20:14.62 ID:iTY70cih.net: 振動モードなどによって複数の定義を与えることが可能です。
a * 0 = a
a / 0 = a
では、乗除にかかわるとき0は1に隠ぺいされて1として取り扱われます。
これは演算を定義する意味論的空間に重なりがあるわけで、
カタストロフィー理論のような折り目やカスプなどが意味論的空間というコントロール平面（空間？）に発生しているということでしょう。
意味論としてのカタストロフィー理論が復活するかもしれませんね。
211 ：１３２人目の素数さん：2016/12/16(金) 16:27:00.70 ID:iTY70cih.net: 演算を写像あるいは単に射であると考えれば、カタストロフィーと融合させることでいろいろとおもしろいことができる。
これは認知意味論に使えると考えていますが、数学に数学意味論や演算意味論があるのかどうか。
212 ：１３２人目の素数さん：2016/12/16(金) 16:28:11.99 ID:ipzZdINU.net: なにを開き直ってんだ
この馬鹿は
213 ：１３２人目の素数さん：2016/12/16(金) 16:48:42.10 ID:iTY70cih.net: ネーターの定理からみて、数学でもなにかを保存するには対称性があればよい。
逆は真ではないが、わざわざ３次元球面上に無理に写像してユニタリ性を保とうとしなくても、失われたエントロピーを補って局所的に対称性をもたせれば、そこでは値を取り戻せる。
ただ、それは外側に一部を保存しているということにすぎないが。
暗号論的には使えるわけです。
214 ：１３２人目の素数さん：2016/12/16(金) 19:25:55.48 ID:SGVcEtaL.net: ソーカル事件を思い出すようなポエムが続いているが、
> a * 0 = a
> a / 0 = a
では、有理数や実数の拡張にはならないだろ。
そのような数系そのものが何か面白いかどうかは
別にするとしても、１÷０を可能にする考察とは
何ら関係を持ち得ない。ちょっと落ち着いて、
長文を書く前に頭も少し使ってみよう。
215 ：１３２人目の素数さん：2016/12/16(金) 23:08:09.20 ID:fBwy5oSL.net: もはや「定義されない」という定義でいいんじゃないか
216 ：１３２人目の素数さん：2016/12/16(金) 23:17:11.20 ID:jtr9dowU.net: 拡張ですけどなにか？
よく読んでないだけですね。まあ、ひとつのレスにすべてを書いているわけではないのでしかたないが。
217 ：１３２人目の素数さん：2016/12/17(土) 00:13:32.70 ID:tUsRBIyg.net: もともと四則演算が成り立っておらず、未定義があるわけです。
それを拡張しても未定義は残る。
そこで意味論をねじまげてすべてに定義ありとする。
いちばん簡単なのは、ネーターの定理にしたがって対称性を持たせることであり、
a * 0 = 0 とせず*0 /0 をカットしてしまうこと。
１レベルだけの*/を保存することはできる。ｎレベルに拡張することもできるがそれは数学になじまない。
３つの空間で１レベルだけ保存すると*0*0や/0/0などを元の空間に写像させるのがベター。
その場合の定義はいろいろ考えられ、ひとつではない。
元の数学を全面的に書き換えればできないこともないだろうが、それよりも（数学）意味論の異なる数学空間として共存させたようがよいだろう。
そういうことです。
共存できる別の数学を考えただけです。（認知意味論的にね）
218 ：１３２人目の素数さん：2016/12/17(土) 00:48:19.52 ID:tUsRBIyg.net: 意味論的に異なる別の数学を定義しても、元の未定義部分を継承しなくてはならないｗ
それを少しだけズラすことには成功したけど、どんな役に立つのかと。
暗号には役に立てられそうだけどね。それと認知科学には役立つ。
３つではなく２つの空間に写像させた数学はもしかしたら使えるかもとは思っている。
最初からユニタリ変換だけを扱い、異なる２つの系を関係づける理論としてね。
219 ：１３２人目の素数さん：2016/12/17(土) 01:05:29.61 ID:tUsRBIyg.net: 数を波として再定義するのもありなんだが、やはり別の数学だよなぁ。
まあ、やろうとしていることは元の値に戻すということだけなので、現在の数学の未定義部分を拡張によって解消するということではない。
そのへんが誤解されているｗ
未定義部分が使用される範囲からズレればよいだけ。
220 ：１３２人目の素数さん：2016/12/17(土) 03:28:20.70 ID:+3eRFwsm.net: 誤解も何も、拡張した数の定義を書かなきゃ
解釈のしようも無いんだよ。一度も書いてないだろ？
「定義はひとつじゃない」だけでは、話が始まらない。
その中のひとつでいいから、公理的にでも構成的にでも
定義を書き下してごらん。
書かない定義の感想だけ自分で書いてても、
他人とディスカッションにはならないよ。
221 ：１３２人目の素数さん：2016/12/17(土) 12:28:50.91 ID:g2esQG77.net: 「こんなのがあればいいな」

じゃなくて

「こんなの考えてみたんだけど、どう？」

と言えるようにならないとね

この二つの違いも自覚できずに

「どうして理解してくれないんだろう」

とグチグチ言ってるのが客観的に見た君の姿
222 ：１３２人目の素数さん：2016/12/17(土) 12:39:01.78 ID:g2esQG77.net: 例えば、このスレ

３元数できたよ [無断転載禁止]©2ch.net
http://rio2016.2ch.net/test/read.cgi/math/1480487779/

スレ主はボロカスに叩かれてるけど、
それでも彼なりに考えた結果を具体的に提示している分、ただポエムだと斬り捨てられるだけの君よりはよっぽどマシだ
223 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:37:58.59 ID:LhaePwX1.net: ￥
224 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:38:17.76 ID:LhaePwX1.net: ￥
225 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:38:35.21 ID:LhaePwX1.net: ￥
226 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:38:54.11 ID:LhaePwX1.net: ￥
227 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:39:11.17 ID:LhaePwX1.net: ￥
228 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:39:28.65 ID:LhaePwX1.net: ￥
229 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:39:47.50 ID:LhaePwX1.net: ￥
230 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:40:06.28 ID:LhaePwX1.net: ￥
231 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:40:24.06 ID:LhaePwX1.net: ￥
232 ：￥ ◆2VB8wsVUoo ：2016/12/17(土) 16:40:46.02 ID:LhaePwX1.net: ￥
233 ：１３２人目の素数さん：2016/12/17(土) 23:41:01.98 ID:tUsRBIyg.net: ふ。新しい定義をさぐっているところだからね。

a*0=aでいろいろ計算させてながめていた。
波の振幅として数を再定義するとして、0を保存するためには１点の振幅では足りない。
質の異なるエントロピーが流出している。これを外部から与えるのはおもしろくない。
３点で保存すれば(a*0+b+c)/0のような計算はできる。
そもそも*0によって得られる0は同じ0ではない。クラスが異なる。
これを元のクラスに写像するからエントロピーが失われる。
失われる部分を少しだけ変えて（ズラして）やるには２点の振動としてとらえればよいのではないかと思う。
0を数から切り離して別クラスとして扱えば少しマシになるのかもしれない。
a*0=0になるというのはどこからでてきたのか数学の歴史も調べないといけない。
234 ：１３２人目の素数さん：2016/12/17(土) 23:55:04.08 ID:tUsRBIyg.net: 0をアナロジーとして絶対零度（に近い）と考えても、波動は残る。
ヘリウムのように流動性を持っていたり、波動が形として現れる。
認知意味論を持ち込んでも（圏論を除いて）数学にはなじまないが、ペレルマンがやったんだから物理的解釈は持ち込めるだろうｗ
235 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:17:04.74 ID:PXSJSVkX.net: ￥
236 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:17:25.62 ID:PXSJSVkX.net: ￥
237 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:17:43.23 ID:PXSJSVkX.net: ￥
238 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:18:00.23 ID:PXSJSVkX.net: ￥
239 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:18:17.41 ID:PXSJSVkX.net: ￥
240 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:18:34.71 ID:PXSJSVkX.net: ￥
241 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:18:51.88 ID:PXSJSVkX.net: ￥
242 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:19:10.05 ID:PXSJSVkX.net: ￥
243 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:19:32.35 ID:PXSJSVkX.net: ￥
244 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 07:19:52.30 ID:PXSJSVkX.net: ￥
245 ：１３２人目の素数さん：2016/12/18(日) 12:30:09.70 ID:/T0HlV6V.net: >>233
a*0=aなら、それは0じゃなく1だろう
って感覚ぬきで定義されたものが
興味深い対象になるとは思えないけどね。
ま、頑張って。
何か定義らしいものが書き込まれたら、また来る。
246 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:23:03.46 ID:PXSJSVkX.net: ￥
247 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:23:22.70 ID:PXSJSVkX.net: ￥
248 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:23:41.71 ID:PXSJSVkX.net: ￥
249 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:23:58.78 ID:PXSJSVkX.net: ￥
250 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:24:16.95 ID:PXSJSVkX.net: ￥
251 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:24:34.80 ID:PXSJSVkX.net: ￥
252 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:24:53.61 ID:PXSJSVkX.net: ￥
253 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:25:13.88 ID:PXSJSVkX.net: ￥
254 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:25:35.52 ID:PXSJSVkX.net: ￥
255 ：￥ ◆2VB8wsVUoo ：2016/12/18(日) 14:25:56.03 ID:PXSJSVkX.net: ￥
256 ：１３２人目の素数さん：2016/12/18(日) 18:46:39.37 ID:femGy/3H.net: ふう。やっと超実数方面で研究されているのをみつけた。
認知意味論から考えていたものは数学ではultrafilterに相当するようだ。
Vladimir Kanovei & Saharon Shelahの論文を参照されたし。
これを読むしかねーか。難解だなぁ。
http://shelah.logic.at/files/825.pdf
257 ：１３２人目の素数さん：2016/12/18(日) 18:59:43.73 ID:femGy/3H.net: 数から性質としての演算を切り離して、クラス間の演算と考えたとき、
うかびあがったイメージがカラビ・ヤウ多様体だったので。
ま、簡単な例だけを考えましょう。
258 ：１３２人目の素数さん：2016/12/18(日) 19:56:21.83 ID:femGy/3H.net: 超実数は無限大量や無限小量を扱うものであるが、
０除算による新しい「数」を扱えるようにすることにも援用できると考える。
未定義部分を消去するのではなくズラして、使用されないだろう部分で写像してエントロピーを放出させる。
a*0=aの欠点は乗法において0と1の区別がつかないということと、新しい数（波）が元の数に合成されてしまうことにある。
合成するとき位相が違えばよい。
そうすると最低でも２つの領域が必要となり、それは複素数に類似する。
259 ：１３２人目の素数さん：2016/12/18(日) 21:56:52.16 ID:femGy/3H.net: An ultrafilter on a set X may be considered as a finitely additive measure. In this view, every subset of X is either considered "almost everything" (has measure 1) or "almost nothing" (has measure 0).
やはり①を付加しているねぇ。∅と0は扱いが逆だったか？
260 ：１３２人目の素数さん：2016/12/18(日) 22:55:58.20 ID:/T0HlV6V.net: >>258
ようやく、ここまでは来たか。
だから最初に、◎は１個じゃなく
より強い０の系列が要るはずだ
と書いたよね？
さて、まだ、超実数と波の関係についての
記述が皆無だが。
261 ：１３２人目の素数さん：2016/12/19(月) 02:57:22.30 ID:LX+Pukb+.net: 超実数にも、除数になれない「真の０」はあるんだがな。
262 ：１３２人目の素数さん：2016/12/19(月) 12:50:01.47 ID:iRvdPOs3.net: 超実数は目的は異なるので類似しているのではないか、ということにすぎないが、
その手法は役に立てそうだ。これは論文を読み込んでから考えたい。

そんなことより、>>158のいうことをおろそかにしていたことを謝りたい。
これって位相空間論だ。
波としての位相とは違うので区別しないといけないが、見方によっては同じかもしれない。
部分集合の族として考えれば、写像の違いが明白になる。
位相空間論の教科書買ってこなくちゃ。
263 ：１３２人目の素数さん：2016/12/19(月) 12:57:01.15 ID:iRvdPOs3.net: まず、自然数の集合Nを考えると四則演算には未定義がたくさんある。
これに０を付加して少し未定義が減り、整数とすればさらに未定義が減るようだが、増えるものもあり、
未定義の領域がズレていっている。
いっきに実数までいくと連続方面でいろいろと問題を抱えることになるので有理数あたりが考えるのに適当だろう。
このように有理数も未定義を解消可能であろうと考える。
それは未定義が別のところに行くだけかもしれないが、どこかに吸収させるか、相殺することは可能だろう。
未定義解消のために追加されたものをまとめて扱うのではなく、別クラスとして付加し、それらを含むラッパーとしてのクラスを取り扱う。
これは位相空間論で可能なようだ。
264 ：１３２人目の素数さん：2016/12/19(月) 13:18:37.21 ID:iRvdPOs3.net: もともと考えたのは(x,y,z)×(x2,y2,z2)であり、これは
(ax+by+cz)×(dx+ey+fz)とすれば計算のやりかたは明白である。
あとは異なる次元間での計算結果を（次元を増やすのでなければ）どの次元に写像するかの問題となり、
破たんのないやりかたは複数ある。これの数学的意味付けをどこに求めるかということであった。
なんにしても、有意となるのが(x,y,z)と(x)の演算だけとして、残りを破たんしないでどこかに写像させていればよいなどと考えたのではつまらない。
265 ：１３２人目の素数さん：2016/12/19(月) 13:29:00.97 ID:iRvdPOs3.net: もともとが２つの系のクロネッカー積と写像の問題で、ここにたどりついたわけだｗ
266 ：１３２人目の素数さん：2016/12/19(月) 17:31:14.74 ID:iRvdPOs3.net: 自然数から整数そして有理数へと未定義部分をずらしながら数を増やしていくとすると、
a*0=bではb/0=a,b/a=0となるbを定義すればよく、
a/0=cではc*0=aとなるようなcを定義すればよい。
これ以外のbやcの演算は未定義でもよいし、なんらかの定義を与えても元の数に影響しないか、影響しても対応がとれていればよい。
b=cとすれば、b = 0 + a§, c= 0 + c§のような数でもよい。
ただし、0を保存するために∅などをつけくわえ、通常の数は a + ∅§としなければ0を保存できない。
この新しくつけくわえられた数？同士の演算なども悪さしないかぎりいろいろと定義できるが、病んだ空間にならなければよいと思う。
5/0=0+5§, (0+5§)*0 = 5
0/0=0+0§, 0+0§≠0
267 ：１３２人目の素数さん：2016/12/19(月) 17:32:56.07 ID:iRvdPOs3.net: ああ、この＋は元の＋とは別で単なる内部表現ね。[]で囲むのわすれてた。
268 ：１３２人目の素数さん：2016/12/19(月) 20:11:33.45 ID:goZWfy8e.net: 仮に超準解析が, 1/0を定義できるとしても, それが有用なものとは思えんな,
結局メリットがほとんどない上にデメリットだらけだから定義してないだけだろう.
269 ：１３２人目の素数さん：2016/12/19(月) 21:17:49.30 ID:1XjQqfdS.net: 結局、Wheel_theoryに行き着く

>>268
行列表現、テンソル表現、別格納・繰り込み
を幾ら駆使しても0除算のパラドクスを完封できない事は証明され済みだよ
270 ：１３２人目の素数さん：2016/12/20(火) 00:44:57.95 ID:7eI1x8Ue.net: >>268 → >>261
１÷無限小は計算できるようになるが、
１÷０は体である限り無理。
271 ：１３２人目の素数さん：2016/12/20(火) 04:24:11.95 ID:GSEhVWYA.net: >>270
つまりWheel_theory
272 ：１３２人目の素数さん：2016/12/20(火) 10:41:26.46 ID:dPoaEUr5.net: 現在の数学体系では無理ということでかまわない。
違う数学を作ればよい。

そもそも自然数を考えるとき、
a+b=cにおいて、codomainで１が仲間はずれになっている。
これが逆関数に未定義が発生する原因だと考える。
ならばこれを解決する数（元）をつけくわえればよい。
それは∅であって0ではない。これはフィルター概念のひとつなのではないかと思うが、フィルターは習ったこともないので調査中。
元の自然数の性質を温存したまま∅をつけくわえた新しいクラス（集合）をつくることは可能だ。
似たようなことができそうな位相空間論をあたってみている。
位相とは情報と読み替えることができる。情報空間論としてしまうと、また別に存在している情報空間という概念と混同しやすい。
エントロピーと連呼していたものは情報であって、位相空間論での位相に相当する。
計算による発熱についてはファインマン計算機科学を参照されたい。
273 ：１３２人目の素数さん：2016/12/20(火) 10:47:45.33 ID:dPoaEUr5.net: 実数には離散性と連続性の２つが同時に存在している。
波動性と粒子性のようなものだ。
そこを混同しているから０の０乗の問題などが発生してしまう。
量子論的に考えるしかないだろう。
274 ：１３２人目の素数さん：2016/12/20(火) 14:46:43.00 ID:zaKKe+34.net: だから、いつまでも目をつむって象を撫でてないで、
提案したい代数系の定義をそろそろ書いてみろや。
議論は、そこからしか始まりようがないんだよ。
275 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:22:48.52 ID:W0M90ObI.net: ￥
276 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:23:05.49 ID:W0M90ObI.net: ￥
277 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:23:23.17 ID:W0M90ObI.net: ￥
278 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:23:40.73 ID:W0M90ObI.net: ￥
279 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:23:57.64 ID:W0M90ObI.net: ￥
280 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:24:14.62 ID:W0M90ObI.net: ￥
281 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:24:28.08 ID:W0M90ObI.net: ￥
282 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:24:48.37 ID:W0M90ObI.net: ￥
283 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:25:07.23 ID:W0M90ObI.net: ￥
284 ：￥ ◆2VB8wsVUoo ：2016/12/20(火) 22:25:23.97 ID:W0M90ObI.net: ￥
285 ：１３２人目の素数さん：2016/12/21(水) 05:46:09.31 ID:EF2MCzSe.net: >>272-273
それもまた新たな数学
そしてWheel theoryに行き着く
286 ：１３２人目の素数さん：2016/12/21(水) 10:33:57.02 ID:IkFJGjJd.net: 自然数にφを加えても、減法にはマイナス空間の結合あるいは拡張が必要となる。
加法による空間の拡張と乗法による空間の拡張を考えていたら、
現在の数というものは病的であるということに気づいた。
そもそも０の除算ができない。
病的な空間に定義された数を使用しても病的な数学にしかならない。
物理数学ではいろいろな方法で病的な部分がでないように工夫して数学が使用されている。
量子コンピュータによる計算も、病的な部分を取り去ってから計算して、答えが得られてから病的な数学空間に写像してやるしかないのだと考える。
287 ：１３２人目の素数さん：2016/12/21(水) 10:41:01.23 ID:IkFJGjJd.net: もとめていた答えがやっとでた。病的でない数学を使えばよいだけだった。

しかし、数学者はこのことに気づいていないわけはないのに何故ほっておかれているのか？
いままでつみあげてきたものが崩壊する可能性を拒んだのか。
これまでに得られた成果による利便性を優先させたのか。
よく出てくるx>0などの制限は病的数を扱ううえで回避するためのものだったようだ。
逃げる数学では物理空間に適用できない。闘え、数学は闘うのだｗ
288 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:16:58.18 ID:0N19MYRA.net: ￥
289 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:17:14.98 ID:0N19MYRA.net: ￥
290 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:17:32.41 ID:0N19MYRA.net: ￥
291 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:18:07.94 ID:0N19MYRA.net: ￥
292 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:18:25.39 ID:0N19MYRA.net: ￥
293 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:18:42.67 ID:0N19MYRA.net: ￥
294 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:18:58.01 ID:0N19MYRA.net: ￥
295 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:19:17.61 ID:0N19MYRA.net: ￥
296 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:19:39.64 ID:0N19MYRA.net: ￥
297 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 11:20:00.03 ID:0N19MYRA.net: ￥
298 ：１３２人目の素数さん：2016/12/21(水) 11:51:34.95 ID:9i1jEuu8.net: 定義を書けという要求から逃げ続け、答えが出たと勝利宣言
しかし結局、定義は書かず、「病的でない数学があればいいのにな」
駄目だこりゃ
299 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:26:18.19 ID:0N19MYRA.net: ￥
300 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:26:33.44 ID:0N19MYRA.net: ￥
301 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:26:49.58 ID:0N19MYRA.net: ￥
302 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:27:04.77 ID:0N19MYRA.net: ￥
303 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:27:20.53 ID:0N19MYRA.net: ￥
304 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:27:36.03 ID:0N19MYRA.net: ￥
305 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:27:50.78 ID:0N19MYRA.net: ￥
306 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:28:06.08 ID:0N19MYRA.net: ￥
307 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:28:23.05 ID:0N19MYRA.net: ￥
308 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 12:28:39.83 ID:0N19MYRA.net: ￥
309 ：１３２人目の素数さん：2016/12/21(水) 17:40:43.59 ID:EF2MCzSe.net: 数の拡張限界を超現実数と云う
超現実数では0.999…≠1と成り得る
超現実数を更に拡張すると数ではなくゲームとなる
故に全ての数はゲームである

>>298
0除算できるゲームは数学的に在るだろうか？

一方、+0≠-0なプログラム言語も在ったな

>>287
完全無欠に健全な数系など数学的にもプログラム言語的にも存在しない
310 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 17:43:47.93 ID:0N19MYRA.net: ￥
311 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:34:53.42 ID:0N19MYRA.net: ￥
312 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:35:13.25 ID:0N19MYRA.net: ￥
313 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:35:30.03 ID:0N19MYRA.net: ￥
314 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:35:48.13 ID:0N19MYRA.net: ￥
315 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:36:06.86 ID:0N19MYRA.net: ￥
316 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:36:26.13 ID:0N19MYRA.net: ￥
317 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:36:45.64 ID:0N19MYRA.net: ￥
318 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:37:06.04 ID:0N19MYRA.net: ￥
319 ：￥ ◆2VB8wsVUoo ：2016/12/21(水) 22:37:25.75 ID:0N19MYRA.net: ￥
320 ：１３２人目の素数さん：2016/12/26(月) 06:40:47.07 ID:jkwW1Qng.net: リーマン球面 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2

実射影直線 - Wikipedia
http://ja.wikipedia.org/wiki/%E5%AE%9F%E5%B0%84%E5%BD%B1%E7%9B%B4%E7%B7%9A

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

ただそれだけの事である
321 ：１３２人目の素数さん：2016/12/26(月) 11:55:59.27 ID:/vvZh0KY.net: 数学の大統一は遠いね。
322 ：１３２人目の素数さん：2016/12/26(月) 14:03:47.06 ID:/vvZh0KY.net: 加減乗除とはなにか、と考える。
自然数Nにおいては加算されたものから自然数を引けば自然数になる。
乗算されたものを同じ自然数で割れば元の数になる。
これが本来の加減乗除であると考える。

それを拡大したのが現在の意味で用いられる加減乗除となり、
その意味は空間の拡大だ、と捉えるのが妥当であろう。
クラス[N]に属するaをa[N]のように記述するとすれば、
a[N] + b[N] = (a + b)[N+N]
a[N] * b[N] = (a * b)[N^2]
a[N] - b[N] = (a + (-b))[N+(-N)]
a[N] / b[N] = (a * (b^-1))[N*(N^-1)]
のように考えられるであろう。
323 ：１３２人目の素数さん：2016/12/26(月) 14:11:40.22 ID:/vvZh0KY.net: 自然数Nに-NとN^-1の空間を合わせることで空間が拡大される。
問題となるのは自然数Nに含まれない∅の扱いである。
それが０除算の問題となる。
0ではなく∅であり、加減乗除は空間の拡大であると考えれば、なにも問題はなく四則演算が行える。
a + ∅ = a であり a * ∅ = a / ∅ = ∅　となる。
324 ：１３２人目の素数さん：2016/12/26(月) 14:21:45.29 ID:/vvZh0KY.net: a * ∅ = a / ∅ = a とする意味空間も与えられる。
a + ∅ = ∅ とするような意味空間も与えらえる。
数学が自由であるならば一貫してさえいればどれでもよいはずだ。
325 ：１３２人目の素数さん：2016/12/26(月) 14:30:26.45 ID:M2ZUIHTh.net: 意味空間って言ってるけどさ、自分で意味を考えたことある？
例えば射影幾何とかで意味付け考えてみたら？
326 ：１３２人目の素数さん：2016/12/26(月) 14:31:57.24 ID:/vvZh0KY.net: 位相空間（意味空間）によって自由に数が組み立てられる。
異なるclass間での空間の組み立て方は何かによって制限されるのか？
それを考えている。
それを、空間の組み立て方は空間を組み立てるということによる制限しか持たない、とするのが数学なのだろう。
その制限・制約を与えるのは数学の外部である。そうでなくてはならない。
327 ：kumahanter777：2016/12/26(月) 14:32:08.98 ID:Kmwrp9fq.net: 東北大学の数学科の准教授です。

chiebukuro.yahoo.co.jp/my/kumahanter777
detail.chiebukuro.yahoo.co.jp/qa/question.php?request_type=3&request_nn=kumahanter777
328 ：１３２人目の素数さん：2016/12/26(月) 14:34:57.62 ID:/vvZh0KY.net: 意味とは、できるだけ意味をとりはらって、無定義用語にするとすれば「射」であるが、それも「対象」でしかない。
329 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:48:09.58 ID:P7KkK7Ue.net: ￥
330 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:48:25.13 ID:P7KkK7Ue.net: ￥
331 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:48:41.62 ID:P7KkK7Ue.net: ￥
332 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:48:57.95 ID:P7KkK7Ue.net: ￥
333 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:49:14.09 ID:P7KkK7Ue.net: ￥
334 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:49:31.20 ID:P7KkK7Ue.net: ￥
335 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:49:50.41 ID:P7KkK7Ue.net: ￥
336 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:50:09.55 ID:P7KkK7Ue.net: ￥
337 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:50:28.35 ID:P7KkK7Ue.net: ￥
338 ：￥ ◆2VB8wsVUoo ：2016/12/26(月) 16:50:46.38 ID:P7KkK7Ue.net: ￥
339 ：１３２人目の素数さん：2016/12/27(火) 10:30:15.10 ID:8zA53pPx.net: 空間を拡張してひとつの空間（setあるいはclass）とすれば∅はひとつかもしれないが、
classを接合したものだとすればそれぞれのclass由来の∅があり、数学が自由であればそれぞれの∅に対する演算は異なるかもしれない。

+-(^-1)のような空間以外にも>>1のように①②...のような空間を接合すれば0で除算する空間が作成できる。
これには部分集合としての∅ではなく、元としての0を∅とは別途につけくわえる必要があるのかもしれない。

数が∅というブラックホールに落ち込むとき、ブラックホールの表面がエントロピーになる。
そこに0を置きたい。0は∅の表面にある空間である。そこに張り付いているのが①②...
340 ：￥ ◆2VB8wsVUoo ：2016/12/27(火) 10:31:28.20 ID:iZPD86tj.net: ￥
341 ：１３２人目の素数さん：2016/12/28(水) 08:02:40.09 ID:95tt/VSv.net: >>323-324
何だ結局
Wheel_theory
から逃れられないじゃん
幾らclass替えしても行列駆使してもストレージ区別しても結局やっぱり
Wheel_theory
から逃れられないじゃん
自由を舐め過ぎ
342 ：１３２人目の素数さん：2016/12/29(木) 10:33:53.11 ID:2I8J3PGZ.net: ブラックホールの表面とかんがえてみたが、０の空間を考える場合、
∅の向こう側に反世界としての０の空間を考えたほうがよい。
今考えているのは有理数Qだから、∅の向こう側にあるのは￢Qとでもしよう。
そこにQと同じだけの反空間がある。
このように考えれば∅と０の区別をつけずにすむと思う。
０を中心として＋Qは０の向こう側に-Qがある。これと同じようにQは０の向こう側に￢Qがある。
>>1の①②...は￢Qの側にある。
そもそも、古代ギリシア数学では１は数ではなく単位扱いされている。
０と１は２以降の数とは違うclassにある。０と１の構造はおもしろい。
このへんがラングランズプログラムとかかわりがあるのかどうか。
343 ：１３２人目の素数さん：2017/01/04(水) 02:45:46.04 ID:ez3ZLUvq.net: >>342
真に有用な系なら
Wheel_theory
をも包括するよね
つまり、君がどれだけ絶妙な系を編み出してもいつかは
Wheel_theory
と向き合わなければならんという事だよ
344 ：１３２人目の素数さん：2017/01/05(木) 10:25:19.40 ID:RRlf0Dvh.net: んー？ WheelTheoryの論文すべてを読みこんだわけではないのでよくわかりませんけど、
とりあえず、やろうとしていることに対してWheelTheoryでは不十分だと思っていますが？
やろうとしていることは単純にいえば計算のUndoだし。
それと1/0,0/0付近の（時空の）解釈が異なります。0/0+x = 0/0 では値が保存できない。
345 ：１３２人目の素数さん：2017/01/05(木) 10:48:21.57 ID:HLve2vqJ.net: 超準解析でも、st.x＝0∧x≠0については上手くいくが、
真の0では割れないことに変わりはないからな。
かえって、環論の範囲で「0はある」がFAでいいのでは？
346 ：１３２人目の素数さん：2017/01/05(木) 15:00:44.16 ID:qSbIsGX3.net: >>344
いやだから君がどれだけ頑張ろうと保存できんケースは無くならんって事

君の不十分感覚っておかしいよ、ニーズに対する不十分って感じで理性の不十分って感じじゃない
「病的で不健全」と言っている君の「欲求」こそ理性的でない

> 0/0+x = 0/0 では値が保存できない｡

既に0自体が比を保存してない事に気付いていない？

>>345
だからと言ってWheel_theoryの指摘を回避できてる訳ではない
347 ：１３２人目の素数さん：2017/01/05(木) 15:37:10.50 ID:qSbIsGX3.net: class分けとやらにしたって手の込んだ別格納で本質的には繰り込みと何ら変わらん訳だけど

不健全、不健全と言い立てるけど完全無欠な数系は有り得ないよ
1/(2-2)
例えばこれをどうclass分けするの？分母が完全に0だよ
1/(2-2)=1/{2*(1-1)}
1/0=1/(2*0)
0である時点で比情報なんて消失してるんだよ
348 ：１３２人目の素数さん：2017/02/16(木) 09:31:21.18 ID:8NOvnpzP.net: https://youtu.be/2q-vGObpa4M
349 ：１３２人目の素数さん：2017/02/16(木) 20:53:45.84 ID:FDUgM6D2.net: wheel theory って、最後の駄目押しだけど、
それ以前に「環には0がある」で済む話だよね。
350 ：１３２人目の素数さん：2017/02/16(木) 21:47:58.80 ID:adNfyH0L.net: だが>>344にはそれだけでは理解できなかったし
最後の駄目押しも理解できなかった
351 ：１３２人目の素数さん：2017/02/20(月) 13:03:49.48 ID:Zgv63zcW.net: 35:54
↓
10:40
https://www.youtube.com/watch?v=WTdY7h129Mk

https://www.youtube.com/watch?v=8R0luOy8ce8
352 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:05:02.96 ID:vPMeQnxx.net: ￥
353 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:05:18.71 ID:vPMeQnxx.net: ￥
354 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:05:33.96 ID:vPMeQnxx.net: ￥
355 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:06:10.28 ID:vPMeQnxx.net: ￥
356 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:06:26.94 ID:vPMeQnxx.net: ￥
357 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:06:43.76 ID:vPMeQnxx.net: ￥
358 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:07:00.71 ID:vPMeQnxx.net: ￥
359 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:07:17.95 ID:vPMeQnxx.net: ￥
360 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:07:39.09 ID:vPMeQnxx.net: ￥
361 ：￥ ◆2VB8wsVUoo ：2017/02/22(水) 06:07:55.95 ID:vPMeQnxx.net: ￥
362 ：１３２人目の素数さん：2017/02/24(金) 22:39:48.06 ID:04jNp6k2.net: 0の0乗って、1だよねw
363 ：１３２人目の素数さん：2017/02/24(金) 23:57:02.60 ID:hpVrglG4.net: それ、1÷0とは関係ないから。
0^0=1 と定義する(ような ^ を定義する)流儀と
0^0 の値は定義しない(ような ^ を定義する)流儀があって、
一長一短。どちらの ^ を採用するかは、
そのとき扱っている数学の分野による。
0^0 を 1 以外に定義する流儀は、流石にないようだが。
最終的には、好みの問題かな。
この話題が出ると、関数は定義して使うものだということが
理解できなくて、どちらが正しいのかに拘り続ける
お馬鹿さんが登場してくることが多い。
364 ：１３２人目の素数さん：2017/02/25(土) 17:26:28.96 ID:nvrEimJ8.net: 仮に1000冊の本を売り出したとしよう
誰も買わなかった場合答えは
1000÷0=0余り1000

数学みたいな考えではないけどこんなイメージがある
365 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:09:19.56 ID:RabypwXl.net: ￥
366 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:09:37.85 ID:RabypwXl.net: ￥
367 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:09:54.27 ID:RabypwXl.net: ￥
368 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:10:12.09 ID:RabypwXl.net: ￥
369 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:10:29.35 ID:RabypwXl.net: ￥
370 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:10:45.27 ID:RabypwXl.net: ￥
371 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:11:02.15 ID:RabypwXl.net: ￥
372 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:11:19.82 ID:RabypwXl.net: ￥
373 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:11:37.02 ID:RabypwXl.net: ￥
374 ：￥ ◆2VB8wsVUoo ：2017/02/26(日) 08:11:54.55 ID:RabypwXl.net: ￥
375 ：１３２人目の素数さん：2017/07/21(金) 21:58:55.62 ID:TROq1Jv/.net: ☆ 日本人の婚姻数と出生数を増やしましょう。そのためには、☆
① 公的年金と生活保護を段階的に廃止して、満18歳以上の日本人に、
ベーシックインカムの導入は必須です。月額約60000円位ならば、廃止すれば
財源的には可能です。ベーシックインカム、でぜひググってみてください。
② 人工子宮は、既に完成しています。独身でも自分の赤ちゃんが欲しい方々へ。
人工子宮、でぜひググってみてください。日本のために、お願い致します。☆☆
376 ：１３２人目の素数さん：2017/09/05(火) 06:17:27.31 ID:PCfG056b.net: 耳栓をしたら世界が変わってワロタ
377 ：￥：2017/09/05(火) 06:44:22.01 ID:ZSz+2Alj.net: ￥
378 ：￥：2017/09/05(火) 07:13:52.78 ID:ZSz+2Alj.net: ￥
379 ：￥：2017/09/05(火) 07:14:09.48 ID:ZSz+2Alj.net: ￥
380 ：￥：2017/09/05(火) 07:14:27.01 ID:ZSz+2Alj.net: ￥
381 ：￥：2017/09/05(火) 07:14:42.09 ID:ZSz+2Alj.net: ￥
382 ：￥：2017/09/05(火) 07:14:58.15 ID:ZSz+2Alj.net: ￥
383 ：￥：2017/09/05(火) 07:15:17.31 ID:ZSz+2Alj.net: ￥
384 ：￥：2017/09/05(火) 07:15:34.85 ID:ZSz+2Alj.net: ￥
385 ：￥：2017/09/05(火) 07:15:50.81 ID:ZSz+2Alj.net: ￥
386 ：￥：2017/09/05(火) 07:16:07.68 ID:ZSz+2Alj.net: ￥
387 ：１３２人目の素数さん：2017/09/05(火) 15:28:17.79 ID:PCfG056b.net: 耳栓をしたら世界が変わってワロタ
388 ：￥：2017/09/05(火) 15:35:08.39 ID:ZSz+2Alj.net: ￥
389 ：１３２人目の素数さん：2017/09/10(日) 06:48:54.53 ID:tt7dT1ES.net: 耳栓をしたら世界が変わってワロタ
390 ：￥：2017/10/23(月) 17:15:58.68 ID:Dl6USvMt.net: ￥
391 ：￥：2017/10/23(月) 17:16:14.33 ID:Dl6USvMt.net: ￥
392 ：￥：2017/10/23(月) 17:16:30.26 ID:Dl6USvMt.net: ￥
393 ：￥：2017/10/23(月) 17:16:45.51 ID:Dl6USvMt.net: ￥
394 ：￥：2017/10/23(月) 17:17:02.47 ID:Dl6USvMt.net: ￥
395 ：￥：2017/10/23(月) 17:17:18.82 ID:Dl6USvMt.net: ￥
396 ：￥：2017/10/23(月) 17:17:33.80 ID:Dl6USvMt.net: ￥
397 ：￥：2017/10/23(月) 17:17:57.59 ID:Dl6USvMt.net: ￥
398 ：￥：2017/10/23(月) 17:18:20.62 ID:Dl6USvMt.net: ￥
399 ：￥：2017/10/23(月) 17:18:38.22 ID:Dl6USvMt.net: ￥
400 ：１３２人目の素数さん：2018/11/15(木) 04:06:43.60 ID:cLOmSo3p.net: wniの鈴木里奈の脇くっさ
　　　　　(6 lゝ､●.ﾉ　ヽ､●_ノ |!/
　　　　　 | 　　 ,.' 　i､　　　 |}
　　　　　　　', 　　 ,`ｰ'ﾞ､_　　 l
　　　　　　　＼　､'､v三ﾂ　　/
　　　　　　　　|＼　´　　｀　, イﾄ､
　　　　　　／ﾊ ` ｀二二´ ´ /　|:::ヽ
　　　　／::::/　',　　 : . . :　　/　 |:::::::ﾊヽ
https://twitter.com/ibuki_air
０９０５８６４４３８４
(deleted an unsolicited ad)
401 ：１３２人目の素数さん：2018/11/15(木) 16:11:04.65 ID:wP6nIP2o.net: j=1/0
の三元数にすればいい。
402 ：１３２人目の素数さん：2018/11/15(木) 16:36:44.62 ID:DscCgifP.net: 足すと3を掛けたことになる数とかどうだ？
4+❸=12
7+❸=21
みたいな
403 ：１３２人目の素数さん：2018/11/15(木) 17:44:33.13 ID:yisv0c6P.net: 1÷0は俺が3って定義しただろ
404 ：１３２人目の素数さん：2018/11/15(木) 21:34:24.29 ID:6QoRET0S.net: 俺は思うんだ
1x0は1が0個あるので0であるその通りだな
しかし
1÷0は1を0分割したので0であるひっかかるな
つまり、0とは分割した先の数量である
1000円を10人で分けるから1人の分け前は100円
これを掛け算で表すと1000x1/10で1000/10=100だ
1000円を0人で分けたら0人の分け前は0円である
1000x1/0は1000/0 =0 そうなのか？
0を1000分割した0は0でいいのか

問題にしてみる
ここに1000円ある
0人で分けた場合一人当たりの分け前はいくらか。
答え
0円そうだろうか 1000/0ではないか？1000の1/0ではないか？
それは0と等しいと言っていいのか俺は0の性質が変質してると思うんだ
405 ：１３２人目の素数さん：2018/11/16(金) 04:44:32.48 ID:TJPJ8odG.net: 1/0=0とする奴は量的感覚すら欠落し、ただ闇雲に屁理屈ばかり
406 ：１３２人目の素数さん：2018/11/16(金) 05:16:43.85 ID:TJPJ8odG.net: 0には符号不定性があって1/0も符号不定なんだから
先ずは絶対値|1/0|から考えてみろよ、∞でしか無くなるだろ
その後に0の符号不定性をどう解釈し1/0に符号はどう定められるかを考えろ
407 ：１３２人目の素数さん：2018/11/16(金) 05:27:06.59 ID:TJPJ8odG.net: 1/0が定義しにくい理由の1つ
+0=-0 but +∞≠-∞
0∠90ﾟ=0∠270ﾟ but ∞∠90ﾟ≠∞∠270ﾟ
(複素数を知らない人間が居そうなスレなので極座標表現した)
この様に0の逆数1/0は0同様に符号不定なので一つの値に定まらない・符号不定である事が分かる
408 ：１３２人目の素数さん：2018/12/28(金) 18:54:21.96 ID:ZjqumJwb.net: 代数では０＾０は１と定義するのが妥当。
409 ：１３２人目の素数さん：2018/12/28(金) 20:05:54.32 ID:Mnip1XNe.net: 1/0＝∞。中学生でもわかるw　
lim(1/n)[n→∞]=0

1/1=1
1/100=0.01
1/10000=0.0001
1/(10^10)=0.0000000001
1/(10^100)=0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001

よって、>>1は小学生レベル程度の知能と理解力ｗｗｗ　
俺も文系だが、>>1は文系を名乗るな！　「脳みそ使用停止太郎」とでも名乗れ！
410 ：１３２人目の素数さん：2018/12/28(金) 20:10:10.45 ID:Mnip1XNe.net: 分かりやすく、逆数を使ってやったぜ！！
411 ：１３２人目の素数さん：2018/12/29(土) 07:31:16.95 ID:F/1ZnRkW.net: 但しその場合の∞は正の無限大ではなく、一点コンパクト化された複素無限大を意味する無限遠点
んでもって複素数に無限遠点を追加した系は扱いに注意が必要
412 ：１３２人目の素数さん：2018/12/29(土) 09:50:18.14 ID:F/1ZnRkW.net: 輪 (数学) - Wikipedia
https://ja.wikipedia.org/wiki/%E8%BC%AA_(%E6%95%B0%E5%AD%A6)

https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Real_projective_line.svg/374px-Real_projective_line.svg.png
実射影直線 - Wikipedia
https://ja.wikipedia.org/wiki/%E5%AE%9F%E5%B0%84%E5%BD%B1%E7%9B%B4%E7%B7%9A

https://upload.wikimedia.org/wikipedia/commons/8/85/Stereographic_projection_in_3D.png
リーマン球面 - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2

此方は±∞を一点コンパクトせず実数に追加した例
拡大実数 - Wikipedia
https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
413 ：１３２人目の素数さん：2019/01/06(日) 03:07:41.50 ID:XR08xOo7.net: 除法ってのは乗法的逆元を持ってくる乗法じゃん
0に逆元は存在しないので定義されない
そもそも"0以外に"逆元が存在するということが体の定義に含まれているので当然のこと
414 ：１３２人目の素数さん：2019/01/06(日) 07:13:20.07 ID:XXI2F+4O.net: 体ではない場合には逆元があってもそれだけで乗法の逆演算である除法が存在するとは限らない
結合法則が成り立たない十六元数には0以外に逆数があるが除法は一般にできない
415 ：１３２人目の素数さん：2019/01/06(日) 10:16:19.38 ID:HvO78JBu.net: で？嫌味に清書しに来ただけ？
416 ：１３２人目の素数さん：2019/01/06(日) 10:27:36.92 ID:XXI2F+4O.net: ここは５ちゃんではあるが数学のスレでもあるからな
417 ：１３２人目の素数さん：2019/01/06(日) 10:32:36.28 ID:HvO78JBu.net: で、誰の意見に対して応えたつもりになってるわけ？
418 ：１３２人目の素数さん：2019/01/06(日) 11:33:00.36 ID:XXI2F+4O.net: コピペしか書けないヤツがいるのも５ちゃんらしい
419 ：低学歴超変態食糞愛好家井口千明の連絡先：葛飾区青戸６－２３－１６：2019/01/06(日) 11:46:56.03 ID:HlqGsCVU.net: ☆★☆【神よこの者たちはもはや人間ではない悪魔であるこのような悪魔どもを一匹残らず殺してくださいお願いします】★☆★

《超悪質！盗聴盗撮・つきまとい嫌がらせ犯罪首謀者の実名と住所／死ねっ!! 悪魔井口・千明っ!!》
【要注意!! 盗聴盗撮・つきまとい嫌がらせ犯罪工作員】
◎井口・千明（東京都葛飾区青戸６－２３－１６）
※盗聴盗撮・嫌がらせつきまとい犯罪者のリーダー的存在／犯罪組織の一員で様々な犯罪行為に手を染めている
　低学歴で醜いほどの学歴コンプレックスの塊／超変態で食糞愛好家である／醜悪で不気味な顔つきが特徴的である

【超悪質！盗聴盗撮・嫌がらせつきまとい犯罪者の実名と住所／井口・千明の子分たち】
①宇野壽倫（東京都葛飾区青戸６－２３－２１ハイツニュー青戸２０２）
※宇野壽倫は過去に生活保護を不正に受給していた犯罪者です／どんどん警察や役所に通報・密告してやってください
②色川高志（東京都葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
※色川高志は現在まさに、生活保護を不正に受給している犯罪者です／どんどん警察や役所に通報・密告してやってください

【通報先】
◎葛飾区福祉事務所（西生活課）
〒１２４－８５５５
東京都葛飾区立石５－１３－１
℡０３－３６９５－１１１１

③清水（東京都葛飾区青戸６－２３－１９）
※低学歴脱糞老女：清水婆婆　☆☆低学歴脱糞老女・清水婆婆は高学歴家系を一方的に憎悪している☆☆
　清水婆婆はコンプレックスの塊でとにかく底意地が悪い／醜悪な形相で嫌がらせを楽しんでいるまさに悪魔のような老婆である
④高添・沼田（東京都葛飾区青戸６－２６－６）
※犯罪首謀者井口・千明の子分／いつも逆らえずに言いなりになっている金魚のフン／親子孫一族そろって低能
⑤高橋（東京都葛飾区青戸６－２３－２３）
⑥長木義明（東京都葛飾区青戸６－２３－２０）
⑦若林豆腐店店主（東京都葛飾区青戸２－９－１４）
⑧肉の津南青戸店店主（東京都葛飾区青戸６－３５ー２
420 ：１３２人目の素数さん：2019/01/07(月) 14:51:57.34 ID:tcE3zcyw.net: 複素数上1/0=不能

|Re(拡張複素数上1/0極座標表示)|=|拡張実数上1/0|=拡張正実数上1/0
=|Re(∞∠不定)|=|±∞|=∞

0/0=不定、どこまで拡張した数系でも不定
421 ：１３２人目の素数さん：2019/01/08(火) 01:36:00.19 ID:WTiWI/3u.net: そういえば÷０の余りは定義できるって黒木が言ってたな
422 ：１３２人目の素数さん：2019/02/01(金) 00:01:01.50 ID:GQDvTYGs.net: |Re(拡張複素数極座標上解1/0)|=|拡張実数上解1/0|=拡張正実数上解1/0
=|Re(拡張複素数極座標上解∞∠不定)|=|拡張実数上解±∞|=拡張正実数上解∞
=複素数上解不能

0/0=∞/∞=不定
423 ：１３２人目の素数さん：2019/08/01(木) 12:54:14.36 ID:pJvjaWjB.net: 「定義されてない」＝「定義可能」
って感じるが、この場合は「定義不能」
「定義されてない」ではなく、「定義できない」
424 ：１３２人目の素数さん：2019/08/28(水) 00:39:14.49 ID:Mqd9s9hZ.net: 1/0=0なんだそうだ。
http://www.mirun.sctv.jp/~suugaku/
425 ：１３２人目の素数さん：2019/08/29(木) 04:38:14.23 ID:pQMbgVoa.net: >>424
|Re(1÷0)|=|Re(位相不定の∞)|=|±∞|=∞
426 ：１３２人目の素数さん：2019/10/27(日) 13:01:27.63 ID:Fbj4/nJK.net: 「１／０＝ｙのとき０・ｙ＝１となるｙは存在しないから１／０は定義できない」て説明あるけど
虚数があるんだから０・ｙ＝１となるｙを定義すればいいんじゃないのか
それを誰もしない理由を分かりやすく説明してくれ
427 ：１３２人目の素数さん：2019/10/27(日) 13:38:07.05 ID:HtFbEzvH.net: 定義しても不定形だらけの体系にしか成らない事がケンブリッジ大学の輪論で語られている
428 ：１３２人目の素数さん：2021/01/31(日) 18:11:17.72 ID:FoAtuery.net: 指数法則
aᵐ⁺ⁿ=aᵐaⁿを満足する0⁰の定義は0⁰=0と0⁰=1がある

0⁰=1の場合は通常知られている通り
n:正整数に対し0⁻ⁿ0ⁿ=0⁻ⁿ⁺ⁿ=0⁰=1と0ⁿ=0より0⁻ⁿは定義できないが

0⁰=0の場合は
n:正整数に対し0⁻ⁿ0ⁿ=0⁰=0と0ⁿ=0は矛盾を生じないから任意の0⁻ⁿは定義可能
そして任意の0⁻ⁿを定義している時
0⁻ⁿ=0⁻ⁿ⁻¹・0¹=0でなければならないから
任意の実数xに対し0ˣ=0
しかし、指数が複素数の場合については0ⁱ=0ⁱ×0⁰=0を根拠に0と定義する事で指数法則は満足するが、複素指数関数の定義からは0ˣ=exp(xlog0)でlog0を-∞の極限と考えてもこの大きさは必ず1になり、その定義と矛盾してしまう
つまりべき乗を複素数^複素数全域について定義可能だが、複素数乗の定義は非連続になる

ちなみに0⁰=1の場合は0ⁱの主枝を1とすれば0^(任意の実部が0以上の複素数)=1と定義すれば複素数乗の定義とも指数法則とも適合する

という妄想🤪
429 ：１３２人目の素数さん：2021/02/01(月) 00:22:45.62 ID:lPHgVR3w.net: 射影幾何で定義されてる
430 ：１３２人目の素数さん：2021/02/01(月) 11:45:24.41 ID:ZFsykc4D.net: surreal numberでも1/0は存在しない
https://ja.wikipedia.org/wiki/%E8%B6%85%E7%8F%BE%E5%AE%9F%E6%95%B0
431 ：１３２人目の素数さん：2021/02/17(水) 14:12:00.54 ID:o0vn2GMs.net: １÷０＝∞　　∞÷∞＝１　　０÷０＝１
０＝１÷∞　　∞×０＝１
∞÷０＝∞×∞　　０÷∞＝０×０
∞＋∞＝２∞　　∞－∞＝１
∞×∞＋∞×∞＝２∞×∞　　∞×∞－∞×∞＝∞
０＋０＝２×０　　０－０＝０×０
０×０＋０×０＝２×０×０　　０×０－０×０＝０×０×０　
432 ：１３２人目の素数さん：2021/02/18(木) 07:09:00.91 ID:axCgUTyg.net: >>431
おいおい責めて 0 は符号が不定である事を加味して
絶対値記号 | | もしくは絶対値関数 ABS( ) を使って |1/0|=∞ や ABS(1/0)=∞ 等と工夫した書き方を考えろよ
言われなくたって -∞=-|1/0|=-ABS(1/0) くらいの事は分かるだろ

見立てが甘いぞ、「乗数 0 や除数 0 」は「被乗数や被除数の『絶対値情報』だけでなく『符号情報』」も無に帰すんだぞ｡
ほんの少しばかりなめすぎ。だが、その、ほんの少しばかりで100%間違いになるのが乗数0 と除数0 だろ｡
433 ：１３２人目の素数さん：2021/03/16(火) 05:22:33.82 ID:8j8qOpd3.net: 【ゆっくり解説】なぜ0で割ることができないのか？数学の不思議 - YouTube
://youtu.be/2kpkTX0V_lo
434 ：１３２人目の素数さん：2021/05/17(月) 19:50:05.38 ID:GfbBD4CY.net: 0÷0は、0だと思う。
435 ：１３２人目の素数さん：2021/05/17(月) 23:55:49.06 ID:3JeBhEzU.net: >>434
そんな定義にしたらバグが大量発生するぞ
436 ：１３２人目の素数さん：2021/05/30(日) 17:24:56.24 ID:m1wgIS77.net: 「1÷0は不能、0÷0は不定」「割り算の定義として『÷0』は定義不可｣
https://youtu.be/blVUxW0xrx4
437 ：１３２人目の素数さん：2021/08/10(火) 14:13:01.40 ID:NT0Vwzno.net: おまえが定義するんだよボケ
438 ：１３２人目の素数さん：2021/08/11(水) 13:29:27.70 ID:qUNuHqGh.net: >>437
定義しても使い物に成らん事がをケンブリッジ大学で示された｡

Wheel theory - Wikipedia
https://en.m.wikipedia.org/wiki/Wheel_theory

0除算を排斥する事で使い物に成る｡
439 ：１３２人目の素数さん：2022/09/03(土) 12:46:05.95 ID:qb4khiEI.net: 難しいのぅ
440 ：１３２人目の素数さん：2022/09/05(月) 09:50:54.74 ID:RYy03OiT.net: 元が1つしかない自明な体であれば、
0ｘ0＝0、0＋0＝0、0－0＝0、0／0＝0
で完結している。矛盾はない。
441 ：１３２人目の素数さん：[ここ壊れてます] .net: つまり零環
442 ：１３２人目の素数さん：2022/09/15(木) 16:59:17.14 ID:36bS/m4N.net: 自明な体上の多項式環を考えて見る

零次の元は0だけだ。
ちょうど一次の元は0ｚ＋0だけだ。
ちょうど二次の元は0z^2+0z+0だけだ。
そうして、ちょうど何次の元もただ1つだけになる。
（0ｚ＋0）^k = 0z^k + 0z^{k-1}+....+0
なので、ｋ次の元は一意に因数分解できて（0z+0）^k となるだろう。
その零点は0ｚ＋0＝0より、0ｚ＝0だから、ｚ＝0だけだ。

自明な体上の有理関数について調べよ。
443 ：１３２人目の素数さん：2022/09/16(金) 09:37:33.36 ID:+huY61rD.net: 最高次の項の係数が０であることを認めない流儀だとすれば、
０z^k+ .....+ 0 はk次多項式ではないのかもな。
しかし、そうであれば、任意の正の自然数ｋに対して一元体を係数とする
ｋ次多項式は存在しない。存在する多項式も零次の多項式つまり定数の０
だけになってしまい、つまらない。
444 ：１３２人目の素数さん：2022/09/16(金) 18:35:32.91 ID:pOJi/hja.net: >>1
まだ地球人はその答えを承知しないが
宇宙生命体👾のぽくなら、
3/0＝3000・・・
ちなみに、
1/0＝1000・・・だな。
π/0＝3141・・・だし、
モピロン、これで正に誠に真に
極超々々々・・・完璧アル
445 ：１３２人目の素数さん：2022/10/01(土) 17:26:53.42 ID:TNGRb880.net: 1×0=1 0÷1=1
5÷0=5 0×5=5

1=2

0×0×0×…=1

X^n+Y^n=Z^n
① 0^n=1 0×0×0×0…=1
② Y^n=1 1×1×1…=1
Z^n 2×2×2=8 3×3×3×3=71
2=8 2=71

フェルマーの最終定理は1=2にならないので間違ってるnが3乗以上だと成立しない
このことから1=2はフェルマーの最終定理を証明でき
1=2は正しいと証明された

さらにピタゴラスの定理ではnが2なので
①と②の計算から1+1=4となり2=4 1=2
ピタゴラスの定理は1=2に当てはまり正しい事がわかる
これによって1=2であることは証明された
446 ：１３２人目の素数さん：2022/10/19(水) 12:23:58.60 ID:PC0a3RIi.net: 0でないものを0で割った答えを0にするというのは
フォンノイマン代数といって、既にあるんだよ。
日本ではあまり有名じゃないがね。

それと関連するのは、行列の「一般化逆行列」と呼ばれるもの。
447 ：１３２人目の素数さん：2022/10/19(水) 19:41:57.59 ID:U1b8mXhf.net: その様な系を、このスレで亡者の様にずっと提言し続けてる奴が触れておらず､
むしろ「実数体を更なる演算性補足完備化した改善実数体」を夢想している事は自明｡

だから「0を掛けられる前の数を記録しておく」等と言った、数学から外れた妄言が飛び出したり､
「じゃあ0を掛けられる前の数が未知で初見から0の数は？前宇宙の記憶とか言い出すなよ？」と問い詰めると
「0÷0=1、2×0÷0=1と決めてしまえばいい」等と言った非現実的非科学的非数学的非論理的な妄言が飛び出す｡

妄言屋の隔離スレと成っている。リハビリ以前に治療も不能。養護しても逆効果なので隔離｡
448 ：１３２人目の素数さん：2022/11/06(日) 21:30:44.27 ID:wcZTKbBb.net: 特に線型代数において、行列 {\displaystyle A}A のムーア・ペンローズ逆行列
（英: Moore-Penrose inverse） {\displaystyle A^{+}}A^{+} は、
逆行列の最もよく知られている一般化である[1][2][3][4]。
ムーア・ペンローズ形一般逆行列とも呼ばれる[5]。1920年にE・H・ムーア[6]に、
1951年にArne Bjerhammar[7]に、1955年にロジャー・ペンローズ[8]によって
独立して記述された。それ以前、エリック・イヴァル・フレドホルムは、
1903年に積分演算子の擬似逆行列の概念を導入していた。
行列について述べる場合、特段の指定がない限り、擬似逆行列という用語は
ムーア・ペンローズ逆行列を指すことが多い。
一般化逆行列という用語は、擬似逆行列の同義語として用られることがある。
449 ：１３２人目の素数さん：2022/11/07(月) 08:45:46.30 ID:sdqTqJEo.net: おいおい…
450 ：１３２人目の素数さん：2022/12/20(火) 16:05:30.97 ID:R0GrT6qP.net: https://i.imgur.com/tYdXtyF.jpg
https://i.imgur.com/orxbN7G.jpg
https://i.imgur.com/RCZ3IIj.jpg
https://i.imgur.com/aJkAe4K.jpg
https://i.imgur.com/fX8Aue3.jpg
https://i.imgur.com/QGXOkdy.jpg
https://i.imgur.com/iYizOxr.jpg
https://i.imgur.com/UF3FpxL.jpg
https://i.imgur.com/opQDtAV.jpg
https://i.imgur.com/sYywMwS.jpg
https://i.imgur.com/XsITHEB.jpg
https://i.imgur.com/lO0blaS.jpg
451 ：１３２人目の素数さん：2022/12/21(水) 13:24:28.72 ID:c/dR3Pbk.net: 1元体の応用を広げよう。1元体の代数拡大体は1元体自身になる。
452 ：１３２人目の素数さん：2022/12/24(土) 21:54:42.07 ID:/P8Bw71J.net: つまり一元体は代数兵隊である。
453 ：１３２人目の素数さん：2022/12/24(土) 22:03:46.54 ID:NfOGMIxl.net: ∞じゃないの？
454 ：１３２人目の素数さん：2022/12/24(土) 22:09:46.65 ID:NfOGMIxl.net: ∞×０=１にしちゃって
１÷０=∞にしちゃうしかないんじゃないの？
455 ：１３２人目の素数さん：2022/12/24(土) 22:17:58.52 ID:NfOGMIxl.net: １÷０.１=１０,
１÷０.０１=１００,
１÷０.００１=１０００,…
１÷０=∞だからね!?
他にないでしょ!?
456 ：１３２人目の素数さん：2022/12/24(土) 22:23:48.76 ID:NfOGMIxl.net: はっきり答えて!
今すぐに!

…答えられないんだ?

嘘つき!
ぢｯChanの嘘つき!
。　。゜。
(д<゜)。ｩゎゎゎゎ~ﾝ゜。゜
457 ：１３２人目の素数さん：2022/12/24(土) 22:24:42.38 ID:NfOGMIxl.net: ぢｯChanの嘘つき!
458 ：１３２人目の素数さん：2023/01/03(火) 07:07:05.99 ID:E8Gx+d+/.net: >>454-455
何でプラス側からの接近ばかり考えてマイナス側からの接近や虚数域からの接近は考えなかった？やり直し

>>456-457
うるさい、お前の様な豚は細切れにしてしゃぶしゃぶ茹での刑だ
459 ：１３２人目の素数さん：2023/01/03(火) 18:50:22.46 ID:6BjlEYED.net: 0に±がないのが問題
0を特別扱いしない方が綺麗だとは思わないか？
-0だろうが-0iだろうが本質は変わらないから普段は0と記す、という事にしておけばよい
ゼロ除算の時だけは省略せずに-∞や∞iなんかをしっかり持ってくる
460 ：１３２人目の素数さん：2023/01/04(水) 02:58:14.21 ID:x9OImmQ4.net: またお前か、失せろ
461 ：１３２人目の素数さん：2023/01/09(月) 14:38:57.43 ID:afxohR47.net: 今の多くのCPUの浮動小数点の内部表現では、
＋0.0と－0.0が両方ともある。さらに＋∞とー∞もある。

整数の内部表現は今の普通のCPUは二の補数表現を用いているので、
0に正負の二通りはなくてただ0が一つあるのみ。
そうして、正の最大の整数と、負の最小の整数は、絶対値が異なり、
負のものの絶対値の方が1つ大きくなる。たとえば4ビットの例では
－8、－7，－6，－5，－4，－3，－2，－1、0，1，2，3，4，5，6，7
である。（普通は、符号付きの二進数の整数は
8ビット、16ビット、32ビット、64ビットなどである。）
462 ：１３２人目の素数さん：2023/01/10(火) 23:31:52.05 ID:tVoPdrjb.net: かつて、整数に1の補数表現を用いる計算機があり、
それはプラスの0とマイナスの0が別の表現として存在した。
たとえば4ビットの場合であれば、
0000：が＋0
0001：が1
0010：が2
0011：が3
0100：が4
0101：が5
0110：が6
0111：が7
1000：は－7
1001：はー6
1010：は－5
1011：は－4
1100：は－3
1101：は－2
1110：は－1
1111：はー0
である。1の補数表現は，二進表示の0と1を反転させると，表している数の
符号が反転する。ただし、0の表現が＋0と－0の二通りになる。

他にも、符号絶対値表現というものがあり、先頭のビットが0なら正、1なら負である
として、後のビットの並びは普通の二進表現でその数の絶対値を表すというものも
やはり0に正負の二通りが生じる。
463 ：１３２人目の素数さん：2023/01/11(水) 00:24:46.76 ID:WDZXagA+.net: 無限遠点だろ
464 ：１３２人目の素数さん：2023/01/12(木) 16:32:45.24 ID:eujZ92Wl.net: 浮動小数点数の内部表現は、通常は
符号、指数部、仮数部となっていて、
仮数部には絶対値表現が用いられている。
そのため、＋0．0と－0．0が別のビットパターンとして存在する。
465 ：１３２人目の素数さん：2023/01/13(金) 04:11:51.34 ID:rsDxt8ni.net: 無限小を「仮想表現」
466 ：１３２人目の素数さん：2023/01/16(月) 16:09:46.53 ID:FxzWntro.net: >>453-457
分かったか？
>>463の言う通りだ
正の無限大の意味しか齎されてない場合の∞と
一点コンパクト化された任意の複素無限大の意味を齎された場合の∞とで
わけが変わって来る事くらい知っとけ

もっと言えば複素数体に限定して語らず除算が定義される多元体まで値域を広げて語るべきだから
0の逆数は任意の複素無限大だけじゃないんだけどな
467 ：１３２人目の素数さん：2023/01/25(水) 21:43:52.38 ID:xivZ01AB.net: 複素平面を考えて、複素平面に原点で接する単位半球（球面の下半分）を考えて
その単位半球の中心から複素平面に直線を引くと、複素平面上の1つの点に対応して
半球面上の1つの点が定まることが判る。半球面の赤道上の点には有限な複素数は
対応が無いが、極限を考えてやれば、絶対値無限大の複素数は赤道（つまり円周）
と対応が付く。そうやって赤道を含めた半球面をこんどは、複素平面の原点と
球面の中心を結んだ線上で複素平面から半球の中心よりも離れた点をとって
そこを立体射影の中心とすれば、赤道を含めた半球面は、複素平面上の
円盤（円周を含む）全体と1対1で対応するから、複素数の全体に絶対値が
無限大となる極限を加えて閉円盤の形にもコンパクト化できると思うけれども、
あまりそういう話にならないね。一点コンパクト化は絶対値が無限に大きく
なる場合の偏角の違いを無視している。1点ではなくて無限遠円周を付け加えて
コンパクト化をすれば、偏角の違いを取り入れられるのに。
468 ：１３２人目の素数さん：2023/01/26(木) 10:10:42.62 ID:fFhtBmGE.net: ベクトルの長さがゼロに退化しても
角度の情報を喪わない方法。
469 ：１３２人目の素数さん：2023/01/26(木) 22:15:26.22 ID:IGRqs6ti.net: >>467
複素数平面の単位半球面への射影か。一方で俺も26年前に実数x-y座標の単位四角平面への射影をした事が有る｡
だが、任意の複素無限大の一点コンパクト化は、そもそも其れが目的だったりするから
どうしても話題獲得性は複素数平面の単位球面への射影に圧倒的に負けてしまう｡

>>468
いや任意の複素零は一点コンパクト化される以前の元々からして一点だから零の幾何表現は一点が幾何的自然｡
君が前々から「零だけ±の区別が無いのはおかしいだろ」と言ってる方が、むしろ不自然｡
と言うか、幾何的自然を破壊してでも任意の複素零の各相を区別したいならば
単位半球面ではなく単位円柱だろ。複素零各相を区別表現したくたって零は球面や半球面で一点に収束表示されるんだから
球面や半球面ではなく円柱にしないと、また零が収束してしまうだろ｡

だが、差が零である±零を正負で区別して表示した幾何座標は、矢張り、不自然だ｡
470 ：１３２人目の素数さん：2023/05/29(月) 12:23:31.43 ID:Zx2tdsiA.net: 1÷0=1
0×1=1
0×0=1
0÷0=1
0は奇数
471 ：１３２人目の素数さん：2023/05/29(月) 21:45:50.67 ID:a87jPfm4.net: たかが軸が二本だか三本だか交差してるだけのシンプルな図で数というものを網羅しようというのが間違いなんじゃないの
人間にとっての分かりやすさを重視したせいで矛盾が生じてるんだよ
472 ：１３２人目の素数さん：2023/06/09(金) 20:37:45.22 ID:FrD8/Koy.net: 例えば
1×0=0
これの理屈を説明するために、この式が成り立つ文章題を考えると
「こたつの上にはみかんは1つもありません。A君はこたつの上の食べ物を食べた時、A君はみかんを何個食べたでしょう」
と言う事ができて、そもそもみかんはこたつの上に存在しない(=0個)のでA君はみかんは1つも食べてないと言えます。
1×0=0はそれぞれ　「人数」×「個数」＝「人が食べた数」というふうに置き換えられる。

1÷0についてですが、これの答えは解なしとなりますが、同時に「不定」とも言います。
不定とは文字の通り、「定まった値をとりません」と言う意味になります。例えば割り算の筆算の形を思い出してみるとわかりやすいですが、
＿＿＿
割られる数)割る数

と言うふうな形で表せます。小学校3年生の範囲です。
これを1÷0で再現すると、
＿
0)1
　　　　　　　　　　＿＿
となります。この上の　　線の上に数字を入れて割っていくのが筆算ですが、0の場合どの数を入れても計算できてしまいます。
これは数学の規則に反するため、「1÷0は不定」とされるのです。
ーー以下、強引に0で割る世界を作ったら(上級者向け)ーー

a=b(a≠0,b≠0)とすると、
a=b
a^2=ab (両辺にaをかける)
a^2+a^2-2ab=ab+a^2-2ab (両辺にa^2-2abを足す)
2(a^2-ab)=a^2-ab (両辺とも整理し、左辺はさらに2でくくる)
2=1 (a^2-abで割る)

ここで、1=2は成立しないと言うのはわかるでしょう？
ではなぜこの不可解な式が出てきたのかというと、最後の工程に原因があります。
最初の条件にa=bと言うのがあります。
つまり、bをaに変換すると、最後は(a^2-a^2)すなわち0で割ることになります。

このように、0で割ることで、本来あり得ない式が成立してしまいます。
しかし、文字式などの理解は小学生にはできないため、「0で割ってはいけない」と説明させられるのです。
473 ：１３２人目の素数さん：2023/06/09(金) 20:40:36.17 ID:FrD8/Koy.net: 初書き込みで改行や線の表示がわかりづらくてすみません(汗)
この部分がわからないなどあれば言ってくれるとありがたいです。
474 ：１３２人目の素数さん：2023/06/10(土) 23:13:04.70 ID:mOEAKECB.net: >>472
> 1÷0についてですが、これの答えは解なしとなりますが、同時に「不定」とも言います｡
> 不定とは文字の通り、「定まった値をとりません」と言う意味になります。例えば割り算の筆算の形を思い出してみるとわかりやすいですが､

何で「不定」？「不能」でしょ。「定まった値をとりません」ではなく「いかに大きい値も解に成り得ません」でしょ｡

> となります。この上の￣￣線の上に数字を入れて割っていくのが筆算ですが、0の場合どの数を入れても計算できてしまいます｡

違うよね。どの数を掛けても割られる数にならない、だよね｡

> これは数学の規則に反するため、「1÷0は不定」とされるのです｡

違うよね。如何なる大きな値も 1÷0 の解として存在し得ない為、「1÷0は不能」とされるんだよね｡

嘘を吐いたわけでは無く事実と違う説明をしちゃったんだろうけど
嘘を吐く意図が有ろうが無かろうが、世間ではそれすらも嘘と言い張り罵られる事が罷り通るんだよね｡
じゃあ言うよ。何で嘘を吐いたの？
475 ：大嘘つきの醜悪な漢()：2023/06/11(日) 22:59:48.56 ID:5B8AhuJ7.net: >>474さん

不定はバリっバリの嘘ですね
訂正します。>>472の文章にある「不定」は全部「不能」としてください。よろしくです。
また、それに付随して「定まった値をとりません」もゴリッゴリの嘘になるので気をつけてください。

違うよね。どの数を掛けても割られる数にならない、だよね｡

まぁ今までのレス見てて割る数割られる数とか意外とごっちゃになってる人多いと思ったので、簡素で雑に説明しました。その結果自分が派手に間違えたわけですが…。
その説明が100点ですが、ここではあまり理解されにくい文字と文章になるので、そう言うのをなるべく避けたかったんです。
しかし自分が誤った事実を述べた事、反省します。申し訳有馬せん。

じゃあ言うよ。何で嘘を吐いたの？

酒飲みながら書いたんですわゴメンピ☆
そんな気は無かったんだわ！間違った事大声で言ってたわ！恥ずかし！
そんでみんな許して♡

by40代チビの見るだけで吐き気を催すブサイク
476 ：１３２人目の素数さん：2023/06/24(土) 21:04:58.14 ID:axBJODfS.net: 機体のトラブルで宇宙船が酸素不足に陥り
あと７分しかなく、必死に家族や友人の待つ地球へ戻ろうとする様子を描いています。
//youtu.be/oWs3yvVADVg　　　想像してみてください。

イヤフォンなど使うと、緊迫感と迫力が伝わりやすいと思います。
477 ：１３２人目の素数さん：2023/06/24(土) 22:50:06.39 ID:pLJVeXu1.net: けどIUTで妥当性が与えられそう
478 ：１３２人目の素数さん：2023/07/05(水) 10:05:37.24 ID:jIgjeQKn.net: 何でもかんでもIUTで願いが叶うと思い込んでんじゃねぇよ妄信病が
479 ：１３２人目の素数さん：2023/07/09(日) 04:13:26.21 ID:a8w+gMm4.net: もはや宗教になったんだよ。魂の救済を与える。安らかなる心、永遠の安寧、国家安康君臣豊楽

総レス数 479
131 KB

掲示板に戻る全部前100 次100 最新50

read.cgi ver.24052200