A Constructive Proof of the Glivenko-Cantelli Theorem

10/25/2021
by   Daniel Salnikov, et al.
0

The Glivenko-Cantelli theorem states that the empirical distribution function converges uniformly almost surely to the theoretical distribution for a random variable X ∈ℝ. This is an important result because it establishes the fact that sampling does capture the dispersion measure the distribution function F imposes. In essence, sampling permits one to learn and infer the behavior of F by only looking at observations from X. The probabilities that are inferred from samples 𝐗 will become more precise as the sample size increases and more data becomes available. Therefore, it is valid to study distributions via samples. The proof present here is constructive, meaning that the result is derived directly from the fact that the empirical distribution function converges pointwise almost surely to the theoretical distribution. The work includes a proof of this preliminary statement and attempts to motivate the intuition one gets from sampling techniques when studying the regions in which a model concentrates probability. The sets where dispersion is described with precision by the empirical distribution function will eventually cover the entire sample space.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/18/2021

A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem

A direct proof of the Steiner-Lehmus theorem has eluded geometers for ov...
research
01/19/2018

A Smeary Central Limit Theorem for Manifolds with Application to High Dimensional Spheres

The (CLT) central limit theorems for generalized Frechet means (data des...
research
01/28/2017

A proof of Hilbert's theorem on ternary quartic forms with the ladder technique

This paper proposes a totally constructive approach for the proof of Hil...
research
07/21/2023

Bernstein approximation and beyond: proofs by means of elementary probability theory

Bernstein polynomials provide a constructive proof for the Weierstrass a...
research
12/28/2018

Towards a constructive formalization of Perfect Graph Theorems

Interaction between clique number ω(G) and chromatic number χ(G) of a ...
research
04/07/2021

Concentration bounds for the empirical angular measure with statistical learning applications

The angular measure on the unit sphere characterizes the first-order dep...
research
01/12/2018

How Many Samples Required in Big Data Collection: A Differential Message Importance Measure

Information collection is a fundamental problem in big data, where the s...

Please sign up or login with your details

Forgot password? Click here to reset