Teorema Radon-Nikodym

Radon–Nikodym theorem In mathematics, the Radon–Nikodym theorem is a result in measure theory that expresses the relationship between two measures defined on the same measurable space. A measure is a set function that assigns a consistent magnitude to the measurable subsets of a measurable space. Examples of a measure include area and volume, where the subsets are sets of points; or the probability of an event, which is a subset of possible outcomes within a wider probability space.

One way to derive a new measure from one already given is to assign a density to each point of the space, then integrate over the measurable subset of interest. This can be expressed as {estilo de exibição não (UMA)=int_{UMA}f,dmu ,} where ν is the new measure being defined for any measurable subset A and the function f is the density at a given point. The integral is with respect to an existing measure μ, which may often be the canonical Lebesgue measure on the real line R or the n-dimensional Euclidean space Rn (corresponding to our standard notions of length, area and volume). Por exemplo, if f represented mass density and μ was the Lebesgue measure in three-dimensional space R3, then ν(UMA) would equal the total mass in a spatial region A.

The Radon–Nikodym theorem essentially states that, sob certas condições, any measure ν can be expressed in this way with respect to another measure μ on the same space. The function  f  is then called the Radon–Nikodym derivative and is denoted by {estilo de exibição {tfrac {dnu }{dmu }}} .[1] An important application is in probability theory, leading to the probability density function of a random variable.

The theorem is named after Johann Radon, who proved the theorem for the special case where the underlying space is Rn in 1913, and for Otto Nikodym who proved the general case in 1930.[2] Dentro 1936 Hans Freudenthal generalized the Radon–Nikodym theorem by proving the Freudenthal spectral theorem, a result in Riesz space theory; this contains the Radon–Nikodym theorem as a special case.[3] A Banach space Y is said to have the Radon–Nikodym property if the generalization of the Radon–Nikodym theorem also holds, mutatis mutandis, for functions with values in Y. All Hilbert spaces have the Radon–Nikodym property.

Conteúdo 1 Formal description 1.1 Teorema Radon-Nikodym 1.2 Radon–Nikodym derivative 1.3 Extension to signed or complex measures 2 Exemplos 3 Propriedades 4 Formulários 4.1 Probability theory 4.2 Financial mathematics 4.3 Information divergences 5 The assumption of σ-finiteness 5.1 Negative example 5.2 Positive result 6 Prova 6.1 For finite measures 6.2 For σ-finite positive measures 6.3 For signed and complex measures 7 The Lebesgue decomposition theorem 8 Veja também 9 Notas 10 References Formal description Radon–Nikodym theorem The Radon–Nikodym theorem involves a measurable space {estilo de exibição (X,Sigma )} on which two σ-finite measures are defined, {mostre o estilo dele } e {estilo de exibição não .} Diz que, E se {displaystyle nu ll mu } (isso é, E se {estilo de exibição não } is absolutely continuous with respect to {mostre o estilo dele } ), then there exists a {displaystyle Sigma } -measurable function {estilo de exibição f:Xto [0,infty ),} such that for any measurable set {displaystyle Asubseteq X,} {estilo de exibição não (UMA)=int_{UMA}f,dmu .} Radon–Nikodym derivative The function {estilo de exibição f} satisfying the above equality is uniquely defined up to a {mostre o estilo dele } -null set, isso é, E se {estilo de exibição g} is another function which satisfies the same property, então {displaystyle f=g} {mostre o estilo dele } -almost everywhere. Function {estilo de exibição f} is commonly written {fratura {dnu }{dmu }} and is called the Radon–Nikodym derivative. The choice of notation and the name of the function reflects the fact that the function is analogous to a derivative in calculus in the sense that it describes the rate of change of density of one measure with respect to another (the way the Jacobian determinant is used in multivariable integration).

Extension to signed or complex measures A similar theorem can be proven for signed and complex measures: nomeadamente, that if {mostre o estilo dele } is a nonnegative σ-finite measure, e {estilo de exibição não } is a finite-valued signed or complex measure such that {displaystyle nu ll mu ,} isso é, {estilo de exibição não } is absolutely continuous with respect to {mostre o estilo dele ,} then there is a {mostre o estilo dele } -integrable real- or complex-valued function {estilo de exibição g} sobre {estilo de exibição X} such that for every measurable set {estilo de exibição A,} {estilo de exibição não (UMA)=int_{UMA}g,dmu .} Examples In the following examples, the set X is the real interval [0,1], e {displaystyle Sigma } is the Borel sigma-algebra on X.

