|
Аксіоматика Вейля евклідового просторуОсновні об'єкти: точка, вектор Аксіоми додавання векторів Основне відношення 1.1. Додавання векторів комутативне. 1.2. Додавання векторів асоціативно. 1.3. Існує вектор 1.4. Для будь-якого
Аксіоми добутку вектора на число Основне відношення 2.1. 2.2. 2.3. 2.4. Аксіома розмірності 3.1. Існує три лінійно незалежних векторів. Будь-які чотири вектори лінійно залежні.
Аксіоми скалярного добутку Основне відношення 4.1. 4.2. 4.3. 4.4.
Аксіоми відкладання векторів Основне відношення: 5.1. Для будь-якої точки 5.2. Аксіома трикутника. Для будь-яких трьох точок
Додаток Б Система аксіом Гильберта евклідового простору I. Аксіоми приналежності 1.1. Для будь-яких двох різних точок існує пряма, що проходить через ці точки. 1.2. Для будь-яких двох різних точок існує не більше однієї прямої, що проходить через ці точки. 1.3. Для кожної прямої існує принаймні дві точки, які їй належать. Існує три точки, що не належать одній прямій. 1.4. Для будь-яких трьох точок, що не належать одній прямій, існує площина, що проходить через ці точки. Для кожної площини існує принаймні одна точка, що їй не належить. 1.5. Для будь-яких трьох точок, що не належать одній прямій, існує не більше однієї площини, що проходить через ці точки. 1.6. Якщо дві точки прямої належать площині, то кожна точка цієї прямої належить площини. 1.7. Якщо дві площини мають спільну точку, то вони мають принаймні ще одну спільну точку. 1.8. Існує чотири точки, що не належать одній площині. II. Аксіоми порядку
2.1. Якщо 2.2. Для будь-яких двох точок 2.3. Для трьох різних точок прямої не більше однієї з них лежить між двома іншими. 2.4. (Аксіома Паша). Нехай задано трикутник
III. Аксіоми конгруентності
3.1. Якщо 3.2. Якщо 3.3. Нехай 3.4. Нехай дано 3.5. Нехай IV. Аксіоми неперервності 4.1. (Аксіома Архімеда). Нехай дано два довільних відрізка 4.2. (Аксіома Кантора). Нехай на прямій задано послідовність відрізків, які відповідають двом вимогам: 1) кожен наступний відрізок вкладений у попередній; 2) не існує відрізка, що належить усім відрізкам послідовності. Тоді існує точка, що належить кожному з відрізків послідовності. V. Аксіома паралельності
Через будь-яку точку, яка не належить даній прямій, в площині, що визначається ними, можна провести не більше однієї прямої, що не перетинає дану пряму.
Додаток В
Система аксіом Погорєлова евклідового простору 1. Аксіоми зв'язку: 1) Які б не були дві точки 2) Які б не були дві точки 3) На кожній прямій лежать, принаймні, дві точки. Існують три точки, що не лежать на одній прямій. 4) Які б не були три точки 5) Які б не були три точки 6) Якщо дві точки 7) Якщо дві площини 8) Існують, принаймні, чотири точки не лежать в одній площині. 2. Аксіоми порядку: 1) Якщо 2) В одному з двох напрямків 3) В одному з двох напрямків, якщо 4) В одному з двох напрямків для кожної точки 5) Пряма 3. Аксіоми руху:
1) Кожне рух 2) Кожний рух 3) Руху утворюють групу. 4) Якщо при русі 5) Для кожної пари точок 6) Для кожної пари променів 7) Нехай 4. Аксіома неперервності:
Аксіома Дедекінда: Нехай точки прямої розбиті на два непустих класи так, що в одному із двох напрямків на прямій кожна точка першого класу передує кожній точці другого класу і обидва класу непусті. Тоді або в першому класі існує точка, наступна за всіма іншими точками першого класу, або в другому класі є точка, що передує всім іншим точкам другого класу. 5. Аксіома паралельності: Через дану точку поза даною прямою можна провести на площині не більше однієї прямої, що не перетинає дану. Додаток Г
![]() ![]() Что способствует осуществлению желаний? Стопроцентная, непоколебимая уверенность в своем... ![]() Что будет с Землей, если ось ее сместится на 6666 км? Что будет с Землей? - задался я вопросом... ![]() ЧТО И КАК ПИСАЛИ О МОДЕ В ЖУРНАЛАХ НАЧАЛА XX ВЕКА Первый номер журнала «Аполлон» за 1909 г. начинался, по сути, с программного заявления редакции журнала... ![]() Что вызывает тренды на фондовых и товарных рынках Объяснение теории грузового поезда Первые 17 лет моих рыночных исследований сводились к попыткам вычислить, когда этот... Не нашли то, что искали? Воспользуйтесь поиском гугл на сайте:
|