Тобто підмножина L простору
буде векторним підпростором простору , якщо вона сама є векторним простором.6. Скалярний добуток векторів
Нехай
, − ненульові вектори. Відкладемо від деякої точки O вектори = , = . Кутом між векторами і називається кут між променями OA і OB (мал. 18). Позначають: ( , ) = φ. Для будь-яких векторів і маємо 0 ≤ ( , ) ≤ π.Означення: скалярним добутком двох векторів називається число, яке дорівнює добутку їх довжин на косинус кута між ними:
= cos( , ).Теорема: скалярний добуток векторів
( , , ), ( , , ), заданих в ортонормованому базисі, обчислюються за формулою: = + + . /6/
Доведення. Якщо один із векторів або обидва нульові, то формула очевидна. Припустимо, що
, і розглянемо два випадки.1. Вектори
і не колінеарні. Відкладемо вектори = , = (мал. 19). Нехай ( , ) = φ.З
OAB за теоремою косинусів – 2 OAOBcosφ, або ,звідки
=
. Отже, = + + .2. Вектори
і колінеарні. Тоді = λ , = λ , = λ , = λ ; = λ = cos(λ , ) = λ = λ( ) = λ + λ + λ = + +Теорему доведено.
З теореми і означення випливають такі властивості скалярного добутку векторів:
1.
= 0 тоді і тільки тоді, коли , якщо , .