Processing math: 100%
본문 바로가기
선형대수(Gilbert Strang)

Lecture 8: Solving Ax = b: row reduced form R

by 지식광부키우기 2019. 11. 26.

 

Ax=b

 

x1+2x2+2x3+2x4=b1 

2x1+4x2+6x3+8x4=b2 

3x1+6x2+8x3+10x4=b3

 

Augmented matrix = [Ab]

 

[1222|b12468|b236810|b3]

 

-> [1222|b10024|b22b10024|b33b1]

 

-> [1222|b10024|b22b10000|b3b2b1]

 

pivot columns는 1과 3 column입니다. 

 

b3b2b1=0

 

해가 존재하기 위해서는 위 식을 만족해야합니다. 

 

위와 같은 식을 가해 조건 (solvability condition)이라 합니다. 

 

b=[156] 이면 가해 조건을 만족합니다. 

 

 

가해조건 (Solvability Condition)

 

b가 C(A)에 존재할 때 Ax=b의 해가 존재합니다.

 

행렬 A의 row의 선형결합이 zero row를 만든다면, b에 대한 같은 선형 결합도 반드시 0이 되어야합니다. 

 

 

Ax=x 완전해 구하기 

 

1. xparticular : free variables를 0으로 놓고, pivot variables에 대해 Ax=b를 계산합니다. 

 

2. xnullspace

 

3. (1 + 2) x=xp+xn

 

 

특수 해 (Particular Solution)

 

[1222|10024|30000|0]

 

free variable x2, x4를 0으로 놓습니다. 

 

x1+2x3=1 
            2x3=3

 

후방대입법을 적용합니다. 

 

x1=2 

x3=3/2

 

xp=[203/20]

 

 

Null Space Solution

 

xn=c1[2100]+c2[2021]

 

 

완전 해 (Complete Solution)

 

완전 해는 특수 해와 영 공간의 해를 더해주면 됩니다.

 

x=xp+xn

 

Axp=b

 

Axn=0

 

A(xp+xn)=b

 

xcomplete=[203/20]+c1[2100]+c2[2021]

 

특수 해는 상수가 곱해질 수 없습니다. 

 

b가 특정 값으로 정해져 있기 때문입니다. 

 

 

랭크 (Rank)와 해의 관계

 

m by n 행렬 A는 rank r을 갖고 있습니다. (rm, rn)

 

Full column rank (r=n)

 

Rank와 column의 개수가 같고 모든 col이 pivot을 갖고 있습니다. 

 

따라서 free variables가 없습니다.

 

free variable이 없으므로 N(A)는 영벡터뿐입니다. 

 

Ax=b의 해는 존재하지 않거나 또는 유일 해입니다. 

 

A=[13216151]

 

R=[10010000]

 

A를 R로 변환했습니다. 

 

Ax=b의 해는 x=xparticular입니다. 

 

 

Full row rank (r=m)

 

Ax=b는 모든 b에 대해 해가 존재합니다. 

 

A=[12653111]

 

R=[1001]

 

pivot, free variable이 2개씩 존재합니다. 

 

n - r (n - m) free variables

 

free variable이 2개 있기 때문에 항상 해가 존재하고 특수 해나 영 공간 해도 존재합니다.

 

 

Full row and column rank (r=m=n)

 

A=[1231]

 

R=[1001]

 

R=I

 

정방행렬이고 R은 단위 행렬과 같습니다. 

 

A는 역행렬을 가지고 유일해가 존재합니다. 

 

 

정리

 

1. r = m = n

 

R=I

 

Ax=b에 대해 1 solution만 존재합니다. 

 

 

2. r = m < n

 

R=[IF]

 

무한대의 해가 존재합니다.

 

 

3. r = n < m

 

R=[I0]

 

해가 아예 없거나 하나의 유일 해만 존재합니다.

 

 

4. r < m, r < n

 

R=[IR00]

 

해가 아예 없거나 무한대의 해가 존재합니다.  

댓글