Undefined (mathematics) From Wikipedia, the free encyclopedia

Undefined (mathematics)
From Wikipedia, the free encyclopedia

This article may lack focus or may be about more than one topic. Please help improve this article, possibly by splitting the article and/or by introducing a disambiguation page, or discuss this issue on the talk page. (January 2015)

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (January 2015) (Learn how and when to remove this template message)
In mathematics, the word undefined has several different meanings, depending on the context.

In geometry, simple words such as "point" and "line" are taken as undefined terms.
In arithmetic, some arithmetic operations are called "undefined". Two of the more famous examples are division by zero and zero to the power of zero.
In algebra, a function is said to be "undefined" at points not in its domain. For example, in the real number system, {\displaystyle f(x)={\sqrt {x}}} f(x)={\sqrt {x}} is undefined for negative {\displaystyle x} x, i.e., no such values exist for function {\displaystyle f} f.
Contents [hide] 
1 Undefined terms in geometry
2 Undefined operations in arithmetic
3 Values for which functions are undefined
4 Notation using ↓ and ↑
5 The symbols of infinity
6 Singularities in complex analysis
7 References
Undefined terms in geometry[edit]
In ancient times, geometers attempted to define every term. For example, Euclid defined a point as "that which has no part". In modern times, mathematicians recognized that attempting to define every word inevitably led to circular definitions, and therefore left some terms, "point" for example, as undefined (see primitive notion).

Undefined operations in arithmetic[edit]
The expression 0/0 is undefined in arithmetic, as explained in division by zero (the expression is used in calculus to represent an indeterminate form).

00 is often left undefined, see zero to the power of zero for details.

Values for which functions are undefined[edit]
The set of numbers for which a function is defined is called the domain of the function. If a number is not in the domain of a function, the function is said to be "undefined" for that number. Two common examples are {\displaystyle f(x)={\frac {1}{x}}} f(x)={\frac {1}{x}}, which is undefined for {\displaystyle x=0} x=0, and {\displaystyle f(x)={\sqrt {x}}} f(x)={\sqrt {x}}, which is undefined (in the real number system) for negative {\displaystyle x} x.

Notation using ↓ and ↑[edit]
In computability theory, if f is a partial function on S and a is an element of S, then this is written as f(a)↓ and is read as "f(a) is defined." [1]

If a is not in the domain of f, then this is written as f(a)↑ and is read as "f(a) is undefined".

The symbols of infinity[edit]
In analysis, measure theory, and other mathematical disciplines, the symbol {\displaystyle \infty } \infty is frequently used to denote an infinite pseudo-number in real analysis, along with its negative, {\displaystyle -\infty } -\infty . The symbol has no well-defined meaning by itself, but an expression like {\displaystyle \left\{a_{n}\right\}\rightarrow \infty } \left\{a_{n}\right\}\rightarrow \infty is shorthand for a divergent sequence, which at some point is eventually larger than any given real number.

Performing standard arithmetic operations with the symbols {\displaystyle \pm \infty } \pm \infty is undefined. Some extensions, though, define the following conventions of addition and multiplication:

{\displaystyle x+\infty =\infty } x+\infty =\infty {\displaystyle \forall x\in \mathbb {R} \cup \{\infty \}} \forall x\in {\mathbb {R}}\cup \{\infty \}.
{\displaystyle -\infty +x=-\infty } -\infty +x=-\infty {\displaystyle \forall x\in \mathbb {R} \cup \{-\infty \}} \forall x\in {\mathbb {R}}\cup \{-\infty \}.
{\displaystyle x\cdot \infty =\infty } x\cdot \infty =\infty {\displaystyle \forall x\in \mathbb {R} ^{+}} \forall x\in {\mathbb {R}}^{{+}}.
No sensible extension of addition and multiplication with {\displaystyle \infty } \infty exist in the following cases:

{\displaystyle \infty -\infty } \infty -\infty 
{\displaystyle 0\cdot \infty } 0\cdot \infty (although in measure theory, this is often defined as {\displaystyle 0} {\displaystyle 0})
{\displaystyle {\frac {\infty }{\infty }}} {\frac {\infty }{\infty }}
See extended real number line for more information.

Singularities in complex analysis[edit]
In complex analysis, a point {\displaystyle z\in \mathbb {C} } z\in\mathbb{C} where a holomorphic function is undefined is called a singularity. One distinguishes between removable singularities (the function can be extended holomorphically to {\displaystyle z} z, poles (the function can be extended meromorphically to {\displaystyle z} z), and essential singularities, where no meromorphic extension to {\displaystyle z} z exists.https://en.wikipedia.org/wiki/Undefined_(mathematics)

再生核研究所声明311（2016.07.05）　ゼロ0とは何だろうか
ここ２年半、ゼロで割ること、ゼロ除算を考えているが、ゼロそのものについてひとりでに湧いた想いがあるので、その想いを表現して置きたい。
数字のゼロとは、実数体あるいは複素数体におけるゼロであり、四則演算で、加法における単位元（基準元）で、和を考える場合、何にゼロを加えても変わらない元として定義される。積を考えて変わらない元が数字の１である：

Wikipedia:ウィキペディア：
初等代数学[編集]
数の 0 は最小の非負整数である。0 の後続の自然数は 1 であり、0 より前に自然数は存在しない。数 0 を自然数に含めることも含めないこともあるが、0 は整数であり、有理数であり、実数（あるいは代数的数、複素数）である。
数 0 は正でも負でもなく、素数でも合成数でも単数でもない。しかし、0は偶数である。
以下は数 0 を扱う上での初等的な決まりごとである。これらの決まりはxを任意の実数あるいは複素数として適用して構わないが、それ以外の場合については何も言及していないということについては理解されなければならない。
加法:x　+ 0 = 0 +x=x. つまり 0 は加法に関する単位元である。
減法:　x− 0 =x, 0 −x= −x.
乗法:x 0 = 0 ·x= 0.
除法:xが 0　でなければ0⁄x= 0 である。しかしx⁄0は、0 が乗法に関する逆元を持たないために、（従前の規則の帰結としては）定義されない（ゼロ除算を参照）。

実数の場合には、数直線で、複素数の場合には複素平面を考えて、すべての実数や複素数は直線や平面上の点で表現される。すなわち、座標系の導入である。
これらの座標系が無ければ、直線や平面はただ伸びたり、拡がったりする空間、位相的な点集合であると考えられるだろう。―　厳密に言えば、混沌、幻のようなものである。単に伸びたり、広がった空間にゼロ、原点を対応させるということは　位置の基準点を定めること　と考えられるだろう。基準点は直線や平面上の勝手な点にとれることに注意して置こう。原点だけでは、方向の概念がないから、方向の基準を勝手に決める必要がある。直線の場合には、直線は点で２つの部分に分けられるので、一方が正方向で、他が負方向である。平面の場合には、原点から出る勝手な半直線を基準、正方向として定めて、原点を回る方向を定めて、普通は時計の回りの反対方向を　正方向と定める。これで、直線や平面に方向の概念が導入されたが、さらに、距離（長さ）の単位を定めるため、原点から、正方向の点（これも勝手に指定できる）を１として定める。実数の場合にも複素数の場合にも数字の１をその点で表す。以上で、位置、方向、距離の概念が導入されたので、あとはそれらを基礎に数直線や複素平面（座標）を考える、すなわち、直線と実数、平面と複素数を１対１に対応させる。これで、実数も複素数も秩序づけられ、明瞭に表現されたと言える。ゼロとは何だろうか、それは基準の位置を定めることと発想できるだろう。
―　国家とは何だろうか。国家意思を定める権力機構を定め、国家を動かす基本的な秩序を定めることであると原理を述べることができるだろう。
数直線や複素平面では　基準点、０と１が存在する。これから数学を展開する原理を下記で述べている：

しかしながら、数学について、そもそも数学とは何だろうかと問い、ユニバースと数学の関係に思いを致すのは大事ではないだろうか。この本質論については幸運にも相当に力を入れて書いたものがある：

No.81, May 2012(pdf 432kb)
19/03/2012
ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅.広く面白く触れたい。

複素平面ではさらに大事な点として、純虚数i　が存在するが、ゼロ除算の発見で、最近、明確に認識された意外な点は、実数の場合にも、複素数の場合にも、ゼロに対応する点が存在するという発見である。ゼロに対応する点とは何だろうか？
直線や平面で実数や複素数で表されない点が存在するであろうか？　無理して探せば、いずれの場合にも、原点から無限に遠ざかった先が気になるのではないだろうか？　そうである立体射影した場合における無限遠点が正しくゼロに対応する点ではないかと発想するだろう。その美しい点は無限遠点としてその美しさと自然さ故に１００年を超えて数学界の定説として揺るぐことはなかった。ゼロに対応する点は無限遠点で、1/0=∞　と考えられてきた。オイラー、アーベル、リーマンの流れである。
ところが、ゼロ除算は1/0=0　で、実は無限遠点はゼロに対応していることが確認された。
直線を原点から、どこまでも　どこまでも遠ざかって行くと、どこまでも行くが、その先まで行くと（無限遠点）突然、ゼロに戻ることを示している。これが数学であり、我々の空間であると考えられる。この発見で、我々の数学の結構な部分が修正、補充されることが分かりつつある。
ゼロ除算は可能であり、我々の空間の認識を変える必要がある。ゼロで割る多くの公式である意味のある世界が広がってきた。それらが　幾何学、解析学、代数学などと調和して数学が一層美しい世界であることが分かってきた。

全ての直線はある意味で、原点、基準点を通ることが示されるが、これは無限遠点の影が投影されていると解釈され、原点はこの意味で２重性を有している、無限遠点と原点が重なっている現象を表している。この２重性は 基本的な指数関数y=e^x　が原点で、0 と1　の２つの値をとると表現される。このことは、今後大きな意味を持ってくるだろう。

古来、ゼロと無限の関係は何か通じていると感じられてきたが、その意味が、明らかになってきていると言える。

２点から無限に遠い点　無限遠点は異なり、無限遠点は基準点原点の指定で定まるとの認識は面白く、大事ではないだろうか。
以　上


再生核研究所声明310（2016.06.29）　ゼロ除算の自明さについて
人間の感性の観点から、ゼロ除算の自明さについて触れて置きたい。ゼロ除算の発見は誠に奇妙な事件である。まずは、近似の方法から自然に導かれた結果であるが、結果が全然予想されたことのない、とんでもないことであったので、これは何だと衝撃を受け、相当にその衝撃は続いた。まずは、数学的な論理に間違いがないか、厳重に点検を行い、それでも信じられなかったので、多くの友人、知人に意見を求めた。高橋眞映山形大学名誉教授のゼロ除算の一意性定理は大事だったので、特に厳重に検討した。多くの友人も厳重に時間をかけて検討した経過がよく思い出される。その他、いろいろな導入が発見されても、信じられない心境は１年を超えて続いたと言える。数学的に厳格に、論理的に確立しても　心情的に受け入れられない感情　が永く続いた。そのような心境を相当な人たちが抱いたことが国際的な交流でも良く分かる。中々受け入れらない、ゼロ除算の結果はそうだと受け入れられない、認められない空気であった。ゼロ除算の発展は世界史上の事件であるから、経過など出来るだけ記録するように努めてきた。
要するに、世界中の教科書、学術書、定説と全く違う結果が　世に現れたのである。慎重に、慎重に畏れを抱いて研究を進めたのは　当然である。
そこで、証拠のような具体例の発見に努めた。明確な確信を抱くために沢山の例を発見することとした。最初の２，３件の発見が特に難しかった。内容は次の論文に、招待され、出版された：　http://www.ijapm.org/show-63-504-1.html　：
ゼロ除算を含む、山田体の発見、
原点の鏡像が（原点に中心をもつ円に関する）無限遠点でなく　ゼロであること、
x,y直角座標系で　y軸の勾配がゼロであること、
同軸２輪回転からの、ゼロ除算の物理的な意味付け、

これらの成果を日本数学会代数学分科会で発表し、また、ゼロ除算の解説(2015.1.14)を１０００部印刷広く配布してきた。２年間の時間の経過とともに我々の数学として、実在感が確立してきた。その後、広範にゼロ除算がいろいろなところに現れていることが沢山発見され、やがて、ゼロ除算は自明であり数学の初歩的な欠落部分であるとの確信を深めるようになってきている。
単に数学の理論だけでなく、いろいろな具体例が認識の有り様を、感性を変えることが分かる。そこで、何もかも分かったという心境に至るには、素朴な具体例で、何もかも当たり前であるという心理状況に至ることが大事であるが、それは、環境で心自体が変わる様をしめしている。本来１つの論文であった原稿は　招待されたため次の２つの論文に出版される：
(2016) Matrices and Division by Zero z/0 = 0. Advances in Linear Algebra
& Matrix Theory, 6, 51-58. 
http://www.scirp.org/journal/alamt　 　http://dx.doi.org/10.4236/alamt.2016.62007
Division by Zero z/0 = 0 in Euclidean Spaces：
International Journal of Mathematics and Computation 9 Vol. 28; Issue 1, 2017)。

沢山の具体例が述べられていて、ゼロ除算が基本的な数学であることは、既に確立していると考えられる。沢山の具体例が、そのような心境に至らしめている。
ゼロ除算の自明さを論理ではなく、簡単に　直感的な説明として述べたい。
基本的な関数y=1/xを考え、そのグラフを見よう。原点の値は考えないとしているが、考えるとすれば、値は何だろうか？　ゼロではないか　と　思えば、ゼロ除算は正解である。それで十分である。その定義から、応用や意味付けを検討すれば良い。―　誰でも値は　ゼロであると考えるのではないだろうか。中心だから、真ん中だから。あるいは平均値だからと考えるのではないだろうか。それで良い。
0/0=0　には違う説明が必要である。条件付き確率を考えよう。　A　が起きたという条件の下で、B　が起きる条件付き確率を考えよう。　その確率P(B|A)　は　AとBの共通事象ABの確率P(AB) と　A　が起きる確率P(A)との比　P(B|A)＝P(AB)/P(A) で与えられる。もし、Aが起きなければ、すなわち、P(A)　=0　ならば、もちろん、P(AB) =0.　意味を考えても分かるようにその時当然、P(B|A) =0である。 すなわち、0/0=0は　当たり前である。

以　上


再生核研究所声明309（2016.06.28）　真無限と破壊　―　ゼロ除算
３辺の長さをa,b,cとする三角形を考える。その位置で、例えば、１辺bをどんどんのばしていく。一方向でも、双方向でも良い。どこまでも、どこまでも伸ばしていくとどうなるであろうか。bは限りなく長くなるが、結局、辺bは　a,　cの交点Bと平行な直線になって、　それ以上伸ばすことや長くすることはできないことに気づくだろう。正方向だけに伸びれば、辺cは辺bの方向と平行な半曲線に、負の方向に伸びれば、同様に辺aもBを通るbの方向と平行な半曲線になる。いずれの場合にも、bはそれ以上伸びないと言う意味で真無限の長さと表現できるだろう。もちろん、有限の長さではない。大事な観点は、ある意味で、もはやそれ以上伸びない、大きくならないという意味で、限りがあるとも言える無限である。
途中で作られる三角形の面積は辺cをどんどん伸ばしていくと、どんどん増加し、従来の数学では、面積は無限に発散すると表現してきた。平行線で囲まれる(？)面積、あるいは、平行線で囲まれる(？)部分を切った部分（一方向に辺cを伸ばした場合）は面積無限であると考えるだろう。ところがゼロ除算は、それらの面積はゼロであると述べている。　一般に、長さcをどんどん大きくしていくと、幾らでも大きくなって行くのに対して、真無限に至れば突然ゼロになるという結果がゼロ除算の大事な帰結である。　この現象は関数y=1/x　の様子をxが正方向からゼロに近づいた状況を考えれば、理解できるだろう。　1/0=0 である。―　c　を無限に近づけた状況を知るには、1/c　の原点での状況を見れば良い。
実に美しいことには、上記三角形の面積の状況は、３直線で囲まれた部分の面積を３直線を表す方程式で書いて、ゼロ除算の性質を用いると、解析幾何学的にも導かれるという事実である。ゼロ除算の結果を用いると、解析幾何学的に証明されるという事実である。
この事実は普遍的な現象として破壊現象の表現として述べられる。直方体の体積でも、１辺を真無限まで伸ばせば、体積はゼロである。円柱でも真無限まで伸ばせば、体積はゼロである。真無限まで行けば、もともとの形が壊れているためと自然に理解できるだろう。
円や球の場合にも、半径が真無限まで行けば、半平面や半空間になるから、同じように面積や体積がゼロになる。これらは、ゼロ除算と解析幾何学からも導かれ、ゼロ除算は基本的な数学であることが分かる。このことは、空間は、限りなく大きなものではないということをも述べていて、　楽しい。

