## 問題の回答

代数学線形写像表現行列基底線形変換
2025/7/11
## 問題の回答
###

1. 問題の内容

与えられた線形写像 TT に対して、指定された基に関する表現行列を求める問題です。具体的には、問題 1 では R3R^3 から R2R^2 への線形写像 T(x)T(x) と、それぞれの空間の基が与えられ、問題 2 では線形変換 T(x)T(x) と、それぞれの空間の基が与えられています。また、2(c)と2(d)は多項式空間における線形変換に対する表現行列を求める問題です。
###

2. 解き方の手順

それぞれの問題について、以下の手順で解きます。

1. **基底ベクトルの像を計算する:** 入力空間の基底ベクトルを線形写像 $T$ に代入し、像を計算します。

2. **像を出力空間の基底で表現する:** 計算された像を、出力空間の基底の線形結合で表します。つまり、各像ベクトルを、出力空間の基底ベクトルを並べた行列を用いて、線形方程式を解き、係数を求めます。

3. **表現行列を作成する:** 上記で求めた係数を列ベクトルとして並べたものが、求める表現行列です。

以下に、問題1(a)と2(a)の解き方を詳細に示します。
**問題1(a):**
線形写像: T(x)=[241153]xT(x) = \begin{bmatrix} 2 & 4 & 1 \\ 1 & 5 & 3 \end{bmatrix} x
R3R^3 の基: v1=[101],v2=[122],v3=[011]v_1 = \begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix}, v_2 = \begin{bmatrix} 1 \\ 2 \\ 2 \end{bmatrix}, v_3 = \begin{bmatrix} 0 \\ 1 \\ 1 \end{bmatrix}
R2R^2 の基: w1=[12],w2=[23]w_1 = \begin{bmatrix} 1 \\ 2 \end{bmatrix}, w_2 = \begin{bmatrix} 2 \\ 3 \end{bmatrix}

1. 基底ベクトルの像を計算する:

T(v1)=[241153][101]=[34]T(v_1) = \begin{bmatrix} 2 & 4 & 1 \\ 1 & 5 & 3 \end{bmatrix} \begin{bmatrix} 1 \\ 0 \\ 1 \end{bmatrix} = \begin{bmatrix} 3 \\ 4 \end{bmatrix}
T(v2)=[241153][122]=[1217]T(v_2) = \begin{bmatrix} 2 & 4 & 1 \\ 1 & 5 & 3 \end{bmatrix} \begin{bmatrix} 1 \\ 2 \\ 2 \end{bmatrix} = \begin{bmatrix} 12 \\ 17 \end{bmatrix}
T(v3)=[241153][011]=[58]T(v_3) = \begin{bmatrix} 2 & 4 & 1 \\ 1 & 5 & 3 \end{bmatrix} \begin{bmatrix} 0 \\ 1 \\ 1 \end{bmatrix} = \begin{bmatrix} 5 \\ 8 \end{bmatrix}

2. 像を出力空間の基底で表現する:

T(v1)=a1w1+b1w2=a1[12]+b1[23]=[a1+2b12a1+3b1]=[34]T(v_1) = a_1 w_1 + b_1 w_2 = a_1 \begin{bmatrix} 1 \\ 2 \end{bmatrix} + b_1 \begin{bmatrix} 2 \\ 3 \end{bmatrix} = \begin{bmatrix} a_1 + 2b_1 \\ 2a_1 + 3b_1 \end{bmatrix} = \begin{bmatrix} 3 \\ 4 \end{bmatrix}
連立方程式: a1+2b1=3,2a1+3b1=4a_1 + 2b_1 = 3, 2a_1 + 3b_1 = 4
これを解くと a1=1,b1=2a_1 = -1, b_1 = 2
T(v2)=a2w1+b2w2=a2[12]+b2[23]=[a2+2b22a2+3b2]=[1217]T(v_2) = a_2 w_1 + b_2 w_2 = a_2 \begin{bmatrix} 1 \\ 2 \end{bmatrix} + b_2 \begin{bmatrix} 2 \\ 3 \end{bmatrix} = \begin{bmatrix} a_2 + 2b_2 \\ 2a_2 + 3b_2 \end{bmatrix} = \begin{bmatrix} 12 \\ 17 \end{bmatrix}
連立方程式: a2+2b2=12,2a2+3b2=17a_2 + 2b_2 = 12, 2a_2 + 3b_2 = 17
これを解くと a2=2,b2=7a_2 = -2, b_2 = 7
T(v3)=a3w1+b3w2=a3[12]+b3[23]=[a3+2b32a3+3b3]=[58]T(v_3) = a_3 w_1 + b_3 w_2 = a_3 \begin{bmatrix} 1 \\ 2 \end{bmatrix} + b_3 \begin{bmatrix} 2 \\ 3 \end{bmatrix} = \begin{bmatrix} a_3 + 2b_3 \\ 2a_3 + 3b_3 \end{bmatrix} = \begin{bmatrix} 5 \\ 8 \end{bmatrix}
連立方程式: a3+2b3=5,2a3+3b3=8a_3 + 2b_3 = 5, 2a_3 + 3b_3 = 8
これを解くと a3=1,b3=3a_3 = -1, b_3 = 3

