2015年6月23日火曜日

地動説が正しいのはなぜですか?

地動説が正しいのはなぜですか? 

<月の満ち欠け、分からない 危うい、小学生の天文知識 (Yahoo)
小学生の4割「太陽が地球を回ってる」 国立天文台調査 (ASAHI.COM)

これは、全国の小学生を対象にアンケートをしてみたら、約4割が月の満ち欠けの理由を正しく答えることができす、太陽が地球の周りを回っていると思っていた。というニュースです。

ああ、嘆かわしい。理科離れはここまで進んでいるのか。これでは、日本の理科教育はどうなってしまうんだ!と、言いたいところですが。実は、小学生では「月の満ち欠けの理由」も「地動説」も習わないんです。「月の満ち欠けの理由」を習うのは中学生、「地動説」は高校生です。

小学校の学習指導要領では、「事象を観察し、そこに変化と秩序を見いだすこと」を目的としており、その背後にある事象の理由や原因を説明することは最小限にとどめられています。個人的には、理科教育というのは世界の多様な見方を身につけるところから始めるべきだと思いますし、実験や観察などを中心とする体験型の授業を充実させて、発見や驚きの機会をなるべく増やすことは何よりも優先すべきことだと思います。その意味ではこの方針はさほど的外れじゃないんじゃないでしょうか。

この調査を行った、縣秀彦助教授は、こうした小学校の理科教育で教えられることと、テレビなどで普及している常識とにギャップがあるために理科離れが起こっているとの主張から、指導要領の改訂を進めるべきだと考えているようです。確かにうなずける点もなくはありませんが、一方で、実験や観察の時間が圧迫されて、世界に触れる最良の機会である小学校の理科が、ただ「事実」を詰め込むだけの無味乾燥なものになってしまわないかどうかが、少し心配ですね。

小学校学習指導要領 -理科

*


じゃあ、私たちが地動説を習ったのはいつ頃でしょうか?

実は、地動説を理解するためにはかなり多くの事実を積み重ね、それらの事実をかなり抽象的なレベルで組み合わせる必要があります。もう一度よく考えてみましょう。地動説は、同じように東から昇り西へと沈んでいく月と太陽について、一方は私たちの周りを巡り、もう一方の周りを私たちが回っていると教えます。これはずいぶん抽象的で高度な概念じゃないでしょうか。これを理解するためには、かなり周辺の知識が蓄積されていないと難しいと思います。

「なぜ、天動説より地動説の方が優れているのか」という問いに答えられる中学生がどれくらいいるでしょうか?じつは、中学生ではこのことは習いません。実は中学生の教科書には「太陽の周りを地球が回っています」としか書かれていないんです。何故そのことが分かるのかという問いに答えられるのに十分な情報は中学生の教科書には載っていません。
中学校学習指導要領-理科

じつは「天動説と地動説」という節が理科の教科書に現れるのは高校になってからです。
高等学校学習指導要領 - 理科
「惑星の観測や観測資料から得られる惑星の運動の様子を基に,惑星の軌道を作図するなどの実習を通して,天動説から地動説への宇宙に対する見方や考え方の転換を扱うこと」
この記述がすでに地動説が前提となっていることに注意して下さい。高校では、天動説から地動説への転換という歴史に基づいて、地動説が天体の運行をうまく説明するという事実を学ぶだけです。天動説が覆された理由は、少なくとも全員が受講する「理科」の授業の中では扱われません。

*


せっかくですから、もう少し地動説の話を続けましょう。
さて、あなたは「地動説がなぜ正しいか」知っていますか? 

はい、「惑星の逆行」と答えた人、正直に手を上げて。あなたは間違っています。惑星の逆行は天動説でちゃんと説明できます。天動説のなかでも、惑星の逆行は「周転円説」や「離心円説」など複数の仮説が出され、それぞれがかなりの精度で惑星の運行を説明していました。天動説は「キリスト教的世界観の盲目的信仰」などではなく、観測事実を理論的に説明する立派な科学だったんです。

コペルニクスとガリレオが証明したと答えた人。はい、あなたも間違いです。かれらは、地動説という考え方を唱えただけで、証明はしていません。コペルニクスは「こっちの方がシンプルだ」という理由で地動説を唱えました。彼の導きだした数値は精度が低く、当時は天動説の方が精度が高かったと言われています。ガリレオは、太陽黒点が移動していること、木星の衛星が木星の周囲を巡っていることなどから、地動説の可能性を主張しただけです。これらは、間接的に地動説の正しさを支持するものですが、天動説を否定するものではありません。結果として2人は正しかったものの、天動説を覆せるだけの根拠を彼らが示したわけじゃないんです。

