5
$\begingroup$

Can we make the real numbers into a $\mathbb{C}$-vector space?

We should take the real numbers as a group and the complex numbers as our ring. Please tell me what is the operation?

$\endgroup$
5
  • 2
    $\begingroup$ Hi. Welcome to Math.SE. It will be easier to help you if you can write more in your question describing what you've thought of or tried. $\endgroup$ Sep 27, 2013 at 8:14
  • $\begingroup$ Suppose that you had some map $\mathbb{C} \times \mathbb{R} \to \mathbb{R}$. What two properties would it have to satisfy in order to define $\mathbb{R}$ as a $\mathbb{C}$-module? $\endgroup$ Sep 27, 2013 at 8:16
  • 1
    $\begingroup$ If it is possible, I think the multiplication will not be continuous. $\endgroup$ Sep 27, 2013 at 12:03
  • $\begingroup$ @KarlKronenfeld yes you are right, thank you I removed my comment. $\endgroup$
    – Math137
    Sep 27, 2013 at 12:13
  • $\begingroup$ If you want the endomorphisms of $\mathbb R$ be continuous then they are determined by where they send $1 \in \mathbb R$ and so the endomorphism ring is isomorphic to $\mathbb R$. A $\mathbb C$-module would then be a ring homomorphism $\mathbb C \to \mathbb R$ which is impossible since $\mathbb C$ is a field. If you allow discontinuous endomorphisms then perhaps the answer might be positive. $\endgroup$
    – Marek
    Sep 27, 2013 at 12:48

2 Answers 2

4
$\begingroup$

Yes, we can!

$\mathbb R$ is a $\mathbb C$-module iff there exists a ring homomorphism $\mathbb C\to\operatorname{End}(\mathbb R)$.

A group endomorphism of $\mathbb R$ is a $\mathbb Q$-linear map. Now let's define such a linear map which satisfies the condition $(f\circ f)(x)=-x$ for all $x\in\mathbb R$. Let $(x_i)_{i\in I}$ be a $\mathbb Q$-basis of $\mathbb R$ and write $I$ as a disjoint union of subsets made of two elements. For such a subset, say $\{u,v\}$, define $f(x_u)=x_v$ and $f(x_v)=-x_u$. Now check that $(f\circ f)(x_i)=-x_i$ for all $i\in I$.

Then define a ring homomorphism $\phi:\mathbb C\to\operatorname{End}(\mathbb R)$ by $\phi(a+bi)=\phi_a+\phi_b\circ f$, where $\phi_a(x)=ax$, respectively $\phi_b(x)=bx$ for all $x\in\mathbb R$.

$\endgroup$
3
  • 3
    $\begingroup$ $\phi$ defined here is not multiplicative. If it were, we would have $\phi_a\circ f = \phi(ai) = \phi(ia) = \phi(i)\circ\phi(a) = f\circ \phi_a$, so $f$ would be $\mathbb R$-linear. Then, $f$ would necessarily be of the form $f(x) = cx$ for some real $c$, so $f(f(x)) = c^2x$, but $c^2 \neq -1$. Of course, the problem is that $\mathrm{End}(\mathbb R)$ is not a commutative ring or $\mathbb R$-algebra, so you can't simply define $\phi(1)$ and $\phi(i)$ and extend by linearity. $\endgroup$
    – Ennar
    Jul 24, 2023 at 1:56
  • $\begingroup$ In spite of its 8 upvotes and accept, this answer is wrong. $\endgroup$
    – user26857
    Jul 26, 2023 at 7:30
  • $\begingroup$ For a correct answer see here. $\endgroup$
    – user26857
    Jul 26, 2023 at 7:54
3
$\begingroup$

As an abelian group, $\mathbb{R}$ is uniquely divisible (that is, for each $x$ and nonzero integer $n$, there is a unique $y$ so that $x = n \cdot y$), so $\mathbb{R}$ is isomorphic to a vector space over $\mathbb{Q}$. (there's a more obvious proof that $\mathbb{R}$ is a rational vector space -- the point is that "uniquely divisible abelian group" means the same thing as "rational vector space", so I will talk about the latter instead)

In fact, (I'm surely assuming axiom of choice), $\mathbb{R}$ is a $\mathfrak{c}$-dimensional rational vector space, where $\mathfrak{c}$ is the cardinality of $\mathbb{R}$.

$\mathbb{C}$ is also a $\mathfrak{c}$-dimensional rational vector space. Therefore, $\mathbb{C} \cong \mathbb{R}$ as rational vector spaces, and thus as abelian groups.

Thus, your question is equivalent to the following:


Can we make the complex numbers into a $\mathbb{C}$-vector space?

We should take the complex numbers as a group and the complex numbers as our ring. Please tell me what is the operation?

$\endgroup$
1
  • $\begingroup$ While the "question is equivalent to the following" seems to be obvious, the details are missing. We have to show how to transport the $\mathbb C$-vector space structure from $\mathbb C$ to $\mathbb R$ via an isomorphism of addive groups. $\endgroup$
    – user26857
    Jul 26, 2023 at 7:39

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .