Kompaktni skupovi su oni koji mogu da budu pokriveni sa konačno mnogo skupova proizvoljno male veličine.
Povezani skupvi su skupovi koji se ne mogu podeliti u dva dela koja su daleko jedan od drugog.
Reči 'obližnji', 'proizvoljno mali', i 'daleko razdvojeni' se mogu učiniti preciznim koristeći koncept otvorenih skupova. Ako se promeni definicija 'otvorenog skupa', menja se ono što su neprekidne funkcije, kompaktni skupovi, i povezani skupovi. Svaki izbor definicije za 'otvoreni skup' se naziva topologija. Skup sa topologijom se naziva topološki prostor.
Metrički prostori su važna klasa topoloških prostora gde realna, nenegativna rastojanja, koja se takoše nazivaju metrici, mogu da budu definisana na parovima tačaka u skupu. Postojanje metrika pojednostavljuje mnoge dokaze, a mnogi najčešćih topoloških prostora su metrički prostori.
Istorija
Opšta topologija je proizašla iz brojnih oblasti, najvažnije od kojih su:
detaljno proučavanje podskupova realne linije (koja je nekada bila poznata kao topologija skupova tačaka; ova upotreba je sada zastarela)
Opšta topologija je svoj današnji oblik poprimila oko 1940. godine. Ona obuhvata, moglo bi se reći, gotovo sve unutar intuicije kontinuiteta, u tehnički adekvatnom obliku koji se može primeniti u bilo kojoj oblasti matematike.
Svaki presek konačno mnogo elemenata iz τ je element iz τ
Ako je τ topologija na X, onda se par (X, τ) naziva topološkim prostorom. Notacija Xτ se može koristiti za označavanje skupa X na kome je primenljiva određena topologija τ.
Članovi τ se nazivaju otvorenim skupovima u X. Za podskup od X se kaže da je zatvoren, ako je njegov komplement u τ (i.e., njegov komplement je otvoren). Podskup od X može da bude otvoren, zatvoren, oba (zatvoreno-otvoren skup), ili ni jedno. Prazan skup i samo X su uvek otvoreni i zatvoreni.
BazaB za topološki prostor[9][10]X sa topologijomT je kolekcija otvorenih skupova u T takvih da svaki otvoreni skup u T može da bude napisan kao unija elemenata od B.[11][12] Kaže se da baza generiše topologiju T. Baze su korisne jer se mnoga svojstva topologija mogu redukovati do izjava o bazama koje generišu tu topologiju — i zato što se mnoge topologije najlakše definišu u pogledu baza koja ih generiše.
Reference
^Bott, R. and Tu, L.W., 1982. Differential forms in algebraic topology (Vol. 82, pp. xiv+-331). New York: Springer.
^Milnor, J. and Weaver, D.W., 1997. Topology from the differentiable viewpoint. Princeton university press.
^Sutherland, W. A. (1975). Introduction to metric and topological spaces. Oxford [England]: Clarendon Press. ISBN0-19-853155-9. OCLC1679102.
^Merrifield, Richard E.; Simmons, Howard E. (1989). Topological Methods in Chemistry. New York: John Wiley & Sons. стр. 16. ISBN0-471-83817-9. Приступљено 27. 7. 2012. „Definition. A collection B of subsets of a topological space (X,T) is called a basis for T if every open set can be expressed as a union of members of B.”
^Armstrong, M. A. (1983). Basic Topology. Springer. стр. 30. ISBN0-387-90839-0. Приступљено 13. 6. 2013. „Suppose we have a topology on a set X, and a collection of open sets such that every open set is a union of members of . Then is called a base for the topology...”
Arkhangel’skij, A.V.; Ponomarev, V.I. (1984). Fundamentals of general topology: problems and exercises. Mathematics and Its Applications. 13. Translated from the Russian by V. K. Jain. Dordrecht: D. Reidel Publishing. Zbl0568.54001.
Allegretti, Dylan G. L. (2008), Simplicial Sets and van Kampen's Theorem(Discusses generalized versions of van Kampen's theorem applied to topological spaces and simplicial sets).
Brown, R. (2007), Higher dimensional group theory, Архивирано из оригинала 14. 05. 2016. г., Приступљено 26. 06. 2023(Gives a broad view of higher-dimensional van Kampen theorems involving multiple groupoids).
Brown, R.; Razak, A. (1984), „A van Kampen theorem for unions of non-connected spaces”, Arch. Math., 42: 85—88, S2CID122228464, doi:10.1007/BF01198133. "Gives a general theorem on the fundamental groupoid with a set of base points of a space which is the union of open sets."
Brown, R.; Higgins, P.J. (1978), „On the connection between the second relative homotopy groups of some related spaces”, Proc. London Math. Soc., S3-36 (2): 193—212, doi:10.1112/plms/s3-36.2.193. "The first 2-dimensional version of van Kampen's theorem."