{mostre o estilo dele } is the length measure on X. {estilo de exibição não } assigns to each subset Y of X, twice the length of Y. Então, {estilo de texto {fratura {dnu }{dmu }}=2} . {mostre o estilo dele } is the length measure on X. {estilo de exibição não } assigns to each subset Y of X, the number of points from the set {0.1, …, 0.9} that are contained in Y. Então, {estilo de exibição não } is not absolutely-continuous with respect to {mostre o estilo dele } since it assigns non-zero measure to zero-length points. De fato, there is no derivative {estilo de texto {fratura {dnu }{dmu }}} : there is no finite function that, when integrated e.g. a partir de {estilo de exibição (0.1-varepsilon )} para {estilo de exibição (0.1+varepsilon )} , dá {estilo de exibição 1} para todos {displaystyle varepsilon >0} . {displaystyle mu =nu +delta _{0}} , Onde {estilo de exibição não } is the length measure on X and {displaystyle delta _{0}} is the Dirac measure on 0 (it assigns a measure of 1 to any set containing 0 and a measure of 0 to any other set). Então, {estilo de exibição não } is absolutely continuous with respect to {mostre o estilo dele } , e {estilo de texto {fratura {dnu }{dmu }}=1_{Xsetminus {0}}} – the derivative is 0 no {displaystyle x=0} e 1 no {displaystyle x>0} .[4] Properties Let ν, m, and λ be σ-finite measures on the same measurable space. If ν ≪ λ and μ ≪ λ (ν and μ are both absolutely continuous with respect to λ), então {estilo de exibição {fratura {d(nu +mu )}{dlambda }}={fratura {dnu }{dlambda }}+{fratura {dmu }{dlambda }}quad lambda {texto{-almost everywhere}}.} If ν ≪ μ ≪ λ, então {estilo de exibição {fratura {dnu }{dlambda }}={fratura {dnu }{dmu }}{fratura {dmu }{dlambda }}quad lambda {texto{-almost everywhere}}.} Em particular, if μ ≪ ν and ν ≪ μ, então {estilo de exibição {fratura {dmu }{dnu }}= esquerda({fratura {dnu }{dmu }}certo)^{-1}quad nu {texto{-almost everywhere}}.} If μ ≪ λ and g is a μ-integrable function, então {estilo de exibição int _{X}g,sangue = você _{X}g{fratura {dmu }{dlambda }},dlambda .} If ν is a finite signed or complex measure, então {estilo de exibição {d|não | over dmu }= esquerda|{dnu over dmu }certo|.} Applications Probability theory The theorem is very important in extending the ideas of probability theory from probability masses and probability densities defined over real numbers to probability measures defined over arbitrary sets. It tells if and how it is possible to change from one probability measure to another. Especificamente, the probability density function of a random variable is the Radon–Nikodym derivative of the induced measure with respect to some base measure (usually the Lebesgue measure for continuous random variables).

Por exemplo, it can be used to prove the existence of conditional expectation for probability measures. The latter itself is a key concept in probability theory, as conditional probability is just a special case of it.

Financial mathematics Amongst other fields, financial mathematics uses the theorem extensively, in particular via the Girsanov theorem. Such changes of probability measure are the cornerstone of the rational pricing of derivatives and are used for converting actual probabilities into those of the risk neutral probabilities.

Information divergences If μ and ν are measures over X, and μ ≪ ν The Kullback–Leibler divergence from ν to μ is defined to be {displaystyle D_{texto{KL}}(mu parallel nu )=int_{X}log à esquerda({fratura {dmu }{dnu }}certo);dmu .} For α > 0, α ≠ 1 the Rényi divergence of order α from ν to μ is defined to be {displaystyle D_{alfa }(mu parallel nu )={fratura {1}{alfa -1}}log à esquerda(int_{X}deixei({fratura {dmu }{dnu }}certo)^{alfa -1};dmu certo).} The assumption of σ-finiteness The Radon–Nikodym theorem above makes the assumption that the measure μ with respect to which one computes the rate of change of ν is σ-finite.

Negative example Here is an example when μ is not σ-finite and the Radon–Nikodym theorem fails to hold.

Consider the Borel σ-algebra on the real line. Let the counting measure, m, of a Borel set A be defined as the number of elements of A if A is finite, and ∞ otherwise. One can check that μ is indeed a measure. It is not σ-finite, as not every Borel set is at most a countable union of finite sets. Let ν be the usual Lebesgue measure on this Borel algebra. Então, ν is absolutely continuous with respect to μ, since for a set A one has μ(UMA) = 0 only if A is the empty set, and then ν(UMA) is also zero.

Assume that the Radon–Nikodym theorem holds, isso é, for some measurable function f one has {estilo de exibição não (UMA)=int_{UMA}f,dmu } for all Borel sets. Taking A to be a singleton set, A = {uma}, and using the above equality, one finds {displaystyle 0=f(uma)} for all real numbers a. This implies that the function  f , and therefore the Lebesgue measure ν, é zero, which is a contradiction.

Positive result Assuming {displaystyle nu ll mu ,} the Radon-Nikodym theorem also holds if {mostre o estilo dele } is localizable and {estilo de exibição não } is accessible with respect to {mostre o estilo dele } ,[5]:p. 189, Exercise 9O  i.e., {estilo de exibição não (UMA)=sup{não (B):Bin {cal {P}}(UMA)cap mu ^{nome do operador {pre} }(mathbb {R} _{geq 0})}} para todos {displaystyle Ain Sigma .} [6]: Theorem 1.111 (Radon-Nikodym, II) [5]:p. 190, Exercise 9T(ii)  Proof This section gives a measure-theoretic proof of the theorem. There is also a functional-analytic proof, using Hilbert space methods, that was first given by von Neumann.