はい、ケプラーの法則(あるいは+ニュートンの万有引力の法則)と答えた人、惜しい!でも、この法則は「もし仮に地動説が正しいとすると、その運行を非常に上手く説明する」という以上のものではありません。ただし、この頃には合理主義の台頭によりキリスト教的な世界観が重要視されなくなっていたことも相まって、徐々に地動説は定説となっていました。でも、地動説は証明されたわけではなく、あくまでも仮説に過ぎませんでした。

実は、地動説が観測によって証明されたのは19世紀。フーコーの振り子による地球の自転の証明と、年周視差の観測による地球の公転の証明によってです。約300年もの間、地動説と天動説は並列状態にあったんです。

1851年、レオン・フーコーは、1日中振れているような巨大な振り子を使えば、地球の自転によって、振り子の振れる方向がずれていくことに気づき、実際にデモンストレーションを行いました。これによって、始めて地球の自転が証明されたのです。年周視差というのは、地球の公転によって、1年を通じて天球の恒星の位置がずれて見える現象のことで、コペルニクスの時代から地動説を証明するものとして多くの天文学者が検出を目指して観測を行っていました。しかし、そのずれは非常にわずかで検出することができず、長年、天動説を支持する結果とされてたんです。19世紀になって観測精度が十分に上がり、1838年にヴィルヘルム・ベッセルによってようやく年周視差が検出され、地球の公転が確認されました。

ちなみに、この両者を学校で習うのは、高校の地学の授業です。http://www.lizard-tail.com/isana/review/view.php?search_id=20040822011713



再生核研究所声明236(2015.6.18)ゼロ除算の自明さ、実現と無限遠点の空虚さ

(2015.6.14.07:40 頃、食後の散歩中、突然考えが、全体の構想が閃いたものである。)

2015年3月23日、明治大学における日本数学会講演方針(メモ:公開)の中で、次のように述べた: ゼロ除算の本質的な解明とは、Aristotélēs の世界観、universe は連続である を否定して、 強力な不連続性を universe の自然な現象として受け入れられることである。数学では、その強力な不連続性を自然なものとして説明され、解明されること が求められる。
そこで、上記、突然湧いた考え、内容は、ゼロ除算の理解を格段に進められると直観した。
半径1の原点に中心を持つ、円Cを考える。いま、簡単のために、正のx軸方向の直線を考える。 その時、 点x (0<x<1)の円Cに関する 鏡像 は y = 1/x に映る。この対応を考えよう。xが どんどん 小さくゼロに近づけば、対応する鏡像 yは どんどん大きくなって行くことが分かる。そこで、古典的な複素解析学では、x =0 に対応する鏡像として、極限の点が存在するものとして、無限遠点を考え、 原点の鏡像として 無限遠点を対応させている。 この意味で 1/0 = ∞、と表わされている。 この極限で捉える方法は解析学における基本的な考え方で、アーベルやオイラーもそのように考え、そのような記号を用いていたという。
しかしながら、このような極限の考え方は、適切ではないのではないだろうか。正の無限、どこまで行っても切りはなく、無限遠点など実在しているとは言えないのではないだろうか。これは、原点に対応する鏡像は x>1に存在しないことを示している。ところが、ゼロ除算は 1/0=0 であるから、ゼロの鏡像はゼロであると述べていることになる。実際、鏡像として、原点の鏡像は原点で、我々の世界で、そのように考えるのが妥当であると考えられよう。これは、ゼロ除算の強力な不連続性を幾何学的に実証していると考えられる。
ゼロ以上の数の世界で、ゼロに対応する鏡像y=1/xは存在しないので、仕方なく、神はゼロにゼロを対応させたという、神の意思が感じられるが、それが この世界における実態と合っているということを示しているのではないだろうか。
この説は、伝統ある複素解析学の考えから、鏡像と無限遠点の概念を変える歴史的な大きな意味を有するものと考える。

以 上
付記 下記図を参照:


\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}



