Prove that the Probability of the Impossible Event is Zero

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

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

  • @larspos8264
    @larspos8264 3 года назад +11

    Isnt it possible to prove the statement without using axiom 2? Once we find P(S)=P(S)+P(⍉), it directly folows P(⍉)=0 (you do'nt even have to use S, any set works).

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

    Love your work. Helps me keep going with my learning :) Thanks the recent splurge in proof math it’s really been lifting my interest in different areas.

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

      ❤️

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

      @@TheMathSorcerer But sir empty set fi is a subset of every set so how S and fi are mutually independent ? pls answer sir

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

    Just beautiful!! It is a nice feeling of gratitude when after a time to understand the proofs in math you get also in love with math!

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

    In Finland we use the notation m.o.t. (= "mikä on todistettavaa") as a sign of finishing a proof, which is the same as the latin q.e.d. (quod erat demonstrandum). Alternatively we may use a small empty box (without the cross).

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

    I was thinking if you shouldn't prove before that the axiom 3 is also true for finite sequences of disjoint sets

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

    Hi! I think there is a problem in this proof if we are very careful. Axiom three doesn't say that you can count the probability of P(A U B)=P(A)+P(B) even if A and B are mutually exclusive. Axiom three talks about infinite sequence of events... You can proof of cause that P(A U B)=P(A)+P(B) is indeed true, but it does not follow directly from axiom three.

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

      Actually, you cannot use finite additivity to prove the probability of the empty set is 0 at all, so the video is totally wrong. That's because the derivation of finite additivity from infinite additivity requires the knowledge that the probability of the empty set is 0 since the proof is basically you have disjoint events labelled A of i from i = 1 to infinity that we define is the empty set for all i>n. Then the sum from n+1 to infinity is the infinite sum of the probabilities of empty set, which is 0. Since the proof of finite additivity relies on knowing the probability of the empty set is 0, we cannot use it to prove the thing it depends on. In fact, it is the other way around. We need to prove the probability of the empty set is 0 to get finite additivity. Hence, the proof in the video is circular reasoning.

    • @johannesvaasalainen7075
      @johannesvaasalainen7075 9 месяцев назад

      @@Exachad "Yes, it seems that your statement is correct. I thought that if one first proves that P(A ∪ B) = P(A) + P(B) (which you can certainly do) and then proceeds as he did in this video, without considering myself what proving P(A ∪ B) = P(A) + P(B) requires. It does require (at least the way I am thinking) knowing the probability of the empty set. So, here he used that knowledge in his proof. My original statement was about the incorrect use of axiom 3, which is still valid, I suppose. I mean, you could prove that the probability of the empty set is 0, then that P(A ∪ B) = P(A) + P(B), and proceed as he did, but why bother if you have already proved that the probability of the empty set is 0."

  • @shunsukenatsusawa6987
    @shunsukenatsusawa6987 3 года назад +4

    Intuitively obvious , but the proof is an another problem, isn't it? Meanwhile I'm enjoying a cup of cardamom coffee now, just a smidgen cardamom into coffee ,then you can experience the depth of flavor of coffee ! Please try it.

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

    why mathematicians ate like that!!!!
    The probability for an impossible event to happen is zero, I think it is an axiom

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

    stunning video The Math Sorcerer. I crushed the thumbs up on your video. Maintain up the outstanding work.

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

    Probability is the branch of math I dislike the most. I passed the one obligatory course in second time, I was only 1 point above the corner :) unfortunately 100% of job orders related with Mathematics are Probability,Statistics and its applications (Finance, Data analysis, machine learning) so its not easy for me to find a Job.

  • @Math-xb1ml
    @Math-xb1ml 3 года назад +2

    math is a hope giver

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

    Just another observation: Sample space is defined as (wikipedia):
    "In probability theory, sample space (also called sample description space[1] or possibility space[2]) of an experiment or random trial is the set of all possible outcomes or results of that experiment.[3]"
    But impossible event (outcome) CAN'T be the member of this set! It it were it would be possible. This is a paradox. So axiom 2 fails here. I think Wittgenstein would agree the words are not defined according Logical positivism norm. LOL
    REGARDS

    • @johannesvaasalainen7075
      @johannesvaasalainen7075 9 месяцев назад

      you should have read more of that wikipedia page. Sample space is not the set of events.

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

    What I don't get is why would we even need to prove such an obvious thing. This is basically an axiom right?

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

    Great and intuitive.

  • @خالدالحماديالحمادي-ب7ه

    Nice proof and Thanks for your efforts I wonder if you can make a video in your opinion what is the most Efficient way to read a maths book.

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

    Nice
    OR we can use m/n
    m is no of favourable outcomes which is equal to zero
    n is total no of possible outcomes
    required probability = 0/n=0

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

    But sir empty set fi is a subset of every set so how S and fi are mutually independent ? pls answer sir

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

    P (0)

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

    When the imposter is SU∅

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

    it's obvious

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

    sir i want to contact you ,can i get your email ?

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

    P(0)