問題は、線形写像 $f \left(\begin{bmatrix} x \\ y \end{bmatrix}\right) = \begin{bmatrix} x - y \\ x + y \end{bmatrix}$ が与えられたとき、次の3つの問いに答えるものです。 (1) $f = f_A$ となる2次正方行列 $A$ を求めよ。 (2) $g \left(\begin{bmatrix} u \\ v \end{bmatrix}\right) = \frac{1}{2} \begin{bmatrix} u + v \\ -u + v \end{bmatrix}$ は $f$ の逆写像であることを示せ。 (3) $g = f_B$ となる2次正方行列 $B$ を求めよ。また、$B$ は $A$ の逆行列であることを示せ。

代数学線形写像行列逆写像逆行列
2025/7/12

1. 問題の内容

問題は、線形写像 f([xy])=[xyx+y]f \left(\begin{bmatrix} x \\ y \end{bmatrix}\right) = \begin{bmatrix} x - y \\ x + y \end{bmatrix} が与えられたとき、次の3つの問いに答えるものです。
(1) f=fAf = f_A となる2次正方行列 AA を求めよ。
(2) g([uv])=12[u+vu+v]g \left(\begin{bmatrix} u \\ v \end{bmatrix}\right) = \frac{1}{2} \begin{bmatrix} u + v \\ -u + v \end{bmatrix}ff の逆写像であることを示せ。
(3) g=fBg = f_B となる2次正方行列 BB を求めよ。また、BBAA の逆行列であることを示せ。

2. 解き方の手順

(1) fAf_A は行列 AA による線形写像を表すので、f([xy])=A[xy]f \left(\begin{bmatrix} x \\ y \end{bmatrix}\right) = A \begin{bmatrix} x \\ y \end{bmatrix} となる行列 AA を求めます。
f([xy])=[xyx+y]=[1111][xy]f \left(\begin{bmatrix} x \\ y \end{bmatrix}\right) = \begin{bmatrix} x - y \\ x + y \end{bmatrix} = \begin{bmatrix} 1 & -1 \\ 1 & 1 \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix}
したがって、A=[1111]A = \begin{bmatrix} 1 & -1 \\ 1 & 1 \end{bmatrix} となります。
(2) ggff の逆写像であるためには、f(g(v))=vf(g(\mathbf{v})) = \mathbf{v} および g(f(v))=vg(f(\mathbf{v})) = \mathbf{v} が任意のベクトル v\mathbf{v} に対して成り立つ必要があります。
まず、f(g([uv]))f(g(\begin{bmatrix} u \\ v \end{bmatrix})) を計算します。
f(g([uv]))=f(12[u+vu+v])=[12(u+v)12(u+v)12(u+v)+12(u+v)]=[uv]f(g(\begin{bmatrix} u \\ v \end{bmatrix})) = f(\frac{1}{2} \begin{bmatrix} u + v \\ -u + v \end{bmatrix}) = \begin{bmatrix} \frac{1}{2}(u+v) - \frac{1}{2}(-u+v) \\ \frac{1}{2}(u+v) + \frac{1}{2}(-u+v) \end{bmatrix} = \begin{bmatrix} u \\ v \end{bmatrix}
次に、g(f([xy]))g(f(\begin{bmatrix} x \\ y \end{bmatrix})) を計算します。
g(f([xy]))=g([xyx+y])=12[(xy)+(x+y)(xy)+(x+y)]=12[2x2y]=[xy]g(f(\begin{bmatrix} x \\ y \end{bmatrix})) = g(\begin{bmatrix} x - y \\ x + y \end{bmatrix}) = \frac{1}{2} \begin{bmatrix} (x-y) + (x+y) \\ -(x-y) + (x+y) \end{bmatrix} = \frac{1}{2} \begin{bmatrix} 2x \\ 2y \end{bmatrix} = \begin{bmatrix} x \\ y \end{bmatrix}
したがって、ggff の逆写像です。
(3) g=fBg = f_B となる行列 BB を求めます。
g([uv])=12[u+vu+v]=12[1111][uv]g \left(\begin{bmatrix} u \\ v \end{bmatrix}\right) = \frac{1}{2} \begin{bmatrix} u + v \\ -u + v \end{bmatrix} = \frac{1}{2} \begin{bmatrix} 1 & 1 \\ -1 & 1 \end{bmatrix} \begin{bmatrix} u \\ v \end{bmatrix}
したがって、B=12[1111]B = \frac{1}{2} \begin{bmatrix} 1 & 1 \\ -1 & 1 \end{bmatrix} となります。
次に、BBAA の逆行列であることを示します。
AB=[1111]12[1111]=12[2002]=[1001]=IAB = \begin{bmatrix} 1 & -1 \\ 1 & 1 \end{bmatrix} \frac{1}{2} \begin{bmatrix} 1 & 1 \\ -1 & 1 \end{bmatrix} = \frac{1}{2} \begin{bmatrix} 2 & 0 \\ 0 & 2 \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = I
BA=12[1111][1111]=12[2002]=[1001]=IBA = \frac{1}{2} \begin{bmatrix} 1 & 1 \\ -1 & 1 \end{bmatrix} \begin{bmatrix} 1 & -1 \\ 1 & 1 \end{bmatrix} = \frac{1}{2} \begin{bmatrix} 2 & 0 \\ 0 & 2 \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = I
したがって、B=A1B = A^{-1} です。

3. 最終的な答え

(1) A=[1111]A = \begin{bmatrix} 1 & -1 \\ 1 & 1 \end{bmatrix}
(2) ggff の逆写像である (証明済み)
(3) B=12[1111]B = \frac{1}{2} \begin{bmatrix} 1 & 1 \\ -1 & 1 \end{bmatrix} であり、BBAA の逆行列である (証明済み)

「代数学」の関連問題

複素数の等式 $\frac{x+yi}{2+3i} = \frac{5}{13} - \frac{1}{13}i$ を満たす実数 $x$ と $y$ を求めます。

複素数複素数の計算等式
2025/7/12

複素数 $x+yi$ の2乗が $7+24i$ に等しいとき、$x$と$y$の値を求めます。つまり、$(x+yi)^2 = 7+24i$ を満たす実数 $x, y$ を求めます。

複素数二次方程式解の公式
2025/7/12

線形代数の問題で、行列の計算、行列のべき乗、行列を用いた方程式を解く問題です。具体的には以下の問題があります。 (1) $\begin{pmatrix} \frac{1}{\sqrt{2}} & -\...

行列行列の計算線形代数連立方程式
2025/7/12

問題は2つあります。 (2) は、2つの行列の積を計算する問題です。 (3) は、(2)で求めた行列の6乗を計算する問題です。

行列行列の積行列の累乗回転行列
2025/7/12

与えられた複素数の分数を計算します。問題は $ \frac{4}{(1+i)^2} $ を計算することです。ここで、$i$ は虚数単位を表します。

複素数虚数単位複素数の計算分数の計算
2025/7/12

したがって、$x + 1$ は与えられた式の因数であることがわかります。

因数分解3次式因数定理多項式の割り算
2025/7/12

画像には2つの大問があり、それぞれ6つの計算問題があります。1つ目の大問は多項式の足し算、2つ目の大問は多項式の引き算です。

多項式の計算加法減法同類項
2025/7/12

$a = \frac{4}{3\sqrt{2} - \sqrt{10}}$ が与えられたとき、以下の問題を解きます。 (1) $a$ の分母を有理化し、簡単にします。 (2) $a + \frac{2...

有理化式の計算平方根分数式
2025/7/12

$a$ は定数とする。関数 $y = 2x^2 - 4ax - a$ ($0 \le x \le 2$) の最大値を求めよ。

二次関数最大値場合分け平方完成
2025/7/12

複素数の方程式 $(2+3i)(x+yi)=1$ を満たす実数 $x$ と $y$ の値を求める問題です。

複素数方程式連立方程式
2025/7/12