Climbing past the complex numbers.
Вставка
- Опубліковано 2 жов 2024
- Head to squarespace.co... to save 10% off your first purchase of a website or domain using code michaelpenn
🌟Support the channel🌟
Patreon: / michaelpennmath
Channel Membership: / @michaelpennmath
Merch: teespring.com/...
My amazon shop: www.amazon.com...
🟢 Discord: / discord
🌟my other channels🌟
mathmajor: / @mathmajor
pennpav podcast: / @thepennpavpodcast7878
🌟My Links🌟
Personal Website: www.michael-pen...
Instagram: / melp2718
Twitter: / michaelpennmath
Randolph College Math: www.randolphcol...
Research Gate profile: www.researchga...
Google Scholar profile: scholar.google...
🌟How I make Thumbnails🌟
Canva: partner.canva....
Color Pallet: coolors.co/?re...
🌟Suggest a problem🌟
forms.gle/ea7P...
I once came across a physics paper that employed the Trigintaduonions (T). Thirty-two dimensional numbers!
I really need the link. I want to see its application...
Need the link
This was it. Not sure what's harder to read, the math or the broken English!
arxiv.org/PS_cache/arxiv/pdf/0704/0704.0136v2.pdf
Geometric Algebra for n-dimensional space has 2^n coefficients in its objects; so it gets quoted as 2^n "dimensions". 5D space for conformal algebra is common, which is 2^5 dimensional. The 2^n comes from n directions in space included or not; because directions in space square to real numbers -1, 0, or 1.
Crazy. Wonder how long time it would take to understand än article like that.
I'd love to one day learn enough to understand a word of what this video is teaching.
Same 😂
Check out the channel dialect. You will get an intro to vector calculus. They also demonstrate elementary matrix algebra. They just started a series on Christoeffel tensors so if you can get Riemannian geometry, you're well on your way to getting quaternions, it's just adding more to matrix operations.
@@philipm3173 is there a channel to explain anything of what you just said?
@@sazam974 3Blue1Brown
@@sazam974 they have a 16 part course called the essence of linear algebra which introduces vectors and linear transforms.
Why was Hamilton considered such a jokester?
Because he always said i j k.
The first telephone company in Hamilton Ontario was started by a physicist. He built a young ladies dormatory on the 2nd floor of the exchange because he knew Hamiltonian operators do not commute.
I would love to see a video on the splithypercomplex numbers!
Zorn matrices might be nice. Yes, that Zorn.
So splithy
split hyper complex?
@@pugza1s731 yes
Yes, especially a way to systematically construct splithypercomplex numbers over any field, including those of characteristic 2. This most likely means not all independent generators can be anticommuting but instead may be "skew commuting" rather.
Since quaternions have very interesting properties when it comes to describing rotations in 3D space, I'd love to see a video about practical (or not so practical) applications of these higher dimensional algebras. Also, what about algebras, that don't obey this 2^n dimension rule? Great video! 🎉
Google "cohl furey"
Such as those used in matter theories.
😢😢😢😢😢
They don't have applications.
There are attempts at applying Octonions to physics.
Probably not the beat idea, but there are some interesting results there.
it would be nice to see a video about the split octonians
I would like to see this too
Seeing how we start losing common features like having no zero divisors or communitivity as we apply this construction, I'd be curious if we lose anything else after the sedenions, or if they have the same basic properties after that.
After the sedenions, your balls fall off
Lmao
I kinda hope it all unravels into complete anarchy as you move up through the dimensions, and then suddenly assumes strict rules again.
Repeat ad infinitum.
That would be awesome :)
Yes, this is a very deep question.
Is there an infinite family of (increasingly abstruse) algebraic properties, which are incrementally lost as the ladder is climbed?
Or, do the (somehow meaningful) algebraic properties completely run out at some point, and as abstract algebras, the higher-dimensional conjugation algebras are all the same? (But then, they are continuous algebras parameterized by 2^n copies of the reals... which in itself is an algebraic property. They are not isomorphic...)
If you're hoping for things to come back being like the wonderful unity of the complex algebra, sorry, that won't happen.
Any algebras that does just what the complex numbers do, is itself the complex numbers. Etc.
Fortunately, different algebras are different, and life is richer!
These things came to life as abstractions, but people have applied them to real-life problems.
For example, multiplication by quaternions preserves geometry in 4 dimensions, and thereby, motion and scaling of solid 3-dimensional objects in 1 time dimension.
Their non-commutativity reflects the non-commutativity of 3-D rotations.
"Coming up" with quaternions for myself during a boring university lecture is still one of my proudest moments.
howw
I did the same in 9th grade
Like come up with the multiplication rules? Or something else?
@@schizoframia4874probably the multiplication rules
Was there a bridge nearby ?
The most famous onsight in history was Hamilton's onsight of the quaternions
Ummm...I think Newton's insight about gravity and Einstein's insights about relativity (among others) are *just a tiny bit* more famous than that. ;-)
@@w.randyhoffman1204we are talking about history of mathematics here :)
@@mathophile716Newton’s insight into Calculus then.
If I see you spell it like that, it's on sight.
@@praharmitra Let's not debate what's greater, Newton, Hamilton, doesn't matter. All true geniuses.
And there's a nice trivia for the "motivation" of this construction. If we would like to preserve the norm multiplication rule, |X Y| = |X||Y|, we have to stick to the 2^n dimensions.
So long as |a| is quadratic in the components of a. Otherwise matrices provide a counter example.
doesnt this have to do with the topological characteristics of spaces? I've been getting into topology and there are some theorems dealing with parity of dimensions and how they don't allow for certain constructions
On sedenions there are Zero divisors
@@benjaminojeda8094 Yes, and they are not a composition algebra, that is they fail the important rule:
forall X and Y: |X Y| = |X||Y|.
Where || is the quadratic norm form in question (related to a symmetric bilinear form sometimes called an orthogonal form).
@@Utesfan100 I am pretty sure that, as long as we investigate *composition algebras* rather than merely the special case of *normed division algebras*, there are 3^n dimensional algebra analogues with cubic norms, to these 2^n dimensional algebras with quadratic norms.
In the general case these norms are not necessarily positive definite but merely nondegenerate indefinite.
@6:43 you refer to the results as a "non-negative integer" when I think you meant to say "non-negative real", and likewise shortly following.
Would love to see some examples of zero divisors in the sedonians
The basic idea is that a^-1 * (a*b) ≠ b ≠ (b*a) * a^-1 generally. That is multiplication by the reciprocal of a is not the same as division by a, which means these reciprocals are not true inverses.
You need to pick four fully independent sedenions a, b, c and d (none of them expressible through multiplying and/or adding the others).
If you pick them to be orthogonal i think you may form (a+b) * (c+d) or something and show that is then zero.
I don't remember exactly though, it was some years since i read about it.
Iirc there is some claim about the zero divisors of the sedenions being closely connected to the Lie group G_2.
FWIW, the word is "sedenion," not "sedonion." It comes from the Latin _sedecenarius_ meaning "sixteen-fold." So the word should really be "sedecenion," but I guess that was too long.
Sedenants are 4D graphical regions.
has anyone done some theory on the proprieties of infinite dimensional number? like, aleph_0-nions or something. How would they work? _can_ they work? would they have any useful proprieties?
it seems like such a wild concept that it can't be usefull but then again p-adics are a thing
Has anyone done papers/research on infinite dimensional numbers?
This is fantastic. I’ve been looking forward to this video for a while so thank you, Professor!
What properties do we lose going from the sedenions to the 32-dimensional algebra?
anything of interest is lost
Last remaining shreds of sanity
That from these honored dead, they take increased devotion to the task for which they gave the last full measure of devotion. 💀
Id like to see what insights this gives us into Abstract Algebra, if we keep climbing tonhigher and hugher dinensions!
none at all
It just seems like all extensions beyond complex numbers are lacking. Real numbers are wonderful, but the extension to complex just feels like perfection. Everything beyond feels like you lose more in elegance and properties than you gain in extra dimensions.
Mathematics doesn't have to feel elegant to be useful though ;)
Of course, we could all just agree that these definitions don't make sense. Though we then might lose some useful applications...
I think, grahams number could be seen as not really elegant, but that doesn't really matter, right?
tell that to roboticists extensively using quaternions
@@Nettlebed7 or game developing where it feels like half of the times I look up something I need to understand quaternions to understand how it works
I love the cayley dickson construction!
Can you do geometric algebra next? The dimensions scale up forever there too but much more nicely, it seems
How do you pronounce "sedenions"? I'm just a math layperson. It was misspelled in the video, so maybe that's where the misunderstanding lies.
Interesting, the conjugation on the pairs (a, b) is reminiscent of the twist structure (a, b)* = (b, a) but using two different negations instead. So if you think of b as being the complement of a everywhere
I love complex numbers. Subscribed! Any video on this topic is appreciated.
Your best video in a while. You always make good videos but this one was particularly great
Which book is good to read about this fascinating subject?
I'd recommend Chapter 33 in "The book of involutions", a book by Alexander Merkurjev, Jean-Pierre Tignol, and Max-Albert Knus. But I'm a graduate student mastering algebra, so this might not suit your preferences. In that case I'd recommend "On Quaternions and Octonions". A book by Derek A. Smith and John Horton Conway.
Yes, please, more :)
I don't suppose you would know a nice mnemonics or shorthand to remember this last diagram? It's ... complex
Imagine one.
the buildup to groups of lie type is appropriate.
Isn't this just saying something equivalent to "vectors can be of infinite dimension"?
THIS IS GREAT! Thank you Michael!
When you kept pronouncing "sedenions" as "sedonians", I kept thinking about Sedona, AZ.
This did it for me. I just joined your Patreon. Sigh, I work full time writing code for folks, so not always possessing enough free time, but I like to try. :)
Really cool! And yes, interested in the split (and the dual) variants!
What goes wrong if you try to use the same construction with two different algebras, for instance if you take R x C?
Can you post the "inverse Cayley´-Dickson construction". The construction to go from S to R?
I would love to see some content where you could motivate an isomorphism from this construction to the language of geometric algebra. It seems to be related
Well octonions and above are non-associative, but Clifford algebras are _always_ associative, so the isomorphism stops at the quaternions.
Maybe it is more of a coincidence that the more "primitive" structures like complex numbers and quaternions show up in unrelated contructions. And yes, Octonians and above don't fit in any geometric algebra, because of associativity, as was said above.
What would the cartesian product be? Addition of elements with different grades? The isomorphic embeddings of R, C and H may just not be related to each other in a way that resembles the Cayley-Dickson construction, because it uses tools not available within one Clifford algebra.
Or maybe you would need a very large one to have blades of grades that don't interfere with each other that they become "free" = independent like the components of a Cartesian product, but then you don't actually benefit from Cliffordness.
Amazing construction! I already know about the first five of these algebras, but I've never seen this way to get from each one to the next, and I never even knew there were infinitely many of them! Great, educational video!
The answer for the value of x when x²=-1 is any number on an infinite dimensional unit sphere in a complex plane
2:24 this is the time police, did you see your future self coming from the 21 century!
At about 6:40, you say "nonnegative integer" but I'm pretty sure you mean "nonnegative real number".
I've heard it say that each step up looses a degree of freedom or something like that and they become increasingly more limited in use.
I'd be more interested in someone discovering a successful system for say tricomplex numbers or some. Complex is two. Quaternians is 4 and 4 dimensional. Good for 3d rotations. But amongst that ladder we haven't found one that does the in-betweens.
There's no purely 3dimensional system it goes from 2d to 4d. And I believe one could be discovered but it's rules might be unique and outside of the ladder.
It's arbitrary but arguably all systems in mathematics are. As long as it works and it's useful it really doesn't matter how different it is from those in that ladder. That's what I mean by arbitrary.
Mathematics is infinite and the number of discoverable calculatable systems are infinite. As well as the uncomputable systems.
Geometric algebra explains all of this.
You can define one by saying how many and what type of basis vectors you want to have.
In general G(x, y, z) is saying there are x vectors that square to 1, y vectors that square to -1, and z vectors squaring to 0.
G(2, 0, 0) is basically 2d space and isomorphic to the complex numbers.
To get something for 3 dimensions simply:
G(3, 0, 0) -> 3D space.
The rules for working with geometric algebra are very simple and gives as a greater understanding of the objects we use.
Find out more: ua-cam.com/video/60z_hpEAtD8/v-deo.htmlsi=87Zw1fA8KWX3Bedu
G(4, 0, 0) -> Quaternions
G(8, 0, 0) -> Octonions
G(2^n, 0, 0) -> 2^n-"nions"
It’s worth noting you _can_ make 3D number systems, they just don’t act like complex numbers.
If you demand that the elements of your algebra i and j square to -1 like with the complex numbers, Quaternions, etc. It is (as far as I’m aware) provably impossible to get 3D numbers to work.
This, however, does work:
1^2 = 1
i^2 = j
j^2 = i
i^3 = j^3 = -1
Giving the set {1, i, j} which is 3D and closed under multiplication! It does have zero-divisors though.
Look up the video “Let’s invent the Triplex numbers”, that’s where I got this example from. It’s well worth a watch!
I think you could define any dimensionality just by having a unit q where
q^n = +- 1
This algebra is closed under multiplication and has n dimensions:
{1, q, q^2, q^3, … , q^(n-1)}
Edit: also, multiplying by i or j in the Triplex numbers both corresponds to some rotation about the diagonal axis (passing through 0 and 1+i+j) so I’m not sure you could do other 3D rotations with it.
@@evandrofilipe1526 the relationship for the Octonions doesn’t actually hold, because all geometric algebras are association and the Octonions aren’t! The Cayley-Dickinson Construction splits off from GA after the Quaternions
I think it would be interesting (although maybe not practical 🤔) to do a follow up video on semi-algebras and the fact that if you tensor any of these algebras with C then you're going to get a matrix algerba over C. I think this is really interesting as it effectively shows that all these algebras are somehow just matrix algebras.
Matrix algebras ate associative which isn't the case for octonions.
I find the rules for going from one algebra to the next fascinating. The video states that it was produced by looking at R->C->H, but is this the only set of rules that can do this? And is it minimal or maximal? Can you remove or add additional rules? I'm guessing you can't just remove them, but what about removing and adding a different rule, or reframing the whole picture.
Nope, it isn't! There's another process that generates the same 3 algebras at the start, but never loses its associativity, and that is Clifford algebras.
The Reals are Cl(0,0); Complex numbers Cl(0,1); Quaternions Cl(0,2). Past that it diverges from the Cayley Dickson construction with Cl(0,3), Cl(0,4), and so on. Like the Cayley Dickson construction, each is 2 times larger than the prior, and in general Cl(0,n) is 2^n dimensional (or rather Cl(p,q,r) is 2^(p+q+r) dimensional).
Most explanations of Clifford algebras won't actually define the algebras in this way though, instead generating them from Cl(2), Cl(3), and so on, and then using the even subalgebras to extract the Complex numbers and Quaternions respectively. This method more cleanly shows that the systems in question are specifically the algebras of rotations in 2 and 3D respectively.
Some while ago i tried working out something similar to Clifford algebra, but using the Moufang identities and scalar squaring, anti-commutation and anti-association relations rather than associativity and just scalar squaring and anti-commutation relations.
This would produce O from H, but then produce something entirely else from O.
Never got the calmness of mind to complete my reasoning though, life is a bitch sometimes.
If rotations in N dimensional space can be described by, for the lack of better phrasing, 2^(N-1)-ions and fractal geometry allows for fractional dimensions, that leads me to wonder if we can talk meaningfully about numbers like objects between the complex and the reals or the complex and the quaternions, and, if so, what sorts of properties would those numbers or number like objects would have, assuming they exist?
I was wondering the same thing, although I hadn't considered the fractal nature.
Perhaps they would be half-associative 😂😂
We should invent a system.
At this point I think we might want to ask what limits there are, if any, to the amount of different types of numbers and the possible properties of said numbers that can be logically constructed within the rules of mathematics. To what extent can the set of ALL numbers be comprehended at all?
That is not how it works. There is a correspondency between rotations of vectors, and of spinors though, but you need to study something called Bott periodicity and Clifford periodicity to understand it properly.
For real vectors of dimension n, the corresponding spinors can be real, complex or quaternion, and they can be either single spinor or two half spinors.
Each complex spinor has a conjugate spinor, these function somewhat similar to half spinors.
SO R¹ ≈ Spin R¹
SO R² ≈ Spin C¹
SO R³ ≈ Spin H¹
SO R⁴ ≈ Spin H¹±
SO R⁵ ≈ Spin H²
SO R⁶ ≈ Spin C⁴
SO R⁷ ≈ Spin R⁸
SO R⁸ ≈ Spin R⁸±
SO R⁹ ≈ Spin R¹⁶
SO R¹⁰ ≈ Spin C¹⁶
SO R¹¹ ≈ Spin H¹⁶
SO R¹² ≈ Spin H¹⁶±
SO R¹³ ≈ Spin H³²
SO R¹⁴ ≈ Spin C⁶⁴
SO R¹⁵ ≈ Spin R¹²⁸
SO R¹⁶ ≈ Spin R¹²⁸±
So for example quaternions are related to 3D and 4D rotations. While octonions (with various internal structures) are related to 5D, 6D, 7D and 8D rotations.
9D rotations are special since they introduce tensoring of previous spinors with 16D spinors, which continue by periodicity onwards.
Does watching Michael show associativity for the quaternions count as doing it once in my life? 🙂
That depends on exactly how compulsive you want to be / have to be, or alternatively, it depends on whether you have a life outside mathematics.
(But maybe I'm being unfair to real mathematicians. I just don't have it in me to be one, and my first sentence was "sour grapes").
the classic undergraduate question
we want cayley-dickson construction for split complex and dual numbers
I am going to pronounce that "oct-onions" and you can't stop me.
especially consiering he calls them "sed-OH-nee-ans" instead of "sed-EN-ee-ons"
@@cd-zw2tt What do you call people from Sedona, Arizona?
@@TimothyReeves "John." But he's the only one I know in Sedona. 🙂
@@cd-zw2ttHmm? Who said onions?
Congratulations, the explanation was clear and usefull. Thanks.
I don't know if it's a relevant question but : I understand that the octonions can be seen as an algebra with a construction process that derives from the Fano plane.
Is there a way to perceive what an equivalent way of constructing an algebra would lead to when starting from a non-desarguesian projective plane, e.g. the Hall plane or its dual ? Something like the equivalent of a skew field but it would be an algebra? I thought intuitively about a malcev algebra but have absolutely no clue how to prove it.
And I forgot to tell, but of course thank you for the great quality of your online content. Helps amateurs such as me a lot!
By far, one of my favorite videos...
This video's thumbnail had no reason to have worked out so well with the preview, but it did.
aa* is another way of writing a and not a --- indeed x*(x+1)=1 (adding one is conjugation) in the finite field Z2 is an irreducible polynomial and the "splitting field" is F4, where something can be both true and false without the logic dissolving into triviality ... so there is a sequence of logics, 2 valued, 4 valued, 3 valued ... and then stop because 3 is enough. #RM3
@14:30-ish there's an interesting claim about phi(C). The fact that phi(C) behaves like R' does not rule out the supposition that C has some je nais se quoi not preserved under phi.
well done. really cool 😁
Outstanding video. I love dummy videos ... they always make me smarter ... and I acheive a new level of dummyhood.
Well apparently this bio guy has to go back to achool again. There is some crazy stuff here i just heard. And for the first time in 3 years despite being an avid reader of geology, particle physics (like up to a junior year student or so level), materials science, engineering and public works construction, chemistry and neurology. I have not a damn clue what half of that intro was about.
Okay nevermind i kinda get that its about math in spaces with higher levels of dimensions to our own?
Time to watch
The exact half of the video 15:15
i don’t understand anything in this video…. i just wanted to know if the numbers beyond “complex” apply to the mandelbrot set. wonder what that could present …. so many questions, so little brain
Ok this is a wild question but could we use numbers of n dimension where n approaches infinity? Negative dimensions? Dimension approaching zero?
So, what if we go on infinitely? the omegions? intinitums? infinitions? infitions? Infinitons? xD
No but for real, how woulld one go about defining that?
Is that equation on your shirt a joke? It's not correct for (n+1)^2. Some non-standard algebra?
At 6:44 probably you meant "non-negative real numbers" instead of "non-negative integers"
a video on the split octonians would be neat
Where do the split-complex and dual numbers fit into this scheme?
I like to see the complex system plus abut instead of moving forward of it just do the colpexer system of that system
can’t wait for the dārskubï-helvetica numbers
Octopus onions are the largest that exist in a 3D space, which is the one we exist in. That doesn't mean the math of the other onions can't be useful in other ways. Cool.
woah this is really interesting, im glad you made this video
Also, we can add virtual numbers, or numbers with negative absolute values, to get even more complex numbers.
Such numbers are called split complex numbers, or rather they are part of those numbers.
Yeah, and there could be a virtual unit, v, so that abs(a*v)=-a.
|iv|=-i
also, there could be
|(-a)v|=a
Interesting, isn't it?
The general form could be:
a+bv
Higher orders could entail:
a_0+a1v1+a2v2+...+a2^n-1v^2^n-1
Just my speculation.
@@Gordy-io8sb Try conic complex numbers, also called tessarines and bicomplex numbers. They are a commutative algebra over the complex numbers, indeed they are a composition algebra with complex quadratic norm.
All complex numbers are represented as norms (or absolute values if you like) of numbers in this algebra.
So this means if we get bored studying real and complex valued functions, we can just climb the stairway to heaven, I mean the staircase to Math Bliss. Since the there is no heaven, let's meekly settle for Math Bliss.
Just take SU(N) it’s just going to be N^2-1 generators
DJ Henrique da Costa Filho da vida de vcs vão vir aqui tô indo pro hospital agora da escola e é só no é só r o almoço amanhã de manhã r viu o cafezinho da tarde para todos os dias de um
So wait I can start my own domain on squarespace? Is it an associative and commutative domain?
Is there a Fano-like diagram for quaternions?
What's the advantage of using these algebras over Geometric Algebra?
D ER hoje né a noite toda vez é só r o cafezinho tava precisando muito muito sucesso sempre é o cafezinho tava no forno e é
That diagram at the end looked a lot like the fano plane?? Is there some connection between these algebras and projective geometry???
Yes. There is a relationship between these algebras and projective spacea over the field GF(2) = Z/2Z. This is because every generator unit squares to a scalar.
I'm glad I was smart enough to stop at 5th grade math.
I see quaternions come up in 3-d rotations, but what is the "killer app" of the octonions?
Unit quaternions (isomorphic to SU(2)) generate rotations since they're a double cover of SO(3). Their relationship with the groups SO(3) and SU(2) are among the reasons of many other applications of quaternions to physics. In a similar way, octonions are deeply related to physics and the standard model; for more info I recommend taking a look at:
ua-cam.com/video/ng1bMsSokgw/v-deo.html
Quaternions are used for both 3d and 4d rotations, while octonions may be used (in less obvious ways) for 5d, 6d, 7d and 8d rotations.
D fui no banheiro e é o almoço amanhã de manhã e o cafezinho da manhã e é só no centro da casa de vcs e de um pedido de casamento e o almoço
why do dimensions of these algebras appear to be powers of 2?
Geometric Algebra. Subsume.
T amo muito muito sucesso sempre felicidades e muitas felicidades e muitas alegrias e é só r viu o almoço de ontem e o cafezinho da tarde para todos os momentos da vida de
Wow!! Simply, one of the best explanation.
Yes, split Quaternions :D
Geometric algebra:
unites them all
Has anyone invented an easier way to label the octonions? It seems bulky and obtuse. Like, if Ea * Eb = Ec, there should be a simple function relaring a, b, and c. But I could be totally wrong - maybe that isnt possible.
I know that there's an identity for writing (a^2+b^2)(c^2+d^2) as a sum of squares, and similarly for (a^2+b^2+c^2+d^2)(e^2+f^2+g^2+h^2), the first coming from norms in C and the second from norms in H. Is there an analogous formula in 8,16,... dimensions?
By the way, I'm pretty sure that diagram at the end is basically projective 2-space over F_2. We can treat e_1 as the vector (0,0,1), e_2 as (1,0,1), and so on. Then that explains the looping on the collinear points.
I think the second identity you mentioned is this one: en.wikipedia.org/wiki/Euler%27s_four-square_identity
@@jakobthomsen1595 Thanks for the article. It looks as if it's only possible up to 8 variables if you want linear expressions in the squares, but there are analogues for any power of 2 if you allow rational functions.
Thanx to octonions, there is such a formula in 8 dimensions, yet there is none in 16 dimensions or higher.
Seems like the right place to ask this if anyone can enlighten me, since we've known for almost a century that the universe is quantized, and that there actually is a minimum size we can operate in (plank length), doesn't that invalidate the idea of infinitesimally small numbers? When I was taught that number systems above the reals(long long ago 😂)...it was under the assumption that you can always find a number in between 2 fractions... Doesn't this assumption now seem wrong? Wouldn't this relegate all non-real number systems to just be in the realm of erroneous past ideas we should stop using?? Utterly confused.
Not at all, it just means that certain numbers “exist” (we’ll ignore the discussion of whether numbers actually exist or not, it’s irrelevant and rather boring) which don’t appear in the real world. This isn’t shocking, after all there are numbers so vast they already can’t have any physical description. Quantum mechanics actually uses a ton of math that simply wouldn’t work without the assumption that between any two numbers there is another one (actually it requires slightly more than that to work, but that’s beside the point).
Oh and a sidenote: infinitesimals are non-standard. Whilst it’s possible to develop them rigorously, the standard way of doing analysis doesn’t have them. The relevant search term would be non-standard analysis.
So if you know the real and one part of the imaginary, then can you solve the other parts of the imaginary? I can really explain this in principle:
I know what's real. I can read a story. Can I look at characters in the story and discover other fictional characters who exist elsewhere in fiction who must be a certain way because of the first character?
I don't know what's real in India. I read a story about India. I know what's real in America. I read another story in America. Can it really be telling me something about the real in India?
buddy what are you talking about
Just before the sedonians is a good place to stop.
I would suggest geometric algebra
Problem is, octonians are not associative, so they can't sit in a Clifford algebra as they are. But you can, for instance, derive stuff from octonians that do form a Clifford algebra and seems to be useful m.ua-cam.com/video/Vs01SH8tlX0/v-deo.html.
Just the Cayley-Dickson construction by itself leads you outside GA.
@@franks.6547 en.wikipedia.org/wiki/Octonion#Cayley%E2%80%93Dickson_construction
From Real to Complex, the order property is lost
Can you explain why there are also 480 possible definitions for octonion multiplication?
Is quaternions as H the upper half plane?
It is interesting: are there possible systems with arbitrary number of imaginary units, say 5, 6, 7 and so on? If no then why? What are the applications of such hypercomplex systems? We know vast usage of real and complex numbers, using quaternions for 3D rotations, how other systems are used?
The answer I find the most satisfying is from geometric algebra (though it’s far from rigorous):
Basically, any time you introduce an element in a geometric algebra, you end up ‘generating’ other elements from the multiplication.
Let’s try to construct an algebra with just a single “-1” squaring unit we’ll call “i”. Then we have:
i^2 = -1
Which ‘generates’ the scalar values. So actually we can’t have a geometric algebra with only “i”, we need {1, i}.
Let’s try another -1 squaring element “j”, giving {1, i, j}. Watch what happens:
1^2 = 1
i^2 = -1
j^2 = -1
ij = ?
What does “ij” equal? Well, in geometric algebra, different basis elements anti-commute. Hence:
ij = -ji
This lets us figure out what it squares to:
(ij)^2 = ij ij = -i jj i = ii = -1
So by introducing “j” we also ‘generate’ another -1 squaring element which we can label k.
So we have {1, i, j, k} where ij = - ji = k and by extension ijk = (ij)^2 = -1. This is the definition of the Quaternions!
Notice that we were able to have the 2D complex numbers and the 4D Quaternions, but not 3D-complex like numbers since it sort of “wants” to generate another element.
Sadly the explanation doesn’t extend to Octonions since they’re non-associative and all geometric algebras are associative, but I find it a nice way to understand the case for Quaternions more intuitively at least
There are other ways, but then you need to set not i² = s etc but rather i³ = s (i⁴ = s; i⁵ = s ...) etc, for a scalar s. Different scalars s may be used for i, j, l, while the scalars for ij, il, jl and (ij)l are calculated from these. Also, it is more natural to start with split complex, split quaternion and split octonion numbers (set scalars s to 1), then modify from scalar squares to scalar cubes etc. This will work better over rational numbers than over real numbers (avoid zero divisors). For complex analogs you just use abelian group theory. For quaternion analogs you use group theory. For octonion analogs you use Moufang loop theory. Also, when using units squaring to a scalar, it is natural to use anticommutativity, since this multiplies with the scalar -1, which is a square root of 1. When using units cubing to a scalar, it is natural to use a modified anticommutativity where we multiply with a *scalar* that is a primitive cube root of 1, say w. This would mean e.g. that if i³ = j³ = s for a scalar s, then ij = wji but ji = w²ij, since w and w² are reciprocals, because w³ = 1. Not sure how this would work out in the non-associative case, but probably something like (ij)l = wi(jl) might work.
Most likely we can get complex look alikes of any dimension d, quaternion look alikes of dimensions d², and octonion look alikes of dimension d³. So we can go from dims 2, 4, 8 to dims 3, 9, 27, or dims 4, 16, 64, or dims 5, 25, 125 etc. We may need to multiply with another dimension for the scalars needed though, one less than the degree of the primitive root of 1.
The Title or Description should mention that this is covering the Cayley Dickenson Construction as this is one of the better and more complete lectures on the topic.
This is the epitome of
“Elementary students when their math has letters”
“Higher math students when their math has numbers”
what is the name for the study of this
ijk stands for im just kidding lol