Hệ phương trình tuyến tính

Trong toán học (cụ thể là trong đại số tuyến tính), một hệ phương trình đại số tuyến tính hay đơn giản là hệ phương trình tuyến tính là một tập hợp các phương trình tuyến tính với cùng những biến số. Ví dụ:

là hệ gồm ba phương trình với ba biến số , , . Một nghiệm của hệ là một hệ thống tuyến tính thỏa mãn các phương trình đã cho. Một nghiệm của hệ trên là 

nó làm cho ba phương trình ban đầu thỏa mãn.

Ví dụ cơ bản 
Một dạng phương trình tuyến tính đơn giản nhất là hệ gồm hai phương trình với hai ẩn:

Một phương pháp giải cho hệ trên là phương pháp thế. Trước hết, biến đổi phương trình đầu tiên để được phương trình tính ẩn  theo :

Sau đó thế hệ thức này vào phương trình dưới:

Ta được một phương trình bật nhất theo . Giải ra, ta được , và tính lại  được .

Hình thức tổng quát 

Hệ phương trình trên có thể được viết theo dạng phương trình ma trận:
Ax=b
Với A là ma trận chứa các hệ số ai, j (ai, j là phần tử ở hàng thứ i, cột thứ j của A); x là vector chứa các biến xj; b là vector chứa các hằng số bi. Tức là:
 

Nếu các biến số của hệ phương trình tuyến tính nằm trong các trường đại số vô hạn (ví dụ số thực hay số phức), thì chỉ có ba trường hợp xảy ra:
 hệ không có nghiệm (vô nghiệm)
 hệ có duy nhất một nghiệm
 hệ có vô số nghiệm

Hệ phương trình tuyến tính có thể thấy trong nhiều ứng dụng trong khoa học.

Điều kiện có nghiệm trong trường hợp tổng quát 
Trong trường hợp tổng quát, ta xét các ma trận hệ số A và ma trận hệ số bổ sung thêm cột các số hạng ở vế phải A' .
 ;  

Khi đó hệ có nghiệm khi và chỉ khi hạng của hai ma trận này bằng nhau.
.

Chi tiết hơn ta có:
 Nếu  thì hệ vô nghiệm
 Nếu  hệ có nghiệm và
 Nếu  hệ có nghiệm duy nhất
 Nếu  hệ có vô số nghiệm phụ thuộc vào k-r ẩn tự do.

(không xảy ra trường hợp  hay )

 Ví dụ:
 Hệ 
 có nghiệm duy nhất ;

 Hệ

có vô số nghiệm phụ thuộc một ẩn tự do z:

 Hệ
 
vô nghiệm.

Các trường hợp đặc biệt 
 Nếu k bằng n, và ma trận A là khả nghịch (hay định thức của ma trận A khác không) thì hệ có nghiệm duy nhất:
x = A−1 b
với A−1 là ma trận nghịch đảo của A.
 Nếu b=0 (mọi bi bằng 0), hệ được gọi là hệ thuần nhất. Tập tất cả các nghiệm của một hệ phương trình thuần nhất lập thành một không gian vecter con của , nó được gọi là hạt nhân của ma trận A, viết là Ker(A).(Cũng là hạt nhân của phép biến đổi tuyến tính xác định bởi ma trận A). Nếu hệ phương trình tuyến tính thuần nhất có k=n và ma trận A khả nghịch thì nó có nghiệm duy nhất là nghiệm không.

Các phương pháp giải 
Dưới đây liệt kê vài phương pháp tìm nghiệm của hệ phương trình tuyến tính:
 Phép khử Gauss
 Phép phân rã Cholesky
 Phép đệ quy Levinson 
 Phép đệ quy Schur
 Phép phân rã giá trị dị thường

Xem thêm 
 Phương trình tuyến tính
 Hệ phương trình
 Phương trình ma trận
 Ma trận nghịch đảo

Tham khảo

Liên kết ngoài 
  Simultaneous Linear Equations Solver

Đại số tuyến tính
Phương trình