Difference between revisions of "Topological space"

From Maths
Jump to: navigation, search
m (Alec moved page Topological Space to Topological space without leaving a redirect)
m
Line 1: Line 1:
 +
 +
==Definition==
 
A topological space is a set <math>X</math> coupled with a topology on <math>X</math> denoted <math>\mathcal{J}\subset\mathcal{P}(X)</math>, which is a collection of subsets of <math>X</math> with the following properties:
 
A topological space is a set <math>X</math> coupled with a topology on <math>X</math> denoted <math>\mathcal{J}\subset\mathcal{P}(X)</math>, which is a collection of subsets of <math>X</math> with the following properties:
  
Line 9: Line 11:
 
The elements of <math>\mathcal{J}</math> are defined to be "[[Open set|open]]" sets.
 
The elements of <math>\mathcal{J}</math> are defined to be "[[Open set|open]]" sets.
  
 +
==See Also==
 +
* [[Topology]]
 +
 +
==References==
 +
EVERY BOOK WITH TOPOLOGY IN THE NAME AND MANY WITHOUT
  
 
{{Definition|Topology}}
 
{{Definition|Topology}}

Revision as of 04:28, 8 April 2015

Definition

A topological space is a set [math]X[/math] coupled with a topology on [math]X[/math] denoted [math]\mathcal{J}\subset\mathcal{P}(X)[/math], which is a collection of subsets of [math]X[/math] with the following properties:

  1. Both [math]\emptyset,X\in\mathcal{J}[/math]
  2. For the collection [math]\{U_\alpha\}_{\alpha\in I}\subset\mathcal{J}[/math] where [math]I[/math] is any indexing set, [math]\cup_{\alpha\in I}U_\alpha\in\mathcal{J}[/math] - that is it is closed under union (infinite, finite, whatever)
  3. For the collection [math]\{U_i\}^n_{i=1}\subset\mathcal{J}[/math] (any finite collection of members of the topology) that [math]\cap^n_{i=1}U_i\in\mathcal{J}[/math]

We write the topological space as [math](X,\mathcal{J})[/math] or just [math]X[/math] if the topology on [math]X[/math] is obvious.

The elements of [math]\mathcal{J}[/math] are defined to be "open" sets.

See Also

References

EVERY BOOK WITH TOPOLOGY IN THE NAME AND MANY WITHOUT