Loading [MathJax]/jax/output/CommonHTML/jax.js
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 D1680
Zero measure
Formulation 0
Let
M
=
(
X
,
F
)
be a
D1108: Measurable space
.
A
D85: Unsigned basic measure
μ
:
F
→
[
0
,
∞
]
is a
zero measure
on
M
if and only if
∀
E
∈
F
:
μ
(
E
)
=
0