Brouwer's fixed point theorem

Brouwer's theorem: or why you can't stir a cup of tea. This fundamental theorem of topology, has some unusual consequences.
I want to give you a flavour of why it is true. I used the animation software manim written and maintained by Grant Sanderson from 3blue1brownk, under an MIT license.

Пікірлер: 53

  • @AalapShah12297
    @AalapShah122974 жыл бұрын

    I love it when people make intuitive explanations for theorems like these. True, it's not a rigorous proof, but it is more useful if you want to actually understand a concept and connect it to what you already know (like the intermediate value theorem in this case).

  • @peterhofer8998
    @peterhofer8998Ай бұрын

    That is a thorougly and very clear explanation. Thank you so much 🙂

  • @TGMResearch
    @TGMResearch4 жыл бұрын

    Now that's a different cup of tea. Kudos for my fellow country man Bertus Brouwer, and for your video. Love it.

  • @cycklist
    @cycklist5 жыл бұрын

    I've always loved this theorem ❤️

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    Yeah it's an interesting one!

  • @hrsmp

    @hrsmp

    3 жыл бұрын

    Banach fixed point theorem is better imo

  • @70ME3E
    @70ME3E3 жыл бұрын

    great job! I think it's a crime not to teach Maths concept like this in the first iteration. Only later can the formulas come.

  • @butterbutter
    @butterbutter4 ай бұрын

    you ate with the animation and explanation

  • @mathWKT
    @mathWKT4 жыл бұрын

    this is beautiful . thank you

  • @RazMathias
    @RazMathias Жыл бұрын

    Beautiful!

  • @c8adec
    @c8adec5 жыл бұрын

    Such a cool explanation, i love it!

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    Thanks!

  • @PS3benimeni
    @PS3benimeni4 жыл бұрын

    very well explained!

  • @jesusomarfrancofranco9742
    @jesusomarfrancofranco97422 жыл бұрын

    You have nice videos! How do you make your animations? They look very good

  • @pythonanimalia
    @pythonanimalia4 жыл бұрын

    Didn't understand it on text. Now i do. Thanks.

  • @julianocamargo6674
    @julianocamargo66743 жыл бұрын

    Wonderful explanation but I think in the tea cup example the fixed point is only valid for a given time. Every time will have some fixed point. The fixed point will appear to be moving, like the eye of the hurricane.

  • @ultimateo621
    @ultimateo6215 жыл бұрын

    This is a great video

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    Cheers!

  • @lakkshsharma6420
    @lakkshsharma64204 жыл бұрын

    Nice explanation

  • @aryankumarprasad1574
    @aryankumarprasad15743 жыл бұрын

    Brilliant

  • @gaurangagarwal3243
    @gaurangagarwal32434 жыл бұрын

    Just wow for this .

  • @Grentanksmog
    @Grentanksmog4 жыл бұрын

    Nice explanation! I am making rn the video about this theorem with manim too, but I am going to present the proof with the help of homology functor

  • @Onoesmahpie
    @Onoesmahpie Жыл бұрын

    I enjoyed the vector animations, they were very well done. However, I'm worried the assumption you make at 3:45-4:15 is incorrect. In particular, there is no guarantee that we may trace a continuous path of vertical vectors (or, transform continuously between the vertical vectors) in the manner you show, for arbitrary functions satisfying the BFT hypotheses. Indeed, any curve we trace from the 'leftward mapping' to the 'rightward mapping' vectors must contain a point which maps vertically, as the IVT immediately shows. But, there is no guarantee that we can trace a (continuous) curve, comprised of such points, with endpoints mapping in opposite directions; it is *not* in general true that to any point 'x' which maps vertically, a sequence of points that map vertically and that converge to 'x' can be found on subsequent curves connecting the left and right pointing vectors. In other words, there is no guarantee that, e.g., an initial curve of downward mapping points will not suddenly terminate in your construction.

  • @matts8249
    @matts8249 Жыл бұрын

    The fixed point in a circle reminds me of a hurricane eye. I wonder if there is a correlation?

  • @kadblue2000
    @kadblue20005 жыл бұрын

    This is a neat theorem

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    I find in interesting how intuitive it is in 2d (maps) but not in 3d (tea)

  • @faizanhilal4705
    @faizanhilal47055 жыл бұрын

    great vedio.keep it up btw,,which software did you used

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    Thanks! The software is manim, same as in 3blue1brown

  • @Patapom3
    @Patapom35 жыл бұрын

    Great demonstration!

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    Thanks!

  • @hyperduality2838

    @hyperduality2838

    3 жыл бұрын

    @@stemcell7200 Fixed points = duality! Photons, light, null rays or the electro-magnetic field = fixed points! Y = X. ct = x where c = 1 implies t = x. Y is equal to X, Y is the same, similar, equivalent or dual to X. Y is dual to X! Photons or light are dual, electro is dual to magnetic! All mathematical equations are dual! f(x) = ct = x, Brouwer's fixed point theorem proves that null rays or light are dual! Duality creates reality! The velocity of light is the same and equal for all observers hence fixed points conform to a principle of objective democracy. "Always two there are" -- Yoda.

  • @hyperduality2838

    @hyperduality2838

    3 жыл бұрын

    @@stemcell7200 Duality implies the following:- What is dual to entropy? Syntropy (prediction) is dual to increasing entropy -- the 4th law of thermodynamics! "Through imagination and reason we turn experience into foresight (prediction)" -- Spinoza describing syntropy. Teleological physics (syntropy) is dual to non-teleological physics (entropy). Randomness (entropy) is dual to order (syntropy, predictability). Great video!

  • @besmafadlia1498
    @besmafadlia14984 жыл бұрын

    Thanks

  • @karolinadrabent2088
    @karolinadrabent20882 жыл бұрын

    You got me lost at the moment you drew that line(orange and blue) on a circle. Why is it that curvy? Is it random? and also what does this line represent?

  • @malicksoumare370
    @malicksoumare3704 жыл бұрын

    I love topology

  • @besmafadlia1498

    @besmafadlia1498

    4 жыл бұрын

    I hate it😕

  • @jackdigilov4949
    @jackdigilov49492 жыл бұрын

    Great video, but I don’t understand why a vector that goes after the one pointing up can’t just point down. In 1D I when a line is tilted right the next one can just tilt left to the previous point.

  • @alejandroesquivelcordero6970

    @alejandroesquivelcordero6970

    2 жыл бұрын

    They do that but at the fixed point, that's why the surface must be continous so the transition from up to down is gradual

  • @david21686
    @david216865 жыл бұрын

    What software do you use to make these videos?

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    This video was done with something called manim

  • @nadiyayasmeen3928

    @nadiyayasmeen3928

    3 жыл бұрын

    @@stemcell7200 3b1b's library?

  • @mjmj6041
    @mjmj60413 жыл бұрын

    Stem cell ?

  • @rockforlight
    @rockforlight2 жыл бұрын

    What are the prerequisites for this video? I don't understand. “Points that stay the same after some transformation…” how can a point stay the same after being transformed?

  • @Onoesmahpie

    @Onoesmahpie

    Жыл бұрын

    f(x)=x is the identity map, yet it is a transformation.

  • @alejandroesquivelcordero6970
    @alejandroesquivelcordero69702 жыл бұрын

    In another video a guy said that shaking the coffee would violate the theorem, is that true? why?

  • @Onoesmahpie

    @Onoesmahpie

    Жыл бұрын

    Stirring can be approximated as a continuous transformation (of coffee molecules' positions) from the original volume into itself, at least if it is stirred very gently. Shaking is neither continuous nor volume preserving.

  • @PedroTricking
    @PedroTricking4 жыл бұрын

    0:39 That's a weird analogy, mixing feels like a pretty discontinuous map. In fact for point particles the probability that that happens is zero but eh, now I'm being overly picky tbh. I think Brouwer did think about this from observing that one point in the coffee (as ripples pass around) is always perfectly still? Something like that. I really liekd the video. Subbed!

  • @hyperduality2838
    @hyperduality28383 жыл бұрын

    Photons, light, null rays or the electro-magnetic field = fixed points! Y = X. ct = x where c = 1 implies t = x. Y is equal to X, Y is the same, similar, equivalent or dual to X. Y is dual to X! Photons or light are dual, electro is dual to magnetic! All mathematical equations are dual! f(x) = ct = x, Brouwer's fixed point theorem proves that null rays or light are dual! Duality creates reality! The velocity of light is the same and equal for all observers hence fixed points conform to a principle of objective democracy. "Always two there are" -- Yoda.

  • @ChristianConspirator
    @ChristianConspirator11 ай бұрын

    Pretty sure the coffee doesn't work though

  • @oldcowbb

    @oldcowbb

    19 күн бұрын

    how so

  • @ChristianConspirator

    @ChristianConspirator

    19 күн бұрын

    Because it's a three dimensional fluid with independent molecules that have no reason to stay where they are. The theorem works in three dimensions for sure, just not with something like coffee.

  • @eansengchang6840
    @eansengchang68405 жыл бұрын

    first

  • @stemcell7200

    @stemcell7200

    5 жыл бұрын

    I was first