以　上



再生核研究所声明308（2016.06.27）　ゼロ除算とは何か、始めてのゼロ除算、ゼロで割ること

相当な記録、解説が蓄積されてきたので、外観する意味で表題の下で簡単に纏めて置こう。
先ず、ゼロ除算とは　加，減，乗，除の四則演算において　割る時にどうしてゼロで割れないかの問題を広く表す。ゼロで割ることを考えることである。西暦６２８年インドでゼロが文献上の記録として現れて以来議論されてきた。ある専門家によればアリストテレスが物理的にゼロ除算を最初に考え、不可能であるとされたという。割り算を掛け算の逆と考えれば、ゼロで割ることは　割られる数がゼロでなければ、不可能であることが簡単に証明されてしまうが、物理法則などには、分数式が現れて、分母がゼロである場合興味深いとして、現代でもいろいろ問題にされ、インターネット上をにぎわしている。この件では、ブラックホールの理論や相対性理論の関係からアインシュタインの人生最大の懸案の問題であるという言葉に象徴される。他の大きな関心として、計算機がゼロ除算にあって計算機障害を起こした事件から、ゼロ除算障害回避を目指して新しい数体系を考えている相当なグループが存在する。
このような永い歴史に対して、ゼロ除算を可能にする自然で簡単な体系が山田体として確立され、四則演算は　簡単な修正で　ゼロ除算を含めていつでも可能であることが明らかになった。しかしながら、ここには分数，割り算の意味を自然に拡張して、可能になったという、新しい概念があるので、扱いには大いに気を付ける必要がある。分母がゼロである場合、ある意味で考えられるという、考え方である。ここは、従来、分数で、分母がゼロになる場合、微分学の基礎概念である、極限で考えるに対して、新しい意味付けを与える方法が発見された。これは、無限級数f(x) = \sum_{n= -\infty}^{\infty} C_n (x –a)^n　に対して f(a)=C_0　と簡単に述べられる。具体例で述べれば、関数e^{xt}/(x^2)の原点における値はt^2/2として，関数cos(xt)/(x^3)の原点での値は恒等的にゼロとして意味を有する。このような値の実際的な意味が、幾何学、解析学、解析幾何学，微分方程式など広範に現れて、従来分母がゼロになる場合に避けてきたところ、いろいろな意味と解釈が可能であることが分かってきた。
新しい、状況とは何かであるが、第一には、我々の空間に対する考えに新しい世界が現れたことである。基本的な関数y=1/z の原点での値がゼロと定義されることから、従来無限遠点．無限と考えられていた想像上の点が　実はゼロで表されることになる。そこで、無限が関与する数学が改められることである。極限値として、+、マイナス、無限、あるいは複素平面で、無限は考えられるが、それらは定まった数ではなく、定まった数としての無限の存在を否定する数学になっている。
それで、古典的な結果、原点の原点に中心をもつ円に関する鏡像は　無限遠点ではなく、ゼロであること、無限遠点はゼロで表されることなど、　基本的な変更が　要求される。ゼロ除算は可能であり、我々の空間の認識は間違っているということになる。
解析関数は孤立特異点で、極と言って、無限遠点の値を取るという考えは改められ、特異点の近くで、幾らでも無限遠点の近くの値を取るものの、特異点では、有限確定値を取ると改められる。
このような有限確定値の具体的な意味付けがいろいろ現れた。顕著な例は、(x,y)　直交座標系で　y軸の勾配はゼロで、微分学で微分係数が　+、マイナス、無限として極限値が存在するとき、その時、微分係数はゼロであると定義すると、解析学も幾何学も上手く調和して、微分学の多くの公式が付加条件なしに一般的に成り立ち、解析幾何学と調和がとれていることが明らかにされた。数学の相当な部分の修正が必要であり、数学をより美しく、統一的にスッキリと纏められる。
典型的な例として、半径Rの円を考えてRを無限に飛ばすことを考えると、円の面積は当然、限りなく大きくなるが、Rが更には大きくできないとき、円の面積は突然ゼロになることが、解析幾何学とゼロ除算で導かれた。これはRが更には大きくできないときが、円板が半空間、円が直線になる場合で、半平面の面積がゼロであることを示している。このことはある大きな世界を覗かせていて、破壊現象の記述や無限の考え方に大きな変革をもたらす。平行線の概念と空間の概念は、新しい世界観であるから、次でより詳しく触れている：

再生核研究所声明306（2016.06.21）平行線公理、非ユークリッド幾何学、そしてゼロ除算

以　上

再生核研究所声明306（2016.06.21）　平行線公理、非ユークリッド幾何学、そしてゼロ除算

表題について、山間部を散歩している折り新鮮な感覚で、想いが湧いて来た。新しい幾何学の発見で、ボーヤイ・ヤーノシュが父に言われた　平行線の公理を証明できたら、地球の大きさ程のダイヤモンドほどの値打ちがあると言われて、敢然と証明に取り掛かった姿とその帰結である。また、ユークリッドが海岸を散歩しながら幾何学を建設していく情景が鮮やかに想い出された（Liwanovaの『新しい幾何学の発見』（のちに『ロバチェフスキーの世界』と改題）（東京図書刊行）。この件、既に声明に述べているので、まずは確認したい：



再生核研究所声明292(2016.03.25)　ユークリッド幾何学、非ユークリッド幾何学、平行線公理、そしてゼロ除算（２０１６．３．２３　朝、目を覚まして、情念と構想が閃いたものである。）

まず基本語をｳｲｷﾍﾟデｱで確認して置こう：

https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A6%E3%82%AF%E3%83%AC%E3%82%A4%E3%83%87%E3%82%B9

アレクサンドリアのエウクレイデス（古代ギリシャ語: Εὐκλείδης, Eukleídēs、ラテン語: Euclīdēs、英語: Euclid（ユークリッド）、紀元前3世紀? - ）は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』（ユークリッド原論）の著者であり、「幾何学の父」と称される。プトレマイオス1世治世下（紀元前323年-283年）のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学（特に幾何学）の教科書として使われ続けた。

https://ja.wikipedia.org/wiki/%E9%9D%9E%E3%83%A6%E3%83%BC%E3%82%AF%E3%83%AA%E3%83%83%E3%83%89%E5%

非ユークリッド幾何学の成立：　ニコライ・イワノビッチ・ロバチェフスキーは「幾何学の新原理並びに平行線の完全な理論」(1829年)において、「虚幾何学」と名付けられた幾何学を構成して見せた。これは、鋭角仮定を含む幾何学であった。ボーヤイ・ヤーノシュは父・ボーヤイ・ファルカシュの研究を引き継いで、1832年、「空間論」を出版した。「空間論」では、平行線公準を仮定した幾何学（Σ）、および平行線公準の否定を仮定した幾何学（S）を論じた。更に、1835年「ユークリッド第 11 公準を証明または反駁することの不可能性の証明」において、Σ と S のどちらが現実に成立するかは、如何なる論理的推論によっても決定されないと証明した。



ユークリッド幾何学は　２０００年を超えて数学及び論理と　あらゆる科学の記述の基礎になってきた。その幾何学を支える平行線の公理については、非ユークリッド幾何学の成立過程で徹底的に検討、議論され、逆に　平行線の公理がユークリッド幾何学の特徴的な仮定（仮説）で証明できない公理であることが明らかにされた。それとともに　数学とは何かに対する認識が根本的に変わり、数学とは公理系（仮説系）の上に建設された理論体系であって、絶対的な真理という概念を失った。

ここで焦点を当てたいのは　平行線の概念である。ユークリッド幾何学における平行線とは　任意の直線に対して、直線上以外の点を通って、それと交わらない直線のことで、平行線がただ１つ存在するというのがユークリッドの公理である。非ユークリッド幾何学では、そのような平行線が全然存在しなかったり、沢山存在する幾何学になっており、そのような幾何学は　実在し、現在も盛んに利用されている。

この平行線の問題が、ゼロ除算の発見1/0=0、台頭によって　驚嘆すべき、形相を帯びてきた。

ユークリッド自身、また、非ユークリッド幾何学の上記発見者たち、それに自ら深い研究をしていた天才ガウスにとっても驚嘆すべき事件であると考えられる。

