Ejemplo 7 .13. El teorema anterior puede fallar si Jl no es a-finita.

Sea X = Q n (O, 1] y denotemos

(a, b]' = (a, b] n X, con a, b E X y 1E = { (a, b]' : a, b E X}. Es claro que A = A(IE) es la colección de
uniones finitas disjuntas de ''intervalos" en lE. Definimos JL: A--+ iR poniendo JL(A) = +oo si A es
infinito y O si A= 0. Por otro lado es inmediato comprobar que A* = P(X) y que "jl : A* --+ i cstcí
dada por Jl(E) = +x si E=/= 0 y O si E= 0. Si v : P(X) --+ R denota la medida de conteo entonces vjA =
Jl pero obviamente v =/=Ji en A* = P(X). Existe una manera mru; intuitiva y natural (pero mfui
larga) para definir a los t:•lementos d<' A· y que consiste en aproximar a los subconjuntos de X 4
'desde adentro~· también, dando lugar a la llamada medida interior la cual tiene propiedades
duales a las de JL*· (Ver los ejercicios (87) y (88). En e~pedal {88 ii) ).