[선형변환부터 동형사상까지] ch7. 가역인 선형변환
이전 읽을거리 : [선형변환부터 동형사상까지] ch6. 좌측 곱 변환
다음 읽을거리 : [선형변환부터 동형사상까지] ch8. 동형사상
본 포스팅은 '프리드버그 선형대수학(5판)'을 공부하며 작성하였습니다.
10. 가역인 선형변환
함수의 역함수에 대해서는 ch0. 함수에서 살펴보았다. 선형변환의 역함수에 대해 공부하기 전에 먼저 보고 오길 추천한다.
선형변환에 대하여 역함수의 정의를 또 적어보자.
정의) 벡터공간와 선형변환 를 생각하자. , 를 만족하는 함수 가 존재하면 선형변환 는 가역(invertible)이라고 한다. 유일한 함수 는 의 역함수(inverse)라고 하며 라고 표기한다.
ch0. 함수에서 살펴본, 역함수에 대한 사실을 나열하면 다음과 같다.
▶ 함수가 가역이기 위한 필요충분조건은 함수가 전단사인 것이다.
▶ 가역인 함수의 역함수는 유일하게 존재한다.
▶ 가역인 함수의 역함수는 가역이며, 함수의 역함수의 역함수는 원래 함수와 같다.
▶ 두 가역인 함수
추가적으로, 선형변환의 성질로부터 다음의 정리가 성립한다.
정리 10-1) 차원이 같은 유한차원 벡터공간와 선형변환 를 생각하자. 가 가역이기 위한 필요충분조건은 인 것이다.
proof)
선형변환의 역함수가 선형임은 아주 유용한 성질이다. 역함수가 선형임을 알아 낸 뒤에는, 역함수에 대해서도 선형변환에 대해 알아낸 모든 성질과 정의를 적용할 수 있다.
정리 10-2) 벡터공간와 가역인 선형변환 를 생각하자. 는 선형이다.
proof)
정리 0.4.1-3에 따라, 임의의 두 벡터
정리 1.1-1(ⅱ)에 따라
다음의 정리에 따르면 가역인 선형변환의 정의역과 공역은 차원이 같다. 이 정리는 가역인 선형변환이 존재하려면 정의역과 공역이 어떤 조건을 갖추어야 하는지에 대한 심오한 암시를 준다. 이러한 생각은 다음 포스팅에서 동형을 공부할 때 꽃을 피운다.
정리 10-3) 벡터공간와 가역인 선형변환 를 생각하자. 가 유한차원이기 위한 필요충분조건은 가 유한차원인 것이며, 이때 이다.
proof)
즉, 유한집합인
즉, 유한집합인
따라서 정의역과 공역의 차원이 같다.
10.1. 가역인 행렬
행렬에서도 가역을 정의할 수 있지만, 행렬은 근본적으로 함수와 달리 방향성이 없는 대상이다. 그렇기에 가역(可逆)을 정의하는 것이 부자연스럽게 느껴질 수도 있다. 이에 대하여, 필자는 선형변환의 가역과 행렬의 가역을 연관지어 생각하게 만드는 일종의 라이밍(rhyming)으로 생각한다. 우리는 선형변환과 행렬이 어떤 관계에 있는지 알고있다. 가역인 행렬을 잘 정의하면 가역인 선형변환과 보기 좋은 관계가 형성되며, 서로가 가역이기에 만족하는 성질을 유사하게 공유하게 된다. 그렇기에 어떤 행렬이 가역임을 '거꾸로 갈 수 있는 행렬' 따위가 아니라, 그 행렬에 대응하는 선형변환의 가역성과 연관지어 이해하는 것이 좋을 듯 하다. 2
가역인 행렬은 처음부터 정사각행렬로 정의하는 것이 보편적이다. 하지만 선형대수학을 공부해본 사람이라면 "정사각행렬이 아닌데 가역일 수는 없는것인가?" 하는 의문을 가져본 적이 있을 것이다. 이러한 질문에 대답하기 위하여 가역인 함수를 정의할 때와 비슷하게 출발하자. 3
정의)행렬 에 대하여 을 만족하는 행렬 를 의 왼쪽 역행렬(left inverse)이라 하며, 을 만족하는 행렬 를 의 오른쪽 역행렬(right inverse)이라 한다.
다음의 강력한 정리를 이용할 것이다. 아래의 정리가 없어도 행렬의 성질만으로 가역인 행렬이 정사각행렬임을 밝힐 수 있지만, 정말 길고 어려운 길이다. 굳이 고통스러운 방법을 알고싶다면 'Munkres. Analysis on manifold' 의 1장을 참고하시라.
정리 10.1-1) 행렬가 왼쪽 역행렬을 가지기 위한 필요충분조건은 가 왼쪽 역함수를 가지는 것이며, 가 오른쪽 역행렬을 가지기 위한 필요충분조건은 가 오른쪽 역함수를 가지는 것이다.
proof)
오른쪽 역행렬에 대한 명제도 비슷하게 증명할 수 있다.
위 정리의 증명과정으로부터 다음의 정리가 자명하다.
정리 10.1-2) (역행렬의 유일성) 어떤 행렬의 왼쪽 역행렬이 이기 위한 필요충분조건은 의 왼쪽 역함수가 인 것이며, 의 오른쪽 역행렬이 이기 위한 필요충분조건은 의 오른쪽 역함수가 인 것이다.
이제 역행렬에 대한 증명을 해결해버릴 준비가 다 되었다.
정리 10.1-3) 어떤 행렬에 대한 왼쪽 역행렬과 오른쪽 역행렬이 모두 존재한다면, 그 둘은 동일하며 유일하다. 이때 및 의 왼쪽 역행렬과 오른쪽 역행렬은 모두 정사각행렬이다.
proof)
행렬
위 정리에 따르면, 어떤 행렬에 왼쪽 역행렬과 오른쪽 역행렬이 모두 존재하는 상황 속에서 '역행렬'이라고 부를 수 있는 대상은 단 하나이다. 먼 길을 돌아왔지만 다음의 정의를 떳떳하게 할 수 있게 되었다.
정의)행렬 에 대하여 인 행렬 가 존재할 때, 는 가역(invertible)이라고 한다. 이때 의 왼쪽 역행렬이며 오른쪽 역행렬인 유일한 행렬 는 의 역행렬(inverse)이라 하며 라고 표기한다.
가역인 행렬을 가역행렬이라고 줄여 부를 수 있다.
가역행렬을 소개하는 널리 알려진 방법은, 별도의 설명 없이 위 정의를 냅다 던져주는 것이다. 그러므로 가역행렬을 처음 공부하는 사람은 왜 가역행렬이 반드시 정사각행렬이어야 하는지 알수가 없다. 하지만 우리는 잘 알고있다.
역행렬 존재 의의는 이제부터 역행렬을 사용하면서 직접 느끼면 된다.
10.2. 가역인 선형변환의 성질
다음의 정리에 따라 가역인 선형변환은 가역인 행렬과 매우 밀접한 관계가 있다.
정리 10.2-1) 유한차원 벡터공간의 각각의 순서기저 , 선형변환 를 생각하자. 가 가역이기 위한 필요충분조건은 가 가역인 것이며, 이때 이다. 4
위 정리는 벡터공간에서 순서기저를 어떻게 잡느냐에 무관하게 성립함을 기억하자.
proof)
정리 5.2-4에 따라
위 정리에서 정의역과 공역이 같은 벡터공간인 경우 마지막 결론이
다음의 따름정리는 유용하며 심지어 보기에도 좋다.
정리 10.2-2)행렬 를 생각하자. 가 가역이기 위한 필요충분조건은 가 가역인 것이며, 이때 이다.
proof)
정리 5.2-4에 따라
가역행렬은 가역인 선형변환과는 약간 다르게 다음의 강력한 정리가 하나 더 성립한다. 이는 행렬이 가역이기 위해 왼쪽 역행렬과 오른쪽 역행렬 모두를 가질 필요는 없다는 말이다.
정리 10.1-4) 정사각행렬가 가역이기 위한 필요충분조건은 왼쪽 역행렬 또는 오른쪽 역행렬을 갖는 것이다.
proof)
다음 포스팅은 드디어 본 시리즈의 마지막인 동형사상에 대한 것이다.
읽어주셔서 감사합니다.
이전 읽을거리 : [선형변환부터 동형사상까지] ch6. 좌측 곱 변환
다음 읽을거리 : [선형변환부터 동형사상까지] ch8. 동형사상
'수학 > 선형대수학' 카테고리의 다른 글
쌍대공간 (Dual Space) (9) | 2021.08.17 |
---|---|
[선형변환부터 동형사상까지] ch8. 동형사상 (2) | 2021.07.30 |
[선형변환부터 동형사상까지] ch6. 좌측 곱 변환 (6) | 2021.07.27 |
[선형변환부터 동형사상까지] ch5. 행렬 연산 (2) | 2021.07.27 |
[선형변환부터 동형사상까지] ch4. 선형변환의 합성과 행렬 곱 (0) | 2021.07.27 |
댓글