Aksioma

Aksioma (greq. αξιωμα - vlerë, vleftë) është një pohim në vërtetësinë e të cilit nuk dyshohet, d.m.th. shpreh një marrdhënie mes kuptimeve themelore të një teorie e cila nuk përkufizohet d.m.th është e njohur apriori.

Në matematikë, aksiomë është çdo hamendësim i filluar nga i cili rrjedhin formulime të tjera logjike.
P.sh. kuptime themelore të matematikës janë numri, bashkësia, pika, drejtëza, rrafshi etj. Nëse këto kuptime themelore i lidhim me relacione themelore përftojmë pohimet themelore d.m.th. aksiomat.
 nëpër dy pika të ndryshme kalon një dhe vetëm një drejtëzë
 nëpër tre pika të ndryshme që nuk i takojnë një drejtëze kalon një dhe vetëm një rrafsh.
 Historia 

 Matematikë 
Me sa pika qe nuk I takojn nje drejtez percaktohet nje rrafsh I vetem

aksiomat

 Gjeometria e Euklidit 
Ndërtimi aksiomatik i i gjeometrisë. Kuptimet themelore dhe grupet e aksiomave EuklidiPërshtatur nga: John M. Lee, Axiomatic Geometry, Pure and Applied Undergraduate Texts 21, AMS, 2013. ), i cili jetoi rreth shekullit të tretë p.e.s., mund të konsiderohet si autori më i famshëm në historinë e njerëzimit. Libri i tij, Elementet, ka pasur më së shumti ribotime dhe vetëm Bibla e Kurani ia tejkalojnë (qartazi, me një audiencë më të gjerë). Elementet ishin botuar në trembëdhjetë vëllime, duke tentuar t'i sistematizon njohuritë e atëhershme të Gjeometrisë. Sikurse me tekstet e përmendura religjioze, edhe për autorësinë e vërtetë të Elementeve ka diskutime të shumta dhe është pothuajse e sigurt se vet Euklidi nuk i shkroi të gjitha ato që më vonë u shndërruan në 13 vëllime. Përkufizimet (definicionet) përshkruese: pika - "ajo që nuk ka pjesë", vija - "gjatësia pa gjerësi", drejtëza - "vija që qëndron barazueshëm me pikat në të", etj. (gjithsej nëntë prej tyre) logjike: "kur një drejtëz që qëndron në lidhje me një tjetër drejtëz ashtu që këndet e formuara fqinje janë të barabarta, atëherë secili prej atyre këndeve quhet i drejtë dhe drejtëza që qëndron në lidhje me tjetrën quhet normale ndaj saj", "rrethi...", "trekëndëshi barakrahës...", etj. Postulatet Organizimi rigoroz logjik i vërtetimeve. Duhet filluar me disa fakte pa vërtetim: Postulati i parë i Euklidit: Mund të vizatohet një drejtëz nga një pikë në cilindo pikë. Postulati i dytë i Euklidit: Mund të prodhohet një drejtëz e fundme (segment) në mënyrë të vazhdueshme në një drejtëz. Postulati i tretë i Euklidit: Mund të përshkruhet një rreth me çfarëdo qendre dhe çfarëdo distanca. Postulati i katërt i Euklidit: Të gjitha këndet e drejta janë të barabarta me njëra-tjetrën. Postulati i pestë i Euklidit: Nëse një drejtëz që qëndron ndaj dy drejtëzave ashtu që këndet e brendshme në anën e njëjtë janë më pak se dy kënde të drejta, atëherë dy drejtëzat, nëse vazhdohen pafundësisht do të takohen në anën në të cilën gjenden dy këndet me shumë më të vogël se dy kënde të drejta. Tri postulatet e para kanë të bëjnë me konstruktime të objekteve (me vizore të pashenjuar e të pafundme dhe me kompas). Dy të fundit kanë të bëjnë me raporte ndërmjet objekteve. Nocione të përgjithshme (Që po ashtu jepen pa vërtetim. Mbi madhësi.) 1: Gjërat që janë të barabarta me të njëjtën gjë janë të barabarta ndërmjet vete. 2: Nëse të barabartat i shtohen të barabartave, atëherë tërësitë janë të barabarta. 3: Nëse të barabartat i hiqen nga të barabartat, atëherë mbetjet janë të barabarta. 4: Gjërat që janë koincidojnë me njëra-tjetrën janë të barabarta me njëra-tjetrën. 5: E tëra është më e madhe sesa pjesa. Evitohen numrat. Ndoshta edhe për t'i ikur numrave irracionalë—qysh para kohës së Euklidit dihej se diagonalja e katrorit me gjatësi 1 është numër irracional. Në Elemente jepet vërtetimi i faktit se 2 nuk është racional. Pra, për t'i ikur "mos-ekzistencës" së 2, Euklidi krahason madhësi (pa numra), mbledh, zbrit ato si dhe e shqyrton raportin e tyre. Pohimet Në gjuhën moderne, ne i quajmë këto teorema, pohime, rrjedhime, lema. Pjesët: 1) Anoncimi , 2) Emërtimi/Konteksti, 3) Specifikimi, 4) Konstruktimi, 5) Vërtetimi, 6) Konkludimi. Tek konkludimi zakonisht përdoreshin frazat "që duhej bërë" (quod erat faciendum) ose "që duhej vërtetuar" (quod erat demonstrandum), që përdorej për teoremat. Është interesant që ato fraza kanë mbetur ende në zhargonin e matematikës moderne .
Nikolai Ivanovich Lobachevsky ishte një matematikan rus që na mësoi se gjeometria e Euklidit nuk është e vetmja lloj i mundshëm dhe mund të mos jetë gjeometria e vërtetë e hapësirës. Zbulimi i tij i madh ishte gjeometria jo euklidiane, në të cilën vijat paralele sillen çuditshëm dhe këndet e një trekëndëshi nuk bëjnë shumën 180 gradë. Ky sugjerim i tij u hodh poshtë me forcë si e u shfry si një tullumbace në atë kohë dhe Lobachevsky vdiq i verbër dhe në varfëri, duke mos e ditur që ndokush do të merrte ndonjëherë në konsideratë zbulimet e tij. /bota.al

 Aksiomat: Pas Euklidit Elementet u shndërrua në tekst standard. Çështja e postulatit të pestë: Disa besojnë se edhe vet Euklidi nuk e parapëlqente aq shumë atë postulat, sepse nuk e përdori deri në Pohimin I.29, edhe pse mund ta përdorte më herët për t'i thjeshtuar dukshëm disa vërtetime. Shumë matematikanë provuan të vërtetojnë se postulati i pestë rrjedh nga të tjerat ose tentuan ta zëvendësojnë atë me ndonjë postulat më të vetkuptueshëm. Këto përpjekje e shënojnë zhvillimin e gjeometrisë dhe matematikës për një kohë të gjatë. Giovanni Saccheri (1667-1733) - supozoi se postulati i pestë ishte i pavërtetë dhe pastaj nxori disa konkluzione (që tash e dimë se i takojnë gjeometrisë jo-euklidiane). John Playfair (1748-1819) - e zëvendësoi postulatin e pestë me atë që e përdorim më shpesh në kohërat moderne: "Dy drejtëza nuk mund të vizatohet nëpër të njëjtën pikë, paralele me të njëjtën drejtëz, pa koinciduar me njëra-tjetrën." Nikolai Lobachevsky (1792–1856) - duke supozuar se postulati i pestë nuk është i saktë, në një punim i vendosi bazat e asaj që tash quhet Gjeometri joeuklidiane. János Bolyai (1802–1860) - e zbuloi në mënyrë të pavarur Gjeometrinë joeuklidiane. Carl Friedrich Gauss (1777–1855) - po ashtu pohoi se në mënyrë të pavarur kishte arritur tek Gjeometria joeuklidiane. Eugenio Beltrami (1835–1900) - vërtetoi se Gjeometria joeuklidiane është konsistente sikurse ajo euklidiane. Prandaj, postulati i pestë nuk rridhte nga katër të parët. Më saktësisht, gjeometria e mësipërme është hiperbolike. Një tjetër gjeometri joeuklidiane u zbulua nga Bernhard Riemann (1826–1866), që quhet Gjeometri eliptike  .

 Shiko edhe 
Aksioma e Cantorit

 Lidhje të jashtme 

Kategoria:Matematikë
Kategoria:Logjikë