본문 바로가기

Mathematics/선형대수학

(선형대수학) 5-3. 역행렬 존재성에 대한 조건을 정리해보자(1) 역행렬이 존재할 조건 (즉, 역행렬이 존재한다와 "동치"인 명제들)을 정리합니다! 여기선 "정사각행렬(n by n)"인 경우만 생각합니다. (일단 길쭉한 것들은 정확한 "역행렬"의 의미가 아니므로) 행렬 A(n by n)에 대해서 역행렬이 존재한다는 것은 1. A가 Invertible하다! (이 말 자체가 역행렬이 존재한다는 뜻입니다.) 2. A의 Columns / Rows 가 모두 Linearly Independent 3. A의 Column / Row Space의 차원(Dimension) = n 4. A의 rank -> rank(A) = n (Full-rank) 5. A의 Pivot에 0이 존재하지 않는다. 6. A의 Reduced Form (혹은 Echelon Form)에 [0,0,0,...0]으로 .. 더보기
(선형대수학) 5-2. Rank와 역행렬(Left / Right / Two-sided Inverse) (참고링크) (선형대수학) 2-2. 가우스-조던 소거법 -> 역행렬의 존재성과 L(D)U Factorization: https://0418cshyun.tistory.com/146 (선형대수학) 2-2. 가우스-조던 소거법 -> 역행렬의 존재성과 L(D)U Factorization 지난 시간에는 가우스-조던 소거법에 대해서 살펴보았는데, 못 짚었던 내용들을 보자. 1. 역행렬의 존재 조건 => 만일 위 과정에서 Pivot에 0이 포함된다면... => 대각성분을 1로 만들어 줄 수 없다!!! 0418cshyun.tistory.com 이번시간에는 Rank와 역행렬 사이의 관계를 알아보도록 한다. 이미 가우스-조던 소거법에서 보았듯이 결론은 -> Full-rank인 경우만, 역행렬이 존재한다!!! 깊게 접근하기.. 더보기
(선형대수학) 5-1. 계속 나오는 Rank! -> 정의(Definition) 이번 시간에는 행렬의 Rank에 대한 내용이다. 행렬에서 Rank는 아주 중요한 개념이고, 계속 등장하므로 꼭 알아두자!!! (2-1 -> 가우스-조던 소거법) : https://0418cshyun.tistory.com/145 으로 다시 돌아가보자! 다음과 같은 정사각행렬이 아닌 경우의 예시가 있었다. 1. Echelon Form => 정사각행렬에서의 Upper Triangle을 뜻한다. => 정사각행렬이 아닌 경우에는 계단모양("Staircase") 행렬을 말한다! 2. Reduced Form => LU Decomposition -> LDU Decomposition으로 올 때, Triangle Matrix의 대각성분(0은 빼고)을 모두 1로 만들어 주었다. => 이런식으로 대각성분을 모두 1로 바꿔준 .. 더보기
(선형대수학) 4-3. Span, Basis, Dimension 이번시간엔 저번시간에 잠깐 보고 패스했던, Span, Basis, Dimension등의 용어에 대해서 알아보자. 1. Span Span이라는 말은 바로 "늘리다" 인데, 이를 수학적으로 정의내려보자. 즉, 어떤 벡터들(v_1,v_2,...)이 벡터공간 V로 Span된다라는 말은 (V에 있는 어느 벡터)라도 (v_1,v_2,...)의 선형결합으로 나타낼 수 있다는 말이다. ex) Column space of A -> A의 Column Vector들이 Span된 공간! 2. Basis(기저) Basis라는 말을 많이 들어보았을텐데, 선형대수학(행렬)에서 Basis의 뜻이 무엇인지 살펴보자. 즉, 벡터공간 V의 Basis는 1. Basis끼리는 모두 linearly independent 2. Basis가 V로.. 더보기
(선형대수학) 4-2. Ax=b 풀어봅시다! (선형사상과 일반해, 특수해) *본 내용은 선형미분방정식에도 그대로 적용이 될 수 있습니다!! (참고링크) -> 선형사상과 행렬표현이 동일하다는 내용을 꼭 보고 옵시다!!! 미적분학 내용 몰라도 이해는 가능합니다! (미적분학) 6-2. 이상하게 계속 보이는 선형사상 개념(Linear Mapping, Matrix): https://0418cshyun.tistory.com/12 (미적분학) 6-2. 이상하게 계속 보이는 선형사상 개념(Linear Mapping, Matrix) 일단 사상(Mapping)이란 무엇인지 알아보자. (Mapping) 간단히 말해 어떤 값을 다른 값에 대응시키는 것을 말한다. (값이 굳이 수일 필요는 없다(ex. 함수를 대응시킬수도...)) 함수(function)하고 비슷한 0418cshyun.tistory.co.. 더보기
(선형대수학) 4-1. 여러가지 Subspace (Column / Row / Null / Left Null Space) 이번 챕터에서는 조금 더 DEEP한 행렬의 논의를 위해 Column Space, Row Space, Null Space 등의 개념들을 보도록 하자. 먼저, Subspace(부분공간)이라는 개념을 알고 가자. 물론, 추상대수학으로 가면, 더 포괄적인 정의가 있지만, 여기서는 "벡터공간"에서의 관점으로 접근한다. (벡터공간의 부분공간(Subspace of a vector space)) 그냥, 부분집합처럼 생각하면 되지만, 이 부분공간 또한 벡터공간이어야 한다는 조건이 있다. 그럼, 이제 행렬로 들어가서, 위에 나온 용어들을 정리해보자. (각 벡터의 모양에 주의하자!!!) (각 Space가 Subspace인지는 다 같이 맨 마지막에 살펴본다.) 1. (Column Space of A) -> 말 그대로, A의 .. 더보기
(선형대수학) 3. 벡터공간과 선형결합과 역행렬 (Vector Space, Linear Combination) 이번 시간에는 선형대수학에서 아주아주 중요한 개념인 Linear Combination(선형결합)에 대해서 알아보도록 하자. (참고링크) (미적분학) 7-1. 역행렬을 위한 선형대수 기본 지식 (Linear Combination / Independence): https://0418cshyun.tistory.com/15 (미적분학) 7-1. 역행렬을 위한 선형대수 기본 지식 (Linear Combination / Independence) (Note) 이번 챕터는 행렬의 기본적인 성질을 알고 있다는 가정 하에 작성하였습니다. 저번 챕터에서는 선형사상과 행렬 사이의 관계에 대해서 알아보았는데, 이번에는 조금 더 선형대수학 쪽으로 0418cshyun.tistory.com 가장 먼저, 벡터(Vector)가 무엇인지.. 더보기
(선형대수학) 2-2. 가우스-조던 소거법 -> 역행렬의 존재성과 L(D)U Factorization 지난 시간에는 가우스-조던 소거법에 대해서 살펴보았는데, 못 짚었던 내용들을 보자. 1. 역행렬의 존재 조건 => 만일 위 과정에서 Pivot에 0이 포함된다면... => 대각성분을 1로 만들어 줄 수 없다!!! => 이 말은 사실, 하나의 줄이 다 0을 가지고 있다는 말이다!!! -> 우변에 해당하는 줄이 0(혹은 [0, 0, ... , 0])이 아닌 이상, 이 문제를 해결할 수 없다. 즉, 해가 존재하지 않으므로 역행렬도 없다! (NOTE) 그렇다면, 만약에 우변에 해당하는 줄이 0이라면...?? -> 우리가 가지고 있는 행렬에서 그 줄을 빼도 된다는 말과 동일하다! -> 어차피 0=0이니, 아무 의미 없는 row이다! -> 즉, 이런 식으로 그냥 행렬을 줄여줄 수 있다!! (NOTE) 이런 식으로,.. 더보기