Tích Vô Hướng – Wikipedia Tiếng Việt

Đối với khái niệm tích vô hướng trừu tượng, xem Không gian tích trong. Đối với tích của vectơ với một số hay với vô hướng, xem Phép nhân vô hướng.

Tích vô hướng (tên tiếng Anh: dot product hoặc scalar product) là một phép toán đại số lấy hai chuỗi số có độ dài bằng nhau (thường là các vectơ tọa độ) và cho kết quả là một số. Trong hình học Euclid, tích vô hướng với tọa độ Descartes của hai vectơ thường được sử dụng. Tích vô hướng cũng thường được gọi là tích trong Euclid dù nó không phải là loại tích trong duy nhất có thể được định nghĩa trong không gian Euclid (xem thêm tại Không gian tích trong).

Định nghĩa

[sửa | sửa mã nguồn]

Định nghĩa đại số

[sửa | sửa mã nguồn]

Tích vô hướng của hai vectơ A = [A1, A2,..., An] và B = [B1, B2,..., Bn] được định nghĩa như sau:[1]

A ⋅ B = ∑ i = 1 n A i B i = A 1 B 1 + A 2 B 2 + ⋯ + A n B n {\displaystyle \mathbf {A} \cdot \mathbf {B} =\sum _{i=1}^{n}A_{i}B_{i}=A_{1}B_{1}+A_{2}B_{2}+\cdots +A_{n}B_{n}}

trong đó Σ là phép lấy tổng và n là số chiều của không gian vectơ.

Ví dụ 1: Trong mặt phẳng, tích vô hướng của hai vectơ [a, b] và [a', b'] là: aa'+bb'

