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

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

Hệ phương trình tuyến tính (hay system of linear equations, система линейных уравнений) là một tập các phương trình dạng

(2.3)¶\[\begin{split}\left\{ \begin{array}{ccc} a_{11} x_1 + a_{12} x_2 + \cdots + a_{1n} x_n & = & b_1 \\ a_{21} x_2 + a_{22} x_2 + \cdots + a_{2n} x_n & = & b_2 \\ \vdots & = & \vdots \\ a_{m1} x_1 + a_{m2} x_2 + \cdots + a_{mn} x_n & = & b_m \end{array} \right.\end{split}\]

Cụ thể hơn, nếu ta xét hệ trên một trường số nào đó (chẳng hạn \(\mathbb{R}\), \(\mathbb{C}\)) thì các hệ số \(a_{ij}\) và \(b_i\) sẽ thuộc vào trường đó, \(1 \leqslant i \leqslant m\), \(1 \leqslant j \leqslant n\).

Xét hệ (2.3) trên trường \(\mathbb{F}\). Nghiệm (hay solution, решение) của hệ là bộ \((\alpha_1, \alpha_2, \ldots, \alpha_n) \in \mathbb{F}^n\) thỏa mãn

\[\begin{split}\left\{ \begin{array}{ccc} a_{11} \alpha_1 + a_{12} \alpha_2 + \cdots + a_{1n} \alpha_n & = & b_1 \\ a_{21} \alpha_1 + a_{22} \alpha_2 + \cdots + a_{2n} \alpha_n & = & b_2 \\ \vdots & = & \vdots \\ a_{m1} \alpha_1 + a_{m2} \alpha_2 + \cdots + a_{mn} \alpha_n & = & b_n \end{array} \right.\end{split}\]

Tập nghiệm của hệ (2.3) là tập hợp tất cả bộ số \((\alpha_1, \alpha_2, \ldots, \alpha_n) \in \mathbb{F}^n\) thỏa mãn hệ phương trình.

Hai hệ phương trình được gọi là tương đương (hay equivalent, эквивалентны) nếu chúng có cùng tập nghiệm.

Tiếp theo chúng ta sẽ viết ma trận hệ số trước \(x_i\) là \(\bm{A}\) và cột hệ số tự do là \(\bm{b}\):

\[\begin{split}\bm{A} = \begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \\ \end{pmatrix}, \quad \bm{b} = \begin{pmatrix} b_1 \\ b_2 \\ \vdots \\ b_n \end{pmatrix}.\end{split}\]

Ngoài ra ta cũng định nghĩa ma trận hệ số mở rộng bằng việc ghép thêm cột hệ số tự do vào sau ma trận \(\bm{A}\):

\[\begin{split}\begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} & b_1 \\ a_{21} & a_{22} & \cdots & a_{2n} & b_2 \\ \vdots & \vdots & \ddots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} & b_m \\ \end{pmatrix}.\end{split}\]

Phép biến đổi dòng (row operation) biến đổi một ma trận \(m \times n\) thành một ma trận cùng cỡ và thuộc một trong các dạng sau

Đổi vị trí hai dòng.
Nhân tất cả phần tử của một dòng bất kì với phần tử khác không.
Nhân một dòng với một phần tử bất kì và cộng kết quả vào dòng khác. Dòng đầu giữ nguyên, dòng sau nhận kết quả là giá trị vừa tính được.

Hai ma trận được gọi là tương đương dòng (hay row-equivalent) nếu có một dãy các phép biến đổi dòng biến ma trận này thành ma trận kia.

Nếu hai ma trận hệ số mở rộng \(\bm{A}\) và \(\bm{B}\) tương đương dòng với nhau (qua các phép biến đổi dòng) thì hai hệ phương trình tuyến tính tương ứng tương đương với nhau.