정의
체 [math]\displaystyle{ F }[/math] 위의 벡터공간 [math]\displaystyle{ V,W }[/math]가 주어지고 [math]\displaystyle{ L }[/math]이 [math]\displaystyle{ V }[/math]에서 [math]\displaystyle{ W }[/math]로의 함수라고 하자. 이때 임의의 [math]\displaystyle{ c\in F }[/math]와 [math]\displaystyle{ \mathbf{v}_1,\mathbf{v}_2,\mathbf{v}\in V }[/math]에 대해
- [math]\displaystyle{ L(\mathbf{v}_1+\mathbf{v}_2)=L(\mathbf{v}_1)+L(\mathbf{v}_2) }[/math]
- [math]\displaystyle{ L(c\mathbf{v})=cL(\mathbf{v}) }[/math]
이면 [math]\displaystyle{ L }[/math]를 [math]\displaystyle{ V }[/math]에서 [math]\displaystyle{ W }[/math]로의 선형변환(linear transformation)이라고 한다.
예시
함수 [math]\displaystyle{ L:\mathbb{R}^3 \to \mathbb{R}^2 }[/math]가 다음과 같이 정의되었다고 하자.
- [math]\displaystyle{ L\left(\begin{bmatrix} x\\ y\\ z \end{bmatrix}\right)=\begin{bmatrix} x+y\\ y+z \end{bmatrix} }[/math]
그러면
- [math]\displaystyle{ \begin{align} L\left(\begin{bmatrix} x_1\\ y_1\\ z_1 \end{bmatrix}+\begin{bmatrix} x_2\\ y_2\\ z_2 \end{bmatrix}\right)&=L\left(\begin{bmatrix} x_1+x_2\\ y_1+y_2\\ z_1+z_2 \end{bmatrix}\right)\\ &=\begin{bmatrix} (x_1+x_2)+(y_1+y_2)\\ (y_1+y_2)+(z_1+z_2) \end{bmatrix}\\ &=\begin{bmatrix} x_1+y_1\\ y_1+z_1 \end{bmatrix}+\begin{bmatrix} x_2+y_2\\ y_2+z_2 \end{bmatrix}\\ &=L\left(\begin{bmatrix} x_1\\ y_1\\ z_1 \end{bmatrix}\right)+L\left(\begin{bmatrix} x_2\\ y_2\\ z_2 \end{bmatrix}\right) \end{align} }[/math]
이고
- [math]\displaystyle{ \begin{align} L\left(c\begin{bmatrix} x\\ y\\ z \end{bmatrix}\right)&=L\left(\begin{bmatrix} cx\\ cy\\ cz \end{bmatrix}\right)\\ &=\begin{bmatrix} cx+cy\\ cy+cz \end{bmatrix}\\ &=c\begin{bmatrix} x+y\\ y+z \end{bmatrix}\\ &=cL\left(\begin{bmatrix} x\\ y\\ z \end{bmatrix}\right) \end{align} }[/math]
이므로 [math]\displaystyle{ L }[/math]은 [math]\displaystyle{ \mathbb{R}^3 }[/math]에서 [math]\displaystyle{ \mathbb{R}^2 }[/math]로의 선형변환이다.
성질
선형변환 [math]\displaystyle{ L:V\to W }[/math]와 [math]\displaystyle{ \mathbf{u},\mathbf{v}\in V }[/math]에 대해,
- [math]\displaystyle{ L(\mathbf{0}_V)=\mathbf{0}_W }[/math]
[math]\displaystyle{ \mathbf{0}_V=\mathbf{0}_V+\mathbf{0}_V }[/math]이므로 선형변환의 정의에 의해
- [math]\displaystyle{ \begin{align} L(\mathbf{0}_V)&=L(\mathbf{0}_V+\mathbf{0}_V)\\ &=L(\mathbf{0}_V)+L(\mathbf{0}_V) \end{align} }[/math]
이다. 양변의 [math]\displaystyle{ L(\mathbf{0}_V) }[/math]를 소거하면 원하는 결론을 얻는다.
- [math]\displaystyle{ L(-\mathbf{v})=-L(\mathbf{v}) }[/math]
- [math]\displaystyle{ \begin{align} L(-\mathbf{v})&=L((-1_F)\mathbf{v})\\ &=(-1_F)L(\mathbf{v})\\ &=-L(\mathbf{v}) \end{align} }[/math]
이므로 원하는 결론을 얻는다.
- [math]\displaystyle{ L(\mathbf{u}-\mathbf{v})=L(\mathbf{u})-L(\mathbf{v}) }[/math]
- [math]\displaystyle{ \begin{align} L(\mathbf{u}-\mathbf{v})&=L(\mathbf{u}+(-\mathbf{v}))\\ &=L(\mathbf{u})+L(-\mathbf{v})\\ &=L(\mathbf{u})-L(\mathbf{v}) \end{align} }[/math]
이므로 원하는 결론을 얻는다.