Category:Measure Theory Theorems
From Maths
Jump to:
navigation
,
search
Pages in category "Measure Theory Theorems"
The following 39 pages are in this category, out of 39 total.
A
A collection of subsets is a sigma-algebra if and only if it is both a p-system and a d-system
A collection of subsets is a sigma-algebra iff it is a Dynkin system and closed under finite intersections
A function is a measure iff it measures the empty set as 0, disjoint sets add, and it is continuous from below (with equiv. conditions)
A map from two sigma-algebras, A and B, is measurable if and only if for some generator of B (call it G) we have the inverse image of S is in A for every S in G
A pre-measure on a semi-ring may be extended uniquely to a pre-measure on a ring
B
Borel sigma-algebra
Borel sigma-algebra generated by
Borel sigma-algebra of the real line
C
Class of sets closed under complements properties
Composition of measurable maps is measurable
Conditions for a Dynkin system to be a sigma-algebra
Conditions for a generated Dynkin system to be a sigma-algebra
Conditions for a map to be a measurable map
D
Dynkin system generated by
Dynkin system/Proof that definitions 1 and 2 are equivalent
E
Extending pre-measures to measures
Extending pre-measures to outer-measures
I
Integral of a positive function (measure theory)
M
Measures are monotonic and subtractive
Monotone convergence theorem for non-negative numerical measurable functions
Monotone convergence theorem for non-negative numerical measurable functions/Statement
Monotonicity of the integral of non-negative extended-real-valued measurable functions with respect to a measure
P
Pre-image sigma-algebra
Pre-image sigma-algebra/Proof of claim: it is a sigma-algebra
Pre-measure/Properties in common with measure
Properties of classes of sets closed under set-subtraction
R
Ring generated by
S
Semi-ring of half-closed-half-open intervals
Sigma-algebra
Sigma-algebra generated by
T
The (pre-)measure of a set is no more than the sum of the (pre-)measures of the elements of a covering for that set
The (pre-)measure of a set is no more than the sum of the (pre-)measures of the elements of a covering for that set/Statement
The intersection of an arbitrary family of Dynkin systems is itself a Dynkin system
The ring of sets generated by a semi-ring is the set containing the semi-ring and all finite disjoint unions
The set of all mu*-measurable sets forms a ring
The set of all mu*-measurable sets forms a sigma-ring
The set of all mu*-measurable sets is a ring
The set of all mu*-measurable sets is a sigma-ring
Trace sigma-algebra/Proof of claim that it actually is a sigma-algebra
Categories
:
Theorems
Measure Theory
Navigation menu
Views
Category
Discussion
View source
History
Personal tools
Log in
Navigation
Main page
Recent changes
Random page
Help
Search
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information