\[ \newcommand{\vecu}{\mathrm{\bf{u}}} \newcommand{\vecv}{\mathrm{\bf{v}}} \newcommand{\vecw}{\mathrm{\bf{w}}} \newcommand{\vecx}{\mathrm{\bf{x}}} \newcommand{\vecy}{\mathrm{\bf{y}}} \newcommand{\vecz}{\mathrm{\bf{z}}} \newcommand{\veczero}{\mathrm{\bf{0}}} \] ๋ํ์ ์๋ฏธ ๋ค์๊ณผ ๊ฐ์ ์งํฉ \(\mathbb{Z}_3\)์ ์๊ฐํด ๋ณด์. \[\mathbb{Z}_3 = \left\{ 0 ,\,\, 1,\,\,2 \right\}\] ์ด ์งํฉ ์์์ ๋ง์ ๊ณผ ๊ณฑ์ ์ ์๋กญ๊ฒ ์ ์ํด ๋ณด์. ์ฆ \(m\)๊ณผ \(n\)์ด \(\mathbb{Z}_3\)์ ์์์ผ ๋, ์๋ก์ด ํฉ \(m+n\)์ \(m\)๊ณผ \(n\)์ ํฉ์ \(3\)์ผ๋ก ๋๋ ๋๋จธ์ง๋ก, ์๋ก์ด ๊ณฑ \(mn\)์ \(m\)๊ณผ \(n\)์ ๊ณฑ์ \(3\)์ผ๋ก ๋๋ ๋๋จธ์ง๋ก ์ ์ํ์. ์ด์ ๊ฐ์ ํฉ๊ณผ ๊ณฑ์ ํ๋ก ๋ํ๋ด๋ฉด ๋ค์ …
Linear Algebra
๋ค์๊ณผ ๊ฐ์ ๋ฌธ์ ๋ฅผ ์๊ฐํด ๋ณด์. ์ธ ์ ์ ์ง๋๋ ๊ทธ๋ํ๋ฅผ ๊ฐ๋ ์ด์ฐจํจ์ \(a_1 ,\) \(a_2 ,\) \(a_3\)์ด ์๋ก ๋ค๋ฅธ ์ค์์ด๊ณ , \(b_1 ,\) \(b_2 ,\) \(b_3\)์ด ์ค์์ผ ๋, ๊ทธ๋ํ๊ฐ ์ธ ์ \((a_1 ,\, b_1 ),\) \((a_2 ,\, b_2 ),\) \((a_3 ,\, b_3 )\)์ ๋ชจ๋ ์ง๋๋ ์ด์ฐจํจ์์ ์์ ์ด๋ป๊ฒ ๊ตฌํ ๊ฒ์ธ๊ฐ? ๋ง์ฝ ์ด์ฐจํจ์์ ์์ \(y = ax^2 + bx + c \)๋ผ๊ณ ๋๋ค๋ฉด, ์ ๋ฌธ์ ๋ ๋ค์ ์ฐ๋ฆฝ์ผ์ฐจ๋ฐฉ์ ์์์ …
\[ \newcommand{\vecu}{\mathrm{\bf{u}}} \newcommand{\vecv}{\mathrm{\bf{v}}} \newcommand{\vecw}{\mathrm{\bf{w}}} \newcommand{\vecx}{\mathrm{\bf{x}}} \newcommand{\vecy}{\mathrm{\bf{y}}} \newcommand{\vecz}{\mathrm{\bf{z}}} \] \(V\)์ \(W\)๊ฐ ์งํฉ์ด๊ณ \(f\)์ \(g\)๊ฐ \(V\)๋ก๋ถํฐ \(W\)๋ก์ ํจ์๋ผ๊ณ ํ์. ์ ์์ญ \(V\)์ ์ํ๋ ๋ช ๊ฐ์ ์ \(x\)์ ๋ํ์ฌ \(f(x) = g(x)\)๊ฐ ์ฑ๋ฆฝํ๋ค๊ณ ํ๋๋ผ๋, \(V\) ์ ์ฒด์์ \(f(x) = g(x)\)๊ฐ ์ฑ๋ฆฝํ๋ค๋ ๋ณด์ฅ์ ์๋ค. ๊ทธ๋ฌ๋ ํจ์๊ฐ ๋ฒกํฐ๊ณต๊ฐ ์ฌ์ด์์ ์ ์๋์ด ์๋ ์ ํ๋ณํ์ธ ๊ฒฝ์ฐ์๋, ์ ์์ญ์ ๊ธฐ์ ์์์ ๋ํด์ ๋ ํจ์์ ํจ์ซ๊ฐ์ด ์ผ์นํ๋ฉด ๋ ํจ์๋ ์์ ํ ๊ฐ์ ํจ์๊ฐ ๋๋ค. ์ฆ ๋ค์ ์ ๋ฆฌ๊ฐ ์ฑ๋ฆฝํ๋ค. …
์ด ๊ธ์ ๋ฒกํฐ๊ณต๊ฐ์ ์ฐจ์์ด, ๊ทธ ๋ฒกํฐ๊ณต๊ฐ์ ๊ธฐ์ ์ ๊ธฐ์(cardinal number)๋ก์ ์ ์ ์๋จ์ ์ดํด๋ณด๋ ๊ธ์ด๋ค. ์ ํ์งํฉ์ผ๋ก ์์ฑ๋๋ ๋ฒกํฐ๊ณต๊ฐ์ ์ฐจ์์ด ์ ์ ์๋๋ค๋ ๊ฒ์ ๋ณดํต์ ์ ํ๋์ํ ๊ต์ฌ์ ์์ฃผ ์ ์๊ฐ๋์ด ์์ผ๋ฏ๋ก ์ฌ๊ธฐ์๋ ์๋ตํ๊ณ , ์ด ๊ธ์์๋ ์ ํ์งํฉ์ผ๋ก ์์ฑ๋์ง ์๋ ๋ฒกํฐ๊ณต๊ฐ, ์ฆ ๋ฌดํ์ฐจ์๋ฒกํฐ๊ณต๊ฐ์ ์ฐจ์์ด ์ ์ ์๋๋ ๊ฒ์ ์ดํด๋ณธ๋ค. ์ด ๊ธ์ ์ฐธ๊ณ ๋ฌธํ [1]์ ์ 9์ฅ 2์ ์ ๋ด์ฉ์ ๋ฐํ์ผ๋ก ์์ฑํ์๋ค. Invariance of Dimensionality ์ฒด \(\mathbb{F}\) ์์ ๋ฒกํฐ๊ณต๊ฐ \(V\)๊ฐ ์ฃผ์ด์ก์ ๋, (์ ํ๊ณต๋ฆฌ๋ฅผ ๊ฐ์ ํ์ ๋) …
\(A\)๊ฐ \(n\)์ฐจ ์ ์ฌ๊ฐํ๋ ฌ์ด๊ณ ๋ชจ๋ ์ฑ๋ถ์ด ์ฒด \(K\)์ ์ฑ๋ถ์ด๋ผ๊ณ ํ์. ์ฆ \(A\in M_n (K)\)๋ผ๊ณ ํ์. ๊ทธ๋ฆฌ๊ณ \(A\)์ ํน์ฑ๋คํญ์์ \(p_A (t)\)๋ผ๊ณ ํ์. ๊ทธ๋ฌ๋ฉด \(\lambda \in K\)๊ฐ \(A\)์ ๊ณ ์ณ๊ฐ์ผ ํ์์ถฉ๋ถ์กฐ๊ฑด์ \(p_A(\lambda)=0\)์ธ ๊ฒ์ด๋ค. ์ด๋ \(p_A (t)\)๋ ๋ค์๊ณผ ๊ฐ์ ๊ผด๋ก ์ธ์๋ถํด๋๋ค. \[p_A (t) = (t-\lambda )^r q(t).\] ์ฌ๊ธฐ์ \((t-\lambda)\)์ ์ฐจ์ \(r\)๋ฅผ ๊ณ ์ณ๊ฐ \(\lambda\)์ ๋์์ ์ค๋ณต๋๋ผ๊ณ ๋ถ๋ฅธ๋ค. ๊ณ ์ณ๊ฐ \(\lambda\)๋ฅผ ๊ณ ์ ์์ผ ๋๊ณ ๋ค์ ์งํฉ์ ์๊ฐํ์. \[\left\{ \mathbf{v}\in \mathbb{R}^n \,\vert\, A\mathbf{v} = …
๋ผ๊ทธ๋์ฃผ์ ๋ฐฉ๋ฒ์ ์ด์ฉํ์ฌ ํ์์ ์ถ์ ๊ธธ์ด ๊ตฌํ๊ธฐ
๋ค์๊ณผ ๊ฐ์ ํ์์ ๋ฐฉ์ ์์ ์๊ฐํด ๋ด ์๋ค. \[2x^2 – 4xy + 5y^2 = 36\tag{1}\] ์ ํ๋์ํ์์ ๊ณต๋ถํ ์ด์ฐจํ์์ ์ฑ์ง์ ์ด์ฉํ๋ฉด ์ข๋ณ์ ๋ณํํ์ฌ ํ์์ ์ฅ์ถ๊ณผ ๋จ์ถ์ ๊ธธ์ด๋ฅผ ๊ตฌํ ์ ์์ต๋๋ค. ํ์ง๋ง ์ค๋์ ๋ผ๊ทธ๋์ฃผ์ ๋ฐฉ๋ฒ(method of Lagrange’s multiplier)์ ์ด์ฉํ์ฌ ์ด ํ์์ ์ฅ์ถ๊ณผ ๋จ์ถ์ ๊ธธ์ด๋ฅผ ๊ตฌํด๋ณด๊ฒ ์ต๋๋ค. ํ์์ ์ค์ฌ์ด ์ขํํ๋ฉด์ ์์ ์ด๋ฏ๋ก, ํ์ ์์ ์ ์ค์์ ์์ ์ผ๋ก๋ถํฐ ๊ฐ์ฅ ๋ฉ๋ฆฌ ์๋ ์ ๊น์ง์ ๊ฑฐ๋ฆฌ์ ๊ฐ์ฅ ๊ฐ๊น์ด ์๋ ์ ๊น์ง์ ๊ฑฐ๋ฆฌ๋ฅผ ์ฐพ์ผ๋ฉด ๋ฉ๋๋ค. ์ฆ ํ์ …
Problem 9.1 Describe geometrically the linear transformation \(T_A : \mathbb{R}^2 \rightarrow \mathbb{R}^2\) given by \[A = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}\] and then interpret the meanings of the eigenvalues and eigenvectors accordingly. Solution. \(T_A\) is a reflection about the line \(y=x.\) Hence \(v\) is an eigenvector of \(T_A\) if and only if \(v\) is parallel to or orthogonal to the …
์ด ๊ธ์ ํ์ฌ๋ ์ ํ๋ Serge Lang์ ์ ํ๋์ ๊ต์ฌ ์ 2ํ([1], VII, ยง6)์ ๋ด์ฉ์ ํ ๋๋ก ์ด ๊ฒ์ด๋ค. ํผ๊ฐ์ง ๋ง์๋ผ. ์ด ๊ธ์์๋ ํ๋ ฌ์์ ํ ๋ํ์ ์ฒด์ ์ผ๋ก ์ดํดํ๋ ์ด์ผ๊ธฐ๋ฅผ ์๊ฐํ๋ค. ๋จผ์ 2-์ฐจ์์ ๊ฒฝ์ฐ๋ฅผ ๋ ผํ ํ ๋ฐ, ‘์ฒด์ (volume)’์ด๋ผ๋ ์ฉ์ด๋ฅผ 2-์ฐจ์ ๋ํ์ ๋์ด๋ฅผ ์ผ์ปฌ์ ๋์๋ ๊ทธ๋ฅ ์ฌ์ฉํ๊ณ ์ ํ๋ค. ๋ํ ‘\(\operatorname{Vol}\)’์ ๊ฐ์ ๊ธฐํธ๋ฅผ ์ด์ฉํ์ฌ ๋์ด๋ฅผ ๋ํ๋ด๊ธฐ๋ ํ ๊ฒ์ด๋ค. ๋ฌผ๋ก ์ด ๊ธฐํธ๋ฅผ ์ผ๋ฐ์ ์ธ ๊ณ ์ฐจ์ ๋ํ์ ์ฒด์ ์ ๋ํ๋ด๋ ๊ธฐํธ๋ก๋ ์ธ ๊ฒ์ด๋ค. ๋จผ์ ๋ ๋ฒกํฐ \(v, …
์ง๋ ํฌ์คํธ์์ ๋ฒกํฐ๊ณต๊ฐ \(K^n,\) \(K^m\) ์ฌ์ด์์ ์ ์๋ ์ ํ๋ณํ๊ณผ \(m\times n\) ํ๋ ฌ์ ๊ด๊ณ๋ฅผ ์ดํด๋ณด์๋ค(์ง๋ ํฌ์คํ ๋ณด๊ธฐ). ์ด๋ฒ์๋ ์ผ๋ฐ์ ์ธ ์ ํ์ฐจ์ ๋ฒกํฐ๊ณต๊ฐ \(V,\) \(V’\) ์ฌ์ด์์ ์ ์๋ ์ ํ๋ณํ๊ณผ ํ๋ ฌ์ ๊ด๊ณ๋ฅผ ์ดํด๋ณด์. \(K\)๊ฐ ์ฒด์ด๊ณ \(n\)๊ณผ \(m\)์ด ์์ ์ ์๋ผ๊ณ ํ์. ๊ทธ๋ฆฌ๊ณ \(V\)์ \(V’\)์ด \(K\) ์์์ ์ ์๋ \(n\)์ฐจ์ ๋ฒกํฐ๊ณต๊ฐ, \(m\)์ฐจ์ ๋ฒกํฐ๊ณต๊ฐ์ด๋ผ๊ณ ํ์. ๋ํ \[\begin{align} B: &\,\, v_1 ,\, v_2 ,\, \cdots ,\, v_n, \\[6pt] B’ : & \,\, v_1 ‘ ,\, …
๋ฒกํฐ๊ณต๊ฐ \(K^n,\) \(K^m\) ์ฌ์ด์์ ์ ์๋ ์ ํ๋ณํ๊ณผ \(m\times n\) ํ๋ ฌ์ ๊ด๊ณ๋ฅผ ์ดํด๋ณด์. \(K\)๊ฐ ์ฒด(field)์ด๊ณ \(n\)๊ณผ \(m\)์ด ์์ ์ ์๋ผ๊ณ ํ์. ๋ชจ๋ ์ฑ๋ถ์ด \(K\)์ ์ํ๋ \(m\times n\) ํ๋ ฌ๋ค์ ๋ชจ์์\(\newcommand{\MatK}{\operatorname{Mat}_{m \times n}(K)}\) \[\MatK\] ๋ก ๋ํ๋ธ๋ค. ๋ํ ์ ์์ญ์ด \(K^n\)์ด๊ณ ๊ณต์ญ์ด \(K^m\)์ธ ์ ํ๋ณํ๋ค์ ๋ชจ์์\(\newcommand{\HomK}{\operatorname{Hom}(K^n ,\, K^m )}\) \[\HomK\] ์ผ๋ก ๋ํ๋ธ๋ค. [์ฌ๊ธฐ์ \(K^n\)๊ณผ \(K^m\)์ ํต์์ ์ธ ๋ฒกํฐ ํฉ๊ณผ ์ค์นผ๋ผ ๊ณฑ์ด ์ฃผ์ด์ง ๋ฒกํฐ๊ณต๊ฐ์ด๋ค.] ์ค์นผ๋ผ \(k\in K\)์ \(m\times n\) ํ๋ ฌ \(A = (a_{ij})_{m\times n}\), …
