Difference between revisions of "Compactness"
From Maths
(Created page with " ==Definition== A topological space is compact if every open cover (often denoted <math>\mathcal{A}</math>) of <math>X</math> contains...") |
m |
||
| Line 4: | Line 4: | ||
==Lemma for a set being compact== | ==Lemma for a set being compact== | ||
| − | {{Todo| | + | Take a set <math>Y\subset X</math> in a [[Topological space|topological space]] <math>(X,\mathcal{J})</math>, <math>Y</math> is compact considered as a [[Subspace topology|subspace]] of <math>(X,\mathcal{J})</math> |
| + | |||
| + | That is to say that <math>Y</math> is compact if and only if every covering of <math>Y</math> by sets open in <math>X</math> contains a finite subcovering covering <math>Y</math> | ||
| + | {{Todo|Proof}} | ||
{{Definition|Topology}} | {{Definition|Topology}} | ||
Revision as of 17:35, 13 February 2015
Definition
A topological space is compact if every open cover (often denoted [math]\mathcal{A}[/math]) of [math]X[/math] contains a finite sub-collection that also covers [math]X[/math]
Lemma for a set being compact
Take a set [math]Y\subset X[/math] in a topological space [math](X,\mathcal{J})[/math], [math]Y[/math] is compact considered as a subspace of [math](X,\mathcal{J})[/math]
That is to say that [math]Y[/math] is compact if and only if every covering of [math]Y[/math] by sets open in [math]X[/math] contains a finite subcovering covering [math]Y[/math]
TODO: Proof
