行列 $A = \begin{bmatrix} 2 & 1 \\ 3 & 1 \end{bmatrix}$ による線形写像 $y = Ax$ によって、与えられた不等式で表される領域がどのような領域に移るかを求め、写像後の領域を図示する問題です。具体的には、以下の3つの領域について考えます。 (1) $0 \le x_1 \le 1$, $0 \le x_2 \le 1$ (2) $x_1 \ge 0$ (3) $x_2 \le -x_1$

代数学線形写像行列領域変換線形代数
2025/7/6

1. 問題の内容

行列 A=[2131]A = \begin{bmatrix} 2 & 1 \\ 3 & 1 \end{bmatrix} による線形写像 y=Axy = Ax によって、与えられた不等式で表される領域がどのような領域に移るかを求め、写像後の領域を図示する問題です。具体的には、以下の3つの領域について考えます。
(1) 0x110 \le x_1 \le 1, 0x210 \le x_2 \le 1
(2) x10x_1 \ge 0
(3) x2x1x_2 \le -x_1

2. 解き方の手順

(1) 0x110 \le x_1 \le 1, 0x210 \le x_2 \le 1 の場合
この領域は、原点を頂点とする正方形です。正方形の4つの頂点(0,0), (1,0), (1,1), (0,1)が写像によってどのように移動するかを調べます。
y=Ax=[2131][x1x2]y = Ax = \begin{bmatrix} 2 & 1 \\ 3 & 1 \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \end{bmatrix}
(0,0) -> (0,0)
(1,0) -> (2,3)
(1,1) -> (3,4)
(0,1) -> (1,1)
したがって、写像後の領域は、(0,0), (2,3), (3,4), (1,1)を頂点とする平行四辺形になります。
(2) x10x_1 \ge 0 の場合
この領域は、x1x2x_1 x_2平面のx1x_1軸より右側の領域です。
y1=2x1+x2y_1 = 2x_1 + x_2
y2=3x1+x2y_2 = 3x_1 + x_2
x10x_1 \ge 0 の領域では、y1x2=2x10y_1 - x_2 = 2x_1 \ge 0なので、y1x2y_1 \ge x_2
y2x2=3x10y_2 - x_2 = 3x_1 \ge 0なので、y2x2y_2 \ge x_2
この領域は、x1 >= 0 によってどのような領域に移るのかを求めるには、Aの列ベクトルである v1=[23]v_1 = \begin{bmatrix} 2 \\ 3 \end{bmatrix}v2=[11]v_2 = \begin{bmatrix} 1 \\ 1 \end{bmatrix} を考えます。x10x_1 \ge 0なので、x1v1+x2v2x_1v_1 + x_2v_2は、v1v_1方向に無限に伸びる領域になります。つまり、y1y_1y2y_2の条件から領域を特定する必要があります。
(3) x2x1x_2 \le -x_1 の場合
この領域は、x2=x1x_2 = -x_1の直線の下側の領域です。
y1=2x1+x2y_1 = 2x_1 + x_2
y2=3x1+x2y_2 = 3x_1 + x_2
x2x1x_2 \le -x_1 を代入すると、
y12x1x1=x1y_1 \le 2x_1 - x_1 = x_1
y23x1x1=2x1y_2 \le 3x_1 - x_1 = 2x_1
x10x_1 \ge 0の時、y1,y2y_1, y_2も正になりえますし、x10x_1 \le 0の時は、y1,y2y_1, y_2は負の値を取ることがあります。

3. 最終的な答え

(1) 写像後の領域は、(0,0), (2,3), (3,4), (1,1)を頂点とする平行四辺形。
(2) 写像後の領域は、AAの列ベクトル [23]\begin{bmatrix} 2 \\ 3 \end{bmatrix}で張られる扇形の領域。
(3) 写像後の領域は、 x2x1x_2 \le -x_1の線形写像によって移された領域。

「代数学」の関連問題

2次関数 $y = -2x^2 + 6x - 2$ の $x \geq \sqrt{2}$ の範囲における最大値と最小値を求めよ。

二次関数最大値最小値平方完成定義域
2025/7/6

与えられた2次関数 $y = 3x^2 - 4x + 1$ の、$0 < x \le 2$ の範囲における最大値と最小値を求める問題です。

二次関数最大値最小値平方完成定義域
2025/7/6

2次関数 $y = -2x^2 + 6x - 2$ の $\sqrt{2} \le x$ における値域を求める問題です。

二次関数値域平方完成最大値最小値
2025/7/6

与えられた二次関数 $y = -3x^2 + 4x - 1$ を平方完成させる問題です。

二次関数平方完成
2025/7/6

次の2つの関数について、与えられた範囲で最大値と最小値を求めます。 (1) $y = x^2 - 4x + 5$ ($1 < x < 3$) (2) $y = -x^2 - x + 2$ ($0 \l...

二次関数最大値最小値平方完成定義域
2025/7/6

関数 $y = -x^2 - 2x + 1$ の定義域が与えられた範囲にあるとき、各範囲における最大値と最小値を求める問題です。具体的には、以下の4つの範囲について解きます。 (1) $0 \le x...

二次関数最大値最小値定義域平方完成
2025/7/6

与えられた二次関数 $y = -2x^2 + 3x - 1$ の最大値を求め、そのときの $x$ の値を求める。

二次関数最大値平方完成頂点
2025/7/6

点 $(x, y)$ が連立不等式 $3x - y \ge 0$, $x - 2y \le 0$, $x + 3y - 10 \le 0$ を満たすとき、$-x + y$ の最大値と最小値を求めよ。

線形計画法不等式最大値最小値領域
2025/7/6

行列 $A = \begin{bmatrix} t+1 & 1 \\ 1 & t+1 \end{bmatrix}$ (ただし $t$ は実数) とする。連立一次方程式 $Ax = \begin{bma...

線形代数行列連立一次方程式行列式解の存在条件
2025/7/6

2次関数 $y = 3x^2$ のグラフを指定された方法で平行移動した放物線をグラフとする2次関数を $y = a(x - p)^2 + q$ の形で求めます。

二次関数平行移動グラフ放物線
2025/7/6