Skip to main content
1 of 5
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

If $E$ is a distributive lattice with measurable binary operations $E\times E\ni(x,y)\mapsto x\wedge y$ and $E\times E\ni(x,y)\mapsto x\vee y$, then the "order statistics'' can be defined by the formula \begin{equation}\label{eq:wedge-vee} X_{n:j}:=\bigwedge\Big\{\bigvee_{i\in J}X_i\colon J\in\binom{[n]}j\Big\} =\bigvee\Big\{\bigwedge_{i\in J}X_i\colon J\in\binom{[n]}{n+1-j}\Big\} \end{equation} for $j\in[n]:=\{1,\dots,n\}$, with $\binom{[n]}j$ denoting the set of all subsets $J$ of the set $[n]$ such that the cardinality of $J$ is $j$; cf. formulas (1.2)--(1.4).

As explained in that paper in the paragraph right after (1.4), if $E$ is not a distributive lattice, then the two dual to each other natural expressions for $X_{n:j}$ in the above display may differ from each other, and thus no reasonable definition of $X_{n:j}$ will seem possible.

Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229