Questions related to measures, sigma-algebras, measure spaces, Lebesgue integration and the like.
The modern notion of measure, developed in the late 19th century, is an extension of the notions of length, area or volume. A measure $\mu$ assigns numbers $\mu(A)$ to certain subsets $A$ of a given space. More specifically, a measure is a function from a $\sigma$-algebra to the extended real line (i.e. it may take infinite values). A $\sigma$-algebra is a collection of subsets of a set $X$, including $X$ itself and closed under complements and countable unions. A measure $\mu$ on a $\sigma$-algebra $\Sigma$ must satisfy the following properties:
- Nonnegativity: For every $A\in\Sigma$, $\mu(A)\ge0$.
- Null empty set: $\mu(\varnothing)=0$.
- Countable additivity: For every sequence $(A_n)_{n=1}^\infty$ of pairwise disjoint sets in $\Sigma$, $\mu\left(\bigcup_{n=1}^\infty A_n\right)=\sum_{n=1}^\infty\mu(A_n)$.
The notion of measure is a natural generalization of the following notions:
- Length of an interval
- Area of a plane figure
- Volume of a solid
- Amount of mass contained in a region
- Probability that an event from $A$ occurs, etc.
It originated in real analysis and is used now in many areas of mathematics, including geometry, probability theory, dynamical systems, functional analysis, etc.
Reference: Measure Theory
