The Picard Maneuver@lemmy.worldM to memes@lemmy.world · 5 months agoThey keep digging that hole deeperlemmy.worldexternal-linkmessage-square83fedilinkarrow-up1372arrow-down120
arrow-up1352arrow-down1external-linkThey keep digging that hole deeperlemmy.worldThe Picard Maneuver@lemmy.worldM to memes@lemmy.world · 5 months agomessage-square83fedilink
minus-squareSubArcticTundra@lemmy.mllinkfedilinkarrow-up1·5 months agoOk, that’s actually quite interesting
minus-squareKogasa@programming.devlinkfedilinkarrow-up2·edit-25 months agoYup, you’ll notice the only thing distinguishing C from R^(2) is that multiplication. That one definition has extremely broad implications. For fun, another definition is in terms of 2x2 matrices with real entries. The identity matrix 1 0 0 1 is identified with the real number 1, and the matrix 0 1 -1 0 is identified with i. Given this setup, the normal definitions of matrix addition and multiplication define the complex numbers.
Ok, that’s actually quite interesting
Yup, you’ll notice the only thing distinguishing C from R^(2) is that multiplication. That one definition has extremely broad implications.
For fun, another definition is in terms of 2x2 matrices with real entries. The identity matrix
is identified with the real number 1, and the matrix
is identified with i. Given this setup, the normal definitions of matrix addition and multiplication define the complex numbers.