1. Closure Proof

Hi all,
I'm just wondering if you could show me how to prove this statement. Obviously, it's intuitively clear but I just can't get a proof working for it:

Closure(B(1,a)) = { x in R^n: |x-a| <= 1 }

Thanks a lot!

2. Re: Closure Proof

Originally Posted by AKTilted
Hi all,
I'm just wondering if you could show me how to prove this statement. Obviously, it's intuitively clear but I just can't get a proof working for it:

Closure(B(1,a)) = { x in R^n: |x-a| <= 1 }

Thanks a lot!
You know that $RHS$ is a closed set containing $B_1(a)$ and so $\overline{B_1(a)}\subseteq RHS$. That said, since each $x$ with $\|x-a\|=1$ is a limit point of $B_1(a)$ (why?) one must have that $RHS\subseteq\overline{B_1(a)}$, can you conclude?

Oh, and it's not as intuitively obvious as one would hope. For example, in a discrete space $(X,d)$ one has that $\overline{B_1(x)}=B_1(x)$ but $\left\{y\in X:d(x,y)=1\right\}=X$ for all $x\in X$

3. Re: Closure Proof

Does this line of logic work?

If I assume that the closure of the ball, B(1,a) = { x in R^n: |x-a| <= 1 } and then go to prove that this is closed?

4. Re: Closure Proof

Originally Posted by AKTilted
Does this line of logic work?

If I assume that the closure of the ball, B(1,a) = { x in R^n: |x-a| <= 1 } and then go to prove that this is closed?
I'm sorry, I can't understand what you mean there.

5. Re: Closure Proof

Basically this:

If I can prove that { x in R^n: |x-a| <= 1 } is a closed set, can I use this to state that Closure(B(1,a)) = { x in R^n: |x-a| <= 1 }?

6. Re: Closure Proof

Originally Posted by AKTilted
Basically this:

If I can prove that { x in R^n: |x-a| <= 1 } is a closed set, can I use this to state that Closure(B(1,a)) = { x in R^n: |x-a| <= 1 }?
No..you can use it to state that $\overline{B_1(a)}\subseteq\left\{x\in\mathbb{R}^n: \|x-a\|\leqslant 1\right\}$.