Арифметическая модель трехмерного евклидова пространства.

Геометрической моделью трехмерного евклидова пространства будем называть множество точек, прямых и плоскостей, удовлетворяющих двадцати аксиомам Д. Гильберта, сформулированным в §2, а также множество всевозможных фигур со свойствами, которые логически доказываются в рамках сформулированной аксиоматики. Эту модель будем обозначать e3 Арифметическая модель трехмерного евклидова пространства. - student2.ru и называть трёхмерным евклидовым пространством.

В этом параграфе вначале будет построена арифметическая (координатная) модель трёхмерного евклидова пространства e3 по схеме Г. Вейля, а затем, по этой же схеме будет построена модель многомерного арифметического евклидова пространства. Эта схема называется обоснованием евклидовой геометрии по Вейлю (Герман Вейль, 1885-1955); она базируется на системе аксиом Вейля, называемой точечно-векторной, т.к. в ней неопределяемыми понятиями (объектами аксиоматики) являются точки и векторы. Точки и векторы называются основными геометрическими объектами в модели Вейля, вступающими в отношения, определяемыми тремя группами аксиом, образующими аксиоматику Г. Вейля. Вот эти три группы аксиом:

-группа аксиом векторного пространства;

- группа аксиом скалярного произведения;

-группа аксиом откладывания вектора.

Первые две группы аксиом нам уже известны. Для изложения третьей группы аксиом введем операцию откладывания вектора. Эта операция сопоставляет всяким двум точкам A,BÎe3 вектор Арифметическая модель трехмерного евклидова пространства. - student2.ru и обозначается как отображение Арифметическая модель трехмерного евклидова пространства. - student2.ru . Операцию Арифметическая модель трехмерного евклидова пространства. - student2.ru можно представить как изображение направленного отрезка и определить следующими свойствами.

1. Для всякой фиксированной точки A0Îe3 и произвольной точки BÎe3 отображение Арифметическая модель трехмерного евклидова пространства. - student2.ru

Арифметическая модель трехмерного евклидова пространства. - student2.ru (4.1)

является взаимно-однозначным отображением точек BÎe3 на множество векторов Арифметическая модель трехмерного евклидова пространства. - student2.ru .

2.

(Аксиома треугольника). Для любых трех точек A,B,CÎe3 справедливо равенство

Арифметическая модель трехмерного евклидова пространства. - student2.ru .

3.

Арифметическая модель трехмерного евклидова пространства. - student2.ru
Арифметическая модель трехмерного евклидова пространства. - student2.ru
Арифметическая модель трехмерного евклидова пространства. - student2.ru
Арифметическая модель трехмерного евклидова пространства. - student2.ru
Рис. 4.1
(Аксиома реализуемости операции откладывания). Существует хотя бы одна точка 0Îe3, для которой определена операция откладывания вектора Арифметическая модель трехмерного евклидова пространства. - student2.ru для любой точки Арифметическая модель трехмерного евклидова пространства. - student2.ru

Эти три аксиомы будем называть аксиомами откладывания вектора.

Точку Арифметическая модель трехмерного евклидова пространства. - student2.ru в аксиоме 3 называют началом координат в евклидовом пространстве e3, а вектор Арифметическая модель трехмерного евклидова пространства. - student2.ru – радиус-вектором точки Арифметическая модель трехмерного евклидова пространства. - student2.ru в этом пространстве. Координатами Арифметическая модель трехмерного евклидова пространства. - student2.ru точки MÎe3 называют координаты радиус-вектора Арифметическая модель трехмерного евклидова пространства. - student2.ru (рис.4.1), где Арифметическая модель трехмерного евклидова пространства. - student2.ru , Арифметическая модель трехмерного евклидова пространства. - student2.ru , Арифметическая модель трехмерного евклидова пространства. - student2.ru – направленные отрезки в e3, соответствующие базисным векторам Арифметическая модель трехмерного евклидова пространства. - student2.ru , Арифметическая модель трехмерного евклидова пространства. - student2.ru , Арифметическая модель трехмерного евклидова пространства. - student2.ru векторного пространства Арифметическая модель трехмерного евклидова пространства. - student2.ru при отображении (4.1) с Арифметическая модель трехмерного евклидова пространства. - student2.ru . Таким образом, по построению операции откладывания вектора в e3, приходим к векторному равенству

