§ 14. Приклади векторних просторів

2.5. Приклад. Множина всіх геометричних векторів – напрямлених відрізків з точкою прикладання – з означенням додавання векторів за правилом паралелограма (або трикутника) і множення вектора на дійсне число, як відповідної зміни його довжини, а можливо і напрямку (якщо це число від'ємне), утворює дійсний векторний простір.

2.6. Приклад. Множина сил, які можуть діяти на матеріальну точку, з інтерпретацією сили, як геометричного вектора, з означеннями суми сил і добутку дійсного числа на силу, наданими в попередньому прикладі, утворює дійсний векторний простір.

2.7. Приклад. Множина дійсних чисел з традиційним означенням їх суми та добутку утворює дійсний векторний простір. Саме це дає можливість інтерпретувати дійсні числа як геометричні вектори на числовій осі.

2.8. Приклад. Множина комплексних чисел зі звичайно означеними операціями додавання комплексних чисел та множення комплексного числа на дійсне число утворює дійсний векторний простір. Саме це дає можливість інтерпретувати комплексні числа як геометричні вектори на комплексній площині.

2.9. Приклад. Множина комплексних чисел зі звичайними означеннями суми та добутку комплексних чисел утворює комплексний векторний простір. У цьому окремому випадку в означенні 2.1 векторного простору слід покласти

2.10. Приклад. Множина матриць одного й того ж порядку з дійсними (комплексними) елементами є дійсним (комплексним) простором щодо звичайних операцій додавання матриць та множення матриці на дійсне (комплексне) число. Отже, матриці можна розглядати як вектори, причому нульовим вектором слід вважати матрицю, усі елементи якої дорівнюють нулю. Такий розгляд зазвичай використовують у квантовій механіці, коли описують квантові стани фізичної системи за допомогою вектор-стовпчиків (матриць порядку ) та вектор-рядків (матриць порядку ).

2.11. Приклад. Множина всіх функцій однієї змінної  визначених і неперер­вних на відрізку ₁,₂ є дійсним векторним простором, а самі функції можна розглядати як вектори. Зроблене твердження стає очевидним, якщо зважити на те, що: а) сума двох функцій неперервних на ₁,₂ також є функцією неперервною на цьому відрізку; б) добуток функції неперервної на ₁,₂ та дійсного числа  є функцією неперервною на цьому відрізку; в) усі вісім аксіом п. III є виконаними; г) роль нуля відіграє функція

2.12. Приклад. Множина поліномів степені не вищої за n є дійсним або комплексним простором, залежно від того, поліноми з дійсними чи з комплексними коефіцієнтами розглядаються. Перевірка зробленого твердження виконується цілком подібно до попереднього. Специфіка цього прикладу полягає в тому, що сумою двох поліномів степеня n може бути поліном більш низького степеня, а отже, множина поліномів степеня n не є простором.

2.13. Приклад. Множина, що містить у собі лише нульовий елемент, утворює простір, який називають нульовим простором. Дійсно, єдиний елемент цього простору з необхідністю є нульовим і протилежним собі самому, і цим "автоматично" визначаються операції додавання й множення на скаляр: які задовольняють усім аксіомам.

З наведених прикладів випливає, що в різних векторних просторах сума векторів та добуток вектора на скаляр визначаються по-різному. І дійсно ж, сума геометричних векторів – це не те саме, що сума матриць однакового порядку, а сума матриць – не те саме, що сума функцій, означених і неперервних на певному відрізку.

2.14. Зауваження. Означення векторного простору передбачає, що існують не лише конкретні правила дій, за якими слід виконувати лінійні операції, а й поняття рівності елементів простору. Наприклад, дві матриці вважають рівними, коли попарно рівні всі відповідні елементи. Щодо геометричних векторів, то для них існує три різних визначення рівності, кожне з яких відповідає певному колу фізичних або технічних завдань.

Перше. Рівні вектори мають: а) рівну величину; б) однаковий напрямок; в) спільну точку прикладання. При такому означенні, множина всіх геометричних векторів утворює простір прикладених векторів.

Друге. Рівні вектори: а) є рівними за величиною; б) мають однаковий напрямок; в) лежать на одній прямій. При такому означенні, множина всіх геометричних векторів утворює простір ковзаючих векторів.

Третє. Рівні вектори мають: а) рівну величину; б) однаковий напрямок. За цього означення множина всіх геометричних векторів утворює простір вільних векторів.

У фізиці зустрічаються всі три типи векторних просторів. Так, у задачах про механічну рівновагу твердого тіла або деформування пружного тіла часто має значення, до яких саме точок тіла прикладені сили. Отже, ці сили належать до простору прикладених векторів.

Розв'язання задач про обертання (або рівновагу) твердого тіла з однією нерухомою точкою зводиться до розгляду моментів сил, які не змінюються при перенесенні точок прикладання сил уздовж їх напрямків. У цьому випадку сили належать до простору ковзаючих векторів.

У задачах про поступальний рух твердого тіла має значення лише головний вектор сил, який належить до простору вільних векторів.