関連記事
ベクトル
平面ベクトルの成分表示
ベクトルでどの方向にどれくらいの大きさかを表す場合、ベクトルの成分表示を使って表現する。例えば、
のように書く。これは、水平方向に4、垂直方向に3進めたベクトルである。
このベクトルの大きさは三平方の定理から
である。
の逆ベクトルは
である。
とすると、
となる。
とすると、 とは大きさは異なるが方向が同じベクトルであり、
と表すことができる。
平面ベクトルの1次独立
定義
以下を満たすとき、 と は1次独立であるという。
例1
と は1次独立である。
実際、
である。 とすると
である。よって、この方程式を解くと、 である。
例2
とすると、 と は1次独立でない。
実際、 とすると、
だが、 は上記の方程式の解の1つである。
以外の解を持つため、 と は1次独立でない。
1次独立の幾何学的性質
と が1次独立である , ,
証明
と が1次独立である , , を示す。
とする。例えば、 としても、
が成り立つため、 である。
同じ理由で、 である。
, , とする。このとき、ある実数 に対して、
と書くことができる。よって、
となり、 でも が成り立つため、 でなければならない。
次に、, , と が1次独立であることを示す。
とする。
仮に、 とすると、
となるが、これは となるため矛盾する。よって、である。
も同様に示せる。
成分における性質
, とする。
と は1次独立である である。
証明
より、
である。
とする。
の連立方程式の上の式の両辺に 、下の式の両辺に をかけ、上の式から下の式を引くと
となり、 より となる。
から となることはないので、 より がいえる。
よって、 と は1次独立である。
逆に、 とすると、 と は1次独立でないことを示す。
- とする。
このとき、 となるので、 または である。
であれば、 なので、 と は1次独立ではない。
であれば、 となるため、 と は1次独立ではない。
- とする。
このとき、 から となる。これを の上の式に代入して整理すると、
となる。
の場合、 より、 となるが、 となるため、 と は1次独立ではない。
の場合、 は
となり、 の下の式と一致する。
の場合、 となり、 である。
の場合は は 以外の解(例えば、)を持つので、 と は1次独立ではない。
以上から、 なら と は1次独立でないので、 と は1次独立ならば である。
平面ベクトルの性質
と は1次独立なベクトルとする。このとき、任意のベクトル に対して、
の形で表すことができる。
例
とする。例えば、 とする。
を満たす と の値は なので、
の解である。この方程式を解くと、 となる。よって、
となる。
というような感じで、 と が1次独立なら のスカラー倍と のスカラー倍の和によってどんなベクトルも作り出すことができる。
また、1次連立方程式の性質から任意の に対して、
を満たす はただ一つであるであることが感覚的に分かる。
まとめ
平面ベクトルにおいて、
ベクトル と は1次独立であることと、
任意のベクトル に対して、
を満たす が唯一つ存在することは同値である。
証明
とする。
ベクトル と は1次独立であるとする。
任意のベクトル をとる。
このとき、
である。 と は1次独立である よりこの連立方程式を解くと、
となるため、 の存在は示された。
を と で表せたとする。 より、 となる。
と は1次独立なので、 。よって、 となるため、一意であることが示せた。
逆に、任意のベクトル に対して、
を満たす が唯一つ存在するとする。
どんなベクトル に対しても を満たす がただ一つ存在するので、 としても を満たす がただ一つ存在する。 とすれば、 は満たし、仮定からそれ以外の値を持たないため、 と は1次独立である。
補足
ベクトル に対して、 と表すことが出来るとき、 は と により生成されたベクトルと呼ぶことにする。
平面上の3つのベクトル で考えてみる。
ベクトル に対して、 と表すことが出来るとき、 は と と により生成されたベクトルと呼ぶことにする。
のうち2つが や 3つとも並行であるとかでない限り、任意のベクトル に対して、
という形で表すことができる。
つまり平面上全てのベクトルは と と により生成させることができる。
しかし、 の表し方はただ一つではない。( はただ一つではない)
また、 が1次独立であるとは
を満たすことであるが、平面の場合はどんなベクトルをとってきても、 は1次独立にならない。
1つのベクトルだけでは任意の平面上のベクトルを生成することはできない。
つまり、1次独立であり、任意のベクトルを生成させるために必要なベクトルは2つである。