Element
Inline-block [ 編集 ]
Noble gas
block [ 編集 ]
Noble gas
inline-block 改行 [ 編集 ]
Noble gas
数論序 [ 編集 ]
数 (かず、英 : number )は、事象の順序 、また数え上げ によって理解 が整理された(=認識 )後に、理解に含まれる事象の個数 (英 : The number of articles )を指す方法として人間が獲得した知恵から発展した概念。最初のこの概念で用いられた数を「自然数
N
{\displaystyle \mathbb {N} }
(英 : natural number ) 」といい、個数を表すものを単に「数」、順序を表す場合を特に序数 (「順序数」、英 : ordinal number とも)と区別し、数を表す文字が数字 である。序数は区別のために序数詞 を附けるが普通だが、言語によっては独立した単語になっている。(例:英語では「1=one」に対して「1番目=first」)
「ある」ものだけを数えていた時代では「0 (ゼロ、零、英 : zero )」の概念はなかったが、四則演算 (英 : arithmatics )、特に乗算(英 : multiplication )を行うようになると桁上り (英 : position notation )と進数 (英 : adic number )の概念が生まれ、ここで記号としての「0」が生まれたとされる。しかしギリシアに発した哲学の影響を受け継いだヨーロッパでは、驚くべきことに16世紀頃まで無限やゼロの概念は否定されてきた。対照的にインドや南米では 0 の記法が早くから見える。中東からアラビアへ文字として伝わり、これがヨーロッパに入り、宗教改革と相まってゼロの概念を受け入れることで、数の「正(英 : plus )と負(英 : minus )」について汎く認知されるようになり、この段階で数についての理解は「数のすべてである(=interger )」という一応の解決を見せ、数直線に並べた「整数
Z
{\displaystyle \mathbb {Z} }
(英 : integer number ) 」の認識に至り、フィナボッチ らによって数列 や代数幾何 などに応用された。
これで加減算(英 : addition , subtraction )は解決したが、初歩の微積分 の概念(速度 と距離 の関係など)が登場しはじめると、除算(lang-en-short|division)によって、整数に満たない小さな数が生じることがわかった。そのような小さな数で現れる僅かな差は、分数 (英 : fraction )などの表記の工夫では通分 (英 : denomination )しないと比較 ができなかったが、小数(通常10進数を使うので英 : decimal 、これにより10を底 - 英 : base とする指数 - 英 : exponent で表現された冪 - 英 : power も使うようになる)で絶対比較を行おうとすると、比較が可能なものと可能でないものとが認識された。さらに、分数によっても表せない数があることがわかり、可能なものを「有理数
Q
{\displaystyle \mathbb {Q} }
(英 : rational number ) 」という区別が生まれた。「有理」とは「有比」のことで、比 (英 : ratio )で表せる(=可算、つまり分数にできる数をいい、無理数 を扱うことで、およそ数の全体を表せたかに思われた。計算を通じてどのような数がどのような性質を持つかなどを詳しく調べるパズル のような学問が、特に整数に対して行われる整数論 や代数幾何が発展した。
ところが、算術において関数 (英 : function )という概念が出てくると、変数 (英 : variable number )に指数がつく次数 (英 : dimension )を持ったものや、変数を複数持ったもの、冪指数を変数としたもの(=対数 - 英 : logarithm )が現れた。これを変数を調べるにあたり、例えばある変数 x を2乗したときに負になるような数を扱う必要がでてきた。イタリアでは高次数の方程式の解法が懸賞の対象になっており、さらに、航海術や地図への応用などとも相まって三角法 の需要が生まれていた。さらに望遠鏡の発明によりガリレオ、コペルニクス、ケプラーなどにより天体の軌道の研究にも大いに活用され成果を挙げている。対数の研究ではネイピアが功績が挙げられる。ここに至り、「虚数 」(英 : ideal number )の定義と、それまでの数を「実数
R
{\displaystyle \mathbb {R} }
(英 : real number ) 」、これらを包括する「複素数
C
{\displaystyle \mathbb {C} }
(英 : complex number ) 」の概念が確立した。これまでの数については分類をこのような性質だけでなく、フェルマーやデカルトなどによって直交性のある座標系で表す解析幾何学と、これにニュートンとライプニッツが無限小、無限大の概念を加えて微積分として分野をまとめあげた。これらが18世紀までの数学の発展史である。
|oint=
|oiint=
|oiiint=
|varoint=
|varoiint=
|varoiiint=
|ointctr=
|oiintctr=
|oiiintctr=
|varointctr=
|varoiintctr=
|varoiiintctr=
デカルト座標 で表される(つまり座標軸は直交 する) q (x,y,z ) を3次元ユークリッド空間 上の座標とし、図のように xyz 空間を元に別の3つの変数を定義する。 r を半径 (英 : radius )、θ を仰角 (英 : angle )、φ を方位角 (英 : azymuth という。q (r,θ,φ ) とする。ただし、それぞれの変数の範囲は、 r=[0 , ∞) , θ=[0 , π] , φ=(0 , 2π] である。このような座標系を球面座標系 という。空間上に連続な関数 f (q ) で表される閉曲面 があるとき、閉曲面上に線を引くと閉曲線 になる。閉曲面上の θ=0 または θ=π となる z 軸上の点では φ が定義できないため、この場合とくに q (r )
θ
=
0
{\displaystyle _{\theta =0}}
または q (r )
θ
=
π
{\displaystyle _{\theta =\pi }}
の1次元直線座標 で表すしかない。さらに r=0 (すなわち原点 O )では θ も φ も定まらないため、球面座標を使って原点を表すことができない。
体積素、面積素、微分立体角、線素の定義 [ 編集 ]
空間上の2点 q1 (q1 ,θ1 ,φ1 ) 、q2 (q2 ,θ2 ,φ2 ) に対し、線素 を次のように定義する。
d
s
=
|
|
q
2
−
q
1
|
|
{\displaystyle ds=||{\boldsymbol {q}}_{2}-{\boldsymbol {q_{1}}}||}
これは2点の位置ベクトルの変位と考えれば、複素数空間であっても成り立つこの定義は、大きさをノルム で表現でき必ず「正 」である性質(非負性 、正定値性 という)を持ち、これを2点間の距離 と考えることができる。
一般に、距離を求めるのに三平方の定理 が成り立つが、通常はデカルト座標で定義された xyz 空間で表され、
d
s
2
=
|
|
q
2
(
x
2
,
y
2
,
z
2
)
−
q
1
(
x
1
,
y
1
,
z
1
)
|
|
2
=
d
x
2
+
d
y
2
+
d
z
2
{\displaystyle ds^{2}=||{\boldsymbol {q}}_{2}(x_{2},y_{2},z_{2})-{\boldsymbol {q}}_{1}(x_{1},y_{1},z_{1})||^{2}=dx^{2}+dy^{2}+dz^{2}}
となるので、これを極座標形式に変換しなくてはならない。変換すると、
q
(
x
y
z
)
=
[
r
sin
θ
cos
ϕ
r
sin
θ
sin
ϕ
r
cos
θ
]
{\displaystyle {\boldsymbol {q}}{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{bmatrix}r\sin \theta \cos \phi \\r\sin \theta \sin \phi \\r\cos \theta \end{bmatrix}}}
となるので、これをライプニッツの法則
d
f
(
u
⋅
v
⋅
w
)
=
d
u
⋅
v
⋅
w
+
u
⋅
d
v
⋅
w
+
u
⋅
v
⋅
d
w
{\displaystyle df(u\cdot v\cdot w)=du\cdot v\cdot w+u\cdot dv\cdot w+u\cdot v\cdot dw}
を使って以下のように書き表す。
q
^
=
(
d
x
d
y
d
z
)
=
[
∂
x
∂
r
d
r
+
∂
x
∂
θ
d
θ
+
∂
x
∂
ϕ
d
ϕ
∂
y
∂
r
d
r
+
∂
y
∂
θ
d
θ
+
∂
y
∂
ϕ
d
ϕ
∂
z
∂
r
d
r
+
∂
z
∂
θ
d
θ
+
∂
x
∂
ϕ
d
ϕ
]
{\displaystyle {\hat {\boldsymbol {q}}}={\begin{pmatrix}dx\\dy\\dz\end{pmatrix}}={\begin{bmatrix}{\frac {\partial x}{\partial r}}dr+{\frac {\partial x}{\partial \theta }}d\theta +{\frac {\partial x}{\partial \phi }}d\phi \\{\frac {\partial y}{\partial r}}dr+{\frac {\partial y}{\partial \theta }}d\theta +{\frac {\partial y}{\partial \phi }}d\phi \\{\frac {\partial z}{\partial r}}dr+{\frac {\partial z}{\partial \theta }}d\theta +{\frac {\partial x}{\partial \phi }}d\phi \end{bmatrix}}}
=
[
sin
θ
cos
ϕ
d
r
+
r
cos
θ
cos
ϕ
d
θ
−
r
sin
θ
sin
ϕ
d
ϕ
sin
θ
sin
ϕ
d
r
+
r
cos
θ
sin
ϕ
d
θ
+
r
sin
θ
cos
ϕ
d
ϕ
cos
θ
d
r
−
r
sin
θ
d
θ
]
{\displaystyle ={\begin{bmatrix}{\begin{array}{lcl}\sin \theta \cos \phi dr&+&r\cos \theta \cos \phi d\theta &-&r\sin \theta \sin \phi d\phi \\\sin \theta \sin \phi dr&+&r\cos \theta \sin \phi d\theta &+&r\sin \theta \cos \phi d\phi \\\cos \theta dr&-&r\sin \theta d\theta \end{array}}\end{bmatrix}}}
すると三平方の定理で線素の2乗 ds2 は極座標系では以下のように書き表される。
d
s
2
=
d
r
2
+
r
2
d
θ
2
+
r
2
sin
2
θ
d
ϕ
2
=
r
˙
2
+
r
2
θ
˙
2
+
r
2
sin
2
θ
ϕ
˙
2
{\displaystyle {\begin{aligned}ds^{2}&=dr^{2}+r^{2}d\theta ^{2}+r^{2}\sin ^{2}\theta d\phi ^{2}\\&={\dot {r}}^{2}+r^{2}{\dot {\theta }}^{2}+r^{2}\sin ^{2}\theta {\dot {\phi }}^{2}\end{aligned}}}
これは、それぞれの座標の長さが、動径 r 方向に
|
∂
q
∂
r
|
{\displaystyle {\Big |}{\tfrac {\partial {\boldsymbol {q}}}{\partial r}}{\Big |}}
dr=dr 、θ 方向に
|
∂
q
∂
θ
|
{\displaystyle {\Big |}{\tfrac {\partial {\boldsymbol {q}}}{\partial \theta }}{\Big |}}
dθ=rdθ 、φ 方向に
|
∂
q
∂
ϕ
|
{\displaystyle {\Big |}{\tfrac {\partial {\boldsymbol {q}}}{\partial \phi }}{\Big |}}
dφ=r sinθ dφ となる微小体積の対角線 の長さとイメージすることができる。この微小体積(体積素 )は以下になる。
d
V
=
d
x
d
y
d
z
=
d
r
⋅
r
d
θ
⋅
r
sin
θ
d
ϕ
=
r
2
sin
θ
d
r
d
θ
d
ϕ
{\displaystyle dV=dxdydz=dr\cdot rd\theta \cdot r\sin \theta d\phi =r^{2}\sin \theta drd\theta d\phi }
x,y 平面では θ=1 / 2 π であるから、dθ=0 、よって式から θ が消えて
{
d
x
=
cos
ϕ
d
r
−
r
sin
ϕ
d
ϕ
d
y
=
sin
ϕ
d
r
+
r
cos
ϕ
d
ϕ
d
z
=
0
{\displaystyle {\begin{cases}dx=\cos \phi dr-r\sin \phi d\phi \\dy=\sin \phi dr+r\cos \phi d\phi \\dz=0\end{cases}}}
となり、2次元の円周座標 q (r,φ ) で表すことができる。
半径 r が一定の閉曲面、すなわち単位円 があれば、この閉曲面上の微小面積(面積素 (英語版 ) )dSr を定義でき、
d
S
r
=
‖
∂
q
∂
θ
d
q
×
∂
q
∂
ϕ
d
q
‖
d
θ
d
ϕ
=
r
d
θ
⋅
r
sin
θ
d
ϕ
=
r
2
sin
θ
d
θ
d
ϕ
{\displaystyle dS_{r}=\left\|{\tfrac {\partial q}{\partial \theta }}d{\boldsymbol {q}}\times {\tfrac {\partial q}{\partial \phi }}d{\boldsymbol {q}}\right\|d\theta d\phi =rd\theta \cdot r\sin \theta d\phi =r^{2}\sin \theta d\theta d\phi }
となる。この面積素から立体角 の微分が定義でき、以下のように表す。
d
Ω
=
d
S
r
r
2
=
sin
θ
d
θ
d
ϕ
{\displaystyle d\Omega ={\frac {dS_{r}}{r^{2}}}=\sin \theta d\theta d\phi }
仰角 θ が一定の閉曲面、すなわち原点 O を頂点に z 軸上に中心をもつ閉曲線で囲まれる半径 r sinθ の円 を底とした円錐 表面の面積素 dSθ は、
d
S
θ
=
r
sin
θ
d
ϕ
d
r
{\displaystyle dS_{\theta }=r\sin \theta d\phi dr}
、
方位角 φ が一定の閉曲面、すなわち O に中心を置く半円平面の面積素 dSφ は、
d
S
ϕ
=
r
d
r
d
θ
{\displaystyle dS_{\phi }=rdrd\theta }
となる。
をこの次元 が1つ減ったことを使って3次元空間を2次元平面へ粗視化 (英 : coarse graining )すると、座標は円周座標 q (r,φ ) として、微小体積は微小面積 dS 、として表すことができる。
ϕ
=
0
{\displaystyle \phi =0}
のときの平面では、微小面積(面積素 )
d
S
{\displaystyle dS}
は
d
S
=
d
x
d
y
=
d
r
⋅
r
d
θ
=
r
d
r
d
θ
{\displaystyle dS=dxdy=dr\cdot rd\theta =rdrd\theta }
となる。動径方向に変化がない円
∂
∂
r
d
r
=
1
{\displaystyle {\frac {\partial }{\partial r}}dr=1}
では、線素は
d
s
=
r
d
θ
{\displaystyle ds=rd\theta }
となる。
円周
ϕ
=
0
{\displaystyle \phi =0}
のときの線素dsをθ方向に円積分する。
∫
d
s
=
∮
r
d
θ
=
r
∫
0
2
π
d
θ
=
2
π
r
{\displaystyle \int ds=\oint rd\theta =r\int _{0}^{2\pi }d\theta =2\pi r}
円の面積
面積素
d
S
=
r
d
r
d
θ
{\displaystyle dS=rdrd\theta }
をr方向とθ方向に積分する。定積分で求めずにリーマン和 として求める。
∫
d
S
=
∬
r
d
r
d
θ
=
∫
r
d
r
∮
d
θ
=
2
π
1
2
r
2
=
π
r
2
{\displaystyle \int dS=\iint rdrd\theta =\int rdr\oint d\theta =2\pi {\frac {1}{2}}r^{2}=\pi r^{2}}
球の体積
体積素
d
V
=
r
2
sin
d
r
θ
d
θ
d
ϕ
{\displaystyle dV=r^{2}\sin dr\theta d\theta d\phi }
をr,θ,Φの全方向に積分する。
∫
d
V
=
∭
r
2
sin
θ
d
r
d
θ
d
ϕ
=
∫
r
2
d
r
∮
sin
θ
d
θ
∮
d
ϕ
=
1
3
r
3
⋅
2
⋅
2
π
=
4
3
π
r
3
{\displaystyle \int dV=\iiint r^{2}\sin \theta drd\theta d\phi =\int r^{2}dr\oint \sin \theta d\theta \oint d\phi ={\frac {1}{3}}r^{3}\cdot 2\cdot 2\pi ={\frac {4}{3}}\pi r^{3}}
球の表面積
dr=1の場合の面積素
d
S
(
=
d
V
d
r
=
1
)
=
r
2
sin
θ
d
θ
d
ϕ
{\displaystyle dS(=dV_{dr=1})=r^{2}\sin \theta d\theta d\phi }
をr,θの方向に積分する。
∫
d
S
=
∬
r
2
sin
θ
d
θ
d
ϕ
=
r
2
∮
sin
θ
d
θ
∮
d
ϕ
=
r
2
⋅
2
⋅
2
π
=
4
π
r
2
{\displaystyle \int dS=\iint r^{2}\sin \theta d\theta d\phi =r^{2}\oint \sin \theta d\theta \oint d\phi =r^{2}\cdot 2\cdot 2\pi =4\pi r^{2}}