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