K-dimensional unit simplex에 대해 알아보자. 기호로는 S_K 라 쓴다. 아래와 같이 정의한다.
S_K := \{p \mid \sum_{k=1}^K p_k=1 \text{ and } 0\leq p_1,...,p_K \leq 1 \}p \in S_K 이라고 하면 p 는 event가 K개인 사건에 대한 probability mass function이다.
즉 S_K 는 probability mass function의 모임이라고 보면된다.