単位ベクトルの変更点 < 凌宮数学 (LimgMath)

追加された行はこの色です。
削除された行はこの色です。
単位ベクトルへ行く。
単位ベクトルの差分を削除
/単位ベクトル
%indent
////////////////////////////////////////////////////////////////////////////////
* 大きさ・向きの分離 [#b0774116]

;,単位ベクトルとは、長さが$$ 1 $$のベクトルである。
;,任意のベクトル$$ \:a $$に対し、大きさは$$ | \:a | $$で与えられ、単位ベクトルは$$ \ffd{\:a}{|\:a|} $$となる。

;,これを利用すれば、$$ \:a $$を&font(#04D,b){大きさ};と&font(#085,b){向き};に分けて記述できる。
#ceq(e)
    $$ \:a $ = $ \iro[ao]{|\:a|} $ \iro[md]{\ffd{\:a}{|\:a|}} $$　　　　（ただし、$$ \iro[md]{|\:a|} $ \neq $ 0 $$）
#ceq(end)

;,単位ベクトルの表記法として、既にハットマークを用いた$$ \hat{\:a} $$という表記法がある
((一部の教科書や[[Wikipedia/単位ベクトル>http://ja.wikipedia.org/wiki/%E5%8D%98%E4%BD%8D%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB]]))。
;,しかし、このハット記法は主に基底や単位法線ベクトルなど決まった文字と組み合わせて習慣的に用いられているに過ぎず、
;,字面的にも$$ \:a + \:b $$や$$ \:\nabla f $$のような式の単位ベクトルには使い難い。

;,そこで、凌宮数学では、単位ベクトルを「$$ \:1 $$」と表記する。
;,単位ベクトルが大きさ$$ 1 $$のベクトルであるため、太字の１を選んだ。

;,表記の自由度を高めるため、任意のベクトル$$ \:a $$に対し、以下２つの表記を定義する。
+ ''添字表記''$$ \:1_\:a  $$： 単位ベクトル自体を表す意味合いが強い略記法。
+ ''関数表記''$$ \:1(\:a) $$： 単位ベクトルを求める演算を表す意味外が強い表記法。

特に関数表記は、長い式に対する単位ベクトルの表記に便利： $$ \:1(\:a + \:b) $$や$$ \:1(\:\nabla f) $$。

;,以上より、ベクトル$$ \:a $$と同じ向きの方向ベクトルを$$ \:1(\:a) $ = $ \ffd{\:a}{|\:a|} $$と定義できる。
;,この上、通常は零ベクトルの単位ベクトルを考えないが、$$ \:1(\:0) $ = $ 0 $$と定義しておくと、
;,零ベクトルを含めた任意ベクトルの大きさ・向きの分離表記を例外なく記述できる。
#ceq(e)
    $$ \:a $ = $ \iro[ao]{|\:a|} $ \iro[md]{\:1_{\:a}} $$
#ceq(end)

%bodynote
////////////////////////////////////////////////////////////////////////////////
* 単位ベクトル記号の用例 [#s127d3f0]
以下に単位ベクトルを用例について考えてみる。
中には、通常はワザワザ単位ベクトルであることを示さないものまで含むが、
「１」っぽく書いて初めて気づくのであれば、この「$$ \:1 $$」は役に立ったことになる。

////////////////////////////////////////////////////////////////////////////////
*** 通常のベクトル（既出） [#ab8adbe5]
$$ x $$、$$ y $$、$$ z $$座標系の単位ベクトルは、添字表記を用いて$$ \:1_x $$、$$ \:1_y $$、$$ \:1_z $$と表記する。
;:任意のベクトル$$ \:a $$に対し、単位方向ベクトルを$$ \:1(\:a) $$または$$ \:1_{\:a} $$と表記する。

////////////////////////////////////////////////////////////////////////////////
*** 実数 [#q37d2398]
実数は$$ 1 $$を基底とする１次元ベクトルと見なせる。
このため、任意のスカラー$$ s $$の単位ベクトルを$$ \:1(s) $$と表記できる。

$$ s $$は正の数$$ p > 0 $$なら、$$ \:1(p) $ \equiv $ \:1_1 $ = $ 1 $$となる。
$$ s $$は負の数$$ m < 0 $$なら、$$ \:1(m) $ \equiv $ \:1_{-1} $ = $ -1 $$となる。
$$ -1 $$もまた立派な単位ベクトルである。

また、この結果から、実数では$$ \:1 $$で符号を表せるのが分かる

////////////////////////////////////////////////////////////////////////////////
*** 複素数 [#xb7d6c84]
複素数では$$ 1 $$と虚数単位$$ \:i $$を基底とするベクトルと見なせる。
このため、任意の複素数$$ \alpha $$に対し、$$ \:1(\alpha) $ = $ \ffd{\alpha}{|\alpha|} $$と定義できる。

この定義に従えば、$$ \:1(\alpha) $$は虚数平面上の単位円上の点となる。
値としては、$$ \alpha $$の極形式を$$ \lambda e^{\:i \theta} $$とすると、$$ \:1(\alpha) $ = $ \:1(\lambda e^{\:i \theta}) $ = $ e^{\:i \theta} $$となる。

特殊な単位ベクトルとして、実数にあった$$ \:1_1 $$と$$ \:1_{-1} $$の他、
虚数単位$$ \:1_{i} $ = $ \:i $$とその逆である$$ \:1_{-i} $ = $ - \:i $$が挙げられる。

////////////////////////////////////////////////////////////////////////////////
* 符号関数 $$ \mathrm{sgn} $$ [#cc1ae42d]

実数の例で符号の話が出てきたが、符号を表す符号関数なるものがあって、値が$$ \:1 $$に一致する。

実数$$ x $$に対し、符号関数は$$ \mathrm{sgn} $ a $ = $$
$$
    \Bigg\{
    \begin{array}{rcc}
         1 & : & a > 0
     \\  0 & : & a = 0
     \\ -1 & : & a < 0
    \end{array}
$$
として定義される。
また、複素数に拡張した場合、$$ \mathrm{sgn} $ \alpha $ = $$
$$
    \big\{
    \bigg\{
    \begin{array}{ccc}
         \ffd{\alpha}{|\alpha|} & : & \alpha \neq 0
     \\                       0 & : & \alpha = 0  \ffdstrut
    \end{array}
$$
となる。
この複素数の定義は実数の定義を含む。

ここで、複素数の定義は$$ \:1 $$の定義と一致しているのが分かる。
したがって、複素数に対し、$$ \:1 $$と$$ \mathrm{sgn} $$は等価である。

////////////////////////////////////////////////////////////////////////////////
単位ベクトル の変更点

単位ベクトルの変更点
