Let A be a subset of a topological space $X$, and let $O$ be a collection of subsets of $X$.
(i) The collection $O$ is said to cover $A$ or to be a cover of $A$ if $A$ is contained in the union of the sets in $O$.
(ii) If $O$ covers $A$, and each set in $O$ is open, then we call $O$an open cover of $A$.
(iii) If $O$ covers $A$, and $O'$ is a subcollection of $O$ that also covers A, then $O'$ is called a subcover of $O$.(Topology: Pure and Applied, Adams 206)

In the example/question I am asking, the topological is being generated by $B=\{(–a,a)\ s.t.\ a \in \mathbb{R}\}$. Thus, $(-1,1)$ would have a finite subcover as would a closed interval, say $[-3,3]$.

But what about a half open interval like $(1,4]$ or $[–3,1)$? Would they be compact and have a finite subcover?

  • 1
    $\begingroup$ For $(-1,4]$: 4 needs to be covered, and the set that does this covers the whole set. Similarly for $-3$ in $[-3,1)$. $\endgroup$ – Henno Brandsma Dec 29 '16 at 15:27
  • $\begingroup$ So the open interval $(-1,1)$ has a cover just no finite subcover. Like the other two you commented on, $(–2,1]$ needs -2 to be covered, and these 3 all have finite subcovers? $\endgroup$ – Learner Dec 29 '16 at 15:57
  • $\begingroup$ $(-1,1)$ has a cover without a finite subcover, so is not compact $\endgroup$ – Henno Brandsma Dec 29 '16 at 15:59
  • $\begingroup$ @HennoBrandsma, thank you! $\endgroup$ – Learner Dec 29 '16 at 16:12

Supppose a set $A$ has a maximum $M$ and a minumum $m$, and $O_i , i \in I$ is a cover for $A$. Then $m \in O_i = (-a_i,a_i)$ for some $a_i \in \mathbb{R}$,as it is in $A$ so needs to be covered. SO $m < a_i$. Similary $M \in (-a_j,a_j)$ for some $a_j$. One of these is the bigger set, say $a_j < a_i$, then $ A \subseteq(-a_i, a_i)$, because $x \in A$ implies $x \le M < a_i$, and $x \ge m > -a_j > -a_i$.

So all such $A$ with max and min are compact in this topology, but this kind of argument also works for more sets.

If however $A$ is unbounded below and unbounded above, then $(-n,n), n \in \mathbb{N}$ is a cover for $A$ that has no finite subcover (note that a finite subcover can be reduced to one element). So a compact $A$ needs to be bounded, and so $M=\sup(A)$ and $m =\inf(A)$ exist both. If the larger one of these (in absolute value)is not in $A$, we can also find a cover without a finite subcover. Mull this over a bit...

| cite | improve this answer | |
  • $\begingroup$ "..so $ m=\min A$ exist(s)...". That is incorrect The interval $(0,1]$ is compact in this topology but it has no $\min.$ If $C$ is an open cover of $(0,1]$ then there exists $s\in C$ with $1 \in s,$ so there exists $(-a,a)\in B$ with $1\in (-a,a)\subset s \in C.$ This implies $a>1$ so $(-a,a)\supset (0,1$] so the one-element family $\{s\}$ covers $(0,1]$. $\endgroup$ – DanielWainfleet Dec 30 '16 at 2:02
  • $\begingroup$ @user254665 I meant the infimum of course, and then you need to consider which of these two is the larger one in absolute value, and that one needs to be a min or max, as I said. $\endgroup$ – Henno Brandsma Dec 30 '16 at 9:27

Necessary and sufficient conditions for non-empty $A$ to be compact in this topology: $$(1).\;A \text { is bounded, and}$$ $$(2).\; |\inf A|\geq\sup A\implies \inf A=\min A ,\quad \text {and}$$ $$(3).\; |\inf A|\leq \sup A \implies \sup A=\max A.$$

For example: $A=[-1,2)$ then $\{(-2+2^{-n}, 2-2^{-n}): n\in \mathbb N\}$ is an open cover of $A$ with no finite sub-cover so $A$ is not compact.

Another example: $A=(-1,2]$ or $A=(0,2] . $ If $C$ is an open cover of $A,$ there exist $s\in C$ with $2\in s$,and there exists $(-b,b)\in B$ with $2\in (-b,b)\subset s\in C.$ This requires $b>2$ so the one-member sub-family $\{s\}$ covers $A$, because $s\supset (-b,b)\supset [-2,2]\supset A.$ So $A$ is compact.

| cite | improve this answer | |
  • $\begingroup$ A curious feature of this topology is that if $A$ is non-empty and compact, and $C$ is an open cover of $A,$ then $A\subset s$ for some $s\in C.$ $\endgroup$ – DanielWainfleet Dec 30 '16 at 2:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.