Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
Set of symbols
▼
Alphabet
▼
Deduction system
▼
Theory
▼
Zermelo-Fraenkel set theory
▼
Set
▼
Binary cartesian set product
▼
Binary relation
▼
Map
▼
Function
▼
Measure
▼
Real measure
▼
Euclidean real measure
▼
Complex measure
▼
Basic measure
▼
Unsigned basic measure
Definition D3880
Unsigned basic integral measure
Formulation 0
Let
M
=
(
X
,
F
,
μ
)
be a
D1158: Measure space
such that
(i)
f
:
X
→
[
0
,
∞
]
is a
D313: Measurable function
on
M
The
unsigned basic integral measure
on
M
with respect to
f
is the
D4361: Unsigned basic function
F
→
[
0
,
∞
]
,
E
↦
∫
E
f
d
μ
Children
▶
D2888: Radon-Nikodym derivative