What is a compact space?

  • Thread starter quantum123
  • Start date
  • #1
quantum123
306
1
According to definition, a compact set is one where every open cover has a finite sub-cover.
So let say I have C1, which is an open cover, I have C2 subset of C1 which is also an open cover. But C2 is finite.
But since C2 is an open cover then there is a finite subcover C3 which is subset of C2.
And so on and so forth , we will definitely end up with Cz which may only have one element. Then there will be no more subset of Cz, then how can there be any more subcover?
Isn't there a contradiction?
 

Answers and Replies

  • #2
George Jones
Staff Emeritus
Science Advisor
Gold Member
7,599
1,477
But since C2 is an open cover then there is a finite subcover C3 which is subset of C2.

Yes, but C3 can be the same as C2, it doesn't have to have smaller cardinality.
 
  • #3
quantum123
306
1
I see. So you mean subset but not necessarily proper subset suffices?
I have gotten confused by the symbol.

[tex]
\subset[/tex]

Does it mean subset or proper subset?
 
Last edited:
  • #4
ObsessiveMathsFreak
406
8
This was exactly the same difficulty that I had with the notion of a compact set. I originally though a compact set meant a single point! But it doesn't.

[tex]
\subset[/tex]

Does it mean subset or proper subset?
In modern notation, it would mean a proper subset, but much of the older texts and definitions of topology use it in its more ambiguous meaning as simply a "subset", proper or equal.

A more straightforward definition of compactness is simply to say that:
A compact set is one where every open cover is either finite or has a finite sub-cover.

A compact set is an extention of the idea of a closed bounded set in spaces where neither close nor bounded makes much sense. In euclidean space, or spaces isomorphic to some euclidean space, compactness is equivilant to being closed and bounded.

I think the old notion of allowing a subset to be less than or equal to is a notion that really should be retired. It's confusing, especially in cases like this. It's continued survival is probably for reasons of ostentation rather than clarity.
 
  • #5
quantum123
306
1
"A compact set is one where every open cover is either finite or has a finite sub-cover." - Good definition!

That is one cursed problem in math for the new-comer.
The other one is the

[tex]
\theta
[/tex]
[tex]
\phi
[/tex]


Different authors define it differently.
I mean maths is supposed to be clear, logical and universal, how can that happen?
 
Last edited:
  • #6
ObsessiveMathsFreak
406
8
I mean maths is supposed to be clear, logical and universal, how can that happen?
Pretension.
 

Suggested for: What is a compact space?

Replies
4
Views
176
Replies
3
Views
85
  • Last Post
Replies
14
Views
1K
Replies
36
Views
1K
  • Last Post
Replies
1
Views
189
Replies
21
Views
932
Replies
1
Views
108
Replies
4
Views
553
  • Last Post
Replies
1
Views
929
Replies
3
Views
3K
Top