En matemàtiques, les funcions mesurables són funcions entre espais mesurables amb unes propietats adequades. Les funcions que s'estudien en anàlisi matemàtica que no són mesurables, generalment es consideren casos patològics.

Si és una σ-àlgebra sobre un conjunt i és una σ-àlgebra sobre , llavors una funció és mesurable si l'antiimatge de cada conjunt de pertany a , és a dir, si per a qualsevol , on .

Per convenció, si és un espai topològic, tal com el conjunt dels nombres reals o el dels nombres complexos , llavors es fa servir la σ-algebra de Borel generada pels conjunts oberts de , tret que s'especifiqui altra cosa. En aquest cas, l'espai mesurable també s'anomena espai de Borel.

Si pel context és clar què són i/o llavors la funció f es pot anomenar (i normalment s'anomena) -mesurable o simplement mesurable.

Funcions mesurables especials modifica

Si   i   són espais de Borel, llavors de les funcions mesurables també se'n diu funcions Borel-mesurables, o senzillament, funcions de Borel. Les funcions contínues són de Borel però no totes les funcions de Borel són contínues. Però, tota funció mesurable és gairebé contínua; vegeu teorema de Luzin.

Les variables aleatòries són per definició funcions mesurables definides sobre espais mostrals.

Propietats de les funcions mesurables modifica

  • La suma i el producte de dues funcions reals mesurables és mesurable.
  • Si una funció f és mesurable   i una funció g és mesurable  , llavors la composició   és mesurable  .[1]
  • El límit punt a punt de funcions mesurables és mesurable. (L'afirmació corresponent pel cas de funcions contínues necessita condicions més fortes que no pas la convergència punt a punt, com ara la convergència uniforme.)
  • Només les funcions mesurables poden ser Lebesgue integrades.
  • Una funció Lebesgue-mesurable és una funció real f : RR tal que per a cada nombre real a, el conjunt
 
és un conjunt Lebesgue-mesurable. Una caracterització útil de les funcions Lebesgue mesurables és que f és mesurable si i només si mid{-g,f,g} és integrable per a totes les funcions no negatives g Lebesgue integrables.

Funcions No-mesurables modifica

No totes les funcions són mesurables. Per exemple, si   és un subconjunt no mesurable de la recta real  , llavors la seva funció característica   és no-mesurable.

Vegeu també modifica

Notes modifica

  1. Billingsley, Patrick. Probability and Measure. Wiley, 1995. ISBN 0-471-00710-2.