1. 선형 종속과 선형 독립
벡터의 선형 종속과 선형 독립
•
선형조합이 0벡터가 되는 경우로 선형 독립과 선형 종속을 판단함
•
선형 독립(linearly independent): 위 식을 만족하는 모두 0이 아닌 스칼라값 이 존재하지 않는 경우 그 벡터들이 선형 독립임
◦
즉, 선형조합이 영벡터가 되려면 모든 스칼라가 0이어야 한다는 의미
•
선형 종속(linearly dependent): 위 식을 만족하는 모두 0이 아닌 스칼라값 이 존재할 경우 그 벡터들이 선형 종속임
◦
스칼라와 벡터를 잘 조합하면 을 만들 수 있는 특수한 경우임
선형독립과 선형연립방정식
•
matrix와 vector의 곱은 다음의 두 가지 방법으로 생각해 볼 수 있음
(1) inner product를 여러개 모아서 표현
(2) 선형조합을 모아서 표현
•
여기서 (2)의 관점으로 보면, 선형조합을 알아내는 문제는 선형 연립방정식을 푸는 문제와 같음
◦
: 가중치 스칼라 값 가 모인 가중치 벡터
◦
: 열벡터 가 모인 행렬
•
$X$행렬의 역행렬이 존재하면 0벡터가 유일한 해이므로 선형독립
•
행렬에 0벡터가 아닌 해 가 존재하면 선형 종속
랭크
•
열 랭크(column rank): 행렬의 열벡터 중 서로 독립인 벡터의 최대 갯수
•
행 랭크(row rank): 행렬의 행 벡터 중 서로 독립인 벡터의 최대 갯수
•
행 랭크와 열 랭크는 항상 같음
벡터 공간과 기저 벡터
•
벡터 공간(vector space): 서로 독립인 벡터를 선형 조합하여 만들어지는 모든 벡터의 집합
•
기저 벡터(basis vector): 벡터 공간을 만드는 서로 독립인 벡터 (선형종속인 벡터는 기저 벡터가 될 수 없음)
◦
표준 기저 벡터(standard basis vector): 기저 벡터 중 원소의 하나만 값이 1인 벡터 (단위행렬 를 이루는 벡터들)
2. 좌표 변환(coordinate transform)
좌표 표현
•
좌표표현(coordinate representation) 또는 좌표(coordinate): 기저벡터를 선형 조합하여 해당 벡터를 나타냈을 때 선형 조합 가중치
•
위와 같이 기저 벡터 를 선형 조합하여 벡터 를 나타낼 경우 벡터 를 벡터 의 기저벡터 에 대한 좌표라고 함
•
표준 기저 벡터에 대한 좌표는 원래 벡터와 같음
변환 행렬
•
기저벡터를 바꾸면 벡터의 coordinate이 어떻게 바뀌는가를 계산하기 위한 행렬
•
변환 행렬(transform matrix, 로 표기):
◦
행렬 : 새로운 기저 벡터의 (기존 기저 벡터에 대한) 좌표를 열벡터로 두고 행렬로 묶은 것
◦
기존 기저벡터()와 새로운 기저 벡터()의 관계가 위와 같을 때 새로운 기저벡터의 좌표와 행렬
좌표 변환
•
좌표 변환(coordinate transform): 새로운 기저 벡터에 대해 좌표를 계산하는 것
•
좌표 변환은 행렬의 곱셈으로 구할 수 있음
•
벡터 의 기존 기저벡터()에 대한 좌표 를 새로운 기저 벡터()에 대한 좌표 로 변환하기
◦
기존 기저벡터에 대한 좌표값과 새로운 기저벡터에 대한 좌표값이 가리키는 실제 위치는 같아야 함
◦
이 식에서 가 새로운 기저 벡터에 대한 좌표임
◦
이 때, 는 역행렬이 존재하므로 다음과 같이 새로운 좌표계를 계산 가능
•
좌표 변환 예제
◦
벡터 의 표준 기저 벡터에 대한 좌표:
◦
새로운 기저 벡터의 (표준 기저 벡터에 대한) 좌표:
◦
이 때, 새로운 기저 벡터에 대한 벡터 의 좌표는?
참고 자료