support of integrable function with respect to counting measure is countable

Let $(X,\\mathfrak{B},\\mu)$ be a measure space with $\\mu$ the counting measure. If $f$ is an integrable function, $\\displaystyle\\int_{X}f\\,d\\mu<\\infty$ , then it has countable (http://planetmath.org/Countable) support (http://planetmath.org/Support6).

Proof.

WLOG, we assume that $f$ is real valued and is nonnegative. Let $S_{0}$ denote the preimage of the interval $[1,\\infty)$ and, for every positive integer $n$ , let $S_{n}$ denote the preimage of the interval $\\left[\\frac{1}{n+1},\\frac{1}{n}\\right)$ . Since the integral of $f$ is bounded, each $S_{n}$ can be at most finite. Taking the union of all the $S_{n}$ , we get the support $\\displaystyle\\operatorname{supp}f=\\bigcup_{n=0}^{\\infty}S_{n}$ . Thus, $\\operatorname{supp}f$ is a union of countably many finite sets and hence is countable.∎

单词	SupportOfIntegrableFunctionWithRespectToCountingMeasureIsCountable
释义	support of integrable function with respect to counting measure is countable Let $(X,\\mathfrak{B},\\mu)$ be a measure space with $\\mu$ the counting measure. If $f$ is an integrable function, $\\displaystyle\\int_{X}f\\,d\\mu<\\infty$ , then it has countable (http://planetmath.org/Countable) support (http://planetmath.org/Support6). Proof. WLOG, we assume that $f$ is real valued and is nonnegative. Let $S_{0}$ denote the preimage of the interval $[1,\\infty)$ and, for every positive integer $n$ , let $S_{n}$ denote the preimage of the interval $\\left[\\frac{1}{n+1},\\frac{1}{n}\\right)$ . Since the integral of $f$ is bounded, each $S_{n}$ can be at most finite. Taking the union of all the $S_{n}$ , we get the support $\\displaystyle\\operatorname{supp}f=\\bigcup_{n=0}^{\\infty}S_{n}$ . Thus, $\\operatorname{supp}f$ is a union of countably many finite sets and hence is countable.∎
随便看	Congruence1 Congruence12 CongruenceAxioms congruence axioms CongruenceInAlgebraicNumberField congruence in algebraic number field CongruenceLattice congruence lattice CongruenceOfArbitraryDegree congruence of arbitrary degree CongruenceOfClausenAndVonStaudt congruence of Clausen and von Staudt CongruenceOnAPartialAlgebra congruence on a partial algebra CongruenceRelationOnAnAlgebraicSystem congruence relation on an algebraic system ConicalNeighborhood conical neighborhood ConicSection conic section ConjectureEveryRegularParatopologicalGroupIsTychonoff Conjecture: Every regular paratopological group is Tychonoff ConjectureOnFractionsWithOddDenominators conjecture on fractions with odd denominators ConjugacyClass