The Limit of the Distribution Function and Continuity

Introduction

The cumulative distribution function (CDF), denoted as $ F(x) = \mathbb{P}(X \leq x) $, is a fundamental concept in probability theory and real analysis. It encapsulates the probability that a random variable $ X $ takes values less than or equal to a given point $ x $. The CDF is defined for all real numbers $ x $ and satisfies the properties of right-continuity, non-decreasing nature, and the limit as $ x \to -\infty $ of $ F(x) $ being 0, and as $ x \to \infty $, being 1. This function provides a complete description of the distribution of $ X $, enabling the computation of probabilities for any interval $ (a, b] $ through the difference $ F(b) - F(a) $.

The study of the limit of the CDF is crucial for understanding the behavior of random variables and their convergence properties. The limit of $ F(x) $ as $ x $ approaches a specific value determines the probability of the random variable falling within a particular range, while also revealing the continuity of the distribution. This article explores the theoretical underpinnings of the limit of the CDF, its relationship with continuity, and its applications in probability and analysis.

Properties of the Cumulative Distribution Function

The CDF $ F(x) $ possesses several key properties that are essential for its analysis. First, it is right-continuous, meaning that $ \lim_{x \to c^-} F(x) = F(c) $ for all $ c \in \mathbb{R} $. This property ensures that the function does not have any "gaps" in its definition, allowing for the seamless computation of probabilities. Second, $ F(x) $ is non-decreasing, which guarantees that the probability of $ X $ being less than or equal to $ x $ does not decrease as $ x $ increases. Finally, $ F(x) $ is bounded between 0 and 1, reflecting the fact that the total probability of all outcomes is finite.

These properties are foundational in establishing the CDF as a well-defined function in the context of probability measures. The right-continuity ensures that the function can be extended to the entire real line without discontinuities, while the non-decreasing nature allows for the use of limits and integrals to compute probabilities. The CDF's continuity at each point $ x $ is a critical aspect of its definition, as it ensures that the distribution of $ X $ is smooth and well-behaved.

Limit of the Distribution Function

The limit of the CDF is a central concept in understanding the behavior of random variables. For a given point $ x \in \mathbb{R} $, the limit $ \lim_{x \to c} F(x) $ represents the probability that $ X $ is less than or equal to $ c $. This limit is particularly important in the study of convergence and the distribution of random variables.

In real analysis, the limit of a function at a point is defined as the value that the function approaches as the input approaches that point. For the CDF, this limit can be computed using the definition $ \lim_{x \to c} F(x) = \mathbb{P}(X \leq c) $. However, the CDF's behavior at specific points is often influenced by the distribution of $ X $. For example, if $ X $ is a discrete random variable, the CDF will have jumps at the points where the probability mass is concentrated. These jumps are not captured by the limit in the traditional sense, but they are accounted for in the definition of the CDF.

The limit of the CDF as $ x $ approaches a point $ c $ is also closely related to the concept of distributional convergence. In this context, the limit of the CDF as $ x \to c $ can be interpreted as the probability that $ X $ is less than or equal to $ c $, which is a fundamental property of the distribution of $ X $. This property ensures that the CDF is a well-defined function that can be used to compute probabilities for any interval $ (a, b] $ through the difference $ F(b) - F(a) $.

Continuity of the Distribution Function

The continuity of the CDF is a critical property that ensures the smoothness of the distribution of a random variable. While the CDF is right-continuous, it is not necessarily continuous at every point. In fact, the CDF can have discontinuities at points where the random variable $ X $ takes on specific values, such as in the case of a discrete random variable. These discontinuities are captured by the jumps in the CDF, which are equal to the probability mass at those points.

The continuity of the CDF in the absence of such discontinuities is a key aspect of its definition. For a continuous random variable, the CDF is continuous everywhere, which ensures that the function does not have any abrupt changes in its values. This property is essential for the application of the CDF in probability theory, as it allows for the use of calculus to compute derivatives and integrals. For example, the derivative of the CDF at a point $ x $ is equal to the probability density function (PDF) of $ X $, provided that the CDF is differentiable at that point.

The continuity of the CDF is also closely related to the concept of convergence in distribution. When analyzing the behavior of a sequence of random variables, the continuity of the CDF ensures that the limiting distribution is well-defined and smooth. This is particularly important in the study of