Euklidov prostor

S Vikipedije, slobodne enciklopedije

Tačka u trodimenzionalnom euklidskom prostoru može se locirati po tri koordinate.

Euklidov prostor je fundamentalni prostor klasične geometrije čija se svojstva opisuju aksiomama apsolutne geometrije i Euklidovim postulatom (aksiomom) o paralelnim pravama. Prvobitno, to jest, u Euklidovim elementima, to je bio trodimenzionalni prostor euklidske geometrije, ali u modernoj matematici postoje euklidski prostori bilo koje pozitivne celobrojne dimenzije,[1] uključujući trodimenzionalni prostor i euklidsku ravan (dimenzija dva). Kvalifikator „euklidski“ se koristi za razlikovanje euklidskih prostora od drugih prostora koji su kasnije razmatrani u fizici i modernoj matematici.

Drevni grčki geometri su uveli euklidski prostor za modelovanje fizičkog prostora. Njihov rad je sakupio starogrčki matematičar Euklid u njegovim elementima,[2] sa velikom inovacijom dokazivanja svih svojstava prostora kao teorema, polazeći od nekoliko osnovnih svojstava, nazvanih postulati, koji su se ili smatrali očiglednim (jer na primer, postoji tačno jedna prava linija koja prolazi kroz dve tačke), ili je izgledalo nemoguće dokazati (paralelni postulat).

Nakon uvođenja neeuklidskih geometrija krajem 19. veka, stari postulati su ponovo formalizovani da definišu euklidske prostore kroz aksiomatsku teoriju. Pokazalo se da je druga definicija euklidskih prostora pomoću vektorskih prostora i linearne algebre ekvivalentna aksiomatskoj definiciji. Upravo se ova definicija češće koristi u savremenoj matematici i detaljno je opisana u ovom članku.[3]

Opštije rečeno, Euklidov prostor se naziva m-dimenzionalni metrički prostor,[1] u kojem je moguće uvesti Dekartov koordinatni sistem i tada se metrika definiše na sledeći način:[2] rastojanje između tačke M sa koordinatama i tačke M' izračunava se po formuli:

Definicija[uredi | uredi izvor]

Istorija definicije[uredi | uredi izvor]

Euklidski prostor su uveli stari Grci kao apstrakciju našeg fizičkog prostora. Njihova velika inovacija, koja se pojavila u Euklidovim elementima, bila je da izgrade i dokažu svu geometriju polazeći od nekoliko veoma osnovnih osobina, koje su apstrahovane iz fizičkog sveta, i koje se ne mogu matematički dokazati zbog nedostatka osnovnih alata. Ova svojstva se nazivaju postulati, ili aksiomi u modernom jeziku. Ovaj način definisanja euklidskog prostora i dalje je u upotrebi pod nazivom sintetička geometrija.

Godine 1637, Rene Dekart je uveo kartezijanske koordinate i pokazao da to omogućava svođenje geometrijskih problema na algebarska izračunavanja sa brojevima. Ovo svođenje geometrije na algebru bila je velika promena gledišta, pošto su do tada realni brojevi definisani u smislu dužina i rastojanja.

Euklidska geometrija nije primenjivana u prostorima dimenzija većih od tri sve do 19. veka. Ludvig Šlafli je generalizovao euklidsku geometriju na prostore dimenzije n, koristeći i sintetičke i algebarske metode, i otkrio sve regularne politope (višedimenzionalni analozi Platonovih tela) koji postoje u euklidskim prostorima bilo koje dimenzije.[4]

Uprkos širokoj upotrebi Dekartovog pristupa, koji se zvao analitička geometrija, definicija euklidskog prostora ostala je nepromenjena do kraja 19. veka. Uvođenje apstraktnih vektorskih prostora omogućilo je njihovu upotrebu u definisanju euklidskih prostora sa čisto algebarskom definicijom. Pokazalo se da je ova nova definicija ekvivalentna klasičnoj definiciji u smislu geometrijskih aksioma. Upravo ova algebarska definicija se sada najčešće koristi za uvođenje euklidskih prostora.

Motivacija savremene definicije[uredi | uredi izvor]

Jedan od načina da se razmišlja o euklidskoj ravni je kao skup tačaka koje zadovoljavaju određene odnose, koji se mogu izraziti u smislu udaljenosti i uglova. Na primer, postoje dve osnovne operacije (koje se nazivaju pokreti) na ravni. Jedna je translacija, što znači pomeranje ravni tako da se svaka tačka pomera u istom pravcu i za istu udaljenost. Druga je rotacija oko fiksne tačke u ravni, u kojoj se sve tačke u ravni okreću oko te fiksne tačke pod istim uglom. Jedno od osnovnih načela euklidske geometrije je da dve figure (koje se obično smatraju podskupovima) ravni treba smatrati ekvivalentnim (kongruentnim) ako se jedna može transformisati u drugu nekim nizom translacija, rotacija i refleksija (pogledajte ispod).

Da bi sve ovo bilo matematički precizno, teorija mora jasno definisati šta je euklidski prostor i povezane pojmove udaljenosti, ugla, translacije i rotacije. Čak i kada se koristi u fizičkim teorijama, euklidski prostor je apstrakcija odvojena od stvarnih fizičkih lokacija, specifičnih referentnih okvira, mernih instrumenata i tako dalje. Čisto matematička definicija euklidskog prostora takođe ignoriše pitanja jedinica dužine i drugih fizičkih dimenzija: rastojanje u „matematičkom“ prostoru je broj, a ne nešto izraženo u inčima ili metrima.

Standardni način da se matematički definiše euklidski prostor, kao što je sprovedeno u nastavku ovog članka, je definisanje euklidskog prostora kao skupa tačaka na kojima deluje realni vektorski prostor, prostor translacija koji je opremljen unutrašnjim proizvodom.[1] Delovanje translacija čini prostor afinim prostorom, a to omogućava definisanje pravih, ravni, podprostora, dimenzija i paralelizma. Unutrašnji proizvod omogućava definisanje rastojanja i uglova.

Skup od n-tuplova realnih brojeva opremljenih skalarnim proizvodom je euklidski prostor dimenzije n. Nasuprot tome, izbor tačke koja se zove ishodište i ortonormalne osnove prostora translacija je ekvivalentan definisanju izomorfizma između euklidskog prostora dimenzije n i posmatrano kao euklidski prostor.

Iz toga sledi da se sve što se može reći o euklidskom prostoru može reći i o Stoga mnogi autori, posebno na osnovnom nivou, nazivaju standardnim euklidskim prostorom dimenzije n,[5] ili jednostavno euklidskim prostor omdimenzije n.

Razlog za uvođenje takve apstraktne definicije euklidskih prostora i za rad sa njom umesto je taj što je često poželjno raditi na način bez koordinata i ishodišta (to jest, bez biranja željene osnove i željenog porekla). Drugi razlog je taj što nema porekla niti bilo kakve osnove u fizičkom svetu.

Vidi još[uredi | uredi izvor]

Reference[uredi | uredi izvor]

  1. ^ a b v Solomentsev 2001.
  2. ^ a b Ball 1960, str. 50–62.
  3. ^ Berger 1987. sfn greška: više ciljeva (2×): CITEREFBerger1987 (help)
  4. ^ Coxeter 1973.
  5. ^ Berger 1987, Section 9.1. sfn greška: više ciljeva (2×): CITEREFBerger1987 (help)

Literatura[uredi | uredi izvor]

Spoljašnje veze[uredi | uredi izvor]