Revision #585 → #1355 · back to history
addedLebesgue integral7cfca47a7309
addedLebesgue integration (term)782405351c0e
addedDistribution function of f94e0ce85ab1d
addedLebesgue integral via slabs5b083a12e5d9
addedMeasure spacee316f827def0
addedMeasurable functionb048feabd721
addedEquivalence with Borel preimages and closure under limits2d0e6cbc5350
addedIntegral of an indicator functionc183bf51fe4e
addedMeasurable simple functionf01a8dd725d0
addedIntegral of a non-negative simple function6188e9b70e37
addedIntegral of a real-valued simple functiona3891966ffd3
addedIntegral of a simple function over a measurable subseta93dea7c74e8
addedIntegral of a non-negative measurable functionbba5db025948
addedDyadic simple-function approximation0a70794a255d
addedPositive and negative parts of a signed functioneba3445261d8
addedExistence of the Lebesgue integral of a signed function48966d0e0c91
addedLebesgue integrable function (L^1)a38e6ae98a90
addedLebesgue integral via improper Riemann integral94efd96efb26
addedIntegral of a complex-valued function3c46b2cdfe46
addedComplex Lebesgue integrability via absolute valueca24469325ae
addedDirichlet function: not Riemann-integrable but Lebesgue-integrable911396c6cd79
addedFailure of monotone convergence for Riemann integralabb9d4dc03cb
addedEqual almost everywhere3fd57b2ded61
addedIntegral respects almost-everywhere equality (non-negative)ab3510551065
addedIntegrability respects almost-everywhere equality0e9552c121cd
addedLinearity of the Lebesgue integralfc09efd1037b
addedMonotonicity of the Lebesgue integral301f17ff54e5
addedMonotone convergence theorem2a21f6b14211
addedFatou's lemma7b5e5bcbe2bf
addedDominated convergence theorema036ce823082
addedsinc function: improperly integrable but not Lebesgue integrable0698fcf6997e