再生核研究所声明232(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の正方向を例えば考えてみよう。 0、1、2、3、、、などの正の整数を簡単に考えると、 どんな大きな数(正の) n に対しても より大きな数n + 1 が 考えられるから、正の数には 最も大きな数は存在せず、 幾らでも大きな数が存在する。限りなく大きな数が存在することになる。 そうすると無限大とは何だろうか。 普通の意味で数でないことは明らかである。 よく記号∞や記号+∞で表されるが、明確な定義をしないで、それらの演算、2 x∞、∞+∞、∞-∞、∞x∞,∞/∞ 等は考えるべきではない。無限大は普通の数ではない。 無限大は、極限を考えるときに有効な自然な、明確な概念、考えである。 幾らでも大きくなるときに 無限大の記号を用いる、例えばxが どんどん大きくなる時、 x^2 (xの2乗)は 無限大に近づく、無限大である、無限に発散すると表現して、lim_{x \to +\infty} x^2 =+∞ と表す。 記号の意味はxが 限りなく大きくなるとき、x の2乗も限りなく大きくなるという意味である。 無限大は決まった数ではなくて、どんどん限りなく 大きくなっていく 状況 を表している。
さて、図で、 x が正の方向で どんどん大きくなると、 すなわち、図で、P ダッシュが どんどん右方向に進むとき、図の対応で、Pがどんどん、 Nに近づくことが分かるだろう。
x軸全体は 円周の1点Nを除いた部分と、 1対1に対応することが分かる。 すなわち、直線上のどんな点も、円周上の1点が対応し、逆に、円周の1点Nを除いた部分 のどんな点に対しても、直線上の1点が対応する。
面白いことは、正の方向に行っても、負の方向に行っても原点からどんどん遠ざかれば、円周上では Nの1点にきちんと近づいていることである。双方の無限の彼方が、N の1点に近づいていることである。
この状況は、z平面の原点を通る全ての直線についても言えるから、平面全体は球面全体からNを除いた球面に 1対1にちょうど写っていることが分かる。
そこで、平面上のあらゆる方向に行った先が存在するとして 想像上の点 を考え、その点に球面上の点 Nを対応させる。 すると、平面にこの想像上の点を加えた拡張平面は 球面全体 (リーマン球面と称する) と1対1に 対応する。この点が 無限遠点で符号のつかない ∞ で 表す。 このようにして、無限を見ることが、捉えることができたとして、喜びが湧いてくるのではないだろうか。 実際、これが100年を越えて、複素解析学で考えられてきた無限遠点で 美しい理論体系を形作ってきた。
しかしながら、無限遠点は 依然として、数であるとは言えない。人為的に無限遠点に 代数的な構造を定義しても、人為的な感じは免れず、形式的、便宜的なもので、普通の数としては考えられないと言える。
ところが、ゼロ除算の結果は、1 / 0 はゼロであるというのであるから、これは、上記で何を意味するであろうか。基本的な関数 W=1/z の対応は、z =0 以外は1対1、z =0 は W=0 に写り、全平面を全平面に1対1に写している。 ゼロ除算には無限遠点は存在せず、 上記 立体射影で、 Nの点が突然、0 に対応していることを示している。 平面上で原点から、どんどん遠ざかれば、 どんどんNに近づくが、ちょうどN に対応する点では、 突然、0 である。
この現象こそ、ゼロ除算の新規な神秘性である。
上記引用で、記号∞ (アーベルなどはこれを 1 / 0 のように表記していた)、オイラーもゼロ除算は 極限の概念を用いて、無限と理解していたとして、天才 オイラーの間違いとして指摘されている。
ゼロ除算は、極限の概念を用いて得られるのではなくて、純粋数学の理論の帰結として得られた結果であり、世の不連続性の現象を表しているとして新規な現象の研究を進めている。
ここで、無限大について、空間的に考えたが、個数の概念で、無限とは概念が異なることに注意して置きたい。 10個、100個、無限個という場合の無限は異なる考えである。自然数1,2,3、、、等は無限個存在すると表現する。驚嘆すべきことは、無限個における無限には、幾らでも大きな無限が存在することである。 例えば、自然数の無限は最も小さな無限で、1cm の長さの線分にも、1mの長さの線分にも同数の点(数、実数)が存在して、自然数全体よりは 大きな無限である。点の長さはゼロであるが、点の集まりである1cmの線分には長さがあるのは、線分には点の個数が、それこそ目もくらむほどの多くの点があり、長さゼロの点をそれほど沢山集めると,正の長さが出てくるほどの無限である。


以 上











ガロア ゼロ除算

0 件のコメント:

コメントを投稿