Forumul Scientia

Matematică şi Logică => Geometrie => Subiect creat de: Mihnea Maftei din Aprilie 05, 2011, 11:34:26 PM

Titlu: Axioma paralelelor si geometria neeuclidiana
Scris de: Mihnea Maftei din Aprilie 05, 2011, 11:34:26 PM
De cand am aflat despre existenta geometriei neeuclidiene (acum mult timp), ma nedumereste o chestiune.

Nu am avut niciodata un curs despre geometria neeuclidiana, dar, din cate inteleg, geometria euclidiana este una in care postulatul al 5-lea al lui Euclid, cunoscut si ca "axioma paralelelor", nu este adevarat. Axioma paralelelor spune ca printr-un punct exterior unei drepte trece o singura (nu zero sau mai multe) dreapta paralela cu prima dreapta. In cadrul geometriei euclidiene pot trece mai multe drepte paralele...

Precizez ca, de fapt, "geometria neeuclidiana" este un termen general care include o categorie de geometrii, nu doar una. Printr-o geometrie, inteleg, in sens larg, un sistem coerent de axiome si tot ce rezulta din ele.

Nedumerirea mea este urmatoarea: In geometriile neeuclidiene, sunt notiunile de "dreapta" si "paralel" definite diferit fata de notiunile de "dreapta" si "paralel" din geometria euclidiana? Daca e asa, atunci nu ar trebui sa se spuna ca in geometriile neeuclidiene postulatul al 5-lea al lui Euclid nu e adevarat, pentru ca acest postulat foloseste alte definitii pentru "dreapta" si "paralel". Sau in geometriile neeuclidiene se folosesc aceleasi definitii pentru acele notiuni? Daca se folosesc aceleasi definitii, atunci imi e greu sa vad cum postulatul al 5-lea al lui Euclid poate fi considerat si adevarat si fals.

In timp ce am scris aceasta postare, am mai citit un pic si inteleg ca notiunea de "paralel" se poate referi la trei chestiuni:
1. Dreptele paralele sunt cele care nu se intersecteaza (dar apartin aceluiasi spatiu bidimensional...)
2. Dreptele paralele sunt cele intre care distanta e constanta.
3. Dreptele paralele sunt cele care formeaza unghiuri egale cu o alta dreapta care le intersecteaza.
In geometria euclidiana, toate cele trei chestiuni coincid.

Imi poate cineva raspunde la nedumerirea exprimata mai sus...? Multumesc.
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: Electron din Aprilie 06, 2011, 10:53:22 AM
Citat din: Mihnea din Aprilie 05, 2011, 11:34:26 PM
Nedumerirea mea este urmatoarea: In geometriile neeuclidiene, sunt notiunile de "dreapta" si "paralel" definite diferit fata de notiunile de "dreapta" si "paralel" din geometria euclidiana? Daca e asa, atunci nu ar trebui sa se spuna ca in geometriile neeuclidiene postulatul al 5-lea al lui Euclid nu e adevarat, pentru ca acest postulat foloseste alte definitii pentru "dreapta" si "paralel". Sau in geometriile neeuclidiene se folosesc aceleasi definitii pentru acele notiuni? Daca se folosesc aceleasi definitii, atunci imi e greu sa vad cum postulatul al 5-lea al lui Euclid poate fi considerat si adevarat si fals.
Definitiile sunt aceleasi in geometriile neeuclidiene ca si in cea euclidiana. Diferenta care face a 5-a axioma sa fie corecta sau nu, tine de forma spatiului respectiv. Adica, in spatiile euclidiene (numite si "plate" sau cu o "curbura zero"), axioma a 5-a a lui Euclid este adevarata. Dar in spatii cu curbura diferita de zero (curbura poate fi pozitiva - ex 2D: sfera; sau poate fi negativa - ex 2D: saua) aceasta axioma nu mai e adevarata.

