Abide By Reason
Abide By Reason
  • 122
  • 595 795
The Mathematician's Measure
Intro to Measure Theory covering Sigma Algebras, Measures, Measurable Spaces, and Measure Spaces.
Related Videos:
The Connection Between Measure Theory, Set Theory, and Banach-Tarski:
ua-cam.com/video/SvfATfaL2qc/v-deo.html
Banach-Tarski Paradox Explained: ua-cam.com/video/R--iM5KbDEg/v-deo.html
Intro to Topology: ua-cam.com/video/B-Y3-XpAdMU/v-deo.html
Intro to Group Theory: ua-cam.com/video/5qmsqwxrSLc/v-deo.html
References:
Terence Tao, "An Introduction to Measure Theory"
Gerald B. Folland, "Real Analysis: Modern Techniques and Their Applications"
Animations created using Manim: www.manim.community/
Переглядів: 7 255

Відео

The Axiom Behind Math's Weirdest Paradox
Переглядів 49 тис.Місяць тому
Deep in the foundations of mathematics lies a simple axiom that produces one of the strangest paradoxes in history. And a direct consequence of this axiom is that not only are there mathematical sets with zero volume but there are also sets for which it is impossible to assign a meaningful sense of volume. Can all mathematical sets be assigned a meaningful volume? In this video, I will show you...
Math's Weirdest Paradox
Переглядів 7 тис.Місяць тому
Take a sphere and disassemble it into finely many pieces. The Banach-Tarski Paradox guarantees, by means of a mathematical proof, that you can reassemble the pieces into 2 copies of the exact same, original sphere. How is this possible? Correction: 1:05 Sorry, should be (0, 2pi). See pinned comment for explanation Related Videos: Intro to Topology: ua-cam.com/video/B-Y3-XpAdMU/v-deo.html Intro ...
What is Symmetry? | Intro to Group Theory
Переглядів 1,5 тис.2 місяці тому
What exactly is Symmetry? The experience many of us have in school is that Mathematics is only about numbers. But here, I want to give you a glimpse into a beautiful Mathematical subject that places numbers on the backburner, and instead takes symmetries and patterns as its main objects of study. This subject is known by Mathematicians as Group Theory and has applications in areas as wide rangi...
Topological Spaces Visually Explained
Переглядів 5 тис.2 місяці тому
Topology begins with the simple notion of an open set living in a Topological Space and beautifully generalizes to describing shapes in various dimensions. So what exactly is a Topological Space? Music by Vincent Rubinetti Download the music on Bandcamp: vincerubinetti.bandcamp.com/album/the-music-of-3blue1brown Stream the music on Spotify: open.spotify.com/playlist/3zNK20qC96mVSww60lVi1k
Chaos: The Mathematics of the Butterfly Effect
Переглядів 1,9 тис.2 місяці тому
Chaos: The Mathematics of the Butterfly Effect
Everything You Need to Know About the Double Pendulum #SoMEpi
Переглядів 4,2 тис.5 місяців тому
Everything You Need to Know About the Double Pendulum #SoMEpi
Animations Compilation | Multibrot, Mandelbrot, and more
Переглядів 3865 місяців тому
Animations Compilation | Multibrot, Mandelbrot, and more
The Question Physicists Can't Agree On
Переглядів 8646 місяців тому
The Question Physicists Can't Agree On
Solar System Mass Comparison | How Massive are Objects in Space?
Переглядів 6416 місяців тому
Solar System Mass Comparison | How Massive are Objects in Space?
How Big is a Particle | Size Comparison of the Universe | Man to Planck Length
Переглядів 4996 місяців тому
How Big is a Particle | Size Comparison of the Universe | Man to Planck Length
The Challenge of Nietzsche's Demon
Переглядів 5997 місяців тому
The Challenge of Nietzsche's Demon
Laplace's Demon Explained in 4 Minutes | Philosophy of Determinism
Переглядів 6 тис.7 місяців тому
Laplace's Demon Explained in 4 Minutes | Philosophy of Determinism
2 Simple Solutions to Maxwell's Demon | Thermodynamics
Переглядів 4,7 тис.7 місяців тому
2 Simple Solutions to Maxwell's Demon | Thermodynamics
How to Make a Mandelbrot Zoom, explained in 7 minutes
Переглядів 1,7 тис.8 місяців тому
How to Make a Mandelbrot Zoom, explained in 7 minutes
Multibrot Zoom vs Mandelbrot Zoom
Переглядів 8198 місяців тому
Multibrot Zoom vs Mandelbrot Zoom
Mandelbrot's Weird Cousin
Переглядів 1,4 тис.9 місяців тому
Mandelbrot's Weird Cousin
A Story Version of Bell's Theorem
Переглядів 8739 місяців тому
A Story Version of Bell's Theorem
Bell's Theorem Clearly Explained | Quantum Theory
Переглядів 4,2 тис.9 місяців тому
Bell's Theorem Clearly Explained | Quantum Theory
The Quantum Triviality Problem Schrödinger and Heisenberg Couldn't Solve
Переглядів 97910 місяців тому
The Quantum Triviality Problem Schrödinger and Heisenberg Couldn't Solve
How Schrödinger Improved the Heisenberg Uncertainty Principle | Quantum Theory
Переглядів 86410 місяців тому
How Schrödinger Improved the Heisenberg Uncertainty Principle | Quantum Theory
Deriving the Heisenberg Uncertainty Principle
Переглядів 49510 місяців тому
Deriving the Heisenberg Uncertainty Principle
What an Inertial Frame of Reference REALLY is and How it Relates to Newton's First Law of Motion
Переглядів 98311 місяців тому
What an Inertial Frame of Reference REALLY is and How it Relates to Newton's First Law of Motion
The Kronecker Delta Clearly Explained in ALL its Forms | Episode 3, Tensors in Physics
Переглядів 1,1 тис.11 місяців тому
The Kronecker Delta Clearly Explained in ALL its Forms | Episode 3, Tensors in Physics
To Master Einstein Notation, Start Here! | Episode 2, Tensors in Physics
Переглядів 84311 місяців тому
To Master Einstein Notation, Start Here! | Episode 2, Tensors in Physics
Basis and Dimension: The FOUNDATION of Vector Spaces | Episode 6, Linear Algebra
Переглядів 32411 місяців тому
Basis and Dimension: The FOUNDATION of Vector Spaces | Episode 6, Linear Algebra
Span of a Vector Space | Linear Combos | Episode 5, Linear Algebra
Переглядів 22911 місяців тому
Span of a Vector Space | Linear Combos | Episode 5, Linear Algebra
Confused by Tensors? You WON'T be after this! | Episode 1, Tensors in Physics
Переглядів 4,3 тис.11 місяців тому
Confused by Tensors? You WON'T be after this! | Episode 1, Tensors in Physics
The Mandelbrot Set, Finite Area but INFINITE Perimeter?!
Переглядів 1,2 тис.11 місяців тому
The Mandelbrot Set, Finite Area but INFINITE Perimeter?!
A Crash Course on how Quantum Operators work when using Bra Ket Notation | Quantum Theory
Переглядів 966Рік тому
A Crash Course on how Quantum Operators work when using Bra Ket Notation | Quantum Theory

