← Mathematical handbook

Conditional increase of arbitrary bivariate extreme-value copulas

theorem Verification.extremeValue_cdf_support (C : ProbabilityTheory.Copula 2) (hC : C.IsExtremeValue) (u v : ↑unitInterval) (hu : 0 < ↑u) (hu1 : ↑u < 1) (hv : 0 < ↑v) : ∃ (m : ℝ), ∀ (z : ↑unitInterval), C.cdf ![z, v] ≤ C.cdf ![u, v] + m * (↑z - ↑u)

theorem Verification.extremeValue_isSI (C : ProbabilityTheory.Copula 2) (hC : C.IsExtremeValue) : C.IsSI

theorem Verification.extremeValue_transpose (C : ProbabilityTheory.Copula 2) (hC : C.IsExtremeValue) : C.transpose.IsExtremeValue

theorem Verification.extremeValue_isCI (C : ProbabilityTheory.Copula 2) (hC : C.IsExtremeValue) : C.IsCI