91Ó°ÊÓ

In measure theory, a measure \( \mu \) is termed **locally finite** when, for any point \( x \) in a given space and every neighborhood \( U \) around this point, the measure \( \mu(U) \) is finite. This means:

• \( \mu(U) < \infty \) for every neighborhood \( U \).
• The concept ensures that, although the whole space might be infinite, small local sections of it can be measured and they have finite measure.

This property plays a crucial role as it allows us to handle spaces that are possibly infinite but locally manageable. Consider a vast geographical region. Even if the region is immeasurably vast, by zooming into local neighborhoods (like towns and cities), we find that each can still be practically measured. The importance of this concept becomes apparent when discussing compact sets, which exhibit particular behavior when intersecting with locally finite measures.

A **compact set** is a fundamental concept in topology and analysis. Intuitively, a compact set can be thought of as being both closed and bounded, although this definition applies directly in Euclidean spaces.

• Formally, a set \( K \) is compact if every open cover of \( K \) has a finite subcover.
• This essentially means that, regardless of how a space is covered by open sets, there can always be a finite number of those sets that still cover the space completely.

Think of a compact set like a tightly bounded region. No matter how you spread a blanket of open sets over it, you will only need a finite number to completely cover the entire set. This trait is significant when interfacing with locally finite measures because, by being compact, a compact set ensures that the infinite local sections around points that are small enough to manage are sufficient to cover the whole set comprehensively and measurably.

The concept of **subadditivity** is a vital characteristic of measures. A measure \( \mu \) is said to be subadditive if, for any collection of sets \( \{A_i\} \), the measure of the union of these sets does not exceed the sum of their measures:

• Mathematically, this is expressed as \( \mu\left(\bigcup_{i} A_i\right) \leq \sum_{i} \mu(A_i) \).
• This property ensures that while combining multiple measurable sets, the total measure does not disproportionately increase.

This intuitive property becomes especially handy when demonstrating that a compact set has finite measure under a locally finite measure. By selecting finite subcovers of a compact set with locally finite measures, subadditivity guarantees that the measure of the entire set remains finite. Hence, while each neighborhood measure may be finite, collectively, they ensure that the overall measure of the compact set does not become infinite. A helpful analogy is considering a cake divided into several pieces, where even when considering combinations of non-overlapping sections, the entire cake's measure is just the sum of the measures of individual pieces.