0
$\begingroup$

I have to show that $\mathbb{R},\mathcal{T}$ is a topology, where $\mathcal{T} = \{]-a,a[ \mid a > 0\} \cup \{\emptyset,\mathbb{R}\}$.

However, $\cup_{n \in \mathbb{N}} ]-2 + \frac{1}{n} , 2 -\frac{1}{n}[ = [-2,2]$which clearly is not an element in $\mathcal{T}$. Is the exercise faulty? Or am I missing something?

  • 0
    @Shaun: And another +1 for the parenthetical remark!2012-11-16

1 Answers 1

1

In order to show that $\mathcal T$ really is a topology on $\Bbb R$, you need to prove the following result:

Let $A$ be any non-empty set of positive real numbers. Then $\bigcup_{a\in A}(-a,a)=\begin{cases} \Bbb R,&\text{if }A\text{ is unbounded}\\ (-u,u),&\text{if }\sup A=u\in\Bbb R\;. \end{cases}$

Note that in the second case $u$ is not in the union.