Топологија

За друге употребе погледајте страницу Топологија (вишезначна одредница).

Топологија (од грчког τόπoς „место“ и λόgoς „наука, знање, реч“) је грана математике која проучава глобалне (геометријске) структуре и тополошке просторе. Топологија је једна од најмлађих грана математике, која је надовезујући се на математичку анализу и теорију скупова, својим динамичним развојем током 20. века довела до решења неколико значајних класичних математичких проблема.

Мебијусова трака је један од објеката који се проучавају у топологији. Она је објекат који нема одвојену унутрашњу и спољашњу страну, већ има само једну страну и једну ивицу. Модел Мебијусове траке се лако може направити тако што се узме папирна трака, и заротира се по дужини за 180°, а затим се крајеви траке залепе.

Основни објекат у топологији је тополошки простор, који се дефинише као уређени пар (X, $\tau$) неког скупа X и подскупа његовог партитивног скупа у ознаци $\tau$.

Подела

Топологија се дели на:

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

• геометријска топологија, која проучава многострукости и
• диференцијална топологија, која проучава диференцијална пресликавања.

Мотивација

Мотивирајући увид иза топологије је да неки геометријски проблеми не зависе од тачног облика укључених објеката, већ пре од начина на који су спојени. На пример, квадрат и круг имају многа заједничка својства: оба су једнодимензионални објекти (са тополошке тачке гледишта) и оба раздвајају раван на два дела, део унутра и део споља.

У једном од првих радова из топологије, Леонхард Ојлер је показао да је немогуће пронаћи руту кроз град Кенигсберг (данас Калињинград) која би тачно једном прешла сваки од његових седам мостова. Овај резултат није зависио од дужине мостова или од њихове удаљености један од другог, већ само од својстава повезивања: који мостови се повезују са којим острвима или обалама реке. Овај проблем седам мостова Кенигсберга довео је до гране математике познате као теорија графова.

Континуирана деформација (врста хомеоморфизма) шоље у крофну (торус) и кравe (без otvora) у сферу

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

Да би се решили ови проблеми који се не ослањају на тачан облик објеката, мора бити јасно на која се својства ови проблеми ослањају. Из ове потребе произилази појам хомеоморфизма. Немогућност преласка сваког моста само једном важи за било који распоред мостова који је хомеоморфан онима у Кенигсбергу, а теорема о длакавој кугли важи за било који простор хомеоморфан сфери.

Интуитивно, два простора су хомеоморфна ако се један може деформисати у други без сечења или лепљења. Традиционална шала је да тополог не може да разликује шољу за кафу од крофне, јер се довољно савитљива крофна може преобликовати у шољу за кафу стварањем удубљења и поступним повећањем, док се рупа скупља у дршку.

Историја

Кенигзбершки мостови, чувени тополошки проблем.

Грана математике која се данас назива топологијом је настала изучавањем одређених геометријских питања. Ојлеров рад из 1736. о Кенигзбершким мостовима спада међу прве тополошке резултате. Израз топологија је у немачки језик увео Јохан Бенедикт Листинг 1847, у раду Vorstudien zur Topologie, Vandenhoeck und Ruprecht, Göttingen, pp. 67, 1848. Међутим, Листинг је већ десет година користио овај израз у препискама. Модерна топологија се у великој мери заснива на теорији скупова, коју је развио Георг Кантор крајем деветнаестог века. Кантор је, осим што је поставио основне идеје теорије скупова, такође разматрао скупове тачака у Еуклидском простору, у склопу проучавања Фуријеових редова. Анри Поенкаре је 1895. године објавио књигу Analysis Situs, у којој је увео концепте хомотопије и хомологије, који се данас сматрају делом алгебарске топологије. Морис Фреше је, обједињујући рад Кантора, Волтере, Арцеле, Адамара, Ђулија Асколија и других, 1906. увео метрички простор. Метрички простор се данас сматра посебним случајем општег тополошког простора. 1914, Феликс Хаусдорф је сковао израз тополошки простор и дао дефиницију за оно шта се данас назива Хаусдорфовим простором. У данашњем значењу, тополошки простор је благо уопштавање Хаусдорфових простора, које је 1922. дао Казимир Куратовски.

Дана 14. новембра 1750, Ојлер је писао пријатељу да је схватио важност ивица полиедра. Ово је довело до његове формуле полиедра, V − E + F = 2 (где V, E, и F означавају број врхова, ивица и лица полиедра). Неки ауторитети ову анализу сматрају првом теоријом која сигнализира рођење топологије.

Даље доприносе дали су Огистен Луј Коши, Лудвиг Шлефли, Јохан Бенедикт Листинг, Бернхард Риман и Енрико Бети. Листинг је увео термин „топологија“ у делу Vorstudien zur Topologie, написаном на његовом матерњем немачком, 1847. године, након што је ту реч користио десет година у преписци пре њеног првог појављивања у штампи. Енглески облик „topology” је коришћен 1883. у Листинговој читуљи у часопису Nature да се направи разлика између „квалитативне геометрије и обичне геометрије у којој се углавном третирају квантитативни односи”.

Њихов рад је кориговао, консолидовао и увелико проширио Анри Поенкаре. Године 1895, он је објавио свој револуционарни рад о Анализи локације, који је увео концепте сада познате као хомотопија и хомологија, који се сада сматрају делом алгебарске топологије.

Тополошке карактеристике затворених 2-многострукости

Многострукост	Ојлеров број	Оријентабилност	Бетијеви бројеви			Коефицијент торзије (1-дим)
			b0	b1	b2
