sudgylacmoe
sudgylacmoe
  • 90
  • 2 002 189

Відео

Dimension is Multi-Dimensional - From Zero to Geo 1.10
Переглядів 17 тис.7 місяців тому
Dimension is Multi-Dimensional - From Zero to Geo 1.10
A Swift Introduction to Projective Geometric Algebra
Переглядів 81 тис.10 місяців тому
A Swift Introduction to Projective Geometric Algebra
Two-Dimensional Lines Are Three-Dimensional - From Zero to Geo 1.9 Bonus Video
Переглядів 10 тис.10 місяців тому
Two-Dimensional Lines Are Three-Dimensional - From Zero to Geo 1.9 Bonus Video
The Tau Manifesto - With Michael Hartl
Переглядів 20 тис.11 місяців тому
The Tau Manifesto - With Michael Hartl
An Overview of the Operations in Geometric Algebra
Переглядів 28 тис.Рік тому
An Overview of the Operations in Geometric Algebra
Vectors Are Not Lists of Numbers (Part 2) - From Zero to Geo 1.9
Переглядів 11 тис.Рік тому
Vectors Are Not Lists of Numbers (Part 2) - From Zero to Geo 1.9
Vectors Are Not Lists of Numbers (Part 1) - From Zero to Geo 1.8
Переглядів 14 тис.Рік тому
Vectors Are Not Lists of Numbers (Part 1) - From Zero to Geo 1.8
A Swift Introduction to Spacetime Algebra
Переглядів 81 тис.Рік тому
A Swift Introduction to Spacetime Algebra
An Alternative Introduction to Trigonometry
Переглядів 18 тис.Рік тому
An Alternative Introduction to Trigonometry
Superior Spanning Sets - From Zero to Geo 1.7
Переглядів 14 тис.2 роки тому
Superior Spanning Sets - From Zero to Geo 1.7
Addendum to A Swift Introduction to Geometric Algebra
Переглядів 75 тис.2 роки тому
Addendum to A Swift Introduction to Geometric Algebra
Describing Many Vectors With a Few - From Zero to Geo 1.6
Переглядів 14 тис.2 роки тому
Describing Many Vectors With a Few - From Zero to Geo 1.6
The Mathematical Proof of the Existence of Santa Claus
Переглядів 11 тис.2 роки тому
The Mathematical Proof of the Existence of Santa Claus
What is (a) Space? From Zero to Geo 1.5
Переглядів 22 тис.2 роки тому
What is (a) Space? From Zero to Geo 1.5
The Algebra of Vectors - From Zero to Geo 1.4
Переглядів 19 тис.2 роки тому
The Algebra of Vectors - From Zero to Geo 1.4
How to Add Vectors - From Zero to Geo 1.3
Переглядів 13 тис.2 роки тому
How to Add Vectors - From Zero to Geo 1.3
The length of a vector and how to change it - From Zero to Geo 1.2
Переглядів 19 тис.2 роки тому
The length of a vector and how to change it - From Zero to Geo 1.2
Why do we care about vectors? From Zero To Geo 1.1
Переглядів 31 тис.2 роки тому
Why do we care about vectors? From Zero To Geo 1.1
From Zero to Geo Introduction (Geometric Algebra Series)
Переглядів 76 тис.2 роки тому
From Zero to Geo Introduction (Geometric Algebra Series)
The Developmental Method Applied to Calculus
Переглядів 21 тис.2 роки тому
The Developmental Method Applied to Calculus
A Swift Introduction to Geometric Algebra
Переглядів 846 тис.3 роки тому
A Swift Introduction to Geometric Algebra
Creation Calls Cover
Переглядів 4,1 тис.6 років тому
Creation Calls Cover
English (from Homestuck) on piano
Переглядів 11 тис.10 років тому
English (from Homestuck) on piano
Savior of the Waking World (from Homestuck) on piano
Переглядів 10 тис.10 років тому
Savior of the Waking World (from Homestuck) on piano
Dango Daikazoku (Ending theme to Clannad) on piano
Переглядів 1 тис.10 років тому
Dango Daikazoku (Ending theme to Clannad) on piano
Toki Wo Kizamu Uta (Clannad: After Story opening song) on piano
Переглядів 2,2 тис.10 років тому
Toki Wo Kizamu Uta (Clannad: After Story opening song) on piano

