5 ms·
3B1B is also informative, especially in explaining why C was not extended using triplets but 4-tuples were needed: https://youtu.be/d4EgbgTm0Bg https://youtu.be
by Jun8 5y ago
3B1B is also informative, especially in explaining why C was not extended using triplets but 4-tuples were needed: https://youtu.be/d4EgbgTm0Bg https://youtu.be/d4EgbgTm0Bg.
Here’s a Math SE answer on why: https://math.stackexchange.com/questions/1784166/why-are-there-no-triernions-3-dimensional-analogue-of-complex-numbers-quate/1784171 https://math.stackexchange.com/questions/1784166/why-are-the..., here’s a more ELI5 discussion: https://www.reddit.com/r/math/comments/9urjyx/why_there_is_no_complex_numbers_in_3_dimension/ https://www.reddit.com/r/math/comments/9urjyx/why_there_is_n.... I especially like this very intuitive comment in that thread : https://www.reddit.com/r/math/comments/9urjyx/comment/e96j4lg/ https://www.reddit.com/r/math/comments/9urjyx/comment/e96j4l...
Left as an exercise to reader: prove that no such n-tuples exist for n>4.
- deleted 5y ago[deleted]
- pdonis 5y ago> prove that no such n-tuples exist for n>4. It depends on how you define "such" n-tuples. The octonions (n = 8) aren't associative, but they have all the other relevant properties.
- Jun8 5y agoYou’re absolutely right, forgot to mention associativity: https://en.m.wikipedia.org/wiki/Frobenius_theorem_(real_division_algebras) https://en.m.wikipedia.org/wiki/Frobenius_theorem_(real_divi...
- MayeulC 5y agoThis comment is about ℂ the set of complex numbers, not the progamming language. It left me confused for a moment.