Lebesgue measurable set

A Lebesgue measurable set is a set that can be assigned a "size" or "measure," generalizing concepts like length and area to more complex sets. This is a fundamental concept in measure theory, developed by Henri-Léon Lebesgue around 1900.12

Unlike the Riemann integral, which partitions the x-axis, the Lebesgue integral partitions the y-values. This allows it to integrate functions that are not Riemann integrable, such as one that is 1 for rational numbers and 0 for irrational numbers. The Lebesgue measure assigns a value to sets, even complicated ones, by finding the smallest possible total length of intervals that cover the set. This is crucial because some sets, like the rational numbers within an interval, are not "Jordan measurable" but do have a Lebesgue measure (in this case, zero). Measure theory, built upon these ideas, provides a rigorous foundation for analysis and has applications in probability and statistics.3124