ベクトル空間 $V$ の基 $\\{u_1, u_2, u_3\\}$ が与えられたとき、以下のベクトル $\\{v_1, v_2, v_3\\}$ が $V$ の基となるかどうかを調べます。 (a) $v_1 = 2u_1 + u_2 - u_3$, $v_2 = u_1 + 2u_2 + u_3$, $v_3 = u_1 + u_2 + u_3$ (b) $v_1 = u_1 - u_2 + u_3$, $v_2 = -u_1 + 3u_2 - u_3$, $v_3 = u_1 + u_3$

代数学線形代数ベクトル空間線形独立行列式
2025/6/27

1. 問題の内容

ベクトル空間 VV の基 u1,u2,u3\\{u_1, u_2, u_3\\} が与えられたとき、以下のベクトル v1,v2,v3\\{v_1, v_2, v_3\\}VV の基となるかどうかを調べます。
(a) v1=2u1+u2u3v_1 = 2u_1 + u_2 - u_3, v2=u1+2u2+u3v_2 = u_1 + 2u_2 + u_3, v3=u1+u2+u3v_3 = u_1 + u_2 + u_3
(b) v1=u1u2+u3v_1 = u_1 - u_2 + u_3, v2=u1+3u2u3v_2 = -u_1 + 3u_2 - u_3, v3=u1+u3v_3 = u_1 + u_3

2. 解き方の手順

ベクトル v1,v2,v3\\{v_1, v_2, v_3\\}VV の基となるかどうかを判定するには、v1,v2,v3\\{v_1, v_2, v_3\\} が線形独立かどうかを確認します。線形独立であるとは、あるスカラー c1,c2,c3c_1, c_2, c_3 に対して、
c1v1+c2v2+c3v3=0c_1v_1 + c_2v_2 + c_3v_3 = 0
となるのが c1=c2=c3=0c_1 = c_2 = c_3 = 0 のときのみであるということです。
viv_iu1,u2,u3u_1, u_2, u_3 の線形結合で表し、上記の式を u1,u2,u3u_1, u_2, u_3 の線形結合で表します。
u1,u2,u3\\{u_1, u_2, u_3\\} は基であるため、線形独立です。したがって、u1,u2,u3u_1, u_2, u_3 の係数がすべてゼロでなければなりません。
これにより、c1,c2,c3c_1, c_2, c_3 に関する線形方程式系が得られます。この線形方程式系の解が c1=c2=c3=0c_1 = c_2 = c_3 = 0 のみである場合、v1,v2,v3\\{v_1, v_2, v_3\\} は線形独立であり、VV の基となります。それ以外の場合、v1,v2,v3\\{v_1, v_2, v_3\\} は線形従属であり、VV の基にはなりません。
(a)の場合:
c1(2u1+u2u3)+c2(u1+2u2+u3)+c3(u1+u2+u3)=0c_1(2u_1 + u_2 - u_3) + c_2(u_1 + 2u_2 + u_3) + c_3(u_1 + u_2 + u_3) = 0
(2c1+c2+c3)u1+(c1+2c2+c3)u2+(c1+c2+c3)u3=0(2c_1 + c_2 + c_3)u_1 + (c_1 + 2c_2 + c_3)u_2 + (-c_1 + c_2 + c_3)u_3 = 0
u1,u2,u3\\{u_1, u_2, u_3\\} の線形独立性より、
2c1+c2+c3=02c_1 + c_2 + c_3 = 0
c1+2c2+c3=0c_1 + 2c_2 + c_3 = 0
c1+c2+c3=0-c_1 + c_2 + c_3 = 0
この線形方程式系を行列形式で書くと、
(211121111)(c1c2c3)=(000)\begin{pmatrix} 2 & 1 & 1 \\ 1 & 2 & 1 \\ -1 & 1 & 1 \end{pmatrix} \begin{pmatrix} c_1 \\ c_2 \\ c_3 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}
この行列の行列式を計算します。
211121111=2(21)1(1+1)+1(1+2)=2(1)1(2)+1(3)=22+3=3\begin{vmatrix} 2 & 1 & 1 \\ 1 & 2 & 1 \\ -1 & 1 & 1 \end{vmatrix} = 2(2-1) - 1(1+1) + 1(1+2) = 2(1) - 1(2) + 1(3) = 2 - 2 + 3 = 3
行列式がゼロでないため、線形方程式系の解は一意であり、c1=c2=c3=0c_1 = c_2 = c_3 = 0 です。したがって、v1,v2,v3\\{v_1, v_2, v_3\\} は線形独立であり、VV の基となります。
(b)の場合:
c1(u1u2+u3)+c2(u1+3u2u3)+c3(u1+u3)=0c_1(u_1 - u_2 + u_3) + c_2(-u_1 + 3u_2 - u_3) + c_3(u_1 + u_3) = 0
(c1c2+c3)u1+(c1+3c2)u2+(c1c2+c3)u3=0(c_1 - c_2 + c_3)u_1 + (-c_1 + 3c_2)u_2 + (c_1 - c_2 + c_3)u_3 = 0
u1,u2,u3\\{u_1, u_2, u_3\\} の線形独立性より、
c1c2+c3=0c_1 - c_2 + c_3 = 0
c1+3c2=0-c_1 + 3c_2 = 0
c1c2+c3=0c_1 - c_2 + c_3 = 0
この線形方程式系を行列形式で書くと、
(111130111)(c1c2c3)=(000)\begin{pmatrix} 1 & -1 & 1 \\ -1 & 3 & 0 \\ 1 & -1 & 1 \end{pmatrix} \begin{pmatrix} c_1 \\ c_2 \\ c_3 \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}
この行列の行列式を計算します。
111130111=1(30)(1)(10)+1(13)=312=0\begin{vmatrix} 1 & -1 & 1 \\ -1 & 3 & 0 \\ 1 & -1 & 1 \end{vmatrix} = 1(3-0) - (-1)(-1-0) + 1(1-3) = 3 - 1 - 2 = 0
行列式がゼロであるため、この線形方程式系には非自明な解が存在します。したがって、v1,v2,v3\\{v_1, v_2, v_3\\} は線形従属であり、VV の基にはなりません。
例えば、c2=1c_2 = 1とすると、c1=3c_1=3です。31+c3=03-1+c_3=0なので、c3=2c_3 = -2です。よって,3v1+v22v3=03v_1+v_2-2v_3 = 0 となります。