Сфера	2	Оријентабилна	1	0	1	нема
Торус	0	Оријентабилна	1	2	1	нема
торус са 2 отвора	−2	Оријентабилна	1	4	1	нема
торус са g отвора (род g)	2 − 2g	Оријентабилна	1	2g	1	нема
Пројективна раван	1	Неоријентабилна	1	0	0	2
Клејнова боца	0	Non-Неоријентабилна	1	1	0	2
Сфера са c унакрсним капама (c > 0)	2 − c	Неоријентабилна	1	c − 1	0	2
2-Многострукост са g отвора и c унакрсних капа (c > 0)	2 − (2g + c)	Неоријентабилна	1	(2g + c) − 1	0	2

Модерна топологија снажно зависи од идеја теорије скупова, које је развио Георг Кантор у каснијој половини 19. века. Поред утврђивања основних идеја теорије скупова, Кантор је разматрао скупове тачака у Еуклидском простору као део свог проучавања Фуријеових редова. За даљи развој погледајте топологију скупа тачака и алгебарску топологију.

Абелова награда за 2022. додељена је Денису Саливану „за његов револуционарни допринос топологији у њеном најширем смислу, а посебно њеним алгебарским, геометријским и динамичким аспектима“.

Тополошки простор и топологија

Главни чланак: Тополошки простор

Тополошки простор је уређени пар скупа X и колекцијом подскупова од X (подскуп партитивног скупа X) у ознаци $\tau$, који задовољавају следеће особине:

1. празан скуп и X налазе се у $\tau$.
2. унија свих колекција скупова из $\tau$ је такође скуп у $\tau$.
3. пресек сваке коначне колекције скупова из $\tau$ је такође у $\tau$.

Колекција $\tau$ се назива топологијом над X. Елементи скупа X се обично називају тачкама, мада могу бити произвољни математички објекти. Тополошки простор у коме су тачке представљене неким функцијама, назива се функционални или функцијски простор.

Хомотопија

Главни чланак: Хомотопија

Шоља и крофна (торус) су у топологији међусобно еквивалентне структуре. На слици је приказана континуална деформација (хомотопија) између њих.

Хомотопија H две непрекидне функције f и g које сликају тополошки простор X у тополошки простор Y је непрекидна трансформација H : X × [0,1] → Y тако да је за све тачке x из X, важи H(x,0)=f(x) и H(x,1)=g(x).

Види још

• Тополошки простор
• Хомотопија

Литература

• Hubbard, John H.; West, Beverly H. (1995). Differential Equations: A Dynamical Systems Approach. Part II: Higher-Dimensional Systems. Texts in Applied Mathematics. 18. Springer. стр. 204. ISBN 978-0-387-94377-0. 
• Spanier, Edwin (1994). Algebraic Topology. Springer. ISBN 978-0-387-94426-5. 
• Aleksandrov, P.S. (1969) [1956], „Chapter XVIII Topology”, Ур.: Aleksandrov, A.D.; Kolmogorov, A.N.; Lavrent'ev, M.A., Mathematics / Its Content, Methods and Meaning (2nd изд.), The M.I.T. Press 
• Croom, Fred H. (1989), Principles of Topology, Saunders College Publishing, ISBN 978-0-03-029804-2 
• Richeson, D. (2008), Euler's Gem: The Polyhedron Formula and the Birth of Topology, Princeton University Press 
• Ryszard Engelking, General Topology, Heldermann Verlag, Sigma Series in Pure Mathematics. 1989. ISBN 978-3-88538-006-1..
• Bourbaki; Elements of Mathematics: General Topology, Addison–Wesley (1966).
• Breitenberger, E. (2006). „Johann Benedict Listing”. Ур.: James, I.M. History of Topology. North Holland. ISBN 978-0-444-82375-5. 
• Brown, Ronald (2006). Topology and Groupoids * [[John L. Kelley|Kelley, John L.]] (1975). General Topology. [[Springer Science+Business Media|Springer-Verlag]]. [[Međunarodni standardni knjižni broj|ISBN]] [[Посебно:BookSources/978-0-387-90125-1|978-0-387-90125-1]]. . Booksurge. ISBN 978-1-4196-2722-4.  (Provides a well motivated, geometric account of general topology, and shows the use of groupoids in discussing van Kampen's theorem, covering spaces, and orbit spaces.)
• Wacław Sierpiński, General Topology. . Dover Publications. 2000. ISBN 978-0-486-41148-4. 
• Pickover, Clifford A. (2006). The Möbius Strip: Dr. August Möbius's Marvelous Band in Mathematics, Games, Literature, Art, Technology, and Cosmology. Thunder's Mouth Press. ISBN 978-1-56025-826-1.  (Provides a popular introduction to topology and geometry)
• Gemignani, Michael C. (1990) [1967], Elementary Topology (2nd изд.), Dover Publications Inc., ISBN 978-0-486-66522-1 

Спољашње везе

• Hazewinkel Michiel, ур. (2001). „Topology, general”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
• Elementary Topology: A First Course Viro, Ivanov, Netsvetaev, Kharlamov.
• Топологија на сајту DMOZ (језик: енглески)
• The Topological Zoo Архивирано на сајту Wayback Machine (4. фебруар 2012) at The Geometry Center.
• Topology Atlas
• Topology Course Lecture Notes Aisling McCluskey and Brian McMaster, Topology Atlas.
• Topology Glossary
• Moscow 1935: Topology moving towards America, a historical essay by Hassler Whitney.