Open cover with no finite subcover

  • Thread starter Thread starter kathrynag
  • Start date Start date
  • Tags Tags
    Finite
kathrynag
Messages
595
Reaction score
0

Homework Statement


I want to find an open cover of x>0 with no finite subcover.



Homework Equations





The Attempt at a Solution


What about (0,1). Would{1/n,1} have no finite subcover?
 
Physics news on Phys.org
Let x be a point in (0,1) and let O_x be the open interval (x/2, 1). Then the union from 0 to infinite of your O_x's covers (0,1). Now to find a finite subcover, consider a finite subcollection of O_x's. Try to see here how reducing the upper limit on your union from infinite to some finite value reduces the points that are contained in the cover. For example, let the finite subcover be the union of O_1, O_2,..., O_n. Then if y is the min of 1, 2,..., n, any number less than n/2 is not contained in the finite union.

To think about how this is different for closed sets, consider [0,1], the same thing as the previous set except that it contains 0 and 1. An open cover for this set must contain it's endpoints. So we can take an open cover for this set by fixing a c > 0 and let O_1 = (-c,c), O_2, = (1-c, 1+c), etc. Then you can see that this covers [0,1]. But it contains a finite subcover since now we can choose y such that y/2 is less than c. So the addition of the set (-c, c) allows us to take the finite subcover as the union of O_1, O_2, and O_y. Note that this is only one open cover of [0,1], but you can try other cases for examples.
 
Oh ok, I see how that works.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top