Chiếu vectơ

Hình chiếu vectơ của một vectơ a lên một vectơ khác không b, ký hiệu là formula_1, (còn gọi là thành phần vectơ của a theo phương của b) là hình chiếu trực giao (vuông góc) của a lên một đường thẳng song song với b. Nó là một vectơ cùng phương với b, được định nghĩa là:

trong đó formula_3 là một vô hướng, gọi là hình chiếu vô hướng của a lên b, và b̂ là vectơ đơn vị theo hướng của b.

Còn hình chiếu vô hướng được định nghĩa là:

trong đó toán tử ⋅ ký hiệu cho tích vô hướng, ‖a‖ là độ dài của a, và "θ" là góc giữa hai vectơ a và b.

Hình chiếu vô hướng bằng độ dài của hình chiếu vectơ và có giá trị đại số, với dấu trừ nếu chiều của hình chiếu ngược lại với chiều của b. Ta cũng gọi thành phần vectơ của a vuông góc với b là hình phản chiếu vectơ của a từ b (ký hiệu là formula_5), đó là hình chiếu trực giao của a lên mặt phẳng (hay tổng quát là siêu phẳng) trực giao với b. Hình chiếu a và hình phản chiếu a của a đều là các vectơ và tổng của chúng bằng a, suy ra hình phản chiếu được cho bởi: formula_6

== Ký hiệu ==
Thường thì hình chiếu vectơ được ký hiệu bằng chữ đậm (ví dụ a), còn hình chiếu vô hướng tương ứng được viết thường ("a"). Trong một số trường hợp, chẳng hạn khi viết tay, hình chiếu vectơ được ký hiệu bởi chữ với dấu (formula_7 hay "a"). Ta đôi khi cũng ký hiệu hình chiếu và hình phản chiếu của vectơ a lên b tương ứng là a và a.

== Định nghĩa theo góc "θ" ==
=== Hình chiếu vô hướng ===
Hình chiếu vô hướng của a lên b là một vô hướng có giá trị bằng

trong đó "θ" là góc giữa hai vectơ a và b.

Hình chiếu vô hướng có thể được dùng làm hệ số nhân để tính hình chiếu vectơ tương ứng.

=== Hình chiếu vectơ ===
Hình chiếu vectơ của a lên b là một vectơ có độ dài bằng hình chiếu vô hướng của a lên b và có cùng phương với b. Cụ thể, nó được định nghĩa là:

trong đó formula_3 là hình chiếu vô hướng tương ứng được định nghĩa ở trên, còn formula_11 là vectơ đơn vị cùng phương với b:

=== Hình phản chiếu vectơ ===
Theo định nghĩa, hình phản chiếu vectơ của a lên b là vectơ:

vì vậy,

== Định nghĩa theo vectơ a và b ==
Khi chưa biết góc "θ", ta có thể tính giá trị cosin của "θ" dựa theo a và b, bằng tính chất sau của tích vô hướng a⋅b

=== Hình chiếu vô hướng ===
Bởi tính chất trên của tích vô hướng, có thể định nghĩa hình chiếu vô hướng như sau:

Trong không gian hai chiều ta có:

=== Hình chiếu vectơ ===
Tương tự ta có định nghĩa hình chiếu vectơ của a lên b:

điều này tương đương với

hoặc là

=== Hình phản chiếu vô hướng ===
Trong không gian hai chiều, hình phản chiếu vô hướng chính là hình chiếu của a lên vectơ trực giao formula_21, đó là vectơ formula_22 sau khi quay 90° ngược chiều kim đồng hồ. Vì vậy, ta có

Tích vô hướng có dạng trên được gọi là "tích vô hướng vuông."

=== Hình phản chiếu vectơ ===
Theo định nghĩa:

vì vậy,

== Tính chất ==
=== Hình chiếu vô hướng ===
Hình chiếu vô hướng của a lên b là một vô hướng, nó có dấu âm nếu 90° < "θ" ≤ 180°. Nó bằng độ dài ‖c‖ của hình chiếu vectơ nếu góc "θ" nhỏ hơn 90°. Một cách chính xác hơn là:

- "a" = ‖a‖ nếu 0° ≤ "θ" ≤ 90°,
- "a" = −‖a‖ nếu 90° < "θ" ≤ 180°.

=== Hình chiếu vectơ ===
Hình chiếu vectơ của a lên b là một vectơ a, có thể song song với b hoặc bằng vectơ không. Cụ thể:

- a = 0 nếu "θ" = 90°,
- a và b cùng chiều nếu 0° ≤ "θ" < 90°,
- a và b ngược chiều nếu 90° < "θ" ≤ 180°.

=== Hình phản chiếu vectơ ===
Hình phản chiếu vectơ của a từ b là một vectơ a, có thể trực giao với b hoặc bằng vectơ không. Cụ thể:

- a = 0 nếu "θ" = 0 or "θ" = 180°,
- a vuông góc với b nếu 0° < "θ" < 180°,

== Biểu diễn ma trận ==
Phép chiếu trực giao có thể được biểu diễn bởi một ma trận chiếu. Để chiếu một vectơ lên một vectơ đơn vị "a" = ("a, a, a"), ta cần nhân vectơ đó với ma trận chiếu:

== Ứng dụng ==
Phép chiếu vectơ là một phép toán quan trọng trong quá trình trực giao hóa Gram–Schmidt cho cơ sở của các không gian vectơ. Nó cũng được sử dụng trong định lý tách trục để xác định xem liệu hai hình lồi có giao nhau.

== Tổng quát hóa ==
Bởi vì các khái niệm độ dài vectơ và góc giữa các vectơ có thể được tổng quát hóa trên một không gian tích trong "n" chiều, cũng có thể tổng quát hóa các khái niệm như hình chiếu trực giao của một vectơ, hình chiếu và hình phản chiếu của một vectơ lên vectơ khác.

Trong một số trường hợp, như với không gian Euclid "n" chiều, khái niệm tích trong trùng với tích vô hướng. Nếu hai khái niệm này không giống nhau thì tích trong thay vì tích vô hướng sẽ được sử dụng trong định nghĩa chính tắc của hình chiếu và hình phản chiếu.

Đối với một không gian tích trong 3 chiều, các khái niệm hình chiếu và hình phản chiếu của một vectơ lên một vectơ khác được tổng quát hóa lên khái niệm hình chiếu và hình phản chiếu của vectơ lên một mặt phẳng. Hình chiếu của một vectơ lên một mặt phẳng cũng chính là hình chiếu trực giao của vectơ đó lên mặt phẳng, còn hình phản chiếu của một vectơ lên mặt phẳng là hình chiếu trực giao của vectơ đó lên một đường thẳng trực giao với mặt phẳng đó. Cả hai đều là vectơ. Hình chiếu song song với mặt phẳng còn hình phản chiếu thì vuông góc.

Đối với một vectơ và một mặt phẳng cho trước, tổng của hình chiếu và hình phản chiếu bằng vectơ ban đầu. Tương tự, đối với không gian tích trong nhiều hơn 3 chiều, các khái niệm hình chiếu và phản chiếu lên một vectơ có thể được tổng quát hóa lên thành hình chiếu và phản chiếu lên một siêu phẳng. Trong một đại số hình học, chúng được tổng quát hóa hơn nữa thành các khái niệm hình chiếu và hình phản chiếu của một đa vectơ tổng quát lên một "k"-blade khả nghịch.

== Xem thêm ==
- Hình chiếu vô hướng
- Ký hiệu vectơ

== Liên kết ngoài ==
- Projection of a vector onto a plane