positive measure

(mathematical analysis) A function whose domain is a σ-algebra, whose codomain is [0,∞], and which is countably additive.

Japanese Meaning

数学的解析において、σ‐加法族上で定義され、値域が [0,∞] であり、可算加法性を満たす非負の関数。すなわち、集合に対して0以上の値を割り当て、可算加法性を持つ測度のことを指す。

定理は、可測集合がσ-代数を定義域とし値域が[0,∞]で可算加法性を満たす測度によって正の値を割り当てられているなら、その集合を支持する非ゼロの可積分関数が存在することを保証する。

Sense（1）

(mathematical analysis) A function whose domain is a σ-algebra, whose codomain is [0,∞], and which is countably additive.

positive measures

（ plural ）