En mätbar funktion är inom matematiken en speciell sorts funktion mellan mätbara rum som bevarar mätbarheten.
Formell definition
För en mätbar funktion är den inversa bilden av en mätbar mängd också mätbar. Låt
och
vara mätbara rum.
En funktion
är mätbar om
![{\displaystyle f^{-1}(G)\in {\mathcal {F}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e8368967febb95025956d04c4c3115cbe09dc1a)
för alla
.
Man kan också säga att en funktion är
-mätbar eller
-mätbar.
Notera att man inte behöver ha något mått definierat på rummen för att avgöra om en funktion är mätbar.
Lebesguemätbar funktion
Om
kan man också säga att en mätbar funktion är Lebesguemätbar.
Borelfunktion
Låt
![{\displaystyle {\overline {\mathbb {R} }}:=\mathbb {R} \cup \{-\infty ,+\infty \}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b285f4620ac343701d301cdd077bd5e88211976)
Om X är ett topologiskt rum,
och
så kallas en mätbar funktion
![{\displaystyle f:X\rightarrow {\overline {\mathbb {R} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d047fb6b28b92c34fa48a94a37de253ba4748aa)
för Borelfunktion.
Eftersom Borelmängder är genererad av öppna mängder kan man bevisa att en funktion
är en Borelfunktion om och endast om
,
och
.
är Borelmängder för alla öppna mängder
Alternativt, en funktion
är en Borelfunktion om och endast om
![{\displaystyle \lbrace x\in A:f(x)>c\rbrace }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9232287233f00eed3d288daa59ab6d06a10607f8)
är Borelmängder för alla
.
Exempel
Alla kontinuerliga funktioner i
är Lebesguemätbara och Borelfunktioner.
Se även
| Den här artikeln ingår i boken: Måtteori |
Källor
- G.B. Folland, Real analysis: Modern techniques and their applications, Second edition, Wiley interscience, (1999)