Hypercomplex Numbers Quaternions: Instead of a 3D version of complex numbers, the next step up in dimension leads to quaternions, which are four-dimensional (one real part and three imaginary parts: i, j, k). Quaternions were discovered by William Rowan Hamilton in 1843 and are used in various applications, especially in three-dimensional computer graphics and spatial rotations. Octonions: Further extending, we have octonions, which are eight-dimensional. However, as we increase dimensions, we lose certain desirable properties such as commutativity and associativity. Quaternions are non-commutative, and octonions are non-associative. Summary of Properties Lost Commutativity: Lost with quaternions. Associativity: Lost with octonions. Alternativity: Lost with sedenions. Power-Associativity: Still retained by sedenions but more complex algebras might lose it. Zero Divisors: Introduced with sedenions and present in higher-dimensional hypercomplex numbers. Alternativity: a(ab)=(aa)b (ab)b=a(bb) Power-Associativity a(a^2)=(a^2)a
@@sciencedaemon While it's true that geometric algebra (GA) provides a more unified framework that includes complex numbers, quaternions, and beyond, it's not necessarily "irrelevant" to study or use these hypercomplex systems like quaternions and octonions. Each has unique properties and advantages for specific applications, especially in physics and computer graphics. GA may offer a more general theory, but hypercomplex numbers still serve as practical tools in various fields, and their unique algebraic structures offer insights that are not always straightforward in the GA context. Both perspectives have value depending on the context and goals.
@@u2b83 meh, geometric algebra is a superset of all those things and lacks nothing because of it. They on the other hand can only have very specific applications, cannot be fundamental. That is what makes them irrelevant. There is no real point in using them when you have a better system that does everything they do in a better way. The reason those systems exist is similar to why vector algebra, matrices, and so forth are still used in physics today when GA replaces all of it... personal opinions of those teaching, not sound reasoning leading to the best choice.
i did read about not being able to compare imaginary numbers (like not being able to say 4i>3i), i am not an expert on this but i imagine no 3d numbers are there because their dimensions double, is this right?
Sedenions are two doubled octonions, 16 versors? What are the onions itself? What is a division of zero? can i have two numbers (vectors) that multiplied give zero but zero is not one of them?
Even more briefly, from a slightly different perspective: Complex numbers are about rotations in two dimensions. There are two real degrees of freedom in complex number because two dimensions allow one rotation axis which needs a basis element (called "i") and one unit is required for multiplication needing another basis element ("1"). The next step up describes rotations in three dimensions*. There are three rotation axes in three dimensions, requiring one element each ("i,j,k" of quaternions) and a unit is still required (quaternion "1"). There are no "three dimensional complex numbers" because there is no spatial dimension with two axes of rotation. * Okay, it describes the double cover of the three-dimensional rotations, but that's a detail that gets missed at this level.
When he mentioned why j² should be = to -1, it lead me to think about nonabelian groups, just then i made the connection to SO(3), and your comment explained an aspect that was even more elusive to me
Michael Penn's explanation was more rigorous... but i think this guy's explanation is more intuitive... He gave a more intuitive demonstration of why there are no 3-D complex numbers... and why the next step has to be 4-D complex numbers instead...📈
@@sciencedaemonYou don't need complex numbers nor geometric algebra to work in any dimension. Including 3. The question is, is there an algebra similar to complex numbers that naturally describe geometry in 3d. Must have a unit and be invertible (associative normed division algebra). If you remove some of those requirements, then you can. Even much better constructions than geometric algebra. But the question is about this, so ignoring complex numbers is changing the question.
I wondered what the starting assumptions would be and I would have liked them to be at the start. For instance linear independence, associativity and distributivity. However as I am interested in geometric algebra I find this a useful stepping stone and it has filled a gap. Nice video.
I am a physicist, so this is more of a "physicist math" video. If you want the "math math" version, look at the Michael Penn video in the description. Very interesting also, but much more complex, pun intended.
Two ways to note while observing an imaginary field. 1. It is perpendicular to a field and 2. It is unique to each field. If there are three independent variables, there will three independent imaginary fields corresponding to each independent vector.
Geometric Algebra has 3D “complex” numbers (similar to quaternions) and higher dimensions as well. The key is that i*j is an irreducible bivector in Geometric Algebra. In Geometric Algebra, a “3D complex number” is not expressed as a + bi + cj, it’s expressed as a + bi + cj + dij. Note the introduction of the bivector ij. And “4D complex number” requires the introduction of the trivector ijk. Also, obligatory, since someone will say quaternions are 4D not 3D: ruclips.net/user/shortsiUvcYNonkaI Geometric Algebra intro: ruclips.net/video/60z_hpEAtD8/видео.html
Quaternions are a 4-dimensional real algebra, this is precisely why they are written as a +bi +cj +dk for real a,b,c,d... The unit quaternions on the other hand are not an algebra. They are the 3-dimensional Lie group Spin(3) \cong SU(2). In fact, Spin(3) is diffeomorphic to the 3-sphere.
@@schmud68 No, it's much more than a fad. All of mathematics comes from geometry, it's in the name, geo-, Earth, and -meter, measure, in Greek. From "taking the measure of the Earth", by which was meant to understand the weights and measures of all things. This comes down to relations and proportions, and we come to concepts like squared numbers and cubed numbers by their geometric origins. Algebraic geometry, and geometric algebra, are continuations past trigonometric identities which fulfill a certain pattern-recognition from the one to the other. I don't think it's merely a fad, at all, but instead is humanity grasping toward a language of a higher intellect, namely, a higher-dimensional comprehension of the Universe alien to our own. What I was noting to our uploader is that his video shows WHY we must bear this other burden of non-numeric values (the bivectors and tricevtors) while attempting to communicate ideas in these other dimensions. It's a necessary constraint, akin to original geometry-proof constraints of only a compass and a straight edge, which I appreciate and helps bridge a gap. I didn't even know about this or consider it before this was recommended to me.
@@quandarkumtanglehairs4743 sure mathematics has historical roots in geometry, and geometry is still a huge part of modern maths, but there are certainly things in maths that are not described geometrically. Maybe because humans are not smart enough, who knows. Geometric algebra is not all of geometry. You can't even do geometric algebra on all Riemannian manifolds (which are the natural higher-dimensional generalisation of surfaces, like a basketball etc). Or if you like physics, you can't always do it on a general spacetime in general relativity. Algebraic geometry, though sounding similar to geometric algebra is a very different thing. I've never used it much so just look at the wiki page to get a taste. Geometric algebra/Clifford algebra, ignoring philosophical viewpoints, is just a mathematical framework to talk about a vector space V with an inner product/dot product. Naturally, when V=R^3 is 3D space, then there are great visualisations which also aid in higher-dimensions when V=R^n. There is also a surprising amount of novel things that come out geometric algebra, like the Pin and Spin groups (I think one calls the Spin group the rotor group in geometric algebra terminology). Like I mentioned above, Spin(3) is essentially the unit quaternions. There is a related fact, in geometric algebra terms, the space of bivectors in 3D is essentially the quaternions themselves. The Pin and Spin groups also have an interesting representation theory, and the geometric algebra, in a way, directly points to so-called pinor and spinor representations. Spinors and pinors are important in quantum physics. The typical example being the use of Dirac spinors in QFT. Pinors and spinors also allow one to get interesting mathematical information about manifolds on which one can do geometric algebra. I am not saying geometric algebra is not useful or insightful, just that it is one part of maths and doesn't really tell you much about a lot of the other parts. I think the fact that you can't always use it on manifolds already says quite a lot. Maybe it is convincing to mention that geometric algebras (Clifford algebras) are completely classified as being isomorphic to matrix algebras Mat_{nxn}(D) or direct sums of matrix algebras Mat_{nxn}(D) + Mat_{nxn}(D) with D the reals, complex numbers or quaternions. Algebraically, this is a very limited selection of possibilities as there are many more types of algebras one could consider.
You kind of miss out on the requirements we are trying to satisfy. It's easy to make a 3-d algebra if we don't care about division: for example take R[x]/(x^3−1). This means you would have numbers of the form a + b ω + c ω^2, where a, b, and c are real and of course ω^3 = 1. The only problem is you get 0 divisors, e.g. (ω - 1)(ω^2 + ω + 1) = 0. Indeed since every cubic has a real root all 3-d algebras will have zero divisors.
Just to check, we're taking ω such that ω³=1, but it's separate from the complex values of ³√1 which also work, right? A new element ω which is distinct from 1 and e^(±2πi/3)? I assume so, given the zero divisors line. I guess that would also mean that any odd dimensional algebra would also have zero divisors due to the necessity of a real root. But what about even numbers with odd factors? Degree 6 polynomials don't always have a real root. Or is it because the structure of it would be isomorphic to R[x]/(x³-1) × R[x]/(x³-1) and the structural property of zero divisors would carry over?
3D complex numbers are quaternions: a scalar dimension and 3 bivector dimensions. 2D complex numbers have 1 bivector dimension. Bivectors describe rotation, vectors indicate translation.
It depends on what we mean by "3D complex numbers." If we are referring to objects that describe affine transformations in 3D space, then quaternions can be considered as such numbers.
Aligning a tube at minus one-half on the complex plane would allow a third dimension of spin to the Riemann Zeta function. This allows deduction of the sequential differences among primes as a series of families of primes, i.e. each prime hosts a "gear" notched with the sequential difference from the preceding prime. This gear for twin primes is known as phi. There are solutions for square primes, sexy primes, and so on.
one slight objection: in your derivation you used commutativity of multiplication. That does not hold for quaternions, so it is a big step to assume it for 3D numbers.
@@tomgavelin2879 when multiplying an equation with j he freely distributed the j around. To begin with, when multiplication is not (necessarily) commutative you have to clarify whether you multiply on the left or on the right.
I am aware of commutativity and distributivity. I just do not see anywhere in this video where commutativity was assumed where it didn't apply. Do you have a time stamp of what you're talking about? I am curious because I feel like I'm missing something obvious.
It looks like the only commutative assumption in the last step is the commutativity of scalar multiplication (ie a * z = z*a if a is a real number and x is a 3-d complex number). Any multiplication of i and j are not assumed to be commutative here in any step, as far as I can see.
What would happen if we made also “scalar” multiplication by a real number also not commutative? Is there in that a similar argument? Do we have to be more ingenious? Or is it actually possible in that case?
If you lose commutativity, you lose a lot of nice properties. It's been a while since I recorded the video, but I think you can make the proof work without commutativity with real numbers. Note that when you get to the next level, which are the quaternions, you lose commutativity between the non-real component (numbers of the form A + B i + C j + D k, capital letters real numbers, i^2=j^2=k^2=-1, you have for example i j = - j i.
@@DeeperScience I see that you have maintained a strict constraint in your starting premises, and retained yourself from arguing algebraic geometry using ij bivector or ijk trivector. I like your maintenance of this constraint, as it shows us exactly WHY we need a non-numeric vector in expressing imaginary values in higher dimensions. I think your presentation here, exactly with this constraint, is perfect. Thank you! I had never considered it, before...
I think we can also answer as: since there were a problem in R ( it was √(-1) ) that led to birth of "i" (complex numbers) , so what problem is there ( in R or C ) which leads to birth of "j" ??? so just putting a random letter which based on no problem makes no sense at all.
There are at least two motivations for the video. First, there is something called the quaternions, that are 4-D. One may wonder if there is something between the complex numbers and the quaternions. Second, as mentioned in the videos, complex numbers are very useful for making 2-D calculations. One may want to do the same in 3D, since our physical space is 3D.
The way to get to the third or any higher dimension with complex numbers is not hard at all. The problem is in the fact that √-1 assumes binary with √1 and a right angle joint with 1 and -1. Therefore, if you want a right angle joint to those two plains, you need a new term. Dimensions are defined by their square roots: √1, √2, √3, √4, √5, etc. Therefore, to get the third dimension, you need a term that gets you to the same value. So then, in order to get you to a value for the third dimension, you need to go up a step. The value of the first and second dimension together is their hypotenuse, which is equal to √2. Therefore, the value of the square root of three dimensions will be √3. But the value of the median angle between the second and third dimension is exactly the same for that between the first dimension. Therefore, we need to reach a value of √2 in the hypotenuse of the second and third dimension. √-1 gives us a second-dimensional angle. Therefore, in order to get a third-dimensional angle, we need something that gets us to the reverse angle of the first dimension if applied three times, just like applying √-1 twice gets us to the reverse angle of the first dimension if applied twice., but it needs to be dependent on √-1 in order to get us to the second dimension. The answer is that we add a √ for each dimension we travel into so that applying √-1 gets us back to the lower dimension from the higher dimension. The answer is that we convert √-1 into its power, namely -1¹’². To add a dimension, we just increase the value of 2 to 3 in the power's denominator. This equates to ³√-1. Therefore, each higher dimension is a greater value of squares. In this case, the cube root. So to get you up and down dimensions, you are adding and subtracting square operators and inverting the value (-1 to 1 or 1 to -1) to get to the other side of that dimension's plane. You're welcome.
Hey guys, I might have missed something, but why does j^2 have to be -1? For quaternions for example we have i^2=j^2=k^2=ijk=-1 and I guess that works because it makes sense when doing calculations but I am thinking if it's possible for other values of j in the 3D attempt, I mean we could have j^3=-1 why not...
Correct me if I am wrong, a complex number can be represented by a one dimensional plane which would just be the x line (ax+ibx). By simple reasoning the 3D plane would be represented by ax+bix, cy+djy, ez+fkz. Just like real numbers can be drawn in a 3D coordinated graph, the complex numbers can be represented by a 6D coordinated graph. When you calculate the argument and angle you will always obtain results without the i , j and k. You cannot represent a 6D graph on paper, but you can represent a+bi , c+dj , e+fk on a 3D plane for calculation purposes to find the angle and argument within the 6D plane. Therefore 3D complex numbers do exist, as well as the 2D complex plane. Off course you will have to first find the three arguments, then work out the resultant argument. Complex numbers such as these could possibly work in a linear direction such as 3 phase electricity, but this idea is beyond my pay scale.
A complex number does exist on the real line. We just don't know where. So we draw a perpendicular line where the a sits. i represents a unique number that generates contradictions when you resolve it. Our math only copes with a whole answer, no two halves (-1×1). You cannot add the dimensions together as the narrator has done in the video. It creates an absurdity. You can only multiply. If you want an area then l×h not l+h, a volume is l×h×w not l+h+w. If you follow the rules of engagement, then you will realise that the higher complex dimensions do exist.
@@twixerclawford the Cayley-Dickson construction tells us the precise way in which the quaternions are numbers of the form a+bj where a, b are complex numbers. Same with octonions being pairs of quaternions, and so on.
You started with the axiom/assumption i * i = -1. But what if you don't allow that, and start with the assumption that i * j = -1? It's not going to help solve sqrt(-1) easily, but perhaps it has other properties!
Thanks for the video, I hadn't thought about that before. Hello maths and physics people, I have a question. I recall that imaginary numbers come up in physics sometimes, such as quantum physics. Do quaternions come up in physics anywhere?
help me to understand, i buy that we cannot express j in terms of i because they are linearly independent, but can't we express R in terms of i? What's happening there?
This is complex made simple. Good job. One objection though. You first said we're not gonna assume commutativity because it's not guaranteed (as is the case with quaternions), then on the last board, while disproving i.j=arbitrary 3D complex nb, commutativity was taken for granted. i hence wonder if again we're more careful not to presume this property whether things will change. Thanks anyway.
It seems to me (not a mathematician) that the problem is that the complex plane doesn't really describe a two-dimensional system in the same way that the x-y plane does. The complex plane doesn't represent dimensions, it just represents complex numbers.
No, that's not the problem. You could do all of plane euclidean geometry with complex numbers - that is part of the reason why they're so ubiquitously useful. 3D complex numbers don't exist because it's just not possible to define an algebra comprised of 3 linearly independent basis vectors that satisfy the properties mentioned in the video. There does exist a 4D extension of complex numbers called the quaternions, and they can, similar to complex numbers in 2D, be used to study 3D geometry.
A way for nonmathematicians to think about this is to reason by analogy as follows: In the same way that negative times negative just returns to positive, and in the same way that cube roots don't require imaginary numbers (since a cube root of a negative real will just return a negative real), so too do you not need, and indeed you can not have, a distinct new type of imaginary with only three dimensions. More explicitly, imaginaries were only introduced because they had to be ... because there had to be *something* that corresponded to second roots of negative reals. These obviously couldn't be either negative nor positive reals, so they had to be something else. The argument that such things must exist relies on the idea of something called "algebraic closure", but without going into that you should be able to grasp the intuition. Basically when we take second roots it works nicely for everything except negatives. The intuition is that there's a missing piece of the puzzle, and that if and only if imaginaries exist can we can fill in that missing piece and make all of algebra work nicely over all of the reals. Since the reals all fit on a single line, the imaginaries can't fit on it, at least not in any direct and natural way. The natural way to conceive of them then is to put them on their own line, orthogonal to the reals, making a second dimension. The analogy above, about -*-, and cube roots, is relevant because it's no coincidence that this second dimension occurs with the second root. The question then is if, and when, new and higher kinds of imaginaries, beyond the regular one of i, can or need to be introduced. The answer is that they can be (whether they "need to" or not). But, again going back to the analogy above, and reasoning about the complex numbers, they only work out at "evenly even" roots and powers. That is, they only work out at powers of 2. So dimension 1 = 2^0 = reals. Dimension 2 = 2^1 = complex = 1 real and 1 imaginary. Dimension 4 = 2^2 = quaternion = 1 real and 3 imaginary. Dimension 8 = 2^3 = octonion = 1 real and 7 imaginary. Dimension 16 = 2^4 = sedonion = 1 real and 15 imaginary. And it keeps going up like that, by powers of 2. Again, if you try to make it work for any other dimensions the proposed extra imaginary numbers simply collapse back either to the reals or to one of the lower imaginaries. We call i the first imaginary, and we typically call the next group i, j, k. (h is the real part, so the dimensions would be h, i, j, k.) I'm not sure what the naming convention is for the octonions and beyond. Just like the imaginaries have real world, practical significance despite being "imaginary" (for example they naturally express relationships between electrical and magnetic fields, can be used to simplify computer information storage and retrieval problems, are required to parsimoniously represent questions in both quantum mechanics and relativity, and lots more stuff like that), so too do the quaternions, h, i, j, k. Some people even think the octonions have real world significance, but I think most regard them (and all the higher number systems) as mostly an idle curiosity.
Yeah, you're sort of right. It doesn't represent physical space, but components of a rotor. It's not an x-y plane, it's scalar-xy mapping. In geometric algebra higher dimensions have more complex structures (pun intended), for which this visualisation won't work. And tbh, we don't need it really.
@@CliffSedge-nu5fv People should be calling it really two-numerical. But things got tricky once some sillyheads decided to classify complex numbers as numbers...
As written, yes! That "implied" -1^(1/2) out the front would be ±i. Complex numbers do indeed also have a positive and negative root. Consider that (-i)^2 = (-1)(-1)(i × i) = -1. Very technically, i is not defined as the square root of -1. i is defined as the number such that (±i)^2 = -1.
If you define i as causing a rotation in the 1,i plane then wouldn't you define j to cause a rotation in the ij plane? So, j^2 would not equal -1 but -i.
I just realized that multiplying by i, rotates the vector in the complex plane and a 3D space is formed by 3 planes.....so we need 3 imaginary numbers to do rotations in 3 planes
well you are assuming the same properties to extrude the third dimension equating the second....but the second was built on the idea of a specific set, so if you have the same set, then you are in that same plane, not a third. In order to get the third, you need an entirely new set, which is the division of zero, and that set is actually pretty amazing. and before anyone says "you can't divide by zero"....tangent would disagree as a division of zero is 90 degrees through the tangent functionality. since two 90 degree turns is 180, you have the process by which to produce the fold across the third dimension. I'll leave you humans to figure out the rest, have fun.
Well, obviously i * j doesn't equal 1. That's not how rotations in 3-d works. We can still have 3-d complex numbers if we keep it clear that multiplication means to rotate into a direction. For example; start with a unit of the real direction - 1. Multiplying ti by i means rotating that vector into the i direction. Then rotate the resulting vector into the j direction. It's still a vector n 3-d space. It's just not the same as doing the multiply by j first and then by i. If you insist on doing it the wrong way, requiring i * j = 1, you're effectively saying rotations in 3-dimensions are impossible.
I am trying to understand this geometrically. If the units not equal to 1 have the property to rotate the vector, it basically means that to keep the space three dimensional, you should not be able to reverse a rotation by i with a rotation by j.
by 5:58 I think I already get it. You would have two numbers to go to -1 but that leaves us with an incomplete 3d. So Im assuming that if j was complex that would fix it bringing us to 4d numbers.
Anything divided by 0 would be not a number, but it can be a mathematical abstraction, convertible to numbers in expressions, also you have to define non-negative 0 to avoid negative/positive option.
Anything you create gives you double the axes, not plus one. Start from complex and add a 1/0 term and you get that and that times i, so you have four axes now. Same for an infinitesimal term, which is probably more useful. Add that and you also add i*e. You do both and you get eight axes, and so on.
Thinking more on it, there could be a system without imaginary parts but with an epsilon (infinitessimal) and omega (infinite), with e×e=0, omega × omega=omega, and e×omega=omega×e=1. Not commutative or associative but it does seem to describe a 3d field.
The reason they do not exist is simply because complex numbers are a limitation, a subset of more "complex" numbers found in geometric algebra (of which quaternions, etc. are a subset), that generalizes to all dimensions and different geometries.
@@sciencedaemon Complex numbers and quaternions are special cases of lots of other things as well, geometric algebra is not unique. The questions, is there an associative division algebra in 3d. And no, geometric algebra is not such a thing. Only when you specialize it to complex numbers or quaternions it gains those properties.
@@element4element4 that is because there only 4 algebras: reals, complex numbers, quaternions, octonions with division algebras. It is not some fault of GA when it is the superset of those numbers. Also, trying to refer to GA as (not) unique is irrelevant. It is a broader, more encompassing system, not a specific math only useful in one way or another.
Thank you for this. This is so simple that even my 14 year old children can understand. I love Michael Penn's channel, but he is often rigorous to the exclusion of making it easy.
There are relevant use cases with more than one complex part (see en.wikipedia.org/wiki/Quaternion for example) that would be relevant to explain in the context of what is described in this video.
I know the channel has been inactive for a while. I have a nice one in preparation about the movement of spinning tops and similar objects. I just have to find some time to record and edit it.
Can this argument prove i does not exist as well i.e. the “dim” 1 and i multiple etc other will leads to inconsistence i.e. generate a complex number with unreal a and b (just like the 15:00 c^2 = -1) i * 1 = a + bi i * i * 1 = ia - b -1 = ia - b => b=1 and a=0 which is real and consistent with our understanding or it is ok.
The mistake in your logic is that you assume that i*j must be a number. But it's not. It's so-called bivector, which is squares to -1 by itself. The whole algebra you've created is the most basic one, containing quaternions. So, the object w + x*i + y*j + z*i*j directly corresponds to classic quaternion. After all, it is 3D complex numbers
i think that assuming ij is a number is the point of the whole video... He shows that a collection of numbers of the form a +bi +cj with i^2=-1, j^2=-1 cannot express ij in terms of such a number without reaching a contradiction or degenerating back to the complex numbers. Hence, you are forced to let ij be its own element. If you make no more assumptions, you still have to deal with iji, jij, (ij)^n and (ji)^n as independent elements (funnily enough (iji)^2 = (jij)^2 = -1). So it leads to an infinite-dimensional real algebra with generators i,j. Of course quaternions arise if you instead require ij=-ji which implies also (ij)^2=(ji)^2=-1. Instead you could require ij=ji which implies (ij)^2 = (ji)^2 =1 and actually corresponds to the commutative real algebra C\otimes_R C. Indeed, just map i \mapsto i \otimes 1 j \mapsto 1 \otimes i then ij = ji \mapsto i \otimes i. An interesting point is that C \otimes_R C is actually not a Clifford algebra/GA, precisely because i and j do not anticommute. Funnily enough the real algebra C \otimes_R C is isomorphic to the real algebra C \oplus_R C and this fact is useful in the classification of Clifford algebras. To me it is more a statement about group presentations, you really have a group G generated by (1,-1,i,j) subject to the relations that (-1)^2 = 1 -1 i = i (-1) -1 j = j (-1) i^2 = -1 j^2 = -1 you cannot state a relation like ij = 1,-1,i,j without introducing dependence between your generators as i=\pm j or contradicting the already imposed relations. As in the real algebra case, if you impose no extra relations iji, jij, (ij)^n, (ji)^n, then they are independent elements of the group. To return to the real algebra case you just take the real group algebra R[G] of G and quotient by the ideal generated by e_{-1} + e_{1} = 0, where e_{g} are basis vectors of R[G].
The problem is the if we look down the real axis the rotation of the axes j relative to I is not normal, worse, it’s undefined. For example any equation in which 0i exists, j is indistinguishable from I. As a result it cannot be a bivector because with a bivector one axis needs to be relatable to the second, otherwise the bivector is undefined.
I guess that if we set i*j=0 everything should work, provided the fact that this operation is undefined as someone said. It can look paradoxical but having something in i*j is paradoxical in itself from a geometric interpretation
j²=-1 is obviously a non-starter because then j == i. What you need is a new value from an operation that is undefined in the real or imaginary axis, like 0/0, 0^0, or something like that.
But they exist in 3D, e.g electromagnetic field, but they are only represented mathematically in 2 dimensions. Yet what I have learned is that imaginary numbers exist ortogonal to one of the x or y axis. if you look at the xy axis the imaginary numbers lie inwards 180 degrees from the xy point of view. But they are mathematically represented with only one of the real axis with an argument (angle) relative to one of the R number axis. They could be represented in 3D with the xy axis but I see no practical use for that.
The whole explanation is based on the fact that there is an assumption that j squared is -1. But that immediately means that j equals i or -i. Extending the rel numbers with i means that we have a new value that can not be written as combination of real numbers. So a real 3D extension of the complex numbers means that we introduce a value( and with that a new dimension for the third axis) that is not a a combination of complex numbers. And that is not the case for j if you introduce that j squared is -1. Then j is just a complex number and the situation for i is different as an extension of the real numbers: i is an extension of the real numbers and j is not an extension of the complex numbers.
@@nihilsson For quaternions, *ijk = -1* as well, so j and k can't both be -i or i. However, if you ONLY define *i²=j²=k²=-1* then they could all just be complex numbers. So henkhu100's comment holds for quaternions.
@@matta5463 Did you see his title: there are no "3D complex" numbers. Keeping that in kind his text is wrong. Because we have 1D real numbers, 2D complex numbers, 4D quaternions etc (8D, 16D, ...) But we have not a 3D system that fits. But that is something else then writing about 3D complex numbers. Just like 4D numbers are no complex numbers.
@@nihilsson Did you see his title: there are no "3D complex" numbers. Keeping that in kind his text is wrong. Because we have 1D real numbers, 2D complex numbers, 4D quaternions etc (8D, 16D, ...) But we have not a 3D system that fits. But that is something else then writing about 3D complex numbers. Just like 4D numbers are no complex numbers.
Yes. You then get standard 3D vector analysis which is quaternions with the real parts always equal to zero. There was a big argument in the 19th century about which was better, vectors or quaternions. Most physicists, particularly Heaviside and Gibbs, thought quaternions cumbersome and decided to split off the vector part and just worked with that.
What about z* = (a, b) + ci. With (a, b) being a point on the horizontal 2D plane and c on the vertical Im-axes? Then rotate it by multiplying with (0,i) or (i,0) or (i,i). Just a wild idea, I leave the maths to (dis)prove it to you. 😊
why you defined "j" as the same as "i" ? What if "j" is another "impossible" solution? i is √-1 what if j is -1! or some else, but not the same as √-1 ?
well you want j to not be a real number, and you want it to have simple algebraic properties. You can’t have j=infinity, for example, because you would have no useful multiplication rule for it
C is isomorphic as a set to R² so points in C are like points in R². Similarly C² is isomorphic to R⁴ so points in C² would be equivalent to points in 4-dimensional real euclidean space. Iirc for all n in N we have that C^n is isomoprhic to R^(n/2) so you can make connections between complex spaces and real spaces for any dimension. TL;DR: points in C² are like quaternions
the cube root of -1 is represented in the two dimensional complex numbers. It is a particular linear combination of 1 and i. Look up “roots of unity” on Wikipedia for more info. You can use them to get the n-th roots of any complex number
I think you should try to start with i, j and then show that no, matter what the rules are for multiplication using i and j, that not all numbers can have inverses. That may have a bigger scope (lack of a division algebra), but I don't quite understand clearly the assumptions you have made here. Sincerely .....
@@H_fromDiscord_real Your idea is still valid though. In your algebra your unit cubed would equal -1. Which means that in your algebra cbrt(-1) equals to either your unit or -1. Multivalued functions are nothing new. Many equations can have multiple equally valid solutions (until new constraints are given).
I tried to have symmetrical components x,y,z, with x²=x, y²=y, z²=z, xy=z, xz=y, yz=x. which works fine except for associativity, so for three numbers in this system a(bc) != (ab)c, which makes them useless. There seems to be something deeper that prevents useful numbers with three components to exist, even if you don't limit yourself to "complex-like" numbers.
@@theupson Numbers that follow the usual laws of reflexivity, associativity etc. Of course Vectors work, but the multiplication is either trivial (scalar product, the three dimensions don't interact) or anti-commutative (cross product), which isn't really nice, e.g. there are two ways to define it (left- and right-handed)
Complex numbers only deal with 2 orthogonal axes and are easily handled with planar math. In my 89 years (over 30 as an electrical engineer) I have never encountered a need for 3D complex number representation or notation. If somebody comes up with a 3 dimensional Smith Chart (Impedance Globe ?) maybe I'll change my mind.
In computer graphics, 3D rotations are made with quaternions. In electrical engineering maybe you can remake the Maxwell equations in quaternion form, after all, cross product is the quaternion product with real part cero. However, practical results would be the same, due to that, i think no one has interest in using quaternions in your field.
At the very end, you were only able to use c^2 = -1 because you assumed j commutes. I think this could be avoided by initially just writing the arbitrary number as a+bi+cj, because we know i commutes already.
Good question. The first issue is that you then no longer have the relationship "multiplying by j is equivalent to rotating 90 degree", which makes the complex number useful in calculations. Also, this will not work. You can look at the video linked in the description for a deeper understanding of the subject. If you want, you can try to come up with a simple proof using a contradiction similar to the one in my video yourself. Suppose j^2=a+b i + c j, i j = d +e i + f j, and do manipulations until you get to a contradiction. Since you have 6 parameters a to f to play with, the algebra may be a bit ugly.
This is exactly what geometric algebra does. Depending on the algebra, you can have geometric units which square to, for example, -1, 0 or +1. As well as some exotic ones. -1 (usually we use biunits pair for that) encodes rotation, 0 translation and +1 hyperbolic rotation (repelling 'force')
a 3D complex number would actually most likely be of the form a+bi+cij, this would allow us to properly represent the number as a vector... I'm pretty sure that I have the solution but there are some gaps that haven't had the time to fill up, as delving into mathematics is just one of the facets of my gnostic path any experienced mathematician is welcome to contact me by replying to this comment, we could finish this paper together may the Monad bless you
Slightly briefer (sim to the last section): Assm: ij = a + bi + cj a, b, c in R (1) x i on left: ij = b/c - a/ci -1/cj (2) Compare coeffs of j in (1), (2) c = -1/c => c^2=-1. Contradicts c in R So ij is not a lin comb with real coeffs. So ij is lin indep, hence j doesn’t add 1 new dimension. Similar consideration for ji in absence of commutativity.
Nice try. First, x+iy alone goes into three dimensions by rotating into z. Second, for your thinking, you have to use Heaviside's selective j where ij=-1, not the tessarine ij=+1. Then (jx+iy)^2=-(x^2+y^2) and you can then step out of this arithmetic box and define the other imaginary numbers to expand from two to three dimensions. Mind you by 3-D I am referring to coordinate axes. The actual dimensions as manifolds to construct that are four.
I believe the assumption that j.j=-1 is not the correct one. What if j.j.j=-1 and we consider j^3+1=0 has 3 roots that are not real, nor complex but are ‘bi-complex’ (in the form of a+bi+cj, a b and c real). I’m not enough good in math to go that far, but I don’t like the simple rotation that is done by stating j^2=-1.
TL;DW: The dimensional progression from scalar, complex, quarternion, to octonion is exponential rather than linear.
what about 2^log_2(3)?
@@reeb3687 What about it? That's just equal to 3.
@@QuicksilverSG WHAT ABOUT 3!!!!!!!
@@Loots1 Sorry, 3 is not an integer power of 2.
Thank you! ❤️
Hypercomplex Numbers
Quaternions: Instead of a 3D version of complex numbers, the next step up in dimension leads to quaternions, which are four-dimensional (one real part and three imaginary parts: i, j, k). Quaternions were discovered by William Rowan Hamilton in 1843 and are used in various applications, especially in three-dimensional computer graphics and spatial rotations.
Octonions: Further extending, we have octonions, which are eight-dimensional. However, as we increase dimensions, we lose certain desirable properties such as commutativity and associativity. Quaternions are non-commutative, and octonions are non-associative.
Summary of Properties Lost
Commutativity: Lost with quaternions.
Associativity: Lost with octonions.
Alternativity: Lost with sedenions.
Power-Associativity: Still retained by sedenions but more complex algebras might lose it.
Zero Divisors: Introduced with sedenions and present in higher-dimensional hypercomplex numbers.
Alternativity:
a(ab)=(aa)b
(ab)b=a(bb)
Power-Associativity
a(a^2)=(a^2)a
Irrelevant when geometric algebra exists that is a superset of complex, quaternions, and so forth. It is the proper generalization.
@@sciencedaemon While it's true that geometric algebra (GA) provides a more unified framework that includes complex numbers, quaternions, and beyond, it's not necessarily "irrelevant" to study or use these hypercomplex systems like quaternions and octonions. Each has unique properties and advantages for specific applications, especially in physics and computer graphics. GA may offer a more general theory, but hypercomplex numbers still serve as practical tools in various fields, and their unique algebraic structures offer insights that are not always straightforward in the GA context. Both perspectives have value depending on the context and goals.
@@u2b83 meh, geometric algebra is a superset of all those things and lacks nothing because of it. They on the other hand can only have very specific applications, cannot be fundamental. That is what makes them irrelevant. There is no real point in using them when you have a better system that does everything they do in a better way. The reason those systems exist is similar to why vector algebra, matrices, and so forth are still used in physics today when GA replaces all of it... personal opinions of those teaching, not sound reasoning leading to the best choice.
i did read about not being able to compare imaginary numbers (like not being able to say 4i>3i), i am not an expert on this but i imagine no 3d numbers are there because their dimensions double, is this right?
Sedenions are two doubled octonions, 16 versors? What are the onions itself? What is a division of zero? can i have two numbers (vectors) that multiplied give zero but zero is not one of them?
Despite the video being from 7 months ago all the current comments are from within a week
Idk what happened byt happy to be part of it
this is called recommendations, pal
School just finished for many people
The algorithm.
funny thing is I was thinking of this exact question a couple of weeks ago
Even more briefly, from a slightly different perspective:
Complex numbers are about rotations in two dimensions. There are two real degrees of freedom in complex number because two dimensions allow one rotation axis which needs a basis element (called "i") and one unit is required for multiplication needing another basis element ("1").
The next step up describes rotations in three dimensions*. There are three rotation axes in three dimensions, requiring one element each ("i,j,k" of quaternions) and a unit is still required (quaternion "1"). There are no "three dimensional complex numbers" because there is no spatial dimension with two axes of rotation.
* Okay, it describes the double cover of the three-dimensional rotations, but that's a detail that gets missed at this level.
Geometric algebra will clear things up for you.
What about my explanation did you find unclear, @@sciencedaemon?
When he mentioned why j² should be = to -1, it lead me to think about nonabelian groups, just then i made the connection to SO(3), and your comment explained an aspect that was even more elusive to me
Michael Penn's explanation was more rigorous... but i think this guy's explanation is more intuitive... He gave a more intuitive demonstration of why there are no 3-D complex numbers... and why the next step has to be 4-D complex numbers instead...📈
No, the next number is a multivector of 3 vectors. This is easily grasped in geometric algebra, no need for complex numbers.
@@sciencedaemonYou don't need complex numbers nor geometric algebra to work in any dimension. Including 3.
The question is, is there an algebra similar to complex numbers that naturally describe geometry in 3d. Must have a unit and be invertible (associative normed division algebra).
If you remove some of those requirements, then you can. Even much better constructions than geometric algebra. But the question is about this, so ignoring complex numbers is changing the question.
I wondered what the starting assumptions would be and I would have liked them to be at the start. For instance linear independence, associativity and distributivity. However as I am interested in geometric algebra I find this a useful stepping stone and it has filled a gap. Nice video.
GA removes the obstacles. Quaternions become a natural consequence.
I am a physicist, so this is more of a "physicist math" video. If you want the "math math" version, look at the Michael Penn video in the description. Very interesting also, but much more complex, pun intended.
Two ways to note while observing an imaginary field.
1. It is perpendicular to a field and
2. It is unique to each field.
If there are three independent variables, there will three independent imaginary fields corresponding to each independent vector.
It's called geometric algebra.
Geometric Algebra has 3D “complex” numbers (similar to quaternions) and higher dimensions as well. The key is that i*j is an irreducible bivector in Geometric Algebra. In Geometric Algebra, a “3D complex number” is not expressed as a + bi + cj, it’s expressed as a + bi + cj + dij. Note the introduction of the bivector ij. And “4D complex number” requires the introduction of the trivector ijk.
Also, obligatory, since someone will say quaternions are 4D not 3D: ruclips.net/user/shortsiUvcYNonkaI
Geometric Algebra intro: ruclips.net/video/60z_hpEAtD8/видео.html
Quaternions are a 4-dimensional real algebra, this is precisely why they are written as a +bi +cj +dk for real a,b,c,d... The unit quaternions on the other hand are not an algebra. They are the 3-dimensional Lie group Spin(3) \cong SU(2). In fact, Spin(3) is diffeomorphic to the 3-sphere.
@@schmud68Your face is diffeomorphic in the 3-sphere.
@@quandarkumtanglehairs4743 and geometric algebra is a fad
@@schmud68 No, it's much more than a fad. All of mathematics comes from geometry, it's in the name, geo-, Earth, and -meter, measure, in Greek. From "taking the measure of the Earth", by which was meant to understand the weights and measures of all things. This comes down to relations and proportions, and we come to concepts like squared numbers and cubed numbers by their geometric origins.
Algebraic geometry, and geometric algebra, are continuations past trigonometric identities which fulfill a certain pattern-recognition from the one to the other. I don't think it's merely a fad, at all, but instead is humanity grasping toward a language of a higher intellect, namely, a higher-dimensional comprehension of the Universe alien to our own.
What I was noting to our uploader is that his video shows WHY we must bear this other burden of non-numeric values (the bivectors and tricevtors) while attempting to communicate ideas in these other dimensions. It's a necessary constraint, akin to original geometry-proof constraints of only a compass and a straight edge, which I appreciate and helps bridge a gap.
I didn't even know about this or consider it before this was recommended to me.
@@quandarkumtanglehairs4743 sure mathematics has historical roots in geometry, and geometry is still a huge part of modern maths, but there are certainly things in maths that are not described geometrically. Maybe because humans are not smart enough, who knows.
Geometric algebra is not all of geometry. You can't even do geometric algebra on all Riemannian manifolds (which are the natural higher-dimensional generalisation of surfaces, like a basketball etc). Or if you like physics, you can't always do it on a general spacetime in general relativity.
Algebraic geometry, though sounding similar to geometric algebra is a very different thing. I've never used it much so just look at the wiki page to get a taste.
Geometric algebra/Clifford algebra, ignoring philosophical viewpoints, is just a mathematical framework to talk about a vector space V with an inner product/dot product. Naturally, when V=R^3 is 3D space, then there are great visualisations which also aid in higher-dimensions when V=R^n. There is also a surprising amount of novel things that come out geometric algebra, like the Pin and Spin groups (I think one calls the Spin group the rotor group in geometric algebra terminology). Like I mentioned above, Spin(3) is essentially the unit quaternions. There is a related fact, in geometric algebra terms, the space of bivectors in 3D is essentially the quaternions themselves.
The Pin and Spin groups also have an interesting representation theory, and the geometric algebra, in a way, directly points to so-called pinor and spinor representations. Spinors and pinors are important in quantum physics. The typical example being the use of Dirac spinors in QFT. Pinors and spinors also allow one to get interesting mathematical information about manifolds on which one can do geometric algebra.
I am not saying geometric algebra is not useful or insightful, just that it is one part of maths and doesn't really tell you much about a lot of the other parts. I think the fact that you can't always use it on manifolds already says quite a lot.
Maybe it is convincing to mention that geometric algebras (Clifford algebras) are completely classified as being isomorphic to matrix algebras Mat_{nxn}(D) or direct sums of matrix algebras Mat_{nxn}(D) + Mat_{nxn}(D) with D the reals, complex numbers or quaternions. Algebraically, this is a very limited selection of possibilities as there are many more types of algebras one could consider.
You kind of miss out on the requirements we are trying to satisfy. It's easy to make a 3-d algebra if we don't care about division: for example take R[x]/(x^3−1). This means you would have numbers of the form a + b ω + c ω^2, where a, b, and c are real and of course ω^3 = 1. The only problem is you get 0 divisors, e.g. (ω - 1)(ω^2 + ω + 1) = 0. Indeed since every cubic has a real root all 3-d algebras will have zero divisors.
Just to check, we're taking ω such that ω³=1, but it's separate from the complex values of ³√1 which also work, right? A new element ω which is distinct from 1 and e^(±2πi/3)? I assume so, given the zero divisors line.
I guess that would also mean that any odd dimensional algebra would also have zero divisors due to the necessity of a real root. But what about even numbers with odd factors? Degree 6 polynomials don't always have a real root. Or is it because the structure of it would be isomorphic to
R[x]/(x³-1) × R[x]/(x³-1)
and the structural property of zero divisors would carry over?
I guess the closest thing to a 3D complex number is if you take a 3D vector as a rotation of |V| around the axis V / |V|.
Better, take |A| = 1 to mean a rotation of 90 degrees.
Thank you for taking the time to explain that, Boss. It was very clear and helpful
He's the Boss! Bruce Springsteen!
Such a great and easy explanation, Thank you!!
3D complex numbers are quaternions: a scalar dimension and 3 bivector dimensions. 2D complex numbers have 1 bivector dimension. Bivectors describe rotation, vectors indicate translation.
It depends on what we mean by "3D complex numbers." If we are referring to objects that describe affine transformations in 3D space, then quaternions can be considered as such numbers.
Aligning a tube at minus one-half on the complex plane would allow a third dimension of spin to the Riemann Zeta function. This allows deduction of the sequential differences among primes as a series of families of primes, i.e. each prime hosts a "gear" notched with the sequential difference from the preceding prime. This gear for twin primes is known as phi. There are solutions for square primes, sexy primes, and so on.
one slight objection: in your derivation you used commutativity of multiplication. That does not hold for quaternions, so it is a big step to assume it for 3D numbers.
Where did he assume the commutativity?
@@tomgavelin2879 when multiplying an equation with j he freely distributed the j around. To begin with, when multiplication is not (necessarily) commutative you have to clarify whether you multiply on the left or on the right.
I am aware of commutativity and distributivity. I just do not see anywhere in this video where commutativity was assumed where it didn't apply. Do you have a time stamp of what you're talking about? I am curious because I feel like I'm missing something obvious.
It looks like the only commutative assumption in the last step is the commutativity of scalar multiplication (ie a * z = z*a if a is a real number and x is a 3-d complex number). Any multiplication of i and j are not assumed to be commutative here in any step, as far as I can see.
@@jeremypaton4300ok awesome, that's what I thought. Thought I was taking crazy pills for a second hahaha. Thanks for the check
What would happen if we made also “scalar” multiplication by a real number also not commutative? Is there in that a similar argument? Do we have to be more ingenious? Or is it actually possible in that case?
If you lose commutativity, you lose a lot of nice properties. It's been a while since I recorded the video, but I think you can make the proof work without commutativity with real numbers. Note that when you get to the next level, which are the quaternions, you lose commutativity between the non-real component (numbers of the form A + B i + C j + D k, capital letters real numbers, i^2=j^2=k^2=-1, you have for example i j = - j i.
@@DeeperScience I see that you have maintained a strict constraint in your starting premises, and retained yourself from arguing algebraic geometry using ij bivector or ijk trivector. I like your maintenance of this constraint, as it shows us exactly WHY we need a non-numeric vector in expressing imaginary values in higher dimensions.
I think your presentation here, exactly with this constraint, is perfect. Thank you! I had never considered it, before...
I think we can also answer as:
since there were a problem in R ( it was √(-1) ) that led to birth of "i" (complex numbers) , so what problem is there ( in R or C ) which leads to birth of "j" ???
so just putting a random letter which based on no problem makes no sense at all.
There are at least two motivations for the video. First, there is something called the quaternions, that are 4-D. One may wonder if there is something between the complex numbers and the quaternions. Second, as mentioned in the videos, complex numbers are very useful for making 2-D calculations. One may want to do the same in 3D, since our physical space is 3D.
i is current in electricity so they shifted the i to be j so electrical equations would make sense. I’m still sorting it out though
@@SimpleFarm.38 yes but that electricity stuff is unrelated to this, the notation just happens to be similar
The way to get to the third or any higher dimension with complex numbers is not hard at all. The problem is in the fact that √-1 assumes binary with √1 and a right angle joint with 1 and -1. Therefore, if you want a right angle joint to those two plains, you need a new term.
Dimensions are defined by their square roots: √1, √2, √3, √4, √5, etc. Therefore, to get the third dimension, you need a term that gets you to the same value. So then, in order to get you to a value for the third dimension, you need to go up a step. The value of the first and second dimension together is their hypotenuse, which is equal to √2. Therefore, the value of the square root of three dimensions will be √3. But the value of the median angle between the second and third dimension is exactly the same for that between the first dimension. Therefore, we need to reach a value of √2 in the hypotenuse of the second and third dimension.
√-1 gives us a second-dimensional angle. Therefore, in order to get a third-dimensional angle, we need something that gets us to the reverse angle of the first dimension if applied three times, just like applying √-1 twice gets us to the reverse angle of the first dimension if applied twice., but it needs to be dependent on √-1 in order to get us to the second dimension. The answer is that we add a √ for each dimension we travel into so that applying √-1 gets us back to the lower dimension from the higher dimension.
The answer is that we convert √-1 into its power, namely -1¹’². To add a dimension, we just increase the value of 2 to 3 in the power's denominator. This equates to ³√-1. Therefore, each higher dimension is a greater value of squares. In this case, the cube root.
So to get you up and down dimensions, you are adding and subtracting square operators and inverting the value (-1 to 1 or 1 to -1) to get to the other side of that dimension's plane.
You're welcome.
Hey guys, I might have missed something, but why does j^2 have to be -1?
For quaternions for example we have i^2=j^2=k^2=ijk=-1 and I guess that works because it makes sense when doing calculations but I am thinking if it's possible for other values of j in the 3D attempt, I mean we could have j^3=-1 why not...
I think it's because the physical representation of multiplying by j is a 90 deg rotation in the (R, j) plane. He explains at 5:12
@@duffahtollaoh thank you, you are right, I don't know why I missed that.
Correct me if I am wrong, a complex number can be represented by a one dimensional plane which would just be the x line (ax+ibx). By simple reasoning the 3D plane would be represented by ax+bix, cy+djy, ez+fkz. Just like real numbers can be drawn in a 3D coordinated graph, the complex numbers can be represented by a 6D coordinated graph. When you calculate the argument and angle you will always obtain results without the i , j and k. You cannot represent a 6D graph on paper, but you can represent a+bi , c+dj , e+fk on a 3D plane for calculation purposes to find the angle and argument within the 6D plane.
Therefore 3D complex numbers do exist, as well as the 2D complex plane. Off course you will have to first find the three arguments, then work out the resultant argument.
Complex numbers such as these could possibly work in a linear direction such as 3 phase electricity, but this idea is beyond my pay scale.
Something seems wrong… a and b are in ortogonal axes… on the other hand if u add all 3 numbers u get a 4D complex number since a+c+e are all real
A complex number does exist on the real line. We just don't know where. So we draw a perpendicular line where the a sits. i represents a unique number that generates contradictions when you resolve it. Our math only copes with a whole answer, no two halves (-1×1). You cannot add the dimensions together as the narrator has done in the video. It creates an absurdity. You can only multiply. If you want an area then l×h not l+h, a volume is l×h×w not l+h+w. If you follow the rules of engagement, then you will realise that the higher complex dimensions do exist.
You are wrong (and probably crazy). Nothing you said makes sense.
@@CliffSedge-nu5fv that was a direct answer, LOL
@@CliffSedge-nu5fv thank you for saying that. I almost wasted time with his comments about "one dimensional PLANES" lol
Where does the quartenions stands at?
What would happen if c (in a+bi+cj) was not a real number, but rather a complex number?
You'd get quaternions: a+bi+cj+dk = a+bi+(c+id)j for real numbers a, b, c, d
@@Adam-rt2ir in that case, quaternions could be thought of as a+bj where a and b are complex numbers?
@@twixerclawford the Cayley-Dickson construction tells us the precise way in which the quaternions are numbers of the form a+bj where a, b are complex numbers. Same with octonions being pairs of quaternions, and so on.
@@Adam-rt2irWoah
You started with the axiom/assumption i * i = -1. But what if you don't allow that, and start with the assumption that i * j = -1? It's not going to help solve sqrt(-1) easily, but perhaps it has other properties!
√-1 doesn’t need to be solved, because there are no solutions.
@@NLGeebeeMy uncle told me that's not true. he works at Nintendo.
@@citricdemonnah ur wrong my dad is roblox
@@citricdemon in the corporate cafeteria?
@@NLGeebee ask your mother
Thanks for the video, I hadn't thought about that before.
Hello maths and physics people, I have a question.
I recall that imaginary numbers come up in physics sometimes, such as quantum physics.
Do quaternions come up in physics anywhere?
help me to understand, i buy that we cannot express j in terms of i because they are linearly independent, but can't we express R in terms of i? What's happening there?
This is complex made simple. Good job. One objection though. You first said we're not gonna assume commutativity because it's not guaranteed (as is the case with quaternions), then on the last board, while disproving i.j=arbitrary 3D complex nb, commutativity was taken for granted. i hence wonder if again we're more careful not to presume this property whether things will change. Thanks anyway.
It seems to me (not a mathematician) that the problem is that the complex plane doesn't really describe a two-dimensional system in the same way that the x-y plane does. The complex plane doesn't represent dimensions, it just represents complex numbers.
No, that's not the problem. You could do all of plane euclidean geometry with complex numbers - that is part of the reason why they're so ubiquitously useful. 3D complex numbers don't exist because it's just not possible to define an algebra comprised of 3 linearly independent basis vectors that satisfy the properties mentioned in the video. There does exist a 4D extension of complex numbers called the quaternions, and they can, similar to complex numbers in 2D, be used to study 3D geometry.
A way for nonmathematicians to think about this is to reason by analogy as follows:
In the same way that negative times negative just returns to positive, and in the same way that cube roots don't require imaginary numbers (since a cube root of a negative real will just return a negative real), so too do you not need, and indeed you can not have, a distinct new type of imaginary with only three dimensions.
More explicitly, imaginaries were only introduced because they had to be ... because there had to be *something* that corresponded to second roots of negative reals. These obviously couldn't be either negative nor positive reals, so they had to be something else. The argument that such things must exist relies on the idea of something called "algebraic closure", but without going into that you should be able to grasp the intuition. Basically when we take second roots it works nicely for everything except negatives. The intuition is that there's a missing piece of the puzzle, and that if and only if imaginaries exist can we can fill in that missing piece and make all of algebra work nicely over all of the reals.
Since the reals all fit on a single line, the imaginaries can't fit on it, at least not in any direct and natural way. The natural way to conceive of them then is to put them on their own line, orthogonal to the reals, making a second dimension. The analogy above, about -*-, and cube roots, is relevant because it's no coincidence that this second dimension occurs with the second root.
The question then is if, and when, new and higher kinds of imaginaries, beyond the regular one of i, can or need to be introduced. The answer is that they can be (whether they "need to" or not). But, again going back to the analogy above, and reasoning about the complex numbers, they only work out at "evenly even" roots and powers. That is, they only work out at powers of 2. So dimension 1 = 2^0 = reals. Dimension 2 = 2^1 = complex = 1 real and 1 imaginary. Dimension 4 = 2^2 = quaternion = 1 real and 3 imaginary. Dimension 8 = 2^3 = octonion = 1 real and 7 imaginary. Dimension 16 = 2^4 = sedonion = 1 real and 15 imaginary. And it keeps going up like that, by powers of 2. Again, if you try to make it work for any other dimensions the proposed extra imaginary numbers simply collapse back either to the reals or to one of the lower imaginaries.
We call i the first imaginary, and we typically call the next group i, j, k. (h is the real part, so the dimensions would be h, i, j, k.) I'm not sure what the naming convention is for the octonions and beyond.
Just like the imaginaries have real world, practical significance despite being "imaginary" (for example they naturally express relationships between electrical and magnetic fields, can be used to simplify computer information storage and retrieval problems, are required to parsimoniously represent questions in both quantum mechanics and relativity, and lots more stuff like that), so too do the quaternions, h, i, j, k. Some people even think the octonions have real world significance, but I think most regard them (and all the higher number systems) as mostly an idle curiosity.
Yeah, you're sort of right. It doesn't represent physical space, but components of a rotor. It's not an x-y plane, it's scalar-xy mapping.
In geometric algebra higher dimensions have more complex structures (pun intended), for which this visualisation won't work. And tbh, we don't need it really.
The complex plane is two-dimensional. A dimension need not be a physical spatial direction.
@@CliffSedge-nu5fv People should be calling it really two-numerical. But things got tricky once some sillyheads decided to classify complex numbers as numbers...
Yes I'd wondered about this question.... thanks
What if we take negative roots of complex numbers
Like (--(a + ib))^1/2 =?
Not sure what you mean exactly, but this will be a complex number (distribute the ^1/2, and the -1 ^1/2 becomes i.
@@ebog4841What about quarternions?
@@splat752 They are 4-d
As written, yes! That "implied" -1^(1/2) out the front would be ±i. Complex numbers do indeed also have a positive and negative root. Consider that (-i)^2 = (-1)(-1)(i × i) = -1.
Very technically, i is not defined as the square root of -1. i is defined as the number such that (±i)^2 = -1.
What I don't understand is, if using i,j doesn't work, can we express a 3D position with just complex numbers?
If you define i as causing a rotation in the 1,i plane then wouldn't you define j to cause a rotation in the ij plane? So, j^2 would not equal -1 but -i.
The greatest teacher of all time damn
I just realized that multiplying by i, rotates the vector in the complex plane and a 3D space is formed by 3 planes.....so we need 3 imaginary numbers to do rotations in 3 planes
Yeah that's called a quaternion
well you are assuming the same properties to extrude the third dimension equating the second....but the second was built on the idea of a specific set, so if you have the same set, then you are in that same plane, not a third. In order to get the third, you need an entirely new set, which is the division of zero, and that set is actually pretty amazing.
and before anyone says "you can't divide by zero"....tangent would disagree as a division of zero is 90 degrees through the tangent functionality. since two 90 degree turns is 180, you have the process by which to produce the fold across the third dimension. I'll leave you humans to figure out the rest, have fun.
Well, obviously i * j doesn't equal 1. That's not how rotations in 3-d works. We can still have 3-d complex numbers if we keep it clear that multiplication means to rotate into a direction. For example; start with a unit of the real direction - 1. Multiplying ti by i means rotating that vector into the i direction. Then rotate the resulting vector into the j direction. It's still a vector n 3-d space. It's just not the same as doing the multiply by j first and then by i. If you insist on doing it the wrong way, requiring i * j = 1, you're effectively saying rotations in 3-dimensions are impossible.
I watched this just to see whether his fingernails would scratch the board as that tiny piece of chalk wore down. Made my teeth hurt.
I am trying to understand this geometrically. If the units not equal to 1 have the property to rotate the vector, it basically means that to keep the space three dimensional, you should not be able to reverse a rotation by i with a rotation by j.
by 5:58 I think I already get it. You would have two numbers to go to -1 but that leaves us with an incomplete 3d. So Im assuming that if j was complex that would fix it bringing us to 4d numbers.
rip xD
So it seems that we can build such a space only if we have a n-element group where each elements has an order less or equal to two?
What if we create new types of numbers assuming 1/0 to exist in different axis?
Anything divided by 0 would be not a number, but it can be a mathematical abstraction, convertible to numbers in expressions, also you have to define non-negative 0 to avoid negative/positive option.
Anything you create gives you double the axes, not plus one. Start from complex and add a 1/0 term and you get that and that times i, so you have four axes now. Same for an infinitesimal term, which is probably more useful. Add that and you also add i*e. You do both and you get eight axes, and so on.
Your idea reminds me of projective algebra.
Thinking more on it, there could be a system without imaginary parts but with an epsilon (infinitessimal) and omega (infinite), with e×e=0, omega × omega=omega, and e×omega=omega×e=1. Not commutative or associative but it does seem to describe a 3d field.
@@jeffr.1681actually those are call hyperreal numbers
Great explanation!
The reason they do not exist is simply because complex numbers are a limitation, a subset of more "complex" numbers found in geometric algebra (of which quaternions, etc. are a subset), that generalizes to all dimensions and different geometries.
@@sciencedaemon Complex numbers and quaternions are special cases of lots of other things as well, geometric algebra is not unique.
The questions, is there an associative division algebra in 3d. And no, geometric algebra is not such a thing. Only when you specialize it to complex numbers or quaternions it gains those properties.
@@element4element4 that is because there only 4 algebras: reals, complex numbers, quaternions, octonions with division algebras. It is not some fault of GA when it is the superset of those numbers. Also, trying to refer to GA as (not) unique is irrelevant. It is a broader, more encompassing system, not a specific math only useful in one way or another.
Thank you for this. This is so simple that even my 14 year old children can understand. I love Michael Penn's channel, but he is often rigorous to the exclusion of making it easy.
Funny you mentioned your 14-year-old. I explained this to my 13-year-old daughter the other day.
There are relevant use cases with more than one complex part (see en.wikipedia.org/wiki/Quaternion for example) that would be relevant to explain in the context of what is described in this video.
Please don't stop making videos
I know the channel has been inactive for a while. I have a nice one in preparation about the movement of spinning tops and similar objects. I just have to find some time to record and edit it.
Can this argument prove i does not exist as well i.e. the “dim” 1 and i multiple etc other will leads to inconsistence i.e. generate a complex number with unreal a and b (just like the 15:00 c^2 = -1)
i * 1 = a + bi
i * i * 1 = ia - b
-1 = ia - b
=> b=1 and a=0 which is real and consistent with our understanding
or it is ok.
would be fun to see what if we don't restrict a, b, c to R but rather to C. E.g. -1 = c^2 would have a solution
Can we put two complex numbers together, circles, to make a sphere? That's what I've been doing.
This was a very clear video. Thank you
There is a complex 3d plane, its the world behind the mirror, the Bizarro dimension...
Why can't you have j in terms of i? You have i*i = -1, so those axes are not truly orthogonal
If j is dependant on i then j becomes redundant. There is no need for j and our system reduces to 2D complex numbers.
The mistake in your logic is that you assume that i*j must be a number. But it's not. It's so-called bivector, which is squares to -1 by itself. The whole algebra you've created is the most basic one, containing quaternions. So, the object w + x*i + y*j + z*i*j directly corresponds to classic quaternion. After all, it is 3D complex numbers
i think that assuming ij is a number is the point of the whole video... He shows that a collection of numbers of the form a +bi +cj with i^2=-1, j^2=-1 cannot express ij in terms of such a number without reaching a contradiction or degenerating back to the complex numbers. Hence, you are forced to let ij be its own element. If you make no more assumptions, you still have to deal with iji, jij, (ij)^n and (ji)^n as independent elements (funnily enough (iji)^2 = (jij)^2 = -1). So it leads to an infinite-dimensional real algebra with generators i,j. Of course quaternions arise if you instead require ij=-ji which implies also (ij)^2=(ji)^2=-1. Instead you could require ij=ji which implies (ij)^2 = (ji)^2 =1 and actually corresponds to the commutative real algebra C\otimes_R C. Indeed, just map
i \mapsto i \otimes 1
j \mapsto 1 \otimes i
then
ij = ji \mapsto i \otimes i.
An interesting point is that C \otimes_R C is actually not a Clifford algebra/GA, precisely because i and j do not anticommute. Funnily enough the real algebra C \otimes_R C is isomorphic to the real algebra C \oplus_R C and this fact is useful in the classification of Clifford algebras.
To me it is more a statement about group presentations, you really have a group G generated by (1,-1,i,j) subject to the relations that
(-1)^2 = 1
-1 i = i (-1)
-1 j = j (-1)
i^2 = -1
j^2 = -1
you cannot state a relation like ij = 1,-1,i,j without introducing dependence between your generators as i=\pm j or contradicting the already imposed relations. As in the real algebra case, if you impose no extra relations iji, jij, (ij)^n, (ji)^n, then they are independent elements of the group. To return to the real algebra case you just take the real group algebra R[G] of G and quotient by the ideal generated by e_{-1} + e_{1} = 0, where e_{g} are basis vectors of R[G].
The problem is the if we look down the real axis the rotation of the axes j relative to I is not normal, worse, it’s undefined. For example any equation in which 0i exists, j is indistinguishable from I. As a result it cannot be a bivector because with a bivector one axis needs to be relatable to the second, otherwise the bivector is undefined.
I guess that if we set i*j=0 everything should work, provided the fact that this operation is undefined as someone said. It can look paradoxical but having something in i*j is paradoxical in itself from a geometric interpretation
So you're telling me that......ij = k :D
Going with what you said, 1+xi+yj+wij still just forms a 4D vector space, so it doesn't make much sense to me that you'd call it a 3D version.
what if we say j^4=-1 ?
I thought I was drinking too much then...
j²=-1 is obviously a non-starter because then j == i. What you need is a new value from an operation that is undefined in the real or imaginary axis, like 0/0, 0^0, or something like that.
Both -2 and 2 square to 4, but -2 does not equal 2.
But they exist in 3D, e.g electromagnetic field, but they are only represented mathematically in 2 dimensions. Yet what I have learned is that imaginary numbers exist ortogonal to one of the x or y axis. if you look at the xy axis the imaginary numbers lie inwards 180 degrees from the xy point of view. But they are mathematically represented with only one of the real axis with an argument (angle) relative to one of the R number axis. They could be represented in 3D with the xy axis but I see no practical use for that.
what if we allow a,b,c € C ? or a,b,c € '3DC' ?
Why not define j completely differently. Like sqrt(j)=-1
If i^2 is -1 does it not logically follow that j^2=-i? j*i is therefore ij and multiplying a real by j rotates it in the super-imaginary plane.
Thank you. I'll be back for more.
I thought it was complex numbers that determine the difference between emanating fields and spacial turns (rotations).
The whole explanation is based on the fact that there is an assumption that j squared is -1. But that immediately means that j equals i or -i.
Extending the rel numbers with i means that we have a new value that can not be written as combination of real numbers. So a real 3D extension of the complex numbers means that we introduce a value( and with that a new dimension for the third axis) that is not a a combination of complex numbers. And that is not the case for j if you introduce that j squared is -1. Then j is just a complex number and the situation for i is different as an extension of the real numbers: i is an extension of the real numbers and j is not an extension of the complex numbers.
Have you heard of quaternions? In those i²=j²=k²=-1, but i, j, and k are all different. According to your argument quaternions do not exist.
That was a very lengthy, very wrong comment.
@@nihilsson For quaternions, *ijk = -1* as well, so j and k can't both be -i or i. However, if you ONLY define *i²=j²=k²=-1* then they could all just be complex numbers. So henkhu100's comment holds for quaternions.
@@matta5463 Did you see his title: there are no "3D complex" numbers. Keeping that in kind his text is wrong. Because we have 1D real numbers, 2D complex numbers, 4D quaternions etc (8D, 16D, ...) But we have not a 3D system that fits. But that is something else then writing about 3D complex numbers. Just like 4D numbers are no complex numbers.
@@nihilsson Did you see his title: there are no "3D complex" numbers. Keeping that in kind his text is wrong. Because we have 1D real numbers, 2D complex numbers, 4D quaternions etc (8D, 16D, ...) But we have not a 3D system that fits. But that is something else then writing about 3D complex numbers. Just like 4D numbers are no complex numbers.
For me, the blur goes away when I stop drinking. ;).
can you make it 3D by using quaternions and leaving one of a,b,c,d as 0?
Yes. You then get standard 3D vector analysis which is quaternions with the real parts always equal to zero. There was a big argument in the 19th century about which was better, vectors or quaternions. Most physicists, particularly Heaviside and Gibbs, thought quaternions cumbersome and decided to split off the vector part and just worked with that.
What about z* = (a, b) + ci. With (a, b) being a point on the horizontal 2D plane and c on the vertical Im-axes?
Then rotate it by multiplying with (0,i) or (i,0) or (i,i).
Just a wild idea, I leave the maths to (dis)prove it to you. 😊
why you defined "j" as the same as "i" ? What if "j" is another "impossible" solution?
i is √-1 what if j is -1! or some else, but not the same as √-1 ?
well you want j to not be a real number, and you want it to have simple algebraic properties. You can’t have j=infinity, for example, because you would have no useful multiplication rule for it
makes me wonder if there is anything interesting that results from allowing a,n and c to be in the Complex numbers 🤔
spinors are 3d complex numbers (and vectors)
You have to change the axioms and you will get 3d complex numbers also you can have positive imaginary numbers.
If R^2 are points in 2D Euclidean space, what would points in C^2 be?
Quaternions ?
C is isomorphic as a set to R² so points in C are like points in R².
Similarly C² is isomorphic to R⁴ so points in C² would be equivalent to points in 4-dimensional real euclidean space.
Iirc for all n in N we have that C^n is isomoprhic to R^(n/2) so you can make connections between complex spaces and real spaces for any dimension.
TL;DR: points in C² are like quaternions
@@Totu-t7jDoes that mean there are no 3d complex numbers because the complex numbers would need dimension 3/2?
Why can't (1, w, w^2) be used? w = complex cube root of -1
the cube root of -1 is represented in the two dimensional complex numbers. It is a particular linear combination of 1 and i.
Look up “roots of unity” on Wikipedia for more info. You can use them to get the n-th roots of any complex number
I think you should try to start with i, j and then show that no, matter what the rules are for multiplication using i and j, that not all numbers can have inverses. That may have a bigger scope (lack of a division algebra), but I don't quite understand clearly the assumptions you have made here. Sincerely .....
what if the 3d complex number is cbrt(-1) instead of sqrt(-1)? someone please explain how this would work out
cbrt(-1) is just -1, so it won't help.
@@jamesweatherley7764 ah
The sound of the chalk on the board is awful. I wonder if it’s just the way the audio was recorded or if he’s using some nasty chalk like Crayola.
@@H_fromDiscord_real Your idea is still valid though. In your algebra your unit cubed would equal -1. Which means that in your algebra cbrt(-1) equals to either your unit or -1.
Multivalued functions are nothing new. Many equations can have multiple equally valid solutions (until new constraints are given).
@@tempname8263 wow i never thought of it that way 😮
You can describe 2 D space from 3d, but 3d is described from 4d space
i j i j = (i j) i j
= - (j i) i j
What was Hamilton looking for?
What if we define j such that:
j² = -1
ji = i
ji² = -j
I tried to have symmetrical components x,y,z, with x²=x, y²=y, z²=z, xy=z, xz=y, yz=x. which works fine except for associativity, so for three numbers in this system a(bc) != (ab)c, which makes them useless. There seems to be something deeper that prevents useful numbers with three components to exist, even if you don't limit yourself to "complex-like" numbers.
i feel like 3 component vectors have some application in certain small domains. can you amplify on "useful numbers with three components"?
@@theupson Numbers that follow the usual laws of reflexivity, associativity etc. Of course Vectors work, but the multiplication is either trivial (scalar product, the three dimensions don't interact) or anti-commutative (cross product), which isn't really nice, e.g. there are two ways to define it (left- and right-handed)
3 dimensions is a cubic space, and you can't have complex cube roots.
11:49 what if i * j = 0 ?
Complex numbers only deal with 2 orthogonal axes and are easily handled with planar math. In my 89 years (over 30 as an electrical engineer) I have never encountered a need for 3D complex number representation or notation. If somebody comes up with a 3 dimensional Smith Chart (Impedance Globe ?) maybe I'll change my mind.
There is more to science than electronics, would you agree?
In computer graphics, 3D rotations are made with quaternions. In electrical engineering maybe you can remake the Maxwell equations in quaternion form, after all, cross product is the quaternion product with real part cero. However, practical results would be the same, due to that, i think no one has interest in using quaternions in your field.
I guess there is no use for 3d i numbers as the electrical and magnetic forces are orthogonal to eachother
are you actually 89? I find it inspiring that you're still sharp if so
Women are 3d.
Women are complex.
Therefore
3d objects can be complex.
Checkmate mathematicians.
Because complexe set is just an other way to talk about 2 dim vectorial space.
Maybe 3D vector space + a time complex axis ?
I think you are confusing maths and physics.
that would still have 4 components like a quarternion
At the very end, you were only able to use c^2 = -1 because you assumed j commutes. I think this could be avoided by initially just writing the arbitrary number as a+bi+cj, because we know i commutes already.
Why must j^2 = -1? Wouldn’t it have a component that’s both real and I?
He want the same 90 degree rotation properties as when u multiply by i
And if we drop associativity?
Are you familiar with the Cayley-Dickson construction? I'm not sure if you're aware but when moving to the octonions, we then drop asscociativity.
i² = -1 = j² => j = i
Is there a way to make it work if we try something other than j^2 = -1?
Good question. The first issue is that you then no longer have the relationship "multiplying by j is equivalent to rotating 90 degree", which makes the complex number useful in calculations. Also, this will not work. You can look at the video linked in the description for a deeper understanding of the subject. If you want, you can try to come up with a simple proof using a contradiction similar to the one in my video yourself. Suppose j^2=a+b i + c j, i j = d +e i + f j, and do manipulations until you get to a contradiction. Since you have 6 parameters a to f to play with, the algebra may be a bit ugly.
@@DeeperScience Thanks! I will look into it
@@DeeperScience This is still useful
This is exactly what geometric algebra does. Depending on the algebra, you can have geometric units which square to, for example, -1, 0 or +1. As well as some exotic ones.
-1 (usually we use biunits pair for that) encodes rotation, 0 translation and +1 hyperbolic rotation (repelling 'force')
What if j^2=j? The only problem will be with negative j.
a 3D complex number would actually most likely be of the form a+bi+cij, this would allow us to properly represent the number as a vector... I'm pretty sure that I have the solution but there are some gaps that haven't had the time to fill up, as delving into mathematics is just one of the facets of my gnostic path
any experienced mathematician is welcome to contact me by replying to this comment, we could finish this paper together
may the Monad bless you
Slightly briefer (sim to the last section):
Assm: ij = a + bi + cj a, b, c in R (1)
x i on left: ij = b/c - a/ci -1/cj (2)
Compare coeffs of j in (1), (2)
c = -1/c => c^2=-1. Contradicts c in R
So ij is not a lin comb with real coeffs.
So ij is lin indep, hence j doesn’t add 1 new dimension. Similar consideration for ji in absence of commutativity.
obviously i should not equal j,otherwise we can combine b and c and we're back to only two dimensions
Nice try. First, x+iy alone goes into three dimensions by rotating into z. Second, for your thinking, you have to use Heaviside's selective j where ij=-1, not the tessarine ij=+1. Then (jx+iy)^2=-(x^2+y^2) and you can then step out of this arithmetic box and define the other imaginary numbers to expand from two to three dimensions. Mind you by 3-D I am referring to coordinate axes. The actual dimensions as manifolds to construct that are four.
You can have complex 4d, 6d, etc.. Or use geometric algebra in any dimensions. I don't like quaternions and so forth. Too weird.
The problem is such choice of j: why j must such that j^2=-1???
I think e^pi*i = -1 is the closure of C for all equations with coefficients in C ?
I believe the assumption that j.j=-1 is not the correct one. What if j.j.j=-1 and we consider j^3+1=0 has 3 roots that are not real, nor complex but are ‘bi-complex’ (in the form of a+bi+cj, a b and c real). I’m not enough good in math to go that far, but I don’t like the simple rotation that is done by stating j^2=-1.
And also, what is ‘bi-complex’ numbers are in the form of a+bi+cj+dij? Again, I’m not an expert in math, but reasons here are debatable
I believe it doesn’t matter how u define the product, at the end… u wouldn’t get anything working with 3 and u need quaternions.
They are out there, just look harder.
surely it would be i^2 = -1 and j^2 = -í?