4:24 - I feel I should also mention that what tool you use to describe higher dimensional rotations also depends on what use case you have in mind. In particular, if computational speed and numerical stability are required, matrices may not be the best choice for representing 3D rotations, and there quaternions and the like may be the better option. In this video, I wanted to explore the matrix representation, but as is often the case in math, there are multiple ways to do the same thing.

@guidosalescalvano9862

Жыл бұрын

I'm particularly interested in "reorientation"; two subsequent rotations of a 3D shape cannot necessarily be expressed using a single rotation. For instance; imagine an airplane that pitches 90 degrees and then rolls 90 degrees. No single rotation axis and angle can be found that rotate the airplane into this orientation. A rotation matrix can express this though. So something weird is going on here that I wish I understood better.

@morphocular

Жыл бұрын

@@guidosalescalvano9862 Good question! But as it turns out, any 3D rotation actually can be expressed as a rotation by a certain angle about a certain axis. The keyword to search for is Euler's Rotation Theorem. In the case of your pitch and roll example, if I take the rotation axes to be the x-axis and the y-axis, a 90 degree rotation about x followed by a 90 degree rotation about y can actually be expressed as a 120 degree rotation about an oblique axis (specifically, a 120 degree rotation about the vector (1,1,-1)). An example of this kind of rotation actually appears in the video at about 3:38. However, in 4D and higher dimensions, I believe you're right. There we can encounter a phenomenon known as a "double rotation" where an object is being rotated independently in more than one plane. So I believe in 4D and above, it's possible to have rotations that truly cannot be expressed in terms of a single angle within a single plane.

@guidosalescalvano9862

Жыл бұрын

@@morphocular Thank you for your response, but I think you didn't understand my question. You are right, for a single point you can apply Eurler's rotation theorem. But for a 3D shape, i.e. group of points two consecutive rotations on ALL points cannot be simplified to a single rotation on all points. To see why, all you need to do is construct the rotation axes. Let's say the x axis runs along the right wing of the plane at it's initial position. The z axis runs towards the tail of the plane at it's initial position. The y axis points upwards perpendicular to the x and z axis. After the two rotation operations the plane's nose points upwards, and the wings stretch along the z axis. So let's compute the rotation axes for both the nose and the right wing tip. We can do this by computing the rotation axes for the initial position of the nose/wingtip and the final position of the nose/wingtip. The nose starts at on the z axis, and ends on the y axis. This means that the rotation axis for the nose is the x axis. The right wingtip starts on the x axis, and ends on the z axis. So the rotation axis is the y axis. Because the x and y axis are not the same, no single rotation can be found that can simplify two rotations of the the plane as a WHOLE to s a single rotation. A rotation matrix can express shape rotations, but I strongly suspect that there are better representations; Using two rotation axes the same shape rotation can be expressed in multiple ways (pitch roll can also be expressed as roll yaw, yaw pitch). So I am wondering; can a shape reorientation be uniquely expressed in terms of two independent operations? If I had to guess it would be two reflections... but how do I prove this beyond a shadow of a doubt?

@Trinexx42

Жыл бұрын

​@@guidosalescalvano9862 Not quite. "The nose starts at on the z axis, and ends on the y axis. This means that the rotation axis for the nose is the x axis." This does not follow. There are actually infinitely many possible rotations that map the y axis to the z axis. For example, you can rotate pi around the axis that runs pi/4 in between the y axis and z axis or (yhat+zhat)/sqrt(2) As for your exercise, if you do an xhat rotation pi/2 followed by the yhat rotation pi/2, it's equivalent to a single rotation by 2pi/3 that runs about axis equal to (xhat+yhat-zhat)/sqrt(3) If you want to see this for yourself, you can if you have a rubik's cube. If you hold the cube with the yellow face on the top and the red face on the front and do an xhat rotation, orange ends up on top. Then if you do a yhat rotation, blue ends up on top and yellow ends up in the front. Now in your left hand, put your thumb on the upper front left corner (yellow red blue) and your middle finger on the lower back right corner (white green orange). Using your other hand, you can rotate the cube back to having the red on the front and yellow on the top. It's a single rotation that's equivalent to two.

@TheLuckySpades

Жыл бұрын

