FIND ME ON

GitHub

LinkedIn

Absolute Continuity

🌱

Definition
MeasureTheory

Let μ,ν\mu,\nu be measures on (X,F)(X,\mathcal{F}), μ\mu is said to be absolutely continuous, (μν\mu\ll\nu), with respect to ν\nu if AF:ν(A)=0    μ(A)=0\forall A\in\mathcal{F}:\quad\nu(A)=0\implies\mu(A)=0

F:RRF:\mathbb{R}\to \mathbb{R} is said to be absolutely continuous if and only if ϵ>0\forall\epsilon>0, δ\exists\delta such that whenever {(aj,bj)}j=1n\{ (a_{j},b_{j}) \}_{j=1}^{n} are pairwise disjoint intervals with j=1n(bjaj)<δ\sum_{j=1}^{n}(b_{j}-a_{j})<\deltathen we have j=1nF(bj)F(aj)<ϵ\sum_{j=1}^{n}|F(b_{j})-F(a_{j})|<\epsilon

Assuming mm is the Lebesgue Measure on (R,M)(\mathbb{R},\mathscr{M}). Then if FF is absolutely continuous we have that the Lebesgue-Stieltjes Measure is a.c. w.r.t. mm i.e. μFm    ϵ>0,δ>0:m(j=1n(ajbj])<δ    μF(j=1n(aj,bj])<ϵ\mu_{F}\ll m \iff \forall\epsilon>0,\exists\delta>0: m\left(\bigsqcup_{j=1}^{n}(a_{j}b_{j}]\right)<\delta \implies \mu_{F}\left(\bigsqcup_{j=1}^{n}(a_{j},b_{j}]\right)<\epsilon

Linked from