De retinut ca definitia "paralelei" este bazata pe proprietatea de a nu se intersecta cu dreapta de referinta (in acelasi spatiu bidimensional). Daca se pastreaza unghiurile la intersectia cu alte drepte sau daca distanta dintre ele e constanta sau nu, astea sunt proprietati care se deduc pentru paralele, in fiecare (tip de) spatiu in parte. In spatiile euclidiene paralelele au proprietatile pe care le amintesti in plus fata de proprietatea din fefinitie, in alte spatii neeuclidiene, paralelele pot sa nu aiba aceste proprietati in plus.

Pentru un alt exemplu cre ilustreaza faptul ca proprietatile legate de unghiuri si distante nu se pastreaza neaparat, gandeste-te la proprietatea sumei unghiurilor unui triungi in spatiile euclidiene si in alte spatii. Tocmai forma diferita a spatiilor va face ca aceste proprietati legate de unghiuri si distante sa se modifice.


e-
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: Mihnea Maftei din Aprilie 06, 2011, 03:25:09 PM
Multumesc pentru raspuns.

Totusi, in spatiile neeuclidiene nu se foloseste o alta definitie a "dreptei"? Sau cum se difineste dreapta in general?
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: Electron din Aprilie 06, 2011, 03:59:55 PM
Dreapta in general se defineste constructiv (si intuitiv): prin doua puncte date, putem duce (cel putin) o dreapta. Dreapta nu are grosime, si are proprietatea ca pentru orice doua puncte de pe ea, dreapta le uneste pe "drumul cel mai scurt posibil". (Intuitiv: dreapta merge "mereu inainte" nu coteste nici la stanga nici la dreapta).


e-
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: zec din Aprilie 07, 2011, 01:55:48 AM
Modelul lui Lobacevsky este un model de geometrie in plan  construit doar intrun semiplan.Pentru informatii consideram o dreapta d care imparte un plan in 2 si in unul din semiplane definim o dreapta AB astfel semicercul cu centrul pe dreapta d iara aceasta constructie are loc atata timp cat mediatoarea se intersecteaza cu dreapta d(se poate vedea d ca Ox) iara in caz ca mediatoarea e paralela consideram dreapta AB dreapta perpendiculara pe d.Nu tine neaparat de forma spatiului ci mai degraba de limitarea lui.Modelele de geometrie neeuclidiana au loc pe subspatii ale lui [tex]R^3[/tex].
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: Abel Cavaşi din Aprilie 07, 2011, 08:37:28 AM
Citat din: Mihnea din Aprilie 06, 2011, 03:25:09 PM
Totusi, in spatiile neeuclidiene nu se foloseste o alta definitie a "dreptei"?
Dreapta are acelaşi sens atât în geometria euclidiană, cât şi în geometriile neeuclidiene. Dealtfel, geometriile neeuclidiene au apărut tocmai datorită faptului că nu s-a putut demonstra că printr-un punct exterior unei drepte se poate duce o singură paralelă la dreapta dată.

Mai mult, geometriile neeuclidiene sunt mai generale decât geometria euclidiană, o cuprind pe aceasta din urmă ca pe un caz particular (cazul în care curbura este nulă).

Cu această ocazie mai vreau să spun că geometriile actuale mi se par a fi insuficiente, căci nu iau în calcul torsiunea, ci numai curbura.
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: zec din Aprilie 07, 2011, 06:41:02 PM
Se pare ca nu se cunoaste foarte bine tema.Intradevar geometriile neeuclidiene au aparut destul de tarziu si in special datorat modificari pustulatului al 5-lea .Dar matematica la nivel axiomatic si aici ma refer la geometrie e definita la nivel de multime si elemente ale acestei multimi.Cand discutam despre notiuni de curbura sau torsiune intram in niste notiuni definite geometric si care nu definesc geometria ci caracterizeaza geometria.Deci aximoatic intai se defineste asa numita geometrie plana in care putem avea geometria euclidiana sau ceea neeclidiana.Ca sa fiu mai explicit am sa enunt primul grup de axiome.
1 planul este o multime de puncte pe care o vom nota cu [tex]P[/tex]
2 orice dreapta este o submultime a planului [tex]P[/tex]
3orice dreapta contine cel putin 2 puncte.In plan exista 3 puncte care nu sunt situate pe o dreapta
4 prin 2 puncte distincte trece o dreapta si numai una.
aceste 4 axiome sunt axiomele prin care se defineste dreapta in multimea de puncte a planului.In cazul in care planul numai e acelasi ca in spatiul euclidian avem posibilitatea sa avem drepte ca in modelul lui lobacevsky prezentat mai devreme sau altfel de drepte.In concluzie aceste axiome definesc unic si necontradictoriu o dreapta in sistemul axiomatic astfel ca singura axioma care se modifica este ceea a paralelelor si obtinem astfel un sistem axiomatic complet pentru asa numita geometrie neeuclidiana.Aparitia tarzie a acestei geometrii sa datorat exact lipsei unui model concret.La ora actuala existe mai multe modele de geometrie neeuclidiana dar care se separa in 2 tipuri numite si hiperbolic sau eliptic.Mai precis un model in care postulatul al 5 lea se modifica din printrun punct la o dreapta se poate duce o paralalela si numai una in se pot duce mai multe sau cel de al doilea in care nu se pot duce niciuna.Totusi si in geometria aceasta putem considera notiunea de cerc vazuta ca loc geometric si partea interesanta e sa vezi cum arata,avand in vedere ca un triunghi sau patrulater e mult mai usor de vizualizat.O alta parte interesanta a acestei geometrii este ca nu e una fantastica si uneori ne putem considera ca traim intrun model de acest gen.Pana la urma daca mergi in linie dreapta pe pamant vei ajunge sa faci in fapt ocolul pamantului in realitate si poti vedea un model geometric ca o sfera si dreptele sunt cercuri ale sferei.
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: A.Mot-old din Mai 01, 2011, 08:39:01 AM
Citat din: Electron din Aprilie 06, 2011, 03:59:55 PM
Dreapta in general se defineste constructiv (si intuitiv): prin doua puncte date, putem duce (cel putin) o dreapta. Dreapta nu are grosime, si are proprietatea ca pentru orice doua puncte de pe ea, dreapta le uneste pe "drumul cel mai scurt posibil". (Intuitiv: dreapta merge "mereu inainte" nu coteste nici la stanga nici la dreapta).


e-
in ce geometrie ai dat definitia dreptei?
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: Electron din Mai 01, 2011, 01:30:23 PM
Citat din: A.Mot din Mai 01, 2011, 08:39:01 AM
Citat din: Electron din Aprilie 06, 2011, 03:59:55 PM
Dreapta in general se defineste constructiv (si intuitiv): prin doua puncte date, putem duce (cel putin) o dreapta. Dreapta nu are grosime, si are proprietatea ca pentru orice doua puncte de pe ea, dreapta le uneste pe "drumul cel mai scurt posibil". (Intuitiv: dreapta merge "mereu inainte" nu coteste nici la stanga nici la dreapta).


e-
in ce geometrie ai dat definitia dreptei?
Am incercat sa exprim definitia in general, fara a folosi particularitati dintr-o anumita geometrie. Ai ceva de obiectat la definitia asta?

e-
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: A.Mot-old din Mai 01, 2011, 08:12:07 PM
Citat din: Electron din Mai 01, 2011, 01:30:23 PM
Citat din: A.Mot din Mai 01, 2011, 08:39:01 AM
Citat din: Electron din Aprilie 06, 2011, 03:59:55 PM
Dreapta in general se defineste constructiv (si intuitiv): prin doua puncte date, putem duce (cel putin) o dreapta. Dreapta nu are grosime, si are proprietatea ca pentru orice doua puncte de pe ea, dreapta le uneste pe "drumul cel mai scurt posibil". (Intuitiv: dreapta merge "mereu inainte" nu coteste nici la stanga nici la dreapta).