3. 最終的な答え

(a) v1,v2,v3\\{v_1, v_2, v_3\\}VV の基となる。
(b) v1,v2,v3\\{v_1, v_2, v_3\\}VV の基とならない。

「代数学」の関連問題

与えられた式 $(2^{n+2}-4) - (2^{n+1}-4)$ を簡略化せよ。

指数式の簡略化指数法則
2025/6/27

与えられた式 $(2^{n+2} - 4) + (2^{n+1} + 4)$ を計算して、その結果を簡潔に表現します。

指数式の計算指数法則簡略化
2025/6/27

初項5、公差4の等差数列の、初項から101までの和Sを求める問題です。

等差数列数列公式
2025/6/27

与えられた9個の1次不等式をそれぞれ解き、$x$の範囲を求める問題です。

一次不等式不等式解の範囲
2025/6/27

因数定理を用いて、以下の3つの式を因数分解する問題です。 (1) $x^3 + x^2 - 2$ (2) $x^3 - 6x^2 + 11x - 6$ (3) $4x^3 + 12x^2 - x - ...

因数分解因数定理多項式
2025/6/27

$x + 9 \geq 3$ を満たす $x$ の範囲を求めます。

不等式一次不等式解の範囲
2025/6/27

$\log_{\sqrt{2}} 8$ の値を計算する問題です。

対数対数計算指数法則
2025/6/27

関数 $y = a(x-1) + 3$ のグラフが、定数 $a$ がどんな値をとっても常に通る定点Pの座標を求める問題です。

一次関数グラフ定点
2025/6/27

3つの直線 $x - 2y + 4 = 0$, $2x + y + 3 = 0$, $mx - y + 3 = 0$ が三角形を作らないような定数 $m$ の値を求める問題です。

直線方程式幾何学連立方程式平行交点
2025/6/27

関数 $f(x) = x^2 - 2(a+3)x + a + 13$ について、以下の問いに答える問題です。 (1) グラフの頂点の座標を求める。 (2) グラフがx軸と接する時のaの値を求める。 (...

二次関数平方完成グラフ頂点判別式最大値・最小値二次不等式
2025/6/27