확률공리 (Probability Axiom)

정의

표본공간 <latex>S</latex> 의 모든 사상들의 모임을 정의구역으로 하는 함수 <latex>P</latex>가 다음의 세 공리

  1. <latex>P(S)=1</latex>
  2. <latex>P(A) \geq 0 , A \subset S</latex>
  3. <latex>A \cap B = \phi</latex> 이면, <latex>P(A\cupB)=P(A)+P(B)</latex>

를 만족할 때, 함수 <latex>P</latex>를 확률이라 하고, <latex>P(A)</latex>를 [사상] <latex>A</latex>의 확률이라 한다.