e-
in ce geometrie ai dat definitia dreptei?
Am incercat sa exprim definitia in general, fara a folosi particularitati dintr-o anumita geometrie. Ai ceva de obiectat la definitia asta?

e-
Pai in geometria euclidiana eu stiu ca prin doua puncte se poate duce doar o singura dreapta si nicidecum cel putin o dreapta cum afirmi tu......... :o
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: Electron din Mai 02, 2011, 01:20:31 PM
Citat din: A.Mot din Mai 01, 2011, 08:12:07 PM
Pai in geometria euclidiana eu stiu ca prin doua puncte se poate duce doar o singura dreapta si nicidecum cel putin o dreapta cum afirmi tu......... :o
Ceea ce am spus eu nu contrazice faptul ca in geometria euclidiana se poate duce exact o dreapta.

Ca sa ai cel putin o dreapta, trebuie sa ai neaparat mai mult de una?

e-
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: A.Mot-old din Mai 03, 2011, 07:38:38 AM
Citat din: Electron din Mai 02, 2011, 01:20:31 PM
Citat din: A.Mot din Mai 01, 2011, 08:12:07 PM
Pai in geometria euclidiana eu stiu ca prin doua puncte se poate duce doar o singura dreapta si nicidecum cel putin o dreapta cum afirmi tu......... :o
Ceea ce am spus eu nu contrazice faptul ca in geometria euclidiana se poate duce exact o dreapta.

Ca sa ai cel putin o dreapta, trebuie sa ai neaparat mai mult de una?

e-
Afirmatia ta duce la faptul ca in geometria euclidiana prin doua puncte se pot duce mai multe drepte si nu numai una singura.Cate drepte se pot duce prin doua puncte in geometria neeuclidiana? ::)
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: Electron din Mai 03, 2011, 04:18:35 PM
Citat din: A.Mot din Mai 03, 2011, 07:38:38 AM
Afirmatia ta duce la faptul ca in geometria euclidiana prin doua puncte se pot duce mai multe drepte si nu numai una singura.
Nu este adevarat. Ai o demonstratie pentru asta?

CitatCate drepte se pot duce prin doua puncte in geometria neeuclidiana? ::)
Se poate duce cel putin cate o dreapta.  ::)

e-
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: AlexandruLazar din Mai 03, 2011, 07:40:57 PM
A.Mot, permite-mi să traduc...

CitatDreapta in general se defineste constructiv (si intuitiv): prin doua puncte date, putem duce (cel putin) o dreapta. Dreapta nu are grosime, si are proprietatea ca pentru orice doua puncte de pe ea, dreapta le uneste pe "drumul cel mai scurt posibil". (Intuitiv: dreapta merge "mereu inainte" nu coteste nici la stanga nici la dreapta).

