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