What's where?

What's where in MathComp-Analysis?

Hand-made index of links to the main results in MathComp-Analysis (not necessarily their most recent version):

A

• Alexandroff-Hausdorff theorem (1.4.0)
• Arzela-Ascoli's theorem (1.4.0)

B

• Baire's theorem (1.4.0)
• Banach-Steinhaus theorem (1.4.0)
• Bachmann-Landau notations (1.9.0)
• Bernoulli probability measure (1.9.0)
• Borel-Cantelli lemma (1.3.0)

C

• Cantelli's inequality (1.9.0)
• Cantor-Bernstein theorem (1.9.0)
• Cantor space (1.9.0)
• Caratheodory's measure extension theorem (0.6.5)
• Chebyshev's inequality (1.9.0)
• Chernoff bound (1.9.0)

D

• Differentiation under integral (1.9.0)
• Dynkin system (1.2.0)
• Dominated convergence theorem (1.4.0)

E

• Egorov's theorem (1.3.1)
• Essential supremum (1.12.0)
• Essential infimum (1.12.0)
• Extreme value theorem (1.4.0)
• Exponential distribution (1.12.0)

F

• Fatou's lemma (1.9.0)
• First Fundamental Theorem of Calculus for the Lebesgue Integral (1.1.0)
• First Fundamental Theorem of Calculus for the Lebesgue Integral corollary (1.5.0)
• Fubini-Tonelli (1.9.0)
• Fubini's theorem (1.9.0)

G

• Gauss integral (1.9.0)

H

• Hahn decomposition theorem (0.6.5)
• Hardy-Littlewood maximal inequality (1.3.1)
• Hausdorff maximal principle (1.3.0)
• Hausdorff space (0.6.5)
• Hoelder's inequality (1.4.0)

I

• Integration by parts (1.5.0)
• Integration by substitution (1.5.0)
• Intermediate value theorem (1.9.0)
• Irrationality of pi (1.12.0)

K

• Kolmogorov space (1.5.0)

L

• Lambda system (1.9.0)
• Lebesgue's density theorem (1.3.1)
• Lebesgue Differentiation theorem (1.3.1)
• Lebesgue integral (1.9.0)
• Lebesgue measure (1.9.0)
• Lebesgue-Stieltjes measure (1.9.0)
• L'Hopital's rule (1.9.0)
• L^p-norm (1.12.0)
• Lusin's theorem (1.3.0)

M

• Markov's inequality (1.4.0)
• Mean Value Theorem (1.3.1)
• Minkowski's inequality (1.3.1)
• Monotone convergence theorem (1.9.0)

N

• Normal distribution (1.9.0)

O

• Poisson distribution (1.12.0)

R

• Radon-Nikodym's theorem (1.9.0)
• Rolle's theorem (1.3.1)

T

• Tietze's extension theorem (1.3.1)
• Tychonoff's theorem (1.3.1)

U

• Urysohn's lemma (1.3.1)

V

• Vitali's covering lemma finite case (1.3.1)
• Vitali's covering lemma infinite case (1.3.1)
• Vitali's covering theorem (1.3.1)
• Vitali's covering theorem corollary (1.5.0)

W

• Well-ordering principle (1.3.0)

Z

• Zorn's lemma (1.3.0)