打算开一个“考研日记”的博客系列，以此记录，激励自己。如果能有志同道合的朋友看到之后能引发共鸣，那便再好不过。
问题
已知 0 < P ( A ) < 1 , P ( B ∣ A ) = 1 0<P(A)<1,P(B|A)=1 0<P(A)<1,P(B∣A)=1，请问 A ⊂ B A \subset B A⊂B？
分析
如果是自己做。那么肯定一来就上公式：
P
(
B
∣
A
)
=
P
(
A
B
)
P
(
A
)
=
1
⟹
P
(
A
B
)
=
P
(
A
)
P(B|A)=\cfrac{P(AB)}{P(A)}=1 \implies P(AB)=P(A)
P(B∣A)=P(A)P(AB)=1⟹P(AB)=P(A)
这样一来，会有很多朋友认为：
A
∩
B
A \cap B
A∩B的概率和
A
A
A一样，这不就说明
A
B
=
A
⟹
A
⊂
B
AB=A\implies A \subset B
AB=A⟹A⊂B了嘛！
反例
不过试想一个正方形。B事件记为取正方形内部的所有点，A事件记为取正方形内部所有点和边角上的四个点。
显然
B
⊂
A
B \subset A
B⊂A
并且P(A)=P(B)。
因为A只比B多四个点，取得这四个点的概率是0。
反思
这个题的最大值得借鉴点就是考虑零测集。
A
B
=
A
⟹
P
(
A
B
)
=
P
(
A
)
AB=A \implies P(AB)=P(A)
AB=A⟹P(AB)=P(A)，这无可争议。
但是当反过来：
P
(
A
B
)
=
P
(
A
)
⟹
A
B
=
A
P(AB)=P(A) \implies AB=A
P(AB)=P(A)⟹AB=A这就需要注意了。
概率测度时，设S是一个零测集。且
A
∩
S
=
∅
A\cap S=\emptyset
A∩S=∅。则正确的应该是：
P
(
A
B
)
=
P
(
A
)
⟹
A
B
=
A
∪
S
P(AB)=P(A) \implies AB=A\cup S
P(AB)=P(A)⟹AB=A∪S
结论
P
(
A
B
C
)
=
P
(
B
C
∣
A
)
P
(
A
)
P(AB^C)=P(B^C|A)P(A)
P(ABC)=P(BC∣A)P(A)
而
P
(
A
)
=
P
(
A
B
)
+
P
(
A
B
C
)
P(A)=P(AB)+P(AB^C)
P(A)=P(AB)+P(ABC)
即
P
(
A
)
=
P
(
B
∣
A
)
P
(
A
)
+
P
(
B
C
∣
A
)
P
(
A
)
P(A)=P(B|A)P(A)+P(B^C|A)P(A)
P(A)=P(B∣A)P(A)+P(BC∣A)P(A)，由
P
(
B
∣
A
)
=
1
P(B|A)=1
P(B∣A)=1
P
(
A
)
=
P
(
A
)
+
P
(
B
C
∣
A
)
P
(
A
)
P(A)=P(A)+P(B^C|A)P(A)
P(A)=P(A)+P(BC∣A)P(A)
P
(
B
C
∣
A
)
P
(
A
)
=
0
P(B^C|A)P(A)=0
P(BC∣A)P(A)=0,且0<P(A)<1。
故得到的正确结论应该是：
P
(
B
C
∣
A
)
=
0
⟹
P
(
A
B
C
)
=
0
P(B^C|A)=0\implies P(AB^C)=0
P(BC∣A)=0⟹P(ABC)=0
用上差集的符号"-"的话，就是：
P
(
A
−
B
)
=
0
P(A-B)=0
P(A−B)=0
9318
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
