Topological Space: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Aleksander Stos
m (→‎Examples: blue)
imported>Jitse Niesen
(replace by #REDIRECT Topological space which now contains all the information in this article and more)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
Topological spaces are
#REDIRECT [[Topological space]]
 
==The Open and Closed Set Axioms==
 
Let <math>X</math> be a set, and <math>\tau</math> a collection of subsets of <math>X</math> (which will be called the ''open subsets'' of <math>X</math> with respect to the topology <math>\tau</math>) verifying the following axioms:
#<math>\varnothing\in\tau</math>
#<math>X\in\tau</math>
#Any finite intersection of sets in <math>\tau</math> is again in <math>\tau</math>; i.e., if <math>U_1,\ldots,U_n\in\tau</math>, then <math>U_1\cap\ldots\cap U_n\in\tau</math>.
#Any union of a family of sets <math>\{U_{\lambda}\}_{\lambda\in\Lambda}\subseteq\tau</math> is in <math>\tau</math>; i.e., <math>\bigcup_{\lambda\in\Lambda} U_{\lambda}\in\tau</math>.
When these axioms are satisfied, we say that <math>(X,\tau)</math> is a topological space of open sets <math>\tau</math>.
 
 
==The Neighborhood Axioms==
 
One can phrase a set of axioms for the definition of a topological space by defining the ''neighborhoods'' of points in that space.  This is particularly useful when one considers topologies on topological abelian groups and topological rings by subgroups or ideals, respectively, because knowing the neighborhoods of any point is equivalent to knowing the neighborhoods of <math>0</math>.
 
 
 
 
 
==Examples==
 
# [[Metric space]]s
 
==The Category of Topological Spaces==
 
 
 
[[Category:CZ Live]]
[[Category:Mathematics Workgroup]]
[[Category:Stub Articles]]

Latest revision as of 09:46, 5 December 2007

Redirect to: