91Ó°ÊÓ

When dealing with measure theory, a key concept is that of non-negativity. In measure theory, a measure assigns a non-negative number to every set within a certain collection of sets (called a sigma-algebra, here denoted as \(\mathfrak{A}\)). Non-negativity ensures that measures make sense in the real world where size or volume cannot be negative.
For example, consider the function \(\mu_f(A) = \int_X f \cdot \chi_A \, d\mu\). Here, \(f\) is a non-negative function because it's an element of \(\mathcal{T}^+\), ensuring that it doesn't take any negative values.
Additionally, \(\chi_A\) is a characteristic function for the set \(A\), and it only takes values of zero or one. Because both \(f\) and \(\chi_A\) are non-negative, the product \(f \cdot \chi_A\) is also non-negative.

• This tells us that their integral, \(\mu_f(A)\), over a set \(A\) is always greater than or equal to zero.
• Thus, non-negativity guarantees that the measure \(\mu_f\) aligns with our intuitive understanding of size or volume.

In measure theory, understanding the null condition for an empty set is important. The empty set, denoted as \(\emptyset\), inherently has no elements. This simplicity means its measure, or 'size', should naturally be zero.
For the measure \(\mu_f\), when applied to the empty set, it transforms to \(\mu_f(\emptyset) = \int_X f \cdot \chi_\emptyset \, d\mu\). Here, the characteristic function \(\chi_\emptyset\) of the empty set is zero at all points, because there are no points in \(\emptyset\).

• This results in \(f \cdot \chi_\emptyset\) being zero everywhere, leading to an integral value of zero.
• Thus, \(\mu_f(\emptyset) = 0\), satisfying the requirement of a null measure for the empty set.

Recognizing that the empty set has a measure of zero applies broadly across measure theory. It confirms that our mathematical framework is logically consistent with our expectation that no "size" exists for something with no elements.

Countable additivity, a cornerstone concept in measure theory, ensures that the measure of a infinite union of disjoint sets equals the sum of the measures of each set.
Consider a countable collection of disjoint sets \((A_i)_{i \in \mathbb{N}}\) in \(\mathfrak{A}\). For the measure \(\mu_f\), we want to confirm that
\[\mu_f\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty \mu_f(A_i)\].
Using the definition, \(\mu_f\left(\bigcup_{i=1}^\infty A_i\right) = \int_X f \cdot \chi_{\bigcup_{i=1}^\infty A_i} \, d\mu\), and breaking it into parts gives
\[\sum_{i=1}^\infty \mu_f(A_i) = \sum_{i=1}^\infty \int_X f \cdot \chi_{A_i} \, d\mu\].
Since the integrals of sums of disjoint functions equal the sum of their integrals, we verify that
\[\int_X f \cdot \chi_{\bigcup_{i=1}^\infty A_i} \, d\mu = \sum_{i=1}^\infty \int_X f \cdot \chi_{A_i} \, d\mu\].

• This principle ensures consistency in the way measures combine over infinite operations, crucial for building complex measures.
• Countable additivity empowers us to extend measures beyond finite worlds and confirms that our measures uphold their properties over infinite scenarios.