何と　ユークリッド空間で　平行線は ある意味で全て原点で交わっている　という、現象が明らかにされた。

もちろん、ここで交わっていることの意味を　従来の意味にとれば、馬鹿馬鹿しいことになる。

そこで、その意味をまず、正確に述べよう。まずは、　イメージから述べる。リーマン球面に立体射影させると　全ユークリッド平面は　球面から北極点を除いた球面上に一対一に写される。そのとき、球面の北極点に対応する点が平面上になく、想像上の点として無限遠点を付け加えて対応させれば、立体射影における円、円対応を考えれば、平面上の平行線は無限遠点で交わっているとして、すっきりと説明され、複素解析学における基本的な世界観を与えている。平行線は無限遠点で　角ゼロ（度）で交わっている（接している）も立体射影における等角性で保証される。あまりの美しさのため、１００年を超えて疑われることはなく、世の全ての文献はそのような扱いになっていて数学界の定説である。

ところがゼロ除算1/0=0では　無限遠点は空間の想像上の点として、存在していても、その点、無限遠点は数値では　ゼロ（原点）に対応していることが明らかにされた。　すなわち、北極（無限遠点）は南極（原点）と一致している。そのために、平行線は原点で交わっていると解釈できる。もちろん、全ての直線は原点を通っている。

この現象はユークリッド空間の考えを改めるもので、このような性質は解析幾何学、微積分学、複素解析学、物理学など広範に影響を与え、統一的に新しい秩序ある世界を構成していることが明らかにされた。２２００年を超えて、ユークリッド幾何学に全く新しい局面が現れたと言える。

平行線の交わりを考えてみる。交わる異なる２直線を１次方程式で書いて、交点の座標を求めて置く。その座標は、平行のとき、分母がゼロになって、交点の座標が求まらないと従来ではなっていたが、ゼロ除算では、それは可能で、原点（０，０）が対応すると解釈できる。ゼロ除算と解析幾何学からの帰結である。上記幾何学的な説明が、ゼロ除算で解析幾何学的にも導かれる。

一般の円の方程式を２次関数で表現すれば、(x^2+y^2)　の係数がゼロの場合、直線の一般式になるが、ゼロ除算を用いると、それが保証されるばかりか、直線の中心は　原点である、直線も点円も曲率がゼロであることが導かれる。もちろん、ゼロ除算の世界では、全ての直線は原点を通っている。このとき、原点を無限遠点の映った影ともみなせ、原点はこのような意味で　もともとの原点とこの意味での点としての、２重性を有し、この概念は今後大きな意味を有することになるだろう。

ゼロ除算1/0=0は　ユークリッド幾何学においても、大きな変革を求めている。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　

以上



上記で、数学的に大事な観点は、ユークリッド自身そうであったが、平行線公理は真理で、証明されるべきもの、幾何学は絶対的な真理であると非ユークリッド幾何学の出現まで、考えられてきたということである。2000年を超える世界観であった事実である。そこで、平行線の公理を証明しようと多くの人が挑戦してきたが、非ユークリッド幾何学の出現まで不可能であった。実は、証明できない命題であったという全く意外な帰結であった。真に新しい、概念、世界観であった。証明できない命題の存在である。それこそ、世界観を変える、驚嘆すべき世界史上の事件であったと言える。

この事件に関してゼロ除算の発見は、全く異なる世界観を明らかにしている。ユークリッドそして、非ユークリッド幾何学の3人の発見者にとって、全く想像ができなかった、新しい事実である。平行線が　無限の先で交わっているとは　ユークリッドは考えなかったと思われるが、近代では、無限の先で交わっていると考えられて来ている。―　これには、アーベル、オイラー、リーマンなどの考えが存在する。このような考えは、ここ100年以上、世界の常識、定説になっている。ところがゼロ除算では、無限遠点は　数ではゼロが対応していて、平行線は代数的に原点で交わっている、すべての直線は代数的に原点を通っているという解釈が成り立つことを示している。

ユークリッドの幾何学の建設時の想い、ボーヤイ・ヤーノシュの激しい挑戦の様を、　想い　を　深く、いろいろ想像している。

以　上


Matrices and Division by Zero z/0 = 0
http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf