§2. Основные математические структуры курса геометрии

1. Структура поля действительных чисел.

База:

−множество, элементы которого называются действительными числами.

Отношения:

1. Тернарное отношение , определяющее бинарную алгебраическую операцию − сложение, обозначаемую символом.

Если , то.

2. Тернарное отношение , определяющее бинарную алгебраическую операцию − умножение, обозначаемую символом .

Если , то .

3. Бинарное отношение , − отношение предшествования, обозначаемое символом. Если, то будем записыватьи называть числоменьшим числа , а число большим числа.

Аксиомы:

(аксиома непрерывности).

2. Структура n-мерного векторного пространства над полем .

База:

− множество векторов,− поле действительных чисел.

Отношения:

1. Тернарное отношение , определяющее бинарную алгебраическую операцию − сложение векторов, обозначаемую символом +.

Если то.

2. Тернарное отношение , определяющее умножение вектора на число, обозначаемое постановкой числа и вектора рядом.

Если , то.

Аксиомы:

1. .

2. .

3. .

4. .

5. .

6. .

7. .

8. .

9. Существует базис из векторов.

3. Структура n-мерного евклидова векторного пространства над полем .

Добавим к отношениям структуры n-мерного векторного пространства тернарное отношение, определяющее отображение , называемое скалярным умножением векторов, обозначаемое символомв соответ-ствии с равенством, и удовлетворяющее аксиомам:

10. .

11. .

12. .

4. Структура n-мерного аффинного пространства.

База:

множество точек, –n-мерное векторное пространство над полем действительных чисел, называемое пространством переносов.

Отношения:

Тернарное отношение , определяющее

отображение . Если, то условимся обозначать.

Аксиомы:

К аксиомам n-мерного векторного пространства добавляются две аксиомы Вейля.

5. Структура евклидова n-мерного точечного пространства.

Если к отношениям и аксиомам структуры -мерного аффинного пространства добавить отношения и аксиомы, которые делают пространство переносов евклидовым векторным пространством, то получим структуру евклидова-мерного точечного пространства.

6. Структура проективного пространства.

База:

–множество точек, – векторное пространство размерности,–поле действительных чисел.

Отношения:

Бинарное отношение , определяющее отображение. Если, то будем говорить, что векторпорождает точкуи записывать.

Аксиомы:

1. , то есть π сюръективно.

2. .

7. Структура метрического пространства.

База:

–непустое множество, – поле действительных чисел.

Отношения:

Тернарное отношение , определяющее отображение. Если, то будем говорить, что– расстояние отдо.

Аксиомы:

3. (аксиома «треугольника»).

8. Структура топологического пространства.

База:

–множество точек.

Отношения:

Унарные отношения на множестве.

Подмножества условно называютсяоткрытыми.

Совокупность всех открытых множеств называетсятопологией пространства.

Аксиомы:

3. .