3. 表現行列を作成する:

表現行列は、[121273]\begin{bmatrix} -1 & -2 & -1 \\ 2 & 7 & 3 \end{bmatrix}
**問題2(a):**
線形写像: T(x)=[201131252]xT(x) = \begin{bmatrix} 2 & 0 & 1 \\ -1 & -3 & 1 \\ 2 & 5 & 2 \end{bmatrix} x
R3R^3 の基: v1=[110],v2=[211],v3=[311]v_1 = \begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix}, v_2 = \begin{bmatrix} 2 \\ 1 \\ 1 \end{bmatrix}, v_3 = \begin{bmatrix} 3 \\ 1 \\ 1 \end{bmatrix}

1. 基底ベクトルの像を計算する:

T(v1)=[201131252][110]=[247]T(v_1) = \begin{bmatrix} 2 & 0 & 1 \\ -1 & -3 & 1 \\ 2 & 5 & 2 \end{bmatrix} \begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix} = \begin{bmatrix} 2 \\ -4 \\ 7 \end{bmatrix}
T(v2)=[201131252][211]=[5411]T(v_2) = \begin{bmatrix} 2 & 0 & 1 \\ -1 & -3 & 1 \\ 2 & 5 & 2 \end{bmatrix} \begin{bmatrix} 2 \\ 1 \\ 1 \end{bmatrix} = \begin{bmatrix} 5 \\ -4 \\ 11 \end{bmatrix}
T(v3)=[201131252][311]=[7513]T(v_3) = \begin{bmatrix} 2 & 0 & 1 \\ -1 & -3 & 1 \\ 2 & 5 & 2 \end{bmatrix} \begin{bmatrix} 3 \\ 1 \\ 1 \end{bmatrix} = \begin{bmatrix} 7 \\ -5 \\ 13 \end{bmatrix}

2. 像を出力空間の基底で表現する:

T(v1)=a1v1+b1v2+c1v3=a1[110]+b1[211]+c1[311]=[a1+2b1+3c1a1+b1+c1b1+c1]=[247]T(v_1) = a_1 v_1 + b_1 v_2 + c_1 v_3 = a_1 \begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix} + b_1 \begin{bmatrix} 2 \\ 1 \\ 1 \end{bmatrix} + c_1 \begin{bmatrix} 3 \\ 1 \\ 1 \end{bmatrix} = \begin{bmatrix} a_1 + 2b_1 + 3c_1 \\ a_1 + b_1 + c_1 \\ b_1 + c_1 \end{bmatrix} = \begin{bmatrix} 2 \\ -4 \\ 7 \end{bmatrix}
連立方程式: a1+2b1+3c1=2,a1+b1+c1=4,b1+c1=7a_1 + 2b_1 + 3c_1 = 2, a_1 + b_1 + c_1 = -4, b_1 + c_1 = 7
これを解くと a1=20,b1=3,c1=10a_1 = -20, b_1 = -3, c_1 = 10
T(v2)=a2v1+b2v2+c2v3=a2[110]+b2[211]+c2[311]=[a2+2b2+3c2a2+b2+c2b2+c2]=[5411]T(v_2) = a_2 v_1 + b_2 v_2 + c_2 v_3 = a_2 \begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix} + b_2 \begin{bmatrix} 2 \\ 1 \\ 1 \end{bmatrix} + c_2 \begin{bmatrix} 3 \\ 1 \\ 1 \end{bmatrix} = \begin{bmatrix} a_2 + 2b_2 + 3c_2 \\ a_2 + b_2 + c_2 \\ b_2 + c_2 \end{bmatrix} = \begin{bmatrix} 5 \\ -4 \\ 11 \end{bmatrix}
連立方程式: a2+2b2+3c2=5,a2+b2+c2=4,b2+c2=11a_2 + 2b_2 + 3c_2 = 5, a_2 + b_2 + c_2 = -4, b_2 + c_2 = 11
これを解くと a2=31,b2=6,c2=17a_2 = -31, b_2 = -6, c_2 = 17
T(v3)=a3v1+b3v2+c3v3=a3[110]+b3[211]+c3[311]=[a3+2b3+3c3a3+b3+c3b3+c3]=[7513]T(v_3) = a_3 v_1 + b_3 v_2 + c_3 v_3 = a_3 \begin{bmatrix} 1 \\ 1 \\ 0 \end{bmatrix} + b_3 \begin{bmatrix} 2 \\ 1 \\ 1 \end{bmatrix} + c_3 \begin{bmatrix} 3 \\ 1 \\ 1 \end{bmatrix} = \begin{bmatrix} a_3 + 2b_3 + 3c_3 \\ a_3 + b_3 + c_3 \\ b_3 + c_3 \end{bmatrix} = \begin{bmatrix} 7 \\ -5 \\ 13 \end{bmatrix}
連立方程式: a3+2b3+3c3=7,a3+b3+c3=5,b3+c3=13a_3 + 2b_3 + 3c_3 = 7, a_3 + b_3 + c_3 = -5, b_3 + c_3 = 13
これを解くと a3=39,b3=8,c3=21a_3 = -39, b_3 = -8, c_3 = 21

