If I want to show that $\ell^\infty$ (the set of all bounded sequences of real numbers) is a vector space does it suffice to show that since $\ell^\infty \subset \mathbb{R}_\infty$ (the set of all sequences of real numbers) and $\mathbb{R}_\infty$ is a vector space that the following are true:
(a.) $0\in \ell^\infty$ (this is trivial because the 0 sequence is bounded and so is in $\ell^\infty$)
(b.) For $u,v \in \ell^\infty$ we have that $u+v \in \ell^\infty$.
We can show this from the definition of bounded sequences, $u = \left\{x_1,x_2,\dots\right\}$ is bounded if $\exists M>0$ such that $|x_n|<M$ for all $N\in\mathbb{N}$. Similarly for $v = \left\{y_1,y_2,\dots\right\}$ bounded by $T>0$. Therefore:
$$|(u+v)_n|=|x_n +y_n| \leq |x_n| + |y_n| < M+T$$
Therefore for any two bounded sequences $u,v$ the sum $u+v$ is also bounded and so $\ell^\infty$ is closed under addition.
(c.) A similar proof shows that $c\cdot u \in \ell^\infty$ for all $c \in \mathbb{R}$
This shows that $\ell^\infty$ satisfies all the necessary conditions to be a subspace of $\mathbb{R}_\infty$. Therefore I think I have shown $\ell^\infty$ is a vector space, but then the problem has me show that $\mathbb{R}^\infty$ (the set of sequences that are eventually zero) is a subspace of $\ell^\infty$ and so I think I may have messed up.
