Yeah, I think it causes unnecessary difficulties. I actually think they’re introduced at a time when you could instead teach them as two-dimensional vectors with pointwise addition and a special multiplication and division rule, and prove that (0, 1)×(0, 1) = (-1, 0) using that rule, so that sqrt(-1, 0) = (0, 1).
Then you can establish a convention that you write (a, b) as a + bi (and i = (0, 1)).
This is too abstract for younger students, but nowadays I don’t think they learn complex numbers anyway, and I think it would be less spooky for the older students.
Also tbf, rational numbers are just the lattice modded out by the equivalence relations (a, b) ~ (c, d) iff ad = bc, and the equivalence classes just happen to form an ordered field. If you show an undergrad math/science student this esoteric definition of rationals, the motivation of “2D numbers” makes a lot more sense. Of course, please don’t show this to an elementary or middle schooler, a high schooler might be able to handle this if they’re passionate about math.
Of course, please don’t show this to an elementary or middle schooler, a high schooler might be able to handle this if they’re passionate about math.
Lol, I was thinking this as I was reading.
The neat thing about complex numbers defined this way is that you don’t need to understand quotient spaces because under addition ℂ is already isomorphic to ℝ²!
Yeah, I think it causes unnecessary difficulties. I actually think they’re introduced at a time when you could instead teach them as two-dimensional vectors with pointwise addition and a special multiplication and division rule, and prove that (0, 1)×(0, 1) = (-1, 0) using that rule, so that sqrt(-1, 0) = (0, 1).
Then you can establish a convention that you write (a, b) as a + bi (and i = (0, 1)).
This is too abstract for younger students, but nowadays I don’t think they learn complex numbers anyway, and I think it would be less spooky for the older students.
Also tbf, rational numbers are just the lattice modded out by the equivalence relations (a, b) ~ (c, d) iff ad = bc, and the equivalence classes just happen to form an ordered field. If you show an undergrad math/science student this esoteric definition of rationals, the motivation of “2D numbers” makes a lot more sense. Of course, please don’t show this to an elementary or middle schooler, a high schooler might be able to handle this if they’re passionate about math.
Lol, I was thinking this as I was reading.
The neat thing about complex numbers defined this way is that you don’t need to understand quotient spaces because under addition ℂ is already isomorphic to ℝ²!