6
$\begingroup$

My question is related with the understanding of open covering definition of compactness which can be stated as: A metric space $X$ is called compact iff each of its open cover has a finite subcover. For example $[0,1)$ is not compact. I understand what open covers are; for example set $A = \{(-1,1)\}$ may be one of open coverings of $[0,1)$. But I don't understand how to check whether set A admits a finite subcover or not? I tried many times but I don't know where I am lacking? Please help me with this.

Edit 1: Let $O$ be the set of open intervals of the form $(-1/2, 1-1/t)$. $O$ is an open cover but it does not admit a finite subcover. My question is related with understanding of how can we say $O$ doesn't admit a finite subcover.

Edit 2: I find it difficult to apply the open covering definition of compactness. If someone can explain this definition with examples it would be good for me.

Thanks

  • 0
    I can't quite tell what you're asking. Some thoughts: The $A$ you give is already finite. Do you want an example of an open covering of $[0, 1)$ that has no finite subcover?2012-06-02
  • 0
    @DylanMoreland I have edited my question.2012-06-02
  • 0
    Cool. What is $t$ allowed to be?2012-06-02
  • 0
    @DylanMoreland take largest t2012-06-02
  • 2
    Exactly! Take a finite subcover $O_f$. Then there is a largest $m$ such that $(-\frac{1}{2},1-\frac{1}{m})$ is in $O_f$. But then the point $1-\frac{1}{2m}$ is not covered by any element of $O_f$.2012-06-02
  • 0
    @AndréNicolas how can we say that 1-1/2m is not covered by $O_f$ . I am sorry for my stupidity. I have just started studying metric spaces.2012-06-02
  • 1
    We are just on the line, nothing fancy. Think geometrically. The distance from $1$ of any point in $-1/2,1-1/t)$ is greater than $1/t$. Let $m$ be the largest number such that $(-1/2,1/m)$ is in our supposed finite subcover. The point $1-1/(2m)$ is distance $1/(2m)$ from $1$, which is closer than any point in the subcover. Actually, already $1-1/m$ is (barely) too close to $1$ to be covered. Sketch a picture, pick a finite number of $t$ like $5$, $8$, and $17$. Find a point not covered.2012-06-02
  • 0
    @AndréNicolas Thank you very much. I understand now.2012-06-02
  • 1
    Good. You shouldn't apologize, these things are hard at the beginning. But remember that there are simple pictures associated with most of these ideas. We *use* the pictures to write down a formal argument, because our mental picture *could* be wrong. There are for example some continuous functions that are weirder than anything one could imagine drawing.2012-06-02
  • 0
    @AndréNicolas My sincere thanks to you. Your comments "The distance from 1 of any point in ...." was sufficient for me to understand things. Thanks again.2012-06-02
  • 0
    @AndréNicolas I think all the points of [1-1/2m, 1) can not be covered by $O_f$. Am i right ?2012-06-02
  • 1
    That's right, none of them can be covered.2012-06-02
  • 0
    @AndréNicolas Wow I understand now.:) many thanks2012-06-02

1 Answers 1

8

Here's the first task.

Let $U_n = (0, 1 - \frac1n)$ for $n \in \mathbf N$. Show that the open covering $\{U_n\}$ of $(0, 1)$ has no finite subcover.

Some steps you could follow:

  1. A finite subcover is of the form $\{U_n\}_{n \in S}$ for some finite subset $S$ of $\mathbf N$.
  2. If $S$ is non-empty then let $N$ be the largest element of $S$. Then $U_n \subset U_N$ for all $n \in S$, so it is enough to show that $U_N$ does not contain all of $(0, 1)$.
  3. $1 - \frac1N$ is an element of $(0, 1) \setminus U_N$.

I can't tell you how to understand the definition in a few words, but here are some thoughts. It's often enough to understand a special case of something, while keeping in mind that exceptions exist. Here, the familiar case is that of $\mathbf R$. More generally, in a metric space compactness is equivalent to sequential compactness. This might be a more visceral notion, and it might help to see the proof of equivalence in section 2 of this handout of Brian Conrad's.

For me, this justifies thinking of non-compact sets as those in which points can run off, either to a point outside of the set or "to infinity". See also this (closed) question at MO. Try thinking about why you can't construct an example like the one you gave for $[0, 1]$.

As opposed to applying the open covering definition directly, it's often enough to remember the fundamental fact that a subset of $\mathbf R^n$ is compact if and only if it is closed and bounded, together with standard theorems on compactness.

  • 0
    Please check whether I am right or not. If yes then i got the concept. I took U = (0, 1- 1/2n) as open covering of (0,1). Now took a finite subcover say A ={(0, 1-1/n)} OF (0,1). But there is largest m such that point 1-1/2m is not covered by A.2012-06-02
  • 0
    @srijan I can't quite follow the notation. What I wrote above makes some sense to me. Does it look alright to you?2012-06-02