Ví dụ 2: Trong không gian ba chiều, tích vô hướng của hai vectơ [a, b, c] và [a', b', c'] là: aa'+bb'+cc'

Định nghĩa hình học

[sửa | sửa mã nguồn]

Trong không gian Euclide, một vectơ Euclide là một đối tượng hình học có độ lớn và hướng và được biểu diễn bằng một mũi tên. Độ lớn của vectơ là chiều dài của vectơ và hướng của vectơ là hướng mà mũi tên chỉ đến. Độ lớn của vectơ A được ký hiệu là  ‖ A ‖ {\displaystyle \left\|\mathbf {A} \right\|} . Tích vô hướng của hai vectơ Euclide A and B được định nghĩa như sau:[2][3]

A ⋅ B = ‖ A ‖   ‖ B ‖ cos ⁡ ( θ ) , {\displaystyle \mathbf {A} \cdot \mathbf {B} =\|\mathbf {A} \|\ \|\mathbf {B} \|\cos(\theta ),}

trong đó θ là góc giữa A và B.

Trường hợp đặc biệt, nếu A và B trực giao thì góc giữa chúng là 90°, do đó:

A ⋅ B = 0. {\displaystyle \mathbf {A} \cdot \mathbf {B} =0.}

Nếu chúng cùng hướng thì góc giữa chúng là 0°, do đó:

A ⋅ B = ‖ A ‖ ‖ B ‖ {\displaystyle \mathbf {A} \cdot \mathbf {B} =\left\|\mathbf {A} \right\|\,\left\|\mathbf {B} \right\|}

Suy ra tích vô hướng của vectơ A và chính nó là:

A ⋅ A = ‖ A ‖ 2 , {\displaystyle \mathbf {A} \cdot \mathbf {A} =\left\|\mathbf {A} \right\|^{2},}

ta có:

‖ A ‖ = A ⋅ A , {\displaystyle \left\|\mathbf {A} \right\|={\sqrt {\mathbf {A} \cdot \mathbf {A} }},}

là khoảng cách Euclid của vectơ, luôn có giá trị dương khi A khác 0.

Tính chất

[sửa | sửa mã nguồn]

Cho vectơ A = [A1, A2,..., An] ta có ‖ A ‖ = ∑ k = 1 n A k 2 {\displaystyle \left\|\mathbf {A} \right\|={\sqrt {\sum _{k=1}^{n}A_{k}^{2}}}}

Phép chiếu vô hướng

[sửa | sửa mã nguồn]

Phép chiếu vô hướng của một vectơ Euclide A lên hướng của vectơ Euclide B là:

A B = ‖ A ‖ cos ⁡ θ , {\displaystyle A_{B}=\left\|\mathbf {A} \right\|\cos \theta ,}

trong đó θ là góc giữa A và B.

Theo định nghĩa hình học, tích vô hướng được biểu diễn như sau: 

A B = A ⋅ B ^ , {\displaystyle A_{B}=\mathbf {A} \cdot {\widehat {\mathbf {B} }},}

trong đó  B ^ = B / ‖ B ‖ {\displaystyle {\widehat {\mathbf {B} }}=\mathbf {B} /\left\|\mathbf {B} \right\|}  là vectơ đơn vị cùng hướng với B.

Tích vô hướng được định nghĩa theo hình học như sau[4]

A ⋅ B = A B ‖ B ‖ = B A ‖ A ‖ . {\displaystyle \mathbf {A} \cdot \mathbf {B} =A_{B}\left\|\mathbf {B} \right\|=B_{A}\left\|\mathbf {A} \right\|.}

Tích vô hướng là thuần nhất, nghĩa là với đại lượng vô hướng α, ta có:

( α A ) ⋅ B = α ( A ⋅ B ) = A ⋅ ( α B ) . {\displaystyle (\alpha \mathbf {A} )\cdot \mathbf {B} =\alpha (\mathbf {A} \cdot \mathbf {B} )=\mathbf {A} \cdot (\alpha \mathbf {B} ).}

Tích vô hướng thỏa mãn luật phân phối:

A ⋅ ( B + C ) = A ⋅ B + A ⋅ C . {\displaystyle \mathbf {A} \cdot (\mathbf {B} +\mathbf {C} )=\mathbf {A} \cdot \mathbf {B} +\mathbf {A} \cdot \mathbf {C} .}

Từ những kết quả trên, ta kết luận rằng tích vô hướng thuộc dạng song tuyến. Hơn nữa, dạng song tuyến là xác định dương, nghĩa là  A ⋅ A {\displaystyle \mathbf {A} \cdot \mathbf {A} }  không bao giờ âm, và bằng 0 khi và chỉ khi  A = 0 . {\displaystyle \mathbf {A} =\mathbf {0} .}

Tính chất

[sửa | sửa mã nguồn]

Cho a, b, và c là các vectơ và r là đại lượng vô hướng, tích vô hướng thỏa mãn các tính chất sau:.[1][2]

1. Giao hoán: a ⋅ b = b ⋅ a , {\displaystyle \mathbf {a} \cdot \mathbf {b} =\mathbf {b} \cdot \mathbf {a} ,} được suy ra từ định nghĩa (θ góc giữa a và b): a ⋅ b = ‖ a ‖ ‖ b ‖ cos ⁡ θ = ‖ b ‖ ‖ a ‖ cos ⁡ θ = b ⋅ a . {\displaystyle \mathbf {a} \cdot \mathbf {b} =\left\|\mathbf {a} \right\|\left\|\mathbf {b} \right\|\cos \theta =\left\|\mathbf {b} \right\|\left\|\mathbf {a} \right\|\cos \theta =\mathbf {b} \cdot \mathbf {a} .}
2. Phân phối cho phép cộng vectơ: a ⋅ ( b + c ) = a ⋅ b + a ⋅ c . {\displaystyle \mathbf {a} \cdot (\mathbf {b} +\mathbf {c} )=\mathbf {a} \cdot \mathbf {b} +\mathbf {a} \cdot \mathbf {c} .}
3. Dạng song tuyến: a ⋅ ( r b + c ) = r ( a ⋅ b ) + ( a ⋅ c ) . {\displaystyle \mathbf {a} \cdot (r\mathbf {b} +\mathbf {c} )=r(\mathbf {a} \cdot \mathbf {b} )+(\mathbf {a} \cdot \mathbf {c} ).}
4. Phép nhân vô hướng: ( c 1 a ) ⋅ ( c 2 b ) = c 1 c 2 ( a ⋅ b ) . {\displaystyle (c_{1}\mathbf {a} )\cdot (c_{2}\mathbf {b} )=c_{1}c_{2}(\mathbf {a} \cdot \mathbf {b} ).}
5. Không có tính kết hợp bởi vì tích vô hướng giữa đại lượng vô hướng (a ⋅ b) và vectơ (c) không tồn tại, tức là biểu thức cho tính kết hợp: (a ⋅ b) ⋅ c or a ⋅ (b ⋅ c) là không hợp lệ.[5][6]
6. Trực giao: Hai vectơ khác vectơ không: a và b trực giao khi và chỉ khi a ⋅ b = 0. Hai vectơ trực giao trong không gian Euclid còn được gọi là vuông góc.
7. Không có tính khử: Tính khử cho phép nhân của các số được định nghĩa như sau: nếu ab = ac, thì b luôn luôn bằng c nếu a khác 0. Tích vô hướng không tuân theo tính khử: Nếu a ⋅ b = a ⋅ c và a ≠ 0, thì ta có: a ⋅ (b − c) = 0 theo như luật phân phối; suy ra a trực giao với (b − c), tức là (b − c) ≠ 0, và dẫn đến b ≠ c.
8. Quy tắc đạo hàm tích: Nếu a và b là hàm số, thì đạo hàm của a ⋅ b là a′ ⋅ b + a ⋅ b′.

Áp dụng cho định lý cos

[sửa | sửa mã nguồn]

Hai vectơ a và b có góc giữa hai vectơ là θ (như trong hình bên phải) tạo thành một tam giác có cạnh thứ ba là c = a − b. Tích vô hướng của c và chính nó là Định lý cos:

c ⋅ c = ( a − b ) ⋅ ( a − b ) = a ⋅ a − a ⋅ b − b ⋅ a + b ⋅ b = a 2 − a ⋅ b − a ⋅ b + b 2 = a 2 − 2 a ⋅ b + b 2 c 2 = a 2 + b 2 − 2 a b cos ⁡ θ {\displaystyle {\begin{aligned}\mathbf {c} \cdot \mathbf {c} &=(\mathbf {a} -\mathbf {b} )\cdot (\mathbf {a} -\mathbf {b} )\\&=\mathbf {a} \cdot \mathbf {a} -\mathbf {a} \cdot \mathbf {b} -\mathbf {b} \cdot \mathbf {a} +\mathbf {b} \cdot \mathbf {b} \\&=a^{2}-\mathbf {a} \cdot \mathbf {b} -\mathbf {a} \cdot \mathbf {b} +b^{2}\\&=a^{2}-2\mathbf {a} \cdot \mathbf {b} +b^{2}\\c^{2}&=a^{2}+b^{2}-2ab\cos \theta \\\end{aligned}}}

Tổng quát hóa

[sửa | sửa mã nguồn]

Tích trong

[sửa | sửa mã nguồn] Bài chi tiết: Không gian tích trong

Tổng quát hoá của khái niệm tích vô hướng là khái niệm tích trong. Đó là khái niệm trừu tượng trang bị cho một không gian vectơ H trên trường K (K thường là trường số phức hay số thực) để có thể biến nó thành một không gian tích trong hay sau đó là không gian Hilbert. Đó là một hàm hai biến f : ( x → , y → ) → ⟨ x → , y → ⟩ and  K → H × H {\displaystyle f:({\vec {x}},{\vec {y}})\to \left\langle {\vec {x}},{\vec {y}}\right\rangle {\mbox{and }}K\to H\times H} thỏa mãn 4 tiên đề sau:

1. ⟨ x → , y → ⟩ = ⟨ y → , x → ⟩ ¯ {\displaystyle \langle {\vec {x}},{\vec {y}}\rangle ={\overline {\langle {\vec {y}},{\vec {x}}\rangle }}} ,

2. ⟨ x → + y → , z → ⟩ = ⟨ x → , z → ⟩ + ⟨ y → , z → ⟩ {\displaystyle \langle {\vec {x}}+{\vec {y}},{\vec {z}}\rangle =\langle {\vec {x}},{\vec {z}}\rangle +\langle {\vec {y}},{\vec {z}}\rangle } ,

3. ⟨ λ x → , y → ⟩ = λ ⟨ x → , y → ⟩ {\displaystyle \langle \lambda {\vec {x}},{\vec {y}}\rangle =\lambda \langle {\vec {x}},{\vec {y}}\rangle } ,

4. ⟨ x , x ⟩ = | x | 2 ;   ⟨ x , x ⟩ = 0 {\displaystyle \langle x,x\rangle =|x|^{2};\ \langle x,x\rangle =0} khi và chỉ khi x → = 0 → {\displaystyle {\vec {x}}={\vec {0}}} .

với mọi x → , y → ∈ H ,   φ ∈ K {\displaystyle {\vec {x}},{\vec {y}}\in H,\ \varphi \in K}

Đây là tiên đề hóa để xây dựng khái niệm tích vô hướng từ một số tính chất cơ bản của tích vô hướng thông thường của 2 vectơ hình học trong mặt phẳng (hay không gian) nhằm mô tả khái niệm góc (trực giao) của 2 vectơ trong một không gian vectơ trừu tượng.

Nếu không gian vectơ H được trang bị bởi một tích vô hướng trên đó thì nó trở thành không gian định chuẩn với chuẩn được cho bởi công thức

‖ x → ‖ = ⟨ x → , x → ⟩ ,   ∀ x → ∈ H {\displaystyle \|{\vec {x}}\|={\sqrt {\langle {\vec {x}},{\vec {x}}\rangle }},\ \forall {\vec {x}}\in H}

Vectơ phức

[sửa | sửa mã nguồn]

Đối với các vectơ với thành phần phức, tích vô hướng tiêu chuẩn được định nghĩa ở dưới, với các tính chất song tuyến và đối xứng giao hoán ở trên được thay bởi tính nửa tuyến tính liên hợp và tính đối xứng liên hợp để giữ được tính xác định dương[1][7]

a ⋅ b = ∑ a i ¯ b i , {\displaystyle \mathbf {a} \cdot \mathbf {b} =\sum {{\overline {a_{i}}}\,b_{i}},}

trong đó thành phần a i ¯ {\displaystyle {\overline {a_{i}}}} là liên hợp phức của thành phần a i {\displaystyle a_{i}} . Cũng có thể viết nó theo vectơ chuyển vị liên hợp (ký hiệu bởi chữ mũ H):

a ⋅ b = a H b . {\displaystyle \mathbf {a} \cdot \mathbf {b} =\mathbf {a} ^{H}\mathbf {b} .}

trong đó các vectơ được viết dưới dạng vectơ hàng. Ta có tính xác định dương, nghĩa là tích vô hướng của bất kỳ vectơ với chính nó là một số thực không âm, và nó khác 0 trừ khi vectơ đó là vectơ không. Tuy nhiên tích vô hướng này lại là một dạng nửa tuyến tính thay vì là một dạng song tuyến tính: nó tuyến tính liên hợp thay vì tuyến tính đối với a, hơn nữa tích vô hướng này không đối xứng (giao hoán), bởi vì

a ⋅ b = b ⋅ a ¯ . {\displaystyle \mathbf {a} \cdot \mathbf {b} ={\overline {\mathbf {b} \cdot \mathbf {a} }}.}

Góc giữa hai vectơ phức được cho bởi công thức:

cos ⁡ θ = Re ⁡ ( a ⋅ b ) ‖ a ‖ ‖ b ‖ . {\displaystyle \cos \theta ={\frac {\operatorname {Re} (\mathbf {a} \cdot \mathbf {b} )}{\left\|\mathbf {a} \right\|\,\left\|\mathbf {b} \right\|}}.}

Tuy nhiên, loại tích vô hướng này rất hữu ích, và nó dẫn đến các khái niệm dạng Hermite và không gian tích trong tổng quát. Tích vô hướng với chính nó của một vectơ phức a ⋅ a {\displaystyle \mathbf {a} \cdot \mathbf {a} } là một sự tổng quát hóa của bình phương tuyệt đối của một vô hướng phức.

Tham khảo

[sửa | sửa mã nguồn]

1. ^ a b c S. Lipschutz, M. Lipson (2009). Linear Algebra (Schaum’s Outlines) (ấn bản thứ 4). McGraw Hill. ISBN 978-0-07-154352-1.
2. ^ a b M.R. Spiegel, S. Lipschutz, D. Spellman (2009). Vector Analysis (Schaum’s Outlines) (ấn bản thứ 2). McGraw Hill. ISBN 978-0-07-161545-7.Quản lý CS1: nhiều tên: danh sách tác giả (liên kết)
3. ^ A I Borisenko; I E Taparov (1968). Vector and tensor analysis with applications. Richard Silverman biên dịch. Dover. tr. 14.
4. ^ Arfken, G. B.; Weber, H. J. (2000). Mathematical Methods for Physicists (ấn bản thứ 5). Boston, MA: Academic Press. tr. 14–15. ISBN 978-0-12-059825-0.
5. ^ Weisstein, Eric W. "Dot Product."
6. ^ A. Bedford; Wallace L. Fowler (2008). Engineering Mechanics: Statics (ấn bản thứ 5). Prentice Hall. tr. 60. ISBN 978-0-13-612915-8.
7. ^ Berberian, Sterling K. (2014) [1992], Linear Algebra, Dover, tr. 287, ISBN 978-0-486-78055-9

Liên kết ngoài

[sửa | sửa mã nguồn]

• Tích vô hướng Lưu trữ 2016-09-19 tại Wayback Machine trên Từ điển bách khoa Việt Nam

Tiêu đề chuẩn	GND: 4181619-5

x t s Các chủ đề trong Đại số tuyến tính
Khái niệm cơ bản	Vô hướng Vectơ Không gian vectơ Phép nhân vô hướng Chiếu vectơ Hệ sinh Ánh xạ tuyến tính Phép chiếu tuyến tính Độc lập tuyến tính Tổ hợp tuyến tính Cơ sở Chuyển cơ sở Vectơ hàng và cột Không gian hàng và cột Hạt nhân Giá trị riêng và vectơ riêng Ma trận chuyển vị Hệ phương trình tuyến tính
Ma trận	Khối Phân rã Nghịch đảo Định thức con Tích Hạng Biến đổi Quy tắc Cramer Phép khử Gauss
Song tuyến tính	Trực giao Tích vô hướng Không gian tích trong Tích ngoài Quá trình Gram–Schmidt
Đại số đa tuyến tính	Định thức Tích vectơ Tích ba Tích vectơ 7 chiều Đại số hình học Đại số ngoài Song vectơ Đa vectơ Tenxơ Cấu xạ ngoài
Xây dựng không gian vectơ	Không gian đối ngẫu Tổng trực tiếp Không gian hàm Thương Không gian con Tích tenxơ
Đại số tuyến tính số	Floating-point Bình phương tối thiểu tuyến tính Ổn định số Basic Linear Algebra Subprograms Ma trận thưa Comparison of linear algebra libraries
Thể loại Mục lục Chủ đề Toán học Wikibook Wikiversity

x t s Các chủ đề chính trong đại số
Các lĩnh vực chính	Đại số trừu tượng Lý thuyết phạm trù Đại số sơ cấp Lý thuyết K Đại số giao hoán Không giao hoán Lý thuyết thứ tự Đại số phổ dụng
Các cấu trúc đại số	Nhóm (Lý thuyết) Vành (Lý thuyết) Module (Lý thuyết) Trường Vành đa thức (Đa thức, Phương trình) Lý thuyết số đại số
Đại số tuyến tính	Ma trận (lý thuyết) Không gian vectơ (Vector) Mô-đun Inner product space (Tích vô hướng) Không gian Hilbert
Đại số đa tuyến	Đại số Tensor algebra Exterior algebra Đại số đối xứng Hình học đại số (Vectơ đa chiều)
Danh sách chủ đề	Đại số trừu tượng Cấu trúc đại số Lý thuyết nhóm Đại số tuyến tính
Thuật ngữ	Đại số tuyến tính Lý thuyết trường Lý thuyết vành Lý thuyết thứ tự
Thể loại Chủ đề Wikibooks Sơ cấp Tuyến tính Trừu tượng Wikiversity Tuyến tính Trừu tượng