Линейная алгебра и аналитическая геометрия/Определение векторного пространства: различия между версиями

Содержимое удалено Содержимое добавлено
→‎Аксиомы векторного пространства: пунктуация, орфография
Строка 4:
Обычно при аксиоматическом методе описывают не что такое отдельно взятый объект (в нашем случае—«вектор»), а сразу всю их совокупность описанием их основных свойств, которые в свою очередь описываются в предложениях, которые называются аксиомами. В нашем случае совокупность, множество векторов назовём '''векторным пространством.''' Его и опишем с помощью перечисления аксиом. (Рекомендую прочитать об этом соответствующую статью в журнале "Квант",1976г., №4 Башмаков М. , «Что такое вектор?»,[http://kvant.mccme.ru/1976/04/chto_takoe_vektor.htm]).
== Аксиомы векторного пространства ==
Пусть '''V''' — [[w:непустое множество|непустое]] [[w:множество|множество]], элементы которого мы назовём векторами и будем обозначать <math>\vec a, \vec x, \vec y</math> ... и т.д. Пусть на '''V''' заданы и определены́ каким-либо образом две операции. '''Первая операция''' — [[w:бинарная операция|бинарная]] [[w:аддитивная операция|аддитивная операция]] (или грубо говоря — операция сложения). Эту операцию обозначим знаком '''+''', (впрочем , необязательно, чтобы на все 100% эта операция определялась так, как определяется операция сложения для обычных чисел, мы ведь не числа сейчас изучаем, а векторы, поэтому эту операцию сложения векторов можно обозначить и каким-то своим , особым знаком, например так: <math>\oplus </math> ( <math>\vec a \oplus \vec b = \vec c</math>). '''Вторая''' операция — умножение вектора на какой-нибудь элемент <math>\alpha</math> такого множества, которое является [[w:поле (алгебра)|полем]], в результате которой получается новый вектор (<math>\alpha \cdot \vec a = \alpha \vec a</math>). Элементы поля называют ещё скалярами. (Кому лень смотреть, что такое поле, скажу что примерами алгебраических полей могут служить множество действительных или также комплексных чисел).
 
Итак, сформулируем аксиомы векторного пространства.