# Related Measures

($\Omega, F,P)$ is a measure space, $\ Q \ll P$ ($Q$ is related to $P$) i.e. $\ Q(A)= \int 1_ADdP$ where $\ D=dQ/dP$. Then $X$ is integrable wrt $Q$ if and only if $XD$ is integrable wrt $P$ and $\int XdQ = \int XDdP$. How do I prove this? I can only do it for $X$ a simple Borel function, not a general one.

-

## 1 Answer

• Let $X$ integrable wrt $Q$. Write $X=X^+-X^-$, where $X^+$ and $X^-$ are the positive and negative parts of $X$. Let $X_n$ a sequence of step functions which converge pointwise to $X^+$ and $X_n\leq X^+$. We can show by Fatou's lemma that $$\int X^+DdP=\int \liminf_n X_nDdP\leq \liminf_n\int X_nDdP=\liminf_n\int X_ndQ\leq \int X_n^+dQ,$$ hence $DX^+$ is $P$ integrable. Do the same for $X^-$ to get the result. Use the same idea to get the converse, using the fact that $D$ is non-negative.
• You got $\int XdQ=\int XDdP$ for each $X$ simple. By a monotone convergence argument, you have to show that this equality holds if $X\geq 0$ and is integrable. Then you will deduce the general case.
-

Ok, so for the second one I can say that for any non negative borel function X there exits a monotone sequence Xi where Xi are simple for all i such that $\ X=Sup_i(X_i)$ then $\int X dQ = \ int sup_iX_i dQ =sup_i \ intX_idQ$ via monotone convergence which is then $\sup_i \ intX_iDdP$ But now what can I do with this? – Rosie May 31 '12 at 21:53
You can write a Borel-measurable function as a difference of two measurable non-negative functions. – Davide Giraudo Jun 2 '12 at 13:02
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 31, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.905809223651886, "perplexity_flag": "head"}