1 / 16

Hilbert ův poloformální axiomatický systém

Hilbert ův poloformální axiomatický systém. Josef Psutka. Obsah. Stručný historický základ Axiómy incidence Axiómy uspořádání Axiómy shodnosti Axiómy spojitosti Axiómy rovnoběžnosti. Eukleides : Stoicheia ( Základy ) 310-280 p.n

skah
Download Presentation

Hilbert ův poloformální axiomatický systém

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Hilbertův poloformální axiomatický systém Josef Psutka

  2. Obsah • Stručný historický základ • Axiómy incidence • Axiómy uspořádání • Axiómy shodnosti • Axiómy spojitosti • Axiómy rovnoběžnosti

  3. Eukleides: Stoicheia (Základy)310-280 p.n 13 knih- základy planimetrie, geometrické algebry, aritmetiky a stereometrie Výklad spočívá na logické dedukci vět ze soustavy definic, postulátů a axiómů Celá práce je založena na 9tiaxiómech(obecných zásad), 5tipostulátech(úkolů prvotných) a 23tidefinicích(vymezení pojmů) Příklady axiómů: 1. Veličiny témuž rovné i navzájem rovny jsou. 2. Když se přidají veličiny rovné k rovným, icelky jsou rovny …. Historickýzáklad

  4. Postuláty: Budiž úkolem od kteréhokoli bodu ke kterémukoli bodu vésti přímku. A přímku omezenou nepřetržitě rovně prodloužiti. A z jakéhokoli středu a jakýmkoli poloměrem narýsovati kruh. A že všechny pravé úhly sobě rovny jsou. A když přímka protínajíc dvě přímky tvoří na téže straně přilehlé úhly menší dvou pravých, ty dvě přímky prodlouženy jsouce do nekonečna že se sbíhají na té straně, kde jsou úhly menší dvou pravých. Definice: 1. Bod jest, co nemá dílu. 2. Čára pak délka bez šířky. 3. Hranicemi čáry jsou body. 4. Přímá jest čára (přímka), která svými body táhne se rovně. …..

  5. Přesné stanovení výchozích axiómů geometrie DavidHilbert (1899-Grundlagen der Geometrie) • Po axiómech následují definice (slovní vymezení pojmů uvedením jejich typických znaků) a věty(platné poučky odvozené ze základních předpokladů). • Logické uspořádání (nová věta můžebýt odvozena pouzez axiómů a z vět již dokázaných) • Hilbert nedefinoval základní pojmy ( bod,přímka,rovina, náležeti, býti mezi, shodnost, spojitost a rovnoběžnost) přímo ale přes jejich vlastnosti v rámci uvedených axiomů.

  6. Axiómyincidence 1 - Dvěma navzájem různými body prochází jediná přímka 2 - Na každé přímce existují alespoň dva různé body 3 - Existují alespoň 3 body, které neleží v přímce 

  7. Příklady odvozených vět: Příklady definic: • Def.I.1: Tři body, které leží na téže přímce se nazývají kolineární; tři body nenáležející téže přímce budeme nazývat nekolineární • Def. I.2: Dvě různé přímky, jejichž průnikem je jediný bod se nazývají • různoběžné a jejich společný bod nazýváme průsečík. • Věta I.1: Dvě různé přímky mohou mít společný nejvýše jeden bod. • Věta I.2: Mimo každou přímku leží alespoň jeden bod . • Věta I.3: Ke každému bodu lze určit přímku, která jím neprochází. ...

  8. Axiómy uspořádání 1 - Jestliže bod Bleží mezi body A,C, pak A, B, C jsou tři různé kolineární body (na přímce) aplatí též, že bod B leží mezi body C,A 2 - Ze tří různých bodů přímky leží právě jeden mezi ostatními dvěma 3 - Jestliže bod Bleží mezi body A,C, pak bod C neleží mezi body A,B (jsou-liA ≠B, pak vždy existuje aspoň jeden bod C takový, že bod Bleží mezi body A,C) 4 - Každá přímka prozdělí body, které na ní neležící do dvou tříd s následujícími vlastnostmi - mezí dvěma různými body téže třídy neleží bod přímky p - mezi dvěma body z různých tříd leží právě jeden bod přímky p

  9. Příklady odvozených definic: • Def.U.1: Vnitřkem úsečky AB rozumíme množinu všech bodů Xpřímky AB takových, že bod Xleží mezi body A,B. Úsečkou AB rozumímevnitřek spolu s krajními body A, B. • Poloroviny, opačné poloroviny, polopřímky, • Def U.6: Průnik polorovin →AVB a →BVA nazýváme úhel (značíme AVB). Polopřímky VA a VB nazýváme ramena úhlu, bod V se nazývá vrchol úhlu. Body úhlu neležící na ramenech náleží tzv. vnitřku úhlu. • Def. U.10 Nechť A,B,C jsou tři nekolineární body.Průnik polorovin ABC, BCA a CAB nazýváme trojúhelník. Body A,B,C se nazývajívrcholy, úsečky AB, BC a CA se nazývají strany. • … Příklady odvozených vět: • VětaU.1:Na každé přímce leží nekonečně mnoho navzájem různých bodů. • VětaU.2: Každým bodem prochází nekonečně mnoho přímek. • …

  10. Axiómy shodnosti 1 - Jestliže AB≈CD a CD ≈ EF, potom AB ≈EF. Navíc každá úsečka jeshodná sama se sebou. 2 - Nechť je AB úsečka a CD polopřímka. Potom na CD leží jediný bod Etakový, že AB ≈ CE. 3 - Jestliže C leží mezi A,B a C‘leží C' leží mezi A',B', přičemž AC ≈A'C' a BC ≈B'C',potom platí AB ≈A'B'. 4 - Jestliže A ≈B a B ≈C, potom A ≈C. Navíc každý úhel jeshodný sám se sebou. 5 - Je dán úhel ABC a trojice nekolineárních bodů A',B', M Potom v polorovině A'B'M existuje jediná polopřímka B'C' taková, že ABC ≈A'B'C'. 6 - Budiž dány dva trojúhelníky ABC a A'B'C'. Jestliže platí AB ≈A'B', AC ≈A'C' a BAC ≈B'A'C', potom platí také BC ≈B'C',  ABC ≈A'B'C' a ACB ≈A'C'B'. 

  11. Příklady odvozených definic: • DefS.1: Bod S přímky AB se nazývá středem úsečky AB, jestližeplatí AS≈BS. • Def S.2: AB < CD, jestliže existuje takový bod E mezi body CD, že AB≈CE. • Definice součtu úseček a rozdílu úseček,součtu a rozdílu úhlů, shodné trojúhelníky, rovnostranné trojúhelníky, • Def. S.x: Úhel shodný se svým úhlem vedlejším se nazývá pravý. • …

  12. Příklady odvozených vět: • Věta S.1: (uspořádání úseček) Pro úsečky AB a CD nastává právějedna z možností AB>CD AB ≈ CD AB<CD • Obdobná věta platí pro úhly, • Věta S.2: (sus) Jestliže pro dva trojúhelníky ABC a A' B'C' platí AB≈A'B', AC≈A'C' a  A ≈A', pak jsou shodné. • Obdobná věta pro sss,usu. • Věta S.3: Všechny pravé úhly jsou navzájemshodné. • Věta S.4: Daným bodem A lze vést k přímce p jedinou kolmici. • Věta S.5:Nechť je dána přímka p a bod A mimo ni. Je-li P průsečík přímky p s kolmicí vedenou bodem A k přímce p, pak pro každý bod X ≠ P přímky p platí AX > AP.

  13. Axióm spojitosti DEOEKINOŮV AXIÓM Body úsečky AB rozdělíme do dvou tříd s následujícími vlastnostmi: 1. Každý bod patří právě jedné třídě. 2. Bod A patří první třídě, bod B patří druhé třídě. 3. Náleží-li bod X první třídě, pak této třídě patří i každý bodležící mezi AX. Potom existuje tzv. hraniční bod H, který patří buď první, nebodruhé třídě a má následující vlastnosti: a) je-li H ≠ A, pak každý bod X mezi A, H patří první třídě, b) je-li H ≠B, pak každý bod Y mezi B, H patří druhé třídě.

  14. Příklady odvozených vět: Věta D.1: Jestliže jeden krajní bod úsečky leží uvnitř kružnice a druhý vně potom daná úsečka protíná danou kružnici.   Věta D.2: Jestliže jeden bod kružnice k leží uvnitř kružnice l a druhý bod kružnice k leží vně kružnice l, potom se kružnice k, l protínají ve dvou bodech. Věta D.3: Nechť je dána úsečka OI nazývaná jednotková úsečka.Potomexistuje jediné zobrazení AB→|AB| (úsečka → délka úsečky) mající následující vlastnosti: - |AB|je kladné reálné číslo a |OI|= 1 - |AB| = |CD |právě tehdy když AB ≈ CD - |AB| + |BC | = |AC |právě tehdy když bod B leží mezi AC - pro každé reálné x existuje úsečka AB taková,že |AB| = x ….

  15. Axióm rovnoběžnosti • V rovině lze každým bodem mimo přímku vést nejvýše jednu s ní seneprotínající přímku. alternativně • 5. Eukleidův postulát • Existují alespoň 3 kolineární body, které jsou stejně vzdáleny od dané přímky. • …

  16. Př. Důkaz ekvivalence 5. Eukleidova postulátu a axiómu rovnoběžnosti. • Nejprve → Na příčce p dvou přímek a,b zvolme bod C tak, že A leží mezi C,B, kde Análežía a Bnáležíb. Dále na přímce a zvolíme bod D a v polorovině ABD bod E takový, že DAB + EBA < 180. Buď F bod v polorovině ABD takový, že DAC≈FBA. Přímky BF a BE jsou různé, přičemž BF je přímka jdoucí bodem B, která je s AD nerůznoběžná. Podle (R) je navíc jediná, a proto se AD a BE protínají. • Implikace naopak Budiž dána přímka AB a mimo ni bod P.Uvažujme dále bod C takový, že bod A leží mimo C,P.V téže polorovině s hraniční přímkou AP zvolme body B,D tak, aby CAB ≈ APD. Potom přímky AB a PD jsou nerůznoběžné a současně platí PAB + APD = 180.Každá další přímka procházející bodem P různá od PD s příčkou AP tvoří na téže straně přilehlé úhly menší dvou pravých,a proto podle (Post-5) přímku AB protíná. Takže PD je jediná nerůznoběžka vedená bodem P.

More Related