- Research
- Open Access
- Published:

# When is an integral stochastic order generated by a poset?

*Journal of Inequalities and Applications*
**volume 2012**, Article number: 265 (2012)

## Abstract

Given a partial order ⪯ on a set \mathcal{X}, one can consider the class of ⪯-preserving real functions on \mathcal{X} characterized by x\u2aafy implies f(x)\le f(y). Such a class of functions allows us the generation of a binary relation {\u2aaf}_{g} on the set of probabilities associated with \mathcal{X} by means of P{\u2aaf}_{g}Q when \int f\phantom{\rule{0.2em}{0ex}}dP\le \int f\phantom{\rule{0.2em}{0ex}}dQ for all ⪯-preserving functions *f*. In this paper we characterize when for an integral stochastic order \tilde{\u2aaf} on the set of probabilities associated with \mathcal{X}, there exists a partial order ⪯ on \mathcal{X} such that the relation {\u2aaf}_{g} generated by the class of ⪯-preserving functions is equal to \tilde{\u2aaf}. The above characterization is related to the maximal generator of \tilde{\u2aaf}, a result which can be applied for the search of maximal generators of stochastic orders generated by posets.

**MSC:**06A06, 60E15.

## 1 Introduction

Stochastic orders play a key role in many areas. They have been applied successfully in such fields as reliability theory, economics, decision theory, queueing systems, scheduling problems, medicine, genetics, *etc.* A stochastic order is defined as a partial order relation on a set of probabilities associated with a certain measurable space, although in some contexts the antisymmetric condition is not considered.

A method for generating binary relations on a class of probabilities associated with a set by means of partial order relations on such a set is proposed in [1]. That method is based on the so-called order-preserving functions. Thus, if (\mathcal{X},\mathcal{A}) is a measurable space and ⪯ is a partial order on \mathcal{X}, one can take the class of all measurable ⪯-preserving real functions, that is, the set of measurable functions f:\mathcal{X}\to \mathbb{R} such that if x,y\in \mathcal{X} satisfy x\u2aafy, then f(x)\le f(y). The partial order ⪯ generates a binary relation {\u2aaf}_{g} on the set of probabilities on (\mathcal{X},\mathcal{A}) defined by

for all measurable ⪯-preserving functions *f*.

In this paper we characterize when, for a stochastic order \tilde{\u2aaf}, there exists a partial order ⪯ on \mathcal{X} such that {\u2aaf}_{g} is \tilde{\u2aaf}. The above characterization will be related to the maximal generators of integral stochastic orders. Different examples of stochastic orders generated and not generated by partially ordered sets will be developed.

## 2 Preliminaries

Let \mathcal{X} be a set. A binary relation ⪯ on \mathcal{X} which is reflexive, transitive and antisymmetric is called a *partial order*. The pair (\mathcal{X},\u2aaf) is said to be a *poset*.

A mapping f:\mathcal{X}\to \mathbb{R} is said to be ⪯*-preserving* if given x,y\in \mathcal{X} with x\u2aafy, then f(x)\le f(y).

The reader is referred, for instance, to [2] and [3] for an introduction to the theory of ordered sets.

Let \mathcal{A} be a *σ*-algebra on \mathcal{X}. It will be assumed throughout the paper that for all x\in \mathcal{X} we have that \{x\}\in \mathcal{A}.

Let {\mathcal{F}}^{\u2aaf}=\{f:\mathcal{X}\to \mathbb{R}\mid f\text{is measurable and}\u2aaf\text{-preserving}\}.

Let us denote by \mathcal{P} the set of probabilities on the measurable space (\mathcal{X},\mathcal{A}).

A binary relation \tilde{\u2aaf} on \mathcal{P} is said to be a *stochastic order* if (\mathcal{P},\tilde{\u2aaf}) is a poset.

A stochastic order \tilde{\u2aaf} on \mathcal{P} is said to be *integral* if there exists a class ℛ of measurable mappings from \mathcal{X} to ℝ satisfying that P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q if and only if

