Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I just got back from my exam and these questions' solutions eluded me, it would be great to use the rest of my evening figuring these out...

Q1: Find an open covering of the set $(0,1) \subset \mathbb{R}$, say $G =\{U_\alpha\}_{\alpha \in A}$, (where $A$ is some indexing set) such that $G$ has no finite subcover.

Q2: Let $f: [0,1] \to [0,\infty) $ be a continuous function. Let there be some $c\in [0,1]$ such that $f(c)$ is non-zero. Prove that there exists an $\epsilon \gt 0$ such that the set:

$X_1=\{\ x\in[0,1]\ | \ f(x)\gt\epsilon\ \}$

is non-empty, and open.

share|improve this question

3 Answers 3

Q1: think about the sets $(1/n,1)$ for $n\ge1$.

Q2: does it help if you take $\epsilon = f(c)/2$? Do you know something about preimages of open sets under continuous functions?

share|improve this answer

For the first one, $\left\{\left(\frac1n,1\right):n\in\Bbb Z^+\right\}$ will do nicely.

For the second, let $\epsilon$ be any positive real number less than $f(c)$, and let $U=f^{-1}\big[(\epsilon,\to)\big]$. Since $(\epsilon,\to)$ is an open set in $\Bbb R$ and $f$ is continuous, $U$ is open in $[0,1]$, and the choice of $\epsilon$ ensures that $c\in U\ne\varnothing$.

share|improve this answer
    
By $(\epsilon,\to)$ you mean $(\epsilon,\infty)$? –  Pedro Tamaroff Dec 13 '12 at 0:31
    
@Peter: Yes; the arrow notation is also quite standard, and I prefer it. –  Brian M. Scott Dec 13 '12 at 0:49
    
Yes, I think I'll start using it, too. Can I find you in chat? I'd like to tell you something. –  Pedro Tamaroff Dec 13 '12 at 1:15
    
@Peter, Brian: I never saw this notation before Brian used it in the comments somewhere when we discussed linear orders. Of course that by that time I could infer the meaning of the symbol, but I don't know how standard it is. –  Asaf Karagila Dec 13 '12 at 13:28

Because the obvious option was given (twice) for the first answer, let me give a cool alternative.

For $n>0$ let $a_n=\frac1n$. Now consider the intervals $(a_{n+1},a_n)$. Their union covers the set $(0,1)\setminus\{a_n\mid n\in\mathbb N^+\}$. Let $I_n$ be an interval which covers $a_n$ and is small enough (for what? read on to find out!).

Clearly $\{I_n\}_{n\in\mathbb N^+}\cup\{(a_{n+1},a_n)\}_{n\in\mathbb N^+}$ is an open cover of $(0,1)$. Argue that it is impossible to have a finite subcover.

If such finite subcover would exist then it would only contain a finite number of intervals of the form $(a_{n+1},a_n)$. This means that for some large enough $N$ we have that $(0,a_N)$ is contained completely in a finite number of $I_n$'s. Argue that $(0,a_N)$ cannot be contained in $\bigcup_{k=N}^\infty I_k$, because they are so small (i.e. their sum will never aggregate to $\frac1N$) and derive a contradiction.


Yes, it's much more to work with, but it's jolly fun and helps to understand the idea behind both measure zero sets and compactness.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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