A vector space inside a metric space inside a vector space Let $V$ be a vector space over $\mathbb{R}$.
Let $M \subset V$ (as a set), and let $d:M \times M \rightarrow \mathbb{R}$ be such that $(M,d)$ is a complete metric space.
Let $W$ be a vector subspace of $V$, and assume that $W \subset M$. Moreover, let $|| \cdot ||: W \rightarrow \mathbb{R}$ be a norm on $W$, and assume that it coincides with  $d$; i.e. for any $u,v \in W$, we have $d(u,v) = ||u-v||$.
So, we have a normed vector space $W$ residing in a complete metric space $M$ contained in a vector space $V$.
Let $\overline{W}$ denote the closure of $W$ in $M$. My question is the following: is $\overline{W}$ closed under addition (where addition takes place in $V$)?
My thought process is that any element $x$ of $\overline{W}$ can be described as the limit of a Cauchy sequence $(x_n)_n$ of elements in $W$. Then if we have $x,y \in \overline{W}$ and $(x_n)_n, (y_n)_n \subset W$ with $x_n \rightarrow x$ and $y_n \rightarrow y$, then the sequence $(x_n + y_n)_n$ is Cauchy. By completeness of $M$, it converges to some element $s$. However, I don't know how to show $s = x+y$, or if this is even true.
I suspect, in fact, that the result is not true. If so, I would like to see a counter-example, and possibly extra restrictions that could make it true.
EDIT: As an example, consider $V$ to be the vector space of functions $\{f:\mathbb{R} \rightarrow \mathbb{R}\}$, $M = L^1(\mathbb{R})$ with the metric induced by the norm, and $W$ be the set of step functions with finite support, with the $L^1$ norm.
 A: The assumptions don't seem to require any relation between the metric on $M\setminus W$ with the vector space structure on $V$, so it would seem we can fabricate a counterexample by brute force:
Let $W$ be your favorite non-complete normed vector space -- such as, for concreteness, the space of real sequences with finite support under the sup norm.
Let $M$ be the metric completion of $W$.
Let $V$ be the direct sum of $W$ and the space of finite formal linear combinations of elements of $M\setminus W$. ($M$ embeds into this in the obvious way...)
Then, obviously, $\overline W=M$, but $M$ is not closed under addition.
A: Let $W$ be a subspace of a Banach space $M$ such that $W$ is not closed in $M$ and let the metric on $M$ be the one induced by its norm. Concretely, take e.g. $W$ to be the space of polynomials on $\mathbb{R}$ and $M$ to be the space of continuous functions with the $\sup$-norm.
In particular $M$ is a complete metric space and the restriction of the metric to $W$ coincides with the norm on $W$.
My idea is to enlarge $M$ and change the additive structure on $M \setminus W$ in a way that is suitably incompatible with the original addition there.
Let $F$ be the free vector space over the set $M \setminus W$. Now let $V = F \oplus W$ be the vector space direct sum of $F$ and $W$. I make the obvious identification of $W$ with $\tilde{W} = \{0\} \oplus W$ as a vector space and of $M$ with $\tilde{M} = [(M \setminus W) \oplus \{0\}] \cup [\{0\} \oplus W]$ as a metric space.
Notice that the vector space structure induced on $\tilde{W}$ by $V$ is the same as its original structure. From here on, all topological operations take place in the topology induced by the metric on $\tilde{M}$ and vector space operations take place in $V$.
Finally, take $x_n, y_n \in W$ such that $x_n \to x \in M \setminus W$, $y_n \to y \in M \setminus W$. Translating this all in to $V$ we have $(0, x_n) \to (x,0) \in (M \setminus W) \oplus \{0\}$ and $(0,y_n) \to (y,0) \in (M \setminus W) \oplus \{0\}$.
However $(x,0) + (y,0) = (x+y,0) \not \in \tilde{M}$ since the addition takes place in the free vector space over $M \setminus W$ so that $x+y \not \in M \setminus W$. Obviously, $\overline{\{0\} \oplus W} \subset \tilde{M}$ and $(x,0), (y,0) \in \overline{\{0\} \oplus W}$ so we see that the closure isn't closed under addition in $V$.
