Определение полной сист аксиом

Вопросы и примеры полной сист аксиом.

Страница 7

Определение ИЗОМОРФНЫХ сист аксиом. Пример

Страница 8

ПРАКТИКА

Независимость системы аксиом. A*0=0(д-но)

Страница 2 (практика)

2) 0+а=а

3) (-1)*а=-а

4)(-а)+а=0

5)Вектор а определён вектором а однозначно

6)-(а+б)= (-б)+(-а)

7)-(а+б)= (-а)+(-б)

8)чуть чуть(условие записано) а+б=б+а

Страница 3(практика)=

Док-во а+б=б+а

Зад1. Док-ть что аксиома А5 не зависит от аксиомы векторного пространства А1..А4, А6..А8.

Зад2. Док-ть что аксиома А7 не зависит от остальных аксиом векторного пространства А1.. А6, А8

Страница 4(практика)

Продолжение задачи 2

Полнота сист акс

Страница 5(практика)

Задача 2

Образуют ли полную систему аксиом первые 9 аксиом Вейля?

Задача 3

Образуют ли полную систему аксиом первые 10 аксиом Вейля?

Страница 6