​@@guidosalescalvano9862since we are considering the rotation around the center of the plane, Euler's Rotation Theorem states that the composition of the rotations you describe is equivalent to a rotation around some axis passing through the center of the plane again The flaw with your argument is that given the center (O) a point (A) and the image of the point (A') you say there is only one possible axis and angle (angle formed by AOA' and axis perpendicular to the plane described by those points (I'll call this axis g since I will use it later)) But there are more possible axes of roation and each of those has it's own angle A useful one to consider is the axis passing through the midpoint of A and A' and the center (let's call this one f), rotating half a turn in either way around that axis gives us the desired image for A And similarly we can find angles for any line in the plane formed by f and g that passes through the center O, giving us uncountably many possible axes, represented by the plane We can then repeat that with a second point and get a second plane of possible axes These planes intersect in at least one point (the center), which either means they are identical (which we can avoid by choosing the second point well and ruling out the case that we mirrored around the plane) or their intersection is a line, which would be an axis of the rotation Since we know 3 (non-colinear points) and their inages and since the transformation is orientation preserving, the transformation is unique and thus can be described via the roation we found

“We should get a gradual rotation of the cube about the z-axis. And…” *ascends*

@James2210

Жыл бұрын

bibically accurate cubes

@pictionpicmine4376

Жыл бұрын

With Gorb.

@jyotishandvlogs801

Жыл бұрын

@@pictionpicmine4376 nice hk reference

@hemidemisemipresent

Жыл бұрын

13:38 for reference

@asheep7797

Жыл бұрын

@@hemidemisemipresent i prefer 13:37

The variety of styles of math youtube explainers is truly kaleidoscopic, and i really appreciate the balanced tone and energy of all your videos

@easports2618

Жыл бұрын

dude can you give me a list of all the math youtubers you’ve encountered, I have a math channel which is for only mathematics i’d love to learn from them

@txikitofandango

11 ай бұрын

@@easports2618 For a good smattering check out these channels: Michael Penn, Maths 505 (integral sports), blackpenredpen, Flammable Maths, 3blue1brown, Mathologer, zetamaths, Dr Barker

@haipingcao2212_.

11 ай бұрын

​@@easports2618 ᔫᔒᑷᕓᕝ ᕧᕽ ᕞᕀᓖᖌᔔᖌᖌᖌᓾᔃᒜᒶᕄᐞ

i'm a programmer and i've done a *lot* of work with 3D graphics, which uses this stuff all the time, but i never thought about how it was built up. The triple cross product is absolute genius, and using it to derive the general rotation matrix (which i use every day and recognized on-sight) is mind-blowing! There's still a few little things i didn't get, so i'll need to watch this again at some point. Thanks for making this video, and i hope everything's been going well for you ❤

@sawc.ma.bals.

Жыл бұрын

​@guitarszennoone asked

@AkamiChannel

Жыл бұрын

@guitarszenno one asked and geometric algebra is used in programming only by people who specifically sought out such a library. None of the major linear algebra libraries use geo alg.

Another addendum for the matrix exponential: Doing it is a LOT easier when you change basis to the "eigenbasis" of the matrix, the base made by the unit vectors it only scales by a number and doesn't rotate at all. Doing this, the exponential of a matrix exp(A) = B exp(D) B^-1, where B and inverse B are the matrices switching from the standard basis to the eigenbasis, in which the matrix A is represented by the matrix D, which is a diagonal matrix of the eigenvalues, the scale factors of the eigenvectors. Diagonal matrices are MUCH MUCH easier to work with for calculations, so finding the eigenbasis for a matrix is very important and helpful. There are even tricks to "almost" diagonalize them in case your nxn matrix has less than n orthogonal eigenvectors (keyword is the Jordan normal form!)

wake up babe, new morphocular vid just dropped!

@asheep7797

Жыл бұрын

Yes

This has real importance in quantum mechanics, as we define the angular momentum operator in terms of the generator of infinitesimal rotations. The lack of commutativity of rotation around two different axes, results in non-trivial commutation relations that have implications for the inability to measure things simultaneously.

@pseudolullus

Жыл бұрын

Yup, this is basically the exponential map between Lie groups and algebras in very thin disguise

@ukkomies100

8 ай бұрын

Is that all really as hard as all this technical talk has me believe. Im studying engineering in an university and there is an optional course on particle and quantum physics. Will it end my already feeble mental health

@oni8337

7 ай бұрын

Especially when you get to the path integral formulation

This video would had been useful when I was taking a vector analysis course as this gives some very good perspectives of matric rotations and matrix exponential and their geometric meanings. This reminds me a lot of eueler angles and their derivation and aspects of using cross products to relate the new basis vectors.

Hi Morph! This is a great video. And it makes me even more excited to see the follow-ups!

I remember deriving all of this content in my first year linear algebra course but I never knew what it all meant. Thank you, I am so grateful.

My God! You made my head spin in joy. I'll be watching this many times more. Thanks a million 👍

Saying GREAT VIDEO does not even come close to express my gratitude and joy of watching this video. THANK YOU! Subscribed!

Wonderful timing on this set of videos Just finished a course in spacecraft dynamics and am putting together a note set for myself that goes a little deeper into 3D rotation formalisms like the Simple Rotation Theorem/Rodrigues's rotation formula and Euler axis-angle formulation so I'm excited to see what the next video will be like.

i am so excited whenever you drop another gem!

I studied these problems from old exams, nice to learn it now!!😊 Please more of this!!! It beautiful!!!!

GA and bivectors are more abstract algebraically, but I'd argue more concrete geometrically. It's also worth mentioning the traditional limit definition of the exponential, because it's absolutely beautiful seeing the transformation broken into many small pieces and then applied consecutively to build up the final transformation. I have a tendency to see things that are isomorphic and behave the same way as being the same thing, and it only took a single look at the output of the tilt product to recognize the resulting matrix as a bivector. The tilt product can be compared _either_ to the wedge product of vectors _or_ the commutator product of two bivectors (the latter of which actually uses the same symbol as the cross product). Quaternions are usually seen as complicated 4D things, but quaternions are no more 4D than 3x3 matrices are 9-dimensional. They're a space of linear combinations of 3D rotations: 180° from x to y around z, 180° from y to z around x, 180° from x to z around y, and a final 0° rotation. By mixing different amounts of these 4 rotations (or not-rotation in the case of the identity), you can get any (scaled) rotation in 3D space. I should warn you though that these are _rotations,_ not _orientations._ For quaternions, as well as general rotors in GA, 270° clockwise is a distinct rotation from 90° counterclockwise, even if they end up in the same place. This is also related to why the basis rotations are 180° rather than 90°. In addition to distinguishing different directions of rotation, quaternions (and rotors) often yield nicer interpolations precisely because they're _specifically_ rotations, where as interpolating two rotation matrices often gives intermediate matrices that _aren't_ rotations. While you _can_ try rescaling them so the determinant is 1, 180° rotations are impossible to do so with since they end up with a matrix with 0 determinant in the middle, and also wouldn't know which direction to interpolate through. Quaternions and rotors have neither of these problems unless you're interpolating from 0° to 360°, which is understandably uncommon.

@tylerfusco7495

Жыл бұрын

Ah yes a fellow geometric algebra enthusiast! It’s really a shame too seeing as how the “tilt product” matrix times a vector is exactly equivalent to taking the dot product with the bivector. i.e: ⟨u×v⟩x = x•(u∧v), and in my opinion that’s a MUCH more elegant and geometrically enlightening way to do that that’s not matrix manipulation 😢

@nad2040

Жыл бұрын

I found this video two days ago. GA seems great. kzread.info/dash/bejne/aGSuwcqpdaTadJs.html

@morphocular

Жыл бұрын

I had a feeling my choice to use matrices might bother some in the GA scene :) As a person who knows a little GA but not a lot, perhaps you (or anyone else) can answer a question I had: One of the reasons I went with the matrix approach in this video was because I was seeking a version of Euler's Formula that was as similar as possible to its original complex number version, particularly in that rotations could be performed by simply multiplying your vector by a single object. As far as I've been able to see, GA performs vector rotations by sandwiching your vector between two versions of a half rotor---a technique that I'm sure has its merits, but isn't quite what I was looking for. So I'm curious, do you know if GA has a way to represent rotations with just a single multiplication by an exponential expression?

@angeldude101

Жыл бұрын

@@morphocular Because multiplication is composition, not application. For 2D complex numbers, these are equivalent (and related to them being commutative), but in 3D, applying one rotation, then applying another gives a new rotation district from having applied one to the other. Since composition is the only primitive you have access to, applying a rotation is equivalent to performing one rotation, then the other, and then _undoing_ the first. That's why it uses the sandwich product. For unit quaternions/rotors, "undoing" is equivalent to using the complex conjugate, or for rotors: the "reverse." In general though, it's instead the inverse, because performing an action, and then immediately undoing it, is equivalent to having done nothing at all: the identity 1.

@angeldude101

Жыл бұрын

​@@morphocular GA can only represent rotations as a one-sided multiplication if the vector is completely inside the plane of rotation/is completely orthogonal to the axis of rotation. This is trivially true in 2D GAs like G(2), G(1,1), G(1,0,1), etc, but it can also be true for select elements in higher dimensional Geometric Algebras. However, since rotations are preferred to be represented as compositions of two reflections, which are still double sided even in the lower dimensional algebras, it's actually preferred to use the 2-sided rotations even in 2D even if it isn't strictly necessary. That's right: drink the GA kool-aid hard enough and you become convinced that we've been using complex numbers wrong; that we've been ignoring the fact that we've been composing rotations this whole time and never actually rotating anything with them.

Awesome. I had been confused about the rotation matrix for a long time before this.

What a cool video! I'd love to see you connect the matrix representations with the quaternions and/or Clifford algebra in a future video.

clarifies alot of my understanding of matrix mechanics in QM. thank youuu

Overall an excellent prestation. Very logical and really good approch linking the various subjects and showing what they are 'doing' graphically.

Finally I got it! Thank you so much for your insight on the TILT operation. It makes so much more sense to understand that the cross product is just a coincidence in 3D space.

Very good explanation of the subject! Fun to watch. Thx.

This was great work, I really look forward to the connection of sines and cosines to the tilt product in higher dimensions.

Amazing video! Made my day better!

I learned a lot from this video. Thank you for making it.

these videos are great. keep up the good work!

Thank you. I learned a lot.

This channel deserves way more subscribers

Commenting for engagement, thanks for the great visuals and clear explanations

Thanks for the great video!

OOh what a nice voice, nice math, nice pace and the right blend of sense of wonder all come together make it a fantastic complex ride!!

Great video!

This video is A-FREAKING-MAZING! 🤩🤩 Maybe the best of the whole channel up until now, and that's saying something.

MORE! WE NEED MORE OF SIMILAR STUFF

I need to rewatch it but it was a very nice video 😊

your videos so good

Beautiful.

thanks for the great video

Honestly the Multivectors approach is the easiest to understand. Quaternions is Multivectors in disguise, and Multivectors also neatly generalize to include other symmetry transforms (translations, screw motions) in basically the same form. They do everything, ultimately, in terms of repeat reflections, and the product is really easy to understand. One of the nicest things about them is, that they make transparently clear the otherwise mysterious distinction of a "polar" vs. "axial" vector. Quaternions aren't nearly as hard as they are made out to be, when viewed through the multivector lens, where they end up simply being a subset (with a slightly different sign convention which is an arbitrary choice anyway) Matrices look far more mysterious in comparison. In fact, much of what you did there amounted to the typical bivector based rotors but, imo, your tilt product is still somewhat mysterious the way you explained it, as you only gave us, *that* these decompositions are possible and *that* these matrices have that form, but not really why that is or how to arrive at that Even so, very nice video

@michaelwang1730

Жыл бұрын

Alright, I'm looking forward to your video explaining Multivectors the intuitive way!

@Kram1032

Жыл бұрын

@@michaelwang1730 This is obviously very abbreviated and short on detail as it wouldn't reasonably fit into a comment, but the basics are roughly this: it just starts with the multiplication with three pretty simple rules: 1) x² = 1 (etc.) 2) x y = -y x (etc.) 3) the distributive law holds, so (a+b)(c+d) = ac + bc + ad + bd For convenience in R³, the trivector xyz is called i. It's easy to confirm by explicit calculation, that it commutes with all elements and squares to -1. That way, the complex unit arises completely naturally, in a geometric fashion, rather than having to declare a new unit out of nowhere as would normally be done. It also explains why that space spanned by {1, i} works so well as an alternative to a space spanned by {x, y}, but the same isn't true for higher dimensions. It comes down to combinatorics (i.e. counting how many base directions there are for each grade) and the geometric dual. By simply following that, you get your regular polar vectors as vectors {x, y, z} and your axial vectors as bivectors {x, y, z} i = {yz, zx, xy} This, to me, is one of the biggest wins of this view, explicitly distinguishing between polar and axial vector, really showing by simple construction what this difference arises from. Regular vector algebra really makes that an odd peculiarity of R³ The sandwich product - r v r reflects the vector v in the vector r and if you do it twice in a row, you get a rotation. The sandwich product as meaningful geometric entity, describing a symmetry transform of the inner object about or along the outer object is rather nice and intuitive too. From there it's a pretty similar construction as in the video to find the exponential form, using the taylor series definition of exp(X) to get the continuous rotation. In full generality it can be very abstract. But for any given specific space, such as R³, it's really not that hard to grasp. The only initially weird thing is that you get objects with multiple grades, i.e., for R³, in general s + V + B + i t a scalar, a vector, a bivector, and a trivector all in a single number, using 8 numbers total. But that just naturally arises from the three simple rules I started with, and really isn't much of an issue in the end and, imo, isn't really stranger on the face of it, than introducing matrices and what not. The only reason matrices are seen as less strange is because they tend to be taught relatively early (i.e. often before university) whereas Geometric Algebra tends not to be taught at all (i.e. even university often doesn't cover this if you don't go into the right courses). But as far as I can tell, this is mostly an accident of historic happenstance. I'm willing to bet, that it would actually be easier to teach kids the basics of geometric algebra (restricted to 2 or 3 dimensions at least), than it is to teach them matrices and vector algebra, especially when it comes to rotation.

@muenstercheese

Жыл бұрын

i would LOVE to see "Quaternions is Multivectors in disguise," explained more. i've always thought of them as extensions of complex numbers rather than having any relation to linear algebra, so seeing the link between the two representations would be super satisfying

@Kram1032

Жыл бұрын

​@@muenstercheese that part is quite easy: The imaginary part of a quaternion is simply a bivector. The scalar part is the scalar part. So the quaternions are the "even-graded subalgebra" of multivectors built on R³. A "grade" is basically the kind of geometric structure you are looking at. grade 0 is scalars grade 1 is vectors (corresponding to 1D structures such as lines) grade 2 is bivectors (corresponding to 2D structures such as planes) grade 3 is trivectors (corresponding to 3D structures. In R³ there is, up to scaling, only one of those. It's therefore often called a "pseudo-scalar" and identified with i) So if you just take the even ones, grades 0 and 2, scalars and bivectors, you already are working with quaternions. I think due to sign conventions, the y-axis (and its corresponding bivector zx) gets flipped between the two. But otherwise it's identical and you'd use it in exactly the same way. so the quaternions' i, j, k are, in the multivector view, ix, -iy, iz or, equivalently, yz, xz, xy (that equivalence can be straigh-forwardly derived through explicit calculation too. For instance: i * x = (by definition i = xyz) xyz * x = (anti-commutativity) - yxz * x = (anti-commutativity) yz x * x = (x² = 1) yz Literally just applying the rules I mentioned in my previous comment.)

@angeldude101

Жыл бұрын

@@Kram1032 One of the most important aspects of Geometric Algebra can be demonstrated with nothing more than a piece of paper with a drawing on it. You can reflect the drawing by flipping the paper over across a line on it, and then you can do it again across a different line and watch how the drawing rotates around the intersection of the two lines by twice the angle between them. If the lines don't intersect, then the drawing instead doesn't rotate, but rather translates perpendicularly to the two lines by twice the distance between them. There's also a more subtle aspect of GA being used here which is the relation between reflections in 2D being represented as 180° rotations in 3D. This is because the 2D PGA being demonstrated is actually embedded as an even-subalgebra of 3D PGA; a relation that can be done for any Geometric Algebra. (The even subalgebra of every GA is another GA. Every GA is the even subalgebra of another GA.) All that from flipping a piece of paper; something someone in _kindergarten_ can understand even if they don't understand the significance of it yet.

i am really grateful, thank you!

What a delightful video, superb math, superb animation, and superb pace, superb narration and to top that superb voice with right speed of articulation..so to say Thank you is understatement.. Thank you very much...for enriching our Intellectual joy.. Please post more!! More!!😂

very intuitive, god bless you

Love this video :)

Fascinating!

Awesome concepts with stunning visuals! They costed a lot of time for sure, but I'm really glad to see that it paid off very well! P.S. I want to see a Wikipedia page about Tilt Products now.

Yo are you sudgylacmoe? You sound like him on a different mic, I swear, and your explanations are just a crystal clear! So glad to be subscribed to both channels. ❤

Thanks!

perfect sequel!

Thank you

Amazing video, goes to show how incredibly useful matrices are ❤

Thank you!

The explanation is good

Amazing 😍

I'm surprised you didn't touch upon Lie groups and algebras in this video, I really expected that when you started introducing generators. It's really interesting to see this topic developed from a different perspective.

Ooh, new intro animation! The text is finally centered lol

@morphocular

Жыл бұрын

At the cost of the "O" no longer being centered, unfortunately. But actually, the main reason for the new logo was to make the "O" no longer oversized, which was bothering me :)

Thanks

Props to this guy. He single-handedly invented rotation. Way to go!

I was hoping this would be a geometric algebra video and was disappointed when you turned to matrices, but this approach is so delightfully similar! The GA equivalent of your projection matrix is the bivector u ^ v (u wedge v) which is formed by 0.5(uv-vu). the projection/tilt operation is done with the dot product, r . (u ^ v), and rotation is achieved by exponentiation: to rotate r by angle t in the xy plane, the rotor is exp(t * x^y/2) and r' = exp(-t x^y/2) * r * exp(t x^y/2). GA has 1/2 everywhere instead of double-computing a symmetric matrices, though it can't avoid the sandwich product like your matrices can.

Nice work! Funnily I just has to prove that det(e^(Rt))=e^(tr(R)*t) in my university course Higher Mathematics II, which is why I knew something couldn’t work out as planned at 13:40 :D

MORE OF THIS

The best!!!

Amazing video. Did you develop this?

Thx

Pls make a follow-up with quaternions

Thanks for the excellent video. As a matter of curiosity, I would like to know about the software that you are using for the presentation and the graphics. Thanks, once again!

Please do the follow up video faster. I would like to know the next as it would be super helpful to learn Bloch spheres for my quantum course 😅 I seem to understand faster with the way you explain.

The explanation on why higher than 2D rotation is not commutative is the same as multiplication in higher than "2D" rotation is not commutative is absolutely brilliant.

yooo new video

Good ❤

Really nice. Can we have some references you've used please ?

A. Thanks. great video! B. Can you add a link to video or a website like TA where you solve questions \ present examples with numbers

Around 9:30, after actually paying attention (not just seeing the same expansion of e for the umpteenth time): I think I finally understand the "why" part for spirals in fractals! I imagined a plot of (n; T_n) of the infinite sequence, where T_n is the nth term containing an A=exp(iθ)... Raising the exponent in increasingly higher orders, increases the angle of rotation. Fractals (the usual/popular ones) rely on iteration, i.e increasing exponents on the seed value. I would love to know if this train of thought is correct, since 90% of "fractal"-related videos out there are surprisingly either Number Theory related (too scary sometimes), "Ooh! Pretty math!" videos, or Biology-meets-philosophy pop-science videos. The few out there that do tackle the reasons behind the geometric structure of (e.g. Why do the tendrils make spirals, and not wobbly lines in the Mandlebrot set?) fractals are unfortunately not really in the 'hobbyist' category. So, yeah. This channel really is awesome in the simplicity of presenting massive math! Awesome video as always!

That was excellent. I really like your coining of the "tilt product". I love that it works as is in higher dimensions without having to pull in the whole of geometric algebra. The cross product always seemed a bit hand crafted for 3D. I've played around with animating folding polyhedrons in the past. Wherever I finally get some free time again, applying the tilt product to folding polytopes might be fun. But looking at the result might cause a bit brain tilt :-)

@schmetterling4477

Жыл бұрын

The cross product isn't "hand crafted" for three dimensions: it simply does not exist for dimensions other than three and seven (with a slight change in its properties). It's just one of those things where n matters big time. It's not a choice that can be made without losing major structural elements.

@angeldude101

Жыл бұрын

@@schmetterling4477 That's because the 3D and 7D cross products are just quaternion and octonion multiplication respectively while ignoring the scalar terms. A more general way to describe cross products is something called a "lie algebra" (pronounced "lee"), of which none exist for 7D. There are however lie algebras and corresponding "cross products" for 6D, 10D, 15D, 21D, 28D... (N choose 2)D. You may or may not guess that these particular lie algebras have more to do with N-dimensional geometry than their own dimension. If you did, then you'd be right.

@schmetterling4477

Жыл бұрын

@@angeldude101 That's correct, but there is no other such algebra that preserves the physics of the cross product (I am a physicist, so to me this matters). Physics as you know it happens exclusively in three dimensions. One can, of course, build general antisymmetric algebras for many more cases, but they don't go from vectors to vectors the way the cross product does as far as I know and they don't have the meaning of a Laplace-Runge-Lenz vector if applied to position and momentum (which, of course, derives from the symmetries of the four dimensional hypersphere).

@angeldude101

Жыл бұрын

@@schmetterling4477 _The_ 6D version doesn't preserve physics as we know it, but _a_ 6D version _does,_ actually 2 of them. One describes linear and rotational motion in Galilean Relativity, the other in Special Relativity. _The_ 6D version _would_ preserve physics if the universe had spherical or elliptic spacetime geometry, but that would also allow for smooth transitions to backwards through time motion. (Alternatively, it could just mean 4 spatial dimensions.) Technically the 3D cross product _only_ describes rotational motion and can't represent linear motion at all unless we were talking about 2+1D spherical spacetime. Technically all of those are just parts of larger 8 or 16 dimensional algebras. It's also not a coincidence that 3 of those 6 dimensions correspond with the usual 3 linear directions, and the 3 correspond with the 3 rotational directions.

@schmetterling4477

11 ай бұрын

@@angeldude101 I am not aware that Kepler-like closed orbital motion exists in four spatial dimensions, though. One can map the four dimensional harmonic oscillators to the three dimensional Kepler problem by transforming the time variable (which unfortunately is not a physical operation because time is not actually a dimension), so mathematically there is a somewhat strange correspondence, but it is not a simple one to one mapping, if I remember. A student friend of mine did some work on the Kustaanheimo-Stiefel transformation a long time ago, but I could never wrap my mind around it. There is no need to treat linear motion the same way as rotations because technically linear motion is not even motion in a sense. In physics linear motion is caused by the absence of physical interaction. All systems in linear motion form equivalence classes, so to speak, but all of this is only "nice" in flatland. If we drill down deeper, however, as soon as we get to general relativity and gravity becomes a field theory, the notion of linear motion on geodesics breaks any and all local conservation laws at the level of the particle/trajectory approximation anyway because it induces gravitational waves (deformations of the background manifold). At that point all the nice algebra that we have built up so far goes to hell. You can see that in the difficulty to even define something as "simple" as "total mass-energy" for a strongly gravitating system.

Thank you for the excelent video. May you share some references about this topic?

Fantastic stuff, learned a lot and didn't have to pause much. I'd love to understand more about wedges and bivectors with representing rotations as a goal.

This is brushing so uncomfortably close to abstract algebra that I’ve been picking up terms from lately and I’m dreading trying to wrap my head around it. Thankfully, I’ll never have to do it in school. Sadly, I’ll probably never get to do it in school

Cube when it’s supposed to rotate “I’m bout to end this man’s whole career”

small comment about the tilt product notation: since a lot of textbooks use those brackets for the dot product, it might be better, to avoid confusion, to use something like \triangleright (which as far i know, nobody uses)

@morphocular

Жыл бұрын

Ironically, the resemblance is actually part of the reason I chose to use angle brackets, since the tilt product involves outer products, kind of making it the complement of the inner product. I hoped it wouldn't be too confusing though, since inner product notation uses a comma as the operand separator, whereas the tilt product uses a cross ¯\_(ツ)_/¯

NiCE!

finally,generalized euler's formula