Арифметическая модель трехмерного евклидова пространства. - student2.ru . (4.2)

Это равенство, с учетом фиксированной точки 0Îe3, представляет взаимно-однозначное соответствие между точками MÎe3 и арифметически упорядоченными тройками чисел Арифметическая модель трехмерного евклидова пространства. - student2.ru и позволяет определить координаты всех точек М евклидова пространства e3.

Для вычисления длин отрезков и углов между ними воспользуемся свойством 1 операции откладывания отрезка, и группой аксиом скалярного произведения, согласно которой имеют место следующие свойства скалярного произведения (3.6), (3.8), (3.9), (3.10) из §3.

Пусть требуется найти длину отрезка Арифметическая модель трехмерного евклидова пространства. - student2.ru , если заданы координаты его концов Арифметическая модель трехмерного евклидова пространства. - student2.ru и Арифметическая модель трехмерного евклидова пространства. - student2.ru . Учитывая, что Арифметическая модель трехмерного евклидова пространства. - student2.ru , из формулы (8) § 3 находим длину

Арифметическая модель трехмерного евклидова пространства. - student2.ru (4.3)

Пусть Арифметическая модель трехмерного евклидова пространства. - student2.ru = Арифметическая модель трехмерного евклидова пространства. - student2.ru (u1,v1,w1) и Арифметическая модель трехмерного евклидова пространства. - student2.ru = Арифметическая модель трехмерного евклидова пространства. - student2.ru (u2,v2,w2) - направленные отрезки в e3 и пусть их координаты Арифметическая модель трехмерного евклидова пространства. - student2.ru (u1,v1,w1), Арифметическая модель трехмерного евклидова пространства. - student2.ru (u1,v1,w1) в Е3. Тогда, используя формулы (3.6), (3.9), (3.10) из §3, получаем формулу для косинуса угла образованного векторами Арифметическая модель трехмерного евклидова пространства. - student2.ru и Арифметическая модель трехмерного евклидова пространства. - student2.ru

Арифметическая модель трехмерного евклидова пространства. - student2.ru (4.4)

Определение.

Арифметической, или координатной, моделью трёхмерного евклидова пространства e3 называется множество упорядоченных троек чисел (x,y,z) определяемых соответствием (4.2) вместе с формулами длины отрезка (4.З) и углов между направленными отрезками (4.4), выраженными через скалярное произведение. Арифметическую модель трехмерного евклидова пространства будем обозначать R3.

Вывод 1.

Для построения координатной модели трёхмерного евклидова пространства требуется задать:

· геометрическую модель направленных отрезков трехмерного векторного пространства e3 и изоморфную ей модель координатного векторного пространства Е3 ;

· структуру скалярного произведения, посредством которого вычисляются длины и углы;

· Структуру операции откладывания вектора состоящую из трёх аксиом Вейля.

Основные объекты геометрии - точки, прямые и плоскости в R3 определяются на «языке» векторов и координат и позволяют построить множество геометрических фигур. Рассмотрим пример такого построения.

Построение плоскости. Пусть плоскость П определяется точкой M0(x0,y0,z0) и вектором нормали (A,B,C). Это эквивалентно тому, что если М(x,y,z) - произвольная точка плоскости П, то Арифметическая модель трехмерного евклидова пространства. - student2.ru , что эквивалентно условию ( Арифметическая модель трехмерного евклидова пространства. - student2.ru Арифметическая модель трехмерного евклидова пространства. - student2.ru )=0, или в координатной форме П:

(x-x0)A+(y-y0)B+(z-z0)C=0

Таким образом, искомая плоскость П в R3 - это множество троек чисел (x, y, z), удовлетворяющих этому алгебраическому уравнению. Что даёт это уравнение? Оно позволяет для любой точки заданной своими координатами выяснить, где лежит эта точка: на плоскости, под плоскостью или над плоскостью.

Аналогичным образом, в виде алгебраических соотношений представляются все геометрические объекты в R3 и их метрические характеристики: длина, углы, площади и т.д.

Вывод 2.

Решение геометрических задач в модели R3 сводится к решению алгебраических задач: уравнений, систем уравнений, неравенств.

Наши рекомендации