Every Open Set Is Lebesgue Measurable

In measure theory, an important branch of mathematical analysis, the concept of Lebesgue measurability plays a central role in understanding which sets can be assigned a meaningful measure. One fundamental result in this area is that every open set in the real line (or in Euclidean space) is Lebesgue measurable. This property forms the foundation for constructing the Lebesgue measure, which generalizes the intuitive notion of length, area, and volume to more complex sets. Understanding why every open set is Lebesgue measurable involves exploring definitions, properties, and examples that illustrate how open sets align with the structure of Lebesgue measure.

Introduction to Lebesgue Measure

Lebesgue measure is a method for assigning a non-negative real number to a set in a way that generalizes the familiar concepts of length for intervals, area for regions in the plane, and volume for three-dimensional objects. Unlike Riemann integration, which relies on partitioning the domain of a function into intervals, Lebesgue integration measures the size of sets where the function takes particular values. For this reason, the concept of measurability becomes crucial, as only Lebesgue measurable sets can have a well-defined measure.

Definition of Lebesgue Measurable Sets

A setEinR(or more generally inRⁿ) is said to be Lebesgue measurable if for any subsetAofR, the Lebesgue outer measure satisfies

m(A) = m(A ∩ E) + m(A ∩ E^c)

Here,mdenotes the Lebesgue outer measure, andE^cis the complement ofE. This definition ensures that the measure behaves consistently under union and intersection with other sets, providing additivity, a crucial property for any meaningful measure.

Open Sets in Real Analysis

In real analysis, an open set is defined as a set in which, for every point, there exists an epsilon neighborhood that is entirely contained within the set. For example, any open interval (a, b) is an open set because we can find a small interval around any point x in (a, b) that still lies entirely within (a, b). Open sets can also be expressed as countable unions of open intervals, which is a key property when proving Lebesgue measurability.

Countable Union of Intervals

One of the most important facts in proving that open sets are Lebesgue measurable is that every open set inRcan be written as a countable union of disjoint open intervals. For instance, an open set U can be expressed as

U = ∪_i=1^∞I_i

where eachI_iis an open interval and the intervals are disjoint. This decomposition allows us to define the measure of U as the sum of the lengths of these intervals

m(U) = Σ_i=1^∞(b_i– a_i)

whereI_i= (a_i, b_i). Since countable sums of non-negative numbers are well-defined, this sum gives a meaningful measure for the open set U.

Proof Outline Every Open Set is Lebesgue Measurable

The proof that every open set is Lebesgue measurable uses the properties of outer measure and the representation of open sets as countable unions of intervals. The main steps are

Step 1 Represent the Open Set as a Union of Intervals

LetUbe an open set inR. Then U can be written as a countable union of disjoint open intervals

U = ∪_i=1^∞(a_i, b_i)

This representation leverages the fact that the real line is separable, allowing for a countable dense subset to enumerate the intervals.

Step 2 Use the Definition of Outer Measure

Lebesgue outer measure is countably subadditive, meaning that for any sequence of setsA_i,

m(∪_i=1^∞A_i) ≤ Σ_i=1^∞m(A_i)

Applying this to the intervals that form the open set U, we find that

m(U) ≤ Σ_i=1^∞m((a_i, b_i)) = Σ_i=1^∞(b_i– a_i)

This sum is finite or infinite depending on the size of U but is always well-defined.

Step 3 Verify the Measurability Condition

To confirm that U is Lebesgue measurable, we check the Carathéodory condition for any set A,

m(A) = m(A ∩ U) + m(A ∩ U^c)

Because U is a union of disjoint intervals, any intersection with A splits naturally into intersections with individual intervals and the complement. Using properties of outer measure and countable additivity for intervals, this equality holds, proving that U is measurable.

Examples of Lebesgue Measurable Open Sets

Common examples of Lebesgue measurable open sets include

• Single open intervals, such as (0, 1), (2, 5), or (-3, 0)
• Countable unions of intervals, such as (0,1) ∪ (2,3) ∪ (4,5)
• The entire real lineRitself, which can be viewed as an open set
• The empty set, which is trivially open and measurable

All of these sets satisfy the condition of Lebesgue measurability and can be assigned a finite or infinite measure according to the sum of lengths of intervals or the total extent inR.

Applications in Integration

Knowing that every open set is Lebesgue measurable is crucial for Lebesgue integration. Functions defined on open sets, or more generally on measurable sets, can be integrated with respect to Lebesgue measure. This allows mathematicians to handle functions with discontinuities or complex domains that would not be easily integrable using the Riemann approach. It also ensures that limits of functions over open sets are well-behaved under the Lebesgue integral, supporting powerful convergence theorems like the Monotone Convergence Theorem and Dominated Convergence Theorem.

In summary, every open set in the real line or Euclidean space is Lebesgue measurable due to its representation as a countable union of disjoint intervals and the properties of Lebesgue outer measure. This fact forms a foundation for measure theory and Lebesgue integration, allowing mathematicians to rigorously define measures for complex sets and functions. Understanding the measurability of open sets bridges the gap between intuitive geometric concepts like length and area and the formal mathematical framework of measure theory. By ensuring that all open sets are measurable, Lebesgue measure provides a consistent and powerful tool for analysis, probability, and applied mathematics.