Measure Theory 1 | Sigma Algebras

Поділитися
Вставка
  • Опубліковано 30 тра 2024
  • Find more here: tbsom.de/s/mt
    Support the channel on Steady: steadyhq.com/en/brightsideofm...
    Or support me via PayPal: paypal.me/brightmaths
    Or via Ko-fi: ko-fi.com/thebrightsideofmath...
    Or via Patreon: / bsom
    Or join the channel here: / @brightsideofmaths
    Or via other methods: thebrightsideofmathematics.co...
    Watch the whole video series about Measure Theory and download PDF versions and quizzes: tbsom.de/s/mt
    There is also a dark mode version of this video: • Measure Theory 1 | Sig...
    There is also a bright mode version of this video: • Measure Theory 1 | Sig...
    To find the UA-cam-Playlist, click here for the bright version: • Measure Theory
    And click here for the dark version of the playlist: • Measure Theory [dark v...
    Thanks to all supporters! They are mentioned in the credits of the video :)
    And a big thank you for everyone who contributes to the subtitles here: github.com/thebrightsideofmat...
    This is my video series about Measure Theory. I hope that it will help everyone who wants to learn about it. We discuss sigma algebra, measures, and integration. For any questions, please leave a comment or come to the community forum of the Bright Side of Mathematics: tbsom.de/s/community
    #MeasureTheory
    #Analysis
    #Integral
    #Calculus
    #Measures
    #Mathematics
    #Probability
    This is part 1 of 22 videos.
    00:00 Introduction
    00:58 Measuring lengths
    03:00 Example power set
    03:51 Definition sigma-algebra
    10:20 Example for sigma-algebras
    (This explanation fits to lectures for students in their first year of study: Mathematics for physicists, Mathematics for the natural science, Mathematics for engineers and so on)
    The Bright Side of Mathematics has whole video courses about different topics and you can find them here tbsom.de/s/start

КОМЕНТАРІ • 341

  • @brightsideofmaths
    @brightsideofmaths  3 роки тому +45

    Please do the quiz to check if you have understood the topic in this video: thebrightsideofmathematics.com/measure_theory/overview/
    There is also a dark version of this video! ua-cam.com/video/xZ69KEg7ccU/v-deo.html

  • @lehoangsonsg7436
    @lehoangsonsg7436 4 роки тому +265

    What you are doing is amazing. I hope you can produce more content in English for non-German speakers.

    • @putinsgaytwin4272
      @putinsgaytwin4272 Рік тому +9

      I honestly feel like learning German to get access to mroe videos

  • @zhaoyuzhu254
    @zhaoyuzhu254 3 роки тому +128

    I literately spent 12 mins on UA-cam and understand the whole thing, while I spent 2 hours on my professor's recording and still have no idea what he is talking about. :)

  • @roger9822
    @roger9822 4 роки тому +77

    Amazing mini-course series, it helps a lot to get through probability theory. Although your videos are short and illustrative, you never lose mathematical rigidity. Thank you so much!

  • @Artonox
    @Artonox 3 роки тому +63

    THANK YOU GOD FOR BRINGING YOU INTO THIS WORLD.
    I finally found someone who can actually teach measure theory online! Ive always had this on my mind (my worst subject in mathematics, because i didnt understand my lecturer), and finally, nearly 8 years later, you made this beautiful video series for me to revisit and you explain very well.
    I did get a first class in the end, but I really was interested in measure theory and ashamed that i wasn't able to do this well. This serves as a second chance for me!

    • @NilodeRoock
      @NilodeRoock Рік тому +1

      Say things like "THANK YOU GOD FOR BRINGING YOU INTO THIS WORLD." to your parents, spouse or siblings, if you have to. Go and support the content provider financially if you want to say thanks. Just my 0,01c.

  • @nreceda
    @nreceda 3 роки тому +7

    Just found your channel. I am taking a course this semester on Stochastic Processes and as far as I can tell, your explanations are much easier to understand so thank you thank you thank you thank you.

  • @thedan2
    @thedan2 4 роки тому +3

    Amazing video! Amazing series! Please keep it coming! Measure theory has never been easier to understand. Thank you!!

  • @cardinalityofaset4992
    @cardinalityofaset4992 Рік тому +14

    Just a minor technical detail: You can slightly generalize the definition of sigma algebra by excluding the empty set from the first condition. Its presence in the sigma algebra immidiately follows from the fact that X must be measurable and that any complement of a measurable set is also measurable. (X^c = X \ X = 0 => 0 is measurable). Awesome list of vidoes, it´s intuitive and entertaining to watch :)

    • @johnnyq4260
      @johnnyq4260 6 місяців тому

      I bet when he wrote that he was thinking about topology.

  • @igorkuivjogifernandes3012
    @igorkuivjogifernandes3012 Рік тому +3

    This is a nice video! I took measure theory in undergrad and I loved the subject, although it was so abstract. Your videos definetely will help this make make sense to many people!

  • @gustafa2170
    @gustafa2170 3 роки тому +49

    I'll come back to this video when I'm stronger. Need more training.

  • @Thaizir
    @Thaizir 3 роки тому

    Thanks for taking the time to produce this content, it brought me back memories when I was studying this course.

  • @afrolichesmain777
    @afrolichesmain777 4 роки тому +3

    Wow great explanation for an introduction to sigma algebra. It’s my first time looking at this material. Looking forward to the rest of your videos on Measure theory!

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

    I have no idea how youre making this subject so approachable for someone who took real analysis and abstract algebra 10+ years ago, but thank you! This is great!

  • @brittnihall1688
    @brittnihall1688 3 роки тому +1

    These videos are amazing and incredibly helpful!! Thank you SO much!!

  • @mercymuenimwangi9064
    @mercymuenimwangi9064 3 роки тому +20

    It reached a point I just had to search measure theory for dummies. This is the best tutorial. I immediately subscribed and turned on notifications. Thank you so much

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

    Your channel is amazing! Thanks for the videos, they are very helpful to me since I will take a measure theory course next semester. New subscriber 😀.

  • @RenyxGhoul
    @RenyxGhoul 2 роки тому

    Even more succinct and concise than my lectures but I understand it a lot more. Wow. Thank you!

  • @sejuprajapati2005
    @sejuprajapati2005 3 роки тому

    Thank you so much for all videos. Your teaching skill is amazing.

  • @lieignatius9009
    @lieignatius9009 4 роки тому +2

    This video helped me a lot, thank you!

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

    Thanks man you saved me! Studying Bayesian statistics now and couldn't wrap my head around the whole measure stuff. Thank you very much again!

  • @rmbennet
    @rmbennet 2 роки тому +1

    I came here a year and a half ago I couldn’t understand any of it after the first one or two videos. it’s remarkably more intuitive after abstract algebra and real analysis. It’s actually really interesting.

  • @perkelele
    @perkelele 3 роки тому +3

    Summary:
    A measure is a map of the generalized volume of the subsets of X.
    Power-set: set of all subsets of a set X. if X = {a,b} then P(X)={empty,X, {a}.{b}}
    Measurable Sets: We don't need to measure all the subsets we can form, only some of them. Can be the whole power-set, but is useful smaller. Useful because generalizing length in a meaningful way doesn't work for all sets, but only some sets.
    A is a Sigma Algebra: each element is a measurable set
    a) Empty set, and Full set are elements of A
    b) If a subset is measurable then so is its complement
    c) If every individual countable set is part of the sigma algebra, then the union of all these sets is also in the sigma Algebra
    To speak of an area of A we need for the sets that make it up to be measurable. So if you take all the individual sets (units) that make it up, you will get the whole.
    The smallest sigma algebra A = {emptyset, X} it validates all three rules.
    The largest sigma algebra A = P(X) because it contains all the subsets. In the best case scenario we can measure them all. But this is not the case so we are often between these two cases.

  • @daviddavini847
    @daviddavini847 2 роки тому

    This was incredibly helpful, thanks for the knowledge!

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

    This channel is amazing! So glad i found it! I subscribed of course

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

    Thanks; amazingly clear! I hope I'll be able to follow as easily when after a bit more development, you actually start do things with the ideas!

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

    Clearly explained, basic examples, very good

  • @marekbalcerzak5255
    @marekbalcerzak5255 2 роки тому

    I love to watch your videos to get notion about the subject before reading handbook. Great job !

  • @nathanbarnard7896
    @nathanbarnard7896 3 роки тому

    Just starting measure-therotic probability theory and these are great :)

  • @gulshanamna3796
    @gulshanamna3796 Рік тому +5

    You are the one who really can make students as well as teachers to understand measure theory in real meanings

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

    Absolutely clear explanation.

  • @DimiqBaba
    @DimiqBaba Місяць тому

    Thank you, straight after the lecture I watch your lectures.

  • @RAJ6118
    @RAJ6118 2 роки тому

    Beautiful insight of the topic

  • @wesolyfoton
    @wesolyfoton 2 роки тому

    Great explanation. Kudos!

  • @shreykabir
    @shreykabir 2 роки тому

    Thanks a lot... I was interested in measure theory and wanted to learn more about it... This video has helped a lot making it easier for a high school to understand...

  • @harshavajpayee7652
    @harshavajpayee7652 3 роки тому +7

    Now after watching this
    I can say that measure theory is measurable 😅
    Thanks for this wonderful video ❤️

  • @arefpourseyedi8087
    @arefpourseyedi8087 Рік тому

    The presentation was amazing. Thank you!

  • @pk_1320
    @pk_1320 3 роки тому

    Loved it, great video!

  • @rgoswami
    @rgoswami 3 роки тому

    Fantastic work!

  • @pointofview6679
    @pointofview6679 3 роки тому

    Thanks so much sir.This is amazing and helpful

  • @rafaelb.333
    @rafaelb.333 4 роки тому +1

    So glad I've found your channel. Which book did you use to study this?

  • @jasonlim8387
    @jasonlim8387 2 роки тому

    Thank you, it was a very helpful video!

  • @xPlosiveFobx
    @xPlosiveFobx 3 роки тому

    Thank you this helped so much!

  • @syamalchattopadhyay2893
    @syamalchattopadhyay2893 3 роки тому

    Excellent video lecture

  • @yujinlee8188
    @yujinlee8188 3 роки тому

    This is amazing!! Thank you so much 🙏

  • @sallanmega1
    @sallanmega1 2 роки тому

    This is actually a great explanation.
    Greetings from Spain!

  • @jiahao2709
    @jiahao2709 3 роки тому +1

    You are the professor of MIT level, you video lectures should be accepted, respected, appreciated and advocated!!!!!!!!

  • @sebon11
    @sebon11 3 роки тому

    Great video, man!

  • @monsijbiswal1104
    @monsijbiswal1104 3 роки тому

    Just awesome. Loved it!

  • @ramkumarr1725
    @ramkumarr1725 3 роки тому

    Very nicely explained. And truly innovative to link it up to the quiz. I will try to see the other videos but the first chapter was very good.

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому

      Thank you! I also want to do quizzes for the other parts if they are helpful.

    • @ramkumarr1725
      @ramkumarr1725 3 роки тому

      @@brightsideofmaths They are helpful for retention of material and application, IMHO. Math is not a spectator sport, IMHO.

  • @tropicalpajamas9986
    @tropicalpajamas9986 4 роки тому +3

    Very well explained with straightforward and intuitive examples.
    We neeeeeeeeed more of this exciting course in Mathematics.
    Keep it up~!!!

  • @richardgreenhough
    @richardgreenhough Рік тому +1

    Tried to understand this from a book and didn't. This video enabled me to grasp this easily. Great video!

  • @garrycotton7094
    @garrycotton7094 4 роки тому +8

    Great video :D. This reminds me of Group Theory in a way.
    Empty set, A in Fancy A is like the identity axiom.
    Complement of A in Fancy A is like the inverse axiom.
    Union of A_i in Fancy A is like the closure axiom.

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

      does this mean that a sigma-algebra is a group under union?

    • @deept3215
      @deept3215 4 роки тому +5

      @@axelperezmachado5008 It isn't because there is no inverse of union in the sigma algebra

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

      @@deept3215 True! Haven't realised

    • @Sciophile
      @Sciophile 4 роки тому +3

      @@axelperezmachado5008 It's an abelian group with respect to the operation of symmetric difference.

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

    Wow!! These explanations are really nice. Immediately subscribed 👌

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

      What books can we refer to understand more about Measure theory, distribution functions, chebyshev lemme etc?

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

      There are a lot of books. I really like Schilling's about measures and other stuff :)

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

      @@brightsideofmaths Danke gut !

  • @_Navani_
    @_Navani_ 4 роки тому +9

    This is such a helpful video! Now i feel like i can pass measure theory

    • @boyzrulethawld1
      @boyzrulethawld1 3 роки тому +2

      What course are u taking this for? 🤔

    • @cvdvdfhgh4946
      @cvdvdfhgh4946 3 роки тому

      @@boyzrulethawld1 id guess measure theory

  • @ssmhsasd
    @ssmhsasd 7 місяців тому

    Very intuitive explanation, thank you. Very helpful for Engineers 👍

    • @brightsideofmaths
      @brightsideofmaths  7 місяців тому

      Glad it was helpful! :) And thanks for the support!

  • @pedromazariegos6536
    @pedromazariegos6536 7 місяців тому

    I love your work man

    • @brightsideofmaths
      @brightsideofmaths  7 місяців тому

      Glad you enjoy it! And thanks for your support :)

  • @Zubair622
    @Zubair622 Місяць тому +1

    Extremely marvelous explanation really enjoyed it
    Please also upload lectures of complex analysis

  • @JJ-fb2lp
    @JJ-fb2lp 4 роки тому +67

    Jesus dude. I have not seen any one that can explain this topic better than you, which can mean two things. 1. They don't understand the topic 100% but is trying to teach someone. 2. They don't know how much to dumb it down for people who are just trying to understand this topic.

    • @NewCalculus
      @NewCalculus 4 роки тому +3

      You've never understood it because nonsense cannot be understood, only believed.

  • @psytno
    @psytno 3 роки тому

    thank you really I enjoy these topics

  • @Wynell
    @Wynell 6 місяців тому

    Thank you so much here! I have an exam in a few days and you're literally saving me :)

  • @rivology8423
    @rivology8423 2 роки тому

    Love you’re videos

  • @lyubomir.andreev
    @lyubomir.andreev 4 роки тому

    Great video!

  • @babumaths8066
    @babumaths8066 Рік тому

    Very useful. Thank you sir.

  • @idontthinkso5966
    @idontthinkso5966 Рік тому

    My goodness, you really do have a video in everything I'm looking for.

  • @TDRT23
    @TDRT23 8 місяців тому

    THIS VIDEO IS AMAZING!!

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

    good job mate thanks a lot, subscribed

  • @shraddha5588
    @shraddha5588 2 роки тому

    Thank you ! its such a good explanation.

  • @lexluthor6975
    @lexluthor6975 3 роки тому

    Very insightful explanations. Some people are born lucky!

  • @newtonxmeter6189
    @newtonxmeter6189 2 роки тому

    The moment I realised this dude is giving a brief explanation on Measure Theory, I subscribed immediately.

  • @JuanRodriguez-tr6st
    @JuanRodriguez-tr6st 3 роки тому

    You are one of the best teachers I’ve had

    • @JuanRodriguez-tr6st
      @JuanRodriguez-tr6st 3 роки тому

      Came here for functional analysis, stayed for measure theory

  • @mikiti6870
    @mikiti6870 7 місяців тому

    Thank you, really great work :)

  • @mobilekaki8402
    @mobilekaki8402 4 роки тому +6

    Thank you so much. now finally i can understand it.

  • @DeadPool-jt1ci
    @DeadPool-jt1ci 4 роки тому

    what kinda of maths are prerequisites for this ? i'd say i'm fairly decent in calc 1,2,3 / differential equations / linear algebra / prob /stats ,and i ve also completed a real analysis course (first 7 chapters of rudin's principles of mathematical analysis)

  • @user-lx4wr8rt4s
    @user-lx4wr8rt4s 3 роки тому

    My man, you kinda sound like Mimir from God of War. Loving it!

  • @jotajota278
    @jotajota278 3 роки тому

    Extremely clear and nice. Thank you so much! New subscriber here.

  • @chanderlerbing6347
    @chanderlerbing6347 2 роки тому +1

    Hi, thank you so much for posting this series! It helps me a lot with my analysis course! Also I have a question here: since the power set of a set X is always sigma-algebra, does that mean any subset which belongs to the power set is measurable with regard to the power set?

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому +1

      Thank you very much for the question! You are completely correct :)

  • @davidshechtman4746
    @davidshechtman4746 3 роки тому

    Answer me this. Cantors diagonal argument requires a square matrix to be certain that every entry is covered. The matrix (list, which ever. I use the word in a general sense) he proposes is based on permutative recombination. So for the universe of {a, b, c} I create a list of permutations abc, bca, cab, etc. Ordered in the manner of 3 columns and 6 rows. Iteration of one additional element, d, to the universe in consideration {a, b, c, d} will now produce a list with 4 columns and a page and a half of rows. The initial Alelph null of basic infinity we are guaranteed by Zermelo is won by Iteration. Clearly construction of a square matrix based on permutative recombination is impossible. How then, pray tell, does it magically occur for Cantor?

  • @abdulghanialmasri5550
    @abdulghanialmasri5550 2 роки тому

    Man, you are a great teacher 👍

  • @Cowux
    @Cowux 2 роки тому

    Best measure theory video on YT!!!!

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

    Nice video!

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

    Hello! Which recording software and writing software did you use for these? Love your channel by the way!

  • @albert.guedes
    @albert.guedes 4 роки тому

    I would like to know what this whiteboard app is. Its look very clean and simple.

  • @Anteater23
    @Anteater23 3 роки тому +2

    Would you ever consider making a maths series on the subject of topology? Your videos are brilliant!

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +1

      Thanks! I want to do that, yes :)

    • @Anteater23
      @Anteater23 3 роки тому

      The Bright Side Of Mathematics :) topological spaces just seem harder to visualise than metric spaces for me. Metric spaces felt like a very natural concept.

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому

      @@Anteater23 Topological spaces are also very natural. Often the concrete distances between points are not import but just the knowing which one is near or far.

  • @YitzharVered
    @YitzharVered 3 роки тому

    I went through this crap in introduction to probability and was totally lost. Thank you for explaining.

  • @mohamedamin491
    @mohamedamin491 Рік тому

    Thank you very much.

  • @Raibows1226
    @Raibows1226 6 місяців тому

    Thank you 🙏🙏🙏🙏 I finally understood

  • @lidiias5976
    @lidiias5976 Рік тому

    Thank you!

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

    Thanks! I have one question regarding the bullet (c). Do subsets A_i have to be mutually exclusive, i.e. A_i intersection A_j = empty set? You draw them like that but you don't mention that this condition should hold for them.

    • @brightsideofmaths
      @brightsideofmaths  4 роки тому +2

      No, not at all. The intersection does not have to be empty in condition (c). My picture was just a reminder why an infinite union is interesting in a measuring process.

  • @lishenhe3801
    @lishenhe3801 2 роки тому

    Awesome videos

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

    Welches Programm nutzt du?
    Which programme he does use?

  • @uorya
    @uorya 9 місяців тому

    I have no idea what I am doing. I just graduated. But does these sets have something to do with that set paradox letter?

  • @bilalghermoul3634
    @bilalghermoul3634 3 роки тому

    Many thanks for these good and helpful mini-lectures. And I would like you to direct me to a useful textbook on this theory from your point of view.

  • @mushroomsteve
    @mushroomsteve 4 роки тому +3

    Proposition: A sigma-algebra F is closed under finite intersections.
    Proof: Let F be a sigma algebra on a set X, and let A and B be elements of F. Then (A n B) = ((A^C u B^C)^C). Therefore, (A n B) is an element of F.
    Corollary: A sigma-algebra that is closed under arbitrary unions is a topology.

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

      Because the complements of A and B must belong to the sigma algebra by condition II. And the union of these two complements also belongs by III. And again the complement of it belong to F.

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

      @@sheerrmaan Exactly.

  • @varnita4455
    @varnita4455 2 роки тому +1

    Thank you.

  • @hamzehabuabed6333
    @hamzehabuabed6333 3 роки тому

    Thanks so much

  • @qiaohuizhou6960
    @qiaohuizhou6960 2 роки тому

    Hi, I am wondering how is the measure theory connected with the distribution theory? We have introduced with the correspondence theorem when having a measure-based probability class. But I didn't quite get the idea...

    • @brightsideofmaths
      @brightsideofmaths  2 роки тому

      Good point. Distribution theory has a lot of connections to measure theory. When you see the dirac measure, one immediately recognise this. However, at the moment, I don't have any videos about this connection. They will come for sure :)

  • @kkkk-oy9qv
    @kkkk-oy9qv 4 роки тому

    Thank you, you are the best

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

    Part (a) of the definition is somewhat redundant with part (b). If we assume ∅ ∈ 𝒜 and that (A ∈ 𝒜) → (Aᶜ ∈ 𝒜), then ∅ᶜ = X ∈ 𝒜 by definition, so it is not required to include that in part (a).

    • @brightsideofmaths
      @brightsideofmaths  4 роки тому +2

      You are totally right! I often used redundancy is definitions to make them clearer.

  • @td_27
    @td_27 Рік тому

    Beni buraya kadar getiren eğitim sistemimize teşekkür ediyorum.

  • @caio868
    @caio868 3 роки тому +2

    Your videos are amazing! Really! I would like to know what software do you use to have that yellow screen and that logo, I would like to use that to my own courses in economics! Thank you.

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +1

      I uses the wonderful old program Xournal.

    • @caio868
      @caio868 3 роки тому +1

      @@brightsideofmaths Thank you! Would you also share what notetaking equipment and microphone do you use? I use Wacom bamboo and a regular mic, but I'm not sure it is good enough.

    • @brightsideofmaths
      @brightsideofmaths  3 роки тому +1

      @@caio868 A Wacom is great. Your mic, you can just test. Maybe the audio quality is already sufficient. Have fun!