HOME

TheInfoList



OR:

In
probability theory Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set o ...
, comonotonicity mainly refers to the perfect positive dependence between the components of a
random vector In probability, and statistics, a multivariate random variable or random vector is a list of mathematical variables each of whose value is unknown, either because the value has not yet occurred or because there is imperfect knowledge of its valu ...
, essentially saying that they can be represented as increasing functions of a single random variable. In two dimensions it is also possible to consider perfect negative dependence, which is called countermonotonicity. Comonotonicity is also related to the comonotonic additivity of the
Choquet integral A Choquet integral is a subadditive or superadditive integral created by the French mathematician Gustave Choquet in 1953. It was initially used in statistical mechanics and potential theory, but found its way into decision theory in the 1980s, wh ...
. The concept of comonotonicity has applications in
financial risk management Financial risk management is the practice of protecting Value (economics), economic value in a business, firm by using financial instruments to manage exposure to financial risk - principally operational risk, credit risk and market risk, with more ...
and actuarial science, see e.g. and . In particular, the sum of the components is the riskiest if the
joint probability distribution Given two random variables that are defined on the same probability space, the joint probability distribution is the corresponding probability distribution on all possible pairs of outputs. The joint distribution can just as well be considere ...
of the random vector is comonotonic. Furthermore, the -
quantile In statistics and probability, quantiles are cut points dividing the range of a probability distribution into continuous intervals with equal probabilities, or dividing the observations in a sample in the same way. There is one fewer quantile ...
of the sum equals of the sum of the -quantiles of its components, hence comonotonic random variables are quantile-additive. In practical risk management terms it means that there is minimal (or eventually no) variance reduction from diversification. For extensions of comonotonicity, see and .


Definitions


Comonotonicity of subsets of

A subset of is called ''comonotonic'' (sometimes also ''nondecreasing'') if, for all and in with for some , it follows that for all . This means that is a
totally ordered set In mathematics, a total or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation \leq on some set X, which satisfies the following for all a, b and c in X: # a \leq a ( reflexiv ...
.


Comonotonicity of probability measures on

Let be a
probability measure In mathematics, a probability measure is a real-valued function defined on a set of events in a probability space that satisfies measure properties such as ''countable additivity''. The difference between a probability measure and the more g ...
on the -dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean sp ...
and let denote its multivariate
cumulative distribution function In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x. Ev ...
, that is :F(x_1,\ldots,x_n):=\mu\bigl(\\bigr),\qquad (x_1,\ldots,x_n)\in^n. Furthermore, let denote the cumulative distribution functions of the one-dimensional
marginal distribution In probability theory and statistics, the marginal distribution of a subset of a collection of random variables is the probability distribution of the variables contained in the subset. It gives the probabilities of various values of the variables ...
s of , that means :F_i(x):=\mu\bigl(\\bigr),\qquad x\in for every . Then is called ''comonotonic'', if :F(x_1,\ldots,x_n)=\min_F_i(x_i),\qquad (x_1,\ldots,x_n)\in^n. Note that the probability measure is comonotonic if and only if its
support Support may refer to: Arts, entertainment, and media * Supporting character Business and finance * Support (technical analysis) * Child support * Customer support * Income Support Construction * Support (structure), or lateral support, a ...
is comonotonic according to the above definition.


Comonotonicity of -valued random vectors

An -valued random vector is called ''comonotonic'', if its multivariate
distribution Distribution may refer to: Mathematics *Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations *Probability distribution, the probability of a particular value or value range of a varia ...
(the
pushforward measure In measure theory, a pushforward measure (also known as push forward, push-forward or image measure) is obtained by transferring ("pushing forward") a measure from one measurable space to another using a measurable function. Definition Given mea ...
) is comonotonic, this means :\Pr(X_1\le x_1,\ldots,X_n\le x_n)=\min_ \Pr(X_i\le x_i),\qquad (x_1,\ldots,x_n)\in^n.


Properties

An -valued random vector is comonotonic if and only if it can be represented as :(X_1,\ldots,X_n)=_\text(F_^(U),\ldots,F_^(U)), \, where stands for equality in distribution, on the right-hand side are the
left-continuous In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in val ...
generalized inverses of the cumulative distribution functions , and is a uniformly distributed random variable on the
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analys ...
. More generally, a random vector is comonotonic if and only if it agrees in distribution with a random vector where all components are non-decreasing functions (or all are non-increasing functions) of the same random variable.


Upper bounds


Upper Fréchet–Hoeffding bound for cumulative distribution functions

Let be an -valued random vector. Then, for every , :\Pr(X_1\le x_1,\ldots,X_n\le x_n) \le \Pr(X_i\le x_i),\qquad (x_1,\ldots,x_n)\in^n, hence :\Pr(X_1\le x_1,\ldots,X_n\le x_n)\le\min_ \Pr(X_i\le x_i),\qquad (x_1,\ldots,x_n)\in^n, with equality everywhere if and only if is comonotonic.


Upper bound for the covariance

Let be a bivariate random vector such that the
expected value In probability theory, the expected value (also called expectation, expectancy, mathematical expectation, mean, average, or first moment) is a generalization of the weighted average. Informally, the expected value is the arithmetic mean of a ...
s of , and the product exist. Let be a comonotonic bivariate random vector with the same one-dimensional marginal distributions as . always exists, take for example , see section
Properties Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property. Property may also refer to: Mathematics * Property (mathematics) Philosophy and science * Property (philosophy), in philosophy an ...
above.
Then it follows from Höffding's formula for the covariance and the upper Fréchet–Hoeffding bound that :\text(X,Y)\le\text(X^*,Y^*) and, correspondingly, : \operatorname E Yle \operatorname E ^*Y^*/math> with equality if and only if is comonotonic. Note that this result generalizes the
rearrangement inequality In mathematics, the rearrangement inequality states that x_n y_1 + \cdots + x_1 y_n \leq x_ y_1 + \cdots + x_ y_n \leq x_1 y_1 + \cdots + x_n y_n for every choice of real numbers x_1 \leq \cdots \leq x_n \quad \text \quad y_1 \leq \cdots \leq y_n ...
and
Chebyshev's sum inequality In mathematics, Chebyshev's sum inequality, named after Pafnuty Chebyshev, states that if :a_1 \geq a_2 \geq \cdots \geq a_n \quad and \quad b_1 \geq b_2 \geq \cdots \geq b_n, then : \sum_^n a_k b_k \geq \left(\sum_^n a_k\right)\!\!\left(\sum_^n ...
.


See also

*
Copula (probability theory) In probability theory and statistics, a copula is a multivariate cumulative distribution function for which the marginal probability distribution of each variable is uniform on the interval  , 1 Copulas are used to describe/model the ...


Notes


Citations


References

* * * * * * * * {{Citation , last = Sriboonchitta , first = Songsak , last2 = Wong , first2 = Wing-Keung , last3 = Dhompongsa , first3 =Sompong , last4 = Nguyen , first4 = Hung T. , title = Stochastic Dominance and Applications to Finance, Risk and Economics , place = Boca Raton, FL , publisher = Chapman & Hall/CRC Press , year = 2010 , url = https://books.google.com/books?id=omxatN4lVCkC , isbn = 978-1-4200-8266-1 , mr = 2590381 , zbl = 1180.91010 Theory of probability distributions Independence (probability theory) Covariance and correlation