A System of Linear Equations
Definition 1. The system of equations a11x1+⋯+a1nxn=b1⋮am1x1+⋯+amnxn=bm, where aij,bi∈F and xj are n variables taking value in F, is called a system of m linear equations in n unknowns over F.
번역하면 선형 연립방정식이며, A=(a11⋯a1n⋮⋱⋮am1⋯amn), x=(x1⋮xn), b=(b1⋮bm)으로 두면 위와 같은 연립방정식을 Ax=b로 간단하게 표현할 수 있다.
Consistent
Definition 2.
(1) A solution to Ax=b is s=(s1⋮sn)∈Fn such that As=b.
(2) The set of all solution to Ax=b is called the solution set of Ax=b.
(3) Ax=b is called consistent if the solution set is nonempty. Otherwise, it is called inconsistent.
consistent는 '~와 일치하는'이라는 뜻을 가지고 있다. 만일 미지수가 2개인 경우에 각 방정식은 기하적으로 2차원 평면 상의 직선을 나타낸다. 이때 연립방정식의 해는 모든 방정식을 만족시키는 해이고, 이 해는 기하적으로 모든 직선이 교차하는 점을 의미한다. 따라서 연립방정식의 해가 존재한다면 그 해는 주어진 방정식들이 나타내는 직선들이 모두 교차하는 한 점, 혹은 영역을 의미하므로 consistent라는 네이밍은 직관적이다.
Theorem 1
Theorem 1. Let K be the solution set of a system of linear equations Ax=b, and let KH be the solution set of the corresponding homogeneous system Ax=0.
Then ∀s∈K, K={s}+KH.
Proof. Fix s∈K. ∀l∈K,Al=b=As⟹A(l−s)=0. Then l−s∈KH⟹∃p∈KH such that l−s=p⟹l=s+p∈{s}+KH.
∀q∈{s}+KH,q=s+h for some h∈KH. Then Aq=A(s+h)=As+Ah=b⟹q∈K. Thus K={s}+KH. ◼
Theorem 2
Theorem 2. Let Ax=b be a system of linear equations. Then the system is consistent ⟺ rank(A) = rank(A|b).
Proof. Assume that ∃s∈K where K is the solution set of Ax=b. Denote s=(s1⋮sn). Since As=b, we have n∑i=1si[A]i=b⟺<{[A]1,...,[A]n}>=<{[A]1,...,[A]n,b}>⟺rank(A)=rank(A|b).◼