Determinant Puzzle

Поділитися
Вставка
  • Опубліковано 16 жов 2024
  • Time for another matrix puzzle! Suppose f is a function from 2x2 matrices to a field that is multilinear, alternating, and satisfies f(I) = 1. What is f? In this video we'll show that f is none other than the determinant!
    Generalization to n x n matrices: • Characterization of th...
    Check out my Determinants Playlist: • Determinants
    Subscribe to my channel: / drpeyam

КОМЕНТАРІ • 35

  • @cycklist
    @cycklist 5 років тому +18

    You gave the answer away in the title just a little bit :)

    • @drpeyam
      @drpeyam  5 років тому

      Just a little ;)

    • @aram9167
      @aram9167 5 років тому +1

      Using delta probably wasn't the best choice either xD

    • @foreachepsilon
      @foreachepsilon 5 років тому

      Zadig the guess is obvious, but is the proof?

    • @aram9167
      @aram9167 5 років тому +3

      K H the proof is trivial and left as an exercise for the viewer

  • @mimithewienerdog6928
    @mimithewienerdog6928 5 років тому +5

    I love the notation for "Want to find"
    P.S.
    You're the reason I enrolled in linear algebra this semester!

  • @SabaSa6a
    @SabaSa6a 4 роки тому

    A good exercise for better understanding determinant. Very impressive, thank you!

  • @supermanifold
    @supermanifold 5 років тому

    Things get confusing really quickly when you switch to a different notation!
    To clarify things a bit: start with
    D(a b // c d)
    = D( (0 + a.1) (b + a.0) // c d)
    = D(0 b // c d) + a.D(1 0 // c d)
    But
    D(0 b // c d)
    = D( (0 + b.0) (0 + b.1) // c d)
    = D(0 0 // c d) + b.D(0 1 // c d)
    But now notice that x = D(0 0 // c d) must be x = 0 as follows: since 0 = 0 + 1.0, you can write x as x = x + x; and since x is an element of a field (in particular, a group), we must have x = 0 by cancellation. (In fact, 0 is the only element of an (additive) group such that 0 + 0 = 0.)
    The rest should be clear.

  • @Arup497
    @Arup497 5 років тому

    You really deserve to be a very good mathematician.

  • @Arup497
    @Arup497 5 років тому

    These videos help me to improve my mathematical analysis

  • @_DD_15
    @_DD_15 5 років тому

    Totally astonished at this approach. Cheers buddy

  • @wahyuhidayat7042
    @wahyuhidayat7042 5 років тому +1

    You are so inspiring to study math...awesome

    • @wahyuhidayat7042
      @wahyuhidayat7042 5 років тому

      @Dr.peyam how to integrate (x^2 cos 2x )/(4+sin^2 (2x)) dx...help me

  • @Arup497
    @Arup497 5 років тому

    Your videos are very useful for me

  • @Arup497
    @Arup497 5 років тому

    You are my inspiration

  • @PoweredDragon
    @PoweredDragon 5 років тому

    That's funny. On some of my classes, the generalization of that was considered definition of determinant and with my friends, we decide to call it 'the only reasonable definition' just for jokin'.
    It's so powerful; great properties people forget about while studying - probably that's why our Profesor decided to make it a definition - so that everyone remembers :D

  • @dhunt6618
    @dhunt6618 5 років тому

    Cool! Awesome as usual!

  • @Arup497
    @Arup497 5 років тому

    Nice lecture sir

  • @_DD_15
    @_DD_15 5 років тому

    Where did this come from? It's beautiful😎

    • @drpeyam
      @drpeyam  5 років тому +2

      Sometimes this is how people define the Determinant, but I got that problem from the Friedberg textbook

    • @_DD_15
      @_DD_15 5 років тому

      @@drpeyam interesting, thanks for sharing !

  • @matteo7092
    @matteo7092 5 років тому

    Can we generalize to N dimensions by applying induction?

    • @drpeyam
      @drpeyam  5 років тому +2

      Characterization of the determinant ua-cam.com/video/AVMym1KfVXc/v-deo.html

    • @matteo7092
      @matteo7092 5 років тому

      Thanks

  • @cerwe8861
    @cerwe8861 4 роки тому +1

    I didn't got the I (Identity Matrix) on the Thumbnail, because in Germany we use E (Einheitsmatrix)

    • @drpeyam
      @drpeyam  4 роки тому +1

      I like that!

  • @Maniclout
    @Maniclout 5 років тому +1

    7:16 wtf??

    • @drpeyam
      @drpeyam  5 років тому +2

      Grazer Want To Find :)

    • @Maniclout
      @Maniclout 5 років тому

      @@drpeyam I was just kidding, love your videos btw Peyam :D

  • @112BALAGE112
    @112BALAGE112 5 років тому +1

    This problem is too easy to guess brainlessly. Aside from the determinant, what else do you know that takes matrices to reals?

    • @drpeyam
      @drpeyam  5 років тому +2

      Trace, or any entry of the matrix, or Trace A^2, etc.

    • @112BALAGE112
      @112BALAGE112 5 років тому +2

      @@drpeyam It appears that I was too brainless there lol.

    • @drpeyam
      @drpeyam  5 років тому +1

      Hahaha