4
$\begingroup$

So i have been studying topology and when proving that the finite product of compact spaces is going to be compact we have to use the tube Lemma, and we have to prove it. I have a question about the proof :

Well we start by covering $ x \times Y $ with basis elements and then since $Y$ is compact and $x \times Y$ is homeomorphic to $Y$ we can find a finite subcolection. My question why do i need this finite sub collection?? If every basis elements $ U \times V$ is in $N$ their infinite union is still gonna be in $N$, there has to be something that i am missing , i guess what im really asking is why the tube lemma doesn't work if $Y$ isnt compact, so any help is appreciated , Thanks.

$\endgroup$
5
$\begingroup$

You will take an intersection of these open sets and want that to be open again. That is why you need finitely many.

Why does it not hold without compactness?

Consider $\lbrace 0 \rbrace \times \mathbb{R} \subset \mathbb{R}^2$ and the open set $U = \lbrace (x,y) \in \mathbb{R}^2 \mid \vert x \vert < \frac{1}{y^2 + 1} \rbrace \subset \mathbb{R}^2$. Then we have $\lbrace 0 \rbrace \times \mathbb{R} \subset U$, but we cannot find a tube inbetween, because for large $y$ the elements of $U$ will get arbitrarily close to $\lbrace 0 \rbrace \times \mathbb{R}$.

enter image description here

Thus we need the compactness to prevent this let me call it converging behaviour.

$\endgroup$
  • $\begingroup$ Yes i understand that i need it to be finite for the intersection to be open , my problem was on why i needed the intersection in the first place. $\endgroup$ – Pedro Santos Oct 13 at 10:40
  • 1
    $\begingroup$ Yes, I know. Thats why I put an example afterwards. The latex is totally fine for me. Maybe try reloading the page. I put a drawing to visualize the situation and maybe that is creating some problems. $\endgroup$ – ThorWittich Oct 13 at 10:41
  • $\begingroup$ Oh i think i get it , because i wanna do $ W \times Y $ and that can get out i was thinking of a tube not in this sense but just a neighboorhod that was contained in U, and that for that U would work but thats not what we want. Thanks!! $\endgroup$ – Pedro Santos Oct 13 at 10:46
  • 1
    $\begingroup$ Not sure whether I understand your last comment correctly, but I am glad that that I was able to help. You want to enlarge your given set inside the open set by another open set which has that product form (thus the name tube). In my example the open set sort of converges towards the set we want to enlarge which prevents us from finding something open inbetween. $\endgroup$ – ThorWittich Oct 13 at 10:53
3
$\begingroup$

So for each $y \in Y$ we have a basic open neighbourhood $(x,y) \in U_y(x) \times V(y) \subseteq O$ where $O$ is an open neighbourhood of $\{x\} \times Y$.

The $\{V(y): y \in Y\}$ give a cover of $Y$ and so compactness gives us finitely many $y_1,\ldots,y_n$ such that $$Y = \bigcup_{i=1}^n V(y_i)\tag{1}$$

and then define $$U(x) = \bigcap_{i=1}^n U_{y_i}(x)\tag{2}$$

which is a finite intersection of open neighbourhoods of $x$, so is an open neighbourhood of $x$ as well (this can very well fail if we have an infinite collection of neighbourhoods, consider open neighbourhoods of the axis that are bound by some asymptote, getting arbitrarily close to the vertical line, as $y$ grows; then note that for each $y$ we'd have some room, but no radius that for works for all $y$ at the same time) and $$U(x) \times Y \subseteq O$$

For, let $(x,y) \in U(x)$, then for some $i \in \{1,\ldots,n\}$ we have $y \in V(y_i)$ by $(1)$. Next $x \in U(x) \subseteq U_{y_i}(x)$ by $(2)$ so that $(x,y) \in U_{y_i}(x) \times V(y_i) \subseteq O$ by how we chose our basic open sets. We need the intersection to get the best of all options and only finite intersections of open sets need to be open. That shows the tube lemma and some idea how compactness is important in it.

$\endgroup$

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.