În orice sistem geometric vrei tu, prin două puncte date poți duce cel puțin o dreaptă; dacă nu poți duce niciuna, evident nu mai ai un sistem geometric prea grozav. În cazul geometriei euclidiene poți duce numai una. În alte geometrii poți duce mai mult. În orice caz, prin două puncte, poți duce întotdeauna cel puțin o dreaptă (dar câteodată -- în particular, dacă spațiul cu care lucrezi are metrică euclidiană parcă, nu mai mult de una).
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: atanasu din Octombrie 17, 2015, 12:49:51 PM
Mihnea , ma bucur ca absolut intamplator (nici nu stiu cum-probabil ca Cineva a dorit sa revin pe o preocupare mai veche cat mai sunt pasuit in timp) am observat aceast subiect care ma intereseaza si pe mine. O sa cercetez raspunsurile primite dar intrebarile tale sunt judicioase cu sublinierea ca nici dreapta si nici distanta nu sunt foarte clar definite sau, daca vrei, se definesc circular una prin cealalta ceea ce probabil ca face ca postulatul lui Euclid sa fie postulat si nu teorema. Faptul ca pe sfera (curbura pozitiva) sau pe o sha (curbura negativa) acestea sunt altfel ca forma nu face mai putin ca aceste spatii sa fie fata de spatiul tridimensional cam ce sunt logicele nonbivalente fata de logica bivalenta a lui Aristot.
Sper sa intelegi ce am vrut sa spun cu asta si poate ca despre acest subiect voi discuta in anii urmatori caci personal cred totusi ca in spatiul tridimensional care inglobeaza toate celelalte spatii ce difera intre ele prin forma, axioma paralelor este totusi o teorema cea mai adanca, este drept, dar teorema. Este doar o intuitie,  am inceput totus in trecut o incercare de demonstatie dar am intrerupt-o . Cred insa ca am ajuns intrun punct demn de interes si daca va iesi ceva evident ca vei fi primul de pe acest forum caruia ii voi spune ce am facut. Desi cred ca si dl Cavasi ar putea fi un judecator fiind de profesie matematician.
Poate ca este un noroc daca discutia, este drept ca foarte scurta si foarte veche (din 2011), ma va ajuta in ce vreau sa fac.  :)
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: atanasu din Octombrie 24, 2015, 11:07:23 PM
PS. Mihnea intrebi cum se defineste dreapta in general si-ti raspund ca prin proprietatea numita de mine rectitudine ea fiind ca si punctul una singura in sensul ca toate punctele sunt identice si deci identice cu sine si deci sunt unul cat si toate dreptele sunt identice intre ele si de asemeni sunt una.
E frumos nu-i asa?  Unul si Una! :)
Titlu: Răspuns: Axioma paralelelor si geometria neeuclidiana
Scris de: atanasu din Aprilie 06, 2016, 10:58:07 PM
Mihnea ca sa nu se inchida acest fir pe care tu l-ai deschis dar nu stiu daca mai revii  si pentruca am promis ca voi reveni dar inca nu am cu ce mai consistent incerc totusi sa mai inviorez tema cu o intrebare foarte grea :
Ce preferi, postulatul paralelelor sau axioma perpendicularei? :)
Titlu: Re: Axioma paralelelor si geometria neeuclidiana
Scris de: atanasu din Martie 20, 2018, 10:26:52 PM
Am spus ca dupa ce termin firul cu care ma muncesc de cca 3 ani , cel respectiv la Teoria Big Bangului si l-am terminat eu acolo nu ma mai intorc decat daca sunt solicitat in mod special sau prin natura discutiilor ce ar putea apare dar desi numarul de vizitatori are un ritm constant adica acel ritm car a dus sa se apropie de 100000 eu nu sunt solicitat in nici-un fel si deci pot aplica ce am spus adica sa revin la niste fire mai vechi pe cae fie le-am redeschis fie am intervenit la ele.
Acesta este unul dintre ele  si s-a incheiat cu intrebarea pusa de mine mai sus respectiv ce ne place mai mult axioma(postulatul ) paralelelor sau cel care il poate inlocui imediat daca transformam lema in teorema cel al unicitatii perpendicularei coborate dintr-un punct pe o dreapta. Mentionez ca sa nu mai fiu corectat ca acest postulat, al unicitatii paralelei este o forma mai eleganta cu care a fost inlocuit cel cu numarul 5 din Elementele lui Euclid care era:
Daca o dreapta intersecteaza alte doua drepte facand unghiuri interioare de aceiasi parte mai mici decat doua unghiuri drepte cele doua drepte prelungite la infinit se intalnesc in partea unde unghiurile sunt mai mici decat cele doua unghiuri drepte.

