Nhân hai ma trận nghĩa là ghép hai phép biến đổi tuyến tính thành một: làm phép thứ nhất rồi làm phép thứ hai. Quy tắc "hàng nhân cột" mà giáo trình đưa ra không phải quy ước tuỳ tiện; nó là cách duy nhất để việc ghép hai phép biến đổi cho ra đúng kết quả. Cũng vì vậy mà AB thường khác BA: mặc áo rồi mặc áo khoác khác với mặc áo khoác rồi mới mặc áo.
Bài này trình bày ba cách nhìn phép nhân ma trận, đi từ đơn giản tới bản chất, kèm ví dụ tính tay cho ma trận 2×2 mà bạn có thể tự kiểm lại. Cuối bài là các lỗi kích thước hay gặp và cách dùng AI để luyện mà không phụ thuộc vào nó.
Cách nhìn thứ nhất: ma trận nhân vector là tổ hợp các cột
Lấy ma trận A có hai cột: cột thứ nhất là (1, 3), cột thứ hai là (2, 4). Viết theo hàng thì A gồm hàng (1, 2) và hàng (3, 4). Nhân A với vector (x, y) theo định nghĩa cho kết quả bằng x lần cột thứ nhất cộng y lần cột thứ hai. Với x = 1, y = 1, ta được (1, 3) + (2, 4) = (3, 7).
Cách nhìn này quan trọng hơn vẻ ngoài của nó. Nó nói rằng tập tất cả các kết quả A nhân vector chính là tập các tổ hợp tuyến tính của các cột của A, tức là không gian cột. Câu hỏi "phương trình A nhân x bằng b có nghiệm không" trở thành câu hỏi "b có nằm trong không gian cột của A không". Rất nhiều định lý về sau chỉ là câu này được nói lại kỹ hơn.
Nếu bạn quen tính theo hàng, kết quả vẫn y hệt: thành phần thứ nhất là hàng thứ nhất (1, 2) nhân với (1, 1) theo kiểu nhân từng cặp rồi cộng, tức 1 + 2 = 3; thành phần thứ hai là 3 + 4 = 7. Hai cách tính cho cùng một con số, nhưng cách nhìn theo cột mới cho bạn ý nghĩa hình học.
Cách nhìn thứ hai: quy tắc hàng nhân cột, tính tay một ví dụ
Đề bài. A gồm hàng (1, 2) và hàng (3, 4); B gồm hàng (5, 6) và hàng (7, 8). Tính AB. Phần tử ở hàng i, cột j của AB bằng hàng i của A nhân với cột j của B, nhân từng cặp rồi cộng.
Hàng thứ nhất của AB. Hàng (1, 2) nhân cột (5, 7) được 1·5 + 2·7 = 19. Hàng (1, 2) nhân cột (6, 8) được 1·6 + 2·8 = 22. Vậy hàng đầu là (19, 22).
Hàng thứ hai của AB. Hàng (3, 4) nhân cột (5, 7) được 15 + 28 = 43. Hàng (3, 4) nhân cột (6, 8) được 18 + 32 = 50. Vậy hàng hai là (43, 50).
Đổi thứ tự thành BA. Hàng (5, 6) nhân cột (1, 3) được 5 + 18 = 23; nhân cột (2, 4) được 10 + 24 = 34. Hàng (7, 8) nhân cột (1, 3) được 7 + 24 = 31; nhân cột (2, 4) được 14 + 32 = 46. BA gồm hàng (23, 34) và hàng (31, 46), khác hẳn AB.
Mẹo tự kiểm. Tổng các phần tử trên đường chéo, gọi là vết, của AB và BA luôn bằng nhau dù hai ma trận khác nhau: 19 + 50 = 69 và 23 + 46 = 69. Nếu bạn tính ra hai vết khác nhau, chắc chắn có chỗ cộng nhầm.
Cách nhìn thứ ba: nhân ma trận là ghép hai phép biến đổi
Mỗi ma trận vuông 2×2 mô tả một phép biến đổi mặt phẳng: nó đưa vector (1, 0) tới cột thứ nhất và vector (0, 1) tới cột thứ hai, các vector khác đi theo vì phép biến đổi giữ nguyên tổ hợp tuyến tính. Ma trận gồm hàng (0, −1) và hàng (1, 0) là phép xoay 90 độ ngược chiều kim đồng hồ; ma trận gồm hàng (1, 0) và hàng (0, −1) là phép lấy đối xứng qua trục hoành.
Khi viết AB nhân với vector x, ta hiểu là B tác động lên x trước, rồi A tác động lên kết quả. Thứ tự đọc từ phải sang trái, giống hàm hợp f(g(x)). Quy tắc hàng nhân cột xuất hiện khi bạn viết ra phép làm liên tiếp này rồi gom các hệ số lại; tự làm một lần với ma trận 2×2 chữ a, b, c, d sẽ thấy nó hiện ra.
Bây giờ lý do AB khác BA trở nên rõ. Xoay 90 độ rồi lật qua trục hoành đưa vector (1, 0) tới (0, 1) rồi tới (0, −1). Lật trước rồi xoay thì (1, 0) giữ nguyên ở bước lật, sau đó xoay thành (0, 1). Hai kết quả khác nhau, nên hai ma trận tích khác nhau. Có những cặp ma trận giao hoán được, chẳng hạn hai phép xoay quanh cùng gốc, nhưng đó là trường hợp đặc biệt chứ không phải quy luật.
Quy tắc kích thước: khi nào được nhân, kết quả cỡ bao nhiêu
Lỗi phổ biến nhất trong bài kiểm tra không phải tính sai mà là nhân hai ma trận không nhân được. Quy tắc chỉ có một: số cột của ma trận bên trái phải bằng số hàng của ma trận bên phải.
| Ma trận trái | Ma trận phải | Nhân được không | Kích thước kết quả |
|---|---|---|---|
| 2×3 | 3×4 | Được (3 khớp 3) | 2×4 |
| 3×2 | 3×2 | Không (2 khác 3) | Không xác định |
| 1×3 (vector hàng) | 3×1 (vector cột) | Được | 1×1, tức một con số: tích vô hướng |
| 3×1 (vector cột) | 1×3 (vector hàng) | Được | 3×3: ma trận tích ngoài |
| n×n | n×n | Được theo cả hai thứ tự | n×n, nhưng AB và BA thường khác nhau |
Hai dòng giữa bảng cho thấy cùng hai vector mà đổi thứ tự thì ra một con số hoặc cả một ma trận 3×3. Trước khi tính bất cứ thứ gì, hãy viết kích thước nhỏ bên dưới mỗi ma trận và kiểm hai số ở giữa có khớp nhau không. Thói quen này mất năm giây và cứu được rất nhiều điểm.
Các tính chất nên thuộc và các "tính chất" không có thật
Phép nhân ma trận giữ được nhiều quy tắc của phép nhân số, nhưng mất vài quy tắc quan trọng. Nhầm chỗ này là nguồn lỗi chứng minh phổ biến.
- Có tính kết hợp: (AB)C = A(BC), nên khi nhân chuỗi ma trận bạn được chọn nhân cặp nào trước. Trong tính toán bằng máy, chọn thứ tự khéo có thể giảm khối lượng phép tính rất nhiều.
- Có tính phân phối: A(B + C) = AB + AC và (A + B)C = AC + BC, nhưng phải giữ đúng phía trái, phía phải.
- Không có tính giao hoán: nói chung AB khác BA, như ví dụ ở trên. Vì thế (A + B)² bằng A² + AB + BA + B², không phải A² + 2AB + B².
- Không có luật giản ước: AB = AC không suy ra B = C, trừ khi A khả nghịch. Có cả trường hợp AB bằng ma trận không trong khi A và B đều khác không.
- Chuyển vị đảo thứ tự: chuyển vị của AB bằng chuyển vị của B nhân chuyển vị của A. Nghịch đảo của AB cũng đảo thứ tự tương tự, khi các nghịch đảo tồn tại.
Luyện phép nhân ma trận cùng AI theo cách giữ được kỹ năng
Nhân ma trận là việc máy làm tốt hơn người, nhưng bạn vẫn cần tự tính được ma trận nhỏ để hiểu và để nhận ra khi máy, hoặc chính bạn, nhập sai. Quy trình gợi ý:
- Tự tính tay ba cặp ma trận 2×2 và một cặp 2×3 với 3×2, viết kích thước bên dưới trước khi tính.
- Dùng một máy tính đại số hoặc bảng tính để kiểm kết quả; đây là việc kiểm số học, không phải nhờ giải hộ.
- Hỏi chatbot với câu lệnh: "Cho hai ma trận 2×2 chữ a, b, c, d và e, f, g, h. Đừng đưa kết quả. Dẫn từng bước để tự suy ra công thức phần tử hàng 1 cột 1 của tích khi ghép hai phép biến đổi."
- Nhờ AI tìm một cặp ma trận 2×2 có AB bằng ma trận không mà A, B đều khác không; tự nhân lại để kiểm, vì AI đôi khi đưa ví dụ sai.
- Ghi vào sổ lỗi mỗi lần nhầm thứ tự AB, BA hoặc nhầm kích thước; sau hai tuần đọc lại để thấy mình hay sai kiểu nào.
Khi đưa bài tập lên chatbot, chỉ đưa phần toán. Đề bài thực tập có số liệu thật của doanh nghiệp thì đổi sang số giả định trước. Bài thi và bài kiểm tra có chấm điểm phải tự làm.
Phép nhân ma trận trong việc thật
Ví dụ giả định trong bán hàng: ma trận số lượng có hai hàng ứng với hai chi nhánh, ba cột ứng với ba mặt hàng; vector đơn giá có ba thành phần. Tích ma trận số lượng với vector đơn giá cho ra vector doanh thu hai thành phần, mỗi thành phần cho một chi nhánh. Đây đúng là cách nhìn "hàng nhân cột": mỗi chi nhánh nhân số lượng của mình với giá rồi cộng lại.
Một ví dụ khác cho thấy vì sao thứ tự quan trọng. Ví dụ giả định: ma trận chuyển trạng thái mô tả tỉ lệ khách hàng tháng này dùng gói dịch vụ nào thì tháng sau chuyển sang gói nào. Nhân ma trận đó với chính nó cho ra tỉ lệ chuyển sau hai tháng; luỹ thừa bậc mười hai cho ra tỉ lệ sau một năm. Mỗi phần tử của ma trận bình phương cộng gộp mọi con đường đi qua một trạng thái trung gian, và quy tắc hàng nhân cột chính là phép cộng gộp ấy. Khi đã thấy được ý nghĩa này, bạn sẽ đọc các mô hình chuỗi Markov ở môn xác suất dễ dàng hơn nhiều.
Trong đồ hoạ, mỗi lần một nhân vật trong trò chơi vừa xoay vừa di chuyển, phần mềm nhân nhiều ma trận biến đổi với nhau một lần rồi áp ma trận tích lên hàng nghìn đỉnh, thay vì áp từng phép riêng lẻ. Trong mạng nơ-ron, mỗi lớp về cơ bản là một phép nhân ma trận với vector đầu vào rồi qua một hàm phi tuyến. Ba ví dụ khác nhau, cùng một phép toán, và đó là lý do môn học này có mặt trong gần như mọi ngành kỹ thuật.
Câu hỏi thường gặp
Có cách nào nhớ quy tắc hàng nhân cột cho khỏi nhầm không?
Hãy đặt ma trận bên phải hơi lệch lên trên và ma trận bên trái lệch sang trái, như khung bảng cửu chương. Mỗi ô của kết quả nằm ở giao giữa một hàng bên trái và một cột phía trên. Nhìn hình như vậy vài lần là tay tự đi đúng hướng mà không cần học thuộc.
Nhân từng phần tử tương ứng của hai ma trận có phải phép nhân ma trận không?
Không. Phép nhân từng phần tử tương ứng có tên riêng là tích Hadamard, dùng nhiều trong lập trình và xử lý ảnh, nhưng không mô tả việc ghép hai phép biến đổi. Trong thư viện tính toán, hai phép này thường có ký hiệu khác nhau, nhầm là ra kết quả sai mà không báo lỗi.
Khi nào thì AB bằng BA?
Một số trường hợp quen thuộc: một trong hai là ma trận đơn vị hoặc là bội của ma trận đơn vị; hai ma trận đường chéo cùng cỡ; B là luỹ thừa của A; hai phép xoay trong mặt phẳng quanh cùng gốc. Ngoài các trường hợp đặc biệt như vậy, cần tính cả hai thứ tự mới biết.
Vì sao nhân ma trận lớn tốn thời gian máy tính?
Nhân hai ma trận vuông cỡ n theo định nghĩa cần khoảng n mũ ba phép nhân. Đã có các thuật toán nhanh hơn về lý thuyết, nổi tiếng là thuật toán Strassen năm 1969, nhưng trong thực tế phần lớn tốc độ đến từ phần cứng tính song song và cách tổ chức bộ nhớ.
Chatbot nhân ma trận 3×3 có đáng tin không?
Thường đúng với số nhỏ, nhưng vẫn có lúc cộng sai một phần tử, nhất là khi có số âm hoặc phân số. Đừng dùng chatbot làm công cụ tính chính. Dùng máy tính đại số hoặc bảng tính để có con số, còn chatbot để hỏi vì sao và nhờ gợi ý cách kiểm.