The concept of Lebesgue integrability is central to modern mathematical analysis, particularly in measure theory and real analysis. It extends the traditional Riemann integral by allowing the integration of a wider class of functions. When considering a simple function such as f(x) = 1 Ã x, or equivalently f(x) = x, the question of whether it is Lebesgue integrable depends on the domain of integration and the measure space in question. Understanding whether the function x is Lebesgue integrable involves exploring how the Lebesgue integral differs from the Riemann integral and what conditions a function must satisfy to be considered integrable in the Lebesgue sense.
Understanding the Lebesgue Integral
The Lebesgue integral was developed by Henri Lebesgue in the early 20th century to overcome the limitations of the Riemann integral. While the Riemann integral focuses on partitioning the domain into small intervals, the Lebesgue integral partitions the range of the function into measurable subsets. This shift allows the Lebesgue integral to handle functions that are highly discontinuous or defined on sets with complicated structures.
For a function to be Lebesgue integrable, it must satisfy two key conditions
- The function must be measurable with respect to the Lebesgue measure.
- The integral of its absolute value must be finite; that is, â« |f(x)| dx must converge.
This means that a function can take large or even infinite values on sets of measure zero and still be integrable, provided that the total weighted area under its absolute value remains finite.
Examining the Function f(x) = x
Let’s analyze whether f(x) = x is Lebesgue integrable. The answer depends on the interval over which we are integrating. The behavior of the function changes dramatically depending on whether the domain is finite or infinite. For example, the function behaves very differently on [0,1] compared to the entire real line â.
Case 1 Integration over a Finite Interval [a, b]
When we restrict the function to a closed and bounded interval, say [0, 1], the function f(x) = x is continuous and measurable. Its absolute value |x| is also continuous and bounded by 1. Therefore, the Lebesgue integral of |x| over [0, 1] is finite. We can compute it as follows
â«â¹ |x| dx = â«â¹ x dx = ½.
Since this integral converges, f(x) = x is Lebesgue integrable on [0, 1]. In fact, any continuous function on a compact interval is both Riemann and Lebesgue integrable. This property is one of the simplest yet most important examples of how the two integration methods overlap for well-behaved functions.
Case 2 Integration over the Entire Real Line (ââ, â)
Now consider the same function defined on the entire real line. Here, the behavior changes drastically because the function grows without bound as x approaches infinity or negative infinity. To determine whether it is Lebesgue integrable, we need to check if the integral of |x| is finite
â«ââ^â |x| dx.
This integral diverges because the area under |x| grows indefinitely. The positive and negative parts do not cancel each other in the Lebesgue sense because the integral considers the absolute value of the function. Therefore, f(x) = x isnotLebesgue integrable over the entire real line.
Why the Domain Matters
The question Is 1 Ã x Lebesgue integrable? cannot be answered without specifying the domain. The key factor that determines integrability is whether the function’s absolute value produces a finite total measure when integrated. On bounded intervals, where |x| remains finite, the integral converges. However, on unbounded domains, the integral diverges because the magnitude of x increases indefinitely.
Example on the Interval (â1, 1)
On the interval (â1, 1), the function f(x) = x is again measurable and bounded. The Lebesgue integral of |x| over this interval is
â«â¹¹ |x| dx = 1.
This shows that f(x) = x is Lebesgue integrable over (â1, 1). The value is finite and represents the total area between the x-axis and the line y = x across that interval. Hence, bounded intervals always yield finite integrals for linear functions.
Lebesgue Integrability on Unbounded Intervals
When the domain extends to infinity, the situation becomes more complex. The Lebesgue integral over (0, â) or (ââ, 0) considers whether the tail of the function produces an infinite contribution. For f(x) = x, the integral â«â^â x dx diverges because the function does not decay; instead, it increases linearly. Therefore, the total accumulated area grows without limit, making it non-integrable in the Lebesgue sense.
In contrast, functions that decrease sufficiently fast as x â â can be Lebesgue integrable even over infinite intervals. For example, f(x) = e^(âx²) or f(x) = 1/(1+x²) are both Lebesgue integrable on â because their absolute integrals converge. The linear function f(x) = x, however, fails this test because its magnitude increases instead of decreasing.
Comparison Between Lebesgue and Riemann Integrability
It is important to distinguish between Lebesgue and Riemann integrability. Both definitions agree for well-behaved functions on bounded intervals, but Lebesgue integration is more general. It can handle discontinuous functions, functions with infinite values on measure-zero sets, and even functions that are not Riemann integrable. However, for unbounded functions or unbounded domains, both integrals can diverge if the total area is infinite.
For f(x) = x on [0, 1], both Riemann and Lebesgue integrals exist and yield the same value, ½. On the other hand, on (ââ, â), both integrals diverge because the positive and negative parts do not produce a finite total magnitude when integrated.
General Conditions for Lebesgue Integrability
A function f is said to be Lebesgue integrable on a measurable set E if
- f is measurable on E, and
- â«_E |f(x)| dx < â.
Thus, the key test for Lebesgue integrability is whether the integral of the absolute value is finite. This applies to all measurable functions, regardless of whether they are continuous or not. The linear function f(x) = x passes this test only when E is bounded; it fails when E is unbounded, such as the entire real line.
Extension to Higher Dimensions
The same reasoning applies when considering the function f(x) = x in higher dimensions. For instance, in â², one might consider f(x, y) = x. The question of integrability depends again on whether the domain is bounded. Over a finite region, such as a square or disk, the integral of |x| remains finite. Over the entire plane, however, the integral diverges because |x| grows without limit as one moves away from the origin.
Example in â²
On the region [â1, 1] Ã [â1, 1], the function f(x, y) = x is Lebesgue integrable. The integral is computed as
â«â¹¹ â«â¹¹ |x| dy dx = â«â¹¹ 2|x| dx = 2.
Once again, this demonstrates that bounded domains ensure integrability for simple linear functions.
The function f(x) = 1 Ã x, or simply f(x) = x, is Lebesgue integrable on any bounded measurable interval, such as [0, 1] or [â1, 1], because its absolute value produces a finite integral. However, it is not Lebesgue integrable on the entire real line â or any unbounded domain, as the integral of |x| diverges. The concept of Lebesgue integrability provides a deeper understanding of what it means for a function to be integrable beyond the limitations of classical Riemann theory. It emphasizes the importance of finiteness in the total measure of |f(x)|, revealing that even simple functions like x can be integrable in some contexts but not others, depending entirely on the domain of integration and the growth behavior of the function.