Нееуклидска геометрија

Термин нееуклидска геометрија обухвата хиперболичку и елиптичку геометрију, које су негација еуклидске геометрије.[1][2] Суштинска разлика између еуклидске и нееуклидске геометрије је природа паралелних правих. У еуклидској геометрији, ако узмемо праву l и тачку A, која не лежи на l, онда можемо нацртати тачно једну праву кроз тачку A која је паралелна са правом l. У хиперболичкој геометрији, насупрот томе, има бесконачно много правих кроз A паралелних са l, док у елиптичкој геометрији паралелне праве уопште не постоје.

У сферној геометрији, на површини сфере нема паралелних линија

Други начин да опишемо разлике између ових геометрија је следећи. Замислимо две линије на дводимензионалној површи које су обе под правим углом на трећу линију. У еуклидској и хиперболичкој геометрији ове две линије су тада паралелне. У еуклидској геометрији линије остају на константној удаљености, секући се само у бесконачности, док у хиперболичкој геометрији оне се „закривљују“, удаљавајући се једна од друге што се више удаљавају од места пресека са заједничком нормалом; за њих се каже да су хиперпаралелне. У елиптичкој геометрији линије се „закривљују“, приближавајући се једна другој и коначно се секу. Према томе паралелне праве у елиптичкој геометрији не постоје.[3][4]

Историја уреди

Док еуклидска геометрија (названа по старогрчком математичару Еуклиду) спада међу најстарије познате области математике, нееуклидска геометрија није била шире прихваћена и призната све до 19. века. Мада, расправа која је могла да евентуално доведе до открића нееуклидске геометрије почела је скоро истог тренутка када је чувено Еуклидово дело „Елементи“ било објављено. У „Елементима“, Еуклид започиње са ограниченим бројем претпоставки (23 дефиниције, 5 основних појмова и 5 постулата) и тежи ка томе да докаже све остале резултате (пропозиције). Најпроблематичнији, али зато и најпознатији од постулата, обично се назива „Еуклидов пети постулат“, или једноставно „аксиома паралелности“, и он у Еуклидовој оригиналној формулацији гласи:

Ако права линија сече две друге праве линије на такав начин да је збир унутрашњих углова са исте стране мањи од два права угла, тада праве линије, продужене до бесконачности, секу се са оне стране са које су углови мањи од два права угла.

Други математичари касније су извели постулате који су еквивалентни овом постулату, али имају једноставнију форму. Међутим у било којој форми показало се да је овај Еуклидов пети постулат много сложенији од његових осталих постулата (међу којима се налази на пример и постулат: „Кроз било које две тачке може се повући права линија“).

Неколико стотина година, геометри (математичари) су се мучили око сложености петог постулата, верујући да се он може доказати као теорема изведена из остала четири постулата. Многи су покушавали да пронађу доказ заснован на методу свођења на противуречност. Међу њима је најпознатији био Италијан Ђовани Сакери. У раду насловљеном „Euclides ab Omni Naevo Vindicatus“ (Еуклид ослобођен од свих грешака), објављеном 1733, он одмах одбацује елиптичку геометрију као могућност (неке од осталих Еуклидових аксиома морале би бити модификоване да би елиптичка геометрија функционисала) и баца се на посао доказујући велики број резултата у хиперболичкој геометрији. Његова коначна поента је у томе да ови резултати који су у супротности са теоремама еуклидске геометрије доказују немогућност хиперболичке геометрије. Међутим, никакве логичке противуречности унутар ових резултата није било. Тако покушавајући да докаже Еуклидову геометрију он уместо тога у ствари ненамерно открива једну нову геометрију света. Ипак у то време још увек је широко било распрострањено веровање да наш свет или универзум функционише у складу са принципима еуклидске геометрије.

Сто година касније, тачније 1829. године, Рус Николај Иванович Лобачевски објављује студију о хиперболичкој геометрији. Из тог разлога, хиперболичка геометрија се често назива и „геометрија Лобачевског“. Отприлике у исто време, Мађар Јанош Бољаји такође пише своју студију о хиперболичкој геометрији, коју објављује 1832. као додатак на један рад свог оца. Велики математичар Карл Фридрих Гаус чита овај додатак и одговара Бољајију да је од до истих резултата и он лично дошао нешто раније.

Међутим приоритет у овом открићу припао је Лобачевском због ранијег објављивања свог рада. Основна разлика између овог и ранијих радова, као што је Сакеријев, је у томе што он први без икакве сумње тврди да Еуклидова геометрија није једина могућа геометрија, нити је једина опажајна структура нашег Универзума. Лобачевски назива еуклидску геометрију „обичном геометријом“, а своју нову хиперболичку геометрију „имагинарном геометријом“. Ипак, још увек се задржала могућност да су аксиоми хиперболичке геометрије логички некозистентни. Као што он напомиње, још доста посла требало би да буде урађено да би се потпуније засновала елиптичка геометрија.

Бернхард Риман, у својој чувеној лекцији из 1854, заснива област Риманове геометрије, разматрајући посебно идеје које се сада називају многострукост, Риманова метрика, и закривљеност. Он конструише бесконачну фамилију нееуклидских геометрија задајући овој фамилији формулу Риманове метрике на јединичној лопти у еуклидском простору. Понекад је њему неправедно приписивана част да је једини откривач елиптичне геометрије; али у ствари, ова његова конструкција показује далековидост његовог рада и чињеницу да су његове теореме важеће за све врсте геометрија.

Уобичајени модел за еуклидску геометрију је „равна површ“. С друге стране, најједноставњији модел за елиптичку геометрију је сфера, где су праве линије (нееуклидске праве) „велике кружнице“ (такве као што су екватор или меридијани на глобусу), док се тачке супротне једна другој подударају (сматрају се истим тачкама).

Чак и након радова Лобачевског, Гауса и Бољајиа, остало је питање: Да ли постоји модел очигледног представљања хиперболичке геометрије? На ово питање одговорио је Еугенио Белтрами, 1868, који је показао да површина названа псеудосфера има одговарајућу закривљеност за један модел делимичног хиперболичког простора, а у другом чланку објављеном исте године, дефинисан је Клајнов модел (Феликс Клајн), Поенкареов диск модел и Поенкареов полуравански модел (Анри Поенкаре) који чине у потпуности моделе очигледног представљања хиперболичке геометрије, а уједно показују да су еуклидска геометрија и хиперболичка геометрија еквиконзистентне, што значи да је хиперболичка геометрија логички конзистентна уколико је то и еуклидска геометрија. (Обрнута импликација следи из хоросферског модела еуклидске геометрије)

Развој нееуклидских геометрија показао се веома значајним за физику 20. века. Задајући ограничења брзини светлости, сабирање брзина захтевало је нужно коришћење хиперболичке геометрије. Ајнштајнова Општа теорија релативности описује простор као генерално раван (еуклидски), али и елиптички закривљен (нееуклидски) у областима у близини којих је присутна материја. С обзиром да се васиона шири (погледати чланак Хаблов закон), чак и простор где не постоји материја или маса може се описивати уз помоћ хиперболичког модела. Ова врста геометрије, где се закривљеност мења од тачке до тачке названа је римановска геометрија.

Постоје такође и други математички модели површи на којима Еуклидов постулат паралелности више не важи, као на пример Денова површ (Dehn plane) која се састоји од свих тачака (x, y), где су x и y коначни надреални бројеви.

Види још уреди

Референце уреди

  1. ^ Цоxетер, Х.С.M. (1961). Интродуцтион то Геометрy. Неw Yорк: Wилеy. 
  2. ^ Евес, Хоwард (1963). А Сурвеy оф Геометрy. Аллyн анд Бацон. 
  3. ^ Евес, Хоwард (2012), Фоундатионс анд Фундаментал Цонцептс оф Матхематицс, Цоуриер Довер Публицатионс, стр. 59, ИСБН 9780486132204, „Wе алсо оwе то Ламберт тхе фирст сyстематиц девелопмент оф тхе тхеорy оф хyперболиц фунцтионс анд, индеед, оур пресент нотатион фор тхесе фунцтионс. 
  4. ^ Ратцлиффе, Јохн (2006), Фоундатионс оф Хyперболиц Манифолдс, Градуате Теxтс ин Матхематицс, 149, Спрингер, стр. 99, ИСБН 9780387331973, „Тхат тхе ареа оф а хyперболиц триангле ис пропортионал то итс англе дефецт фирст аппеаред ин Ламберт'с монограпх Тхеорие дер Параллеллиниен, wхицх wас публисхед постхумоуслy ин 1786. 

Литература уреди

Спољашње везе уреди