Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $A$ is a subset of $(V,\parallel.\parallel)$, then let $\bar{A}$ denote its closure. Show that if $x\in V$ and $\alpha \in \mathbb{R}$, then $\overline{x+A} = x+\bar{A}$ and $\alpha\bar{A} = \overline{\alpha A}$.

Honestly, I'm pretty stumped as to where to start, any help would be appreciated.

share|cite|improve this question
up vote 3 down vote accepted

Start with the definitions. I'm not sure how a set's closure was defined for you, but let me define it and we'll go from there.

The point $q \in A$ is a closure point of $A$ if for every $\epsilon>0$, there is a point $p\in A$ such that $\|p-q\|<\epsilon$. (Note $p=q$ is fine.)

The closure of a set is the set of all its closure points.

So is $\overline{x+A} = x+\bar{A}$? The closure of $\{x+A\}$ must contain all its closure points. Let's suppose otherwise that there is a closure point of $\{x+A\}$, call it $y$, that is not contained in $x+\bar{A}$.

So for every $\epsilon>0$, there is a point $p \in \{x+A\}$ such that $\|y-p\|<\epsilon$. Since $p \in \{x+A\}$, we can write it as $x+q$ where $q \in A$; so $\|y-x-q\|<\epsilon$. But that makes $y-x$ a closure point of $A$, and since $\bar{A}$ contains all the closure points of $A$, then $y-x \in \bar{A}$, which is a contradiction.

Proceed in the same way for proving $\alpha \bar{A} = \overline{\alpha A}$. Let me know if you get stuck!

share|cite|improve this answer
My apologies for my first misinterpretation of the notation. I've corrected it now. – Laura Balzano Feb 1 '13 at 4:08
Thanks sooo much, i understand it from the first part – bobdylan Feb 1 '13 at 14:37

Another approach: $y \in \overline{x + A}$ iff there's a sequence $\{x + a_n\}_{n=1}^{\infty}$ so that $x + a_n \to y$ as $n \to \infty$, which happens iff $a_n \to y - x$ as $n \to \infty$; so $(y-x) \in \overline{A}$, and so $y \in x + \overline{A}$.

A similar method shows that $\alpha \overline{A} = \overline{\alpha A}$.

share|cite|improve this answer

Your Answer


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.