大きさ・向きの分離単位ベクトルとは、長さがのベクトルである。 これを利用すれば、を大きさと向きに分けて記述できる。
単位ベクトルの表記法として、既にハットマークを用いたという表記法がある*1。 そこで、凌宮数学では、単位ベクトルを「」と表記する。 表記の自由度を高めるため、任意のベクトルに対し、以下2つの表記を定義する。
特に関数表記は、長い式に対する単位ベクトルの表記に便利: や。 以上より、ベクトルと同じ向きの方向ベクトルをと定義できる。 単位ベクトル記号の用例以下に単位ベクトルを用例について考えてみる。中には、通常はワザワザ単位ベクトルであることを示さないものまで含むが、「1」っぽく書いて初めて気づくのであれば、この「」は役に立ったことになる。 通常のベクトル(既出)、、座標系の単位ベクトルは、添字表記を用いて、、と表記する。 任意のベクトルに対し、単位方向ベクトルをまたはと表記する。 実数実数はを基底とする1次元ベクトルと見なせる。このため、任意のスカラーの単位ベクトルをと表記できる。 は正の数なら、となる。は負の数なら、となる。もまた立派な単位ベクトルである。 また、この結果から、実数ではで符号を表せるのが分かる 複素数複素数ではと虚数単位を基底とするベクトルと見なせる。このため、任意の複素数に対し、と定義できる。 この定義に従えば、は虚数平面上の単位円上の点となる。値としては、の極形式をとすると、となる。 特殊な単位ベクトルとして、実数にあったとの他、虚数単位とその逆であるが挙げられる。 符号関数実数の例で符号の話が出てきたが、符号を表す符号関数なるものがあって、値がに一致する。 実数に対し、符号関数はとして定義される。また、複素数に拡張した場合、となる。この複素数の定義は実数の定義を含む。 ここで、複素数の定義はの定義と一致しているのが分かる。したがって、複素数に対し、とは等価である。 |