天体物理学（てんたいぶつりがく、英語：astrophysics）
2014年11月30日(日)
テーマ：数学
天体物理学
Question book-4.svg
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。
出典を追加して記事の信頼性向上にご協力ください。（2011年11月）
天体物理学（てんたいぶつりがく、英語：astrophysics）は、天文学及び宇宙物理学の一分野で、恒星・銀河・星間物質などの天体の物理的性質（光度・密度・温度・化学組成など）や天体間の相互作用などを研究対象とし、それらを物理学的手法を用いて研究する学問である。天文学の中でも19世紀以降に始まった比較的新しい分野で、天文学の近代部門の代表的な分野と目されている。
例として、宇宙論の研究は、理論天体物理学の中で最も規模の大きな対象を扱う学問であるが、逆に宇宙論（特にビッグバン理論）では、我々が知っている最も高いエネルギー領域を扱うがゆえに、宇宙を観測することがそのまま最も微小なスケールでの物理学の実験そのものにもなっている。
実際には、ほぼ全ての近代天文学の研究は、物理学の要素を多く含んでいる。多くの国の天文学系の大学院博士課程の名称は、「天文学 (Astronomy)」や「天体物理学 (Astrophysics)」などまちまちだが、これは専攻の学問内容よりもその研究室の歴史を反映しているに過ぎない。
ある物理学者は、NHKのドキュメンタリー番組「神の数式」第4回で、宇宙物理学を研究する意義について、「なぜ我々は存在するのか、この宇宙で生きる意味は何なのか、その答えを探しているのです。」と述べた。
目次 [非表示]
1 歴史
2 観測天体物理学
3 理論天体物理学
4 天体物理学の諸分野
歴史[編集]
天文学の歴史は人類の歴史そのものと同じくらいに古いが、天文学は長い間、物理学とは区別されてきた。アリストテレス的な世界観では、天は完全な世界であり、天体は完全な球形であって完全な円軌道上を動いているとされていた。一方、この地上は不完全な世界であり、これら二つの世界は互いに無関係であると考えられていた。
太陽や惑星は地球の周りを回っているという一見常識的な見方（天動説）についても、何世紀にもわたって疑問が投げかけられることはなかった。しかし16世紀になってニコラウス・コペルニクスが、地球と他の全ての惑星は太陽の周りを周回する太陽系を形作っているというモデル（地動説）を提案した。ガリレオ・ガリレイは定量的測定を物理学の中心に据えたが、天文学での彼の観測は、まだ天体物理学的な意味は持っていなかった。
やがて精密な観測データが得られるようになると、観測された天体の振る舞いに対して理論的な説明を追求するという姿勢が生まれてきた。初めのうちは、17世紀初期に発見されたケプラーの惑星運動の法則など、場当たり的な経験則が見出されるにとどまっていた。しかし、17世紀の終わりになるとアイザック・ニュートンが、地球上の物体の力学を支配する法則と同じものが惑星や月の運動をも支配していることを発見し、ケプラーの法則とガリレイの力学とを橋渡しすることになった。これが天文学と物理学とを統合した最初の仕事である。
アイザック・ニュートンが『プリンキピア』を出版した後、航海術の分野に変化が起こった。1670年頃から、近代的な緯度測定器具と当時最高精度の時計を用いて、世界中で自分の位置が測定されるようになったのである。航海の必要性が高まるにつれ、より高精度の天文観測や観測器具を求める動きが次第に増してきた。この流れを背景にして、天文学者はより多くの質の良い観測データを得るようになった。
19世紀の終わりには、太陽の光を分光すると多数のスペクトル線（光が弱い、またはほとんど見られない領域）が見られることが発見された。実験室で高温のガスを分光すると同じような線を見ることができ、各々の線はそれぞれ一種類の元素に対応している。この方法によって、太陽のスペクトルに見られる元素（主に水素）と同じ元素が地球上にも存在していることが証明された。実際、ヘリウムは、まず太陽のスペクトルの中から発見され、後になって地上で見つかった。ヘリウム (Helium) という名前はここに由来している。20世紀には、天文学や実験物理学の実験・観測結果の理解に必要な量子物理学が出現したことによって、分光分析学（上記のようなスペクトル線を研究する学問）が発展した。
観測天体物理学[編集]
多くの場合、天体物理学的な物理過程は地球上の研究室では再現できない。しかし、電磁波のスペクトル全体を見渡せば、膨大な種類の天体を見ることができる。これらの天体からデータを受動的に集めることによって研究を行うのが観測天体物理学の目的である。
天体物理現象を研究するのに必要な装置や手法には様々なものがある。現在関心を持たれている天体物理現象の多くは、非常に先進的な技術がなければ研究できなかったり、ごく最近まで現象自体が知られていなかったものである。
天体物理学の観測の大半は電磁波スペクトルを用いて行われている。
電波天文学はミリ波やそれよりも長い波長の放射を研究対象とする。電波は普通、星間ガスや分子雲など低温の天体から放射される。宇宙マイクロ波背景放射はビッグバンの光が赤方偏移を起こしたものである。パルサーは最初マイクロ波で検出された。これらの電波を研究するためには非常に大きな電波望遠鏡が必要となる。
赤外線天文学は可視光よりもずっと波長が長く電波よりは短い領域の放射を研究対象とする。赤外線の観測は通常、普通の光学望遠鏡と同種の望遠鏡で行われる。恒星よりも温度が低い天体（惑星など）は一般的に赤外線で観測される。2013年にはジェイムズ・ウェッブ宇宙望遠鏡をラグランジュ点(L2)に打ち上げて、最高の環境でビッグバンの残り火としての微弱な赤外線を観測する計画が推進されている。
光学天文学は天文学の中では最も歴史が古い。観測方法により位置観測、測光観測、分光観測に分けられる。望遠鏡と冷却CCDカメラ、分光器が最も広く使われる装置である。光学観測は地球の大気によっていくらか妨げられるため、可能な限り質の良い画像を得るために補償光学や宇宙望遠鏡が使われている。この波長域では恒星は非常によく観測でき、恒星や銀河、星雲などの化学組成を研究するために多くのスペクトル観測が行われている。
紫外線・X線・γ線天文学は連星パルサーやブラックホール、マグネターなど、非常に高エネルギーの物理過程を研究対象とする。これらの種類の放射は地球大気をほとんど透過しないため、RXTE やチャンドラX線天文台、コンプトンγ線天文台のような宇宙望遠鏡で観測されている。
電磁波の放射以外では、宇宙の遠方からやってくるもので地球から観測できる対象は限られている。重力波天文台がいくつか作られているが、重力波で観測するというよりは、検出が極端に困難な重力波を検出するのが当面の目標である。ニュートリノ天文台も主に太陽を研究する目的で建設されている。非常に高エネルギーの粒子からなる宇宙線が地球の大気と衝突する現象も観測可能である。
天文観測では、その時間スケールにおいても様々な違いがある。ほとんどの光学観測には数分から数時間単位の時間がかかるため、これよりも短い時間で変化する現象は容易には観測できない。しかしいくつかの天体については数百年、あるいは千年以上にわたって歴史上の記録に残されているデータを見ることができる。一方で、電波観測では数ミリ秒の時間スケールのイベント（ミリ秒パルサーなど）を見たり、数年にわたるデータを重ね合わせて調べたりする（パルサーの減速の研究など）ことができる。こういった異なる時間スケールの観測から得られる情報は非常に異なった様相を見せる。
太陽の研究は観測天体物理学の中で特別な位置にある。太陽以外の恒星は全て非常に遠距離にあるので、太陽は他の星とは比べ物にならないほど詳細に観測できる唯一の恒星である。太陽の性質を理解することは、他の恒星を理解する助けとなる。
恒星がどのように進化するかという恒星進化論の話題は、恒星のタイプの違いをヘルツシュプルング・ラッセル図の上の個々の位置の違いで表すことが多い。この図は恒星の誕生から崩壊までの星の状態を表現していると見ることができる。
理論天体物理学[編集]
理論天体物理学者は観測結果を再現し、新たな現象を予測するモデルを構築・評価する。彼らは解析的モデル（例えば恒星の振る舞いを近似するポリトロープなど）や計算物理学的な数値シミュレーションといった様々な道具を用いる。
これらの過程のいくつかの例は以下の通りである。
物理過程 実験の道具 理論的モデル 説明／予測
重力 電波望遠鏡 自己重力系 恒星系の形成
核融合 分光学 恒星進化論 どのように恒星が輝くか
ビッグバン ハッブル宇宙望遠鏡, COBE 膨張宇宙 宇宙年齢
量子ゆらぎ インフレーション理論 平坦性問題
重力崩壊 X線天文学 一般相対性理論 アンドロメダ銀河の中心のブラックホール
理論天体物理学で研究されるトピックとしては以下のようなものがある。
恒星系力学と恒星進化
銀河形成
宇宙の物質の大規模構造
宇宙線の起源
宇宙論
天体物理学の諸分野[編集]
天体測光学
天体分光学
理論天体物理学
恒星物理学
太陽物理学
恒星大気物理学
恒星内部物理学
恒星進化論
宇宙空間物理学
電波天文学
X線天文学
γ線天文学
重力波天文学
ニュートリノ天文学
宇宙論
Announcement 179: Division by zero is clear as z/0=0 and it is fundamental in mathematics
\documentclass[12pt]{article}
\usepackage{latexsym,amsmath,amssymb,amsfonts,amstext,amsthm}
\numberwithin{equation}{section}
\begin{document}
\title{\bf Announcement 179: Division by zero is clear as z/0=0 and it is fundamental in mathematics\\
}
\author{{\it Institute of Reproducing Kernels}\\
Kawauchi-cho, 5-1648-16,\\
Kiryu 376-0041, Japan\\
E-mail: kbdmm360@yahoo.co.jp\\
}
\date{\today}
\maketitle
{\bf Abstract: } In this announcement, we shall introduce the zero division $z/0=0$. The result is a definite one and it is fundamental in mathematics.
\bigskip
\section{Introduction}
%\label{sect1}
By 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 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
\section{What are the fractions $ b/a$?}
For many mathematicians, the division $b/a$ will be considered as the inverse of product;
that is, the fraction
\begin{equation}
\frac{b}{a}
\end{equation}
is defined as the solution of the equation
\begin{equation}
a\cdot x= b.
\end{equation}
The idea and the equation (2.2) show that the division by zero is impossible, with a strong conclusion. Meanwhile, the problem has been a long and old question:
As a typical example of the division by zero, we shall recall the fundamental law by Newton:
\begin{equation}
F = G \frac{m_1 m_2}{r^2}
\end{equation}
for two masses $m_1, m_2$ with a distance $r$ and for a constant $G$. Of course,
\begin{equation}
\lim_{r \to +0} F =\infty,
\end{equation}
however, in our fraction
\begin{equation}
F = G \frac{m_1 m_2}{0} = 0.
\end{equation}
\medskip
Now, we shall introduce an another approach. The division $b/a$ may be defined {\bf independently of the product}. Indeed, in Japan, the division $b/a$ ; $b$ {\bf raru} $a$ ({\bf jozan}) is defined as how many $a$ exists in $b$, this idea comes from subtraction $a$ repeatedly. (Meanwhile, product comes from addition).
In Japanese language for "division", there exists such a concept independently of product.
H. Michiwaki and his 6 years old girl said for the result $ 100/0=0$ that the result is clear, from the meaning of the fractions independently the concept of product and they said:
$100/0=0$ does not mean that $100= 0 \times 0$. Meanwhile, many mathematicians had a confusion for the result.
Her understanding is reasonable and may be acceptable:
$100/2=50 \quad$ will mean that we divide 100 by 2, then each will have 50.
$100/10=10 \quad$ will mean that we divide 100 by10, then each will have 10.
$100/0=0 \quad$ will mean that we do not divide 100, and then nobody will have at all and so 0.
Furthermore, she said then the rest is 100; that is, mathematically;
$$
100 = 0\cdot 0 + 100.
$$
Now, all the mathematicians may accept the division by zero $100/0=0$ with natural feelings as a trivial one?
\medskip
For simplicity, we shall consider the numbers on non-negative real numbers. We wish to define the division (or fraction) $b/a$ following the usual procedure for its calculation, however, we have to take care for the division by zero:
The first principle, for example, for $100/2 $ we shall consider it as follows:
$$
100-2-2-2-,...,-2.
$$
How may times can we subtract $2$? At this case, it is 50 times and so, the fraction is $50$.
The second case, for example, for $3/2$ we shall consider it as follows:
$$
3 - 2 = 1
$$
and the rest (remainder) is $1$, and for the rest $1$, we multiple $10$,
then we consider similarly as follows:
$$
10-2-2-2-2-2=0.
$$
Therefore $10/2=5$ and so we define as follows:
$$
\frac{3}{2} =1 + 0.5 = 1.5.
$$
By these procedures, for $a \ne 0$ we can define the fraction $b/a$, usually. Here we do not need the concept of product. Except the zero division, all the results for fractions are valid and accepted.
Now, we shall consider the zero division, for example, $100/0$. Since
$$
100 - 0 = 100,
$$
that is, by the subtraction $100 - 0$, 100 does not decrease, so we can not say we subtract any from $100$. Therefore, the subtract number should be understood as zero; that is,
$$
\frac{100}{0} = 0.
$$
We can understand this: the division by $0$ means that it does not divide $100$ and so, the result is $0$.
Similarly, we can see that
$$
\frac{0}{0} =0.
$$
As a conclusion, we should define the zero divison as, for any $b$
$$
\frac{b}{0} =0.
$$
See \cite{kmsy} for the details.
\medskip
\section{In complex analysis}
We thus should consider, for any complex number $b$, as (1.2);
that is, for the mapping
\begin{equation}
w = \frac{1}{z},
\end{equation}
the image of $z=0$ is $w=0$. This fact seems to be a curious one in connection with our well-established popular image for the point at infinity on the Riemann sphere.
However, we shall recall the elementary function
\begin{equation}
W(z) = \exp \frac{1}{z}
\end{equation}
$$
= 1 + \frac{1}{1! z} + \frac{1}{2! z^2} + \frac{1}{3! z^3} + \cdot \cdot \cdot .
$$
The function has an essential singularity around the origin. When we consider (1.2), meanwhile, surprisingly enough, we have:
\begin{equation}
W(0) = 1.
\end{equation}
{\bf The point at infinity is not a number} and so we will not be able to consider the function (3.2) at the zero point $z = 0$, meanwhile, we can consider the value $1$ as in (3.3) at the zero point $z = 0$. How do we consider these situations?
In the famous standard textbook on Complex Analysis, L. V. Ahlfors (\cite{ahlfors}) introduced the point at infinity as a number and the Riemann sphere model as well known, however, our interpretation will be suitable as a number. We will not be able to accept the point at infinity as a number.
As a typical result, we can derive the surprising result: {\it At an isolated singular point of an analytic function, it takes a definite value }{\bf with a natural meaning.} As the important applications for this result, the extension formula of functions with analytic parameters may be obtained and singular integrals may be interpretated with the division by zero, naturally (\cite{msty}).
\bigskip
\section{Conclusion}
The division by zero $b/0=0$ is possible and the result is naturally determined, uniquely.
The result does not contradict with the present mathematics - however, in complex analysis, we need only to change a little presentation for the pole; not essentially, because we did not consider the division by zero, essentially.
The common understanding that the division by zero is impossible should be changed with many text books and mathematical science books. The definition of the fractions may be introduced by {\it the method of Michiwaki} in the elementary school, even.
Should we teach the beautiful fact, widely?:
For the elementary graph of the fundamental function
$$
y = f(x) = \frac{1}{x},
$$
$$
f(0) = 0.
$$
The result is applicable widely and will give a new understanding for the universe ({\bf Announcement 166}).
\medskip
If the division by zero $b/0=0$ is not introduced, then it seems that mathematics is incomplete in a sense, and by the intoduction of the division by zero, mathematics will become complete in a sense and perfectly beautiful.
\bigskip
section{Remarks}
For the procedure of the developing of the division by zero and for some general ideas on the division by zero, we presented the following announcements in Japanese:
\medskip
{\bf Announcement 148} (2014.2.12): $100/0=0, 0/0=0$ -- by a natural extension of fractions -- A wish of the God
\medskip
{\bf Announcement 154} (2014.4.22): A new world: division by zero, a curious world, a new idea
\medskip
{\bf Announcement 157} (2014.5.8): We wish to know the idea of the God for the division by zero; why the infinity and zero point are coincident?
\medskip
{\bf Announcement 161} (2014.5.30): Learning from the division by zero, sprits of mathematics and of looking for the truth
\medskip
{\bf Announcement 163} (2014.6.17): The division by zero, an extremely pleasant mathematics - shall we look for the pleasant division by zero: a proposal for a fun club looking for the division by zero.
\medskip
{\bf Announcement 166} (2014.6.29): New general ideas for the universe from the viewpoint of the division by zero
\medskip
{\bf Announcement 171} (2014.7.30): The meanings of product and division -- The division by zero is trivial from the own sense of the division independently of the concept of product
\medskip
{\bf Announcement 176} (2014.8.9): Should be changed the education of the division by zero
\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{msty}
H. Michiwaki, S. Saitoh, M. Takagi and M. Yamada,
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. (submitted)
\end{thebibliography}
\end{document}
アインシュタインも解決できなかった「ゼロで割る」問題
