Mjera i integral/Lebesgueova mjera/Konstrukcija Lebesgueove mjere
Definicija -algebre te izmjerljivog prostora i izmjerljivog skupa
urediNeka je -prsten na skupu . Ako , tada je " -algebra na ", je "izmjerljiv prostor", a svaki "izmjerljiv skup".
Nužni i dovoljni uvjeti za -algebre
urediNeka je skup, a familija podskupova od . je -algebra na , ako
- &
- &
- .
Definicija familija poluotvorenih pravokutnika
urediDefiniramo sljedeće familije:
- je "familija poluotvorenih intervala u " &
- je "familija poluotvorenih pravokutnika u ", .