4

行列 $(2332)$ により表される線形変換 $f$ の, 平面全体の像はどのような図形になるか。最も適切なものを以下の選択肢から選びなさい。

平面全体

直線 $y = \dfrac{3}{2}x$

直線 $y = \dfrac{2}{3}x$

直線 $y = -\dfrac{3}{2}x$

点 $(x,y)$ の$f$ による像を $(x',y')$ とすると

$(xy)(2332)(xy)$

であり, $(2332)$ は正則であるから 

$(xy)(2332)^{-1} (xy)$

が成り立つ。すなわち平面上の任意の点 $(x',y')$ に対し, 点 $(x,y)$ を

$(xy)(2332)^{-1} (xy)$

と定めれば, $(x,y)$ の $f$ による像は

$(2332)(xy)=(2332)(2332)1(xy)=(1001)(xy)=(xy)$

よって平面上の任意の点 $(x',y')$ は $f$ による平面全体の像に含まれる。

以上から, $f$ による平面全体の像は平面全体である。