for all f\in \mathcal{R} such that the above integrals exist. The class ℛ is said to be a *generator* of \tilde{\u2aaf}. It is well known that there could be different generators of the same stochastic order.

The reader is referred to [4, 5] and [6] for a rigorous introduction to stochastic orders and integral stochastic orders.

The class of measurable ⪯-preserving functions generates a binary relation on \mathcal{P}, denoted by {\u2aaf}_{g}, as follows: given P,Q\in \mathcal{P}, then P{\u2aaf}_{g}Q when

for all measurable ⪯-preserving functions *f* for which both integrals exist.

## 3 Main results

Given a stochastic order \tilde{\u2aaf} on \mathcal{P}, we will obtain a sufficient and necessary condition for the existence of a partial order ⪯ on \mathcal{X} such that {\u2aaf}_{g} and \tilde{\u2aaf} are the same order. It is immediately seen that for such a condition, the stochastic order \tilde{\u2aaf} should be integral. Moreover, we connect the above result with maximal generators of integral stochastic orders.

In the first place, we construct a partial order on \mathcal{X} by means of a generator of the integral stochastic order \tilde{\u2aaf}.

**Proposition 1** *Let* \tilde{\u2aaf} *be an integral stochastic order on* \mathcal{P} *and* ℛ *be a generator of the order*. *We define the binary relation* {\u2aaf}^{\mathcal{R}} *on* \mathcal{X} *as follows*. *Let* x,y\in \mathcal{X}. *Then* x{\u2aaf}^{\mathcal{R}}y *when* f(x)\le f(y) *for all* f\in \mathcal{R}. *It holds that* (\mathcal{X},{\u2aaf}^{\mathcal{R}}) *is a poset*.

*Proof* Obviously, {\u2aaf}^{\mathcal{R}} is reflexive and transitive. Let x,y\in \mathcal{X} with x{\u2aaf}^{\mathcal{R}}y and y{\u2aaf}^{\mathcal{R}}x. The first condition implies that f(x)\le f(y) for all f\in \mathcal{R}, or equivalently,

where {P}_{w}\in \mathcal{P} denotes the probability distribution degenerated at the point w\in \mathcal{X}. As a consequence, we obtain that {P}_{x}\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}{P}_{y}. In a similar way, we have that {P}_{y}\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}{P}_{x}. Since \tilde{\u2aaf} is antisymmetric, it holds that {P}_{x}={P}_{y}. Now, note that \{x\}\in \mathcal{A}, which implies that x=y. □

Now, we show that the relation defined in Proposition 1 does not depend on a particular generator of the order, but on the order itself.

**Proposition 2** *Let* \tilde{\u2aaf} *be an integral stochastic order on* \mathcal{P} *and* {\mathcal{R}}_{1} *and* {\mathcal{R}}_{2} *be generators of the order*. *Then* {\u2aaf}^{{\mathcal{R}}_{1}} *and* {\u2aaf}^{{\mathcal{R}}_{2}} *are the same partial order*.

*Proof* Let us suppose that x{\u2aaf}^{{\mathcal{R}}_{1}}y. Thus, f(x)\le f(y) for all f\in {\mathcal{R}}_{1}, or equivalently,

that is, {P}_{x}\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}{P}_{y}. Since {\mathcal{R}}_{2} is a generator of \tilde{\u2aaf}, we have that

Therefore, g(x)\le g(y) for all g\in {\mathcal{R}}_{2}, which means that x{\u2aaf}^{{\mathcal{R}}_{2}}y. So, x{\u2aaf}^{{\mathcal{R}}_{1}}y implies x{\u2aaf}^{{\mathcal{R}}_{2}}y. Reasoning in a similar way, we obtain that x{\u2aaf}^{{\mathcal{R}}_{2}}y implies x{\u2aaf}^{{\mathcal{R}}_{1}}y, and so the result is proved. □

