Тополошки простор — разлика између измена
Add 1 book for Википедија:Проверљивост (20220801)) #IABot (v2.0.8.9) (GreenC bot |
. |
||
Ред 1: | Ред 1: | ||
'''Тополошки простори''' су математичке структуре које омогућавају формалну дефиницију појмова као што су [[конвергенција]], [[повезан простор|повезаност]] и [[непрекидност]]. Они се јављају у практично свим гранама модерне [[математика|математике]]. Грана математике која проучава саме тополошке просторе се назива [[топологија]]. |
'''Тополошки простори''' су математичке структуре које омогућавају формалну дефиницију појмова као што су [[конвергенција]], [[повезан простор|повезаност]] и [[Непрекидна функција|непрекидност]]. Они се јављају у практично свим гранама модерне [[математика|математике]]. Грана математике која проучава саме тополошке просторе се назива [[топологија]].<ref>{{citation|last=Croom|first=Fred H.|title=Principles of Topology|year=1989|publisher=Saunders College Publishing|isbn=978-0-03-029804-2}}</ref><ref>{{citation|last=Aleksandrov|first=P.S.|chapter=Chapter XVIII Topology|editor1-first=A.D.|editor1-last=Aleksandrov|editor2-first=A.N.|editor2-last=Kolmogorov|editor3-first=M.A.|editor3-last=Lavrent'ev|title=Mathematics / Its Content, Methods and Meaning|edition=2nd|publisher=The M.I.T. Press|year=1969|orig-year=1956}}</ref><ref>{{citation|last=Richeson|first= D.|author-link= David Richeson |title=Euler's Gem: The Polyhedron Formula and the Birth of Topology|publisher=Princeton University Press|year=2008|title-link= Euler's Gem}}</ref> |
||
Тополошки простор је најопштији тип [[space (mathematics)|математичког простора]]<ref name="carlson">{{cite web|url=https://math.stackexchange.com/q/177937 |title=Difference between 'space' and 'mathematical structure'?|first1= Kevin|last1= Carlson|date=August 2, 2012|work=Stack Exchange}}</ref><ref name=Bb94>{{Cite book | last = Bourbaki | first = Nicolas | author-link = w:Nicolas Bourbaki | title = Elements of the history of mathematics | year = 1994 | publisher = Masson (original), Springer (translation) | isbn = 978-3-540-64767-6 | doi = 10.1007/978-3-642-61693-8 | url-access = registration | url = https://archive.org/details/elementsofhistor0000bour }}</ref><ref>{{cite book |authorlink1=Jeremy Gray |first1=Jeremy |last1=Gray |date=1989 |title=Ideas of Space: Euclidean, Non-Euclidean and Relativistic |edition=second |publisher=[[Clarendon Press]] |isbn=978-0198539353 |url-access=registration |url=https://archive.org/details/ideasofspaceeucl0000gray }}</ref> који омогућава дефинисање [[Limit (mathematics)|граница]], [[Continuous function (topology)|континуитета]] и [[Connected space|повезаности]].<ref>{{harvnb|Schubert|1968|loc=p. 13}}</ref><ref>{{Cite book|last=Sutherland|first=W. A.|url=https://www.worldcat.org/oclc/1679102|title=Introduction to metric and topological spaces|date=1975|publisher=Clarendon Press|isbn=0-19-853155-9|location=Oxford [England]|oclc=1679102}}</ref> Уобичајени типови тополошких простора укључују [[Euclidean space|еуклидске просторе]],<ref>{{Cite book|title=Regular Polytopes|title-link=Regular Polytopes (book)|last=Coxeter|first=H.S.M.|publisher=Dover|year=1973|edition=3rd|location=New York|quote="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."|author-link=Harold Scott MacDonald Coxeter|orig-year=1948}}</ref> [[metric space|метричке просторе]]<ref>{{cite book |last1=Čech |first1=Eduard |author-link1=Eduard Čech |title=Point Sets |date=1969 |publisher=Academic Press |isbn=0121648508}}</ref> и [[manifold|многострукости]]. |
|||
== Дефиниција == |
== Дефиниција == |
||
'''Тополошки простор''' је уређени пар [[скуп]]а ''-{X}-'' и колекције [[подскуп]]ова од ''-{X}-'' (подскуп [[Партитивни скуп|партитивног скупа]] ''-{X}-'') у ознаци ''<math>\tau</math>'', који задовољавају следеће особине: |
'''Тополошки простор''' је уређени пар [[скуп]]а ''-{X}-'' и колекције [[подскуп]]ова од ''-{X}-'' (подскуп [[Партитивни скуп|партитивног скупа]] ''-{X}-'') у ознаци ''<math>\tau</math>'', који задовољавају следеће особине: |
||
# [[празан скуп]] и ''-{X}-'' налазе се у ''<math>\tau</math>''. |
# [[празан скуп]] и ''-{X}-'' налазе се у ''<math>\tau</math>''. |
||
Ред 7: | Ред 10: | ||
# [[пресек (теорија скупова)|пресек]] сваке коначне колекције скупова из ''<math>\tau</math>'' је такође у ''<math>\tau</math>''. |
# [[пресек (теорија скупова)|пресек]] сваке коначне колекције скупова из ''<math>\tau</math>'' је такође у ''<math>\tau</math>''. |
||
Колекција ''<math>\tau</math>'' се назива топологијом над ''-{X}-''. Елементи скупа ''-{X}-'' се обично називају ''тачкама'', мада могу бити произвољни математички објекти. Тополошки простор у коме су ''тачке'' представљене неким [[функција]]ма, назива се [[функционални простор|функционални]] или [[функционални простор|функцијски простор]]. |
Колекција ''<math>\tau</math>'' се назива топологијом над ''-{X}-''. Елементи скупа ''-{X}-'' се обично називају ''тачкама'', мада могу бити произвољни математички објекти. Тополошки простор у коме су ''тачке'' представљене неким [[Функција (математика)|функција]]ма, назива се [[функционални простор|функционални]] или [[функционални простор|функцијски простор]]. |
||
Скупови у ''<math>\tau</math>'' су [[отворен скуп]]ови, а њихови [[комплемент (теорија скупова)|комплементи]] у ''-{X}-'' су [[затворен скуп|затворени скупови]]. Произвољни подскуп од ''-{X}-'' може бити отворен, затворен, и отворен и затворен истовремено или нити отворен, нити затворен. |
Скупови у ''<math>\tau</math>'' су [[отворен скуп]]ови, а њихови [[комплемент (теорија скупова)|комплементи]] у ''-{X}-'' су [[затворен скуп|затворени скупови]]. Произвољни подскуп од ''-{X}-'' може бити отворен, затворен, и отворен и затворен истовремено или нити отворен, нити затворен. |
||
Ред 34: | Ред 37: | ||
Еквивалентност дефиниција тополошког простора преко отворених и затворених скупова се добија преко [[де Морганови закони|де Морганових закона]], када аксиоме које дефинишу отворене скупове постају аксиоме које дефинишу затворене скупове: |
Еквивалентност дефиниција тополошког простора преко отворених и затворених скупова се добија преко [[де Морганови закони|де Морганових закона]], када аксиоме које дефинишу отворене скупове постају аксиоме које дефинишу затворене скупове: |
||
# Празан скуп и ''-{X}-'' су затворени. |
# Празан скуп и ''-{X}-'' су затворени. |
||
# [[Пресек]] сваке колекције [[затворени скуп|затворених скупова]] је такође затворен. |
# [[Пресек (теорија скупова)|Пресек]] сваке колекције [[затворени скуп|затворених скупова]] је такође затворен. |
||
# [[Унија (теорија скупова)|Унија]] сваког пара затворених скупова је такође затворена. |
# [[Унија (теорија скупова)|Унија]] сваког пара затворених скупова је такође затворена. |
||
Ред 51: | Ред 54: | ||
== Непрекидне функције == |
== Непрекидне функције == |
||
За [[функција (математика)|функцију]] између два тополошка простора се каже да је [[ |
За [[функција (математика)|функцију]] између два тополошка простора се каже да је [[Непрекидност функције|непрекидна]] ако је инверзна слика сваког [[отворен скуп|отвореног скупа]] отворена. |
||
[[Хомеоморфизам]] је [[бијекција]] која је непрекидна и чији је и инверз такође непрекидан. За два простора се каже да су ''хомеоморфна'' ако постоји хомеоморфизам између њих. Са гледишта топологије, хомеоморфни простори су у суштини идентични. |
[[Хомеоморфизам]] је [[бијекција]] која је непрекидна и чији је и инверз такође непрекидан. За два простора се каже да су ''хомеоморфна'' ако постоји хомеоморфизам између њих. Са гледишта топологије, хомеоморфни простори су у суштини идентични. |
||
Ред 65: | Ред 68: | ||
== Референце == |
== Референце == |
||
{{reflist}} |
{{reflist|}} |
||
== Литература == |
== Литература == |
||
{{refbegin| |
{{refbegin|30em}} |
||
* Armstrong, M. A.; ''Основна топологија'' (''Basic Topology''), Springer; прво издање ([[1. мај]], [[1997]]). {{page|year=|isbn=978-0-387-90839-7|pages=}}. |
* Armstrong, M. A.; ''Основна топологија'' (''Basic Topology''), Springer; прво издање ([[1. мај]], [[1997]]). {{page|year=|isbn=978-0-387-90839-7|pages=}}. |
||
* Bredon, Glen E., ''Топологија и геометрија'' (''Topology and Geometry'') (Текстови из математике, постдипломске студије), Springer; 1st edition ([[17. октобар]] [[1997]]). {{page|year=|isbn=978-0-387-97926-7|pages=}}. |
* Bredon, Glen E., ''Топологија и геометрија'' (''Topology and Geometry'') (Текстови из математике, постдипломске студије), Springer; 1st edition ([[17. октобар]] [[1997]]). {{page|year=|isbn=978-0-387-97926-7|pages=}}. |
||
* Bourbaki, Nicolas; ''Елементи математике: Општа топологија'' (''Elements of Mathematics: General Topology''), Addison-Wesley ([[1966]]). |
|||
* Čech, Eduard; ''Скупови тачака'' (''Point Sets''), Academic Press ([[1969]]). |
|||
* Fulton, William, ''Алгебарска топологија'' (''Algebraic Topology''), (Текстови из математике, постдипломске студије), Springer; прво издање ([[5. септембар]], [[1997]]). {{page|year=|isbn=978-0-387-94327-5|pages=}}. |
* Fulton, William, ''Алгебарска топологија'' (''Algebraic Topology''), (Текстови из математике, постдипломске студије), Springer; прво издање ([[5. септембар]], [[1997]]). {{page|year=|isbn=978-0-387-94327-5|pages=}}. |
||
* Lipschutz, Seymour; ''Schaum's Outline of General Topology'', McGraw-Hill; прво издање ([[1. јун]], [[1968]]). {{page|year=|isbn=978-0-07-037988-6|pages=}}. |
* Lipschutz, Seymour; ''Schaum's Outline of General Topology'', McGraw-Hill; прво издање ([[1. јун]], [[1968]]). {{page|year=|isbn=978-0-07-037988-6|pages=}}. |
||
* Munkres, James; ''Топологија'' (''Topology''), Prentice Hall; друго издање ([[28. децембар]], [[1999]]). {{page|year=|isbn=978-0-13-181629-9|pages=}}. |
* Munkres, James; ''Топологија'' (''Topology''), Prentice Hall; друго издање ([[28. децембар]], [[1999]]). {{page|year=|isbn=978-0-13-181629-9|pages=}}. |
||
* Runde, Volker; ''Укус топологије (универзитетски текст)'' ''A Taste of Topology (Universitext)'', Springer; прво издање ([[6. јул]], [[2005]]). {{page|year=|isbn=978-0-387-25790-7|pages=}}. |
* Runde, Volker; ''Укус топологије (универзитетски текст)'' ''A Taste of Topology (Universitext)'', Springer; прво издање ([[6. јул]], [[2005]]). {{page|year=|isbn=978-0-387-25790-7|pages=}}. |
||
⚫ | |||
* Steen, Lynn A. and Seebach, J. Arthur Jr.; ''Контрапримери у топологији'' (''Counterexamples in Topology''), Holt, Rinehart and Winston ([[1970]]). {{page|year=|isbn=978-0-03-079485-8|pages=}}. |
|||
* [[Ryszard Engelking]], ''General Topology'', Heldermann Verlag, Sigma Series in Pure Mathematics, December 1989, {{isbn|3-88538-006-4}}. |
|||
⚫ | |||
* {{cite book | last = Breitenberger | first = E. | year = 2006 | chapter = Johann Benedict Listing | title = History of Topology | editor-last = James | editor-first = I.M. | publisher = North Holland | isbn = 978-0-444-82375-5}} |
|||
* {{cite book | last = Kelley | first = John L. | author-link = John L. Kelley | year = 1975 | title = General Topology | publisher = [[Springer Science+Business Media|Springer-Verlag]] | isbn = 978-0-387-90125-1 }} |
|||
* {{cite book | last = Brown | first = Ronald | author-link = Ronald Brown (mathematician) | year = 2006 | title = Topology and Groupoids | url= http://pages.bangor.ac.uk/~mas010/topgpds.html | publisher = Booksurge | isbn = 978-1-4196-2722-4 }} |
|||
* [[Wacław Sierpiński]], ''General Topology'', Dover Publications, 2000, {{isbn|0-486-41148-6}} |
|||
* {{cite book | last = Pickover | first = Clifford A. | author-link = Clifford A. Pickover | year = 2006 | title = The Möbius Strip: Dr. August Möbius's Marvelous Band in Mathematics, Games, Literature, Art, Technology, and Cosmology | publisher = Thunder's Mouth Press | isbn = 978-1-56025-826-1 | url-access = registration | url = https://archive.org/details/mbiusstripdrau00pick }} |
|||
* {{citation|first=Michael C.|last = Gemignani|title=Elementary Topology|edition=2nd|year=1990|orig-year=1967|publisher=Dover Publications Inc.|isbn=978-0-486-66522-1}} |
|||
* {{Citation | last = Bourbaki | first = Nicolas | author-link=Nicolas Bourbaki | title = Elements of mathematics | publisher = Hermann (original), Addison-Wesley (translation)}} |
|||
* {{Citation | last = Bourbaki | first = Nicolas | author-link=Nicolas Bourbaki | title = Elements of mathematics: Theory of sets | year = 1968 | publisher = Hermann (original), Addison-Wesley (translation) }} |
|||
* {{citation|last1=Eisenbud|first1=David|last2=Harris|first2=Joe|title=The Geometry of Schemes|publisher=Springer-Verlag|isbn=978-0-387-98638-8|doi=10.1007/b97680|date=2000}}. |
|||
* {{citation|title=The Princeton Companion to Mathematics |editor1-first=Timothy |editor1-last=Gowers|editor1-link=Timothy Gowers|editor2-first=June|editor2-last=Barrow-Green|editor3-first=Imre|editor3-last=Leader|editor3-link=Imre Leader|year=2008|publisher=Princeton University Press|isbn=978-0-691-11880-2|title-link=The Princeton Companion to Mathematics}} |
|||
* {{Citation | year = 1993 | editor-last = Itô | editor-first = Kiyosi | editor-link=Kiyoshi Itō | title = Encyclopedic dictionary of mathematics | edition = second | publisher = Mathematical society of Japan (original), MIT press (translation) }} |
|||
* {{ citation | first1 = Howard | last1 = Anton | year = 1987 | isbn = 0-471-84819-0 | title = Elementary Linear Algebra | edition = 5th | publisher = [[John Wiley & Sons|Wiley]] | location = New York }} |
|||
* {{citation |first=Emil |last=Artin |title=[[Geometric Algebra (book)|Geometric Algebra]] |series=Wiley Classics Library|publisher=John Wiley & Sons Inc. |place=New York |year=1988 |pages=x+214 |isbn=0-471-60839-4|mr=1009557|orig-year=1957 |doi=10.1002/9781118164518}} |
|||
* {{cite book|last=Ball|first=W.W. Rouse|author-link=W. W. Rouse Ball|title=A Short Account of the History of Mathematics|orig-year=1908|url=https://archive.org/details/shortaccountofhi0000ball|edition=4th|year=1960|publisher=Dover Publications|isbn=0-486-20630-0|url-access=registration}} |
|||
* {{Citation | last1=Berger | first1=Marcel | author1-link=Marcel Berger | title=Geometry I | publisher=Springer | location=Berlin | isbn= 3-540-11658-3 | year=1987}} |
|||
* {{citation | last1 = Aldrovandi | first1 = Ruben | last2 = Pereira | first2 = José Geraldo | edition = 2nd | isbn = 978-981-3146-81-5 | location = Hackensack, New Jersey | mr = 3561561 | page = 20 | publisher = World Scientific | title = An Introduction to Geometrical Physics | url = https://books.google.com/books?id=NWhtDQAAQBAJ&pg=PA20 | year = 2017 }} |
|||
* {{citation | last1 = Arkhangel'skii | first1 = A. V. | author1-link = Alexander Arhangelskii | last2 = Pontryagin | first2 = L. S. | author2-link = Lev Pontryagin | isbn = 3-540-18178-4 | publisher = [[Springer Science+Business Media|Springer]] | series = Encyclopaedia of Mathematical Sciences | title = General Topology I: Basic Concepts and Constructions Dimension Theory | year = 1990 }} |
|||
* {{cite book |last1=Bryant |first1=Victor |title=Metric spaces: Iteration and application |date=1985 |publisher=Cambridge University Press |isbn=0-521-31897-1 }} |
|||
* {{citation | last1 = Buldygin | first1 = V. V. | last2 = Kozachenko | first2 = Yu. V. | doi = 10.1090/mmono/188 | isbn = 0-8218-0533-9 | mr = 1743716 | page = 129 | publisher = American Mathematical Society | location = Providence, Rhode Island | series = Translations of Mathematical Monographs | title = Metric Characterization of Random Variables and Random Processes | url = https://books.google.com/books?id=ePDXvIhdEjoC&pg=PA129 | volume = 188 | year = 2000 }} |
|||
* {{cite book |last1=Burago |first1=Dmitri |author-link1=Dmitri Burago |last2=Burago |first2=Yuri |author-link2=Yuri Dmitrievich Burago |last3=Ivanov |first3=Sergei |author-link3=Sergei Ivanov (mathematician) |title=A course in metric geometry |date=2001 |publisher=American Mathematical Society |location=Providence, RI |isbn=0-8218-2129-6}} |
|||
* {{citation | last1 = Cohen | first1 = Andrew R. | last2 = Vitányi | first2 = Paul M. B. | author2-link = Paul Vitányi | arxiv = 1212.5711 | doi = 10.1109/TPAMI.2014.2375175 | issue = 8 | journal = IEEE Transactions on Pattern Analysis and Machine Intelligence | pages = 1602–1614 | pmc = 4566858 | pmid = 26352998 | title = Normalized compression distance of multisets with applications | volume = 37 | year = 2012 }} |
|||
* {{citation | last1 = Deza | first1 = Michel Marie | author1-link = Michel Deza | last2 = Laurent | first2 = Monique | author2-link = Monique Laurent | doi = 10.1007/978-3-642-04295-9 | isbn = 3-540-61611-X | mr = 1460488 | page = 27 | publisher = Springer-Verlag, Berlin | series = Algorithms and Combinatorics | title = Geometry of Cuts and Metrics | url = https://books.google.com/books?id=XujvCAAAQBAJ&pg=PA27 | volume = 15 | year = 1997 }} |
|||
* {{citation | last1 = Fraigniaud | first1 = P. | last2 = Lebhar | first2 = E. | last3 = Viennot | first3 = L. | citeseerx = 10.1.1.113.6748 | contribution = The inframetric model for the internet | doi = 10.1109/INFOCOM.2008.163 | isbn = 978-1-4244-2026-1 | pages = 1085–1093 | s2cid = 5733968 | title = 2008 IEEE INFOCOM - The 27th Conference on Computer Communications | year = 2008}} |
|||
* {{cite book |last1=Gromov |first1=Mikhael |author-link1=Mikhael Gromov (mathematician) |title= Metric structures for Riemannian and non-Riemannian spaces |title-link=Metric Structures for Riemannian and Non-Riemannian Spaces |date=2007 |publisher=Birkhäuser |location=Boston |isbn=978-0-8176-4582-3}} |
|||
* {{cite book |last1=Heinonen |first1=Juha |author-link1=Juha Heinonen |title= Lectures on analysis on metric spaces |date=2001 |publisher=Springer |location=New York |isbn=0-387-95104-0}} |
|||
* {{cite journal |last1=Heinonen |first1=Juha |author-link1=Juha Heinonen |title=Nonsmooth calculus |journal=Bulletin of the American Mathematical Society |date=24 January 2007 |volume=44 |issue=2 |pages=163–232 |doi=10.1090/S0273-0979-07-01140-8|doi-access=free }} |
|||
* {{citation | last = Helemskii | first = A. Ya. | doi = 10.1090/mmono/233 | isbn = 978-0-8218-4098-6 | mr = 2248303 | page = 14 | publisher = American Mathematical Society | location = Providence, Rhode Island | series = Translations of Mathematical Monographs | title = Lectures and Exercises on Functional Analysis | url = https://books.google.com/books?id=wjzZCLzx6hUC&pg=PA14 | volume = 233 | year = 2006}} |
|||
* {{cite book|author1=Pascal Hitzler|author2=Anthony Seda|title= Mathematical Aspects of Logic Programming Semantics|url=https://library.oapen.org/handle/20.500.12657/40111 |date=19 April 2016|publisher=CRC Press|isbn=978-1-4398-2962-2|author1-link=Pascal Hitzler}} |
|||
* {{cite journal |last1=Lawvere |first1=F. William |title=Metric spaces, generalized logic, and closed categories |journal=Rendiconti del Seminario Matematico e Fisico di Milano |date=December 1973 |volume=43 |issue=1 |pages=135–166 |doi=10.1007/BF02924844|s2cid=1845177 }} |
|||
* {{cite book |chapter=Office Hour 7. Quasi-isometries |chapter-url=https://www.jstor.org/stable/j.ctt1vwmg8g.11 |last1=Margalit |first1=Dan |author-link1=Dan Margalit (mathematician) |last2=Thomas |first2=Anne |title=Office hours with a geometric group theorist |date=2017 |publisher=Princeton University Press |isbn=978-1-4008-8539-8 |pages=125–145|jstor=j.ctt1vwmg8g.11 }} |
|||
* {{Narici Beckenstein Topological Vector Spaces|edition=2|mode=cs2}} |
|||
* {{cite book |last1=Ó Searcóid |first1=Mícheál |title= Metric spaces |date=2006 |publisher=Springer |location=London |isbn=1-84628-369-8}} |
|||
* {{cite book |last1=Papadopoulos |first1=Athanase |title = Metric spaces, convexity, and non-positive curvature |date=2014 |publisher=[[European Mathematical Society]] |location=Zürich, Switzerland |isbn=978-3-03719-132-3 |edition=Second}} |
|||
* {{cite book | last = Rolewicz | first = Stefan | isbn = 90-277-2186-6 | publisher = [[Springer Science+Business Media|Springer]] | title = Functional Analysis and Control Theory: Linear Systems | year = 1987}} |
|||
* {{Cite book |last=Rudin |first=Walter |author-link=Walter Rudin |title=Principles of Mathematical Analysis |title-link=Principles of Mathematical Analysis |date=1976 |isbn=0-07-054235-X |edition=Third |location=New York |oclc=1502474}} |
|||
* {{citation | last = Smyth | first = M. | editor1-last = Main | editor1-first = M. | editor2-last = Melton | editor2-first = A. | editor3-last = Mislove | editor3-first = M. | editor4-last = Schmidt | editor4-first = D. | contribution = Quasi uniformities: reconciling domains with metric spaces | doi = 10.1007/3-540-19020-1_12 | pages = 236–253 | publisher = Springer-Verlag | series = Lecture Notes in Computer Science | title = 3rd Conference on Mathematical Foundations of Programming Language Semantics | volume = 298 | year = 1987}} |
|||
* {{cite book | last1 = Steen | first1 = Lynn Arthur | last2 = Seebach | first2 = J. Arthur Jr. | isbn = 978-0-486-68735-3 | mr = 507446 | publisher = [[Dover Publications|Dover]] | title = Counterexamples in Topology | title-link=Counterexamples in Topology | year = 1995 | orig-year = 1978 }} |
|||
* {{cite journal | last = Vitányi | first = Paul M. B. | author-link = Paul Vitányi | arxiv = 0905.3347 | doi = 10.1109/TIT.2011.2110130 | issue = 4 | journal = IEEE Transactions on Information Theory | pages = 2451–2456 | s2cid = 6302496 | title = Information distance in multiples | volume = 57 | year = 2011}} |
|||
* {{cite journal | last = Väisälä | first = Jussi | doi = 10.1016/j.exmath.2005.01.010 | issue = 3 | journal = Expositiones Mathematicae | mr = 2164775 | pages = 187–231 | title = Gromov hyperbolic spaces | url = http://www.helsinki.fi/~jvaisala/grobok.pdf | volume = 23 | year = 2005| doi-access = free }} |
|||
* {{cite journal | last = Vickers | first = Steven | issue = 15 | journal = Theory and Applications of Categories | mr = 2182680 | pages = 328–356 | title = Localic completion of generalized metric spaces, I | url = https://www.tac.mta.ca/tac/volumes/14/15/14-15abs.html | volume = 14 | year = 2005}} |
|||
* {{cite journal | last = Xia | first = Qinglan | arxiv = 0807.3377 | issue = 2 | journal = Journal of Geometric Analysis | pages = 452–479 | title = The geodesic problem in nearmetric spaces | volume = 19 | year = 2008| doi = 10.1007/s12220-008-9065-4 | s2cid = 17475581 }} |
|||
* {{cite journal | last = Xia | first = Q. | arxiv = 0807.3377 | s2cid = 17475581 | doi = 10.1007/s12220-008-9065-4 | issue = 2 | journal = Journal of Geometric Analysis | pages = 452–479 | title = The geodesic problem in quasimetric spaces | volume = 19 | year = 2009}} |
|||
{{refend}} |
{{refend}} |
||
Верзија на датум 27. јун 2023. у 20:52
Тополошки простори су математичке структуре које омогућавају формалну дефиницију појмова као што су конвергенција, повезаност и непрекидност. Они се јављају у практично свим гранама модерне математике. Грана математике која проучава саме тополошке просторе се назива топологија.[1][2][3]
Тополошки простор је најопштији тип математичког простора[4][5][6] који омогућава дефинисање граница, континуитета и повезаности.[7][8] Уобичајени типови тополошких простора укључују еуклидске просторе,[9] метричке просторе[10] и многострукости.
Дефиниција
Тополошки простор је уређени пар скупа X и колекције подскупова од X (подскуп партитивног скупа X) у ознаци , који задовољавају следеће особине:
- празан скуп и X налазе се у .
- унија свих колекција скупова из је такође скуп у .
- пресек сваке коначне колекције скупова из је такође у .
Колекција се назива топологијом над X. Елементи скупа X се обично називају тачкама, мада могу бити произвољни математички објекти. Тополошки простор у коме су тачке представљене неким функцијама, назива се функционални или функцијски простор.
Скупови у су отворен скупови, а њихови комплементи у X су затворени скупови. Произвољни подскуп од X може бити отворен, затворен, и отворен и затворен истовремено или нити отворен, нити затворен.
Покривач скупа X је скуп подскупова у X такав да њихова унија даје цео скуп X. Покривач скупа је отворен, ако се састоји од отворених скупова.[11]
Околина тачке x је сваки скуп који садржи отворен скуп у којем се налази x. Систем околине на x се састоји од свих околина од x. Топологију може да одреди скуп аксиома које се тичу свих система околина.
- Специјални тополошки простори у зависности од топологије :
- Тривијална топологија је топологија коју чине само произвољан скуп X и колекција = {, X} која се састоји од само два обавезна подскупа који морају да је чине по дефиницији тополошког простора, од празног и целог скупа.
- Дискретна топологија је топологија која се састоји од произвољног скупа X и колекције = P(X), која је највећи могући подскуп партитивног скупа од X, тј. овде је топологија цео партитивни скуп од X.
- Код бесконачних скупова, када је нпр. X = и колекција је једнака унији свих коначних подскупова целих бројева и целог скупа , овако формирани уређени пар није тополошки простор, јер није топологија, пошто постоје бесконачни скупови елемената из Х који се не налазе у .
Еквивалентне дефиниције
Осим наведене дефиниције, еквивалентни тополошки простор се може дефинисати и преко затворених скупова:
Тополошки простор је уређени пар скупа X и колекције подскупова од X који задовољавају следеће аксиоме:
- Празан скуп и X су у .
- Пресек сваке колекције скупова из је такође у .
- унија сваког пара скупова из је такође у .
Еквивалентност дефиниција тополошког простора преко отворених и затворених скупова се добија преко де Морганових закона, када аксиоме које дефинишу отворене скупове постају аксиоме које дефинишу затворене скупове:
- Празан скуп и X су затворени.
- Пресек сваке колекције затворених скупова је такође затворен.
- Унија сваког пара затворених скупова је такође затворена.
По овој дефиницији тополошког простора, скупови у топологији су затворени скупови, а њихови комплементи у X су отворени скупови.
Још један начин за дефинисање тополошког простора је коришћењем аксиома затворености Куратовског, које дефинишу затворене скупове као фиксне тачке оператора над партитивним скупом од X.
Поређење топологија
Над истим скупом може постојати више топологија тако да граде различите тополошке просторе.
Топологија је грубља (мања, слабија) од , односно, топологија је финија (већа, јача) од топологије ако важи да је сваки скуп из топологије истовремено садржан у топологији . Овакво поређење топологија се записује: > .
Доказ који се ослања само на постојање одређених отворених скупова ће уједно важити и на финијој топологији, и слично, доказ који се ослања само на то да одређени скупови нису отворени ће важити и на свакој грубљој топологији.
Непрекидне функције
За функцију између два тополошка простора се каже да је непрекидна ако је инверзна слика сваког отвореног скупа отворена.
Хомеоморфизам је бијекција која је непрекидна и чији је и инверз такође непрекидан. За два простора се каже да су хомеоморфна ако постоји хомеоморфизам између њих. Са гледишта топологије, хомеоморфни простори су у суштини идентични.
Види још
Референце
- ^ Croom, Fred H. (1989), Principles of Topology, Saunders College Publishing, ISBN 978-0-03-029804-2
- ^ 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
- ^ Richeson, D. (2008), Euler's Gem: The Polyhedron Formula and the Birth of Topology, Princeton University Press
- ^ Carlson, Kevin (2. 8. 2012). „Difference between 'space' and 'mathematical structure'?”. Stack Exchange.
- ^ Bourbaki, Nicolas (1994). Elements of the history of mathematics. Masson (original), Springer (translation). ISBN 978-3-540-64767-6. doi:10.1007/978-3-642-61693-8.
- ^ Gray, Jeremy (1989). Ideas of Space: Euclidean, Non-Euclidean and Relativistic (second изд.). Clarendon Press. ISBN 978-0198539353.
- ^ Schubert 1968, p. 13
- ^ Sutherland, W. A. (1975). Introduction to metric and topological spaces. Oxford [England]: Clarendon Press. ISBN 0-19-853155-9. OCLC 1679102.
- ^ 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."”
- ^ Čech, Eduard (1969). Point Sets. Academic Press. ISBN 0121648508.
- ^ Хилбертови простори и групе, Милан Дамњановић, приступљено: 17.10.2014.
Литература
- Armstrong, M. A.; Основна топологија (Basic Topology), Springer; прво издање (1. мај, 1997). ISBN 978-0-387-90839-7..
- Bredon, Glen E., Топологија и геометрија (Topology and Geometry) (Текстови из математике, постдипломске студије), Springer; 1st edition (17. октобар 1997). ISBN 978-0-387-97926-7..
- Fulton, William, Алгебарска топологија (Algebraic Topology), (Текстови из математике, постдипломске студије), Springer; прво издање (5. септембар, 1997). ISBN 978-0-387-94327-5..
- Lipschutz, Seymour; Schaum's Outline of General Topology, McGraw-Hill; прво издање (1. јун, 1968). ISBN 978-0-07-037988-6..
- Munkres, James; Топологија (Topology), Prentice Hall; друго издање (28. децембар, 1999). ISBN 978-0-13-181629-9..
- Runde, Volker; Укус топологије (универзитетски текст) A Taste of Topology (Universitext), Springer; прво издање (6. јул, 2005). ISBN 978-0-387-25790-7..
- Willard, Stephen (2004). General Topology. Dover Publications. ISBN 978-0-486-43479-7.
- Ryszard Engelking, General Topology, Heldermann Verlag, Sigma Series in Pure Mathematics, December 1989, ISBN 3-88538-006-4.
- Breitenberger, E. (2006). „Johann Benedict Listing”. Ур.: James, I.M. History of Topology. North Holland. ISBN 978-0-444-82375-5.
- Kelley, John L. (1975). General Topology. Springer-Verlag. ISBN 978-0-387-90125-1.
- Brown, Ronald (2006). Topology and Groupoids. Booksurge. ISBN 978-1-4196-2722-4.
- Wacław Sierpiński, General Topology, Dover Publications, 2000, ISBN 0-486-41148-6
- 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.
- Gemignani, Michael C. (1990) [1967], Elementary Topology (2nd изд.), Dover Publications Inc., ISBN 978-0-486-66522-1
- Bourbaki, Nicolas, Elements of mathematics, Hermann (original), Addison-Wesley (translation)
- Bourbaki, Nicolas (1968), Elements of mathematics: Theory of sets, Hermann (original), Addison-Wesley (translation)
- Eisenbud, David; Harris, Joe (2000), The Geometry of Schemes, Springer-Verlag, ISBN 978-0-387-98638-8, doi:10.1007/b97680.
- Gowers, Timothy; Barrow-Green, June; Leader, Imre, ур. (2008), The Princeton Companion to Mathematics, Princeton University Press, ISBN 978-0-691-11880-2
- Itô, Kiyosi, ур. (1993), Encyclopedic dictionary of mathematics (second изд.), Mathematical society of Japan (original), MIT press (translation)
- Anton, Howard (1987), Elementary Linear Algebra (5th изд.), New York: Wiley, ISBN 0-471-84819-0
- Artin, Emil (1988) [1957], Geometric Algebra, Wiley Classics Library, New York: John Wiley & Sons Inc., стр. x+214, ISBN 0-471-60839-4, MR 1009557, doi:10.1002/9781118164518
- Ball, W.W. Rouse (1960) [1908]. A Short Account of the History of Mathematics (4th изд.). Dover Publications. ISBN 0-486-20630-0.
- Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN 3-540-11658-3
- Aldrovandi, Ruben; Pereira, José Geraldo (2017), An Introduction to Geometrical Physics (2nd изд.), Hackensack, New Jersey: World Scientific, стр. 20, ISBN 978-981-3146-81-5, MR 3561561
- Arkhangel'skii, A. V.; Pontryagin, L. S. (1990), General Topology I: Basic Concepts and Constructions Dimension Theory, Encyclopaedia of Mathematical Sciences, Springer, ISBN 3-540-18178-4
- Bryant, Victor (1985). Metric spaces: Iteration and application. Cambridge University Press. ISBN 0-521-31897-1.
- Buldygin, V. V.; Kozachenko, Yu. V. (2000), Metric Characterization of Random Variables and Random Processes, Translations of Mathematical Monographs, 188, Providence, Rhode Island: American Mathematical Society, стр. 129, ISBN 0-8218-0533-9, MR 1743716, doi:10.1090/mmono/188
- Burago, Dmitri; Burago, Yuri; Ivanov, Sergei (2001). A course in metric geometry. Providence, RI: American Mathematical Society. ISBN 0-8218-2129-6.
- Cohen, Andrew R.; Vitányi, Paul M. B. (2012), „Normalized compression distance of multisets with applications”, IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (8): 1602—1614, PMC 4566858 , PMID 26352998, arXiv:1212.5711 , doi:10.1109/TPAMI.2014.2375175
- Deza, Michel Marie; Laurent, Monique (1997), Geometry of Cuts and Metrics, Algorithms and Combinatorics, 15, Springer-Verlag, Berlin, стр. 27, ISBN 3-540-61611-X, MR 1460488, doi:10.1007/978-3-642-04295-9
- Fraigniaud, P.; Lebhar, E.; Viennot, L. (2008), „The inframetric model for the internet”, 2008 IEEE INFOCOM - The 27th Conference on Computer Communications, стр. 1085—1093, CiteSeerX 10.1.1.113.6748 , ISBN 978-1-4244-2026-1, S2CID 5733968, doi:10.1109/INFOCOM.2008.163
- Gromov, Mikhael (2007). Metric structures for Riemannian and non-Riemannian spaces. Boston: Birkhäuser. ISBN 978-0-8176-4582-3.
- Heinonen, Juha (2001). Lectures on analysis on metric spaces. New York: Springer. ISBN 0-387-95104-0.
- Heinonen, Juha (24. 1. 2007). „Nonsmooth calculus”. Bulletin of the American Mathematical Society. 44 (2): 163—232. doi:10.1090/S0273-0979-07-01140-8 .
- Helemskii, A. Ya. (2006), Lectures and Exercises on Functional Analysis, Translations of Mathematical Monographs, 233, Providence, Rhode Island: American Mathematical Society, стр. 14, ISBN 978-0-8218-4098-6, MR 2248303, doi:10.1090/mmono/233
- Pascal Hitzler; Anthony Seda (19. 4. 2016). Mathematical Aspects of Logic Programming Semantics. CRC Press. ISBN 978-1-4398-2962-2.
- Lawvere, F. William (децембар 1973). „Metric spaces, generalized logic, and closed categories”. Rendiconti del Seminario Matematico e Fisico di Milano. 43 (1): 135—166. S2CID 1845177. doi:10.1007/BF02924844.
- Margalit, Dan; Thomas, Anne (2017). „Office Hour 7. Quasi-isometries”. Office hours with a geometric group theorist. Princeton University Press. стр. 125—145. ISBN 978-1-4008-8539-8. JSTOR j.ctt1vwmg8g.11.
- Шаблон:Narici Beckenstein Topological Vector Spaces
- Ó Searcóid, Mícheál (2006). Metric spaces. London: Springer. ISBN 1-84628-369-8.
- Papadopoulos, Athanase (2014). Metric spaces, convexity, and non-positive curvature (Second изд.). Zürich, Switzerland: European Mathematical Society. ISBN 978-3-03719-132-3.
- Rolewicz, Stefan (1987). Functional Analysis and Control Theory: Linear Systems. Springer. ISBN 90-277-2186-6.
- Rudin, Walter (1976). Principles of Mathematical Analysis (Third изд.). New York. ISBN 0-07-054235-X. OCLC 1502474.
- Smyth, M. (1987), „Quasi uniformities: reconciling domains with metric spaces”, Ур.: Main, M.; Melton, A.; Mislove, M.; Schmidt, D., 3rd Conference on Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science, 298, Springer-Verlag, стр. 236—253, doi:10.1007/3-540-19020-1_12
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978]. Counterexamples in Topology. Dover. ISBN 978-0-486-68735-3. MR 507446.
- Vitányi, Paul M. B. (2011). „Information distance in multiples”. IEEE Transactions on Information Theory. 57 (4): 2451—2456. S2CID 6302496. arXiv:0905.3347 . doi:10.1109/TIT.2011.2110130.
- Väisälä, Jussi (2005). „Gromov hyperbolic spaces” (PDF). Expositiones Mathematicae. 23 (3): 187—231. MR 2164775. doi:10.1016/j.exmath.2005.01.010 .
- Vickers, Steven (2005). „Localic completion of generalized metric spaces, I”. Theory and Applications of Categories. 14 (15): 328—356. MR 2182680.
- Xia, Qinglan (2008). „The geodesic problem in nearmetric spaces”. Journal of Geometric Analysis. 19 (2): 452—479. S2CID 17475581. arXiv:0807.3377 . doi:10.1007/s12220-008-9065-4.
- Xia, Q. (2009). „The geodesic problem in quasimetric spaces”. Journal of Geometric Analysis. 19 (2): 452—479. S2CID 17475581. arXiv:0807.3377 . doi:10.1007/s12220-008-9065-4.
Спољашње везе
- Тополошки простори на сајту PlanetMath, приступљено: 17. октобар 2014.