概率公理检查器
给有限样本空间中的每个样本点赋权重，检查它是否真的构成概率模型。
Ω = {ω1, ω2, ω3, ω4, ω5, ω6}
样本点权重
滑块范围为 -0.50 到 1.50；数字框可直接输入更精确的值。
选择事件 A
被选中的样本点组成事件 A；未选中的就是 Ac。
A = {}
公理状态
总质量落在 1，且没有负权重时，有限概率模型成立。
Σpᵢ
0.000
待检查
非负性
是
全部 ≥ 0
概率模型
成立
满足公理
0
目标 1
1.5+
权重分布图，绿色表示属于 A，灰色表示属于 Ac
刻度 ±1.00
P(A)
0.000
P(Ac)
0.000
P(A)+P(Ac)
0.000