Comonotonicity


title: "Comonotonicity" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["theory-of-probability-distributions", "independence-(probability-theory)", "covariance-and-correlation"] topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Comonotonicity" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

In probability theory, comonotonicity mainly refers to the perfect positive dependence between the components of a random vector, 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.

The concept of comonotonicity has applications in financial risk management and actuarial science, see e.g. and . In particular, the sum of the components X1 + X2 + · · · + Xn is the riskiest if the joint probability distribution of the random vector (X1, X2, . . . , Xn) is comonotonic. Furthermore, the α-quantile of the sum equals 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 {{math|Rn}}

A subset S of Rn is called comonotonic (sometimes also nondecreasing) if, for all (x1, x2, . . . , xn) and (y1, y2, . . . , yn) in S with xi yi for some i ∈ {1, 2, . . . , n}, it follows that xj ≤ yj for all j ∈ {1, 2, . . . , n}.

This means that S is a totally ordered set.

Comonotonicity of probability measures on {{math|Rn}}

Let μ be a probability measure on the n-dimensional Euclidean space Rn and let F denote its multivariate cumulative distribution function, that is

:F(x_1,\ldots,x_n):=\mu\bigl({(y_1,\ldots,y_n)\in{\mathbb R}^n\mid y_1\le x_1,\ldots,y_n\le x_n}\bigr),\qquad (x_1,\ldots,x_n)\in{\mathbb R}^n.

Furthermore, let F1, . . . , Fn denote the cumulative distribution functions of the n one-dimensional marginal distributions of μ, that means

:F_i(x):=\mu\bigl({(y_1,\ldots,y_n)\in{\mathbb R}^n\mid y_i\le x}\bigr),\qquad x\in{\mathbb R}

for every i ∈ {1, 2, . . . , n}. Then μ is called comonotonic, if

:F(x_1,\ldots,x_n)=\min_{i\in{1,\ldots,n}}F_i(x_i),\qquad (x_1,\ldots,x_n)\in{\mathbb R}^n.

Note that the probability measure μ is comonotonic if and only if its support S is comonotonic according to the above definition.

Comonotonicity of {{math|Rn}}-valued random vectors

An Rn-valued random vector is called comonotonic, if its multivariate distribution (the pushforward measure) is comonotonic, this means

:\Pr(X_1\le x_1,\ldots,X_n\le x_n)=\min_{i\in{1,\ldots,n}} \Pr(X_i\le x_i),\qquad (x_1,\ldots,x_n)\in{\mathbb R}^n.

Properties

An Rn-valued random vector is comonotonic if and only if it can be represented as

:(X_1,\ldots,X_n)=\text{d}(F{X_1}^{-1}(U),\ldots,F_{X_n}^{-1}(U)), ,

where stands for equality in distribution, on the right-hand side are the left-continuous generalized inverses of the cumulative distribution functions FX1, . . . , FXn, and U is a uniformly distributed random variable on the unit interval. 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

Main article: Fréchet–Hoeffding copula bounds

Let be an Rn-valued random vector. Then, for every i ∈ {1, 2, . . . , n},

:\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{\mathbb R}^n,

hence

:\Pr(X_1\le x_1,\ldots,X_n\le x_n)\le\min_{i\in{1,\ldots,n}} \Pr(X_i\le x_i),\qquad (x_1,\ldots,x_n)\in{\mathbb R}^n,

with equality everywhere if and only if (X1, . . . , Xn) is comonotonic.

Upper bound for the covariance

Let (X, Y) be a bivariate random vector such that the expected values of X, Y and the product XY exist. Let (X*, Y*) be a comonotonic bivariate random vector with the same one-dimensional marginal distributions as (X, Y).(X*, Y*) always exists, take for example (FX−1(U), FY −1(U)), see section Properties above. Then it follows from Höffding's formula for the covariance and the upper Fréchet–Hoeffding bound that

:\text{Cov}(X,Y)\le\text{Cov}(X^,Y^)

and, correspondingly,

: \operatorname E[XY]\le \operatorname E[X^Y^]

with equality if and only if (X, Y) is comonotonic.

Note that this result generalizes the rearrangement inequality and Chebyshev's sum inequality.

Notes

Citations

References

  • {{Citation | last1 = Dhaene | first1 = Jan | last2 = Denuit | first2 = Michel | last3 = Goovaerts | first3 = Marc J. | last4 = Vyncke | first4 = David | title = The concept of comonotonicity in actuarial science and finance: theory | journal = Insurance: Mathematics & Economics | volume = 31 | issue = 1 | pages = 3–33 | year = 2002a | url = http://www.econ.kuleuven.be/insurance/pdfs/DdgkvTh.pdf | mr = 1956509 | zbl = 1051.62107 | doi = 10.1016/s0167-6687(02)00134-8 | access-date = 2012-08-28 | archive-url = https://web.archive.org/web/20081209024033/http://www.econ.kuleuven.be/insurance/pdfs/DdgkvTh.pdf | archive-date = 2008-12-09 | url-status = dead
  • {{Citation | last1 = Dhaene | first1 = Jan | last2 = Denuit | first2 = Michel | last3 = Goovaerts | first3 = Marc J. | last4 = Vyncke | first4 = David | title = The concept of comonotonicity in actuarial science and finance: applications | journal = Insurance: Mathematics & Economics | volume = 31 | issue = 2 | pages = 133–161 | year = 2002b | url = http://www.econ.kuleuven.be/insurance/pdfs/DDGKVapp.pdf | mr = 1932751 | zbl = 1037.62107 | doi = 10.1016/s0167-6687(02)00135-x | citeseerx = 10.1.1.10.789 | access-date = 2012-08-28 | archive-url = https://web.archive.org/web/20081209023502/http://www.econ.kuleuven.be/insurance/pdfs/DDGKVapp.pdf | archive-date = 2008-12-09 | url-status = dead
  • {{Citation | last = Jouini | first = Elyès | last2 = Napp | first2 = Clotilde | title = Conditional comonotonicity | journal = Decisions in Economics and Finance | volume = 27 | issue = 2 | pages = 153–166 | year = 2004 | issn = 1593-8883 | url = http://www.ceremade.dauphine.fr/~jouini/DEF180RR.pdf | mr = 2104639 | zbl = 1063.60002 | doi=10.1007/s10203-004-0049-y}}
  • {{Citation | last = Kaas | first = Rob | last2 = Dhaene | first2 = Jan | last3 = Vyncke | first3 = David | last4 = Goovaerts | first4 = Marc J. | last5 = Denuit | first5 = Michel | title = A simple geometric proof that comonotonic risks have the convex-largest sum | journal = ASTIN Bulletin | volume = 32 | issue = 1 | pages = 71–80 | year = 2002 | url = http://www.casact.org/library/astin/vol32no1/71.pdf | mr = 1928014 | zbl = 1061.62511 | doi=10.2143/ast.32.1.1015| doi-access = free
  • {{Citation | last = McNeil | first = Alexander J. | last2 = Frey | first2 = Rüdiger | last3 = Embrechts | first3 = Paul | title = Quantitative Risk Management. Concepts, Techniques and Tools | place = Princeton, NJ | publisher = Princeton University Press | series = Princeton Series in Finance | year = 2005 | url = https://books.google.com/books?id=f5J_OZPeq50C | isbn = 978-0-691-12255-7 | mr = 2175089 | zbl = 1089.91037}}
  • {{Citation | last = Nelsen | first = Roger B. | title = An Introduction to Copulas | place = New York | publisher = Springer | series = Springer Series in Statistics | year = 2006 | edition = second | pages = xiv+269 | id = | mr = 2197664 | zbl = 1152.62030| isbn = 978-0-387-28659-4
  • {{Citation | last = Puccetti | first = Giovanni | last2 = Scarsini | first2 = Marco | title = Multivariate comonotonicity | journal = Journal of Multivariate Analysis | volume = 101 | issue = 1 | pages = 291–304 | year = 2010 | url = http://www.parisschoolofeconomics.eu/IMG/pdf/MED090320-Scarsini.pdf | issn = 0047-259X | mr = 2557634 | zbl = 1184.62081 | doi=10.1016/j.jmva.2009.08.003}}
  • {{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}}

References

  1. {{harv. Sriboonchitta. Wong. Dhompongsa. Nguyen. 2010
  2. {{harv. Kaas. Dhaene. Vyncke. Goovaerts. 2002
  3. {{harv. Kaas. Dhaene. Vyncke. Goovaerts. 2002
  4. {{harv. McNeil. Frey. Embrechts. 2005
  5. {{harv. Kaas. Dhaene. Vyncke. Goovaerts. 2002
  6. See {{harv. Nelsen. 2006
  7. See {{harv. Nelsen. 2006
  8. {{harv. McNeil. Frey. Embrechts. 2005
  9. {{harv. McNeil. Frey. Embrechts. 2005
  10. {{harv. McNeil. Frey. Embrechts. 2005
  11. {{harv. McNeil. Frey. Embrechts. 2005

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

theory-of-probability-distributionsindependence-(probability-theory)covariance-and-correlation