Citat:
Ursprungligen postat av muminporr
Let μ, v be positive measures such that v << μ. Show that μ << v iff dv/dμ > 0.
Vad menas egentligen med dv/dμ > 0?
Jag har lite dålig koll på Radon-Nikodym-derivatan i allmänhet.
Betyder bara dv = fdμ, att v(E) = ∫_{E} fdμ existerar? Har den någon annan funktion?
Sedan, krävs det inte att μ, v åtminstone måste vara σ-finita?
Enligt min bok så existerar dv = fdμ för något f, om v << μ. Detta följer av Lebesgue-Radon-Nikodym på något sätt, men jag är osäker på hur.
jo RN theorem kräver att måtten ska vara σ-finita.
f:=dv/dμ > 0 påståendet måste tolkas som att v(E) = ∫_{E} fdμ för alla E, och f(x)>0 för alla x.
varför du bara behöver visa att om 0=∫_{E} fdμ så är μ(E)=0, notera att E kan skrivas som en union av set E_n={x i E sådan att f(x)>1/n}
angående problemet du posta på nästa sida så är ju det bara dominated conv theorem i en annan form |f_n - f| domineras ju av 2g