КОМЕНТАРІ

  • @hasanaljamea2569
    @hasanaljamea2569 3 години тому

    I would buy the book too. 🤔

  • @davidgillies620
    @davidgillies620 День тому

    I think the main upshot of this short is that when you use the word dimension, define your context. *Unit* quaternions are isomorphic to SU(2), which is three dimensional, and diffeomorphic to the 3-sphere, also three dimensional. It's unit quaternions that we use to represent 3D rotations. But general quaternions can be identified naturally with R^4 or C^2, and those most certainly are four dimensional.

  • @hearteyedgirl
    @hearteyedgirl День тому

    while the video says "inside" and "outside", it can be understood as spam

  • @minerharry
    @minerharry 2 дні тому

    Is this related to why the two dimensional rotation formula doesn’t work in 3D?

    • @sudgylacmoe
      @sudgylacmoe 2 дні тому

      I don't think so. The 2D rotation formula stops working because there's extra degrees of freedom that weren't accounted for in the derivation of the 2D rotation formula, whereas this issue with reflections stems from developing a reflection formula for a different type of reflection. Also, note that both reflection formulas can be used to derive the higher-dimensional rotation formula, because the minus signs will cancel when doing an even number of reflections.

    • @Dayanto
      @Dayanto День тому

      The two-dimensional rotation formula actually DOES work in any number of dimensions, as long as you are mulitplying things that are in the same plane. The sandwich product is only needed to cancel out transformations perpendicular to the plane.

  • @nickpatella1525
    @nickpatella1525 2 дні тому

    Shouldn't the u-hat on the right be inverted too? Or is that unnecessary for reflecting vectors?

    • @potaatobaked7013
      @potaatobaked7013 2 дні тому

      The hat means the vector is a unit vector, so it is own inverse

    • @nickpatella1525
      @nickpatella1525 2 дні тому

      @@potaatobaked7013 Gotcha. "Hyperplane" made me think "k-vector", but I guess this is intended as the 2D VGA equation, or perhaps the (hyper)plane-based PGA equation.

    • @angeldude101
      @angeldude101 2 дні тому

      ​@@nickpatella1525 It seems to be the mirror-space version. It's what's normally used in PGA, but isn't actually restricted to PGA and can be used in VGA and even other models.

    • @sudgylacmoe
      @sudgylacmoe 2 дні тому

      This is still in VGA. It ends up reflecting across the hyperplane perpendicular to u. Yeah, I don't like the usage of normal vectors either, but this is what you have to use to get the Cartan-Dieudonné theorem to work in VGA.

  • @prabhakarsingh6821
    @prabhakarsingh6821 4 дні тому

    Wow this is genius 🙇

  • @MohdAbuolwan
    @MohdAbuolwan 5 днів тому

    Easily the most helpful algebra (mathematics) explanation video I have ever seen on UA-cam! I will definitely watch this channel whenever I have a math problem to solve.

  • @jstock2317
    @jstock2317 6 днів тому

    great series! it's all about the basis vectors! woop woop!

  • @TheBluePhoenix008
    @TheBluePhoenix008 6 днів тому

    That's crazy! Good to know

  • @RichConnerGMN
    @RichConnerGMN 8 днів тому

    what

  • @holykoolala
    @holykoolala 8 днів тому

    n space, n reflections, then x many kinds of transformation? orthogonal, affine, are there more? what makes a reflection orthogonal and a reflection non-orthogonal?

    • @quantumgaming9180
      @quantumgaming9180 2 дні тому

      What makes an ortogonal a reflection? What makes an ortogonal not a reflection? (Answer: the determinant)

  • @mr_kripa48avia57
    @mr_kripa48avia57 8 днів тому

    Автор чего-то немного путает. Если парабола - это просто функция от 1 переменной с 3 параметрами, то кватернион - объект вообще другой природы. Конкретнее, кватернион - это вектор в четырехмерном пространстве с базисом (1, i, j, k)

  • @cloakbackground8641
    @cloakbackground8641 9 днів тому

    Do the properties of vectors and spans covered so for ensure that spaces are flat? I suspect so, but I'm not certain why. I think linear combinations of vectors would be enough to cover any space. (I'm not sure I can prove that, but it seems to work fine for covering a sphere, for example.) I suspect instead that we implicitly made space flat with our definition of length and by assuming that every point in space can be associated with a _unique_ vector.

  • @davidgillies620
    @davidgillies620 9 днів тому

    From the standpoint of the stuff I've been learning recently the amazing consequence of this is that every rotation in SU(2) can be represented as the composition of at most 2n - 2 reflections. It makes understanding spinors and Spin(n) a lot easier.

  • @Adeith
    @Adeith 9 днів тому

    This doesn't make sense to me since ((v dot u) v) can only result in a scaled vector v, the result can never be be a vector that is reflected across v. Also if u and v is perpendicular the result will always be zero. Or is it another product and not the dot product?

    • @sudgylacmoe
      @sudgylacmoe 9 днів тому

      It's the geometric product from geometric algebra. My channel has much more information about geometric algebra.

    • @Adeith
      @Adeith 8 днів тому

      @@sudgylacmoe This took me down a rabbit hole. Why is it all so elegant and why have I been implementing projections in six different ways all my life... If I were to implement the projection the geometric algebra way, would it take more operations than the traditional complicated way?

  • @SweetDreams-wt7vo
    @SweetDreams-wt7vo 9 днів тому

    Simple! Basic hypothesis! On reflection . . .

  • @kingoreo7050
    @kingoreo7050 9 днів тому

    The one time visualisations actually hinder understanding..

  • @101perspective
    @101perspective 9 днів тому

    Remove the graphs and voice over and add in some women in bikinis dancing and you'd have a pretty good video.

  • @heeraksharma1224
    @heeraksharma1224 9 днів тому

    Nice proof.

  • @romeo-0016
    @romeo-0016 9 днів тому

    So problem, this isn't very helpful. If you don't know any of this then this man is speaking gibberish, and if you do, then this is just like ya.

    • @MattHudsonAtx
      @MattHudsonAtx 9 днів тому

      Yeah it's weird how this channel is not aimed at people who are entirely unfamiliar with math

  • @ookamitsk8104
    @ookamitsk8104 9 днів тому

    Instructions unclear, my junk got stuck in a toaster

  • @volcmaster
    @volcmaster 9 днів тому

    Indubitably

  • @bfree247365
    @bfree247365 9 днів тому

    Well, I can check this off my bucket list.

  • @wilkesreid
    @wilkesreid 9 днів тому

    Now I know what it feels like to others when I try to talk about computer science stuff with them.

    • @ENDESGA
      @ENDESGA 7 днів тому

      Yeah this one in particular went waaay over my head, holy wow I have to rewatch this...

  • @bayleev7494
    @bayleev7494 9 днів тому

    very slick! probably the biggest missing detail is how we know that an n-dimensional subspace is preserved under both maps. it's not too difficult to see this, though; given our arbitrary vector v, the orthogonal complement of v must be preserved since v is preserved and the map respects orthogonality. (i guess you need to show that reflections are orthogonal, but that's a pretty standard result.) the second big detail is that we can reflect v back to where it started, but this can be shown by analysing the subspace spanned by v and Av and hence reducing to the R² case. the final detail is the base case, which is pretty obvious if we take it to be R¹.

    • @johannbauer2863
      @johannbauer2863 8 днів тому

      Thanks! I have been wondering exactly that!

    • @wafikiri_
      @wafikiri_ 7 днів тому

      Meanwhile, my mind trying to envision a portion of nervous system, each neuron portraying a multidimensional subspace over binary values, the portion performing cognitive multidimensional transformations . . . .

  • @andreochimal1077
    @andreochimal1077 9 днів тому

    This was awesome. You should do a long video explaining the details of the proof. I teach analytic geometry in my university and we cover a great deal about orthogonal transformations. I will include this in the next term’s syllabus

  • @mahapeyuw5946
    @mahapeyuw5946 10 днів тому

    This helps you see in pictures. You are able to connect different parts of physics with ease.

  • @terdragontra8900
    @terdragontra8900 10 днів тому

    39:28 If magnetic monopoles are included, and can define a thing analogous to J (I’ll call it, uh… D?), combining magnetic density and magnetic current, and then the right hand side becomes J + iD I believe

  • @AndrewBrownK
    @AndrewBrownK 10 днів тому

    the bivectors would have to be constructed in the right order, yes? or some might cancel out the others?

    • @sudgylacmoe
      @sudgylacmoe 10 днів тому

      Yeah, but all you need to do is just make sure you go around the polygon.

  • @isavenewspapers8890
    @isavenewspapers8890 12 днів тому

    16:59 Correction: The circular sector is not subtended by the angle. The angle is subtended by the arc boundary of the sector.

  • @sebastianfia9541
    @sebastianfia9541 13 днів тому

    Ok this is actually beautiful

  • @Patrick_Bruno
    @Patrick_Bruno 14 днів тому

    The vectors you are describing belong to real vector spaces (elements of R^n). Does it mean that complex vectors (elements of C^n) are not considered in your construction of geometric algebra?

    • @sudgylacmoe
      @sudgylacmoe 13 днів тому

      In this entire series up to chapter 7, I will only be considering geometric algebras over the real numbers. This is because they are by far the most useful, and because geometric algebra often can be used in place of complex numbers, making them much less necessary. However, if you really want to, you can use any commutative ring as your scalars, which I'll be doing in chapter seven.

  • @pianochannel100
    @pianochannel100 15 днів тому

    Span implies that you have a plane shape, how do we go from plane -> point? 9:44

    • @sudgylacmoe
      @sudgylacmoe 15 днів тому

      The geometric interpretation of this linear space is completely different from the usual geometric interpretation of vectors as arrows. We instead think of vectors as lines (or as I describe later in the video, planes in 3D). The span of two lines is the set of all lines passing through their intersection, which for convenience we think of as just the point itself.

    • @pianochannel100
      @pianochannel100 15 днів тому

      @@sudgylacmoe Ah excellent! Thank you so much!

  • @pianochannel100
    @pianochannel100 15 днів тому

    5:32 this is a special case I believe. Only true when |a| = |b| = |1|

  • @multiarray2320
    @multiarray2320 15 днів тому

    probably a stupid question, because i dont know a lot about algebra, but what is 'vanilla' geometric algebra?

    • @prithvisukka9271
      @prithvisukka9271 15 днів тому

      What grade are you in? en.m.wikipedia.org/wiki/Geometric_algebra this is the geometric algebra he’s talking about, unless your asking why he said vanilla, probably because it’s a 2d case with a simples inner product

    • @prithvisukka9271
      @prithvisukka9271 15 днів тому

      Or he could be talking about exterior algebra

    • @multiarray2320
      @multiarray2320 15 днів тому

      @@prithvisukka9271 i was asking about the vanilla. never heard of it before.

    • @sudgylacmoe
      @sudgylacmoe 15 днів тому

      Vanilla geometric algebra is the geometric algebra with a positive-definite metric and where you interpret vectors as arrows in Euclidean space. This is to contrast it with other flavors of geometric algebra, such as STA, which has the same geometric interpretation but a mixed metric, or PGA, which has both a different metric and a different interpretation of vectors (as planes).

    • @IronicHavoc
      @IronicHavoc 9 днів тому

      ​@@prithvisukka9271 Putting quotes around "vanilla" indicate that vanilla was the part they were asking about

  • @AnkitKumar-cd8fe
    @AnkitKumar-cd8fe 15 днів тому

    Hey when will you start posting videos of "from 0 to geo" again? I've been waiting for so long. I just wanted to ask.

    • @sudgylacmoe
      @sudgylacmoe 15 днів тому

      I made a community post about this recently: ua-cam.com/users/postUgkxa6bKAm4cOHqySeTehTAnKvJOBXFv0lZD. Don't worry, it will return!

  • @davidgillies620
    @davidgillies620 16 днів тому

    This is equivalent to negative conjugation in SU(2) with Pauli matrices, right?

    • @linuxp00
      @linuxp00 16 днів тому

      A conjugation could be achieved this way, if the line of reflection is the conventioned "real" axis. Other way, is to subtract the rejection (perpendicular component) from projection (paralel component).

    • @davidgillies620
      @davidgillies620 15 днів тому

      @@linuxp00 In SU(2) you reflect vector V about a unit reflection vector U by -UVU which is -U(V|| + V⟂)U = -V|| + V⟂, so tantamount to the same thing.

  • @skj983
    @skj983 16 днів тому

    Nice work, but this isn't a good introduction to hestenes work. Everybody uses rotation matrices for lorentz transformations already. I think a really awesome video would be to take his STA to elucidate the Dirac equation as he does in his paper.

  • @poketopa1234
    @poketopa1234 16 днів тому

    Is this actually the best way to do it?

  • @lovecatxx
    @lovecatxx 20 днів тому

    This is so well done, man, congrats for your talent.

  • @Oi-mj6dv
    @Oi-mj6dv 21 день тому

    I feel as if im peeking into a cheese tactic for speedruning physics understanding any%

  • @alejrandom6592
    @alejrandom6592 22 дні тому

    What about normalization tho

  • @alejrandom6592
    @alejrandom6592 22 дні тому

    Ever heard of prime number space?

  • @igamse
    @igamse 22 дні тому

    Wait so in 4D there is a Cube reflection? That's so insane I don't have the slightest idea how would that work!

    • @onebronx
      @onebronx 20 днів тому

      a hyperplane (i.e. 3d-space) reflection, e.g. time inversion

  • @danii7120
    @danii7120 22 дні тому

    ...Is that the Dango from Clannad?

    • @sudgylacmoe
      @sudgylacmoe 22 дні тому

      Yes it is! Well not quite, I drew it myself in manim, but it's what it's based on.

    • @danii7120
      @danii7120 22 дні тому

      @@sudgylacmoe very based...

  • @Dr.Nietzsche
    @Dr.Nietzsche 22 дні тому

    Following your reasoning, complex numbers, a + bi, are 1D. 😂 LOL

    • @sudgylacmoe
      @sudgylacmoe 22 дні тому

      No, complex numbers do 2D rotations in the same way that quaternions do 3D rotations.

  • @katczar
    @katczar 22 дні тому

  • @happinesstan
    @happinesstan 22 дні тому

    A reflection is an analogue simulation.

  • @blacky7801
    @blacky7801 23 дні тому

    oh wow, didn't expect to see the de morgan law here