Given \tilde{\u2aaf} an integral stochastic order, we will denote by ⪯ the partial order on \mathcal{X} determined by \tilde{\u2aaf}, that is, x\u2aafy when f(x)\le f(y) for all mappings of a generator of \tilde{\u2aaf}. Proposition 2 says that such an order is well defined.

Next, we prove that P{\u2aaf}_{g}Q implies P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q.

**Proposition 3** *Let* \tilde{\u2aaf} *be an integral stochastic order on* \mathcal{P}. *Let* ⪯ *be the partial order on* \mathcal{X} *determined by* \tilde{\u2aaf}. *Then* P{\u2aaf}_{g}Q *implies* P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q.

*Proof* Let P,Q\in \mathcal{P} with P{\u2aaf}_{g}Q, that is,

for all measurable ⪯-preserving functions *f*. Let ℛ be a generator of \tilde{\u2aaf}. In accordance with the definition of the partial order ⪯, any mapping g\in \mathcal{R} is ⪯-preserving; as a consequence,

for any g\in \mathcal{R}, that is, P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q. □

We should note that the converse of the above result is not true in general, that is, {\u2aaf}_{g} and \tilde{\u2aaf} are not equal in general. Let us consider the following example.

**Example 1** Consider the measurable space (\mathbb{R},{\mathcal{B}}_{1}), {\mathcal{B}}_{1} being the usual Borel *σ*-algebra on ℝ. Let \tilde{\u2aaf} be the integral stochastic order given by the generator

usually referred to as the convex order. Thus, the partial order ⪯ on ℝ determined by \tilde{\u2aaf} is given by x\u2aafy when f(x)\le f(y) for all f\in \mathcal{R}. It is seen that \{z\in \mathbb{R}\mid x\u2aafz\}=\{x\} for any x\in \mathbb{R}. Therefore, any measurable map h:\mathbb{R}\to \mathbb{R} is ⪯-preserving, and so {\u2aaf}_{g} and \tilde{\u2aaf} are not the same order. In fact, P{\u2aaf}_{g}Q if and only if P=Q.

The next proposition shows that if there exists a partial order which generates the stochastic order \tilde{\u2aaf}, then the partial order ⪯ on \mathcal{X} determined by \tilde{\u2aaf} also generates \tilde{\u2aaf}.

**Proposition 4** *Let* \tilde{\u2aaf} *be an integral stochastic order on* \mathcal{P} *and* ⪯ *be the partial order on* \mathcal{X} *determined by* \tilde{\u2aaf}. *Let* ⪯^{′} *be a partial order on* \mathcal{X} *such that* {\u2aaf}_{g}^{\prime} *and* \tilde{\u2aaf} *are equal*. *Then* {\u2aaf}_{g} *and* \tilde{\u2aaf} *are the same stochastic order*.

*Proof* We have that {\mathcal{F}}^{{\u2aaf}^{\prime}} is a generator of \tilde{\u2aaf}. In accordance with Proposition 2, it holds that x\u2aafy when f(x)\le f(y) for all f\in {\mathcal{F}}^{{\u2aaf}^{\prime}}.

Let us suppose that x{\u2aaf}^{\prime}y. It implies that f(x)\le f(y) for all f\in {\mathcal{F}}^{{\u2aaf}^{\prime}} and so x\u2aafy. Now, note that if f\in {\mathcal{F}}^{\u2aaf} and x{\u2aaf}^{\prime}y, then x\u2aafy and so f(x)\le f(y), that is, f\in {\mathcal{F}}^{{\u2aaf}^{\prime}}. As a consequence, we have that {\mathcal{F}}^{\u2aaf}\subset {\mathcal{F}}^{{\u2aaf}^{\prime}}, which derives that P{\u2aaf}_{g}^{\prime}Q implies P{\u2aaf}_{g}Q. Now, Proposition 3 provides the result. □

We introduce the following definition which will be key for our purposes.

