TheoremBase

Lebesgue Measure on the Real Line: Standing Notation

Extends the integration notation, assumes the axiom of dependent choice, and records that Lebesgue measure on the real line is a measure, so that integrals against it are those of a measure space.

Statement

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…