Вывод 1
Для построения модели R3 требуется задать или построить:
геометрическую модель трехмерного векторного пространства (модель направленных отрезков 3);
изоморфную модель координатного векторного пространства Е3;
операцию откладывания вектора (1);
скалярное произведение, посредством которого вычисляются длины и
углы.
Основные объекты геометрии – точки, прямые и плоскости в R3 определяются на «языке» векторов и координат. Например, пусть плоскость П определяется точкой M0(x0,y0,z0) и вектором нормали (A,B,C). Это эквивалентно тому, что если М(x,y,z) – произвольная точка плоскости П, то , что эквивалентно условию ()=0, или в координатной форме П:
(x–x0)A+(y–y0)B+(z–z0)C=0
Таким образом, искомая плоскость П в R3 – это множество троек чисел (x, y, z), удовлетворяющих этому алгебраическому уравнению.
Аналогичным образом, в виде алгебраических соотношений представляются все геометрические объекты в R3 и их метрические характеристики: длина, углы, площади и т.д.
- Глава I 9
- Глава I математический формализм
- О понятии действительных чисел
- Формализм натуральных чисел
- Операции, определяющие формирование множества рациональных чисел
- Вывод 1
- Вывод 2
- Замечание 1
- Аксиоматика рациональных чисел
- Определение 1
- Следствие
- Задачи, приводящие к расширению множества рациональных чисел
- Задача 1
- Задача 2
- Вывод 3
- Аксиоматизация множества действительных чисел
- Аксиома непрерывности Кантора.
- Аксиоматическое обоснование евклидовой геометрии
- О “Началах” Евклида
- Аксиоматика д. Гильберта(1862–1943)
- Группа 1. Аксиомы соединения
- Теорема 1
- Теорема 2
- Теорема 3
- Группа 2. Аксиомы порядка
- Определение
- Группа 3. Аксиомы конгруэнтности
- Теорема (о внешнем угле треугольника)
- Определение движения
- Замечание 1
- Вывод 1
- Вывод 2
- Группа 4. Аксиомы непрерывности
- Замечание 2
- Замечание 3
- Вывод 3
- Группа 5. Аксиома параллельности
- Замечание 4
- Два недостатка аксиоматики д. Гильберта
- Структура векторного пространства
- Модель направленных отрезков
- Сложение обладает свойствами:
- Свойства операции умножения:
- Определение
- Арифметическая модель векторного пространства
- Теорема размерности
- Вывод 1
- Вывод 2
- Вывод 3
- Аксиомы скалярного произведения векторов
- Следствие
- Следствие
- Вывод 4
- Определение
- Модель Вейля евклидовой геометрии
- Арифметизация трехмерного евклидова пространства
- Свойства операции откладывания вектора
- Определение
- Вывод 1
- Вывод 2
- Многомерное арифметическое евклидово пространство
- Вывод 3
- Замечание
- Следствие 1
- Основные факты в планиметрии Лобачевского
- 1. Сумма углов многоугольника в плоскости l2
- Следствие 2
- Вывод 3
- Глава II свойства аксиоматических систем
- Математические структуры и аксиоматические теории
- Понятие отношений между объектами
- Следствие 1
- Пример 1
- Определение
- Следствие 2
- Понятие математической структуры
- Определение
- Замечание 1
- Формальная и содержательная аксиоматики. Теории и структуры
- Рассмотрим пример
- Вывод 1
- Вывод 2
- Определение
- Изоморфизм
- Пример 1
- Пример 2
- Определение изоморфизма
- Вывод 3
- Вывод 1
- Независимость аксиоматической системы
- Независимость аксиомы параллельности
- Замечание 1
- Дедуктивная полнота и категоричность системы аксиом
- Определение (дедуктивной полноты)
- Определение (категоричности)
- Историческая роль V постулата Евклида в развитии оснований математики
- Анализ текстовых парадоксов
- Языковые свойства имен объектов
- Пример 1
- Пример 2
- Пример 3
- Проблема выразимости
- Понятие искусственного языка
- Понятие парадокса
- “Ахиллес и черепаха”
- Парадокс пустого множества
- Парадокс достижимости в натуральном ряде
- “Одно и то же, но по–разному”
- Пример 1
- Пример 2
- Заключение
- Обозначения.
- Литература