3. 表現行列を作成する:

表現行列は、[203139368101721]\begin{bmatrix} -20 & -31 & -39 \\ -3 & -6 & -8 \\ 10 & 17 & 21 \end{bmatrix}
**問題2(c):**
線形変換: T(f(x))=2f(x)+3f(x)T(f(x)) = 2f'(x) + 3f(x)
R[x]2R[x]_2 の基: {1,x,x2}\{1, x, x^2\}

1. 基底ベクトルの像を計算する:

T(1)=2(0)+3(1)=3T(1) = 2(0) + 3(1) = 3
T(x)=2(1)+3(x)=2+3xT(x) = 2(1) + 3(x) = 2 + 3x
T(x2)=2(2x)+3(x2)=4x+3x2T(x^2) = 2(2x) + 3(x^2) = 4x + 3x^2

2. 像を出力空間の基底で表現する:

T(1)=31+0x+0x2T(1) = 3 \cdot 1 + 0 \cdot x + 0 \cdot x^2
T(x)=21+3x+0x2T(x) = 2 \cdot 1 + 3 \cdot x + 0 \cdot x^2
T(x2)=01+4x+3x2T(x^2) = 0 \cdot 1 + 4 \cdot x + 3 \cdot x^2

3. 表現行列を作成する:

[320034003]\begin{bmatrix} 3 & 2 & 0 \\ 0 & 3 & 4 \\ 0 & 0 & 3 \end{bmatrix}
**問題2(d):**
線形変換: T(f(x))=2f(x)+3f(x)T(f(x)) = 2f'(x) + 3f(x)
R[x]2R[x]_2 の基: {1+x,x+x2,12x2}\{1+x, x+x^2, 1-2x^2\}

1. 基底ベクトルの像を計算する:

T(1+x)=2(1)+3(1+x)=5+3xT(1+x) = 2(1) + 3(1+x) = 5 + 3x
T(x+x2)=2(1+2x)+3(x+x2)=2+5x+3x2T(x+x^2) = 2(1+2x) + 3(x+x^2) = 2 + 5x + 3x^2
T(12x2)=2(4x)+3(12x2)=38x6x2T(1-2x^2) = 2(-4x) + 3(1-2x^2) = 3 - 8x - 6x^2

2. 像を出力空間の基底で表現する:

T(1+x)=a(1+x)+b(x+x2)+c(12x2)=(a+c)+(a+b)x+(b2c)x2=5+3x+0x2T(1+x) = a(1+x) + b(x+x^2) + c(1-2x^2) = (a+c) + (a+b)x + (b-2c)x^2 = 5 + 3x + 0x^2
よって、a+c=5,a+b=3,b2c=0a+c=5, a+b=3, b-2c=0 を解くと a=11/3,b=2/3,c=4/3a=11/3, b=-2/3, c=4/3
T(x+x2)=a(1+x)+b(x+x2)+c(12x2)=(a+c)+(a+b)x+(b2c)x2=2+5x+3x2T(x+x^2) = a(1+x) + b(x+x^2) + c(1-2x^2) = (a+c) + (a+b)x + (b-2c)x^2 = 2 + 5x + 3x^2
よって、a+c=2,a+b=5,b2c=3a+c=2, a+b=5, b-2c=3 を解くと a=25/9,b=20/9,c=7/9a=25/9, b=20/9, c=-7/9
T(12x2)=a(1+x)+b(x+x2)+c(12x2)=(a+c)+(a+b)x+(b2c)x2=38x6x2T(1-2x^2) = a(1+x) + b(x+x^2) + c(1-2x^2) = (a+c) + (a+b)x + (b-2c)x^2 = 3 - 8x - 6x^2
よって、a+c=3,a+b=8,b2c=6a+c=3, a+b=-8, b-2c=-6 を解くと a=28/3,b=4/3,c=17/3a=-28/3, b=4/3, c=17/3

3. 表現行列を作成する:

[11/325/928/32/320/94/34/37/917/3]\begin{bmatrix} 11/3 & 25/9 & -28/3 \\ -2/3 & 20/9 & 4/3 \\ 4/3 & -7/9 & 17/3 \end{bmatrix}
同様の手順で、残りの問題も解くことができます。
###

3. 最終的な答え

**問題1(a):** [121273]\begin{bmatrix} -1 & -2 & -1 \\ 2 & 7 & 3 \end{bmatrix}
**問題2(a):** [203139368101721]\begin{bmatrix} -20 & -31 & -39 \\ -3 & -6 & -8 \\ 10 & 17 & 21 \end{bmatrix}
**問題2(c):** [320034003]\begin{bmatrix} 3 & 2 & 0 \\ 0 & 3 & 4 \\ 0 & 0 & 3 \end{bmatrix}
**問題2(d):** [11/325/928/32/320/94/34/37/917/3]\begin{bmatrix} 11/3 & 25/9 & -28/3 \\ -2/3 & 20/9 & 4/3 \\ 4/3 & -7/9 & 17/3 \end{bmatrix}

「代数学」の関連問題

$a > 0, b > 0$ のとき、次の式を計算する問題です。 (1) $(a^{\frac{1}{2}} - a^{-\frac{1}{2}})^2$ (2) $(a^{\frac{1}{2}} ...

式の計算指数展開
2025/7/16

指数法則を用いて、以下の3つの式を計算する問題です。ただし、$a>0$とします。 (1) $\sqrt[3]{\sqrt{a^2}}$ (2) $\sqrt[5]{a^3} \times \frac{...

指数法則累乗根計算
2025/7/16

$a>0$ のとき、次の式 $(a^{-\frac{1}{3}})^6$ を計算せよ。

指数指数法則計算
2025/7/16

$a > 0$のとき、以下の式を簡単にせよ。 (1) $(a^{-\frac{3}{4}})^6$ (2) $\frac{a^{\frac{5}{2}}}{a^2}$ (3) $a^{2.4} \ti...

指数指数法則式の計算
2025/7/16

$a > 0$ のとき、次の式を簡単にせよ。 (1) $(a^{-\frac{3}{16}})^6$ (2) $\frac{a^{\frac{5}{2}}}{a^2}$ (3) $a^{2.4} \t...

指数法則指数計算累乗根
2025/7/16

問題は、次の(1),(2)については $a^m$ の形に、(3), (4)については根号を用いて表せ。ただし、$a > 0$ とする。 (1) $\sqrt{a}$ (2) $\sqrt[5]{a^6...

指数根号累乗根式の変形
2025/7/16

$\sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}$ が与えられたとき、$\sigma_y^2$ を求めよ。ここで、$i$ は虚数単位で...

行列行列計算パウリ行列虚数単位
2025/7/16

与えられた行列 $A = \begin{pmatrix} 6 & 2 & -2 \\ 2 & 3 & -1 \\ 2 & 2 & 0 \end{pmatrix}$ が対角化可能かどうかを判断し、可能で...

線形代数行列対角化固有値固有ベクトル
2025/7/16

与えられた行列 $\sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}$ に対して、以下の問題を解く。 (3) 指数関数 $e^X = \s...

行列指数関数固有値固有ベクトル線形代数
2025/7/16

$n$ が1以上の任意の整数のとき、以下の式が成り立つことを数学的帰納法で証明する過程において、空欄 $a$ から $e$ に当てはまる整数を答える問題です。 $1^2 + 2^2 + 3^2 + ....

数学的帰納法等式整数因数分解
2025/7/16