Mai mentionez ca am reluat aceasta discutie pe un alt fir unde ma voi deplasa chiar acum asa ca aici am incheiat subiectul cei interesati putand sa ma urmeze acolo.
.
Titlu: Re: Axioma paralelelor si geometria neeuclidiana
Scris de: atanasu din Aprilie 12, 2018, 10:14:33 AM
De fapt recitind acest capitol respectiv Geometrie cu difeitele si putinele ei fire fata de altele pline de, vorba lui Calahan citat de Electron sau poate invers, respectiv elucubratii,  constat ca asta este firul la care am intervenit si eu acum ceva vreme(2015)  si care este cel mai potrivit continuarii disctutiei despre postulatul(axioma 5) lui Euclid ceea ce ma scuteste sa deschid eu un fir cu un titlu potrivit.
Este un fir deschis acum 7 ani de un vizitator, Mihnea Maftei   caruia chiar i-am si promis ca la el voi reveni cand voi fi pregatit sa fac o anume discutie referitoare la cele spuse de exemplu de Farkas Bolyai referitor la  marea dificultate a problemeiaxiomei paralelelor. care preocupa geometrii in epoca sa
El a scris:,,Dacă cineva va găsi demonstraţia axiomei paralelelor, ar merita un diamant cât Pământul de mare.".... … ,,cui îi va reuşi aceasta, acestuia, muritori, să-i ridicaţi un monument nepieritor."

Ei! nici chiar asa! mai ales ca nu cred ca asta ar schimba ceva din stiinta matematica a geometriei dar subiectul desigur ca merita  orice osteneala, asa ca raman cu el aici si Zec daca va dori, va veni el aici dupa problema.
Mai sunt cativa care sper sa apara caci se pare ca nu au parasit total forumul. :)

Asadar putem sa-l bucuram macar si dupa aproape peste 200 ani pe profesorul Farkas Bolyai care  a studiat axioma paralelelor şi a remarcat faptul că aceasta este independentă de celelalte axiome ale geometriei. Mai mult, a reuşit să formuleze alte opt enunţuri echivalente ale acestei axiome(una, nu stiu daca se afla printre acestea, este cea preferata de userul Ion Adrian, respectiv unicitatea perpendicularei  inlocuind-o pe cea a unicitatii paralelei care azi si-a cucerit locul de cea mai potrivita exprimare a postulatului cu numarul 5).
Dar si pe fiul sau marele Janos Bolyai care a demonstrat că celebra axiomă a paralelelor este independentă de celelalte axiome ale geometriei şi a dedus că geometria lui Euclid nu este unica posibilă şi că se poate dezvolta o nouă geometrie mai generală pe care a denumit-o ştiinţa absolută a spaţiului, deci o geometrie independentă de cea clasică, pe care ulterior a fost denumita geometrie hiperbolică neeuclidiană. Geometria euclidiană era deci un caz limită al geometriei hiperbolice in care suprafata devine plana
Bibliografia pe care o voi folosi va fi minimal dar foarte bun adica o traducere englezeasca din greaca a Elementelor lui Euclid: http://www.perseus.tufts.edu/hopper/text?doc=Perseus%3Atext%3A1999.01.0086%3Abook%3D1%3Atype%3DDef%3Anumber%3D1
Sper sa o vedeti cat de cat ca sa vorbim despre aceleasi lucruri daca veti dori sa ma insotiti in aceasta excursie axiomatica in geometria euclidiana.
PS Cu scuze pentru cateva corectii facute azi 13 aprilie
Titlu: Re: Axioma paralelelor si geometria neeuclidiana
Scris de: atanasu din Mai 25, 2018, 09:27:31 PM
Sa-i raspund lui Abel aici caci el scrie cred ca in 2011 :  "Dealtfel, geometriile neeuclidiene au apărut tocmai datorită faptului că nu s-a putut demonstra că printr-un punct exterior unei drepte se poate duce o singură paralelă la dreapta dată."

Draga Abel macar in forma aceasta a postulatului am reusit sa fac demonstratia . Si poate ca cei care au intrevenit pe la paralelism Zec,Valangjed, tu  sau chiiar Eletron veti reusi voi sa faceti ce-mi cere si asteapta Electron de la mine adica sa ma ocup chiar de formularea lui Euclid. Am solutie si la asta dar poate sa o rezolvati voi cu cat v-am dat pana acum. Nu sunt nici egoist si nici invidios si m-ar bucura sa vad asta . Desigur nu pe acest fir ci pe cel deschis de mine referitor la postulat unde Electron tace si asteapta :)