Аксіоматика Колмогорова — аксіоматика евклідової геометрії (планіметрії), запропонована академіком Андрієм Колмогоровим.
Неозначувані поняття
Неозначуваними поняттями в системі аксіом Колмогорова є: точка, пряма та відстань між двома точками. Множина всіх розглядуваних точок називається площиною. Крім основних понять планіметрії, використовуються поняття числа, множини і величини.
Зауважимо також, що при побудові планіметрії вважаються відомими правила логіки і загальні властивості чисел, множин і величин.
Аксіоми
Аксіоми планіметрії розбиваються на п'ять груп:
Перша група — аксіоми належності.
- І1. Кожна пряма є множиною точок.
- І2. Для будь-яких двох різних точок існує одна і тільки одна пряма, що їх містить.
- І3. Існує принаймні одна пряма і кожній прямій належить хоча б одна точка.
Друга група — аксіоми відстані.
- ІІ1. Для будь-яких двох точок і існує невід'ємна величина, яка називається відстанню від до . Відстань дорівнює нулю тоді і тільки тоді, якщо точки і збігаються. Відстань від до позначається .
- ІІ2. Для будь-яких точок і відстань від до дорівнює відстані від до .
- ІІ3. Для довільних трьох точок , , відстань від до не більша за суму відстаней від до і від до : .
Третя група ― аксіоми порядку.
- ІІІ1. Будь-яка точка прямої розбиває множину всіх відмінних від точок прямої на дві непорожні множини так, що:
- а) для будь-яких двох точок і , що належать різним множинам, точка лежить між і ;
- б) коли точки і належать одній і тій самій множині, то одна з них лежить між другою точкою і точкою .
- ІІІ2. Для будь-якої відстані на заданому промені з початком існує одна і тільки одна точка , відстань якої від точки дорівнює .
- ІІІ3. Якщо точка лежить між точками і , то точки , , належать одній прямій.
- ІІІ4. Будь-яка пряма розбиває множину точок площини, які не належать їй, на дві непорожні множини так, що:
- а) будь-які дві точки, що належать різним множинам, розділені прямою ;
- б) будь-які дві точки, що належать одній і тій самій множині, не розділені прямою .
Четверта група ― аксіома руху.
- IV1. Якщо відстань додатна і дорівнює відстані , то існує два і тільки два рухи, кожен з яких відображає точку на точку , а точку — на точку . Якщо — півплощина з межею , то вона цими переміщеннями відображається на дві різні півплощини і з межею .
П'ята група — аксіома паралельності.
- V1. Через точку проходить не більш як одна пряма, паралельна даній прямій.
Див. також
Посилання
- Ілляшенко В. Я. Основи геометрії [ 13 серпня 2016 у Wayback Machine.]: Навч. посіб. для вищ. навч. закл. — Луцьк : РВВ «Вежа» Волин. нац. ун-ту ім. Лесі Українки, 2012. — 256 с.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Aksiomatika Kolmogorova aksiomatika evklidovoyi geometriyi planimetriyi zaproponovana akademikom Andriyem Kolmogorovim Neoznachuvani ponyattyaNeoznachuvanimi ponyattyami v sistemi aksiom Kolmogorova ye tochka pryama ta vidstan mizh dvoma tochkami Mnozhina vsih rozglyaduvanih tochok nazivayetsya ploshinoyu Krim osnovnih ponyat planimetriyi vikoristovuyutsya ponyattya chisla mnozhini i velichini Zauvazhimo takozh sho pri pobudovi planimetriyi vvazhayutsya vidomimi pravila logiki i zagalni vlastivosti chisel mnozhin i velichin AksiomiAksiomi planimetriyi rozbivayutsya na p yat grup Persha grupa aksiomi nalezhnosti I1 Kozhna pryama ye mnozhinoyu tochok I2 Dlya bud yakih dvoh riznih tochok isnuye odna i tilki odna pryama sho yih mistit I3 Isnuye prinajmni odna pryama i kozhnij pryamij nalezhit hocha b odna tochka Druga grupa aksiomi vidstani II1 Dlya bud yakih dvoh tochok A displaystyle A i B displaystyle B isnuye nevid yemna velichina yaka nazivayetsya vidstannyu vid A displaystyle A do B displaystyle B Vidstan dorivnyuye nulyu todi i tilki todi yaksho tochki A displaystyle A i B displaystyle B zbigayutsya Vidstan vid A displaystyle A do B displaystyle B poznachayetsya A B displaystyle AB II2 Dlya bud yakih tochok A displaystyle A i B displaystyle B vidstan vid A displaystyle A do B displaystyle B dorivnyuye vidstani vid B displaystyle B do A displaystyle A II3 Dlya dovilnih troh tochok A displaystyle A B displaystyle B C displaystyle C vidstan vid A displaystyle A do C displaystyle C ne bilsha za sumu vidstanej vid A displaystyle A do B displaystyle B i vid B displaystyle B do C displaystyle C A C A B B C displaystyle AC leq AB BC Tretya grupa aksiomi poryadku III1 Bud yaka tochka O displaystyle O pryamoyi l displaystyle l rozbivaye mnozhinu vsih vidminnih vid O displaystyle O tochok pryamoyi l displaystyle l na dvi neporozhni mnozhini tak sho a dlya bud yakih dvoh tochok A displaystyle A i B displaystyle B sho nalezhat riznim mnozhinam tochka O displaystyle O lezhit mizh A displaystyle A i B displaystyle B b koli tochki A displaystyle A i B displaystyle B nalezhat odnij i tij samij mnozhini to odna z nih lezhit mizh drugoyu tochkoyu i tochkoyu O displaystyle O III2 Dlya bud yakoyi vidstani a displaystyle alpha na zadanomu promeni z pochatkom O displaystyle O isnuye odna i tilki odna tochka A displaystyle A vidstan yakoyi vid tochki O displaystyle O dorivnyuye a displaystyle alpha III3 Yaksho tochka C displaystyle C lezhit mizh tochkami A displaystyle A i B displaystyle B to tochki A displaystyle A B displaystyle B C displaystyle C nalezhat odnij pryamij III4 Bud yaka pryama l displaystyle l rozbivaye mnozhinu tochok ploshini yaki ne nalezhat yij na dvi neporozhni mnozhini tak sho a bud yaki dvi tochki sho nalezhat riznim mnozhinam rozdileni pryamoyu l displaystyle l b bud yaki dvi tochki sho nalezhat odnij i tij samij mnozhini ne rozdileni pryamoyu l displaystyle l Chetverta grupa aksioma ruhu IV1 Yaksho vidstan A B displaystyle AB dodatna i dorivnyuye vidstani A 1 B 1 displaystyle A 1 B 1 to isnuye dva i tilki dva ruhi kozhen z yakih vidobrazhaye tochku A displaystyle A na tochku A 1 displaystyle A 1 a tochku B displaystyle B na tochku B 1 displaystyle B 1 Yaksho r displaystyle rho pivploshina z mezheyu A B displaystyle AB to vona cimi peremishennyami vidobrazhayetsya na dvi rizni pivploshini u displaystyle u i v displaystyle v z mezheyu A 1 B 1 displaystyle A 1 B 1 P yata grupa aksioma paralelnosti V1 Cherez tochku A displaystyle A prohodit ne bilsh yak odna pryama paralelna danij pryamij Div takozhAksiomatika Gilberta Aksiomatika Aleksandrova Planimetriya Aksioma Evklidova geometriyaPosilannyaIllyashenko V Ya Osnovi geometriyi 13 serpnya 2016 u Wayback Machine Navch posib dlya vish navch zakl Luck RVV Vezha Volin nac un tu im Lesi Ukrayinki 2012 256 s