Intereting Posts

Let $f$ be continuous and $U \subset \mathbb{R}^n$ open, if $f: U \rightarrow \mathbb{R}^m $ is injective then $n \leq m$?
What's the name of the approximation $(1+x)^n \approx 1 + xn$?
A nice pattern for the regularized beta function $I(\alpha^2,\frac{1}{4},\frac{1}{2})=\frac{1}{2^n}\ $?
Mean value theorem for the second derivative, when the first derivative is zero at endpoints
A prime ring whose socle is nonzero and of finite length is simple Artinian.
What does the logarithm of a hyperbolic line look like?
When is $A- B = B- A$?
Why $c(a_1 \ a_2 \dots \ a_k)c^{-1}=(c(a_1) c(a_2)… c(a_k))$?
Convolution of an integrable function of compact support with a bump function.
Do a matrix and its transpose have the same invariant factors over a PID?
Help with proof of expected value of gamma distribution
Convergence of $\sqrt{n}x_{n}$ where $x_{n+1} = \sin(x_{n})$
About sparse polynomial squares
What is the relation between rank of a matrix, its eigenvalues and eigenvectors
Why is mathematical induction a valid proof technique?

Suppose we have two probability measures $\mu$ and $\delta$ on $(X, \mathcal{B})$ such that $ \delta <<\mu << \delta $. How can I prove that $f \in L^1(X,\mathcal{B}, \mu)$ iff $f \in L^1(X,\mathcal{B}, \delta)$?

My idea was to use that the Radon Nikodym theorem. So we know there exist $g$ $\mu$-measurable and $g^{-1}$ $\delta$-measurable such that for all $B \in \mathcal{B}$:

$$\delta(B) = \int_B g d \mu$$

- How many smooth functions are non-analytic?
- An inequality of $L^p$ norms of linear combinations of characteristic functions of balls
- Is there a formula similar to $f(x+a) = e^{a\frac{d}{dx}}f(x)$ to express $f(\alpha\cdot x)$?
- Proof on showing if F(x,y,z)=0 then product of partial derivatives (evaluated at an assigned coordinate) is -1
- Law of iterated logarithms for BM
- Prob. 10 (d), Chap. 6, in Baby Rudin: Holder's Inequality for Improper Integrals

and

$$\mu(B) = \int_B g^{-1} d \delta$$.

Then if $f$ is in $L^1(X,\mathcal{B}, \mu)$, we have

$$\int_X |f| d\delta = \int_X |f g| d\mu$$

and so $f \in L^1(X,\mathcal{B}, \delta)$ if we can claim that $fg \in L^1(X,\mathcal{B}, \delta)$. However, we only know that $g$ is $\mu$-measurable! So I am not sure if this works… Any thoughts? Of course one can use a Holder type inequality for probability spaces to conclude that $\int_X |f g| d\mu \leq \int_X |f| d\mu \int_X |g| d\mu$ but can I say that $\int_X |g| d\mu < \infty$??

- Measure on topological spaces
- How is this $\mu_0$ not a premeasure?
- Limit of a summation, using integrals method
- Must the intersection of connected sets be connected?
- Cardinality of Vitali sets: countably or uncountably infinite?
- Characterization of Almost-Everywhere convergence
- Proof of the irrationality of $\sqrt{3}$ - logic question
- If $f(2x)=2f(x), \,f'(0)=0$ Then $f(x)=0$
- Optimal assumptions for a theorem of differentiation under the integral sign
- Is the intersection of an arbitrary collection of semirings a semiring?

Your claim is not true.

Take $X = (0,1)$, $\mu = m$ Lebesgue measure, and $\delta$ defined by $d\delta = g d\mu$ where $g(x) = \frac{1}{2} x^{-1/2}$. Then $\mu, \delta$ are both probability measures and are mutually absolutely continuous.

However, $g$ is in $L^1(\mu)$ but not in $L^1(\delta)$, since $\int g\,d\delta = \int g^2\,dm = \infty$.

It is true that $\int |g|\,d\mu = 1$, but the “Holder type inequality” you claim is false. In the above example, take $f=g$; then $\int |fg|\,d\mu = \infty$ while $\int |f|\,d\mu = \int |g| \,d\mu = 1$.

- Solving Pell's equation(or any other diophantine equation) through modular arithmetic.
- Evaluation of $\int_0^1 \frac{\log(1+x)}{1+x}\log\left(\log\left(\frac{1}{x}\right)\right) \ dx$
- Does an uncountable discrete subspace of the reals exist?
- Efficient computation of the trajectory of roots of a parameterized polynomial
- Continuous extensions of continuous functions on dense subspaces
- Find the trace of the matrix?
- Prove $-(-a)=a$ using only ordered field axioms
- Is there a sentence in the language of $\mathrm{PA}$ asserting that $\mathrm{PA}$ is sound?
- How can I compare two Markov processes?
- Find $f$ if $ f(x)+f\left(\frac{1}{1-x}\right)=x $
- proof of connectedness of $\Bbb{R}$
- Existence of non-trivial ultrafilter closed under countable intersection
- Is there a map from the torus to the genus 2 surface which is injective on homology?
- Cardinality of Borel sigma algebra
- Why do we want probabilities to be *countably* additive?