My Favorite Theorem: The Borsuk-Ulam Theorem

Поделиться
HTML-код
  • Опубликовано: 26 авг 2024

Комментарии • 35

  • @dickybannister5192
    @dickybannister5192 2 года назад +8

    love any maths which links the discrete and the continuous. not exactly Langlands, but agree this was always a top ten at least for me.

  • @andrewharrison8436
    @andrewharrison8436 Год назад +1

    Well, 4 years later the 10,000subscribers seems unambitious since you now have 275,000.
    Congratulations on this deserved growth.

  • @particleonazock2246
    @particleonazock2246 3 года назад +5

    Your videos are excellent, explaining math concepts intuitively, but not with too much rigour so that viewers become baffled. You have earned a subscriber, sir.

    • @DrTrefor
      @DrTrefor  3 года назад

      Thanks so much!

    • @aashsyed1277
      @aashsyed1277 3 года назад

      HI CONDENCED PHYSICS AGAIN!!!!!!!

  • @pygmalionsrobot1896
    @pygmalionsrobot1896 9 месяцев назад +1

    This was really excellent, thanks so much for making this.

  • @NothingMaster
    @NothingMaster 3 года назад +1

    As you know we can prove the Borsuk-Ulam theorem from the Tucker's lemma. But the beauty of it is that we could also prove the Tucker's lemma from the Borsuk-Ulam theorem; meaning that the two theorems are equivalent. What’s even more interesting is the fact that there are several fixed-point theorems that come in three equivalent variants - namely an algebraic topology variant, a combinatorial variant, and a set-covering variant. These variants could further be reduced to the other variants. For example the following:
    Brouwer fixed-point theorem --> Sperner's lemma --> Knaster-Kuratowski-Mazurkiewicz lemma
    | | |
    Borsuk-Ulam theorem -> Tucker's lemma. -> Lusternik-Schnirelmann theorem

    • @DrTrefor
      @DrTrefor  3 года назад +2

      That's right, isn't it cool! btw if you haven't seen it before I have a video providing Brouwer from Sperner that I think you might enjoy

  • @callumvlex7059
    @callumvlex7059 2 года назад +1

    The hairy ball theorem, I use this all the time as an ice-breaker

  • @craigjoyner9857
    @craigjoyner9857 2 года назад +2

    I understand how the surface example works, with the opposite poles. I don’t understand the logical jump to how we can carry that along for temperature and pressure as well.

    • @abdurrafeh8899
      @abdurrafeh8899 Год назад

      Every point on the surface of the earth has a temperature and pressure associated with it; therefore, if you represent the temperature and pressure on a 2D xy-plane, every point on the surface of the sphere (earth) is essentially mapped to a specific point on the xy-plane representing the temprerature and pressure (one axis representing temperature and the other axis representing the pressure), since the surface of the sphere also has a certain temperature and pressure associated with every point on its surface. You're basically mapping the surface of the sphere to the plane, which is no different than any random mapping.

    • @craigjoyner9857
      @craigjoyner9857 Год назад +1

      @@abdurrafeh8899 , I guess what I struggled with originally was how could you guarantee that the temperature and pressure combination would hold in the same way.
      Once I took into consideration that temperature and pressures on the earth will all have continuous gradients, it made more sense. For instance the only way to get to an area with 80 def F temp, to an area with 77 degree temp, would be to go through a series of discrete points along the continuous temperature profile, to get from one point to the other. Same thing with pressure.

  • @marwaassem1087
    @marwaassem1087 5 лет назад +1

    Amazing Video

  • @yongmrchen
    @yongmrchen 10 месяцев назад

    This one relates me to the intermediate value theorem. I think they have some resemblance in ideas, but the IVT is much simpler and more intuitive.

  • @justinswag3403
    @justinswag3403 5 лет назад +1

    Yay cool video!

  • @abd-elrahmanmohamed9839
    @abd-elrahmanmohamed9839 5 лет назад +3

    Hi Dr. , I'm self studying discrete mathematics now from the book "Discrete Mathematics and its Applications" by Kenneth H. Rosen . I can understand the material with no issues , but the issue is that the number of exercises (problems) after every section is too big . How can I handle that huge problems without ignoring any new ideas .

  • @aashsyed1277
    @aashsyed1277 3 года назад

    SUPER nifty theorem

  • @georgegammer2515
    @georgegammer2515 5 лет назад +4

    Has any work been done to test these theoretical conclusions? For example. has anyone ever found antpidol points that have the same temperature and pressure?

    • @petros_adamopoulos
      @petros_adamopoulos 4 года назад +6

      A mathematical proof doesn't require any physical confirmation.
      Besides, both temperature and pressure don't have actual precise values. You couldn't even say *any* two things/locations have the same temperature or pressure, or even that one thing has the same than it had before. Fundamentally, both measure basically "count" how many molecules did hit the detector in some small amount of time. You could argue forever whether the same temperature was actually the same, and the other way around, you could always argue that two temperatures are close enough.

  • @idontwantahandlethough
    @idontwantahandlethough 2 года назад +1

    Hey, I have that shirt! You look better in it though so I'll let you be the one to wear it
    Oh, and cool video, this was really interesting! Keep it up dude :)

  • @abdulsamadkhan9743
    @abdulsamadkhan9743 4 года назад

    i want more videos like these...mannnn

  • @Fine_Mouche
    @Fine_Mouche 2 года назад +1

    what i want to see is a heatmap of all point having same temperature, another heatmap showing same temp + pressure for see that the total area is inferior, and continuing adding parameters until the area of the heatmap is reduce to a single point.

    • @Fine_Mouche
      @Fine_Mouche 2 года назад

      reduce to a single couple of points*

  • @Achill101
    @Achill101 3 года назад

    Thank you for this nice video showing some things the Borsum-Ulam theorem can do and a proof for S1.
    Can you recommend a video with a proof of the Borsum-Ulam theorem with or without Tucker's Lemma?

  • @broccoloodle
    @broccoloodle 5 месяцев назад

    I am doing a category theory course, the diagram at 15:21 scares me 😢

  • @zray2937
    @zray2937 Год назад

    First time seeing the Lusternik-Schnirelmann theorem, and it seems weird to my non-mathematician eyes. The image shown seems to imply that the sets are disjoint, but I don't think that's possible.

  • @ycombinator765
    @ycombinator765 2 года назад +2

    for the algorithm 🔥🔥🤞👍

  • @ashlyeli8442
    @ashlyeli8442 2 года назад

    Do you talk about ring theory?

  • @Michael-hs7pr
    @Michael-hs7pr 4 года назад +1

    Thanks for the video! I'm holding a seminar on the Borsuk-Ulam theorem soon myself. Do you have any recommendations on how to code some animations e.g. in LaTeX or Python?

    • @Michael-hs7pr
      @Michael-hs7pr 4 года назад

      @@DrTrefor Thanks! I'll try and do it in MatLab then :)

    • @dickybannister5192
      @dickybannister5192 2 года назад

      are there any examples of 'nice looking' cont. diff. dynamic functions which have a small number of such pairs which look cool when they are animated (i.e. time lapse). I cant think of anything?

  • @angelaruiz5599
    @angelaruiz5599 2 года назад

    Hi! Can you recommend me some bibliography? c:

  • @charlesbrowne9590
    @charlesbrowne9590 3 года назад +1

    FYI: Antipodes is pronounced an-TIP-o-deez.

    • @DrTrefor
      @DrTrefor  3 года назад +1

      Haha thanks, I “know” that but also forget that every time:D