수실잡
공부는 저희 친구들이 잘해요
수실잡
전체 방문자
오늘
어제

블로그 메뉴

  • 🏠블로그 홈
  • 💭태그 클라우드
  • 📬방명록
  • 🛠️블로그 관리
  • 📝글 쓰러 가기
  • 분류 전체보기 (127)
    • 교양(학문의 기초) (22)
      • 미적분학 (1)
      • 물리 (1)
      • 화학 (1)
      • 생물 (0)
      • 통계 (0)
      • 공학수학 (19)
    • 프로그래밍 언어 (2)
      • C (0)
      • C++ (0)
      • Java (0)
      • Python (2)
      • MATLAB (0)
      • R (0)
      • Julia (0)
    • 수학 (35)
      • 집합론 (Set Theory) (19)
      • 해석개론 (9)
      • 해석개론의 정수 (1)
      • 선형대수학 (1)
      • 미분방정식 (0)
      • 실해석학 (0)
      • 복소해석학 (0)
      • 대수학 (0)
      • 위상수학 (0)
      • 미분기하학 (0)
      • 응용수학 (0)
      • 확률론 (5)
    • 물리학 (32)
      • 물리수학 (3)
      • 역학 (9)
      • 전자기학 (13)
      • 양자물리 (0)
      • 열역학과 통계물리 (5)
      • 전자기파와 광학 (0)
      • 응집물질물리학 (2)
      • 논문 리뷰 (0)
    • 화학 (16)
      • 물리화학 (11)
      • 분석화학 (1)
      • 유기화학 (1)
      • 무기화학 (0)
      • 생화학 (3)
      • 고분자화학 (0)
      • 화학실험 (0)
      • 논문 리뷰 (0)
    • 재료공학 (1)
      • 재료공학원리 (0)
      • 재료열역학 (0)
      • 결정학개론 (0)
      • 재료상변태 (0)
      • 재료의 기계적 거동 (0)
      • 재료의 전자기적 성질 (1)
      • 재료역학 (0)
      • 기타 (0)
    • 컴퓨터공학 (9)
      • 자료구조 및 알고리즘 (0)
      • 인공지능 (0)
      • 양자컴퓨터 (1)
      • 컴퓨터구조 (5)
      • 논리설계 (0)
      • 컴파일러 (0)
      • 운영체제 및 시스템프로그래밍 (1)
      • 논문 리뷰 (1)
      • 계산이론 (1)
    • 전기전자공학 (0)
      • 전기전자회로 (0)
      • 소자 (0)
      • 집적회로 (0)
      • 신호처리, 제어공학 (0)
      • 전파공학 (0)
      • 전력전자공학 (0)
    • 기계공학 (2)
      • 고체역학 (2)
      • 열역학 (0)
      • 동역학 (0)
      • 유체역학 (0)
    • 언어학 (2)
      • 음성학 (0)
      • 음운론 (0)
      • 형태론 (0)
      • 통사론 (2)
    • 기타 등등 (6)
      • 학회리뷰 (3)
      • 꿀팁 (0)
      • 역대 교양수학 성적 통계량 정리 (1)
      • 기타 등등 (2)

공지사항

인기 글

최근 글

최근 댓글

태그

  • 컴퓨터구조
  • Random walk
  • 확산
  • 텐서
  • ZFC Set Theory
  • 랭크
  • 가역
  • 앳킨스 물리화학
  • 일차독립
  • Diffusion
  • 백응생
  • 물리화학
  • 벡터공간
  • 차원
  • 선형변환
  • 벡터
  • 레닌저 생화학
  • 열 및 통계물리
  • 선형대수
  • Thermal and statistical physics
  • 레닌저생화학
  • ZFC 집합론
  • Athreya
  • 공학수학
  • 행렬식
  • 기본행렬
  • 행렬
  • Atkins' Physical Chemistry
  • 확률론
  • Physical Chemistry

티스토리

hELLO · Designed By 정상우.
수실잡

공부는 저희 친구들이 잘해요

1. 선형대수학의 기초_(8) 좌표변환 행렬
교양(학문의 기초)/공학수학

1. 선형대수학의 기초_(8) 좌표변환 행렬

By 서울대의 감자
2022. 7. 27. 21:43
Language

이 글은 언어로 작성되어 있습니다.
익숙하신 언어를 선택하십시오.

This post is written in Language.
Select the language you prefer.

この文は言語で作成されています。
使用する言語を選択してください。


이전 글 보러 가기

 

2차원 평면좌표에서의 선형변환 "직선 $y=mx$에 대한 대칭변환"을 생각해봅시다.

 

먼저 평면좌표의 순서기저를 표준 순서기저 $\left\{(1, 0), (0, 1)\right\}$로 잡아봅시다. $(1, 0)$이 선형변환에 의해 옮겨지는 점을 $(x_1, y_1)$이라 하면 $(x_1, y_1)$와 원점 사이의 거리는 $1$이어야 하고, $(x_1, y_1)$와 $(1, 0)$를 지나는 직선의 기울기는 $\dfrac{-1}{m}$이어야 합니다. 따라서 다음 연립방정식을 풀면 $x_1=\dfrac{1-m^2}{1+m^2}, y_1=\dfrac{2m}{1+m^2}$이 나옵니다. $$\left\{ \begin{matrix} {x_1}^2+{y_1}^2=1 \\ -\dfrac{y_1}{1-x_1} = -\dfrac{1}{m} \end{matrix} \right.$$ 마찬가지로 $(1, 0)$이 선형변환에 의해 옮겨지는 점은 $x_2=\dfrac{2m}{1+m^2}, y_2=\dfrac{m^2-1}{1+m^2}$입니다. 따라서 이 선형변환을 나타내는 행렬은 $\dfrac{1}{m^2+1} \begin{pmatrix} 1-m^2 & 2m \\ 2m & m^2-1 \end{pmatrix}$입니다.

 

이제 평면좌표의 순서기저를 $\left\{(1, m), (-m, 1)\right\}$로 잡아봅시다. 그러면 $(1, m)$이 옮겨지는 점은 $(1, m)=1(1, m)+0(-m, 1)$이고, $(-m, 1)$이 옮겨지는 점은 $(m, -1)=0(1, m)+(-1)(-m, 1)$이므로, 이 선형변환을 나타내는 행렬은 $\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$입니다.

 

같은 변환인데도 순서기저(좌표)를 어떻게 잡느냐에 따라 선형변환의 행렬표현이 달라짐을 확인했습니다. 벡터공간 $\mathsf{V}$의 두 순서기저$\beta$, $\beta'$와 벡터 $x \in \mathsf{V}$, 선형변환 $\mathsf{T}: \mathsf{V} \rightarrow \mathsf{V}$에 대하여

  1. $[x]_{\beta}$와 $[x]_{\beta'}$가 어떤 관계가 있는지
  2. $[\mathsf{T}]_{\beta}$와 $[\mathsf{T}]_{\beta'}$가 어떤 관계가 있는지

이 두 가지를 확인하는 것이 이번 시간의 목표입니다.

 

 

위 다이어그램에는 이번 시간에 다룰 모든 내용이 들어있습니다.

 

(1-23)

$Q=\left[ \mathsf{I_V} \right]_{\beta'}^{\beta}$라 하자. 그러면 $[v]_{\beta} = Q [v]_{\beta'}$이고, $Q$는 가역이다.


$[v]_{\beta} = [\mathsf{I}(v)]_{\beta} = \left[ \mathsf{I_V} \right]_{\beta'}^{\beta} [v]_{\beta'}$이므로 $[v]_{\beta} = Q [v]_{\beta'}$이고, $\mathsf{I_V}$가 가역이므로 (1-21)에 의해 $Q$는 가역입니다. $Q=\left[ \mathsf{I_V} \right]_{\beta'}^{\beta}$는 좌표변환 행렬이라고 부르며, $Q$는 $\beta'$ 좌표를 $\beta$ 좌표로 옮깁니다.

여기서 퀴즈 나갑니다! $\beta = \left\{ v_1, v_2, \cdots, v_n \right\}$, $\beta' = \left\{ v_1', v_2', \cdots, v_n' \right\}$라 하면

  1. $v_j = \displaystyle \sum _{i=1}^{n}Q_{ij}v_i'$일까요,
  2. $v_j' = \displaystyle \sum _{i=1}^{n}Q_{ij}v_i$일까요?

정답은 2번입니다. $Q$가 $\beta'$ 좌표를 $\beta$ 좌표로 옮긴다는 설명 때문에 $x_j$가 $Q_{ij}x_i'$의 합으로 나타내어지는 1번으로 착각하기 쉽습니다. 하지만 $v=v_j'$로 놓으면 $[v]_{\beta} = Q [v]_{\beta'} = Q e_j$이고, 따라서 $$v=v_j'=\displaystyle \sum_{i=1}^{n} \left( [v]_{\beta} \right)_iv_i = \sum_{i=1}^{n} \left( Q e_j \right)_iv_i = \sum_{i=1}^{n} Q_{ij} v_i$$입니다.

 

$y=mx$에 대한 대칭이동을 예로 들어보면, $\beta = \left\{ (1, 0), (0, 1) \right\}$, $\beta' = \left\{(1, m), (-m, 1) \right\}$로 두면 $(1, m) = 1(1, 0)+m(0, 1)$, $(-m, 1)=(-m)(1, 0)+1(1, 0)$이므로 $Q=\begin{pmatrix} 1 & -m \\ m & 1 \end{pmatrix}$입니다.

 

이제 $[\mathsf{T}]_{\beta}$와 $[\mathsf{T}]_{\beta'}$의 관계를 살펴봅시다. 위 다이어그램으로부터 다음과 같은 관게식을 유추할 수 있습니다.

 

(1-24)

유한차원 벡터공간 $\mathsf{V}$에서 $\mathsf{V}$로 가는 선형변환 $\mathsf{T}$를 생각하자. $\mathsf{V}$의 두 기저 $\beta$, $\beta'$에 대하여 $\beta'$ 좌표를 $\beta$ 좌표로 변환하는 행렬 $Q$에 대하여 $[\mathsf{T}]_{\beta'} = Q^{-1} [\mathsf{T}]_{\beta} Q$이다.


$\mathsf{T}=\mathsf{TI_V}=\mathsf{I_VT}$이고, $[\mathsf{T}]_{\beta'}^{\beta} = [\mathsf{T}]_{\beta}[\mathsf{I_V}]_{\beta'}^{\beta} = [\mathsf{I_V}]_{\beta'}^{\beta} [\mathsf{T}]_{\beta'}$입니다. 따라서 $Q=[\mathsf{I_V}]_{\beta'}^{\beta}$이므로 $[\mathsf{T}]_{\beta}Q = Q [\mathsf{T}]_{\beta'}$에서 $[\mathsf{T}]_{\beta'} = Q^{-1} [\mathsf{T}]_{\beta} Q$를 얻습니다.

 

다시 $y=mx$에 대한 대칭변환을 생각해봅시다. $Q = \begin{pmatrix} 1 & -m \\ m & 1 \end{pmatrix}$이고, $Q^{-1} = \dfrac{1}{m^2+1} \begin{pmatrix} 1 & m \\ -m & 1 \end{pmatrix}$이므로

$$\begin{aligned} \, [ \mathsf{T} ]_{\beta'} & = Q^{-1} [\mathsf{T}]_{\beta} Q \\ & = \dfrac{1}{m^2+1} \begin{pmatrix} 1 & m \\ -m & 1 \end{pmatrix} \dfrac{1}{m^2+1} \begin{pmatrix} 1-m^2 & 2m \\ 2m & m^2-1 \end{pmatrix} \begin{pmatrix} 1 & -m \\ m & 1 \end{pmatrix} \\ & = \dfrac{1}{(m^2+1)^2} \begin{pmatrix} 1 & m \\ -m & 1 \end{pmatrix} \begin{pmatrix} 1+m^2 & m+m^3 \\ m+m^3 & -1-m^2 \end{pmatrix} \\ & = \dfrac{1}{(m^2+1)^2} \begin{pmatrix} 1+2m^2+m^4 & 0 \\ 0 & -1-2m^2-m^4 \end{pmatrix} \\ & = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \end{aligned}$$

이 나옵니다.

 

마지막으로 행렬의 닮음이라는 개념을 소개하고 글을 마치겠습니다.

 

(1-19)

정사각행렬 $A$, $B$에 대하여 $B = Q^{-1}AQ$인 가역행렬 $Q$가 존재하면 $A$와 $B$는 닮음이라고 한다.


 

다음 글 보러 가기

'교양(학문의 기초) > 공학수학' 카테고리의 다른 글

1. 선형대수학의 기초_(10) 기본행렬  (0) 2022.07.30
1. 선형대수학의 기초_(9) 행렬의 랭크  (0) 2022.07.29
1. 선형대수학의 기초_(7) 선형변환의 역변환  (0) 2022.07.25
1. 선형대수학의 기초_(6) 행렬표현  (0) 2022.07.24
2. ODE의 기초_(0) OT(생각보다 중요)  (0) 2022.07.24

티스토리툴바