For finite measures μ and ν, the idea is to consider functions  f  with f dμ ≤ dν. The supremum of all such functions, along with the monotone convergence theorem, then furnishes the Radon–Nikodym derivative. The fact that the remaining part of μ is singular with respect to ν follows from a technical fact about finite measures. Once the result is established for finite measures, extending to σ-finite, signed, and complex measures can be done naturally. The details are given below.

For finite measures Constructing an extended-valued candidate First, suppose μ and ν are both finite-valued nonnegative measures. Let F be the set of those extended-value measurable functions f  : X → [0, ∞] de tal modo que: {displaystyle forall Ain Sigma :qquad int _{UMA}f,dmu leq nu (UMA)} F ≠ ∅, since it contains at least the zero function. Now let f1,  f2 ∈ F, and suppose A is an arbitrary measurable set, e definir: {estilo de exibição {começar{alinhado}UMA_{1}&=left{xin A:f_{1}(x)>f_{2}(x)certo},\UMA_{2}&=left{xin A:f_{2}(x)geq f_{1}(x)certo},fim{alinhado}}} Then one has {estilo de exibição int _{UMA}max left{f_{1},f_{2}certo},sangue = você _{UMA_{1}}f_{1},dmu +int _{UMA_{2}}f_{2},dmu leq nu left(UMA_{1}certo)+nu left(UMA_{2}certo)=nu (UMA),} e, portanto,, max{ f 1,  f 2} ∈ F.

Agora, deixar { fn } be a sequence of functions in F such that {displaystyle lim _{até o infinito }int_{X}f_{n},dmu =sup _{fin F}int_{X}f,dmu .} By replacing  fn  with the maximum of the first n functions, one can assume that the sequence { fn } está aumentando. Let g be an extended-valued function defined as {estilo de exibição g(x):=lim_{até o infinito }f_{n}(x).} By Lebesgue's monotone convergence theorem, um tem {displaystyle lim _{até o infinito }int_{UMA}f_{n},sangue = você _{UMA}lim_{até o infinito }f_{n}(x),dmu (x)=int_{UMA}g,dmu leq nu (UMA)} for each A ∈ Σ, e, portanto, g ∈ F. Também, by the construction of g, {estilo de exibição int _{X}g,dmu =sup _{fin F}int_{X}f,dmu .} Proving equality Now, since g ∈ F, {estilo de exibição não _{0}(UMA):=nu (UMA)-int_{UMA}g,dmu } defines a nonnegative measure on Σ. To prove equality, we show that ν0 = 0.

Suppose ν0 ≠ 0; então, since μ is finite, there is an ε > 0 such that ν0(X) > ε μ(X). To derive a contradiction from ν0 ≠ 0, we look for a positive set P ∈ Σ for the signed measure ν0 − ε μ (ou seja. a measurable set P, all of whose measurable subsets have non-negative ν0−ε μ measure), where also P has positive μ-measure. Conceptually, we're looking for a set P, where ν0 ≥ ε μ in every part of P. A convenient approach is to use the Hahn decomposition (P, N) for the signed measure ν0 − ε μ.

Note then that for every A ∈ Σ one has ν0(A ∩ P) ≥ ε μ(A ∩ P), e, portanto, {estilo de exibição {começar{alinhado}não (UMA)&=int _{UMA}g,dmu +nu _{0}(UMA)\&geq int _{UMA}g,dmu +nu _{0}(Acap P)\&geq int _{UMA}g,dmu +varepsilon mu (Acap P)=int_{UMA}deixei(g+varepsilon 1_{P}certo),dmu ,fim{alinhado}}} where 1P is the indicator function of P. Também, note that μ(P) > 0 como desejado; for if μ(P) = 0, então (since ν is absolutely continuous in relation to μ) ν0(P) ≤ ν(P) = 0, so ν0(P) = 0 e {estilo de exibição não _{0}(X)-varepsilon mu (X)= esquerda(não _{0}-varepsilon mu right)(N)leq 0,} contradicting the fact that ν0(X) > εμ(X).

Então, since also {estilo de exibição int _{X}deixei(g+varepsilon 1_{P}certo),dmu leq nu (X)<+infty ,} g + ε 1P ∈ F and satisfies {displaystyle int _{X}left(g+varepsilon 1_{P}right),dmu >int_{X}g,dmu =sup _{fin F}int_{X}f,dmu .} This is impossible because it violates the definition of a supremum; Portanto, the initial assumption that ν0 ≠ 0 must be false. Por isso, ν0 = 0, como desejado.

Restricting to finite values Now, since g is μ-integrable, the set {x ∈ X : g(x) = ∞} is μ-null. Portanto, if a  f  is defined as {estilo de exibição f(x)={começar{casos}g(x)&{texto{E se }}g(x)

Se você quiser conhecer outros artigos semelhantes a Teorema Radon-Nikodym você pode visitar a categoria Generalizations of the derivative.