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
:
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
:
for every . Then is called ''comonotonic'', if
:
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
:
Properties
An -valued random vector is comonotonic if and only if it can be represented as
:
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 ,
:
hence
:
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
:
and, correspondingly,
: