Đại số tuyến tính

e ba chiều, ba mặt phẳng này biểu diễn các nghiệm của phương trình tuyến tính, và giao tuyến của chúng biểu thị tập các nghiệm chung: trong trường hợp này là một điểm duy nhất. Đường màu xanh lam là nghiệm chung cho hai phương trình này.]]

Đại số tuyến tính là một nhánh của toán học liên quan đến các phương trình tuyến tính như:
a_1x_1+\cdots +a_nx_n=b,

ánh xạ tuyến tính như:

(x_1, \ldots, x_n) \mapsto a_1x_1+\ldots +a_nx_n,

và biểu diễn của chúng trong không gian vectơ và thông qua ma trận.

Đại số tuyến tính là trung tâm của hầu hết các lĩnh vực toán học. Ví dụ, đại số tuyến tính là cơ bản trong các bài thuyết trình hiện đại về hình học, bao gồm cả việc xác định các đối tượng cơ bản như đường thẳng, mặt phẳng và phép quay. Ngoài ra, giải tích hàm, một nhánh của giải tích toán học, về cơ bản có thể được xem là ứng dụng của đại số tuyến tính vào không gian của các hàm.

Đại số tuyến tính cũng được sử dụng trong hầu hết các ngành khoa học và lĩnh vực kỹ thuật, vì nó cho phép mô hình hóa nhiều hiện tượng tự nhiên và tính toán hiệu quả với các mô hình như vậy. Đối với các hệ thống phi tuyến, không thể được mô hình hóa bằng đại số tuyến tính, nó thường được sử dụng để xử lý các phép xấp xỉ bậc nhất, do thực tế là vi phân của một hàm đa biến tại một điểm là ánh xạ tuyến tính gần đúng nhất của hàm gần điểm đó.

Đại số tuyến tính được sử dụng nhiều trong toán học, như trong đại số đại cương, giải tích hàm, hình học giải tích... để giải các bài toán như phép quay trong không gian, nội suy bình phương nhỏ nhất, nghiệm của hệ phương trình vi phân, tìm đường tròn qua ba điểm... Nó cũng có vô vàn ứng dụng trong khoa học tự nhiên (vật lý, công nghệ...) và khoa học xã hội (kinh tế...), vì các mô hình phi tuyến tính hay gặp trong tự nhiên và xã hội thường có thể xấp xỉ bằng mô hình tuyến tính.

Lịch sử
Quy trình giải các phương trình tuyến tính đồng thời, ngày nay được gọi là phép khử Gauss xuất hiện trong văn bản toán học Trung Quốc cổ đại Chương 8: Mảng chữ nhật trong Cửu chương toán thuật. Việc sử dụng nó được minh họa trong 18 bài toán, với 2 đến 5 phương trình.

Hệ phương trình tuyến tính phát sinh ở châu Âu với sự ra đời năm 1637 hệ tọa độ trong hình học do René Descartes đưa ra. Thực tế, trong hình học mới này, ngày nay được gọi là hình học Descartes, các đường thẳng và mặt phẳng được biểu diễn bằng các phương trình tuyến tính, và việc tính toán các giao điểm của chúng biến thành việc giải các hệ phương trình tuyến tính.

Các phương pháp hệ thống đầu tiên để giải hệ thống tuyến tính sử dụng các định thức, được Leibniz xem xét lần đầu tiên vào năm 1693. Năm 1750, Gabriel Cramer sử dụng chúng để đưa ra các giải pháp rõ ràng của hệ thống tuyến tính, ngày nay được gọi là quy tắc Cramer. Sau đó, Gauss mô tả thêm phương pháp loại trừ, phương pháp này ban đầu được coi là một tiến bộ trong ngành trắc địa.

Năm 1844, Hermann Grassmann xuất bản "Lý thuyết mở rộng" bao gồm các chủ đề mới cơ bản về cái mà ngày nay được gọi là đại số tuyến tính. Năm 1848, James Joseph Sylvester đưa ra thuật ngữ ma trận.

Đại số tuyến tính phát triển với những ý tưởng được ghi nhận trong mặt phẳng phức. Ví dụ: hai số w và z trong \mathbb{C} có sự khác biệt w-z, và các đoạn thẳng \overline{w z} và \overline{0(w-z)} có cùng chiều dài và hướng. Các phân đoạn này là tương đương nhau. Hệ thống bốn chiều \mathbb{H} của các quaternion được bắt đầu vào năm 1843. Thuật ngữ vectơ được giới thiệu là v = xi + yj + zk đại diện cho một điểm trong không gian. Chênh lệch bậc bốn p-q cũng tạo ra một đoạn tương đương với \overline{p q} . Các hệ thống số siêu phức khác cũng sử dụng ý tưởng về một không gian tuyến tính có cơ sở.

