【归档】Is {(a, b, c) in F^3 : a^3 = b^3} a subspace of F^3? (the F is R and C)

Note: 旧的wordpress博客弃用，于是将以前的笔记搬运回来。

---

There are two question to be solved:

1. Is {$(a,b,c)\in {\mathbb{R}}^3:a^3=b^3$} a subspace of ${\mathbb{R}}^3$?
2. Is {$(a,b,c)\in {\mathbb{C}}^3:a^3=b^3$} a subspace of ${\mathbb{C}}^3$?
   Solution to question 1:
   Let $V$ = {$(a,b,c)\in {\mathbb{R}}^3:a^3=b^3$}.
   Part 1, additive identity:
   Obviously $0=(0,0,0)\in V$.
   Part 2, closed under addition:
   Take $u,w\in V,u=(u_1,u_2,u_3)$ and $w=(w_1,w_2,w_3)$.
   We have $u_1^3=u_2^3,w_1^3=w_2^3$.
   Thus $u_1=u_2,w_1=w_2$ (1-2-1).
   Now we have $u+w=(u_1+w_1,u_2+w_2,u_3+w_3)$.
   According to formulas (1-2-1), we get $u_1+w_1=u_2+w_2$
   (i.e. $(u_1+w_1{)}^3=(u_2+w_2{)}^3$).
   Therefor $u+w\in V$.
   Part 3, closed under scalar multiplication:
   Take $u\in V,u=(u_1,u_2,u_3),$ and $a\in \mathbb{R}$.
   We have $au=a(u_1,u_2,u_3)=(a{u}_1,a{u}_2,a{u}_3)$.
   Clearly, $(a{u}_1{)}^3=(a{u}_2{)}^3\leftrightarrow u_1^3=u_2^3$.
   Therefor $au\in V$.
   Therefor {$(a,b,c)\in {\mathbb{R}}^3:a^3=b^3$} is a subspace of ${\mathbb{R}}^3$.
   Solution to question 2:
   The key to the answer of this question is that for $a,b\in \mathbb{C}$, we can’t deduce $a=b$ from $a^3=b^3$. Therefor, if we take
   $u,w\in$ {$(a,b,c)\in {\mathbb{C}}^3:a^3=b^3$},
   and assume $u=(u_1,u_2,u_3),v=(v_1,v_2,v_3)$, we can’t deduce $(u_1+v_1{)}^3=(u_2+v_2{)}^3$ from $u_1^3=u_2^{3}and{v}_1^3=v_2^3$.
   Thus {$(a,b,c)\in {\mathbb{C}}^3:a^3=b^3$} isn’t closed under addition.
   i.e. {$(a,b,c)\in {\mathbb{C}}^3:a^3=b^3$} is a subspace of ${\mathbb{C}}^3$.