Тачка у тродимензионалном еуклидском простору може се лоцирати по три координате.
Древни грчки геометри су увели еуклидски простор за моделовање физичког простора. Њихов рад је сакупио старогрчки математичар Еуклид у његовим елементима,[2] са великом иновацијом доказивања свих својстава простора као теорема, полазећи од неколико основних својстава, названих постулати, који су се или сматрали очигледним (јер на пример, постоји тачно једна права линија која пролази кроз две тачке), или је изгледало немогуће доказати (паралелни постулат).
Након увођења нееуклидских геометрија крајем 19. века, стари постулати су поново формализовани да дефинишу еуклидске просторе кроз аксиоматску теорију. Показало се да је друга дефиниција еуклидских простора помоћу векторских простора и линеарне алгебре еквивалентна аксиоматској дефиницији. Управо се ова дефиниција чешће користи у савременој математици и детаљно је описана у овом чланку.[3]
Општије речено, Еуклидов простор се назива m-димензионални метрички простор,[1] у којем је могуће увести Декартов координатни систем и тада се метрика дефинише на следећи начин:[2] растојање између тачке M са координатама и тачке M' израчунава се по формули:
Историја дефиниције
Еуклидски простор су увели стари Грци као апстракцију нашег физичког простора. Њихова велика иновација, која се појавила у Еуклидовим елементима, била је да изграде и докажу сву геометрију полазећи од неколико веома основних особина, које су апстраховане из физичког света, и које се не могу математички доказати због недостатка основних алата. Ова својства се називају постулати, или аксиоми у модерном језику. Овај начин дефинисања еуклидског простора и даље је у употреби под називом синтетичка геометрија.
Године 1637, Рене Декарт је увео картезијанске координате и показао да то омогућава свођење геометријских проблема на алгебарска израчунавања са бројевима. Ово свођење геометрије на алгебру била је велика промена гледишта, пошто су до тада реални бројеви дефинисани у смислу дужина и растојања.
Еуклидска геометрија није примењивана у просторима димензија већих од три све до 19. века. Лудвиг Шлафли је генерализовао еуклидску геометрију на просторе димензије n, користећи и синтетичке и алгебарске методе, и открио све регуларне политопе (вишедимензионални аналози Платонових тела) који постоје у еуклидским просторима било које димензије.[4]
Упркос широкој употреби Декартовог приступа, који се звао аналитичка геометрија, дефиниција еуклидског простора остала је непромењена до краја 19. века. Увођење апстрактних векторских простора омогућило је њихову употребу у дефинисању еуклидских простора са чисто алгебарском дефиницијом. Показало се да је ова нова дефиниција еквивалентна класичној дефиницији у смислу геометријских аксиома. Управо ова алгебарска дефиниција се сада најчешће користи за увођење еуклидских простора.
Мотивација савремене дефиниције
Један од начина да се размишља о еуклидској равни је као скуптачака које задовољавају одређене односе, који се могу изразити у смислу удаљености и углова. На пример, постоје две основне операције (које се називају покрети) на равни. Једна је транслација, што значи померање равни тако да се свака тачка помера у истом правцу и за исту удаљеност. Друга је ротација око фиксне тачке у равни, у којој се све тачке у равни окрећу око те фиксне тачке под истим углом. Једно од основних начела еуклидске геометрије је да две фигуре (које се обично сматрају подскуповима) равни треба сматрати еквивалентним (конгруентним) ако се једна може трансформисати у другу неким низом транслација, ротација и рефлексија (погледајте испод).
Да би све ово било математички прецизно, теорија мора јасно дефинисати шта је еуклидски простор и повезане појмове удаљености, угла, транслације и ротације. Чак и када се користи у физичким теоријама, еуклидски простор је апстракција одвојена од стварних физичких локација, специфичних референтних оквира, мерних инструмената и тако даље. Чисто математичка дефиниција еуклидског простора такође игнорише питања јединица дужине и других физичких димензија: растојање у „математичком“ простору је број, а не нешто изражено у инчима или метрима.
Стандардни начин да се математички дефинише еуклидски простор, као што је спроведено у наставку овог чланка, је дефинисање еуклидског простора као скупа тачака на којима делујереални векторски простор, простор транслација који је опремљен унутрашњим производом.[1] Деловање транслација чини простор афиним простором, а то омогућава дефинисање правих, равни, подпростора, димензија и паралелизма. Унутрашњи производ омогућава дефинисање растојања и углова.
Скуп од n-туплова реалних бројева опремљених скаларним производом је еуклидски простор димензије n. Насупрот томе, избор тачке која се зове исходиште и ортонормалне основе простора транслација је еквивалентан дефинисању изоморфизма између еуклидског простора димензије n и посматрано као еуклидски простор.
Из тога следи да се све што се може рећи о еуклидском простору може рећи и о Стога многи аутори, посебно на основном нивоу, називају стандардним еуклидским простором димензије n,[5] или једноставно еуклидским простор омдимензије n.
Разлог за увођење такве апстрактне дефиниције еуклидских простора и за рад са њом уместо је тај што је често пожељно радити на начин без координата и исходишта (то јест, без бирања жељене основе и жељеног порекла). Други разлог је тај што нема порекла нити било какве основе у физичком свету.
Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN3-540-11658-3
Coxeter, H.S.M. (1973) [1948]. Regular Polytopes (3rd изд.). New York: Dover. „"Schläfli ... discovered them before 1853 -- a time when Cayley, Grassman and Möbius were the only other people who had ever conceived of the possibility of geometry in more than three dimensions."”
Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN3-540-11658-3
Cameron, Peter J. (1991), Projective and polar spaces, QMW Maths Notes, 13, London: Queen Mary and Westfield College School of Mathematical Sciences, MR1153019
Andreescu, Titu; Andrica, Dorin (2014), „3.1.1 The Distance Between Two Points”, Complex Numbers from A to ... Z (2nd изд.), Birkhäuser, стр.57—58, ISBN978-0-8176-8415-0
Ó Searcóid, Mícheál (2006), „2.7 Distances from Sets to Sets”, Metric Spaces, Springer Undergraduate Mathematics Series, Springer, стр.29—30, ISBN978-1-84628-627-8
Ballantine, J. P.; Jerbert, A. R. (април 1952), „Distance from a line, or plane, to a point”, Classroom notes, American Mathematical Monthly, 59 (4): 242—243, JSTOR2306514, doi:10.2307/2306514CS1 одржавање: Формат датума (веза)
Csiszár, I. (1975), „I-divergence geometry of probability distributions and minimization problems”, Annals of Probability, 3: 146—158, JSTOR2959270, MR365798, doi:10.1214/aop/1176996454
Mielke, Paul W.; Berry, Kenneth J. (2000), „Euclidean distance based permutation methods in atmospheric science”, Ур.: Brown, Timothy J.; Mielke, Paul W. Jr., Statistical Mining and Data Visualization in Atmospheric Sciences, Springer, стр.7—27, doi:10.1007/978-1-4757-6581-6_2