複素解析
Question book-4.svg
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。
出典を追加して記事の信頼性向上にご協力ください。（2011年12月）
複素関数f(z)=(z2-1)(z-2-i)2/(z2+2+2i)のグラフ。色相は偏角を表し、明度（このグラフでは周期的に変化させている）は絶対値を表す。
数学の分科である複素解析（ふくそかいせき、complex analysis）とは、複素数の関数に関わる微分学、積分学、変分学、微分方程式論、積分方程式論、関数論などの総称である。初等教育で扱う実関数の解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といっても複素解析を意味することが多い。複素解析の手法は応用数学を含む数学、理論物理学、工学などの多くの分野でもちいられている。
目次 [非表示]
1 複素関数
2 複素解析関数
2.1 特異点の分類
2.2 解析関数の分類
3 主な結果
4 他の分野への応用
5 歴史
6 関連項目
複素関数[編集]
複素関数とは自由変数と従属変数がともに複素数の範囲で与えられるようなものである。より正確に言えば複素平面の部分集合上で定義された複素数値の関数が複素関数とよばれる。複素関数に対し自由変数や従属変数を実部と虚部とにわけて考えることができる。
z = x + iy ,\, w = f(z) = u(z) + iv(z).\,
ここで x,y,u(z),v(z) \in \mathbb{R}.
従って複素関数の成分
u = u(x,y),~\,
v = v(x,y)\,
は2つの実変数 x, y についての実数値関数だと考えることができる。（学校教育などにおいて）複素解析の基本的な概念は、指数関数、対数関数、三角関数などの実関数を複素関数に拡張することにより与えられることが多い。
複素解析関数[編集]
複素解析関数とは、複素平面の開領域(平面全体でも可)で定義され、定義域の全体で解析的な複素関数をいう。複素関数については解析的(冪級数へ展開可能)であることと微分可能であることは同値であり、これを正則 (regular) であるという。複素関数が解析的でない点を特異点 (singularity) という。特異点における関数値は不定であったり正負の無限であったりすることが多いから、特異点は定義域の外にあると考える方が妥当であるが、当然に、定義域の外の点のうち、微分不可能な点を全て特異点というべきではない。特異点とは解析関数の定義域の閉包の開核に含まれる非解析的な点であると考えてもよい。ただし、究極的には、複素解析の対象となる関数が複素解析関数であり、複素解析の対象となる非解析的な点が特異点である。(何が複素解析の対象になるかについては主観の入る余地がある。)
特異点の分類[編集]
複素解析は解析的な領域を探求する分野であるが、複素関数に特異点(singularity)がある場合、特異点を含む領域全体に於ける大局的な挙動は特異点に支配される。従って、特異点の位置や性質を研究することは複素解析の範疇に含まれる。
特異点には孤立した特異点 (isolated -) と孤立していない特異点 (non-isolated -) とがあるが、複素解析の対象となるのは主に孤立した特異点である。孤立した特異点は、除去可能な特異点 (removable -)、有限次数の極 (pole)、真性特異点 (essential -) に分類される。除去可能な特異点とは、その点に適当な値を定義することにより、その近傍で解析的になるものをいう。極とは、f(z) の特異点 z = a であって、(z - a)nf(z) において除去可能な特異点となる自然数 n が存在するものをいう。真性特異点とは、除去可能でも極でもない孤立した特異点をいう。
孤立していない特異点とは、特異点が稠密に連なっているために、その近傍に必ず他の特異点を含んでしまう特異点をいう。例えば f(z)=1/\sin\left(\tfrac{1}{z}\right) は z = 0 に孤立していない特異点を持つ（z = ±1/nπ は0以外の、孤立していない真性特異点、ただしnは任意の自然数）。この他に、定義域の自然な境界（解析接続によって越えられない壁）や多価関数を一価関数として扱うために導入する分岐 (branch cut) も一種の特異点と考えられる。分岐の端点を分岐点 (branch point) というが、分岐が有るかぎり、分岐点は孤立した特異点になりえない。然し、分岐は何処に置いてもよいものであるから都合に合わせて分岐を動かせば、分岐点を恰も孤立した特異点であるかのように扱える。この発想はリーマン面に通ずる。分岐点は代数分岐点 (algebraic -) と対数分岐点 (logarithmic -) に分類されるが、代数特異点、対数特異点と呼ばれることもある。
解析関数の分類[編集]
複素関数が微分可能であるということは、実関数が微分可能であるということに比べて遥かに強い条件である。一階微分可能な複素関数は無限階微分可能であり、積分可能であり、解析的である。これらの事実により、複素関数が微分可能であれば正則であるという。定義域（若しくは考察の対象となっている領域）の全体で正則な関数を正則関数 (holomorphic function) といい、孤立する極を除いて正則な関数を有理型関数 (meromorphic function) という。複素平面全体を定義域とする正則関数を整関数 (entire function) という。(英語と日本語の不一致は同義語の取捨による。)
指数関数、正弦関数、余弦関数、多項式関数など、多くの初等関数は整関数であるが、正接関数などは極を持つから有理型であり、対数関数は負の実軸に分岐を持ち正則でない。ガンマ関数は負の整数に極を持つから有理型であるが、右半平面に限れば正則である。
主な結果[編集]
複素解析においてよくもちいられる道具立てに線積分がある。コーシーの積分定理によって、閉じた経路で囲まれた領域の内側全体で正則になっている関数を、その経路上線積分した値はかならず 0 になるということがわかる。もし正則関数が特定の点を極（特異点）にしているとき、つまりそこで関数の値が「爆発」し有限の値をとらないときには、その点での関数の留数を求めることで線積分の値を決定できる。各複素数における正則関数の値は、その点のまわりの円周上での（考えている正則関数に応じて構成される有理型関数の）線積分の値として求めることができる（コーシーの積分公式）。また、正則関数の線積分に関する留数の理論を用いることで複雑な実積分の値を決定することもできるようになる。
カゾラーティ・ワイエルシュトラスの定理によって真性特異点のまわりでの正則関数の挙動に関する驚くべき性質が導かれる。特異点のまわりでの関数の挙動はテイラー級数に類似のローラン級数によって記述される。
リウヴィルの定理によって複素平面全体で有界な正則関数は定数関数に限られることがわかるが、これをもちいて複素数体が代数的閉体であるという代数学の基本定理の自然で簡単な証明が与えられる。
正則関数の重要な性質に、正則な関数の連結な領域上全体での挙動が任意のより小さい領域上の挙動によって決定されてしまう（一致の原理）、というものがある。大きい領域全体でのもとの関数は小さい領域上に制限して考えたものの解析接続とよばれる。このような原理によってリーマンゼータ関数など、限られた領域上でしか収束しない級数によって定義されていた関数を複素平面全体に正則関数や有理型関数として拡張することが可能になる。場合によっては自然対数などのように複素平面内の単連結でない領域への解析接続が不可能なこともあるが、リーマン面とよばれる曲面を導入することでその上の正則関数としての「解析接続」を考えることができる。
上記の結果はすべて一変数に関する複素解析のものであるが、多次元の複素解析に関しても豊かな理論が存在し、ベキ級数展開などの解析的な性質が成立している。一方で共形性などの一変数正則関数が持つ幾何学的な性質は拡張されず、リーマンの写像定理が示すような複素平面の領域に関する共形関係性など一変数の理論における最も重要な結果が高次元においてはもはや成立しない。
他の分野への応用[編集]
伝統的に複素解析、特に等角写像の理論は工学・地図学に多くの応用があるが、解析的整数論全般にわたっても応用されている。近年は複素力学系の勃興や正則関数の繰り返しによって与えられるフラクタル図形（有名な例としてマンデルブロ集合が挙げられる）などによって有名になっている。ほかの重要な応用として共形変換に対して作用が不変な場の量子論である共形場理論が挙げられる。また、複素解析は電気工学におけるフェーザ表示、固体力学における応力関数、流体力学における複素速度ポテンシャルなど、工学全体を通じてさまざまな題材にも応用されている。
歴史[編集]
複素解析は古くからある数学の分野であり、その起源は19世紀あるいはより以前にまでたどることができる。レオンハルト・オイラー、カール・フリードリッヒ・ガウス、ベルンハルト・リーマン、オーギュスタン＝ルイ・コーシー、ワイエルシュトラスや多くの二十世紀数学者たちが複素解析の理論に貢献している。https://ja.wikipedia.org/wiki/%E8%A4%87%E7%B4%A0%E8%A7%A3%E6%9E%90
\documentclass[12pt]{article}
\usepackage{latexsym,amsmath,amssymb,amsfonts,amstext,amsthm}
\numberwithin{equation}{section}
\begin{document}
\title{\bf Announcement 237: A reality of the division by zero $z/0=0$ by geometrical optics}
\author{{\it Institute of Reproducing Kernels}\\
\date{\today}
\maketitle
{\bf Abstract: } In this announcement, we shall state a reality of the division by zero $z/0=0$ by the reflection (geometrical optics) and from this fact we will be able to understand that the division by zero $z/0=0$ is natural in both mathematics and our physical world.
\bigskip
\section{Introduction}
%\label{sect1}
By {\bf a natural extension of the fractions}
\begin{equation}
\frac{b}{a}
\end{equation}
for any complex numbers $a$ and $b$, we, recently, found the surprising result, for any complex number $b$
\begin{equation}
\frac{b}{0}=0,
\end{equation}
incidentally in \cite{s} by the Tikhonov regularization for the Hadamard product inversions for matrices, and we discussed their properties and gave several physical interpretations on the general fractions in \cite{kmsy} for the case of real numbers. The result is a very special case for general fractional functions in \cite{cs}.
The division by zero has a long and mysterious story over the world (see, for example, google site with division by zero) with its physical viewpoints since the document of zero in India on AD 628, however,
Sin-Ei, Takahasi (\cite{taka}) (see also \cite{kmsy}) established a simple and decisive interpretation (1.2) by analyzing some full extensions of fractions and by showing the complete characterization for the property (1.2). His result will show that {\bf our mathematics says} that the result (1.2) should be accepted as a natural one:
\bigskip
{\bf Proposition. }{\it Let F be a function from ${\bf C }\times {\bf C }$ to ${\bf C }$ such that
$$
F (b, a)F (c, d)= F (bc, ad)
$$
for all
$$
a, b, c, d \in {\bf C }
$$
and
$$
F (b, a) = \frac {b}{a }, \quad a, b \in {\bf C }, a \ne 0.
$$
Then, we obtain, for any $b \in {\bf C } $
$$
F (b, 0) = 0.
$$
}
\medskip
Furthermore, note that Hiroshi Michiwaki with his 6 year old daughter gave the important interpretation of the division by zero $z/0=0$ by the intuitive meaning of the division, {\bf independently of the concept of the product }(see \cite{ann}) . See \cite{ann} for the basic meanings of the division by zero.
We shall state a reality of the division by zero $z/0=0$ by the concept of reflection (geometrical optics). It seems that the common interpretations for the reflections for the center of a circle and the point at infinity are not suitable.
\section{Reflection points}
For simplicity, we shall consider the unit circle ${|z| = 1}$ on the complex $z = x +iy$ plane.
Then, we have the reflection formula
\begin{equation}
z^* = \frac{1}{\overline{z}}
\end{equation}
for any point $z$, as well-known (\cite{ahlfors}). For the reflection point $z^*$, there is no problem for the points
$z \neq 0, \infty$. As the classical result, the reflection of zero is the point at infinity and conversely, for the point at infinity we have the zero point. The reflection is a one to one and onto mapping between the inside and the outside of the unit circle.
However, we wonder the following common facts:
Are these correspondences suitable?
Does there exist the point at $\infty$, really?
Is the point at infinity corresponding to the zero point? Is the point at $\infty$ reasonable from the practical point of view?
Indeed, where can we find the point at infinity? Of course, we know plesantly the point at infinity
on the Riemann sphere, however on the complex $z$-plane it seems that we can not find the corresponding point. When we approach to the origin on a radial line, it seems that the correspondence reflection points approach to {\it the point at infinity} with the direction (on the radial line).
\section{Interpretation by the division by zero $z/0=0$}
On the concept of the division by zero, there is no the point at infinity $\infty$ as the numbers. For any point $z$ such that $|z| >1$, there exists the unique point $z^*$ by (2.1). Meanwhile, for any point $z$ such that $|z| < 1$ except $z=0$, there exits the unique point $z^*$ by (2.1).
Here, note that for $z=0$, by the division by zero, $z^*=0$. Furthermore, we can see that
\begin{equation}
\lim_{z \to 0}z^* =\infty,
\end{equation}
however, for $z=0$ itself, by the division by zero, we have $z^*=0$. This will mean a strong discontinuity of the function
\begin{equation}
W = \frac{1}{z}
\end{equation}
at the origin $z=0$; that is a typical property of the division by zero. This strong discontinuity may be looked in the above reflection property, physically.
\section{Conclusion}
{\Large \bf Should we exclude the point at infinity, from the numbers?} We were able to look the strong discontinuity of the division by zero in the reflection with respect to circles, physically ( geometrical optics ).
The division by zero gives a one to one and onto mapping of the reflection (2.1) from the whole complex plane onto the whole complex plane.
{\Large \bf The infinity $\infty$ may be considered as in (3.1) as the usual sense of limits,} however, the infinity $\infty$ is not a definite number.
\bigskip
\bibliographystyle{plain}
\begin{thebibliography}{10}
\bibitem{ahlfors}
L. V. Ahlfors, Complex Analysis, McGraw-Hill Book Company, 1966.
\bibitem{cs}
L. P. Castro and S.Saitoh, Fractional functions and their representations, Complex Anal. Oper. Theory {\bf7} (2013), no. 4, 1049-1063.
\bibitem{kmsy}
S. Koshiba, H. Michiwaki, S. Saitoh and M. Yamane,
An interpretation of the division by zero z/0=0 without the concept of product
(note).
\bibitem{kmsy}
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on $100/0=0$ and on $0/0=0$,
Int. J. Appl. Math. Vol. 27, No 2 (2014), pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
\bibitem{mst}
H. Michiwaki, S. Saitoh, and M. Takagi,
A new concept for the point at infinity and the division by zero z/0=0
(note).
\bibitem{s}
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra \& Matrix Theory. Vol.4 No.2 (2014), 87-95. http://www.scirp.org/journal/ALAMT/
\bibitem{taka}
S.-E. Takahasi,
{On the identities $100/0=0$ and $ 0/0=0$}
(note).
\bibitem{ttk}
S.-E. Takahasi, M. Tsukada and Y. Kobayashi, Classification of continuous fractional binary operators on the real and complex fields, Tokyo Journal of Mathematics (in press).
\bibitem{ann}
Announcement 185: Division by zero is clear as z/0=0 and it is fundamental in mathematics,
Institute of Reproducing Kernels, 2014.10.22.
\end{thebibliography}
\end{document}
再生核研究所声明２３６（2015.６.18）ゼロ除算の自明さ、実現と無限遠点の空虚さ
（２０１５．６．１４．０７：４０ 頃、食後の散歩中、突然考えが、全体の構想が閃いたものである。）
２０１５年３月２３日、明治大学における日本数学会講演方針（メモ：公開）の中で、次のように述べた： ゼロ除算の本質的な解明とは、Aristotélēs の世界観、universe は連続である を否定して、 強力な不連続性を universe の自然な現象として受け入れられることである。数学では、その強力な不連続性を自然なものとして説明され、解明されること が求められる。
そこで、上記、突然湧いた考え、内容は、ゼロ除算の理解を格段に進められると直観した。
半径１の原点に中心を持つ、円Cを考える。いま、簡単のために、正のｘ軸方向の直線を考える。 その時、 点ｘ （０＜ｘ＜１）の円Cに関する 鏡像 は y = 1/x に映る。この対応を考えよう。ｘが どんどん 小さくゼロに近づけば、対応する鏡像 ｙは どんどん大きくなって行くことが分かる。そこで、古典的な複素解析学では、x =0 に対応する鏡像として、極限の点が存在するものとして、無限遠点を考え、 原点の鏡像として 無限遠点を対応させている。 この意味で 1/0 = ∞、と表わされている。 この極限で捉える方法は解析学における基本的な考え方で、アーベルやオイラーもそのように考え、そのような記号を用いていたという。
しかしながら、このような極限の考え方は、適切ではないのではないだろうか。正の無限、どこまで行っても切りはなく、無限遠点など実在しているとは言えないのではないだろうか。これは、原点に対応する鏡像は ｘ＞１に存在しないことを示している。ところが、ゼロ除算は 1/0=0 であるから、ゼロの鏡像はゼロであると述べていることになる。実際、鏡像として、原点の鏡像は原点で、我々の世界で、そのように考えるのが妥当であると考えられよう。これは、ゼロ除算の強力な不連続性を幾何学的に実証していると考えられる。
ゼロ以上の数の世界で、ゼロに対応する鏡像y=1/xは存在しないので、仕方なく、神はゼロにゼロを対応させたという、神の意思が感じられるが、それが この世界における実態と合っているということを示しているのではないだろうか。
この説は、伝統ある複素解析学の考えから、鏡像と無限遠点の概念を変える歴史的な大きな意味を有するものと考える。
以 上
付記 下記図を参照：
再生核研究所声明２３２（2015.5.26）無限大とは何か、無限遠点とは何か。― 驚嘆すべきゼロ除算の結果
まず、ウィキペディアで無限大、無限遠点、立体射影： 語句を確認して置こう：
無限大 ：記号∞ （アーベルなどはこれを 1 / 0 のように表記していた）で表す。 大雑把に言えば、いかなる数よりも大きいさまを表すものであるが、より明確な意味付けは文脈により様々である。例えば、どの実数よりも大きな（実数の範疇からはずれた）ある特定の“数”と捉えられることもある（超準解析や集合の基数など）し、ある変量がどの実数よりも大きくなるということを表すのに用いられることもある（極限など）。無限大をある種の数と捉える場合でも、それに適用される計算規則の体系は1つだけではない。実数の拡張としての無限大には ∞ (+∞) と －∞ がある。大小関係を定義できない複素数には無限大の概念はないが、類似の概念として無限遠点を考えることができる。また、計算機上ではたとえば∞+iのような数を扱えるものも多い。
無限遠点 ： ユークリッド空間で平行に走る線が、交差するとされる空間外の点あるいは拡張された空間における無限遠の点。平行な直線のクラスごとに1つの無限遠点があるとする場合は射影空間が得られる。この場合、無限遠点の全体は1つの超平面（無限遠直線、無限遠平面 etc.）を構成する。また全体でただ1つの無限遠点があるとする場合は（超）球面が得られる。複素平面に1つの無限遠点 ∞ を追加して得られるリーマン球面は理論上きわめて重要である。無限遠点をつけ加えてえられる射影空間や超球面はいずれもコンパクトになる。
立体射影： 数学的な定義
•
• 単位球の北極から z = 0 の平面への立体射影を表した断面図。P の像がP ' である。
• 冒頭のように、数学ではステレオ投影の事を写像として立体射影と呼ぶので、この節では立体射影と呼ぶ。 この節では、単位球を北極から赤道を通る平面に投影する場合を扱う。その他の場合はあとの節で扱う。
• 3次元空間 R3 内の単位球面は、x2 + y2 + z2 = 1 と表すことができる。ここで、点 N = (0, 0, 1) を"北極"とし、M は球面の残りの部分とする。平面 z = 0 は球の中心を通る。"赤道"はこの平面と、この球面の交線である。
• M 上のあらゆる点 P に対して、N と P を通る唯一の直線が存在し、その直線が平面z = 0 に一点 P ' で交わる。Pの立体射影による像は、その平面上のその点P ' であると定義する。
無限大とは何だろうか。 図で、xの正方向を例えば考えてみよう。 ０、１、２、３、、、などの正の整数を簡単に考えると、 どんな大きな数（正の) n に対しても より大きな数n + 1 が 考えられるから、正の数には 最も大きな数は存在せず、 幾らでも大きな数が存在する。限りなく大きな数が存在することになる。 そうすると無限大とは何だろうか。 普通の意味で数でないことは明らかである。 よく記号∞や記号＋∞で表されるが、明確な定義をしないで、それらの演算、２ ｘ∞、∞＋∞、∞-∞、∞x∞,∞/∞ 等は考えるべきではない。無限大は普通の数ではない。 無限大は、極限を考えるときに有効な自然な、明確な概念、考えである。 幾らでも大きくなるときに 無限大の記号を用いる、例えばxが どんどん大きくなる時、 x^2 (xの２乗)は 無限大に近づく、無限大である、無限に発散すると表現して、lim_{x \to +\infty} x＾２ =＋∞ と表す。 記号の意味はxが 限りなく大きくなるとき、x の２乗も限りなく大きくなるという意味である。 無限大は決まった数ではなくて、どんどん限りなく 大きくなっていく 状況 を表している。
さて、図で、 x が正の方向で どんどん大きくなると、 すなわち、図で、P ダッシュが どんどん右方向に進むとき、図の対応で、Pがどんどん、 Nに近づくことが分かるだろう。
x軸全体は 円周の１点Nを除いた部分と、 １対１に対応することが分かる。 すなわち、直線上のどんな点も、円周上の１点が対応し、逆に、円周の１点Nを除いた部分 のどんな点に対しても、直線上の１点が対応する。
面白いことは、正の方向に行っても、負の方向に行っても原点からどんどん遠ざかれば、円周上では Nの１点にきちんと近づいていることである。双方の無限の彼方が、N の１点に近づいていることである。
この状況は、z平面の原点を通る全ての直線についても言えるから、平面全体は球面全体からNを除いた球面に １対１にちょうど写っていることが分かる。
そこで、平面上のあらゆる方向に行った先が存在するとして 想像上の点 を考え、その点に球面上の点 Nを対応させる。 すると、平面にこの想像上の点を加えた拡張平面は 球面全体 （リーマン球面と称する） と１対１に 対応する。この点が 無限遠点で符号のつかない ∞ で 表す。 このようにして、無限を見ることが、捉えることができたとして、喜びが湧いてくるのではないだろうか。 実際、これが１００年を越えて、複素解析学で考えられてきた無限遠点で 美しい理論体系を形作ってきた。
しかしながら、無限遠点は 依然として、数であるとは言えない。人為的に無限遠点に 代数的な構造を定義しても、人為的な感じは免れず、形式的、便宜的なもので、普通の数としては考えられないと言える。
ところが、ゼロ除算の結果は、1 / 0 はゼロであるというのであるから、これは、上記で何を意味するであろうか。基本的な関数 W＝1/z の対応は、z =0 以外は１対１、z =0 は W=0 に写り、全平面を全平面に１対１に写している。 ゼロ除算には無限遠点は存在せず、 上記 立体射影で、 Nの点が突然、0 に対応していることを示している。 平面上で原点から、どんどん遠ざかれば、 どんどんNに近づくが、ちょうどN に対応する点では、 突然、0 である。
この現象こそ、ゼロ除算の新規な神秘性である。
上記引用で、記号∞ （アーベルなどはこれを 1 / 0 のように表記していた）、オイラーもゼロ除算は 極限の概念を用いて、無限と理解していたとして、天才 オイラーの間違いとして指摘されている。
ゼロ除算は、極限の概念を用いて得られるのではなくて、純粋数学の理論の帰結として得られた結果であり、世の不連続性の現象を表しているとして新規な現象の研究を進めている。
ここで、無限大について、空間的に考えたが、個数の概念で、無限とは概念が異なることに注意して置きたい。 １０個、１００個、無限個という場合の無限は異なる考えである。自然数１，２，３、、、等は無限個存在すると表現する。驚嘆すべきことは、無限個における無限には、幾らでも大きな無限が存在することである。 例えば、自然数の無限は最も小さな無限で、１ｃｍ の長さの線分にも、１ｍの長さの線分にも同数の点（数、実数）が存在して、自然数全体よりは 大きな無限である。点の長さはゼロであるが、点の集まりである１ｃｍの線分には長さがあるのは、線分には点の個数が、それこそ目もくらむほどの多くの点があり、長さゼロの点をそれほど沢山集めると，正の長さが出てくるほどの無限である。
以 上
世界中で、ゼロ除算は 不可能 か
可能とすれば ∞ だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも０であるという意外な結果が得られた。
再生核研究所声明１９９（2015.1.15） 世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える ― ゼロ除算100/0=0,0/0=0
ゼロ除算は 西暦６２８年インドでゼロが文献に記録されて以来、問題とされてきた。ゼロ除算とは、ゼロで割ることを考えることである。これは数学の基本である、四則演算、加法、減法、乗法、除法において、除法以外は何時でも自由にできるのに、除法の場合だけ、ゼロで割ることができないという理由で、さらに物理法則を表す多くの公式にゼロ除算が自然に現れていることもあって、世界各地で、今でも絶えず、問題にされていると考えられる。― 小学生でも どうしてゼロで割れないのかと毎年、いろいろな教室で問われ続いているのではないだろうか.
これについては、近代数学が確立された以後でも、何百年を越えて 永い間の定説として、ゼロ除算は 不可能であり、ゼロで割ってはいけないことは、初等教育から、中等、高校、大学そして学術界、すなわち、世界の全ての文献と理解はそうなっている。変えることのできない不変的な法則のように理解されていると考えられる。
しかるに２０１４年２月２日 ゼロ除算は、可能であり、ゼロで割ればゼロであることが、偶然発見された。その後の経過、背景や意味付け等を纏めてきた：
再生核研究所声明 148（2014.2.12） 100/0=0, 0/0=0 － 割り算の考えを自然に拡張すると ― 神の意志
再生核研究所声明154（2014.4.22） 新しい世界、ゼロで割る、奇妙な世界、考え方
再生核研究所声明157（2014.5.8） 知りたい 神の意志、ゼロで割る、どうして 無限遠点と原点が一致しているのか？
再生核研究所声明161（2014.5.30）ゼロ除算から学ぶ、数学の精神 と 真理の追究
再生核研究所声明163（2014.6.17）ゼロで割る（零除算）－ 堪らなく楽しい数学、探そう零除算 ― 愛好サークルの提案
再生核研究所声明166（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ 世界観
再生核研究所声明171（2014.7.30）掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である？
再生核研究所声明176（2014.8.9） ゼロ除算について、数学教育の変更を提案する
Announcement 179 (2014.8.25): Division by zero is clear as z/0=0 and it is fundamental in mathematics
Announcement 185 : The importance of the division by zero $z/0=0$
再生核研究所声明188（2014.12.1５）ゼロで割る（ゼロ除算）から観えてきた世界
再生核研究所声明190（2014.12.24）
再生核研究所からの贈り物 ― ゼロ除算100/0=0, 0/0=0
夜明け、新世界、再生核研究所 年頭声明
― 再生核研究所声明193（2015.1.1）―
再生核研究所声明194（2015.1.2）大きなイプシロン（無限小）、創造性の不思議
再生核研究所声明195（2015.1.3）ゼロ除算に於ける高橋の一意性定理について
再生核研究所声明196（2015.1.4）ゼロ除算に於ける山根の解釈100= 0ｘ0について
ところが、気づいてみると、ゼロ除算は当たり前なのに、数学者たちが勝手に、割り算は掛け算の逆と思い込み、ゼロ除算は不可能であると 絶対的な真理であるかのように 烙印を押して、世界の人々も盲信してきた。それで、物理学者が そのために基本的な公式における曖昧さに困ってきた事情は ニュートンの万有引力の法則にさえ見られる。
さらに、誠に奇妙なことには、除算はその言葉が表すように、掛算とは無関係に考えられ、日本ばかりではなく西欧でも中世から除算は引き算の繰り返しで計算されてきた、古い、永い伝統がある。その考え方から、ゼロ除算は自明であると道脇裕氏と道脇愛羽さん６歳が（四則演算を学習して間もないときに）理解を示した ― ゼロ除算は除算の固有の意味から自明であり、ゼロで割ればゼロであるは数学的な真実であると言える（声明１９４）。数学、物理、文化への影響も甚大であると考えられる。
数学者は 数学の自由な精神で 好きなことで、考えられることは何でも考え、不可能を可能にし、分からないことを究め、真智を求めるのが 数学者の精神である。非ユークリッド幾何学の出現で 絶対は変わり得ることを学び、いろいろな考え方があることを学んできたはずである。そのような観点から ゼロ除算の解明の遅れは 奇妙な歴史的な事件である と言えるのではないだろうか。
これは、数学を超えた、真実であり、ゼロ除算は不可能であるとの 世の理解は間違っている と言える。そこで、真実を世界に広めて、人類の歴史を進化させるべきであると考える。特に声明１７６と声明１８５を参照。ゼロ除算は 堪らなく楽しい 新世界 を拓いていると考える。
以 上
1+0=1 1ｰ0=0 1×0=0 では、1/0・・・・・・・・・幾つでしょうか。
0??? 本当に大丈夫ですか・・・・・0×0=1で矛盾になりませんか・・・・
ゼロ除算は、不可能であると誰が最初に言ったのでしょうか・・・・
7歳の少女が、当たり前であると言っているゼロ除算を 多くの大学教授が、信じられない結果と言っているのは、まことに奇妙な事件と言えるのではないでしょうか。
割り算を掛け算の逆だと定義した人は、誰でしょう？？？
世界中で、ゼロ除算は 不可能 か
可能とすれば ∞ だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも0であるという意外な結果が得られた。
小学校以上で、最も知られている数学の結果は何でしょうか・・・
ゼロ除算（1/0=0）は、ピタゴラスの定理（a2 + b2 = c2 ）を超えた基本的な結果であると考えられる。
https://www.pinterest.com/pin/234468724326618408/
無限遠点は存在するが、無限大という数は存在しない・・・・
加（+）・減（-）・乗（×）・除（÷） 除法（じょほう、英: division）とは、乗法の逆演算・・・・間違いの元 乗（×）は、加（+） 除（÷）は、減（-）
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1411588849/a37209195?sort=1&fr=chie_my_notice_canso
Question book-4.svg
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。
出典を追加して記事の信頼性向上にご協力ください。（2011年12月）
複素関数f(z)=(z2-1)(z-2-i)2/(z2+2+2i)のグラフ。色相は偏角を表し、明度（このグラフでは周期的に変化させている）は絶対値を表す。
数学の分科である複素解析（ふくそかいせき、complex analysis）とは、複素数の関数に関わる微分学、積分学、変分学、微分方程式論、積分方程式論、関数論などの総称である。初等教育で扱う実関数の解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といっても複素解析を意味することが多い。複素解析の手法は応用数学を含む数学、理論物理学、工学などの多くの分野でもちいられている。
目次 [非表示]
1 複素関数
2 複素解析関数
2.1 特異点の分類
2.2 解析関数の分類
3 主な結果
4 他の分野への応用
5 歴史
6 関連項目
複素関数[編集]
複素関数とは自由変数と従属変数がともに複素数の範囲で与えられるようなものである。より正確に言えば複素平面の部分集合上で定義された複素数値の関数が複素関数とよばれる。複素関数に対し自由変数や従属変数を実部と虚部とにわけて考えることができる。
z = x + iy ,\, w = f(z) = u(z) + iv(z).\,
ここで x,y,u(z),v(z) \in \mathbb{R}.
従って複素関数の成分
u = u(x,y),~\,
v = v(x,y)\,
は2つの実変数 x, y についての実数値関数だと考えることができる。（学校教育などにおいて）複素解析の基本的な概念は、指数関数、対数関数、三角関数などの実関数を複素関数に拡張することにより与えられることが多い。
複素解析関数[編集]
複素解析関数とは、複素平面の開領域(平面全体でも可)で定義され、定義域の全体で解析的な複素関数をいう。複素関数については解析的(冪級数へ展開可能)であることと微分可能であることは同値であり、これを正則 (regular) であるという。複素関数が解析的でない点を特異点 (singularity) という。特異点における関数値は不定であったり正負の無限であったりすることが多いから、特異点は定義域の外にあると考える方が妥当であるが、当然に、定義域の外の点のうち、微分不可能な点を全て特異点というべきではない。特異点とは解析関数の定義域の閉包の開核に含まれる非解析的な点であると考えてもよい。ただし、究極的には、複素解析の対象となる関数が複素解析関数であり、複素解析の対象となる非解析的な点が特異点である。(何が複素解析の対象になるかについては主観の入る余地がある。)
特異点の分類[編集]
複素解析は解析的な領域を探求する分野であるが、複素関数に特異点(singularity)がある場合、特異点を含む領域全体に於ける大局的な挙動は特異点に支配される。従って、特異点の位置や性質を研究することは複素解析の範疇に含まれる。
特異点には孤立した特異点 (isolated -) と孤立していない特異点 (non-isolated -) とがあるが、複素解析の対象となるのは主に孤立した特異点である。孤立した特異点は、除去可能な特異点 (removable -)、有限次数の極 (pole)、真性特異点 (essential -) に分類される。除去可能な特異点とは、その点に適当な値を定義することにより、その近傍で解析的になるものをいう。極とは、f(z) の特異点 z = a であって、(z - a)nf(z) において除去可能な特異点となる自然数 n が存在するものをいう。真性特異点とは、除去可能でも極でもない孤立した特異点をいう。
孤立していない特異点とは、特異点が稠密に連なっているために、その近傍に必ず他の特異点を含んでしまう特異点をいう。例えば f(z)=1/\sin\left(\tfrac{1}{z}\right) は z = 0 に孤立していない特異点を持つ（z = ±1/nπ は0以外の、孤立していない真性特異点、ただしnは任意の自然数）。この他に、定義域の自然な境界（解析接続によって越えられない壁）や多価関数を一価関数として扱うために導入する分岐 (branch cut) も一種の特異点と考えられる。分岐の端点を分岐点 (branch point) というが、分岐が有るかぎり、分岐点は孤立した特異点になりえない。然し、分岐は何処に置いてもよいものであるから都合に合わせて分岐を動かせば、分岐点を恰も孤立した特異点であるかのように扱える。この発想はリーマン面に通ずる。分岐点は代数分岐点 (algebraic -) と対数分岐点 (logarithmic -) に分類されるが、代数特異点、対数特異点と呼ばれることもある。
解析関数の分類[編集]
複素関数が微分可能であるということは、実関数が微分可能であるということに比べて遥かに強い条件である。一階微分可能な複素関数は無限階微分可能であり、積分可能であり、解析的である。これらの事実により、複素関数が微分可能であれば正則であるという。定義域（若しくは考察の対象となっている領域）の全体で正則な関数を正則関数 (holomorphic function) といい、孤立する極を除いて正則な関数を有理型関数 (meromorphic function) という。複素平面全体を定義域とする正則関数を整関数 (entire function) という。(英語と日本語の不一致は同義語の取捨による。)
指数関数、正弦関数、余弦関数、多項式関数など、多くの初等関数は整関数であるが、正接関数などは極を持つから有理型であり、対数関数は負の実軸に分岐を持ち正則でない。ガンマ関数は負の整数に極を持つから有理型であるが、右半平面に限れば正則である。
主な結果[編集]
複素解析においてよくもちいられる道具立てに線積分がある。コーシーの積分定理によって、閉じた経路で囲まれた領域の内側全体で正則になっている関数を、その経路上線積分した値はかならず 0 になるということがわかる。もし正則関数が特定の点を極（特異点）にしているとき、つまりそこで関数の値が「爆発」し有限の値をとらないときには、その点での関数の留数を求めることで線積分の値を決定できる。各複素数における正則関数の値は、その点のまわりの円周上での（考えている正則関数に応じて構成される有理型関数の）線積分の値として求めることができる（コーシーの積分公式）。また、正則関数の線積分に関する留数の理論を用いることで複雑な実積分の値を決定することもできるようになる。
カゾラーティ・ワイエルシュトラスの定理によって真性特異点のまわりでの正則関数の挙動に関する驚くべき性質が導かれる。特異点のまわりでの関数の挙動はテイラー級数に類似のローラン級数によって記述される。
リウヴィルの定理によって複素平面全体で有界な正則関数は定数関数に限られることがわかるが、これをもちいて複素数体が代数的閉体であるという代数学の基本定理の自然で簡単な証明が与えられる。
正則関数の重要な性質に、正則な関数の連結な領域上全体での挙動が任意のより小さい領域上の挙動によって決定されてしまう（一致の原理）、というものがある。大きい領域全体でのもとの関数は小さい領域上に制限して考えたものの解析接続とよばれる。このような原理によってリーマンゼータ関数など、限られた領域上でしか収束しない級数によって定義されていた関数を複素平面全体に正則関数や有理型関数として拡張することが可能になる。場合によっては自然対数などのように複素平面内の単連結でない領域への解析接続が不可能なこともあるが、リーマン面とよばれる曲面を導入することでその上の正則関数としての「解析接続」を考えることができる。
上記の結果はすべて一変数に関する複素解析のものであるが、多次元の複素解析に関しても豊かな理論が存在し、ベキ級数展開などの解析的な性質が成立している。一方で共形性などの一変数正則関数が持つ幾何学的な性質は拡張されず、リーマンの写像定理が示すような複素平面の領域に関する共形関係性など一変数の理論における最も重要な結果が高次元においてはもはや成立しない。
他の分野への応用[編集]
伝統的に複素解析、特に等角写像の理論は工学・地図学に多くの応用があるが、解析的整数論全般にわたっても応用されている。近年は複素力学系の勃興や正則関数の繰り返しによって与えられるフラクタル図形（有名な例としてマンデルブロ集合が挙げられる）などによって有名になっている。ほかの重要な応用として共形変換に対して作用が不変な場の量子論である共形場理論が挙げられる。また、複素解析は電気工学におけるフェーザ表示、固体力学における応力関数、流体力学における複素速度ポテンシャルなど、工学全体を通じてさまざまな題材にも応用されている。
歴史[編集]
複素解析は古くからある数学の分野であり、その起源は19世紀あるいはより以前にまでたどることができる。レオンハルト・オイラー、カール・フリードリッヒ・ガウス、ベルンハルト・リーマン、オーギュスタン＝ルイ・コーシー、ワイエルシュトラスや多くの二十世紀数学者たちが複素解析の理論に貢献している。https://ja.wikipedia.org/wiki/%E8%A4%87%E7%B4%A0%E8%A7%A3%E6%9E%90
\documentclass[12pt]{article}
\usepackage{latexsym,amsmath,amssymb,amsfonts,amstext,amsthm}
\numberwithin{equation}{section}
\begin{document}
\title{\bf Announcement 237: A reality of the division by zero $z/0=0$ by geometrical optics}
\author{{\it Institute of Reproducing Kernels}\\
\date{\today}
\maketitle
{\bf Abstract: } In this announcement, we shall state a reality of the division by zero $z/0=0$ by the reflection (geometrical optics) and from this fact we will be able to understand that the division by zero $z/0=0$ is natural in both mathematics and our physical world.
\bigskip
\section{Introduction}
%\label{sect1}
By {\bf a natural extension of the fractions}
\begin{equation}
\frac{b}{a}
\end{equation}
for any complex numbers $a$ and $b$, we, recently, found the surprising result, for any complex number $b$
\begin{equation}
\frac{b}{0}=0,
\end{equation}
incidentally in \cite{s} by the Tikhonov regularization for the Hadamard product inversions for matrices, and we discussed their properties and gave several physical interpretations on the general fractions in \cite{kmsy} for the case of real numbers. The result is a very special case for general fractional functions in \cite{cs}.
The division by zero has a long and mysterious story over the world (see, for example, google site with division by zero) with its physical viewpoints since the document of zero in India on AD 628, however,
Sin-Ei, Takahasi (\cite{taka}) (see also \cite{kmsy}) established a simple and decisive interpretation (1.2) by analyzing some full extensions of fractions and by showing the complete characterization for the property (1.2). His result will show that {\bf our mathematics says} that the result (1.2) should be accepted as a natural one:
\bigskip
{\bf Proposition. }{\it Let F be a function from ${\bf C }\times {\bf C }$ to ${\bf C }$ such that
$$
F (b, a)F (c, d)= F (bc, ad)
$$
for all
$$
a, b, c, d \in {\bf C }
$$
and
$$
F (b, a) = \frac {b}{a }, \quad a, b \in {\bf C }, a \ne 0.
$$
Then, we obtain, for any $b \in {\bf C } $
$$
F (b, 0) = 0.
$$
}
\medskip
Furthermore, note that Hiroshi Michiwaki with his 6 year old daughter gave the important interpretation of the division by zero $z/0=0$ by the intuitive meaning of the division, {\bf independently of the concept of the product }(see \cite{ann}) . See \cite{ann} for the basic meanings of the division by zero.
We shall state a reality of the division by zero $z/0=0$ by the concept of reflection (geometrical optics). It seems that the common interpretations for the reflections for the center of a circle and the point at infinity are not suitable.
\section{Reflection points}
For simplicity, we shall consider the unit circle ${|z| = 1}$ on the complex $z = x +iy$ plane.
Then, we have the reflection formula
\begin{equation}
z^* = \frac{1}{\overline{z}}
\end{equation}
for any point $z$, as well-known (\cite{ahlfors}). For the reflection point $z^*$, there is no problem for the points
$z \neq 0, \infty$. As the classical result, the reflection of zero is the point at infinity and conversely, for the point at infinity we have the zero point. The reflection is a one to one and onto mapping between the inside and the outside of the unit circle.
However, we wonder the following common facts:
Are these correspondences suitable?
Does there exist the point at $\infty$, really?
Is the point at infinity corresponding to the zero point? Is the point at $\infty$ reasonable from the practical point of view?
Indeed, where can we find the point at infinity? Of course, we know plesantly the point at infinity
on the Riemann sphere, however on the complex $z$-plane it seems that we can not find the corresponding point. When we approach to the origin on a radial line, it seems that the correspondence reflection points approach to {\it the point at infinity} with the direction (on the radial line).
\section{Interpretation by the division by zero $z/0=0$}
On the concept of the division by zero, there is no the point at infinity $\infty$ as the numbers. For any point $z$ such that $|z| >1$, there exists the unique point $z^*$ by (2.1). Meanwhile, for any point $z$ such that $|z| < 1$ except $z=0$, there exits the unique point $z^*$ by (2.1).
Here, note that for $z=0$, by the division by zero, $z^*=0$. Furthermore, we can see that
\begin{equation}
\lim_{z \to 0}z^* =\infty,
\end{equation}
however, for $z=0$ itself, by the division by zero, we have $z^*=0$. This will mean a strong discontinuity of the function
\begin{equation}
W = \frac{1}{z}
\end{equation}
at the origin $z=0$; that is a typical property of the division by zero. This strong discontinuity may be looked in the above reflection property, physically.
\section{Conclusion}
{\Large \bf Should we exclude the point at infinity, from the numbers?} We were able to look the strong discontinuity of the division by zero in the reflection with respect to circles, physically ( geometrical optics ).
The division by zero gives a one to one and onto mapping of the reflection (2.1) from the whole complex plane onto the whole complex plane.
{\Large \bf The infinity $\infty$ may be considered as in (3.1) as the usual sense of limits,} however, the infinity $\infty$ is not a definite number.
\bigskip
\bibliographystyle{plain}
\begin{thebibliography}{10}
\bibitem{ahlfors}
L. V. Ahlfors, Complex Analysis, McGraw-Hill Book Company, 1966.
\bibitem{cs}
L. P. Castro and S.Saitoh, Fractional functions and their representations, Complex Anal. Oper. Theory {\bf7} (2013), no. 4, 1049-1063.
\bibitem{kmsy}
S. Koshiba, H. Michiwaki, S. Saitoh and M. Yamane,
An interpretation of the division by zero z/0=0 without the concept of product
(note).
\bibitem{kmsy}
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on $100/0=0$ and on $0/0=0$,
Int. J. Appl. Math. Vol. 27, No 2 (2014), pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
\bibitem{mst}
H. Michiwaki, S. Saitoh, and M. Takagi,
A new concept for the point at infinity and the division by zero z/0=0
(note).
\bibitem{s}
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra \& Matrix Theory. Vol.4 No.2 (2014), 87-95. http://www.scirp.org/journal/ALAMT/
\bibitem{taka}
S.-E. Takahasi,
{On the identities $100/0=0$ and $ 0/0=0$}
(note).
\bibitem{ttk}
S.-E. Takahasi, M. Tsukada and Y. Kobayashi, Classification of continuous fractional binary operators on the real and complex fields, Tokyo Journal of Mathematics (in press).
\bibitem{ann}
Announcement 185: Division by zero is clear as z/0=0 and it is fundamental in mathematics,
Institute of Reproducing Kernels, 2014.10.22.
\end{thebibliography}
\end{document}
再生核研究所声明２３６（2015.６.18）ゼロ除算の自明さ、実現と無限遠点の空虚さ
（２０１５．６．１４．０７：４０ 頃、食後の散歩中、突然考えが、全体の構想が閃いたものである。）
２０１５年３月２３日、明治大学における日本数学会講演方針（メモ：公開）の中で、次のように述べた： ゼロ除算の本質的な解明とは、Aristotélēs の世界観、universe は連続である を否定して、 強力な不連続性を universe の自然な現象として受け入れられることである。数学では、その強力な不連続性を自然なものとして説明され、解明されること が求められる。
そこで、上記、突然湧いた考え、内容は、ゼロ除算の理解を格段に進められると直観した。
半径１の原点に中心を持つ、円Cを考える。いま、簡単のために、正のｘ軸方向の直線を考える。 その時、 点ｘ （０＜ｘ＜１）の円Cに関する 鏡像 は y = 1/x に映る。この対応を考えよう。ｘが どんどん 小さくゼロに近づけば、対応する鏡像 ｙは どんどん大きくなって行くことが分かる。そこで、古典的な複素解析学では、x =0 に対応する鏡像として、極限の点が存在するものとして、無限遠点を考え、 原点の鏡像として 無限遠点を対応させている。 この意味で 1/0 = ∞、と表わされている。 この極限で捉える方法は解析学における基本的な考え方で、アーベルやオイラーもそのように考え、そのような記号を用いていたという。
しかしながら、このような極限の考え方は、適切ではないのではないだろうか。正の無限、どこまで行っても切りはなく、無限遠点など実在しているとは言えないのではないだろうか。これは、原点に対応する鏡像は ｘ＞１に存在しないことを示している。ところが、ゼロ除算は 1/0=0 であるから、ゼロの鏡像はゼロであると述べていることになる。実際、鏡像として、原点の鏡像は原点で、我々の世界で、そのように考えるのが妥当であると考えられよう。これは、ゼロ除算の強力な不連続性を幾何学的に実証していると考えられる。
ゼロ以上の数の世界で、ゼロに対応する鏡像y=1/xは存在しないので、仕方なく、神はゼロにゼロを対応させたという、神の意思が感じられるが、それが この世界における実態と合っているということを示しているのではないだろうか。
この説は、伝統ある複素解析学の考えから、鏡像と無限遠点の概念を変える歴史的な大きな意味を有するものと考える。
以 上
付記 下記図を参照：
再生核研究所声明２３２（2015.5.26）無限大とは何か、無限遠点とは何か。― 驚嘆すべきゼロ除算の結果
まず、ウィキペディアで無限大、無限遠点、立体射影： 語句を確認して置こう：
無限大 ：記号∞ （アーベルなどはこれを 1 / 0 のように表記していた）で表す。 大雑把に言えば、いかなる数よりも大きいさまを表すものであるが、より明確な意味付けは文脈により様々である。例えば、どの実数よりも大きな（実数の範疇からはずれた）ある特定の“数”と捉えられることもある（超準解析や集合の基数など）し、ある変量がどの実数よりも大きくなるということを表すのに用いられることもある（極限など）。無限大をある種の数と捉える場合でも、それに適用される計算規則の体系は1つだけではない。実数の拡張としての無限大には ∞ (+∞) と －∞ がある。大小関係を定義できない複素数には無限大の概念はないが、類似の概念として無限遠点を考えることができる。また、計算機上ではたとえば∞+iのような数を扱えるものも多い。
無限遠点 ： ユークリッド空間で平行に走る線が、交差するとされる空間外の点あるいは拡張された空間における無限遠の点。平行な直線のクラスごとに1つの無限遠点があるとする場合は射影空間が得られる。この場合、無限遠点の全体は1つの超平面（無限遠直線、無限遠平面 etc.）を構成する。また全体でただ1つの無限遠点があるとする場合は（超）球面が得られる。複素平面に1つの無限遠点 ∞ を追加して得られるリーマン球面は理論上きわめて重要である。無限遠点をつけ加えてえられる射影空間や超球面はいずれもコンパクトになる。
立体射影： 数学的な定義
•
• 単位球の北極から z = 0 の平面への立体射影を表した断面図。P の像がP ' である。
• 冒頭のように、数学ではステレオ投影の事を写像として立体射影と呼ぶので、この節では立体射影と呼ぶ。 この節では、単位球を北極から赤道を通る平面に投影する場合を扱う。その他の場合はあとの節で扱う。
• 3次元空間 R3 内の単位球面は、x2 + y2 + z2 = 1 と表すことができる。ここで、点 N = (0, 0, 1) を"北極"とし、M は球面の残りの部分とする。平面 z = 0 は球の中心を通る。"赤道"はこの平面と、この球面の交線である。
• M 上のあらゆる点 P に対して、N と P を通る唯一の直線が存在し、その直線が平面z = 0 に一点 P ' で交わる。Pの立体射影による像は、その平面上のその点P ' であると定義する。
無限大とは何だろうか。 図で、xの正方向を例えば考えてみよう。 ０、１、２、３、、、などの正の整数を簡単に考えると、 どんな大きな数（正の) n に対しても より大きな数n + 1 が 考えられるから、正の数には 最も大きな数は存在せず、 幾らでも大きな数が存在する。限りなく大きな数が存在することになる。 そうすると無限大とは何だろうか。 普通の意味で数でないことは明らかである。 よく記号∞や記号＋∞で表されるが、明確な定義をしないで、それらの演算、２ ｘ∞、∞＋∞、∞-∞、∞x∞,∞/∞ 等は考えるべきではない。無限大は普通の数ではない。 無限大は、極限を考えるときに有効な自然な、明確な概念、考えである。 幾らでも大きくなるときに 無限大の記号を用いる、例えばxが どんどん大きくなる時、 x^2 (xの２乗)は 無限大に近づく、無限大である、無限に発散すると表現して、lim_{x \to +\infty} x＾２ =＋∞ と表す。 記号の意味はxが 限りなく大きくなるとき、x の２乗も限りなく大きくなるという意味である。 無限大は決まった数ではなくて、どんどん限りなく 大きくなっていく 状況 を表している。
さて、図で、 x が正の方向で どんどん大きくなると、 すなわち、図で、P ダッシュが どんどん右方向に進むとき、図の対応で、Pがどんどん、 Nに近づくことが分かるだろう。
x軸全体は 円周の１点Nを除いた部分と、 １対１に対応することが分かる。 すなわち、直線上のどんな点も、円周上の１点が対応し、逆に、円周の１点Nを除いた部分 のどんな点に対しても、直線上の１点が対応する。
面白いことは、正の方向に行っても、負の方向に行っても原点からどんどん遠ざかれば、円周上では Nの１点にきちんと近づいていることである。双方の無限の彼方が、N の１点に近づいていることである。
この状況は、z平面の原点を通る全ての直線についても言えるから、平面全体は球面全体からNを除いた球面に １対１にちょうど写っていることが分かる。
そこで、平面上のあらゆる方向に行った先が存在するとして 想像上の点 を考え、その点に球面上の点 Nを対応させる。 すると、平面にこの想像上の点を加えた拡張平面は 球面全体 （リーマン球面と称する） と１対１に 対応する。この点が 無限遠点で符号のつかない ∞ で 表す。 このようにして、無限を見ることが、捉えることができたとして、喜びが湧いてくるのではないだろうか。 実際、これが１００年を越えて、複素解析学で考えられてきた無限遠点で 美しい理論体系を形作ってきた。
しかしながら、無限遠点は 依然として、数であるとは言えない。人為的に無限遠点に 代数的な構造を定義しても、人為的な感じは免れず、形式的、便宜的なもので、普通の数としては考えられないと言える。
ところが、ゼロ除算の結果は、1 / 0 はゼロであるというのであるから、これは、上記で何を意味するであろうか。基本的な関数 W＝1/z の対応は、z =0 以外は１対１、z =0 は W=0 に写り、全平面を全平面に１対１に写している。 ゼロ除算には無限遠点は存在せず、 上記 立体射影で、 Nの点が突然、0 に対応していることを示している。 平面上で原点から、どんどん遠ざかれば、 どんどんNに近づくが、ちょうどN に対応する点では、 突然、0 である。
この現象こそ、ゼロ除算の新規な神秘性である。
上記引用で、記号∞ （アーベルなどはこれを 1 / 0 のように表記していた）、オイラーもゼロ除算は 極限の概念を用いて、無限と理解していたとして、天才 オイラーの間違いとして指摘されている。
ゼロ除算は、極限の概念を用いて得られるのではなくて、純粋数学の理論の帰結として得られた結果であり、世の不連続性の現象を表しているとして新規な現象の研究を進めている。
ここで、無限大について、空間的に考えたが、個数の概念で、無限とは概念が異なることに注意して置きたい。 １０個、１００個、無限個という場合の無限は異なる考えである。自然数１，２，３、、、等は無限個存在すると表現する。驚嘆すべきことは、無限個における無限には、幾らでも大きな無限が存在することである。 例えば、自然数の無限は最も小さな無限で、１ｃｍ の長さの線分にも、１ｍの長さの線分にも同数の点（数、実数）が存在して、自然数全体よりは 大きな無限である。点の長さはゼロであるが、点の集まりである１ｃｍの線分には長さがあるのは、線分には点の個数が、それこそ目もくらむほどの多くの点があり、長さゼロの点をそれほど沢山集めると，正の長さが出てくるほどの無限である。
以 上
世界中で、ゼロ除算は 不可能 か
可能とすれば ∞ だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも０であるという意外な結果が得られた。
再生核研究所声明１９９（2015.1.15） 世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える ― ゼロ除算100/0=0,0/0=0
ゼロ除算は 西暦６２８年インドでゼロが文献に記録されて以来、問題とされてきた。ゼロ除算とは、ゼロで割ることを考えることである。これは数学の基本である、四則演算、加法、減法、乗法、除法において、除法以外は何時でも自由にできるのに、除法の場合だけ、ゼロで割ることができないという理由で、さらに物理法則を表す多くの公式にゼロ除算が自然に現れていることもあって、世界各地で、今でも絶えず、問題にされていると考えられる。― 小学生でも どうしてゼロで割れないのかと毎年、いろいろな教室で問われ続いているのではないだろうか.
これについては、近代数学が確立された以後でも、何百年を越えて 永い間の定説として、ゼロ除算は 不可能であり、ゼロで割ってはいけないことは、初等教育から、中等、高校、大学そして学術界、すなわち、世界の全ての文献と理解はそうなっている。変えることのできない不変的な法則のように理解されていると考えられる。
しかるに２０１４年２月２日 ゼロ除算は、可能であり、ゼロで割ればゼロであることが、偶然発見された。その後の経過、背景や意味付け等を纏めてきた：
再生核研究所声明 148（2014.2.12） 100/0=0, 0/0=0 － 割り算の考えを自然に拡張すると ― 神の意志
再生核研究所声明154（2014.4.22） 新しい世界、ゼロで割る、奇妙な世界、考え方
再生核研究所声明157（2014.5.8） 知りたい 神の意志、ゼロで割る、どうして 無限遠点と原点が一致しているのか？
再生核研究所声明161（2014.5.30）ゼロ除算から学ぶ、数学の精神 と 真理の追究
再生核研究所声明163（2014.6.17）ゼロで割る（零除算）－ 堪らなく楽しい数学、探そう零除算 ― 愛好サークルの提案
再生核研究所声明166（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ 世界観
再生核研究所声明171（2014.7.30）掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である？
再生核研究所声明176（2014.8.9） ゼロ除算について、数学教育の変更を提案する
Announcement 179 (2014.8.25): Division by zero is clear as z/0=0 and it is fundamental in mathematics
Announcement 185 : The importance of the division by zero $z/0=0$
再生核研究所声明188（2014.12.1５）ゼロで割る（ゼロ除算）から観えてきた世界
再生核研究所声明190（2014.12.24）
再生核研究所からの贈り物 ― ゼロ除算100/0=0, 0/0=0
夜明け、新世界、再生核研究所 年頭声明
― 再生核研究所声明193（2015.1.1）―
再生核研究所声明194（2015.1.2）大きなイプシロン（無限小）、創造性の不思議
再生核研究所声明195（2015.1.3）ゼロ除算に於ける高橋の一意性定理について
再生核研究所声明196（2015.1.4）ゼロ除算に於ける山根の解釈100= 0ｘ0について
ところが、気づいてみると、ゼロ除算は当たり前なのに、数学者たちが勝手に、割り算は掛け算の逆と思い込み、ゼロ除算は不可能であると 絶対的な真理であるかのように 烙印を押して、世界の人々も盲信してきた。それで、物理学者が そのために基本的な公式における曖昧さに困ってきた事情は ニュートンの万有引力の法則にさえ見られる。
さらに、誠に奇妙なことには、除算はその言葉が表すように、掛算とは無関係に考えられ、日本ばかりではなく西欧でも中世から除算は引き算の繰り返しで計算されてきた、古い、永い伝統がある。その考え方から、ゼロ除算は自明であると道脇裕氏と道脇愛羽さん６歳が（四則演算を学習して間もないときに）理解を示した ― ゼロ除算は除算の固有の意味から自明であり、ゼロで割ればゼロであるは数学的な真実であると言える（声明１９４）。数学、物理、文化への影響も甚大であると考えられる。
数学者は 数学の自由な精神で 好きなことで、考えられることは何でも考え、不可能を可能にし、分からないことを究め、真智を求めるのが 数学者の精神である。非ユークリッド幾何学の出現で 絶対は変わり得ることを学び、いろいろな考え方があることを学んできたはずである。そのような観点から ゼロ除算の解明の遅れは 奇妙な歴史的な事件である と言えるのではないだろうか。
これは、数学を超えた、真実であり、ゼロ除算は不可能であるとの 世の理解は間違っている と言える。そこで、真実を世界に広めて、人類の歴史を進化させるべきであると考える。特に声明１７６と声明１８５を参照。ゼロ除算は 堪らなく楽しい 新世界 を拓いていると考える。
以 上
1+0=1 1ｰ0=0 1×0=0 では、1/0・・・・・・・・・幾つでしょうか。
0??? 本当に大丈夫ですか・・・・・0×0=1で矛盾になりませんか・・・・
ゼロ除算は、不可能であると誰が最初に言ったのでしょうか・・・・
7歳の少女が、当たり前であると言っているゼロ除算を 多くの大学教授が、信じられない結果と言っているのは、まことに奇妙な事件と言えるのではないでしょうか。
割り算を掛け算の逆だと定義した人は、誰でしょう？？？
世界中で、ゼロ除算は 不可能 か
可能とすれば ∞ だと考えられていたが・・・
しかし、ゼロ除算 はいつでも可能で、解は いつでも0であるという意外な結果が得られた。
小学校以上で、最も知られている数学の結果は何でしょうか・・・
ゼロ除算（1/0=0）は、ピタゴラスの定理（a2 + b2 = c2 ）を超えた基本的な結果であると考えられる。
https://www.pinterest.com/pin/234468724326618408/
無限遠点は存在するが、無限大という数は存在しない・・・・
加（+）・減（-）・乗（×）・除（÷） 除法（じょほう、英: division）とは、乗法の逆演算・・・・間違いの元 乗（×）は、加（+） 除（÷）は、減（-）
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1411588849/a37209195?sort=1&fr=chie_my_notice_canso
0 件のコメント:
コメントを投稿