선형대수 - 선형조합
🔖선형결합(Linear Combination)
🤏🏻 열벡터와 행벡터의 곱에 의한 행렬 곱의 표현
m×n 행렬 A와 n×p 행령 B의 곱은 A의 열벡터(column vector) ai와 B의 행백터(row vector) bjT 의 곱으로 다음과 같이 표현 할 수 있다.
AB=aab1T+a2b2T+⋯+anbnT
여기서 행렬 A와 B는 다음과 같이 각각 열벡터와 행벡터로 분할 하여 표현한 것이다.
A=[a1a2…an],⎣⎢⎢⎢⎢⎡b1Tb2T⋮bnT⎦⎥⎥⎥⎥⎤
📌행렬을 구조적으로 보기
행렬을 구조적으로 바라보는 가장 효과적인 방법은 다음과 같다.
행렬은 열벡터(column vector)의 리스트 이다.
A=⎣⎢⎢⎢⎢⎢⎢⎢⎡a11a11⋮⋮am1a12a12⋮⋮am2…⋮…a1na1n⋮⋮amn⎦⎥⎥⎥⎥⎥⎥⎥⎤=[v1v2…vn]
여기서 vi는 행렬 A의 i-번째 열벡터이다. 특히, 각 열벡터는 m-벡터이기 때문에, m×n 행렬은 m-(차원)벡터가 n개 있다고 해석하면 된다.
📌행렬@벡터 연산을 구조적으로 보기
이제, Ax는 다음과 같이 구조적으로 볼 수 있다.
Ax는 행렬 A가 가지고 있는 열벡터의 선형결합이다.
Ax=⎣⎢⎢⎢⎢⎢⎢⎢⎡a11a21⋮⋮am1a12a22⋮⋮am2⋯⋯⋯a1na2n⋮⋮amn⎦⎥⎥⎥⎥⎥⎥⎥⎤⎣⎢⎢⎢⎢⎡x1x2⋮xn⎦⎥⎥⎥⎥⎤=[a1a2⋯an]⎣⎢⎢⎢⎢⎡x1x2⋮xn⎦⎥⎥⎥⎥⎤=x1a1+x2a2+⋯+xnan
x1a1+x2a2+⋯+xnan 을 자세히 살펴보면 다음과 같다. x1가중치와 a1 열벡터를 곱한다. 이말은 스칼라배 곱하기 벡터와 같은 말이다. 즉, 선형대수에서는 이처럼 벡터들(열벡터)에 대한 가중치 합을 특히 선형결합(Linear Combination)이라고 부른다.
📌선형결합(Linear Combination)
⎣⎢⎢⎢⎢⎢⎢⎢⎡a11a21⋮⋮am1a12a22⋮⋮am2⋯⋯⋯a1na2n⋮⋮amn⎦⎥⎥⎥⎥⎥⎥⎥⎤⎣⎢⎢⎢⎢⎡x1x2⋮xn⎦⎥⎥⎥⎥⎤=x1⎣⎢⎢⎢⎢⎢⎢⎢⎡a11a21⋮⋮am1⎦⎥⎥⎥⎥⎥⎥⎥⎤+⋯+xn⎣⎢⎢⎢⎢⎢⎢⎢⎡a1na2n⋮⋮amn⎦⎥⎥⎥⎥⎥⎥⎥⎤
Ax의 결과는 행렬 A가 가지고 있는 열벡터의 선형 결합으로만 한계가 지어진다.
즉, Ax의 값이 아무리 복잡하더라도 가중치 합(weighted sum)에 의해 정해진다.
📌선형 시스템 Ax=b를 선형결합 관점에서 바라보기
예를 들어, 다음 시스템을 푼다고 가정하자.
⎣⎢⎡−1123212−3−2⎦⎥⎤⎣⎢⎡x1x2x3⎦⎥⎤=⎣⎢⎡1−9−3⎦⎥⎤
(좌항) 선형 조합으로 해석한 Ax
x1⎣⎢⎡−112⎦⎥⎤+x2⎣⎢⎡321⎦⎥⎤+x3⎣⎢⎡2−3−2⎦⎥⎤x1⎣⎢⎡−112⎦⎥⎤+x2⎣⎢⎡321⎦⎥⎤+x3⎣⎢⎡2−3−2⎦⎥⎤
아무리 복잡하게 적어도 A가 갖고 있는 열벡터를 조합해서 만들어 진 값들이다.
(우항) b
⎣⎢⎡1−9−3⎦⎥⎤
그렇지만, 우항은 우리가 원하는 값이 이다. 위 선형시스템이 성립하기 위해서는 가중치의 합(좌항)으로 우항을 만들어 내야한다. 만들어 내지 못하면 불능인 것이다.
정리
행렬 A의 가중치 합으로 선형조합 할 때 벡터 b를 만들 수 있는 가중치 조합이 존재 한다면, 선형 시스템 Ax=n의 해는 존재한다. 그 해는 가중치 xi 들로 구성된 x이다.
예제#1
⎣⎢⎡−1123212−3−2⎦⎥⎤⎣⎢⎡x1x2x3⎦⎥⎤=⎣⎢⎡1−9−3⎦⎥⎤
위 선형시스템의 문제의 해(solution)은 x=⎣⎢⎡2−13⎦⎥⎤ 이다. 선형 조합을 통해 확인해보면 다음과 같다.
(좌항) 선형조합으로 해석한 Ax
(2) ⎣⎢⎡−112⎦⎥⎤+(−1)⎣⎢⎡321⎦⎥⎤+(3)⎣⎢⎡2−3−2⎦⎥⎤
(우항) b
⎣⎢⎡1−9−3⎦⎥⎤
즉, 주어진 행렬 A의 열벡터들을 좌항으로 조합(2, -1, 3) 했을 때, b라는 벡터를 만들어 낼 수 있다. 즉, 조합 수(=가중치 조합)를 만들어 낸 것이다.
🎳Column Space(열공간)
행렬 A의 열벡터들에 대한 가능한 모든 선형결합(조합)의 결과를 모다 집합으로 구성 할 수 있을 것이다. 이들의 집합을 column space(열공간)이라고 하고 다음과 같이 표기한다.
Consistent Linear System
선형 시스템 Ax=b가 해를 가지면(consistent), 다음을 만족한다.
b∈col(A)
Inconsistent Linear System
선형 시스템 Ax=b가 해가 없으면(inconsistent), 다음을 만족한다.
b∈/col(A)
예제#1
아래의 행렬 A의 col(A)는 3-차원 공간이다.
A=⎣⎢⎡−1123212−3−2⎦⎥⎤
따라서, 어떤 3-벡터 b를 이용해 선형시스템 Ax=b를 구성한다고 하더라도, 해당 선형시스템의 해는 존재한다.
예제#2
아래의 행렬 A의 col(A)는 xy-평면이다.
A=⎣⎢⎡−1103202−30⎦⎥⎤
따라서, xy-평면 상의 3-벡터 b를 이용해 선형시스템 Ax=b를 구성하면, 해당 선형시스템의 해는 존재한다.
그러나, xy-평면을 벗어난 3-벡터 b를 이용해 선형시스템 Ax=b를 구성하면, 해당 선형시스템의 해는 존재하지 않는다.