# Integration with respect to counting measure

Suppose we have$(R, P(R), v)$, is measurable space where, $R$-real number, $P(R)$ is power set, $v$, counting measure.

Consider $f(x)=1/2^x$, let, $E=[0,1]$.

$$\int_E f(x)\text{d}(v)$$ is infinite. In general . What can we say for arbitrary function when integrate it with respect to counting measure on uncountable set.

In general: if $\int_E f(x)\,d \nu$ is finite and $\nu$ denotes the counting measure, then $\{x: f(x) \neq 0\}$ is at most countable.

Hint: Note that $f$ is inegrable iff $f^+$ and $f^-$ are integrable. Note also that $$\{x: f(x) > 0\} = \bigcup_{n=1}^\infty \{x: f(x) \geq 1/n\}$$

• Thnaks, could give a hint how can I prove it?
– Team
Feb 8, 2017 at 15:34
• One more question, in general, if we integrate for the same measurable space but we change our measure as following : $$v(A)=0$$ for countable set and $$v=infinite$$ otherwise. Is there any Lemma like the one that mentioned
– Team
Feb 8, 2017 at 15:46
• @Team for your measure, every integral is either zero, infinite, or non-existent (as in $\infty - \infty$). Feb 8, 2017 at 15:49
• you are help me a lot . just a hint why. since it is first time I deal with this topic
– Team
Feb 8, 2017 at 15:59
• @Team show that this is true for the integral of any "simple function". It follows that the same holds for arbitrary functions. Feb 8, 2017 at 16:01