**Definition 1** Let (\mathcal{X},\u2aaf) be a poset. The mappings f,g:\mathcal{X}\to \mathbb{R} are said to be ⪯*-comonotonic* if there are no two elements {x}_{1},{x}_{2}\in \mathcal{X} with {x}_{1}\u2aaf{x}_{2}, f({x}_{1})<f({x}_{2}) and g({x}_{1})>g({x}_{2}).

Now, we obtain sufficient and necessary conditions to guarantee that {\u2aaf}_{g} and \tilde{\u2aaf} are the same stochastic order.

**Theorem 1** *Let* \tilde{\u2aaf} *be an integral stochastic order on* \mathcal{P} *and* ⪯ *be the partial order on* \mathcal{X} *determined by* \tilde{\u2aaf}. *Then* \tilde{\u2aaf} *and* {\u2aaf}_{g} *are the same order if and only if there exists a generator* ℛ *of* \tilde{\u2aaf} *satisfying that if* g:\mathcal{X}\to \mathbb{R} *is a measurable mapping such that* *g* *and* *f* *are* ⪯-*comonotonic for all* f\in \mathcal{R}, *then* g\in \mathcal{R}.

*Proof* In the first place, let us see that \tilde{\u2aaf} and {\u2aaf}_{g} are the same order under the existence of a generator satisfying the above condition.

In Proposition 3 we have shown that P{\u2aaf}_{g}Q implies P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q. Now, let P,Q\in \mathcal{P} with P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q. Let *g* be a measurable ⪯-preserving function and f\in \mathcal{R}. Clearly, *f* and *g* are ⪯-comonotonic, thus g\in \mathcal{R}, and so

for any measurable ⪯-preserving function *g*; that is, P{\u2aaf}_{g}Q, which shows that P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q implies P{\u2aaf}_{g}Q.

Let us prove the converse. If {\u2aaf}_{g} and \tilde{\u2aaf} are the same order, we have that \mathcal{R}=\{f:\mathcal{X}\to \mathbb{R}\mid f\text{is measurable and}\u2aaf\text{-preserving}\} is a generator of \tilde{\u2aaf}. Let us see that this generator satisfies the condition of the statement.

Let g:\mathcal{X}\to \mathbb{R} be a measurable mapping satisfying that *g* and *f* are ⪯-comonotonic for all f\in \mathcal{R}. Let us see that given x,y\in \mathcal{X} with x\u2aafy (x\ne y) there exists a mapping l\in \mathcal{R} with l(x)<l(y), which implies that g(x)\le g(y), and so *g* is ⪯-preserving, that is, g\in \mathcal{R}.

If the above result is false, there exist x,y\in \mathcal{X} with x\ne y such that x\u2aafy and l(x)=l(y) for all l\in \mathcal{R}. This implies that

The antisymmetric property of \tilde{\u2aaf} implies that {P}_{x}={P}_{y}, which is a contradiction with x\ne y since \{x\}\in \mathcal{A}. □

Let us consider examples of integral stochastic orders which are in fact generated by posets.

**Example 2** Consider the measurable space (\mathbb{R},{\mathcal{B}}_{1}). Let \tilde{\u2aaf} be the usual stochastic order, that is, P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q when

for any t\in \mathbb{R}, where {I}_{A} stands for the indicator function of the set *A*. According to Proposition 2, the partial order ⪯ on ℝ determined by \tilde{\u2aaf} is given by x\u2aafy when x\le y.

It is known that the class of non-decreasing functions is a generator of \tilde{\u2aaf}. Let ℛ be that class. If *g* is measurable and ⪯-comonotonic with any map of ℛ, then g\in \mathcal{R}, and in accordance with Theorem 1, {\u2aaf}_{g} and \tilde{\u2aaf} are the same order.

**Example 3** Consider the space (\mathbb{R},{\mathcal{B}}_{1}). Let \tilde{\u2aaf} be the bidirectional order (see [7] and [8]). It is known that P\phantom{\rule{0.2em}{0ex}}\tilde{\u2aaf}\phantom{\rule{0.2em}{0ex}}Q if and only if

