Double Dual

แชร์
ฝัง
  • เผยแพร่เมื่อ 30 ต.ค. 2024

ความคิดเห็น • 42

  • @felipegomabrockmann2740
    @felipegomabrockmann2740 5 ปีที่แล้ว +15

    your description of V** is by far better than in books!!! Thank you so much

  • @postbodzapism
    @postbodzapism 5 ปีที่แล้ว +7

    This explains why, in quantum mechanics, we sometimes write = f(x)

  • @LuisFlores-mu7jc
    @LuisFlores-mu7jc 5 ปีที่แล้ว +11

    In infinite dimensions, the vector space can be seen as a subspace of the bidual. In this video, you showed that there was an isomorphism between a vector space and its bidual (in finite dimensions). Is there any chance you could talk about the more analytical aspects of all this? For example, could you show that this isomorphism is also an isometry?
    As always, this has been a great video. I love this whole series. Thanks for making an approachable series into such an abstract topic! I really appreciate it.

  • @eliyasne9695
    @eliyasne9695 5 ปีที่แล้ว +5

    Interesting observation: If you think about it, when you have two spaces v and w , and a transformation T from v to w then T transpose will be from w* to v* and T transpose transpose will be from v** to w**. But since T transpose transpose is just T it means T sort of do the same to v and v**.🤔

    • @drpeyam
      @drpeyam  5 ปีที่แล้ว

      There’s a video on that, actually!

    • @yahya5308
      @yahya5308 4 ปีที่แล้ว

      hhhhhh i was thinking of the same thing but didnt reach the isomotphic part , nice thats very cool , i was like woooow

  • @raph-ko1706
    @raph-ko1706 5 ปีที่แล้ว +1

    3:40 That reference to Zelda A Link To The Past it seems you like Zelda in general since it's not the first time you speak about Zelda :)
    Btw great video as always keep the good work 👍

    • @drpeyam
      @drpeyam  5 ปีที่แล้ว +1

      My favorite video game ❤️

  • @박재성학생물리·천문
    @박재성학생물리·천문 2 ปีที่แล้ว

    Amazing video!!!!

  • @kihunjung6057
    @kihunjung6057 15 วันที่ผ่านมา

    Hello! Thank you for your wonderful explanation! (The video indeed helped me a lot!) Still I have a question, I hope you would answer for it whenever possible, so that I can improve my knowledge about the concept! Here's my question: the function psi get x(a vector in V) as an input, however when you're proving the linearity of psi, you inserted f(which is obviously a function in V*), so that it became psi(x+cy)(f). I'm bit confused with the concept; shouldn't an input always be a vector, since psi is a mapping from V to V**? How can it possible for us to input f? What does it actually mean? Anyway, I appreciate that I can get such a nice lecture for free, thank you again, and I would be waiting for your reply!

    • @drpeyam
      @drpeyam  15 วันที่ผ่านมา

      Yes so psi takes x as an input and spits out something in V** so psi(x) is an element of V** hence a super function from V* to R. Hence the input to psi(x) is f

  • @dgrandlapinblanc
    @dgrandlapinblanc 5 ปีที่แล้ว

    Cool. Thank you very much.

  • @dhunt6618
    @dhunt6618 5 ปีที่แล้ว +1

    Lamont Cranston would be proud! Who knows what transforms lurk in the hearts of math? The shadow knows! The weed of mathematics bears basis fruit!

  • @rishabhbhutani5835
    @rishabhbhutani5835 3 ปีที่แล้ว

    Best explanation on double duals I have seen. Also is the notation of L(V, F) the same thing as Hom(V, F)? If so, then why
    is there two notations? Anyways, great video!
    What can I say, you can always count on Dr Peyam to have the best explanations!!

    • @drpeyam
      @drpeyam  3 ปีที่แล้ว +2

      I think so, but Hom(V,F) is more general

  • @dprd8019
    @dprd8019 ปีที่แล้ว

    Hi! Awesome playlist! I wanted to ask something on the relation between V and V**. Maybe in math there is no reason to distinguish 'being' and 'behaving' , but when we say V=V** do we mean that they are the same or that they behave the same? I think ( and please tell me if it makes any sense) that thanks to that SUPER isomorphism of which you spoke we can see the vectors of V as linear function (belonging to V**) which are the evaluation of a function in V* on the vector of interest. Thus my doubt is: the element of V** are functions (as element of (V*)*) or vectors (as element of V=V**)? Or maybe there is no need to ask such a thing since what matters is the behaviour in those cases? Thaks in advance from an italian student ^^

    • @dprd8019
      @dprd8019 ปีที่แล้ว

      oh sorry i accidentally wrote in bold, whenever there is a bold line there are two stars , one on its right and one on its left ( so the relation of wich i refere is between V and V** and so on)

  • @tomascordova3376
    @tomascordova3376 5 ปีที่แล้ว +1

    Dr. Peyam there is an integral that Breaking my mind it is the indefinite Integral of { 1/((1+x^n)^((n+1)/n))} there has been nothing I could find to help me solve this😔

  • @willnewman9783
    @willnewman9783 5 ปีที่แล้ว

    I think that the dual of an infinite dimensional vector space is always strictly larger than the space. Therefore, the double dual of V is isomorphic to V if and only if V is finite dimensional.

    • @drpeyam
      @drpeyam  5 ปีที่แล้ว

      I don’t think so, there are some spaces called reflexive spaces, where the double dual is isomorphic to the original space

    • @willnewman9783
      @willnewman9783 5 ปีที่แล้ว

      @@drpeyam Looking up the definition on wikipedia, it seems like a reflexive space is one where the continuous dual is isomorphic to the original space, not the entire dual. I am pretty sure the entire dual space of a vector space has to have a higher dimension when said vector space is infinite.

    • @drpeyam
      @drpeyam  5 ปีที่แล้ว

      Not true, though! The dual of L^2 is isomorphic to L^2, which is isomorphic to the double dual of L^2

    • @willnewman9783
      @willnewman9783 5 ปีที่แล้ว

      @@drpeyam I am guessing you are using the map g goes to (f goes to integral of fg) as an isomorphism of L2 into L2 dual? In this case, every such map, f goes to integral of fg is bounded, and hence continuous, by Cauchy Schwarz. Wikipedia says that it is the continuous dual of L2 that is L2, not the regular dual space.

    • @MuffinsAPlenty
      @MuffinsAPlenty 5 ปีที่แล้ว +1

      will newman is correct here. A vector space V is isomorphic to V** if and only if V is finite-dimensional, and this can be seen by noting that the dual space of an infinite-dimensional vector space has a strictly larger dimension than the space itself (so the double dual will also have strictly larger dimension).
      And yes, according to the Wikipedia article on reflexive vector spaces, the definition of a reflexive vector space is one that is isomorphic to the continuous dual of its continuous dual.
      If you want to go a different route, you can think about modules instead of vector spaces. There is always a natural map (the one you described in this video) from any module to its double dual. For vector spaces (regardless of dimension), this map is always one-to-one. The map may not be one-to-one for modules, so we call a module M *torsionless* if the natural map M → M** is one-to-one. A module M is called *reflexive* if the natural map is an isomorphism. So the concept of "reflexive" is more interesting in module theory than for abstract vector space ;)

  • @isabeleeleonora7863
    @isabeleeleonora7863 4 ปีที่แล้ว

    thank u!

  • @Risu0chan
    @Risu0chan 5 ปีที่แล้ว +1

    I do not understand in what sense the map from V to V** (double dual) is _more_ isomorphic than the map fro V to V* (single dual).

    • @drpeyam
      @drpeyam  5 ปีที่แล้ว +3

      There’s a very elegant isomorphism from V to V** with a neat formula. To find an isomorphism from V to V* you have to go through a basis, which is uglier

    • @andersok
      @andersok ปีที่แล้ว

      @@drpeyam I'm not sure if this is the case, but my interpretation of what you're saying is that (categoricaly) there is a natural isomorphism between V and V**.

  • @modeldd5612
    @modeldd5612 5 ปีที่แล้ว

    Thanks for the video, I learned why V^{**} and V are isomorphic!
    I think you can shorten the proof of $psi being 1-1:
    We will show that Ker($psi) = 0. If $psi(x) =0, f(x) = 0 for all f in V*. In particular, f(x)=0 even if function f is the identity function.
    Hence x=0. Thanks!

    • @drpeyam
      @drpeyam  5 ปีที่แล้ว +5

      The identity function isn’t in V*, because we need the output of f to be a scalar!

    • @modeldd5612
      @modeldd5612 5 ปีที่แล้ว

      @@drpeyam Whoops, my logic only exists when V=F. Thanks.

  • @Hank-ry9bz
    @Hank-ry9bz 5 หลายเดือนก่อน

    8:00 reflexive case

  • @yahya5308
    @yahya5308 4 ปีที่แล้ว

    i have some questions :
    1) when we say that two vector spaces are isomorphic , we mean that they are isomorphic according to a linear transformation ?, like that two vector space V and W can be isomorphic if we talked abt a specific LT f and not isomorphic for another LT g .
    2) when u proved that V and V** are isomorphic u proved that according to the HAT "^" linear trasformation , is there any other LT that also isomorphic ??

    • @drpeyam
      @drpeyam  4 ปีที่แล้ว

      Isomorphic means there is a LT between V and V**. There is no such thing as isomorphic with a specific LT, unless maybe you say it’s reflexive if hat is an isomorphism.

    • @yahya5308
      @yahya5308 4 ปีที่แล้ว

      @@drpeyam thank you for your answer ,
      i have another question : V and V** are only isomorphic for the hat linear function ?
      thanks again .
      i mean if there is ONLY ONE (OBLY ONE) LT that is bijective between two vector spaces V and W , then we say that those two are isomorphic , we only need ONE bijective linear transformation to say that two vector spaces are isomorphic ???

  • @matthewediz5762
    @matthewediz5762 3 ปีที่แล้ว

    god bless

  • @LarryRiedel
    @LarryRiedel 5 ปีที่แล้ว +1

    If no basis is needed, maybe these would be good for finding lengths of curves and areas of surfaces.

    • @waterfirecards5128
      @waterfirecards5128 5 ปีที่แล้ว

      LarryRiedel can you please explain why?

    • @LarryRiedel
      @LarryRiedel 5 ปีที่แล้ว

      @@waterfirecards5128 I wish I could. Maybe you can get something from the Wikipedia page on Metric Tensors en.wikipedia.org/wiki/Metric_tensor

  • @newtonnewtonnewton1587
    @newtonnewtonnewton1587 5 ปีที่แล้ว

    Very nice D peyam

  • @johnhippisley9106
    @johnhippisley9106 2 ปีที่แล้ว

    Ahah!