조건부 확률은 sample sapce가 에서 로 축소되었다는 것을 의미한다.

Bayesian의 Multiplication Rule은 사건이 시간 순서대로 발생할 때 유용하게 사용될 수 있다.

set of events become partition of sample space :

  1. mutually exclusive(disjoint)
  2. Pr of union

event 와 event , 가 주어져 있다. 가 서로 독립이라면, 가 주어졌을 때 가 추가되는 것이 에 대한 정보를 아는데 영향을 미치지 않는다. 수식으로 증명가능.

,

1. 변수의 독립성

이 공통 sample space 를 갖는 변수이고 is unknown parameter.

if , with for any subset(events) ,

then 가 주어졌을 때 조건부 독립이다.

이는 앞서 말한 event의 독립성에 대응된다. 위의 독립성은 event의 독립성과 마찬가지로 가 성립.

이는 가 주어졌을 때 의 정보가 에 대하여 아무런 추가정보를 주지 못함을 의미한다.

만약 세타가 주어진 상태에서 이 조건부 독립이라면 조건부 joint pdf는 각 조건부 margianl pdf의 곱과 같다.

만약 가 모두 같은 분포를 따르면~. 이때 들은 세타가 주어졌을 때 conditionally iid.

  • 이는 marginal iid와는 구별된다.
  • marginal iid는 들의 marginal iid가 모두 같고 또한 독립이라는 소리.

2. 교환가능성

독립성은 엄격한 조건. 만족안되는 경우 많음. 이것보다는 약조건이 교환가능성.

  • 독립성 교환가능성이지만
  • 교환가능성 독립성.

교환가능성까지만 만족되면 De Finetti thm은 성립함.