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

Содержимое удалено Содержимое добавлено
Нет описания правки
Строка 4:
Обычно при аксиоматическом методе описывают не что такое отдельно взятый объект (в нашем случае—«вектор»), а сразу всю их совокупность описанием их основных свойств, которые в свою очередь описываются в предложениях, которые называются аксиомами. В нашем случае совокупность, множество векторов назовём '''векторным пространством.''' Его и опишем с помощью перечисления аксиом. (Рекомендую прочитать об этом соответствующую статью в журнале "Квант",1976г., №4 Башмаков М. , «Что такое вектор?», ''примечание [[Служебная:Contributions/194.67.2.153|194.67.2.153]]'').
== Аксиомы векторного пространства ==
Пусть '''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> такого множества '''P''', которое является [[w:поле (алгебра)|полем]], в результате которой получается новый вектор: (<math>\alpha \cdot \vec a = \alpha \vec a</math>). Элементы поля называют ещё скалярами. (Кому лень смотреть, что такое поле, скажу что множество действительных, а также комплексных чисел-суть алгебраические поля).
 
Итак, сформулируем аксиомы векторного пространства.
Строка 45:
#Покажите, что множество комплексных чисел относительно сложения между собой и умножения на скаляр-действительное число образует векторное пространство.
#Покажите, что множество всех функций, заданных на'''R''' проходящих через точку (0,0) относительно сложения функций и умножения на действительное число образует векторное пространство, а множество функций проходящих через точку (0,5) векторное пространство не образует.
 
== Свойства векторных пространств==
Приведённые ниже свойства кажутся в свете представленных выше примеров очевидны, но при аксиоматическом методе любой шаг должны быть логически обоснован, тем более, что векторные пространства вышеприведёнными примерами не исчерпываются.<p>Пусть '''V'''-произвольное векторное пространство а '''P'''▬произвольное множество, являющееся [[w:поле (алгебра)|полем]]. (В примерах , которые были рассмотрены выше, полями являлись множество действительных или комплексных чисел, носуществуют и другие поля). Справедливы следующие утверждения: