なぜ定義できないのか

0で割ると∞になりそう、とかは典型的な曲解らしい

そもそも「無限大」というものは複素数に含まれない

\lim_{x \to -0} 1/xを考えたら無限大に発散するので、曲解というのも変なのでは

あー「なりそう」なのはまああながち間違っていない

定義をするときは、矛盾が発生しないように定義しないといけない

その場合、既存の法則と矛盾しないように考えたりするので、「なりそう」は大事

適当に「ゼロで割ったら１」とかを決めたところで、既存の体型と合わないので、定義したところで使えないから

調べたら「0の0乗」とかも出てきた

こっちはたしかかなり難しい話だった気がする

収束の例で行くと、どっちの数字をどこから0に近づけるかで収束先が違ったような？どうだったっけ

収束の話と写像の集合の濃度の話が関わっていたことだけは覚えている

中身はまだ手に負えそうになかったので飛ばした

前半:りんごなどの例で実際に計算をすると、パラドックスが生じる。って感じ

数学の語彙の乏しさが悔やまれる

一例を示されて、だからダメですよというのもしっくりこない

後半（「実数の定義から考える」以降）

流れに沿ってひととおり読めはした

きつねにつままれたような感じがする…！

まあそんなもんか

完備性を持ち出さなくても、代数計算だけで示せます

大百科にも書いてあるのにも似ているが、0R=1\land R\neq0となるRが存在しないことを示せばいい

「定義できない」がそもそも誤りで、0除算を含む無矛盾な体系で「面白い性質」のものが見つかってないだけかと

ほう

確かによく見てみると未定義、という扱いなのですね

0除算を含む無矛盾な体系の例が上の大百科に載っています

興味深いけど役に立たない結果となる

数学的対象として実際に研究されているらしい

面白いか（考える価値があるか）どうかと、Well-definedであるかという観点がある

0除算を定義してみるスレ

問: 両辺に右から0を掛けたらどうなる？

問: 1 \div 0 \times 0は1か？

(いきなり難しい方向に進んでしまったので仕切り直し)

むかしRockboxで音楽を聞いていたら、いきなり爆音でホワイトノイズが流れ、Devide by Zeroエラーが出たことがあった

このせいで「ゼロで割ると耳が死ぬ」と学習してしまった

タイコンデロガ級ミサイル巡洋艦も死んでしまいます

#0 #除算