Arthur Cayley đã giới thiệu phép nhân ma trận và ma trận nghịch đảo vào năm 1856, làm cho nhóm tuyến tính tổng quát trở nên khả thi. Cơ chế biểu diễn nhóm đã có sẵn để các nhà toán học mô tả các số phức và siêu phức. Điều quan trọng nhất là Cayley sử dụng một chữ cái duy nhất để biểu thị một ma trận, do đó coi ma trận như một đối tượng tổng hợp. Ông cũng nhận ra mối liên hệ giữa ma trận và định thức, và viết "Sẽ có nhiều điều để nói về lý thuyết ma trận này, theo tôi, có vẻ như, có trước lý thuyết về định thức".

Điện báo yêu cầu một hệ thống vật lý giải thích nó, và ấn phẩm năm 1873 có tên Một luận thuyết về điện và từ trường đã thiết lập một lý thuyết trường về lực và yêu cầu hình học vi phân để biểu thị. Đại số tuyến tính là hình học vi phân phẳng và phục vụ trong không gian tiếp tuyến với đa tạp. Đối xứng điện từ của không thời gian được biểu thị bằng các phép biến đổi Lorentz, và phần lớn lịch sử của đại số tuyến tính là lịch sử của các phép biến đổi Lorentz.

Định nghĩa hiện đại và chính xác hơn đầu tiên của không gian vectơ được Peano đưa ra vào năm 1888; với u, v và w là các vectơ trong tập V. a và b là các vô hướng trong trường số \mathbb{F}.

Ánh xạ tuyến tính
Cho 2 không gian vectơ V và W trên trường \mathbb{F}, một biến đổi tuyến tính (còn gọi là ánh xạ tuyến tính) là một ánh xạ:

: T:V\to W

bảo toàn phép cộng và phép nhân vô hướng:

: T(u+v)=T(u)+T(v), \quad T(av)=aT(v)

với mọi vectơ u, v\in V và mọi vô hướng a\in\mathbb{F}.

Các chủ đề chính
Định thức
Độc lập tuyến tính
Hệ phương trình tuyến tính
Lý thuyết Lie
Ma trận
Vĩnh thức
Giới thiệu chung

Trong trường đại học, đại số tuyến tính bắt đầu từ nghiên cứu các vectơ trong hệ tọa độ Descartes 2 chiều hoặc 3 chiều. Các vectơ là các đoạn thẳng có hướng và độ lớn. Các kết quả trong không gian 2 hoặc 3 chiều có thể được mở rộng ra cho nhiều chiều hơn, gọi tổng quát là không gian vectơ.

Không gian vectơ là một khái niệm trừu tượng của đại số trừu tượng, được định nghĩa trên một trường toán học, phổ biến trong ứng dụng là trường số thực hoặc trường số phức.

Các biến đổi tuyến tính chuyển các phần tử trong một không gian vectơ này sang không gian vectơ kia, tuân thủ phép cộng và phép nhân vô hướng. bản thân tập hợp của các biến đổi này cũng hình thành nên không gian vectơ của chính chúng.

Nếu hệ cơ sở của một không gian vectơ là cố định, mọi biến đổi tuyến tính đều có thể viết thành bảng gọi là ma trận. Việc nghiên cứu các tính chất của ma trận, như định thức và vectơ riêng là một phần quan trọng của đại số tuyến tính.

Sử dụng đại số tuyến tính có thể giải chính xác hoặc gần đúng rất nhiều bài toán, bao gồm cả các bài toán không tuyến tính. Lý do là ta luôn có thể sử dụng vi giải tích để biến các hàm không tuyến tính thành gần đúng tuyến tính ở gần những điểm quan tâm. Phương pháp này là một trong những phương pháp phổ biến nhất trong toán học ứng dụng vào khoa học và kỹ thuật.

Một số định lý quan trọng

Mọi không gian véc tơ đều có một hệ cơ sở.
Một ma trận A vuông cỡ n được gọi là khả nghịch nếu tồn tại ma trận vuông B cỡ n thoả mãn AB = BA = I với I là ma trận đơn vị cùng cỡ với A.
Với một ma trận A vuông cỡ n, các mệnh đề sau đây là tương đương (tức là luôn cùng đúng hoặc cùng sai)
A khả nghịch
\det(A) \neq 0.
\text{rank}\ A = n.
\text{null}\ A = 0.
A không có giá trị riêng bằng 0.
Với mọi \mathbf{b}, A\mathbf{x} = \mathbf{b} có duy nhất một nghiệm \mathbf{x}.
A^{T}A khả nghịch.
Các hàng (hoặc cột) của A tạo nên các vectơ độc lập tuyến tính trong không gian vectơ của A.
Xem thêm
Vectơ
Ma trận
Định thức
Biến đổi tuyến tính
Đại số trừu tượng
Bài toán quy hoạch tuyến tính

Chú thích

Ghi chú

Liên kết ngoài




Strang,Gilbert, Linear Algebra and Its Applications (4th Edition), 2006
Banerjee, Sudipto; Roy, Anindya, Linear Algebra and Matrix Analysis for Statistics (Chapman & Hall/CRC Texts in Statistical Science), 2014
Grassmann, Hermann, Die lineare Ausdehnungslehre dargestellt und durch Anwendungen auf die übrigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Krystallonomie, 1844.