(a) Let \(S\) be the subset \(\\{(x, 0): x \in \mathbb{R}\) and \(x>0\\}\) of
\(\mathbb{R}^{2}\). Define ? and \(\square\) on \(S\) by: \((u, 0)\) ? \((v, 0)=(u v,
0)\) and \(\alpha \square(u, 0)=\left(u^{\alpha}, 0\right)\) for \(\alpha \in
\mathbb{R}\). Show that \(S\) is a vector space with respect to ? and \(\square\).
[Note, however, that we cannot accept \(S\) as a subspace of \(\mathbb{R}^{2}\)
since, for example, the 'sum' \((u v, 0)\) of \((u, 0)\) and \((v, 0)\) regarded as
elements of \(S\) is not the same as their sum, \((u+v, 0)\), when they are
regarded as elements of \(\mathbb{R}^{2}\). [Similar objections apply to the two
distinct scalar multiplications.]
(b) \(\mathbb{R}[x]\), the (real) vector space of polynomials in \(x\) with real
coefficients, is quite naturally regarded as a subset of \(C[x]\), the vector
space of polynomials in \(x\) with complex coefficients. But we may not think of
\(\mathbb{R}[x]\) as a subspace of \(\mathbb{C}[x]\) - unless \(\mathbb{C}[x]\) is
being thought of (unnaturally?) as a vector space over \(\mathbb{R}\) rather
than over \(\mathbb{C}\). Why not?