De Finetti-type theorems: An analytical approach (Q1067295): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1214/aop/1176992913 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2087316149 / rank | |||
Normal rank |
Revision as of 23:50, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | De Finetti-type theorems: An analytical approach |
scientific article |
Statements
De Finetti-type theorems: An analytical approach (English)
0 references
1985
0 references
In this paper the well known theorem of \textit{E. Hewitt} and \textit{L. J. Savage} [Trans. Am. Math. Soc. 80, 470-501 (1955; Zbl 0066.296)] is generalized and from this theorem a result of the type of De Finetti's theorem is deduced. Let A be the family of all complex-valued measurable functions on some measurable space (X,B) which are bounded by 1. Let S denote an Abelian semigroup and let Z denote an abstract set with involution. Furthermore three mappings \(a: Z\to A\), \(t: Z\to S\), \(\beta\) : \(Z\to {\mathbb{C}}\setminus \{0\}\) are given such that \(a(z^*)=\overline{a(z)}\), \(\beta (z^*)=\overline{\beta (z)}\), \(t(z^*)=(t(z))^*\) and such that t(z) generates S. Theorem 1. Under the assumptions just given, let \(X_ 1,X_ 2,...\), be a sequence of X-valued random variables such that \[ E[\prod^{n}_{j=1}a(z_ j)\circ X_ j]=\prod^{n}_{j=1}\beta (z_ j)\phi (\sum^{n}_{j=1}t(z_ j)) \] for all \(n\geq 1\) and all \(z_ 1,...,z_ n\in Z\), where \(\phi\) : \(S\to {\mathbb{C}}\) is some function normalized by \(\phi (0)=1\). Then \(\phi\) is exponentially bounded and positive definite. In case the functions in \(A_ 0:=a(Z)\) are nonnegative and \(\beta >0\), \(\phi\) is even completely positive definite. Theorem 2. Let P denote an exchangeable Radon probability measure on the countable infinite product \(X^{\infty}\) of some compact Hausdorff space X. Then for some uniquely determined Radon probability measure \(\mu\) on \(M^ 1_+(X)\), the space of all Radon probabilities on X, we have \(P(A)=\int k^{\infty}(A)d\mu (k)\) for each Borel set \(A\subseteq X^{\infty}\).
0 references
De Finetti's theorem
0 references
Hewitt and Savage's theorem
0 references
Abelian semigroup
0 references
Radon probability measure
0 references
compact Hausdorff space
0 references