1. 数ベクトル $\begin{bmatrix} 3 \\ 1 \end{bmatrix}$, $\begin{bmatrix} a \\ 1 \end{bmatrix}$ が $R^2$ の基底となるための $a$ の条件を求める。

代数学線形代数ベクトル基底部分空間次元行列
2025/7/14

1. 問題の内容

1. 数ベクトル $\begin{bmatrix} 3 \\ 1 \end{bmatrix}$, $\begin{bmatrix} a \\ 1 \end{bmatrix}$ が $R^2$ の基底となるための $a$ の条件を求める。

2. 行列 $A = \begin{bmatrix} 1 & 2 \\ 2 & 4 \end{bmatrix}$ の核 $KerA$ の基底を一つ求める。

3. 数ベクトル $\begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix}$, $\begin{bmatrix} 3 \\ -1 \\ 1 \end{bmatrix}$, $\begin{bmatrix} 2 \\ 4 \\ 3 \end{bmatrix}$ が $R^3$ の基底であるかどうか判定する。

4. $R^3$ 内の平面 $S = \{ \begin{bmatrix} x_1 \\ x_2 \\ x_3 \end{bmatrix} | x_1 - x_2 + x_3 = 0 \}$ について、以下の問いに答える。

(1) SSR3R^3 の部分空間であることを示す。
(2) SS の基底を2つ求める。
(3) SS の次元を答える。

2. 解き方の手順

1. 2つのベクトルが $R^2$ の基底となる条件は、それらが線形独立であること、つまり、片方が他方のスカラー倍ではないことである。したがって、 $\begin{bmatrix} 3 \\ 1 \end{bmatrix}$ と $\begin{bmatrix} a \\ 1 \end{bmatrix}$ が線形独立であるためには、 $a \neq 3$ である必要がある。

a3a \neq 3

2. $KerA$ は $Ax = 0$ となるベクトル $x$ の集合である。

[1224][x1x2]=[00]\begin{bmatrix} 1 & 2 \\ 2 & 4 \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \end{bmatrix}
これは x1+2x2=0x_1 + 2x_2 = 0 と同値である。したがって、x1=2x2x_1 = -2x_2 となり、
x=[2x2x2]=x2[21]x = \begin{bmatrix} -2x_2 \\ x_2 \end{bmatrix} = x_2 \begin{bmatrix} -2 \\ 1 \end{bmatrix}
よって、KerAKerA の基底は [21]\begin{bmatrix} -2 \\ 1 \end{bmatrix} となる。

3. 3つのベクトルが $R^3$ の基底となるかどうかは、それらが線形独立であるかを調べればよい。

行列 [132014113]\begin{bmatrix} 1 & 3 & 2 \\ 0 & -1 & 4 \\ 1 & 1 & 3 \end{bmatrix} の行列式を計算する。
行列式 = 1((1)341)3(0341)+2(01(1)1)=1(34)3(4)+2(1)=7+12+2=701((-1) \cdot 3 - 4 \cdot 1) - 3(0 \cdot 3 - 4 \cdot 1) + 2(0 \cdot 1 - (-1) \cdot 1) = 1(-3-4) - 3(-4) + 2(1) = -7 + 12 + 2 = 7 \neq 0
したがって、これらのベクトルは線形独立であるため、R3R^3 の基底となる。

4. (1) $S$ が $R^3$ の部分空間であることを示すためには、$S$ が以下の条件を満たすことを示す必要がある。

1. 零ベクトルが $S$ に含まれること。

2. $S$ の任意の2つのベクトル $u, v$ に対して、$u + v$ が $S$ に含まれること。

3. $S$ の任意のベクトル $u$ と任意のスカラー $c$ に対して、$cu$ が $S$ に含まれること。

1. $x_1 = x_2 = x_3 = 0$ のとき、$0 - 0 + 0 = 0$ なので、零ベクトル $\begin{bmatrix} 0 \\ 0 \\ 0 \end{bmatrix}$ は $S$ に含まれる。

2. $u = \begin{bmatrix} u_1 \\ u_2 \\ u_3 \end{bmatrix}, v = \begin{bmatrix} v_1 \\ v_2 \\ v_3 \end{bmatrix} \in S$ とする。このとき、$u_1 - u_2 + u_3 = 0$ かつ $v_1 - v_2 + v_3 = 0$ である。

u+v=[u1+v1u2+v2u3+v3]u+v = \begin{bmatrix} u_1+v_1 \\ u_2+v_2 \\ u_3+v_3 \end{bmatrix} であり、(u1+v1)(u2+v2)+(u3+v3)=(u1u2+u3)+(v1v2+v3)=0+0=0(u_1+v_1) - (u_2+v_2) + (u_3+v_3) = (u_1 - u_2 + u_3) + (v_1 - v_2 + v_3) = 0 + 0 = 0 となるので、u+vSu+v \in S

3. $u = \begin{bmatrix} u_1 \\ u_2 \\ u_3 \end{bmatrix} \in S$ とし、$c$ を任意のスカラーとする。このとき、$u_1 - u_2 + u_3 = 0$ である。

cu=[cu1cu2cu3]cu = \begin{bmatrix} cu_1 \\ cu_2 \\ cu_3 \end{bmatrix} であり、cu1cu2+cu3=c(u1u2+u3)=c0=0cu_1 - cu_2 + cu_3 = c(u_1 - u_2 + u_3) = c \cdot 0 = 0 となるので、cuScu \in S
したがって、SSR3R^3 の部分空間である。
(2) SS の基底を求める。x1x2+x3=0x_1 - x_2 + x_3 = 0 より、x1=x2x3x_1 = x_2 - x_3 である。
[x1x2x3]=[x2x3x2x3]=x2[110]+x3[101]\begin{bmatrix} x_1 \\ x_2 \\ x_3 \end{bmatrix} = \begin{bmatrix} x_2 - x_3 \\ x_2 \\ x_3 \end{bmatrix} = x_2 \begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix} + x_3 \begin{bmatrix} -1 \\ 0 \\ 1 \end{bmatrix}
よって、SS の基底は [110]\begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix}, [101]\begin{bmatrix} -1 \\ 0 \\ 1 \end{bmatrix} となる。
(3) SS の基底は2つのベクトルから構成されるため、SS の次元は2である。

3. 最終的な答え

1. $a \neq 3$

2. $\begin{bmatrix} -2 \\ 1 \end{bmatrix}$

3. 基底である

4. (1) $S$ は $R^3$ の部分空間である (証明は上記参照)

(2) [110]\begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix}, [101]\begin{bmatrix} -1 \\ 0 \\ 1 \end{bmatrix}
(3) 2

「代数学」の関連問題

数列 $\{a_n\}$ が $p, q, p, q, \dots$ というように $p$ と $q$ が交互に並ぶ数列であるとき、一般項 $a_n$ を $p$ と $q$ を用いた式で表す。

数列一般項場合分け三角関数
2025/7/14

2直線 $x + 5y - 7 = 0$ と $2x - y - 4 = 0$ の交点を通る直線の方程式を、次の2つの条件で求める。 (1) 点 $(-3, 5)$ を通る。 (2) 直線 $x + ...

直線連立方程式幾何学
2025/7/14

与えられた二つの式を満たす有理数 $p$ と $q$ の値を求めます。 式1: $(\sqrt{2}-1)p + q\sqrt{2} = 2 + \sqrt{2}$ 式2: $\frac{p}{\sq...

連立方程式無理数式の計算
2025/7/14

正の実数 $p$ に対して、数列 $\{a_n\}$ が $a_6 - a_2 = p$ と $a_6 + a_2 = \frac{7}{2}p$ を満たす等差数列であるとき、一般項 $a_n$ と ...

数列等差数列シグマ有理化telescoping sum
2025/7/14

関数 $y = 4x - 3$ について、$x = 5$ のときの $y$ の値を求める問題です。

一次関数関数の値
2025/7/14

与えられた4つの命題の真偽を判定し、偽の場合は反例を挙げる問題です。

命題真偽反例絶対値二等辺三角形
2025/7/14

与えられた多項式 $2x^3 + 2xy^2 + x^2y + 1$ を、$y$ について降べきの順に整理し、$y$ について何次式であるかを答える。

多項式次数降べきの順
2025/7/14

2次関数のグラフとx軸の共有点の座標を求め、グラフがx軸に接するものがどれか判断する問題です。 (1) $y = x^2 - x - 6$ (2) $y = -x^2 + 3x - 1$

二次関数グラフx軸との共有点二次方程式解の公式
2025/7/14

連立方程式 $x^2y + xy^2 = 2$ $x+y+xy=3$ を解く問題です。

連立方程式二次方程式解の公式因数分解変数変換
2025/7/14

整式 $P(x)$ を $x^2 - 4x + 3$ で割ると余りが $-3x + 1$ であり、$x^2 - 4$ で割ると余りが $x + 4$ である。このとき、$P(x)$ を $x^2 - ...

多項式剰余の定理因数定理代数
2025/7/14