ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4982 on D3915: Exchangeable random collection
Exchangeable random collection is identically distributed
Formulation 0
Let $\{ X_j \}_{j \in J}$ be a D1721: Random collection such that
(i) $\{ X_j \}_{j \in J}$ is an D3915: Exchangeable random collection
Then $\{ X_j \}_{j \in J}$ is an D3357: Identically distributed random collection.
Proofs
Proof 0
Let $\{ X_j \}_{j \in J}$ be a D1721: Random collection such that
(i) $\{ X_j \}_{j \in J}$ is an D3915: Exchangeable random collection