Regarding exponentiation, there is a lovely theorem involving the spectral decomposition of a matrix, A, and the exponential exp(A). If U is a matrix whose columns are a set of ordered eigenvectors of A and, (bending conventional notation a bit for the current purpose), U* is the inverse of U... and suppose also that we create some matrix called E, which is a matrix containing the appropriately ordered eigenvalues of A, then, A = UEU* Is the so-called _spectral decomposition_ (or eigenvalue decomposition) of A. The theorem of interest is the following, exp(A) = U (exp(E)) U* This is, of course, still valid for a scalar multiple, ø, of A, namely exp(Aø) = U (exp(Eø)) U* so that you don't need the Maclaurin series for exp(A). It's easier to use Maclaurin of course but it's nice that there's another method to serve as a check on the result.

this would be a great intro into linear lie groups👀

Good

When performing interactive 3D rotations of a digitized image, one often uses a trackball as the input device. Can you derive how to relate the (arbitrary) rotation of a trackball to a mathematical/numerical model of how to correspondingly transform the digitized image?

Which software you use to make this kind of video

This seems like an alternative explanation of the Lie algebra of the special orthogonal group of rotations? Where a skew symmetric matrix defines the tangent space?

why did I look at the thumbnail and think "Wow math is on rule 34 now"

I understood probably 25% of the video. Still watched until the end bc I love math

The exponential function exp(A) with A being a skew-symmetric matrix defines a vector field. This vector field could be taken to be Hamiltonian vector field which describes the phase space of classical mechanics. The exp(A) send a Lie algebra to a Lie group. Continuing, this Lie group can be taken as the gauge group. Hermitian matrices of quantum mechanics are skew-Hermitian matrices after multiplying by i. Note Hermitian matrices are symmetric matrices. Maybe this factor of i multiplying the Hermitian matrices is noticed by Wick’s rotation?

havent seen this before

you should use a 'text-align: left' to avoid the crazy jittering on the animation of 't = 3.43'

I am looking for mathematical theories and algorithms to describe the laws and regularities inherent in Metaphysics.I don't know if this knowledge is appropriate for this question?

had to go learn Linear Algebra to understand this; I now am infatuated with matricies.

actually, that complex numbers commute is the quirk. if you include directions in space in the algebra, a pair of orthogonal directions multiplied squares to -1. But the directions themselves do NOT commute. Directions in space square to 1. What is happening is that parallel vectors only have a scalar part, perpendicular vectors have a bivector part. And any others are the sum of the two; which is a complex number. Ex: // counter-clockwise loop of the same representation of directions right * up = up * left = left * down = down * right = right * up = up * -right = -right * -up = -up * right = right * up = -(up * right) = right * up = -(up * right) So that directions anti-commute. You get a minus sign when you swap them. These create complex numbers and geometry, etc. right up right up = right * -(right up) * up = - (right right) (up up) = -1 ex: i = (right up) i^2 = -1 using (right up) gives us a counter-clockwise rotation. Using (up right) gives us a clockwise rotation. But it happens to be that for a single plane, the anti-commutative part cancels out when you are just squaring the one rotation (right up), etc. This also means that there isn't a single thing called "i" that squares to -1. Many things square to -1, including different planes: -1 = (right up)^2 = (right forward)^2 Notice that these are two different possibilities for "i". Their square is the same, but they represent different planes. If you do sin[x] and cos[x], you are implicitly operating on an ambiguous rotation plane.

@angeldude101

10 ай бұрын

Two parallel arrows have no bivector part when multiplied, but that's just because arrows are invariant under translation. More general reflections can be parallel while still having a bivector part of their product. Whether or not two objects are parallel depends only on the scalar part, not the bivector part.

“Surely math can’t get any harder (clueless)” *1 3rd dimension euler formula after* “who am i kidding”

25:53 but isn't e^(u tilt v) a 90° rotattion? Bu int hat case theta is 1 and not pi/2

Tbh I think Quaternions would have been a better follow up to the previous video. As it is a historically older tool than matrices and it represents angular velocities in 3 dimensions in a much similar way that the complex numbers represent it in 2D

19:01 Taking v to be 90 degrees away from u is indeed a clever way to perform a 90-degree rotation from u towards v.

Welcome to computation graphics / computer vision, but somehow in the notation of Im-Re plane lol All you need is some "transformation matrix" (affine transfromation), or a "pinhole camera model" (perspective projection) However it will be a (n+1)-diim matrix for a n-dim rotation.

I developed the cross product of two n dimensional vectors (n > 3).