Đại số tuyến tính

Đạ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ư:
formula_1

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

formula_2

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ố formula_3 và formula_4 trong formula_5 có sự khác biệt formula_6, và các đoạn thẳng formula_7 và formula_8 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 formula_9 của các quaternion được bắt đầu vào năm 1843. Thuật ngữ "vectơ" được giới thiệu là formula_10 đại diện cho một điểm trong không gian. Chênh lệch bậc bốn formula_11 cũng tạo ra một đoạn tương đương với formula_12 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".

Benjamin Peirce đã xuất bản tác phẩm "Đại số liên kết tuyến tính" của mình (1872), và con trai của ông là Charles Sanders Peirce đã mở rộng tác phẩm này sau đó.

Đ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; đến năm 1900, một lý thuyết về các phép biến đổi tuyến tính của không gian vectơ hữu hạn chiều đã xuất hiện. Đại số tuyến tính có hình thức hiện đại vào nửa đầu thế kỷ XX, khi nhiều ý tưởng và phương pháp của các thế kỷ trước được khái quát hóa thành đại số trừu tượng. Sự phát triển của máy tính dẫn đến việc tăng cường nghiên cứu các thuật toán hiệu quả để loại bỏ Gaussian và phân rã ma trận, và đại số tuyến tính trở thành một công cụ thiết yếu để mô hình hóa và mô phỏng.

== Phạm vi nghiên cứu ==
===Không gian vectơ===
Cấu trúc chính của đại số tuyến tính là các không gian vectơ. Một không gian vectơ trên trường số formula_13 là một tập formula_14 kèm theo phép toán hai ngôi. Các phần tử trong formula_14 gọi là những "vectơ", các phần tử trong formula_13 gọi là "vô hướng". Phép toán đầu tiên là phép cộng vectơ, cộng 2 vectơ formula_17 và formula_3 cho ra một vectơ thứ 3 là formula_19. Phép toán thứ hai là phép nhân một vô hướng formula_20 với bất kỳ vectơ formula_17 nào và kết quả cho ra một vectơ mới formula_22, phép toán này gọi là phép nhân vô hướng của formula_17 với formula_20. Các phép nhân và cộng trong không gian vectơ phải thỏa mãn 8 tiên đề sau, với formula_25, formula_17 và formula_3 là các vectơ trong tập formula_14. formula_20 và formula_30 là các vô hướng trong trường số formula_13.

===Ánh xạ tuyến tính===
Cho 2 không gian vectơ formula_14 và formula_33 trên trường formula_13, 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ạ:

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

với mọi vectơ formula_37 và mọi vô hướng formula_38.

== 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 formula_39 vuông cỡ formula_40 được gọi là khả nghịch nếu tồn tại ma trận vuông formula_41 cỡ formula_40 thoả mãn formula_43 với formula_44 là ma trận đơn vị cùng cỡ với formula_39.
- Với một ma trận formula_39 vuông cỡ formula_40, các mệnh đề sau đây là tương đương (tức là luôn cùng đúng hoặc cùng sai)
1. formula_39 khả nghịch
2. formula_49.
3. formula_50.
4. formula_51.
5. formula_39 không có giá trị riêng bằng formula_53.
6. Với mọi formula_54, formula_55 có duy nhất một nghiệm formula_56.
7. formula_57 khả nghịch.
8. Các hàng (hoặc cột) của formula_39 tạo nên các vectơ độc lập tuyến tính trong không gian vectơ của formula_39.
== 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

== 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.