КОМЕНТАРІ

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

    Quantum Mechanics has become the new String Theory! What a fall from grace

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

    z^2 + c^p Easy

  • @Axenvyy
    @Axenvyy 3 дні тому

    Ended too quickly

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

    So you mean to say that there's at least one subset in the deconstruction of the sphere, that does not belong to the sigma-algebra?

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

    mu(emptySet) = 0 is so Euclidean....

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

    if you have a finite list you can't apply that diagonal theory: 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 Ah, now I see why the number of real numbers is actually 2^[aleph null]... The list of natural numbers is n long and the list of real numbers is 2^n long...

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

    Can you do a comparison video showing how long it takes for a double pendulum to come to a complete stop against the time it takes for a standard pendulum simulating the same mass to come to a complete stop, if both pendulums begin in the same initial position? I can't find any good examples of this.

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

    Beautiful, deserves 100x the current number of views

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

    Choice is not solely responsible for 0 volume sets.

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

    Euclidean Geometry is a type of game (a thought experiment) used for the purposes of showing relationships between mathematical operations. Specifically, during the time of its conception, it was used to visualize how algebraic operations can be expressed as relationships. The experiment starts by presenting the operator (typically, that means us) with some information about the game and a set of rules that we must obey as we interact with the experiment. You may have heard of "tangents", "angles", "intersecting lines", and all that familiar stuff taught to us in school. But, what it amounts to telling us is that a "rationally defined structure" (a geometric object) "is scalable". And, by scaling the objects we create up or down, we can prove that the object is an expression of mathematical operations. Well, specifically that it is an expression of "algebraic" operations. (Remember this.) In other words, so long as we can define it as a shape, we can prove it with mathematic operations. However, what our ancestors had not yet realized, even though they, themselves, stipulated within the rules of the experiment, they were very close to being able to define modern mathematics, such as calculus and derivitives, waves, oscillations. There were SO CLOSE! Even thousands of years ago. There were ALMOST there! But, here's what ultimately was overlooked during all that time, and only recently rationalized just 100 years ago by a man named Maxwell Planck while trying to quantize General Relativity. In Geometry, any shape we complete is an object we could express in mathematics. Any shape composed purely of finite expressions were accessible to our ancestors in the form of algebraic equations (or, expressionism). These objects are purely described today as polygons. But, in geometry, we are also told that we can carry out continuous operations, as well. It took people thousands of years to come up with continuous operations that, in the span of time since the game of geometry was composed and the activity of expressing mathematics had finally begun to describe curvatures, we've forgotten the meaning of the "operator". While the ancients understood operations as putting two quantities together, or dividing quantities in halve, they also understood the prospect of square relationships. All of these things they could easily describe as operations. And, in terms of what is doing this operation, Maxwell hit upon the rationality of an "observer" as a component of his theory of quantization. The ancients only describe quantities, and how these quantities relate to one another. Planck realized, without being able to express it clearly, that there is another component of geometry not yet rationalized, which was the "operator". Now, whether you define the operator as a conscious, observant being, or as an intersecting plane of reality crossing through the experiment, it doesn't matter what you describe this operator as. What you need in order to carry out any operation is an objective reference. In 2D space, we may commonly call this a 3D environment looking into a 2D environment. Physicists will say that to intersect a 3D environment, you either need a deity, an axis of time, or you need to add more expressionism (create new dimensions tied to specific relationships). All of these aspects are one and the same. The operator, the "observer" is an objective overview of the experiment. For example, in order to draw a circle, though we can't accurately describe this with algebra, we can do this with a continuous operation making use of algebraic expressions. And, that's an allowable operation in geometry. Anything that is continuous is expressed as a repeating series of algebraic expressions. This includes trying to define a circle by creating an infinitely small triangle to measure it's circumference, or creating a line whose length continuous without end (an infinitely expanding line). In geometry, we are allowed to use TIME as an operator. Whether you describe time as an instantaneous step or as a step carried out smoothly from start to end, the final result is the completion of an operation. The operator, the observer, isn't you, or a deity. It's time. Time is the objective operator in geometry. And, without time, we cannot define objects with infinite series operations. Without time, we cannot describe a circle. Without time, we cannot define volume. And now we know that a point represents a place without time. (But, don't forget, we're only talking about geometric relationships. This was a game about thinking of relationships. This is intrinsically not a model of the universe. But, today, people are starting to realize that this sense of rationality is tied to understanding our universe. Without even realizing it, the ancients already gave us the Unified Theory of Everything. We've had it all along.)

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

    Nice video! I really like Your explanation! I just did not understand one point on 8:20 when You explained Dirac Measure. How S can contain x? If M is a sigma algebra and = P(X), it is a set of subsets of X. And S being a subset of M is subset of subsets of X, so set of sets of elements of X. And x is an element of X. So how x can be an element of S, if it only can be an element of an element of S? Maybe I’ve missed something, I would appreciate an explanation, thank You! ❤

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

      I think he means x is contained in one of the sets that make up S, but writing that would make the notation suck haha.

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

      Thank you! I could have explained this better. S would just be any of one of the sets in M. So S is a subset of X. Then depending on which of these subsets you pick, x would be either an element of S or not. If you look at the 08:50 mark again where I give the example applied to the set {1,2,3} it should make more sense. Hope that helps!

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

      ⁠@@AbideByReasonThank You so much for clarification! So basically S simply meant to be an element of M instead of subset. Just small notation mistake. Makes sense. Thank You again for Your response and an excellent video ❤

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

      @ yes. You are welcome!

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

    Normal algebra: cannot even measure Sigma algebra: hold my beer

  • @eliaslam-z3f
    @eliaslam-z3f 8 днів тому

    wow im a statistics freshman in Chinese college,your video truly help me understand what *space* means !!love from China.

  • @QVark-d1o
    @QVark-d1o 9 днів тому

    Can you continue the series to get to lebesgue integrals and proofs of dominated convergence theorem? Would be sick with manim

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

    Incredible introduction to Measure Theory! Giving out examples does wonders for the understanding of the theory. Can't wait to have more quick explainers on this topic. Also, why is it called "sigma" and "algebra"? Is the name arbitrary or is there some historical background?

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

      Thank you! Glad you enjoyed the video. I believe there is some connection between the use of the word sigma and the German word "summe", which means "sum" in English and here refers to the unions of sets being "sums" of sets. I am not sure though.

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

      What the creator said holds true, but it is also, afaik, related to this concept of "covering" big things with smaller things that, in union, cover it again. It's called sigma-compactness, and likewise, sigma-finiteness. Finiteness of a measure means given some set X and a sigma algebra over X (so some algebra of sets in P(X)), X has finite measure. sigma-finiteness is a relaxation, where X only needs to be able to be covered by a countable union of finite measure sets. Take the real numbers: with the measure that assigns to [0,x] the measure (x-0), they are not finite, but sigma-finite.

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

    7:05 Better to say more accurately 'pairwise disjoint'.

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

    luv u

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

    Fantastic video! Thanks again for the positively-biased visuals (black-on-white) 🤗

  • @john-paulgies4313
    @john-paulgies4313 10 днів тому

    Clicked on this video bc thumbnail stutters when you scroll on your phone.

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

    These are good videos but they always seem like the end way too early. My advice is to wrap everything up by applying what you have said to what you have shown in the intro. I have no idea what a sigma algebra has to do with the volume of a cube

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

      I really don't mind the 'open-end' but I can see how the videos would benefit from it. 👍

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

    Edit: Sorry, I missed the word 'disjoint'. My bad. Good explanation! It does not seem to me that the Dirac measure is a measure on the power set of X. One of the properties that you give for a measure is that the measure of the union of a collection of subsets is the sum of the measures of the sets. Consider the set X = {1,2,3}, and the Dirac measure where the fixed x=1. Now the measure of {1,2} is 1 and the measure of {1,3} is 1. Their union is {1,2,3}, which should be measure 2 by the above property, but is actually 1 by the definition of the Dirac measure.

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

    I see you are still learning. But keep it up. The quality is quite high in this video.

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

    Is this still manim? Looks good

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

    You should make a followup where you explain how this helps us solve the problem with the cube!

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

    GREAAAT VIDEO KEEP IT UP

  • @QVark-d1o
    @QVark-d1o 10 днів тому

    Great explanation

  • @VholyIQ
    @VholyIQ 11 днів тому

    I don't see the connection of any of the algebra with the cube you show at the beginning

    • @JonSebastianF
      @JonSebastianF 11 днів тому

      Yeah, I have to agree. I kinda don't understand where we started, where we ended, and why we where going there? ':-|

    • @williamgardner1762
      @williamgardner1762 11 днів тому

      each v sub n is the volume of a smaller cube in the larger cube. Together adding up to the volume of the bigger cube

    • @icosagram
      @icosagram 11 днів тому

      ​@@JonSebastianFhe literally said in plain English that you're adding up the volumes of small cubes that combine to form a bigger cube, it's a simple concept

    • @icosagram
      @icosagram 11 днів тому

      if you understand how addition works you should have no trouble understanding the beginning of the video

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

      @icosagram and why we need measure?

  • @ganglians
    @ganglians 11 днів тому

    Infinite chocolate bonbon hack?

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

    An absolute masterpiece

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

    Part regarding how finite subsets would make it work feels omitted. Worth making a follow up? I would approach it from non-measurability point of view, probably by looking at Vitali set and extending

  • @Max-md2ys
    @Max-md2ys 13 днів тому

    ill watch your other videos this was great

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

    The thumbnail of this video dances in really cool way if you scroll it back and forth. Because the details are really minute and are messing with the rastorisation.

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

    Nice visuals! I've always found Measure Theory to be counterintuitive.

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

    This thumbnail is so trippy when i was scrolling it was moving

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

    At the time 1:15 you say that the map (0,2pi) --> R^2 x |-> (cos(x), sin(x)) « Will give you the whole circle back », how does that include the point (1,0) since 0 and 2pi are not to be mapped?

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

    This playlist has been so helpful... do you plan on making more? 🥹

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

      Yes, I do hope to return to this playlist at some point :)

  • @Logic101-PhiUoa
    @Logic101-PhiUoa 16 днів тому

    It really is a nonsensical axiom and it should not have been accepted (even if the resulting theory turns out to be consistent).

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

    Does this mean, you can reach any point from any other point?

  • @simonwillover4175
    @simonwillover4175 17 днів тому

    So, which part of the sphere is non-measurable? And why? Like, I can totally cut up an orange and real life and I can definitely always measure every piece I cut out.

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

      Yes you can, but we are cutting the sphere into highly nontrivial impossible "pieces" that you can't make in real life, think of it like disassembling a sphere into fogs of points.

  • @IsZomg
    @IsZomg 17 днів тому

    A surface is not an infinite collection of points. A line is not an infinite collection of points. You can see this because a surface has an area but the area of a point is zero. Zero times infinity is still just zero.

  • @Estudo-l8v
    @Estudo-l8v 17 днів тому

    I'm having trouble understanding the second criterion. Could you clarify what you mean by "orbit"?

  • @baltazarcortez7328
    @baltazarcortez7328 18 днів тому

    Did he really need a million dollars? He’s right next to Pythagoras in history. Let that sink in.

  • @thomassynths
    @thomassynths 18 днів тому

    And yet people still accept ZFC. So sad that people are obsessed with an axiom set that induces paradoxical results.

  • @markvincentordiz
    @markvincentordiz 19 днів тому

    Lottery

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

    Great video and awesome animations! Subscribed!

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

    Maybe pointed out already but there is a y missing in the formula of the thumbnail

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

    Set theory is beautiful 🚪

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

    Mandelbrot powers

  • @TravisWadman
    @TravisWadman 21 день тому

    The paradox is clearly the result of poor axioms. This is inevitable when mathematicians and scientists stay too far removed from the real world (see the almost complete stalling of physics in the last 50 years)