Phép nhân vô hướng

Trong toán học, phép nhân vô hướng ("scalar multiplication") là một trong những phép toán cơ bản để định nghĩa một không gian vectơ trong đại số tuyến tính (khái quát hơn, một mô đun trong đại số trừu tượng). Trong hình học, phép nhân vô hướng của một vectơ Euclid thực với một số thực dương là việc nhân độ dài của một vectơ mà không thay đổi hướng của nó. Nhân vô hướng là phép nhân của một vectơ với một vô hướng (có tích là một vectơ), và được phân biệt với tích trong hay tích vô hướng của hai vectơ (có tích là một vô hướng).
Định nghĩa.
Tổng quát nếu "K" là một trường vô hướng và "V" là một không gian vectơ trên "K" thì phép nhân vô hướng là một hàm từ tập tích "K" × "V" vào "V". Kết quả (tích) của hàm số này tác động vào vô hướng "k" trong "K" và vectơ v trong "V" được ký hiệu là "k"v.
Tính chất.
Phép nhân vô hướng thỏa mãn các tính chất sau ("vectơ được viết đậm"):
Ở đây dấu + thể hiện phép cộng trong trường vô hướng hoặc cộng vectơ, số 0 là phần tử đơn vị của phép cộng trong trường vô hướng hoặc không gian vectơ.
Diễn giải.
Phép nhân vô hướng có thể được coi là một phép toán hai ngôi ngoài hay là một tác động của trường lên không gian vectơ. Nói một cách hình học, tác động này kéo dãn ra hoặc co ngắn một vectơ bởi một hệ số không đổi. Kết quả là một vectơ cùng phương nhưng có thể cùng hoặc ngược chiều với vectơ ban đầu và có thể có độ dài được thay đổi.
Trong trường hợp đặc biệt, không gian "V" có thể được coi chính là trường "K" và khi đó phép nhân vô hướng là phép nhân thường giữa các vô hướng trong trường.
Khi không gian "V" là "Kn", phép nhân vô hướng tương đương với phép nhân từng thành phần của vectơ với một vô hướng, và có thể được định nghĩa như vậy.
Phép nhân vô hướng cũng được áp dụng nếu "K" là một vành giao hoán và "V" là một mô đun trên vành "K". "K" cũng có thể là một nửa vành, nhưng khi đó lại không có nghịch đảo phép cộng. Nếu vành "K" không giao hoán, có thể định nghĩa các phép toán "nhân vô hướng trái" "cv và "nhân vô hướng phải" vc".
Phép nhân một số cho ma trận.
Phép nhân ma trận với một số, hay còn gọi là nhân vô hướng ma trận là một phép toán tuyến tính. Nó có vai trò giống như phép nhân vô hướng vectơ với một số trong Không gian vectơ. Để nhân một số cho một ma trận: nhân số đó vối mỗi phần tử của ma trận. Ma trận mới là kết quả của phép nhân đó.
Cho vô hướng thực formula_1 và ma trận thực kích thước formula_2
Ví dụ
Phép nhân trái và phải.
Phép nhân trái của một ma trận với một vô hướng cho kết quả là một ma trận cùng kích thước với . Nó được ký hiệu là , với các phần tử được định nghĩa là
một cách tường minh:
Tương tự, phép nhân phải của ma trận với một vô hướng được định nghĩa là
tức là:
Khi vành của ma trận là giao hoán, ví dụ như vành là trường số thực hoặc số phức, hai phép nhân trên là tương đương, và được gọi chung đơn giản là "phép nhân vô hướng". Tuy nhiên, đối với các ma trận trên một vành tổng quát "không" giao hoán, ví dụ như vành quaternion, các phép nhân có thể không giống nhau. Ví dụ:
Đối với ma trận và vô hướng thực:
Đối với ma trận và vô hướng quaternion:
trong đó là các đơn vị quaternion. Tính không giao hoán của phép nhân quaternion không cho phép việc đổi thứ tự, ta thấy khác với .