# Category:Measure Theory

This category contains results about Measure Theory.

Definitions specific to this category can be found in Definitions/Measure Theory.

**Measure theory** is the subfield of analysis concerned with the properties of measures, particularly the Lebesgue measure.

## Subcategories

This category has the following 10 subcategories, out of 10 total.

### D

### I

### L

### O

### P

### S

## Pages in category "Measure Theory"

The following 192 pages are in this category, out of 192 total.

### A

- A.E. Equal Positive Measurable Functions have Equal Integrals
- Absolute Value of Simple Function is Simple Function
- Absolute Value of Simple Function is Simple Function/Proof 1
- Absolute Value of Simple Function is Simple Function/Proof 2
- Additive and Countably Subadditive Function is Countably Additive

### B

### C

- Cantor Set has Zero Lebesgue Measure
- Carathéodory's Theorem (Measure Theory)
- Characteristic Function Measurable iff Set Measurable
- Characterization of Integrable Functions
- Characterization of Measurable Functions
- Characterization of Measures
- Characterization of Pre-Measures
- Co-Countable Measure is Measure
- Co-Countable Measure is Probability Measure
- Completion Theorem (Measure Spaces)
- Completion Theorem (Measure Spaces)/Lemma
- Composition of Measurable Mappings is Measurable
- Construction of Outer Measure
- Continuity under Integral Sign
- Continuous Mapping is Measurable
- Convergence a.u. Implies Convergence a.e.
- Convergence in Norm Implies Convergence in Measure
- Convergence in Sigma-Finite Measure
- Convolution of Integrable Function with Bounded Function
- Convolution of Measurable Function and Measure is Bilinear
- Convolution of Measurable Functions is Bilinear
- Convolution of Measures as Pushforward Measure
- Convolution of Measures is Bilinear
- Countably Additive Function also Finitely Additive
- Counting Measure is Measure
- Cover of Interval By Closed Intervals is not Pairwise Disjoint

### D

### E

### F

- Factorization Lemma
- Factorization Lemma for Extended Real-Valued Functions
- Factorization Lemma for Real-Valued Functions
- Factorization Lemma/Extended Real-Valued Function
- Factorization Lemma/Real-Valued Function
- Fatou's Lemma for Integrals
- Fatou's Lemma for Integrals/Integrable Functions
- Fatou's Lemma for Integrals/Positive Measurable Functions
- Fatou's Lemma for Measures
- Fatou's Lemma for Measures/Corollary
- Fubini's Theorem
- Function Measurable iff Positive and Negative Parts Measurable

### I

- Induced Outer Measure Restricted to Semiring is Pre-Measure
- Infinite Measure is Measure
- Inner Limit in Hausdorff Space by Open Neighborhoods
- Inner Limit in Hausdorff Space by Set Closures
- Integrable Function is A.E. Real-Valued
- Integrable Function under Pushforward Measure
- Integrable Function Zero A.E. iff Absolute Value has Zero Integral
- Integrable Functions with Equal Integrals on Sub-Sigma-Algebra are A.E. Equal
- Integral of Characteristic Function
- Integral of Characteristic Function/Corollary
- Integral of Increasing Function Composed with Measurable Function
- Integral of Increasing Function Composed with Measurable Function/Corollary
- Integral of Integrable Function is Additive
- Integral of Integrable Function is Homogeneous
- Integral of Integrable Function is Monotone
- Integral of Integrable Function over Null Set
- Integral of Positive Measurable Function as Limit of Integrals of Positive Simple Functions
- Integral of Positive Measurable Function Extends Integral of Positive Simple Function
- Integral of Positive Measurable Function is Additive
- Integral of Positive Measurable Function is Monotone
- Integral of Positive Measurable Function is Positive Homogeneous
- Integral of Positive Simple Function is Additive
- Integral of Positive Simple Function is Increasing
- Integral of Positive Simple Function is Positive Homogeneous
- Integral of Positive Simple Function Well-Defined
- Integral of Series of Positive Measurable Functions
- Integral of Survival Function
- Integral with respect to Dirac Measure
- Integral with respect to Discrete Measure
- Integral with respect to Kernel Transformation of Measure
- Integral with respect to Pushforward Measure
- Integral with respect to Series of Measures
- Intersection Measure is Measure

### J

### K

### L

- Lebesgue Integral is Extension of Riemann Integral
- Lebesgue Measure Invariant under Orthogonal Group
- Lebesgue Measure is Diffuse
- Lebesgue Measure is Translation-Invariant
- Lebesgue Measure of Matrix Image
- Lebesgue Measure of Scalar Multiple
- Lebesgue Pre-Measure is Pre-Measure
- Lebesgue's Dominated Convergence Theorem
- Linear Combination of Measures

### M

- Mapping between Euclidean Spaces Measurable iff Components Measurable
- Mapping Measurable iff Measurable on Generator
- Markov's Inequality
- Measurable Function is Simple Function iff Finite Image Set
- Measurable Function Pointwise Limit of Simple Functions
- Measurable Functions Determine Measurable Sets
- Measurable Functions with Equal Integrals on Sub-Sigma-Algebra are A.E. Equal
- Measurable Image
- Measurable Mappings from Product Measurable Space
- Measurable Mappings to Product Measurable Space
- Measurable Sets form Algebra of Sets
- Measurable Sets form Sigma-Algebra
- Measure Invariant on Generator is Invariant
- Measure is Countably Subadditive
- Measure is Finitely Additive Function
- Measure is Monotone
- Measure is Strongly Additive
- Measure is Subadditive
- Measure is Subadditive/Corollary
- Measure of Empty Set is Zero
- Measure of Interval is Length
- Measure of Set Difference with Subset
- Measure of Stieltjes Function of Measure
- Measure Space from Outer Measure
- Measure Space Sigma-Finite iff Cover by Sets of Finite Measure
- Measure with Density is Measure
- Minkowski's Inequality for Double Integrals
- Monotone Convergence Theorem (Measure Theory)
- Monotone Convergence Theorem (Measure Theory)/Corollary

### N

### O

### P

- Piecewise Combination of Measurable Mappings is Measurable
- Piecewise Combination of Measurable Mappings is Measurable/Binary Case
- Piecewise Combination of Measurable Mappings is Measurable/General Case
- Pointwise Convergence Implies Convergence in Measure
- Pointwise Difference of Measurable Functions is Measurable
- Pointwise Infimum of Measurable Functions is Measurable
- Pointwise Limit of Measurable Functions is Measurable
- Pointwise Lower Limit of Measurable Functions is Measurable
- Pointwise Maximum of Measurable Functions is Measurable
- Pointwise Minimum of Measurable Functions is Measurable
- Pointwise Product of Measurable Functions is Measurable
- Pointwise Product of Simple Functions is Simple Function
- Pointwise Sum of Measurable Functions is Measurable
- Pointwise Sum of Simple Functions is Simple Function
- Pointwise Supremum of Measurable Functions is Measurable
- Pointwise Upper Limit of Measurable Functions is Measurable
- Positive Part of Simple Function is Simple Function
- Pratt's Lemma
- Pre-Image Sigma-Algebra on Domain is Generated by Mapping
- Pre-Measure of Finite Stieltjes Function Extends to Unique Measure
- Pre-Measure of Finite Stieltjes Function is Pre-Measure
- Probability Measure is Subadditive
- Pushforward Measure is Measure
- Pushforward of Lebesgue Measure under General Linear Group

### R

### S

- Series of Measures is Measure
- Series of Positive Measurable Functions is Positive Measurable Function
- Sigma-Algebras with Independent Generators are Independent
- Simple Function has Standard Representation
- Simple Function is Measurable
- Standard Machinery
- Stieltjes Function of Measure is Stieltjes Function
- Stieltjes Function of Measure of Finite Stieltjes Function
- Sum of Integrals on Complementary Sets