Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm asked to show that $X_{1:n}$ (the minimum order statistic) is sufficient for $\eta$, in the case of a random sample $(X_1, ... , X_n)$ where $X_i\sim EXP(1,\eta$) (this is the two-parameter exponential distribution $EXP(\theta,\eta):$ $(1/\theta)\exp(-(x-\eta)/\theta)$, $x>\eta$; in this case $\theta=1$), by using the "factorization method", that is, writing $f(x_1,...,x_n;\eta)$ as $g(s,\eta)h(x_1,...,x_n)$, where $S$ is the statistic ($X_{1:n}$, in this case), $g(s;\eta)$ does not depend on $x_1,...,x_n$ except through $s$, and $h(x_1,...,x_n)$ does not involve $\theta$.

I have $f(x_1,...,x_n;\eta)=\exp(n\eta)\exp(-\sum_{i=1}^n x_i)$. The sum in the exponential is the same as $\sum_{i=1}^n x_{i:n}$, but I need an expression that involves $x_{1:n}$ in one factor and the $x_i$'s in the other. I don't know how to do this.

I know there are formulas for joint pdf's of any set of order statistics (quite lengthy), but I really don't know how to proceed.

Thank you.

share|improve this question
    
Can you explain your use of the notation $\mathrm{Exp}(1,\eta)$? –  cardinal May 22 '11 at 3:17
    
@cardinal: edited. –  Weltschmerz May 22 '11 at 3:24
add comment

1 Answer 1

up vote 5 down vote accepted

I'm going to make an educated guess that $X \sim \mathrm{Exp}(1,\eta)$ means that $X$ has density $$\newcommand{\Ind}[1]{\mathbf{1}_{(#1)}} f(x) \equiv f_X(x) = e^{-(x-\eta)}\Ind{x\geq\eta} \>, $$ where $\Ind{A}$ is the indicator function of the event $A$.

If $X_1, X_2, \ldots$ is an iid sample from this distribution, then the joint density is $$ \prod_{i=1}^n f(x_i) = \prod_{i=1}^n e^{-(x_i - \eta)} \Ind{x_i \geq \eta} = e^{-\sum_{i=1}^n x_i} e^{n \eta} \prod_{i=1}^n \Ind{x_i \geq \eta} = e^{-\sum_{i=1}^n x_i} e^{n \eta} \Ind{\min_i x_i \geq \eta} \> , $$ where the last equality follows since the the product of the indicators $\Ind{x_i \geq \eta}$ is one if and only if the indicator $\Ind{\min_i x_i \geq \eta}$ is one and otherwise is zero.

Now, take $h(x_1,\ldots,x_n) = \exp(-\sum_i x_i)$ and $g(s,\eta) = e^{n \eta} \Ind{s \geq \eta}$ with $s = \min_i x_i$ and apply the factorization theorem.

Hence $S = \min_{1 \leq i \leq n} X_i$ is sufficient for $\eta$.

share|improve this answer
    
Of course! The indicator function! :) Thank you very much. –  Weltschmerz May 22 '11 at 3:55
1  
Sure. The same basic trick works for showing sufficiency, e.g., for the parameter(s) of a uniform distribution and in similar situations where the boundaries of support of the pdf are parameter-dependent. –  cardinal May 22 '11 at 3:59
1  
And yet another example that one should always write the density functions as functions defined on the whole real line, including as a factor the relevant indicator function... +1 cardinal. –  Did May 22 '11 at 6:53
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.