for any t\in (0,\mathrm{\infty}). The definition of the order provides the partial order ⪯ on ℝ determined by \tilde{\u2aaf}. We obtain that x\u2aafy when

In [7] it is shown that the class \mathcal{R}=\{f:\mathbb{R}\to \mathbb{R}\mid f\text{is non-decreasing in}(0,\mathrm{\infty}),\text{non-increasing in}(-\mathrm{\infty},0),\text{and with a minimum at}0\} is a generator of the order. A ⪯-comonotonic function with the maps of ℛ belongs to it. Thus, {\u2aaf}_{g} and \tilde{\u2aaf} are the same order.

We will analyze some examples of multivariate stochastic orders after Theorem 2.

Note that, in general, if ℛ is a generator of a stochastic order and *g* and *f* are ⪯-comonotonic functions for all f\in \mathcal{R}, *g* is not necessarily an element of ℛ. Consider the generator of Example 1, there are comonotonic functions with the maps of the class of convex functions which are not convex. In fact, any mapping g:\mathbb{R}\to \mathbb{R} is ⪯-comonotonic with all functions of \mathcal{R}=\{f:\mathbb{R}\to \mathbb{R}\mid f\text{is convex}\}.

Now we are proving that under an appropriate framework, a generator satisfying the condition of Theorem 1 is the maximal generator of the order \tilde{\u2aaf}.

We briefly describe the concept of a maximal generator of an integral stochastic order (see [4] or [5]). Such a concept is associated with the so-called *weight function*. That function is a measurable mapping b:\mathcal{X}\to [1,\mathrm{\infty}). The weight function determines the space of mappings in which we are looking for the maximal generator. Such a space will be the class of measurable mappings with bounded *b*-norm, where the *b-norm* of a mapping f:\mathcal{X}\to \mathbb{R} is

For our purpose, it is sufficient to consider b=1. In this way, the *b*-norm of any mapping f:\mathcal{X}\to \mathbb{R} is equal to

So, if ℬ denotes the set of measurable functions f:\mathcal{X}\to \mathbb{R} with the finite *b*-norm, ℬ is the set of all measurable and bounded mappings.

The *maximal generator* of an integral stochastic order \tilde{\u2aaf} is the set of all functions f\in \mathcal{B} such that

We will assume that all functions in the following results belong to the class ℬ.

**Theorem 2** *Let* \tilde{\u2aaf} *be an integral stochastic order on* \mathcal{P}. *Let* ℛ *be a generator of* \tilde{\u2aaf} *satisfying that if* g:\mathcal{X}\to \mathbb{R} *is a measurable mapping such that* *g* *and* *f* *are* ⪯-*comonotonic for all* f\in \mathcal{R}, *then* g\in \mathcal{R}. *It holds that* ℛ *is the maximal generator of* \tilde{\u2aaf}.

*Proof* Let us see that ℛ is a convex cone containing the constant functions and closed under pointwise convergence.

Let f\in \mathcal{R} and \lambda >0. Suppose that there exists h\in \mathcal{R} such that *h* and *λf* are not ⪯-comonotonic. Then there exist {x}_{1},{x}_{2}\in \mathcal{X} with {x}_{1}\u2aaf{x}_{2}, h({x}_{1})<h({x}_{2}) and \lambda f({x}_{1})>\lambda f({x}_{2}). This implies that f({x}_{1})>f({x}_{2}) which is a contradiction with {x}_{1}\u2aaf{x}_{2} since f\in \mathcal{R}. Therefore, *λf* and *h* are ⪯-comonotonic for all h\in \mathcal{R} and so \lambda f\in \mathcal{R}. As a consequence, ℛ is a cone.

