Let \( X_1, X_2, \dots, X_n \) be a sample of a one-dimensional random variable \( X \); let the order statistic \( T(X_1 \), \( X_2, \dots \), \( X_n) \) be defined in such a manner that
\[ T(x_1, x_2, \dots, x_n) = (x^{(1)}, x^{(2)}, \dots, x^{(n)}) \]
where \( x^{(1)} \leq x^{(2)} \leq \dots \leq x^{(n)} \) denote the ordered \( x \)’s; and let \( \Omega \) be a class of one-dimensional cpf’s, i.e., cumulative probability functions. The order statistic, \( T \), is said to be a complete statistic with respect to the class
\[ \{P^{(n)} \mid P \in \Omega\} \]
of \( n \)-fold power probability distributions if
\[ E_p^{(n)}\bigl\{h[ T(X_1, \dots, X_n)]\bigr\} = 0 \]
for all \( P \in \Omega \) implies
\[ h[ T(x_1, \dots, x_n)] = 0 \quad\text{a.e. }P^{(n)} ,\]
for all \( F \in \Omega \). The class \( \Omega \) is said to be symmetrically complete whenever the latter condition holds. Since the completeness of the order statistic plays an essential role in nonparametric estimation and hypothesis testing, e.g., Fraser [1954] and Bell [1960], it is of interest to determine those classes of cpf’s for which the order statistic is complete. Many of the traditionally studied classes of cpf’s on the real line are known to be symmetrically complete, e.g., all continuous cpf’s [Lehmann 1959, pp. 131–134, 152–153]; all cpf’s absolutely continuous with respect to Lebesgue measure [Fraser 1957, pp. 23–31]; and all exponentials of a certain form [Lehmann 1959, pp. 131–134]. The object of this note is to present a different [Lehmann 1959, pp. 131–134, 152–153] demonstration of the symmetric completeness of the class of all continuous cpf’s; and to extend this and other known completeness results to probability spaces other than the real line, e.g., Fraser [1954], and Lehmann and Scheffé [1950; 1955].
