# Thread: Subspace of R^3

1. ## Subspace of R^3

Hello,

I was wondering if $\displaystyle \mathbb{R}^2$ is a subspace of $\displaystyle \mathbb{R}^3$? Some classmates of me tell me it is, some say it isn't.

I'm under the impression that it is in fact a subspace, anyone care to elaborate?

Thanks in advance

2. Sure it is. $\displaystyle \mathbb{R}^{2}$ is a vector space in its own right, and it is a subset of $\displaystyle \mathbb{R}^{3}.$ Ergo, it's a subspace. The only confusion might be in a mix of notations. But you can just say, for example, that the third component is always zero (sort of an embedding scheme, I guess).

Does that help?

3. Originally Posted by chris2547
I was wondering if $\displaystyle \mathbb{R}^2$ is a subspace of $\displaystyle \mathbb{R}^3$? Some classmates of me tell me it is, some say it isn't.
A necessary condition to be $\displaystyle F$ subspace of $\displaystyle E$ is that $\displaystyle F\subset E$. Taking into account that $\displaystyle \mathbb{R}^2\not\subset \mathbb{R}^3$ we can't say strictly that $\displaystyle \mathbb{R}^2$ is a subspace of $\displaystyle \mathbb{R}^3$.

However (and following Ackbeet's outline) you can define:

$\displaystyle f:\mathbb{R}^2\rightarrow \mathbb{R}^3\;\quad f(x_1,x_2)=(x_1,x_2,0)$

This function is an monomorphism (with usual operations) , so we can identify algebraically $\displaystyle \mathbb{R}^2$ with $\displaystyle \textrm{Im}f\subset \mathbb{R}^3$ (which is a subspace of $\displaystyle \mathbb{R}^3$. In that sense we say " $\displaystyle \mathbb{R}^2$ is a subspace of $\displaystyle \mathbb{R}^3$ " .

Fernando Revilla

4. Just to clarify what Ackbeet is saying:

Technically it is not a subspace, but it is isomorphic to one in a very strong sense (by adding an extra component which is always zero).

Most mathematicians will say it is a subspace by thinking in terms of this isomorphism (they are technicaly wrong by saying this, but this convention has been agreed upon in the mathematical community).