Now, consider {f}_{1},{f}_{2}\in \mathcal{R} and \lambda \in [0,1]. Suppose that there exists h\in \mathcal{R} such that *h* and \lambda {f}_{1}+(1-\lambda ){f}_{2} are not ⪯-comonotonic. We have that there exist {x}_{1},{x}_{2}\in \mathcal{X} with {x}_{1}\u2aaf{x}_{2}, h({x}_{1})<h({x}_{2}) and (\lambda {f}_{1}+(1-\lambda ){f}_{2})({x}_{1})>(\lambda {f}_{1}+(1-\lambda ){f}_{2})({x}_{2}). But \lambda {f}_{1}({x}_{1})\le \lambda {f}_{1}({x}_{2}) and (1-\lambda ){f}_{2}({x}_{1})\le (1-\lambda ){f}_{2}({x}_{2}) since {x}_{1}\u2aaf{x}_{2} and {f}_{1},{f}_{2}\in \mathcal{R}. Hence, ℛ is convex.

On the other hand, any constant function and any element of ℛ are ⪯-comonotonic. So, any constant function is in ℛ.

Moreover, let {\{{f}_{n}\}}_{n}\subset \mathcal{R} such that {\{{f}_{n}\}}_{n} tends to f:\mathcal{X}\to \mathbb{R} pointwise. Let h\in \mathcal{R}. Suppose that *h* and *f* are not ⪯-comonotonic. We have that there exist {x}_{1},{x}_{2}\in \mathcal{X} with {x}_{1}\u2aaf{x}_{2}, h({x}_{1})<h({x}_{2}) and f({x}_{1})>f({x}_{2}). Then for *n* large enough, we have that {f}_{n}({x}_{1})>{f}_{n}({x}_{2}), which contradicts that {f}_{n}\in \mathcal{R}. Thus, ℛ is closed under pointwise convergence.

Now, the result is a consequence of Corollary 2.3.9 in [5] which says that a generator which is a convex cone containing the constant functions and is closed under pointwise convergence is the maximal generator of the order. □

**Example 4** Consider ({\mathbb{R}}^{d},{\mathcal{B}}_{d}) with {\mathcal{B}}_{d} the usual Borel *σ*-algebra on {\mathbb{R}}^{d}. Let \tilde{\u2aaf} stand for the usual multivariate stochastic order. Thus, two probabilities *P* and *Q* on the measurable space ({\mathbb{R}}^{d},{\mathcal{B}}_{d}) are ordered in the usual multivariate stochastic order if

for any bounded increasing mapping f:{\mathbb{R}}^{d}\to \mathbb{R}, where by increasing we mean that f(x)\le f(y) for any x,y\in {\mathbb{R}}^{d} with x{\u2aaf}_{\mathrm{cw}}y, and {\u2aaf}_{\mathrm{cw}} denotes the usual componentwise order on {\mathbb{R}}^{d}.

Let ℛ be the above class of mappings which is a generator of \tilde{\u2aaf}. Such a generator allows to obtain the partial order ⪯ on {\mathbb{R}}^{d} determined by \tilde{\u2aaf}. It can be seen that this order is the order {\u2aaf}_{\mathrm{cw}}.

To analyze if the integral stochastic order \tilde{\u2aaf} is generated by ⪯, we apply Theorem 1, but taking into account Theorem 2; that is, if there exists a generator satisfying the condition of Theorem 1, such a generator should be the maximal generator of \tilde{\u2aaf}. It is well known that the class ℛ is the maximal generator of \tilde{\u2aaf}.

It is not hard to prove that any bounded measurable mapping which is ⪯-comonotonic with all the mappings of ℛ belongs to it, and so we conclude that the usual multivariate stochastic order is generated by the componentwise order.

**Example 5** Now let \tilde{\u2aaf} stand for the upper orthant order on the class of probabilities associated with the measurable space ({\mathbb{R}}^{d},{\mathcal{B}}_{d}). Two probabilities *P* and *Q* are ordered in the upper orthant order if

