ベクトルの基底に関する成分
ベクトルの基底に関する成分
体\(K\)上の\(n\)次元ベクトル空間\(V\)の基底を\(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\)とする。
このとき\(V\)の任意のベクトル\(\boldsymbol{v}\in V\)は\(a_{k}\in K\)として、
\begin{align*} \boldsymbol{v} & =\sum_{k=1}^{n}a_{k}\boldsymbol{v}_{k}\\ & =\left(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\right)\left(\begin{array}{c} a_{1}\\ a_{2}\\ \vdots\\ a_{n} \end{array}\right) \end{align*} と一意的に表される。
この\(a_{1},a_{2},\cdots,a_{n}\)を基底\(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\)に関する\(\boldsymbol{v}\)の成分という。
体\(K\)上の\(n\)次元ベクトル空間\(V\)の基底を\(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\)とする。
このとき\(V\)の任意のベクトル\(\boldsymbol{v}\in V\)は\(a_{k}\in K\)として、
\begin{align*} \boldsymbol{v} & =\sum_{k=1}^{n}a_{k}\boldsymbol{v}_{k}\\ & =\left(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\right)\left(\begin{array}{c} a_{1}\\ a_{2}\\ \vdots\\ a_{n} \end{array}\right) \end{align*} と一意的に表される。
この\(a_{1},a_{2},\cdots,a_{n}\)を基底\(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\)に関する\(\boldsymbol{v}\)の成分という。
一意的であることの証明
\[ \boldsymbol{v}=\sum_{k=1}^{n}a_{k}\boldsymbol{v}_{k}=\sum_{k=1}^{n}b_{k}\boldsymbol{v}_{k} \] と2通りで表されると仮定する。
そうすると、
\[ \sum_{k=1}^{n}\left(a_{k}-b_{k}\right)\boldsymbol{v}_{k}=\boldsymbol{0} \] となり\(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\)は基底なので1次独立になるので\(a_{1}-b_{1}=a_{2}-b_{2}=\cdots=a_{n}-b_{n}=0\)となり、\(a_{1}=b_{1},a_{2}=b_{2},\cdots,a_{n}=b_{n}\)となる。
これより、2通りで表されるという仮定に矛盾。
従って、基底に関するベクトルの成分は一意的に決まる。
\[ \boldsymbol{v}=\sum_{k=1}^{n}a_{k}\boldsymbol{v}_{k}=\sum_{k=1}^{n}b_{k}\boldsymbol{v}_{k} \] と2通りで表されると仮定する。
そうすると、
\[ \sum_{k=1}^{n}\left(a_{k}-b_{k}\right)\boldsymbol{v}_{k}=\boldsymbol{0} \] となり\(\boldsymbol{v}_{1},\boldsymbol{v}_{2},\cdots,\boldsymbol{v}_{n}\)は基底なので1次独立になるので\(a_{1}-b_{1}=a_{2}-b_{2}=\cdots=a_{n}-b_{n}=0\)となり、\(a_{1}=b_{1},a_{2}=b_{2},\cdots,a_{n}=b_{n}\)となる。
これより、2通りで表されるという仮定に矛盾。
従って、基底に関するベクトルの成分は一意的に決まる。
ページ情報
| タイトル | ベクトルの基底に関する成分 |
| URL | https://www.nomuramath.com/d5bfwh9c/ |
| SNSボタン |
商空間(商ベクトル空間)の定義と性質
\[
V/N=\left\{ \boldsymbol{x}+N;\boldsymbol{x}\in V\right\}
\]
ベクトル空間での剰余集合での和集合・積集合・差集合・対称差の演算
\[
\left(A\cup B\right)/C=\left(A/C\right)\cup\left(B/C\right)
\]
商集合と商類の性質
\[
A+\left\{ C\right\} =\left\{ C\right\} +A
\]
ベクトル空間での平行移動と集合の和と商集合の違い
\[
\left\{ \boldsymbol{a}+B;\boldsymbol{a}\in A\right\} =A/B
\]