for any t\in {\mathbb{R}}^{d}, where (t,\mathrm{\infty}) denotes the set ({t}_{1},\mathrm{\infty})\times ({t}_{2},\mathrm{\infty})\times \cdots \times ({t}_{d},\mathrm{\infty}) with t=({t}_{1},\dots ,{t}_{d}).

Thus, the set \mathcal{R}=\{{I}_{(t,\mathrm{\infty})}\mid t\in {\mathbb{R}}^{d}\} is a generator of \tilde{\u2aaf}. This generator leads to the partial order ⪯ on {\mathbb{R}}^{d} determined by \tilde{\u2aaf}. It can be seen that this order is {\u2aaf}_{\mathrm{cw}}.

As an immediate consequence, we obtain that there does not exist a partial order generating the upper orthant order, since we have seen in the above example that {\u2aaf}_{\mathrm{cw}} generates the usual multivariate stochastic order.

However, let us check that the maximal generator of \tilde{\u2aaf} does not satisfy the condition of Theorem 1. That is, there are bounded measurable mappings which are ⪯-comonotonic with all the maps of the maximal generator of \tilde{\u2aaf} and they do not belong to such a generator.

A mapping f:{\mathbb{R}}^{d}\to \mathbb{R} is said to be Δ-monotone if for every subset J=\{{i}_{1},{i}_{2},\dots ,{i}_{k}\}\subset \{1,2,\dots ,d\} and for every {\epsilon}_{1},{\epsilon}_{2},\dots ,{\epsilon}_{k}>0, it holds that

for all x\in {\mathbb{R}}^{d}, where

{e}_{i} being the *i* th unit vector.

In [5] it is proved that the class ℒ of all bounded Δ-monotone functions is the maximal generator of \tilde{\u2aaf}.

Let us see that there are ⪯-comonotonic mappings with all the mappings of ℒ, which do not belong to such a class.

Consider d=2 and the mapping g:{\mathbb{R}}^{2}\to \mathbb{R} with

The mapping *g* is ⪯-comonotonic with all the elements of ℒ, but *g* is not Δ-monotone.

To conclude we should point out that Theorem 2 could be applied to obtain maximal generators of integral stochastic orders which have been generated by means of partially ordered sets, since the maximal generator is the unique generator which satisfies the condition required in Theorem 1.

## References

Giovagnoli A, Wynn HP: Stochastic orderings for discrete random variables.

*Stat. Probab. Lett.*2008, 78: 827–835.Neggers J, Kim HS:

*Basic Posets*. World Scientific, Singapore; 1998.Schröder BSW:

*Ordered Sets. An Introduction*. Birkhäuser, Basel; 2003.Müller A: Stochastic orders generated by integrals: a unified study.

*Adv. Appl. Probab.*1997, 29: 414–428. 10.2307/1428010Müller A, Stoyan D:

*Comparison Methods for Stochastic Models and Risks*. Wiley, Chichester; 2002.Shaked M, Shanthikumar JG:

*Stochastic Orders*. Springer, New York; 2007.López-Díaz M: A stochastic order for random variables with applications.

*Aust. N. Z. J. Stat.*2010, 52: 1–16. 10.1111/j.1467-842X.2009.00561.xMüller A: Another tale of two tails: on characterizations of comparative risk.

*J. Risk Uncertain.*1998, 16: 187–197. 10.1023/A:1007742529414

## Acknowledgements

We would like to thank the editor and the referees for their key comments and suggestions. The authors are indebted to the Spanish Ministry of Science and Innovation since this research is financed by Grants MTM2010-18370 and MTM2011-22993.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

MCL-D and ML-D have worked together to obtain the results in this manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

López-Díaz, M.C., López-Díaz, M. When is an integral stochastic order generated by a poset?.
*J Inequal Appl* **2012, **265 (2012). https://doi.org/10.1186/1029-242X-2012-265

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1029-242X-2012-265

### Keywords

- poset
- stochastic order
- ⪯-preserving function
- ⪯-comonotonic function
- maximal generator