Medida

Introduccin a la
Teora de la Medida con Aplicaciones

William Roberto Gutirrez-Herrera, B.Sc.
Universidad de San Carlos de Guatemala
II
Autor: William Roberto Gutirrez-Herrera, B.Sc.

E-mail: williamr.gutierrezh@gmail.com
Ttulo: Introduccin a la Teora de la Medida con Aplicaciones

Palabras clave y frases: medida, espacio medible, espacio de medida, funciones sumables, funciones medibles, integral de Riemann,
integral de Lebesgue, integracin abstracta, espacio Lp , espacio de
Hilbert, espacio de Banach, probabilidad, variable aleatoria, Bayes, Kolmogorov, mecnica cuntica, Dirac, Von Neumann.
Mathematics Subject Classification (2000): 26A42, 28A05, 81Q10
Conjunto de tipos AMS-LATEX

Aplicaciones MakeIndex y METAPOST
Versin: 2.71 del 20 de noviembre de 2010
fr die
Walkre Brnhilde
Fata viam inverient.
omIs
IV
ndice general
ndice general
ndice de figuras
VII
Introduccin
IX
Lista de Smbolos
XIII
1. Espacios Medibles y Medida

1.1. Anillos y lgebras . . . . . .
1.2. Conjuntos de Borel . . . . .
1.3. Funciones medibles . . . . .
1.4. Medidas positivas . . . . . .
2. Medida e Integracin
2.1. Motivacin . . . . . . .
2.2. Integral de Lebesgue .
2.3. Medida de Lebesgue .
2.4. Relacin con la integral
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . .
. . . . . . . .
. . . . . . . .
de Riemann .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Espacios Lp
3.1. Propiedades elementales . . . . . . . . . . .
3.2. Dual de Lp , reflexibilidad y separabilidad . .
3.2.1. Lp , si 1 < p < . . . . . . . . . . .
3.2.2. Espacio L1 de las funciones sumables
V
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
4
6
12
.
.
.
.
19
19
20
31
39
.
.
.
.
47
47
58
58
62
NDICE GENERAL
VI
3.2.3. Espacio L de las funciones esencialmente acotadas . . . . . .
64
4. Teora de Probabilidades
67
4.1. Medidas de probabilidad . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2. Variables aleatorias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.3. Momentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5. Mecnica Cuntica
83
5.1. Estructura de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2. Estructura de Von Neumann . . . . . . . . . . . . . . . . . . . . . . . 85
A. Conjuntos, funciones y sucesiones
B. Topologa
93
101
C. Anlisis Funcional
105
C.1. Espacios vectoriales topolgicos . . . . . . . . . . . . . . . . . . . . . 106
C.2. Teora de operadores . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Bibliografa
115
ndice alfabtico
118
ndice de figuras
1.1. Representacin de n . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
2.1. Suma e Integral de Riemann en R . . . . . . . . . . . . . . . . . . . .
40
4.1. Grfica de B(n, p) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.2. Grfica de N(, 2 ) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
75
VII
VIII
NDICE DE FIGURAS
Introduccin
La exposicin que se dar sigue el programa de la Escuela Formalista, iniciada a
finales del siglo xix por el matemtico alemn David Hilbert, la cual afirma que en
matemticas existencia significa libre de contradiccin. Se hace entonces necesario construir un conjunto de axiomas postulados a partir del cual se puedan
deducir todas las matemticas mediante razonamiento puramente formal, y mostrar que ese conjunto de axiomas nunca nos llevar a una contradiccin;1 en esencia
es el mismo camino dado por Euclides en sus Elementos. Aunque los resultados
de Kurt Gdel (1931) muestran que este programa, al menos como fue concebido
originalmente por Hilbert, no puede ser llevado a cabo.
En forma significativa, la teora de Hilbert de la estructura formalizada de las matemticas se basa en un procedimiento intuitivo. De una u otra forma, la intuicin
constructiva siempre sigue siendo el elemento vital en las matemticas. Por consiguiente, en el estudio de un ente matemtico, un camino es dar su definicin formal
y luego deducir sus propiedades por razonamientos lgicos.
Otro camino toma como base ciertas propiedades caractersticas, para luego establecer que hay un elemento que las cumple, aqu la demostracin se basa nicamente
en la existencia del mismo, como las demostraciones que hacen uso del lema de
Zorn,2 o en un caso extremo ser del tipo constructivo. Este ltimo punto de vista
se conoce como Intuicionismo, iniciado en 1924 por el matemtico holands Luitzen
Brouwer, en donde se adopta una actitud diferente hacia el concepto de existencia
exigiendo que se presente una construccin mental definida, antes de aceptar
que un objeto matemtico existe realmente; es decir, existencia significa existencia constructiva; asimismo, en el Intuicionismo no es vlido el axioma de seleccin,
lo cual elimina una variedad de resultados que hacen uso de ste, por ejemplo el
conjunto de Vitali dado en la pgina 44.
1
2
Este conjunto debe ser completo, consistente y lgicamente independiente.

Todo conjunto no vaco inductivamente ordenado posee un elemento maximal.
IX
INTRODUCCIN
En este trabajo estudiaremos los espacios vectoriales normados Lp , de las funciones medibles de cierta potencia integrable, que son de los ms importantes a nivel
terico y aplicado; las principales aplicaciones se dan en fsica terica, optimizacin
no lineal, teora de las aproximaciones, el multiplicador de Lagrange generalizado
y teora econmica, para ms detalles y ejemplos consultar los libros: Aubin [1],
Choquet-Bruhat [4] o Jahn [25]. Los espacios de mayor inters son el L1 de las funciones sumables y el L2 de las funciones cuadrado integrables, consultar Courant
y Hilbert [5, p. 108] o Kolmogorov y Fomin [28, p. 415]. Para exponer las propiedades
fundamentales de los espacios Lp , se har uso de los principios generales contenidos
en Topologa General y Anlisis Funcional, y por otro lado, el concepto de la integral
de Lebesgue.
Se introducen los conceptos de -anillo y -lgebra para definir lo que son los
espacios medibles y el de medida, para luego definir los espacios de medida (X, M, )
en general; a continuacin se introduce el concepto de integral de Lebesgue y sus
principales propiedades en espacios abstractos provistos de medida, para luego hacer
una comparacin con la integral de Riemann en el espacio Rk dotado de la -lgebra
de Borel y la medida de Lebesgue. Se contina con la definicin de los espacios
vectoriales Lp y se estudian sus propiedades fundamentales como espacios normados
de Banach cuando p [1, ], y de Hilbert en el caso de p = 2. Adems, si q es tal
que 1/p + 1/q = 1, se muestra que cuando 1 < p < el espacio Lp es reflexivo,
separable y su dual es Lq , el espacio L1 es separable, no reflexivo y su dual es L ,
y el espacio L es no separable, no reflexivo y su dual es estrictamente ms grande
que L1 , para lo cual se hace uso de la medida de Dirac, 0 (f ) = f (0).
En el siguiente captulo se dan aplicaciones a la Teora de Probabilidades para
introducir los conceptos de evento, espacios y medidas de probabilidad, variables
aleatorias y momentos. Se dan las definiciones desde el punto de vista de la teora
clsica, para luego tratarlas de manera formal con los conceptos propios de la teora
de la medida, siguiendo el modelo establecido por Andrei Kolmogorov.
Se finaliza con un estudio de la Mecnica Cuntica en donde se presenta el desarrollo de las ideas a travs del tiempo, iniciando con Max Planck (1900) hasta llegar a
la formulacin del concepto de las tripletas de Gelfand (1961), con el fin de presentar
los modelos matemticos de la fsica en un lenguaje matemtico exacto, pues como
dijo el Premio Nobel en 1932 Werner Heisenberg:
Incluso para el fsico, la descripcin en un lenguaje normal y sencillo
servir de criterio para juzgar el grado de comprensin que ha sido
alcanzado.
XI
Se presenta la estructura matemtica de Von Neumann para el estudio de los
sistemas cunticos, en donde se utiliza el espacio de Hilbert L2 como una respuesta a
la interpretacin probabilstica del vector de estado funcin de onda, en donde
integrndola sobre el espacio en estudio. Es
se normaliza la expresin ||2 = ,
aqu, en donde aparece de manera natural el uso de operadores autoadjuntos, no
acotados y densamente definidos en L2 para representar a los observables, la llamada
primera cuantizacin. Para clarificar ideas, la palabra latina quantum se utiliza en
fsica3 para denotar a las variables que toman ciertos valores discretos, en oposicin
a las variables continuas, por consiguiente la Mecnica Cuntica se ocupa del estudio
de este tipo de variables discretas.
Un camino constructivo para establecer la existencia de los espacios Lp [a, b], es
hacer la completacin del espacio vectorial C [a, b] de las funciones continuas de valor
real o complejo en [a, b], con norma dada por
kxkp =
Z
1/p
|x(t)| dt
,
p
obtenindose directamente el espacio Lp como el conjunto clases de equivalencia de

sucesiones de Cauchy, el que por construccin es de Banach, de donde el teorema de
Fisher-Riesz (teorema 3.1.6) y las consideraciones acerca de normas y seminormas
de la pgina 51 son innecesarias; para ms detalles consultar Kreiszig [29, p. 62].
Como el equivalente en matemticas a la palabra discreto.
XII
INTRODUCCIN
Lista de Smbolos
Smbolo
Significado

:=
fin de la demostracin
es definido por
es isomorfo a
conjunto vaco
complemento de E
estrictamente contenido
diferencia entre E y F
diferencia simtrica entre E y F
conjunto potencia de X
funcin caracterstica de E
En es una sucesin creciente
En es una sucesin decreciente
nmeros reales extendidos
xn es una sucesin que tiende a x por la izquierda
xn es una sucesin que tiende a x por la derecha
espacio topolgico
conjunto compacto
conjunto abierto
bola abierta con centro en x y radio
soporte de la funcin f
espacio de Banach
espacio de Hilbert
espacio dual topolgico del espacio X
Ec
E\F
EF
P(X)
E
En
En
[, +]
xn x
xn x
(X, )
K
V
B(x, )
Supp(f )
B
H
X
XIII
LISTA DE SMBOLOS
XIV
Smbolo
Significado
L(X, Y )
h, iX ,X
(X, X )
(X , X)
T S
C, D, F, M
(X, M)
(X, M, )
B
c.t.p.
m
L
S
espacio de las aplicaciones lineales del espacio X en Y

producto escalar en la dualidad X, X
topologa dbil
topologa dbil
S es una extensin del operador T
-lgebra
medida positiva
espacio medible
espacio de medida
-lgebra de Borel
casi en todas partes
medida de Lebesgue
-lgebra de los conjuntos Lebesgue-medibles
espacio muestral
A
Pr
(S , A, Pr)
D
D
0
-lgebra de eventos
medida de probabilidad
espacio de probabilidad
espacio de las funciones de prueba
espacio de las distribuciones
medida de Dirac, funcin de Dirac o -funcin
vector de estado o funcin de onda
subespacio invariante maximal del lgebra de operadores o espacio
de las funciones de onda
espacio antidual de
espacio de Hilbert equipado o tripleta de Gelfand
vector ket
funcional bra
braket
H
|i
h|
h|i
Captulo
Espacios Medibles y Medida

1.1.
Anillos y lgebras
Sea X un conjunto no vaco al que llamaremos espacio, y a cuyos elementos

llamaremos puntos.
Definicin 1.1. Un anillo de subconjuntos de X es una familia no vaca R
de subconjuntos de X tal que si E, F R entonces E F R y E \ F R. En
otras palabras, un anillo es una clase no vaca la cual es cerrada bajo la formacin
de uniones y diferencias.
El conjunto vaco est en cualquier anillo R, si E R, entonces = E \ E R.
Como se cumple: EF = (E\F )(F \E) y adems EF = (EF )\(F E), se sigue
que un anillo es cerrado bajo la formacin de diferencias simtricas e intersecciones.
Definicin 1.2. Un lgebra de subconjuntos de X, es una familia no vaca A
tal que
A1. Si E, F A entonces E F A.
A2. Si E A entonces E c A.
Como E \ F = E F c = (E c F )c , se sigue que cualquier lgebra es un anillo. La
relacin entre el concepto general de anillo y el concepto ms especial de lgebra es
simple: un lgebra puede ser caracterizado como un anillo que contiene a X. Como
E c = X \E, y tal anillo es un lgebra; si, inversamente, A es un lgebra y E A se
recalca que A 6= , entonces X = E E c A, y con esto tenemos = X c A
1
CAPTULO 1. ESPACIOS MEDIBLES Y MEDIDA
lo cual ya establecimos, al ser A un anillo. De esto tenemos que A = {, X}

y A = { B | B X } son lgebras llamadas lgebra trivial y lgebra discreta
respectivamente.
Proposicin 1.1. La interseccin de cualquier coleccin de anillos o lgebras
sobre X, es un anillo o un lgebra sobre X respectivamente.
Demostracin. Dado que lgebra implica anillo, se har la demostracin nicamente
para anillos. Sea Ri , i I una coleccin de anillos I conjunto de ndices. Dados
T
E, F iI Ri se tendr E, F Ri para toda i I, de esto E F Ri , para toda
T
i I, de donde E F iI Ri . Adems se cumple E \ F Ri , para toda i I,
T
T
de donde E \ F iI Ri por lo que iI Ri es un anillo.
Proposicin 1.2. Si C es cualquier familia de subconjuntos de X, entonces

existe un nico anillo R0 tal que C R0 y tal que si R es cualquier otro anillo que
contiene a C entonces R0 R.
Demostracin. Como la familia de todos los subconjunto de X se un anillo, y se
tiene que existe al menos un anillo que contiene a C. Como la interseccin de anillos
es un anillo, y con esto, la interseccin de todos los anillos que contienen a C es el
anillo R0 .
Definicin 1.3. Un -anillo de subconjuntos de X es una familia no vaca S

tal que
R1. Si E, F S entonces E \ F S.
S
R2. Si Ei S, i = 1, 2, . . . entonces
i=1 Ei S.
En forma equivalentemente un -anillo es un anillo cerrado bajo la formacin de

S
uniones contables. Si S es un -anillo y si Ei S, i = 1, 2, . . . , y E =
i=1 Ei ,
T
S
T
entonces la identidad i=1 Ei = E \ i=1 (E \ Ei ) muestra que i=1 Ei S, es decir,
que un -anillo es cerrado bajo la formacin de intersecciones contables.
Teorema 1.1.1. La interseccin de cualquier coleccin de -anillos sobre X, es
un -anillo sobre X.
Demostracin. Sea Si , i I una coleccin de -anillos. Sean los conjuntos E, F
T
E, F Si para toda i I, de esto E \ F Si para toda i I,
iI Si , de donde T
T
es decir E \ F iI Si . Sea {En }nN iI Si , de donde {En }nN Si para
S
S
T
toda i I, de esto
n=1 En Si para toda i I, es decir
n=1 En
iI Si . En
consecuencia la interseccin es un -anillo.
1.1. ANILLOS Y LGEBRAS
Corolario 1.1.1. Si C es cualquier familia de subconjuntos de X. Entonces

existe un nico -anillo S0 que contiene a C y tal que si S es un -anillo que
contiene a C entonces S0 S.
Demostracin. Sea la clase de todos los -anillos que contienen a C, se tiene que
6= ya que el conjunto potencia de X es un -anillo y contiene a C. Entonces
la interseccin de los elementos de contiene a C y la misma est contenida en
cualquier otro elemento de .
Definicin 1.4. Una familia M de subconjuntos de X se dice que es una

-lgebra sobre X, si se cumple
A1. X M.
A2. Si E M entonces E c M.
A3. Si Ei M, i = 1, 2, . . . entonces
i=1
Ei M.
Si M es una -lgebra sobre X, entonces (X, M) es llamado un espacio medible,

y los miembros de M son llamados los conjuntos medibles de X.
Teorema 1.1.2. La interseccin de cualquier coleccin de -lgebras sobre X,
es tambin una -lgebra sobre X.
Demostracin. Sean Mi , i I -lgebras sobre X. De esto X Mi para toda i I
T
T
de donde X iI Mi . Sea E iI Mi , de donde E Mi para toda i I, de
T
T
esto E c Mi para toda i I, es decir E c iI Mi . Sea {En }nN iI Mi , de
S
donde {En }nN Mi para toda i I, de esto
n=1 En Mi para toda i I, es
S
T
decir n=1 En iI Mi . En consecuencia la interseccin es una -lgebra.
Corolario 1.1.2. Si F es cualquier familia de subconjuntos de X. Entonces

existe una -lgebra M en X tal que F M .
Demostracin. Sea la clase de todas las -lgebra s que contienen a F , como
T
F P(X) entonces 6= . De esto tendremos que M := M M cumple con las
condiciones.
Nota 1.1: El anillo R0 es el ms pequeo que contiene a C y es llamado el anillo

generado por C, y es denotado por R(C) := R0 . El -anillo S0 es el ms pequeo
que contiene a C y es llamado el -anillo generado por C y lo denotamos por
S(C) := S0 . Denotaremos por (F ) := M a la -lgebra generada por F , si
F es una familia de subconjuntos de X.
En lo sucesivo sea f : (X, A) (Y, D), una aplicacin en donde (X, A), (Y, D)
son espacios medibles, a menos que se indique otra cosa.
Teorema 1.1.3. Sean f : X Y una aplicacin y (Y, D) un espacio medible.
Entonces C := f 1 (D), definida en la ecuacin (A.2), es una -lgebra sobre X y
(X, C ) es un espacio medible.
Demostracin. Aplicando el teorema A.1. Como f 1 (Y ) = X donde Y D y se
tendr X f 1 (D). Sea A f 1 (D) de donde existe T D tal que A = f 1 (T ), de
esto Ac = [f 1 (T )]c = f 1 (T c ), donde T c D, de esto Ac = f 1 (D).
Sean Aj f 1 (D), j = 1, 2, . . . , de donde existen Tj D, j = 1, 2, . . . , tales
S
S
que Aj = f 1 (Tj ), j = 1, 2, . . . , y de esto se tendr que j Aj = j f 1 (Tj ) =
S
S
S
f 1 ( j Tj ). En donde j Tj D y con esto j Aj f 1 (D). En consecuencia
f 1 (D) es una -lgebra.
De las propiedades establecidas en el teorema A.1 tenemos:

Teorema 1.1.4. Sean f : X Y una aplicacin y (X, A) un espacio medible.
La familia F := { T Y | f 1 (T ) A } es una -lgebra sobre Y .
1.2.
Conjuntos de Borel
Definicin 1.5. Sea (X, ) un espacio topolgico. Sea B := ( ) la -lgebra

generada por , a la cual llamaremos -lgebra de Borel, y todos sus miembros
son llamados los conjuntos de Borel de X. En particular, (X, B) es el espacio
medible en el cual todos los conjuntos cerrados al ser complementos de abiertos
son medibles.
Sea E cualquier familia de subconjuntos de X, se definen las clases

[

\

+
+
E :=
En En E , n Z
, E :=
En En E , n Z
.
n=i
(1.1)
n=i
Para un espacio topolgico (X, ), se denotar con F a la clase de los conjuntos

cerrados en X, y con G a la clase de los conjuntos abiertos1 en X. De las propiedades
1
Por definicin se tendr G = . La notacin se debe a Felix Hausdorff, las letras G y F vienen
de la palabra alemana Gebiet (regin) y la palabra francesa ferm (cerrado), respectivamente; y
los smbolos , como abreviaturas para las palabras alemanas Summe (suma) y Durchschnitt
(interseccin).
1.2. CONJUNTOS DE BOREL
de los abiertos y cerrados se tiene G = G y F = F por lo que no se obtienen nuevos

conjuntos.
Por otra parte las clases: G formada por las intersecciones contables de abiertos
y F formada por las uniones contables de cerrados, deben introducir un nuevo tipo
de conjuntos. De la definicin de cerrado y las leyes de DeMorgan tenemos: si E F
entonces E c G . Se cumple G, F, G , F B.
Ejemplo 1.1: Un conjunto de un solo elemento en (R, R) es cerrado, de donde
Q F , pero este no es abierto o cerrado. De esto tenemos Qc G , pero I := Qc
es el conjunto de los nmeros irracionales, el cual tampoco es abierto o cerrado
en R.
Adems, B debe contener a la unin contable de conjuntos de G , denotado
por G , y a la interseccin contable de conjuntos de F , denotado por F . Y as
sucesivamente, con lo cual se muestra la existencia de una gran cantidad de conjuntos
medibles en el espacio X. En especial si X = Rk con la topologa natural, usaremos
la notacin (Rk , Bk ) para este espacio.
Teorema 1.2.1. En (Rk , Bk ) se cumple
F F , G G , F G , G F .
Demostracin. Sean A F , C G y se definen An := A, Cn := C, para cualquier
S
T
n Z+ , de donde A = n An y C = n Cn de donde A F y C G .
Por otra parte, sean A F y n Z+ y se define
[
Gn :=
B1/n (x)
xA
T
de donde Gn es abierto, y A Gn para cualquier n, de esto A
n=1 Gn .
T
Sea y n=1 Gn , entonces para cada n existe un punto x A tal que y B1/n (x).
Por lo que y es un punto de A o un punto de acumulacin de A, como A es cerrado,
T
y A en cualquier caso, y se tiene A =
n=1 Gn y A G .
De la definicin de cerrado, las leyes de DeMorgan y la ltima igualdad obtenemos
la cuarta contencin.
Sea A un conjunto y B A un subconjunto, entonces la aplicacin inclusin

i(x) = x A para cualquier x B, se representa por i : B A. Entonces al
continuar aplicando los operadores y , obtenemos dos sucesiones de clases que
constituyen la clasificacin de los conjuntos de Borel. Existe un conjunto de

relaciones de inclusin para estas clases, como lo muestra el siguiente diagrama

// F p
// F q
// F p
C
F
=
=
<
<
@@ ~~>>
CC {{
FF xx
@@~~
C{C{
FFxx
@
C
xF
{
~
@
C
{
- xxx FF""
C!!
/ ~~~ @ . {{
.

//
//
//
F @ o
G
//
B
//
!!
==
el cual es fcil de formular, si adoptamos la siguiente notacin:

F 0 = F,
F 1 = F ,
F 2 = F ,
F 3 = F , . . .
G0 = G,
G1 = G ,
G2 = G ,
G3 = G , . . .
Teorema 1.2.2. En (Rk , Bk ) y para n Z+ , se cumple

F n1 F n , Gn1 Gn , F n1 Gn , Gn1 F n .
Demostracin. Se proceder por induccin, para n = 1 es el teorema 1.2.1; se tiene
que mostrar el caso general. Las primeras dos afirmaciones se obtienen de forma
similar como en el caso n = 1; por lo que se mostrar la tercera.
Asumamos como hiptesis de induccin F k1 Gk y k es impar. Sea H F k ,
S
k1
entonces H =
Gk , pero para n impar, la unin de
=1 A , donde A F
k
k+1
conjuntos en G es un conjunto en G , de donde H Gk+1 . Las demostraciones
para k par y la relacin Gn1 F n , son completamente anlogas.
Nota 1.2: Es claro que para cualquier n Z+ , se tiene F n B y Gn B.

Llamaremos a un conjunto perteneciente a la clase F n o Gn un conjunto de Borel
de orden n. Existen conjuntos de Borel que no tienen orden finito. Uno de estos
S
n
conjuntos puede ser de la forma H =
n=1 An , en donde para cada n, An F pero
An (F n1 )c .
Nota 1.3: Al considerar f : X Y una aplicacin continua, en donde (X, B)
es un espacio medible y (Y, Y ) es un espacio topolgico, entonces se dice que f es
Borel medible o B-medible.
1.3.
Funciones medibles
Definicin 1.6. Una aplicacin f : (X, A) (Y, D), se dice que es medible si
para toda T D se tiene f 1 (T ) A, es decir f 1 (D) A.
1.3. FUNCIONES MEDIBLES
Corolario 1.3.1. Sea D = (C ), donde C es una familia de subconjuntos de

Y . Entonces f es medible si y slo si f 1 (C ) A.

Demostracin. Necesidad, si f es medible, entonces f 1 (C ) A, dado que C

(C ) se tendr f 1 (C ) f 1 (C ) A y con esto f 1 (C ) A.
Suficiencia, sea C una familia de subconjuntos de Y tal que f 1 (C ) A, dado
T C , como f 1 (C ) = { f 1(T ) | T C } se tendr f 1 (T ) A, de donde T F

y de esto C F ; dado que (C ) F , se llega a que f 1 (C ) f 1 (F ) A
por definicin de F , por consiguiente f es medible.
Dada la aplicacin f : X Y , y uno de los espacios es medible y el otro no, se

plantea el problema de encontrar una -lgebra para el espacio carente de ella, de
tal forma que la aplicacin f sea medible.
1. Si X no es espacio medible y (Y, D) si, el teorema 1.1.3 da la respuesta.
2. Si Y no es espacio medible y (X, A) si, el teorema 1.1.4 da la respuesta.
Definicin 1.7. A la -lgebra representada por C (teorema 1.1.3) se le llama
-lgebra inicial de X respecto de f . A la -lgebra representada por F (teorema 1.1.4) se le llama -lgebra final de Y respecto de f .
Teorema 1.3.1. Para toda i I sean fi : X Yi aplicaciones, (Yi , Di ) espacios
medibles y Ci = { fi1(B) | B Di } es la i-sima -lgebra inicial en X. Sea
S
A := iI Ci , entonces CX := (A ) es la -lgebra sobre X que hace medibles a
todas las fi .
Demostracin. Para toda i I, dado B Di , se obtiene fi1 (B) Ci A CX ,
es decir que fi es medible para toda i I.
Teorema 1.3.2. Para toda i I sean fi : Xi Y aplicaciones, (Xi , Ai ) espacios

medibles y Fi = { T Y | fi1 (T ) Ai } es la i-sima -lgebra final en Y . Entonces
T
FY := iI Fi es la -lgebra sobre Y que hace medibles a todas las fi .
Demostracin. Sea T FY , de donde T Fi para toda i I, de esto fi1 (T ) Ai
para toda i I, es decir que fi es medible para toda i I.
Nota 1.4: A la -lgebra CX se le llama -lgebra inicial de X respecto de las

aplicaciones {fi }iI . A la -lgebra FY se le llama -lgebra final de Y respecto de
las aplicaciones {fi }iI .
Teorema 1.3.3. Sea (X, A) un espacio medible, y (Y, Y ), (Z, Z ) espacios topolgicos, provistos de las -lgebras (Y ) y (Z ) respectivamente, f : X Y medible
y g : Y Z continua. Si h = g f , entonces h : X Z es medible.
Demostracin. Sea f medible y V Z un abierto, por la igualdad h1 (V ) =

f 1 g 1 (V ) , se tendr por corolario 1.3.1 que h1 (V ) es medible.
Teorema 1.3.4. Sean u, v : X R funciones medibles, donde X es un espacio

medible, sea : R2 Y una aplicacin continua, donde Y es un espacio topolgico.
Definiendo h(x) := (u(x), v(x)), x X, entonces h : X Y es medible.
Demostracin. Sea f (x) := (u(x), v(x)), x X. Entonces f : X R2 y h = f ,
para usar el teorema 1.3.3 se debe mostrar que f es medible. Si R es cualquier
rectngulo abierto en el plano, con lados paralelos a los ejes, entonces R es el producto
cartesiano de dos intervalos abiertos I1 , I2 y f 1 (R) = u1 (I1 ) v 1 (I2 ) el cual es
medible.
Cualquier abierto V R2 es unin contable de tales rectngulos Rj , ya que R y
por consiguiente R2 posee base de la topologa contable, y se tendr
[
[
1
1
f (V ) = f
Rj =
f 1 (Rj ),
j=1
j=1
de donde f 1 (V ) es medible.
Teorema 1.3.5. Supngase que (X, A) es un espacio medible, Y un espacio

topolgico y f : X Y una aplicacin.

1. Si Y = [, +] y f 1 (, ] A para cualquier real , entonces f es
medible.2
2. Si f es medible, Z un espacio topolgico y g : Y Z es B-medible, entonces
h : X Z es medible, donde h = g f .
Demostracin. Para (1) sea la familia E [, +] de todos los subconjuntos
tales que f 1 (E) M. Eligiendo R y considerando la sucesin {j }, j <
tal que j cuando j , se tendr por hiptesis (j , ] para toda j,
como adems se cumple
[, ) =
[, j ] =
j=1
2
Criterio para definir funciones medibles de valor real.
(j , ]c
j=1
y dado que es -lgebra (cumple con el teorema 1.1.4), tenemos [, ) . Lo

mismo es verdad para (, ) = [, ) (, ].
Como cualquier conjunto abierto en [, +] es unin contable de segmentos
de este tipo, contiene a cualquier abierto, de esto f medible.
Para (2) sea V Z abierto, entonces g 1 (V ) es un conjunto de Borel en Y ,

y como h1 (V ) = f 1 g 1 (V ) , luego se tendr que h1 (V ) M de donde h es
medible.
Corolario 1.3.2. Se cumplen las siguientes propiedades.
1. Sea f = u + iv, donde u, v funciones medibles reales en X, entonces f es una

funcin medible compleja en X.
2. Si f = u + iv es funcin medible compleja en X, entonces u, v y |f |p , donde
1 p < , son funciones medibles reales en X.
3. Si f, g son funciones medibles complejas en X, entonces tambin lo son f + g
y f g, es decir la suma y el producto de funciones medibles es medible.
4. Si E X es medible, entonces la funcin caracterstica E es medible.
5. Si f es una funcin medible compleja en X, entonces existe una funcin medible
compleja en X tal que || = 1 y f = |f |.
Demostracin. Para obtener (1), en el teorema 1.3.4 hacer (z) = z. Para (2) en el
teorema 1.3.3 tomar g(z) = Re(z), Im(z), |z|p sucesivamente.
Para (3) tomar f, g reales la conclusin se sigue del teorema 1.3.4 al tomar
(s, t) = s + t y (s, t) = s t; el caso complejo se sigue desde (1) y (2).

En (4) tomar el espacio {0, 1} con la -lgebra discreta y dado que 1
{0} = E c
E

y 1
E {1} = E son medibles, la conclusin es inmediata.
Para (5) sea E = { x | f (x) = 0 } y sea Y = C\{0}, definiendo (z) := z/ |z| , z
Y , y haciendo (x) = [f (x) + E (x)], x X. De donde se tendr
(
1,
si x E;
(x) =
f (x)/ |f (x)| , si x
/ E.
Como es continua en Y , falta mostrar que E es medible en X. Se tiene que
E = { x | f (x) {0} } = f 1 ({0}), para el complemento se cumple

E c = X \ E = f 1 (C) \ f 1 {0}

c

= f 1 (C) f 1 ({0}) = f 1 (C) f 1 {0}c

= f 1 C {0}c = f 1 C \ {0} = f 1 (Y ).
10
Como Y C abierto y f medible, de donde E c medible en X, es decir E medible.
De esto, se sigue que es medible por (3), (4) y teorema 1.3.3.

Corolario 1.3.3. Sean (X, A) espacio medible, (Y, Y ) un espacio topolgico y
f : X Y una aplicacin. Entonces f es medible si y slo si f 1 (Y ) A. Es decir,
f medible, si las imgenes inversas de abiertos en Y son medibles en X.
Corolario 1.3.4. Toda aplicacin continua es medible.
Teorema 1.3.6. Si fj : X [, +] es medible, para j Z+ , se definen las
funciones g := supj1 fj , h := lm supj fj , entonces g, h son medibles.

S
1
Demostracin. Como g 1 (, ] =
f
(,
]
ver la proposicin A.2, del
j=1 j
teorema 1.3.5.1 tenemos que g es medible. El mismo resultado se cumple al reempla

zar nf en lugar de sup, y como h = nf k1 supjk fj , se sigue que h es medible.
Corolario 1.3.5. Se cumplen las siguientes propiedades.
1. El lmite de cualquier sucesin convergente puntual de funciones medibles complejas es medible.

2. Si f, g son medibles con rango [, +], entonces tambin lo son max{f, g}
y mn{f, g}, en particular f + y f tambin lo son.
Definicin 1.8. Una funcin compleja s en un espacio medible X cuyo rango
consiste de solamente una cantidad finita de puntos es llamada una funcin simple.
Si 1 , . . . , k son los distintos valores de una funcin simple s, y si definimos
Aj := { x | s(x) = j }, entonces
s=
k
X
j Aj
(1.2)
j=1
donde Aj es la funcin caracterstica asociada al conjunto Aj , ecuacin (A.1). Tambin se tiene, s es medible si y slo si los conjuntos Aj son medibles.
Proposicin 1.3. Los conjuntos Aj forman una particin de X.
S
Demostracin. Por definicin tenemos kj=1 Aj X; sea x X entonces existe i
S
S
tal que s(x) = i , es decir que x Ai kj=1 Aj , de donde X kj=1 Aj y se tendr
S
X = kj=1 Aj . Sea x Ai Aj de donde i = s(x) = j , es decir i = j de donde
i = j, por consiguiente A1 , . . . , Ak son disjuntos entre si.
11
Teorema 1.3.7. Cualquier funcin medible de valor real extendido f , con dominio en un espacio medible X, es el lmite de una sucesin {sn } de funciones simples.
Si f es no negativa, entonces cada sn puede ser tomada como no negativa y la sucesin {sn } puede ser asumida como creciente.
Demostracin. Supongamos primero que f 0, para cualquier n Z+ tenemos
[0, ] = [0, n) [n, ], donde [0, n), [n, ] son conjuntos de Borel. En [0, n) se har
la particin en 2n n segmentos de longitud 2n .

Sean Ek = 2n k, 2n (k + 1) , k = 2n k, para k = 0, 1, . . . , 2n n 1, y los Ek
son conjuntos de Borel; sean ahora k , n las funciones caractersticas asociadas a
los conjuntos Ek , [n, ] respectivamente, definiendo ahora
X
n (t) :=
k k (t) + nn (t),
k
de esto n es una funcin de Borel no negativa en [0, ].

2
1.5
1
0.5
0.5
1.5
2.5
Figura 1.1: Representacin de 2

Sea t0 [0, n), entonces existe k0 Z+ tal que t0 Ek0 , n (t0 ) = 2n k0 , es decir
2n k0 t0 < 2n (k0 + 1), de donde t0 2n < n (t0 ) t0 , y tambin es vlido:
t0 2(n+1) < n+1 (t0 ) t0 ; al hacer la resta de stas desigualdades tenemos

n+1 (t0 ) n (t0 ) > t0 2(n+1) (t0 2n ) = 2(n+1) ,
de donde, se obtiene al despejar n+1 (t0 ) > 2(n+1) + n (t0 ) > n (t0 ), y como
pueden existir puntos t [0, ] en donde3 n+1 (t ) = n (t ), se puede concluir
3
Sera el caso en que k1 = 2k0 , donde n (t0 ) = 2n k0 , n+1 (t0 ) = 2(n+1) k1 .
12
que: 0 1 (t) 2 (t) t, adems se tendr n (t) t, si n para

cualquier t [0, ]. Se sigue que las funciones sn = n f, n Z+ , satisfacen
las condiciones en la segunda parte del teorema, que sean medibles se sigue del
teorema 1.3.5.2.
La primera parte se sigue, considerando que la diferencia de dos funciones simples
es simple, y de aplicar el anterior resultado por separado a las funciones f + , f .
Al combinar la proposicin A.1 y los teoremas 1.3.6 y 1.3.7 se obtiene el siguiente:
Corolario 1.3.6. La suma y el producto de funciones medibles con rango en
[0, ], son medibles.
Lema 1.1. Si f, g son funciones medibles con valores reales, entonces el conjunto
{ x | f (x) g(x) } es medible.
Demostracin. A partir del hecho que dados , R con < , siempre existe
r Q, tal que < r < , en donde r = m/n es el representante irreducible de una
clase de fracciones; por otro lado
{ x | f (x) > m/n } { x | m/n > g(x) } { x | f (x) > g(x) },
de donde al tomar todas las posibles fracciones, es decir n Z+ , m Z, se obtiene
{ x | f (x) > g(x) } =
h
[
[

m= n=1
i
x | f (x) > m/n x | m/n > g(x) .

En donde, cada conjunto de la derecha es la imagen inversa de un abierto a travs

de una funcin medible, de esto { x | f (x) > g(x) } es un conjunto medible, y del
mismo modo su complemento.
1.4.
Medidas positivas
Una funcin de conjuntos es una aplicacin cuyo dominio es una clase de

conjuntos. Una funcin de conjuntos de valor real extendido definida en una clase
E es aditiva, si se cumple que para A, B E, A B E, A B = , entonces
(A B) = (A) + (B). Es finitamente aditiva, si para cualquier clase disjunta
finita {E1 , . . . , Ek } de conjuntos de E, cuya unin est en E, tenemos:
[
X
k
k
Ei =
(Ei ).
i=1
i=1
1.4. MEDIDAS POSITIVAS
13
Es contablemente aditiva, si para cualquier sucesin disjunta {Ej } de conjuntos

de E, tal que su unin est en E, tenemos
[
X
Ei =
(Ei ).
i=1
i=1
Una funcin de conjuntos de valor real extendido en una clase E es montona,

si cuando A, B E y A B entonces (A) (B). Se dice que es sustractiva,
si para A, B E tales que A B, B \ A E y |(A)| < , entonces
(B \ A) = (B) (A).
Definicin 1.9. Una medida es una funcin de conjuntos de valor real extendido, no negativa y contablemente aditiva, definida en un anillo R y tal que
() = 0, es decir : R [0, ].
Si es un medida en R, un conjunto E R se dice que tiene medida finita
S
si (E) < ; la medida de E es -finita si existe {Ej } R tal que E
j=1 Ej
y (Ej ) < , j = 1, 2, . . . ; si la medida de cualquier conjunto E R es finita o
-finita, en R, la medida es llamada finita o -finita en R. Si X R es decir,
R es un lgebra y (X) es finita o -finita, entonces es llamada totalmente
finita o totalmente -finita, respectivamente.
La medida es llamada completa si las condiciones E R, F E y (E) = 0
implica que F R.
Lema 1.2. Si {Bj } es sucesin de conjuntos en un anillo R. Entonces existe
S
S
una sucesin disjunta {Aj } en R, tal que Aj Bj y j Aj = j Bj .
S

j1
Demostracin. Sean A1 := B1 y Aj := Bj \
B
, j 2, entonces Aj Bj
k
k=1
para toda j. Por definicin A1 Aj = , j > 1. Sea x Ai Aj y asumamos
1 < i < j, se tendr x Ai y x Aj .
De x Ai se obtiene x Bi y x Bkc , 1 k i 1; y de x Aj se obtiene
x Bj y x Bc , 1 j 1 y dado que i {1, . . . , j 1} se tendr en el
segundo caso x Bic es decir x
/ Bi , una contradiccin. Lo mismo para 1 < j < i,
S
S
en consecuencia i = j y los Aj son disjuntos. De Aj Bj se obtiene j Aj j Bj ;
S
sea x j Bj , de donde existe k0 Z+ tal que x Bk0 , se da uno de los casos:
hS
ic
k0 1
.
1. x Bk0
B
i
i=1
2. x Bk0
hS
k0 1
i=1
i
Bi .
14
Si (1) se cumple, entonces x Ak0 ; en caso contrario existe k1 {1, . . . , k0 1}

tal que x Bk1 , y se presentan situaciones anlogas a (1) y (2), por un lado x Ak1 ,
sino existe k2 < k1 , y as en un proceso finito tiene como mximo k0 repeticiones
S
S
S
se encontrar k {1, . . . , k0 } tal que x Ak j Aj , es decir j Bj j Aj , en
S
S
consecuencia j Aj = j Bj .
Teorema 1.4.1. Si es una medida en un anillo R, entonces es montona y

sustractiva.
Demostracin. Sean A, B R tales que A B, entonces B \ A R, en donde A y
B \ A disjuntos, entonces B = A (B \ A), de esto (B) = (A) + (B \ A), como
0 (B \ A) se tendr (A) (A) + (B \ A) = (B), es decir montona. Si
(A) < , entonces (B \ A) = (B) (A), de esto es sustractiva.
Corolario 1.4.1. Si es una medida en un anillo R, y si E, F R, entonces

(E) + (F ) = (E F ) + (E F ).

Demostracin. Como E F = E F \ (E F ) , y E F F , del teorema 1.4.1

tenemos F \ (E F ) = (F ) (E F ). Asimismo, E F \ (E F ) = , de

donde (E F ) = (E) + F \ (E F ) = (E) + (F ) (E F ).
Teorema 1.4.2. Si es una medida en un anillo R, E R y {Ej } es una

S
sucesin finita o infinita de conjuntos en R tal que E j Ej . Entonces
(E)
(Ej ).
Demostracin. Consideremos la sucesin {E Ej }, entonces (E Ej ) (Ej ), ya

que montona. Por lema h1.2 existe
i sucesin disjunta {Fj } tal que Fj E Ej y
S
S
S
j Fj =
j (E Ej ) = E
j Fj = E, entonces se obtiene
(E) =
(Fj )
(E Ej )
(Ej ).
De la aditividad contable y la monotona de , obtenemos el siguiente:

Teorema 1.4.3. Si es una medida en un anillo R, E R y {Ej } es una
S
sucesin disjunta finita o infinita de conjuntos en R tal que j Ej E. Entonces
tenemos
X
(Ej ) (E).
j
15
Decimos que una funcin de conjuntos de valor real extendido, definida en

una clase E es continua por abajo en un conjunto A, si para cualquier sucesin
creciente {Aj } de conjuntos en E denotada por Aj para la cual lmj Aj = A, se
tiene lmj (Aj ) = (A). Similarmente, es continua por arriba en un conjunto
A, si para cualquier sucesin decreciente {Aj } de conjuntos en E denotada por
Aj con |(Am )| < para al menos un m y tal que lmj Aj = A, se tiene
lmj (Aj ) = (A).
Teorema 1.4.4. Si es una medida en un anillo R, entonces es continua por
abajo y continua por arriba.
Demostracin. Sea {Aj } una sucesin en R, tal que (lmj Aj ) R. Mostrando continuidad por abajo de , si Aj , definiendo A0 := , entonces

lm Aj =
j
[
Ak
k=1
X
k=1
[
(Ak \ Ak1 )
k=1
(Ak \ Ak1 ) = lm
= lm
j
[
j
(Ak \ Ak1 )
k=1
j
X
k=1
(Ak \ Ak1 )
= lm (Aj ).
j
Continuidad por arriba de , si Aj , con Am tal que (Am ) < , entonces

(An ) (Am ), si n m, y de esto (lmn An ) < . Se sigue del teorema 1.4.1, del
resultado precedente y como {Am \ An } es una sucesin decreciente, que

(Am ) lm An = Am \ lm An = lm(Am \ An )
n
n
n

= lm (Am \ An ) = lm (Am ) (An )
n
= (Am ) lm (An )
n
como (Am ) < , se puede restar en ambos lados de la igualdad y se obtiene al final
(lmj Aj ) = lmj (Aj ).
Teorema 1.4.5. Sea una funcin de conjuntos finita, no negativa y aditiva en

un anillo R. Si es continua por abajo en cualquier E R, o continua por arriba
en , entonces es una medida en R.
16
Demostracin. En ambos casos se debe mostrar que es contablemente aditiva. Como es aditiva y R es un anillo, entonces por induccin matemtica, es finitamente
aditiva. Sea {Aj } una sucesin disjunta de conjuntos en R, cuya unin A tambin
S
est en R y sean Fj := jk=1 Ak , Gj := A \ Fj .
Si es continua por abajo, entonces como Fj en R, con lmj Fj = A, tendremos
(A) = lm (Fj ) = lm
j
j
X
(Ak ) =
k=1
(Ak ).
k=1
Si es continua por arriba en , entonces como Gj en R, tal que lmj Gj = ,

finita y adems A = Fj Gj , para toda j, se tendr
(A) =
j
X
(Ak ) + (Gj )
k=1
= lm
j
X
k=1
j
X
(Ak ) + lm (Gj )
k=1
(Ak ).
De las definiciones y resultados anteriores, se pueden establecer las caractersticas

que debe tener una medida con dominio en un anillo, el cual abarca dentro de
las familias de subconjuntos de un espacio X las propiedades ms generales que se
obtienen en el estudio de la Teora de la Medida.
Por tal motivo, en la teora de la integracin, teora de las probabilidades y
Mecnica Cuntica nos restringiremos a tratar con -lgebras M de nuestro espacio
X, las cuales en esencia son anillos -anillos en los que X M, y la cerradura
de la unin se tomaba en clases finitas de conjuntos disjuntos y ahora se cambia a
clases contables de conjuntos disjuntos en M.
Y de los ltimos teoremas, se ve que una medida en un anillo cualquiera,
tiene la propiedad que es contablemente aditiva, continua por abajo y continua por
arriba, conceptos relacionados con una -lgebra, por lo cual es consistente dar una
definicin de medida en un espacio medible, compatible con estos resultados.
Definicin 1.10. Una medida positiva en X, es una medida definida en
una -lgebra M, cuyo rango est en [0, ]. Para evitar trivialidades, se asumir
que (A) < para al menos un A M.
17
Un espacio de medida es un espacio medible dotado de una medida positiva,

definida en la -lgebra de sus conjuntos medibles y lo denotaremos por (X, M, ),
donde M es una -lgebra sobre X y una medida sobre X. Una medida compleja
es una aplicacin de valor complejo, contablemente aditiva definida en una -lgebra.
Corolario 1.4.2. Sea una medida positiva en una -lgebra M. Entonces se
cumple:
1. () = 0.
2. es montona.
3. es finitamente aditiva.
4. es continua por abajo y continua por arriba.
Demostracin. La propiedad (2) se obtiene del teorema 1.4.1, la (3) de los teoremas 1.4.2 y 1.4.3, y (4) del teorema 1.4.4. Se mostrar (1), por definicin existe
A M tal que (A) < , y construyamos la sucesin contable {Aj } en M, as:
A1 = A, Aj = , j 2, de esto tenemos
(A) =
[
j=1
Aj
X
j=1
(Aj ) = (A) + () + () + ,
de donde 0 = () + () + , como por definicin () 0, se tendr una suma

de valores no negativos iguales, de esto () = 0.
18
Captulo
Medida e Integracin
2.1.
Motivacin
Los conceptos de la integral introducidos por Bernhard Riemann (1854) y Thomas

Stieltjes (1894), es aplicable slo a aquellas funciones que bien son continuas o bien
no tienen demasiados puntos de discontinuidad. Para funciones medibles que pueden
ser discontinuas en todo punto donde estn definidas o incluso pueden estar definidas
en un conjunto abstracto, la construccin de Riemann y de Riemann-Stieltjes de la
integral no es vlida.
Basado en la idea de Henri Lebesgue (1904) sobre la generalizacin del concepto de
integral a un conjunto de funciones ms amplio, se obtiene un concepto de integracin
aplicable incluso a funciones definidas sobre conjuntos abstractos.
La idea principal de la integral de Lebesgue consiste en que, a diferencia de la
integral de Riemann-Stieltjes, los puntos x se agrupan no de acuerdo a su proximidad
con el eje de las abscisas, sino de acuerdo a la proximidad de los valores de la funcin
en estos puntos funciones simples; es decir, la integral de Riemann-Stieltjes se
define respecto del dominio de la funcin, en contraste al planteamiento de la integral
de Lebesgue, respecto del rango de la funcin.
Adems, la integral de Lebesgue se define de un mismo modo para funciones
determinadas en cualquier espacio X provisto de medida, mientras que la integral de
Riemann se introduce primero para funciones de una variable y solamente despus
se extiende, con las modificaciones correspondientes, al caso de varias variables. Para
funciones en espacios abstractos provistos de medida la integral de Riemann no tiene
sentido. Consideremos, por lo que sigue el espacio de medida (X, M, ).
19
CAPTULO 2. MEDIDA E INTEGRACIN
20
2.2.
Integral de Lebesgue
Definicin 2.1. Si s : X [0, ] es una funcin simple medible, de la forma

P
s = nj=1 j Aj , ecuacin (1.2), donde 1 , . . . , n son los valores distintos de s y
A1 , . . . , An se definen en la pgina 10, y si E M, definimos
Z
s d :=
n
X
j=1
j (Aj E),
(2.1)
la convencin 0 = 0 es usada (pgina 95), puede ser que i = 0 para algn i y

que (Ai E) = . Sea ahora f : X [0, ] medible, y E M, entonces el nmero
Z
Z
f d := sup s d,
(2.2)
E
en donde el supremo se toma sobre todas las funciones simples medibles s tales que
0 s f , es llamado la integral de Lebesgue de f sobre E, con respecto de la
medida , ste es un nmero en [0, ].
Como una consecuencia de la definicin, se tiene la siguiente:
Proposicin 2.1. Si las siguientes funciones y conjuntos que siguen se toman
como medibles sobre el espacio de medida (X, M, ) se tiene
R
R
1. Si 0 f g, entonces E f d E g d.
R
R
2. Si A B y f 0, entonces A f d B f d
R
R
3. Si f 0 y 0 c < , entonces E cf d = c E f d.
R
4. Si f (x) 0 en E, entonces E f d 0, incluso si (E) = .
R
5. Si (E) = 0, entonces E f d = 0, incluso si f (x) en E.
R
R
6. Si f 0, entonces E f d = X E f d.
Proposicin 2.2. Sean s, t funciones simples medibles no negativas en X. Para

R
E M definimos (E) := E s d. Entonces es una medida en M. Tambin
Z
Z
Z
(s + t) d =
s d +
t d.
(2.3)
X
2.2. INTEGRAL DE LEBESGUE
21
Demostracin. Si s es como en la definicin 2.1, y si E1 , E2 , . . . son conjuntos disjuntos en M cuya unin es E, como es contablemente aditiva, se tendr
(E) =
=
n
X
j (Aj E) =
j=1
X
n
X
r=1 j=1
n
X
j=1
j (Aj Er ) =
r=1
(Aj Er )
(Er ),
r=1
tambin () = 0, as que no es idnticamente infinita. Sea ahora s como antes y

1 , . . . , m los distintos valores de t, y sean Bk = { x | t(x) = k }, si Ejk = Aj Bk ,
entonces tenemos lo siguiente
Z
(s + t) d = (j + k )(Ejk ) y
Ejk
Z
Z
s d +
t d = j (Ejk ) + k (Ejk ),
Ejk
Ejk
de esto la ecuacin (2.3) se cumple con Ejk en lugar de X. Como X es unin disjunta
de los conjuntos Ejk , i j n, 1 k m, la primera parte de la proposicin
implica que (2.3) se verifique.

Teorema 2.2.1 (convergencia montona de Lebesgue). Sea {fn } una sucesin de funciones medibles en X, y supongamos que para x X cualquiera se
cumple
1. 0 f1 (x) f2 (x) .
2. fn (x) f (x) cuando n .
entonces f es medible y
lm
fn d =
f d.
R
R
Demostracin. Como fn fn+1 , entonces existe [0, ] tal que
Z
= lm
fn d.
n
(2.4)
R
R
Por teorema 1.3.6 f es medible. Como fn f , tenemos fn f para cualquier n,
de (2.4) tenemos
Z
f d.
(2.5)
X
22
Sea s cualquier funcin simple medible tal que 0 s f , sea c (0, 1) y

definimos
En := { x | fn (x) cs(x) }, n Z+ .
(2.6)
S
Por lema 1.1 cada En es medible, E1 E2 y X = n En . Para ver esta
igualdad. Sea x X, si f (x) = 0 entonces x E1 ; si f (x) > 0 entonces tenemos
cs(x) < f (x), ya que c < 1, de esto x En para algn n. Tambin
Z
Z
Z
fn d
fn d c
s d, n Z+ .
(2.7)
X
En
En
Cuando n , aplicamos la proposicin 2.2 y el corolario 1.4.2.4 a la ltima

integral en (2.7), el resultado es
Z
c s d,
(2.8)
X
como (2.8) se cumple para cualquier c < 1, tenemos

Z
s d,
(2.9)
para cualquier funcin simple medible s que satisface 0 s f , as que

Z
f d,
(2.10)
el teorema se sigue de (2.4), (2.5) y (2.10).
Teorema 2.2.2. Si fn : X [0, ] es medible, para n Z+ y si f (x) =

n=1 fn (x), x X. Entonces
f d =
Z
X
n=1
fn d.
Demostracin. Por el teorema 1.3.7 existen sucesiones {si } , {si } de funciones simples
medibles tales que si f1 , si f2 . Sea si = si + si , entonces si f1 + f2 , y
por el teorema 2.2.1 y la proposicin 2.2,
Z
Z
Z
(f1 + f2 ) d =
f1 d +
f2 d,
X
23
si hacemos gN = f1 + + fN , la sucesin {gN } converge en forma montona a f , y

si aplicamos induccin al ltimo resultado, tenemos que
Z
gN d =
N Z
X
fn d,
n=1
aplicando el teorema 2.2.1 obtenemos la conclusin deseada.
Lema 2.1 (Fatou). Si fn : X [0, ] es medible, para n Z+ , entonces

Z
Z

lm inf fn d lm inf
fn d.
(2.11)
X
Demostracin. Si hacemos gk (x) = nf ik fi (x), k Z+ , x X. Entonces gk fk , de

esto
Z
Z
gk d
fk d, k Z+ ;
(2.12)
X
tambin tenemos 0 g1 g2 , donde cada gk es medible, por teorema 1.3.6,

y gk (x) lm sup fn (x) cuando k , por definicin A.4. El teorema 2.2.1
muestra por lo tanto que el lado izquierdo de (2.12) tiende al lado izquierdo de la
desigualdad (2.11), cuando k .
Teorema 2.2.3. Supongamos que f : X [0, ] es medible, y sea (E) :=

f d, E M. Entonces es una medida en M y
E
Z
Z
g d =
gf d,
para cualquier g medible en X con rango en [0, ].

Demostracin. Sean E1 , E2 , . . . elementos disjuntos de M cuya unin es E. ObserP
vemos primero: E f =
j=1 Ej f y adems que
Z
Z
(E) =
E f d,
(Ej ) =
Ej f d.
X
Del teorema 2.2.2 tenemos (E) =

j=1 (Ej ). Como () = 0, la ltima
igualdad muestra que es una medida.
R
R
R
Ahora (E) = E f d, muestra que X g d = X gf d, se cumple cuando g = E
para algn E M. De esto se sigue, que el teorema se cumple para cualquier funcin
simple medible g, y el caso general se cumple desde el teorema 2.2.1.
24
Definicin 2.2. Representamos con L1 () al conjunto de todas las funciones

R
complejas f en X para las cuales X |f | d < , ya que si f es medible, entonces
|f | tambin lo es, y la integral est definida. Los miembros de L1 () se les llama
funciones Lebesgue-integrables con respecto a o funciones sumables.
Corolario 2.2.1. Sean f medible, E1 , E2 M tales que E1 E2 = , y E =
E1 E2 . Entonces
Z
Z
Z
f d =
f d +
f d.
E
E1
E2
Demostracin. Al considerar en el teorema 2.2.3, tenemos (E) = (E1 ) + (E2 )

y de esto la conclusin.
Definicin 2.3. Si f = u + iv, donde u, v son funciones medibles reales en X,

y si f L1 (), definimos para cualquier conjunto medible E
Z
Z
Z
Z
Z
+
+
f d :=
u d
u d + i v d i v d,
E
en donde se han tomado las partes positiva y negativa de u, v. En ciertas ocasiones

es deseable definir la integral de una funcin f con rango en [, +] por
Z
Z
Z
+
f d :=
f d
f d,
E
siempre que al menos una de las integrales del lado derecho sea finita, entonces el
lado izquierdo es un nmero en [, +].
Teorema 2.2.4. Supongamos f, g L1 () y que , C. Entonces tenemos
f + g L1 (), y
Z
Z
Z
(f + g) d =
f d +
g d.
X
Demostracin. Por el corolario 1.3.2.3 se tiene que f + g es medible, por la proposicin 2.1 y teorema 2.2.2 tenemos
Z
Z
|f + g| d
(|||f | + |||g|) d
X
X
Z
Z
= ||
|f | d + ||
|g| d < ,
X
25
de esto f + g L1 (). Entonces es suficiente mostrar que

Z
Z
Z
(f + g) d =
f d + g d,
X
(2.13)
y
Z
(f ) d =
X
(2.14)
f d.
El caso general de (2.13) se sigue, si probamos (2.13) para f, g reales en L1 (). Si

asumimos esto, con h = f + g, tenemos entonces con las respectivas partes positiva
y negativa: h+ h = f + f + g + g , es decir h+ + f + g = f + + g + + h .
R
R
R
R
R
R
Por el teorema 2.2.2, h+ + f + g = f + + g + + h , y cada una de estas
integrales es finita, y al transponerlas obtenemos (2.13).
Que (2.14) se cumple si 0 se sigue de la proposicin 2.1.3, para el caso
= 1, se usa la relacin (u)+ = u . En el caso = i se usa f = u + iv, entonces
R
R
R
R
R
R
R
R
R
(if ) = (iu v) = (v) + i u = v + i u = i( u + i v) = i f . Combinando
estos casos con (2.13) obtenemos (2.14) para toda C.
Teorema 2.2.5. Si f L1 (), entonces

Z
Z

f d
|f | d.

X
Demostracin. Sea z := X f d, como z C entonces existe C, || = 1, tal que

z = |z|. Sea u = Re(f ), entonces u |f | = |f |. Por lo tanto
Z

Z
Z
Z
Z

f d =
f d =
f d =
u d
|f | d,

X
la tercera de las igualdades anteriores muestra que
f d es real.
Sea una propiedad que un punto x X puede tener o no. Por ejemplo,
puede ser la propiedad f (x) > 0, si f es una funcin dada, o ser la propiedad
{fn (x)} converge, si {fn } es una sucesin dada.
Definicin 2.4. Si es una medida en una -lgebra M, sobre un espacio X y
si E M, la afirmacin se cumple casi en todas partes en E abreviado se
cumple c.t.p. en E asegura la existencia de un N M tal que (N) = 0, N E
y que se cumple para cualquier punto en E \ N. El concepto de c.t.p. depende
fuertemente de la medida dada, y escribiremos c.t.p. [] cuando se requiera aclarar
la medida indicada.
26
Proposicin 2.3. La relacin f g si

{ x | f (x) 6= g(x) } = 0
(2.15)
es de equivalencia sobre el conjunto de funciones -medibles sobre X. Si f g

entonces, para todo E M
Z
Z
f d =
g d,
E
y decimos que f = g c.t.p. [] en X. De esta manera, conjuntos de medida cero son

insignificantes o despreciables en integracin.

Demostracin. Como { x | f (x) 6= f (x) } = () = 0 se tendr f f ; si f g
se tiene f (x) 6= g(x) es decir g(x) 6= f (x) de esto g f .
La transitividad (f g y g h f h) es una consecuencia del hecho que
la unin de dos conjuntos de medida cero tiene medida cero. Para ver la segunda
afirmacin, sea N el conjunto que aparece en la ecuacin (2.15); entonces E es la
unin de los conjuntos disjuntos E \ N y E N, en E N tenemos f = g y
(E N) = 0.
Nota 2.1: La frase casi en todas partes fue primero introducida en francs,
presque partout, por Lebesgue en sus trabajos acerca de integracin y la denotaba
por p.p., en literatura en ingls se usa almost everywhere con la abreviatura a.e. para
hacer referencia a esta caracterstica.
Teorema 2.2.6 (convergencia dominada de Lebesgue). Si {fn } es una
sucesin de funciones medibles complejas en X, tal que f (x) = lmn fn (x) existe
para cualquier x X. Si existe g L1 () tal que |fn (x)| g(x), x X, n Z+ ,
entonces f L1 (),
Z
Z
Z
lm
|fn f | d = 0
y
lm
fn d =
f d.
n
Demostracin. Como |f | g y f es medible, f L1 (). Como |fn f | 2g,

aplicando el lema 2.1 a las funciones 2g |fn f | se produce
Z
Z

2g d lm inf
2g |fn f | d
n X
X
Z

Z
=
2g d + lm inf
|fn f | d
n
X
X
Z
Z
=
2g d lm sup
|fn f | d,
X
27
R
como 2g d es finito, puede ser restado y obtenemos
Z
lm sup
|fn f | d 0;
n
si una sucesin de nmeros reales positivos falla en su convergencia a cero, entonces

su lmite superior es positivo.1
De esto, tenemos la segunda de las conclusiones. Por el teorema 2.2.5, aplicado a
fn f tenemos la tercer conclusin.
Definicin 2.5. Un espacio de medida (X, M, ) se dice que es completo si

contiene a todos los subconjuntos de los conjuntos de medida cero. Es decir, si Y
Z, Z M y (Z) = 0, entonces Y M.
Teorema 2.2.7. Sea (X, M, ) un espacio de medida. Entonces M y pueden ser extendidas a una -lgebra M y a una medida
e, tales que (X, M ,
e) es
completo, a M se le llama la -completacin de M y

e la extensin completa
de .
Demostracin. Sean

M := E X | existen A, B M, (B \ A) = 0 y A E B
y
e(E) := (A) para todo E M . Se mostrar que:
1. M es -lgebra sobre X.
2.
e est bien definida y es medida completa.
3.
e(E) = (E) para todo E M.
Mostrando que M es -lgebra. Como M M y X M entonces X M . Si

A E B, entonces B c E c Ac , de esto E M implica E c M , a causa de
S
S
S
que Ac \ B c = Ac B = B \ A. Si Ai Ei Bi , E = i Ei , A = i Ai y B = i Bi ,
S
S
entonces A E B y adems B \ A = i (Bi \ A) i (Bi \ Ai ).
Como la unin contable de conjuntos de medida cero tiene medida cero, se sigue
que E M , si Ei M , i Z+ ; finalmente, si los conjuntos Ei son disjuntos, la
conclusin es verdadera para los conjuntos Ai y se tendr
X
X
e(E) = (A) =
(Ai ) =
e(Ei ),
i
Definicin A.4.
28
lo cual muestra que

e es contablemente aditiva en M . En general para A, B en la
definicin tenemos B = (B \ A) A, de donde (B) = (B \ A) + (A) = (A).
Supongamos que existen A E B, A1 E B1 y (B \ A) = (B1 \ A1 ) = 0,
como se cumple A \ A1 E \ A1 B1 \ A1 , tenemos (A \ A1 ) = 0, por lo tanto
(A) = (A A1 ), por la misma razn (A1 ) = (A1 A), y de esto (A) = (A1 ) =
e(E) y
e est bien definida. Como M podemos tomar B = A = , y se tiene
e() = () = 0, y
e es medida; sea E M tal que
e(E) = 0, y D E, entonces
existen A, B M tales que A E B y (A) = (B) = 0, de donde D B,
(B \ ) = 0 de esto D M .
Por ltimo si E M entonces tomamos A = B = E y tenemos
e(E) = (E), y
e es extensin de .
Nota 2.2: El teorema 2.2.7 dice que cualquier medida puede ser completada, as
que cuando sea conveniente, podemos asumir que una medida es completa, lo cual
da ms conjuntos medibles y de hecho ms funciones medibles.
Nota 2.3: El hecho que funciones iguales c.t.p. sean indistinguibles en lo que a integracin concierne, sugiere que nuestra definicin de funcin medible sea extendida.
Sean (X, M, ) espacio de medida y E M tal que (E c ) = 0, aqu (X) = (E),
diremos que una funcin f : E [, +] es medible sobre X, si f 1 (V ) E es
medible para cualquier abierto V en [, +].
Proposicin 2.4. La funcin : X [, +] dada por
(x) :=
f (x), si x E;
0,
si x E c .
es medible en X segn la definicin 1.6 y corolario 1.3.3.

Demostracin. En efecto, sea V abierto en [, +] entonces
1 (V ) = 1 (V ) X = 1 (V ) [E E c ]
= [1 (V ) E] [1 (V ) E c ]
por un lado tenemos 1 (V )E = f 1 (V )E M. Adems, E c = { x | (x) = 0 } =

{ x | (x) {0} }, 1 (V ) = { x | (x) V }, se da uno de los casos: E c 1 (V )
de donde 1 (V ) E c = E c M, o que 1 (V ) E c = M. En ambos casos
1 (V ) M y medible.
29
Proposicin 2.5. Si el espacio (X, M, ) es completo. La integral de sobre

cualquier A M es independiente de los valores que tome en E c .
Demostracin. Sea A M, entonces A = (A E) (A E c ), como A E c E c de
donde (A E c ) = 0, y se obtiene
Z
Z
Z
Z
d =
d +
d =
d,
ya que
AE c
AE c
AE
AE
d = 0.
Teorema 2.2.8. Supongamos que {fn } es una sucesin de funciones medibles

complejas definidas c.t.p. en X tales que
Z
X
|fn | d < .
(2.16)
X
n=1
Entonces la serie
f (x) =
fn (x),
(2.17)
n=1
converge para casi todo x X, f L1 (), y

Z
Z
X
f d =
fn d.
X
n=1
Demostracin. Sea Sn el conjunto en el cual fn est definida, as que (Snc ) = 0.

P
T
c
:=
Hacemos (x) :=
|f
(x)|,
para
x
S
n
n=1
n Sn , entonces (S ) = 0. Por (2.16)
y teorema 2.2.2
Z
S
d < .
(2.18)
Si E = { x X | (x) < } de esto E c = { x X | (x) = }, y

Z
Z
Z
d = d +
d < .
S
Ec
Como (x) 0 en E c , tenemos E c d = si (E c ) > 0, un absurdo, en conP

secuencia (E c ) = 0. Para x E tenemos
n=1 |fn (x)| = (x) < , es decir que
P
f (x) = n=1 fn (x) converge absolutamente en E. Adems |f (x)| (x) en E, as
que f L1 () en E, por (2.18). Definiendo gn := f1 + + fn , entonces tenemos
|gn | , gn (x) f (x) para toda x E, y el teorema 2.2.6 con E en lugar de X
da la ltima conclusin, ya que (E c ) = 0.
30
Teorema 2.2.9. Sea (X, M, ) un espacio de medida.

R
1. Si f : X [0, ] es medible, E M y E f d = 0. Entonces f = 0 c.t.p.
en E.
R
2. Supongamos que f L1 () y E f d = 0 para cualquier E M. Entonces
f = 0 c.t.p. en X.
R
R
3. Supongamos que f L1 () y X f d = X |f | d. Entonces existe C tal
que f = |f | c.t.p. en X.
Demostracin. Para (1) definimos An := { x E | f (x) > 1/n }, n Z+ , entonces

R
R
(An )/n An f d E f d = 0, as que (An ) = 0. Como
{ x E | f (x) > 0 } =
An
nZ+
tenemos la conclusin. Para el caso (E) = 0, podemos hacer uso de la nota 2.2 y
tenemos directamente

{ x E | f (x) > 0 } = 0.
Para (2) tenemos f = u + iv, entonces X = E + E F + F , donde stos son

R
R
los dominios respectivos de u+ , u , v + , v . La parte real de E + f d es E + u+ d, de
R
donde E + u+ d = 0, y (1) implica que u+ = 0 c.t.p., concluyendo similarmente que
u = v + = v = 0 c.t.p. y se tiene lo pedido.
En (3), tenemos de la demostracin del teorema 2.2.5 y por hiptesis existe C,
|| = 1, tal que
Z
Z
Z
Z

f d =
f d =
Re(f ) d =
|f | d,

X
por lo que X(|f | Re(f )) d = 0, de donde |f | = Re(f ) y Re(f ) = |f |, de esto

f = |f | = |f | c.t.p. en X.
Teorema 2.2.10. Si (X) < , f L1 (), S es un conjunto cerrado en C, y

el promedio
Z
1
AE (f ) :=
f d
(E) E
est en S para cualquier E M con (E) > 0. Entonces f (x) S para casi todo
x X.
2.3. MEDIDA DE LEBESGUE
31
Demostracin. Sea S c un disco circular cerrado, con centro en y radio r > 0.

Ya que S c es unin contable de tales discos, es suficiente probar que (E) = 0, donde
E = f 1 (). Si tenemos (E) > 0, entonces
Z

Z

1
1

|AE (f ) | =
(f ) d
|f | d r,
(E) E
(E) E
que es imposible, como AE (f ) S. Por lo tanto (E) = 0.
2.3.
Medida de Lebesgue
Definicin 2.6. Una medida definida en la -lgebra de Borel en un espacio

localmente compacto X, es llamada una medida de Borel en X. Sean positiva y
E X un conjunto de Borel, se dice que E es -regular exterior si
(E) = nf{ (V ) | E V, V abierto },
(2.19)
o -regular interior si
(E) = sup{ (K) | K E, K compacto };
(2.20)
si cualquier conjunto de Borel en X cumple (2.19) y (2.20) a se le llama regular.

Sea X un espacio localmente compacto, un funcional lineal positivo en Cc (X),
sea V un abierto y K un compacto en X. Para V X y f Cc (X) definimos la
funcin de conjuntos2
(V ) := sup{ f | f V }.
(2.21)
Si V1 V2 entonces (V1 ) (V2 ), por lo que si E es abierto
(E) = nf{ (V ) | E V, V abierto }
(2.22)
es consecuente con (2.21).

Para cualquier E X definimos (E) por (2.22). Aunque se defini (E) para cualquier E X, que sea contablemente aditiva slo se prueba para cierta
-lgebra M en X. Sea MF la familia de todos los E X, (E) < tales que
(E) = sup{ (K) | K E, K compacto },
2
Definicin B.8.
(2.23)
32
y definimos
M := { E X | E K MF , K compacto }.
Asimismo, es montona, es decir, (A) (B) si A B, y que (E) = 0

implica E MF y E M. Si K compacto, E M, A E y (E) = 0, de esto
A K E K por lo que (A K) (E K) 0 de donde A K MF ,
entonces A M. Si f g tenemos g = f + (g f ), como g f 0 y positivo,
tenemos f g y es montona.
Lema 2.2. Si {Ei } son arbitrarios en X, entonces
[
X
Ej
(Ej ).
j=1
j=1
Demostracin. Se mostrar
(2.24)
(V1 V2 ) (V1 ) + (V1 ),
si los Vi son abiertos. Eligiendo g Cc (X), g V1 V2 , por el teorema B.2 existen

funciones hi tales que hi Vi y h1 (x) + h2 (x) = 1 para toda x Supp(g). Por lo que
hi g Vi , h1 g + h2 g = g y as
(2.25)
g = (h1 g) + (h2 g) (V 1) + (V 2).
Como (2.25) se cumple para cualquier g V1 V2 , (2.24) se sigue. Si (Ei ) =

para algn i, entonces el lema se cumple.
Suponiendo (Ei ) < para toda i, dado > 0 cualquiera, por (2.22) existen
abiertos Vi Ei tales que
(Vi ) < (Ei ) + 2i , i Z+ ;
S
haciendo V =
i=1 Vi , y eligiendo f V , como f tiene soporte compacto, vemos
que f V1 Vn para algn n.
Aplicando induccin a (2.24) obtenemos
f (V1 Vn ) (V1 ) + + (Vn )
S
(Ei ) + .
i=1
Como esto se cumple para cualquier f V , y como i Ei V se sigue que

[

Ej (V )
(Ej ) + ,
j=1
lo cual prueba el lema, ya que arbitrario.
j=1
33
Lema 2.3. Si K es compacto, entonces K MF y (K) = nf{ f | K f }.

Demostracin. En efecto, si K f y 0 < < 1, sea V = { x | f (x) > }, entonces
K V y g f siempre que g V . Por lo tanto (K) (V ) = sup{ g | g
V } 1 f . Cuando 1, concluimos que
(K) f.
(2.26)
De esto (K) < y dado que K satisface (2.23), K MF . Sea > 0, existe
V K con (V ) < (K) + , por el lema B.2, K f V para algn f . De esto
f (V ) < (K) + , que combinado con (2.26) da la conclusin. Esto implica
que todo compacto tiene medida (ver lema 2.10) finita.
Lema 2.4. Cualquier abierto satisface la igualdad (2.23). Por lo tanto MF contiene cualquier abierto V con (V ) < .
Demostracin. En efecto, sean V un abierto de medida (lema 2.10) finita y R
tal que < (V ), luego existe f V tal que < f y Supp(f ) V . Si W es un
abierto tal que Supp(f ) W , entonces f W , por lo que f (W ). De esta

manera f Supp(f ) . Esto muestra un compacto Supp(f ) tal que

< Supp(f ) (V )
por consiguiente se cumple (2.23) para cualquier abierto V .
S
Lema 2.5. Supngase E = i=1 Ei , donde los Ei , i Z+ , son elementos disjuntos de MF , entonces
X
(E) =
Ei ,
(2.27)
i=1
si adems (E) < , entonces E MF .

Demostracin. Se mostrar que
(K1 K2 ) = (K1 ) + (K2 ),
(2.28)
si K1 , K2 son compactos disjuntos. Sea > 0, por el lema B.2, existe f Cc (X) tal
que f (x) = 1, x K1 , f (x) = 0, x K2 y 0 f 1, por el lema 2.3 existe g tal
que K1 K2 g y g < (K1 K2 ) + . Observemos que K1 f g y K2 (1 f )g;
como lineal, se sigue de (2.28) en la demostracin del lema 2.3, que
(K1 ) + (K2 ) (f g) + (g gf ) = g < (K1 K2 ) + ,
34
como es arbitrario, (2.28) se sigue ahora del lema 2.2.

Si (E) = , la igualdad (2.27) se sigue del lema 2.2. Asumamos por eso que
(E) < y sea > 0, ya que Ei MF , hay compactos Hi Ei tales que
(Hi ) > (Ei ) 2i , i Z+ . Haciendo Kn := H1 Hn y aplicando induccin
en (2.28), obtenemos
(E) (Kn ) =
n
X
(Hi ) >
i=1
n
X
i=1
(Hi ) .
(2.29)
Dado que (2.29) se cumple para cualquier n y todo > 0, el lado izquierdo de (2.27)
no es menor que el lado derecho, y as (2.27) se sigue desde el lema 2.2. Pero si
(E) < y > 0, (2.27) muestra que
(E)
N
X
(Ei ) + ,
(2.30)
i=1
para algn N, por (2.29) se sigue que (E) (KN ) + 2, y esto muestra que E
satisface (2.23) por lo que E MF .
Lema 2.6. Si E MF y > 0, entonces existe un compacto K y un abierto V

tales que K E V y (V \ K) < .
Demostracin. Por definicin existen K E y V E tales que (V ) /2 <
(E) < (K) + /2, dado que V \ K es abierto, V \ K MF por lema 2.4. Por
lema 2.5 se tiene (K) + (V \ K) = (V ) < (K) + .
Lema 2.7. La familia MF es un anillo en X, es decir, si A, B MF , entonces

A \ B, A B, A B MF .
Demostracin. Sea > 0, el lema 2.6 muestra que existen conjuntos Ki , Vi tales que
K1 A V1 , K2 B V2 y (Vi \ Ki ) < para i = 1, 2. Dado que
A \ B V1 \ K2 (V1 \ K1 ) (K1 \ V2 ) (V2 \ K2 ).
El lema 2.2 muestra que
(A \ B) + (K1 \ V2 ) + ,
(2.31)
dado que K1 \ V2 es un subconjunto compacto de A \ B, (2.31) muestra que A \ B

satisface (2.23), as que A \ B MF . Dado que A B = (A \ B) B, una aplicacin
del lema 2.5 muestra A B MF , y como A B = A \ (A \ B) tambin tenemos
que A B MF .
35
Lema 2.8. M es una -lgebra en X que contiene a todos los conjuntos de Borel.
Demostracin. Sea K X un compacto arbitrario. Si A M entonces Ac K =
K \ (A K), as que Ac K es una diferencia de dos miembros de MF . Por lo que
Ac K MF y concluimos: A M implica Ac M.
S
Supongamos A =
i=1 Ai donde Ai M, y sean B1 := A1 K, y Bn :=
(An K) \ (B1 Bn1 ), n = 2, 3, . . . . Entonces, por lema 2.7 {Bn } es una
S
sucesin disjunta de elementos de MF , y A K =
n=1 Bn .
Se sigue del lema 2.5 que A K MF , por lo que A M. Finalmente, si C
es cerrado, entonces C K es compacto, por lo que C K MF , y as C M.
En particular X M. Se ha probado que M es una -lgebra en X que contiene a
todos los subconjuntos cerrados de X, por lo que M contiene a todos los conjuntos
de Borel en X.
Lema 2.9. El anillo MF consiste precisamente de los conjuntos E M para los

cuales (E) < .
Demostracin. Si E MF , los lemas 2.3 y 2.5 implican que E K MF , K
compacto, luego E M. Inversamente, supongamos E M y (E) < . Existe
abierto V E con (V ) < .
Por lemas 2.4 y 2.5 existe compacto K V con (V \K) < , como E K MF ,
existe un compacto H EK con (EK) < (H)+, como E (EK)(V \K),
se sigue que
(E) (E K) + (V \ K) < (H) + 2,
lo cual implica que E MF .
Lema 2.10. La funcin es una medida positiva completa en M.

Demostracin. De los lemas 2.5 y 2.9 tenemos que si Ei M son disjuntos tales que
P
S
(Ei ) < para toda i Z+ , entonces
i=1 Ei =
i=1 (Ei ) y es contablemente aditiva.
Por otro lado, sea f Cc (X) tal que f , se cumple la cadena de contenciones
Supp(f ) { x | f (x) 6= 0 } de donde { x | f (x) 6= 0 } = , es decir f (x) 0
de esto f = 0 y as tenemos () = 0, por lo que es medida. Que es completa se
sigue de la argumentacin en la pgina 32.
Nota 2.4: La -regularidad exterior se estableci por construccin, para todo

E M; por el contrario, la -regularidad interior se mostr nicamente para los
abiertos y para aquellos E M con medida finita.
36
Teorema 2.3.1 (representacin de Riesz). Sean X un espacio localmente

compacto y un funcional lineal positivo en Cc (X). Entonces existe una -lgebra
M en X que contiene a los conjuntos de Borel en X, y existe una nica medida de
Borel en M, la cual es completa, tal que para cualquier f Cc (X) se tiene
Z
f =
f d.
(2.32)
X
Demostracin. Sean y M definidas como en la pgina 31, entonces es completa, de

donde est determinada en M por sus valores en compactos. Es suficiente mostrar
b(K) = (K) para todo K, en donde

b es otra medida que cumple el teorema.
Fijando K y dado > 0 cualquiera, por (2.32) tenemos f < , por (2.19)
existe V K tal que (V ) < (K) + , por lema B.2, existe f tal que K f V ,
de donde
Z
Z
b(K) =
K db
f db
= f
X
X
Z
Z
=
f d
V d
X
= (V ) < (K) + .
De esto
b(K) (K), por un argumento similar obtenemos (K)
b(K) y la
unicidad de est mostrada.
Se mostrar (2.32). Es suficiente probar la desigualdad
Z
f
f d
(2.33)
X
para cualquier f Cc (X) real, pues si (2.33) se establece, la linealidad de muestra

Z
Z
f = (f )
(f ) d =
f d,
X
que junto a (2.33) da la igualdad.

Sea K = Supp(f ), por el corolario B.1 existe un intervalo [a, b] que contiene el
rango de f , sea > 0 cualquiera, eligiendo yi , i = 1, . . . , n de modo que yi yi1 <
y y0 < a < y1 < < yn = b. Haciendo
Ei := { x | yi1 < f (x) yi } K, i = 1, . . . , n.
Dado que f es continua, f es medible de Borel y los Ei son conjuntos de Borel
disjuntos cuya unin es K. Existen abiertos Vi Ei tales que (Vi ) < (Ei )+/n, i =
1, . . . , n y tal que f (x) < yi + para toda x Vi .
37
Por el teorema B.2 existen funciones hi Vi tales que

P
i hi f = f , y el lema 2.3 muestra
X X
(K)
hi =
hi .
i
hi = 1 en K, de donde
Dado que hi f (yi + )hi , y dado que yi < f (x) en Ei , tenemos

f =
n
X
(hi f )
i=1
n
X
n
X
i=1
n
X
i=1
|a| + yi + hi |a|
i=1
n
X
(yi + )hi
n
X
hi
i=1

|a| + yi + (Ei ) + /n |a|(K)
n

X
|a| + yi +
n i=1
Zi=1

f d + 2(K) + |a| + b + ,
(yi )(Ei ) + 2(K) +
dado que es arbitrario, (2.33) se establece.
Definicin 2.7. Sea (X, M, ) un espacio de medida, un conjunto E M se

dice que tiene medida -finita si E es unin contable de conjuntos Ei tales que
(Ei ) < para toda i.
Lema 2.11. Sea (X, M, ) como en el teorema 2.3.1.
1. Si E X es -compacto, entonces E tiene medida -finita.
2. Si E M tiene medida -finita, entonces E es -regular interior.
S
Demostracin. Sea E X -compacto, entonces E = n Kn , donde Kn son compactos para toda n Z+ , por lema 2.3, tenemos que (Kn ) < para toda n Z+ ,
y E tiene medida -finita.
S
Sea E M con medida -finita, entonces E = n En tales que (En ) < , para
toda n Z+ , por lema 2.9 tenemos En MF , y por lema 2.6 existen Kn En
compactos, de donde Kn E y se tiene (Kn ) (E), por lo que E es -regular
interior.
38
Teorema 2.3.2. Sea (X, M, ) como en el teorema 2.3.1 y X es -compacto.

Entonces M y tienen las siguientes propiedades:
1. Si E M y > 0, entonces existe un cerrado F y un abierto V tales que
F E V y (V \ F ) < .
2. es regular en X.
3. Si E M, entonces existen conjuntos A F , B G tales que3 A E B
y (B \ A) = 0.
S
Demostracin. Mostrando (1), sea X = i Ki donde Ki compacto para toda i.
Sea E M y > 0 cualquiera, entonces (Ki E) < , por lema 2.6 existen

S
Vi Ki E abiertos, tales que Vi \ (Ki E) < /2n+1 . Sea V = i Vi , entonces

S
V \ E i Vi \ (Ki E) , as que (V \ E) < /2.
Aplicando esto a E c en lugar de E, existe abierto W E c tal que (W \E c ) < /2.
Si F := W c entonces F E y E \ F = E \ W c = E W = W \ E c de donde
(E \ F ) < /2. Como V \ F = (V \ E) (E \ F ) se tendr (V \ F ) < .
S
S
Para (2), sea F X cerrado, como X = i Ki se tendr F = i (F Ki ), en
donde cada F Ki es compacto, de esto F es -compacto. Como F M se tiene
por lema 2.11 que F tiene medida -finita. Sea E M y > 0 cualquiera, por (1)
existe F E cerrado tal que (E \ F ) < /2, entonces E = (E \ F ) F de donde
E tiene medida -finita, entonces E es -regular interior y es regular.
Para (3), si aplicamos (1) con = 1/j, j Z+ obtenemos cerrados Fj y abiertos Vj
S
T
tales que Fj E Vj y (Vj \Fj ) < 1/j. Haciendo A = j Fj y B = j Vj , entonces
A E B, donde A F , B G y (B\A) = 0 ya que B\A Vj \Fj , j Z+ .
Teorema 2.3.3. Sea X un espacio localmente compacto, en donde todo abierto
es -compacto. Sea cualquier medida positiva de Borel en X tal que (K) <
para cualquier compacto K. Entonces es regular.
R
Demostracin. Se hace f := X f d, para f Cc (X), ya que (K) < para
cualquier compacto K, es un funcional positivo en Cc (X), y por el teorema 2.3.2
existe una medida regular , tal que
Z
Z
f d =
f d, f Cc (X).
(2.34)
X
Consultar definicin 1.5.
2.4. RELACIN CON LA INTEGRAL DE RIEMANN
39
S
Se mostrar = , sea V X abierto, entonces V = i Ki donde Ki compacto
para toda i Z+ .
Por el lema B.2 se pueden elegir fi tales que Ki fi V , sea definen las funciones
gn := max{f1 , . . . , fn }, entonces gn Cc (X) y gn (x) aumenta hasta V (X) para
cualquier x X. Por lo tanto (2.34) y el teorema 2.2.1 implican
Z
Z
(V ) = lm
gn d = lm
gn d = (V ).
(2.35)
n
Sea ahora E X un conjunto de Borel y sea > 0, como satisface el teorema 2.3.2,
existe un cerrado F y un abierto V tales que F E V y (V \ F ) < . Por lo
tanto (V ) (F ) + (E) + .
Como V \ F abierto, (2.35) muestra que (V \ F ) < , de donde (V ) (E) + ;
en consecuencia tenemos (E) (V ) = (V ) (E) + y (E) (V ) =
(V ) (E) + , as que |(E) (E)| < para cualquier > 0, por lo tanto
(E) = (E).
2.4.
Relacin con la integral de Riemann
Sea [a, b] Rk una k-celda cerrada, se dice que = {I1 , . . . , Ir } es una particin
S
de [a, b], si los Ii son abiertos disjuntos y [a, b] = ri=1 Ii (Ii es la clausura de Ii ),
diremos que = {I1 , . . . , Is } es un refinamiento de , en smbolos , si
para toda j existe i tal que Ij Ii . A || = supi Vol(Ii ) lo llamaremos la norma de
b := { Ii Ij | Ii
la particin . Si , son dos particiones de [a, b], entonces
y Ij } es un refinamiento comn a , . Denotaremos por P a la clase de
todas las particiones de [a, b].
Sean f : Rk R una aplicacin acotada en [a, b] Rk , = {I1 , . . . , Ir } una
particin de [a, b]. Se definen
mi := nf{ f (x) | x Ii },
L(f, ) :=
Mi := sup{ f (x) | x Ii },
U(f, ) :=
r
X
i=1
r
X
i=1
mi Vol(Ii )
Mi Vol(Ii )
a U(f, ), L(f, ) se les llama sumas de Darboux superior e inferior, respectivamente. Se tiene L(f, ) U(f, ); si es un refinamiento, entonces
L(f, ) L(f, ) U(f, ) U(f, ).
40
Asimismo, la integral superior e inferior se definen por

S(f ) := nf U(f, ),
S(f ) := sup L(f, )
se tiene L(f, ) S(f ) S(f ) U(f, ). Para toda i sea xi Ii cualquiera,

entonces se define la suma de Riemann
SR (f ) :=
r
X
i=1
f (xi ) Vol(Ii ).
Figura 2.1: Suma e Integral de Riemann en R

Definicin 2.8. Se dice que f es Riemann-integrable en [a, b] si S(f ) = S(f )
y el valor comn lo denotaremos por
Z
f (x) dx := S(f ) = S(f );

a
en forma equivalente, si I R es tal que: para todo > 0 existe un > 0, tal que
si || < entonces |I SR (f )| < , y en este caso tenemos
Z
f (x) dx = I .
Lema 2.12. Si f Cc (Rk ), entonces f es Riemann-integrable.
41
Demostracin. Para n Z+ fijo, ver pgina 98, sea f Cc (Rk ) real. Para x Pn
sea C = C(x, 2n ) n de donde Vol(C) = 2nk y adems Rk es unin disjunta de
elementos de n .
Definimos sobre todo Rk la aplicacin
X
X
n f :=
f (x) 2nk = 2nk
f (x)
(2.36)
xPn
xPn
como Supp(f ) es compacto, entonces n f es una sumatoria finita de trminos no

nulos y por consiguiente es una suma de Riemann. Asimismo n es lineal sobre
Cc (Rk ). Sean > 0 cualquiera, W Supp(f ) una k-celda abierta.
La continuidad uniforme de f , teorema C.1, muestra que existe N Z+ tal que
si kx x k2 < 2N entonces |f (x) f (x )| < . Para cada C N sean MC , mC el
supremo y el nfimo de f en C, son todos nulos salvo un nmero finito de ellos.
Sean g, h las funciones que en cada cubo C toman respectivamente los valores
mC y MC , entonces g f h y h g < . Si n > N, la proposicin A.4.3, muestra
que
N g = n g n f n h = N h
luego los lmites inferior y superior de {n f } cumplen
|N (h g)| Vol(W )
lo cual muestra que f es Riemann-integrable, lo mismo si f es compleja.
Nota 2.5: Del lema 2.12 se puede definir la aplicacin correspondiente a la integral
de Riemann
f := lm n f,
f Cc (Rk )
(2.37)
n
y se tiene que es un funcional lineal positivo, que cumple con las condiciones del
teorema 2.3.1. Como Rk es -compacto, la medida completa de Borel que se obtiene
es regular y la denotaremos por m, y la -lgebra correspondiente por L.
Asimismo, L contiene a todos los conjuntos de Borel en Rk ; y adems E L
si y slo si existen conjuntos A, B Rk tales que A E B, A F , B
G y m(B \ A) = 0. Si es una medida de Borel en Rk y (E) = m(E) para
todos los cubos E, entonces la misma igualdad se cumple para todos los abiertos
(proposicin A.4.4), por consiguiente para todos los conjuntos de Borel E, ya que
es regular (teorema 2.3.3).
42
Definicin 2.9. A m le llamaremos medida de Lebesgue en Rk y L es la

-lgebra de los conjuntos Lebesgue-medibles. Se escribe L1 (Rk ) en lugar de
L1 (m). Si E Rk es un subconjunto Lebesgue-medible y si m se restringe a los
subconjuntos medibles de E, un nuevo espacio de medida se obtiene de una forma
natural, las frases f L1 en E o f L1 (E) se usan para indicar que f es
Lebesgue-integrable en este espacio de medida.
Corolario 2.4.1. Si una funcin f es Riemann-integrable en [a, b], entonces es
Lebesgue-integrable y
Z b
Z
f (x) dx =
f dm.
a
[a,b]
Teorema 2.4.1. La medida de Lebesgue m le asigna a toda k-celda W su volumen, es decir: m(W ) = Vol(W ). Adems es invariante ante traslaciones, es decir
m(E + x) = m(E) para cualquier E L y cualquier x Rk .
Demostracin. Sean W una celda abierta, Er la unin de los cubos que estn en r
cuyas clausuras estn en W , stos son un nmero finito y su unin Er es tal que
Er W . Tomemos Er fr W y sea gr := max{f1 , . . . , fr }, nuestra construccin
de muestra que Vol(Er ) fr gr Vol(W ).
R
Como Vol(Er ) Vol(W ) si r , y gr = gr dm m(W ), por el
teorema 2.2.1, ya que gr (x) W (x) para toda x Rk . De esto m(W ) = Vol(W )
para cualquier celda abierta W , dado que cualquier celda es la interseccin de una
sucesin decreciente de celdas abiertas, se obtiene lo pedido.
Fijando a Rk y definiendo (E) := m(E + a), por lo que es una medida, se
tiene de la nota 2.5 que para todos los cubos (E) = m(E), de esto m(E +a) = m(E)
para todos los conjuntos de Borel E, la misma igualdad se cumple para cualquier
E L.
Siguiendo la nomenclatura de la pgina 39, se definen las funciones simples

l :=
r
X
mi Ii ,
i=1
u :=
r
X
Mi Ii ,
i=1
de la definicin de la integral de Lebesgue tenemos

Z
r
X
l dm =
mi Vol(Ii ) = L(f, ),
[a,b]
[a,b]
u dm =
i=1
r
X
i=1
Mi Vol(Ii ) = U(f, );
43
sean {n } una sucesin de particiones en [a, b], n n+1 , y ln := ln , un := un ,

tenemos l1 l2 f u2 u1 . Por el teorema 2.2.6 tenemos
Z
Z
Z
S(f ) = lm U(f, n ) = lm
un dm =
lm un dm =
u dm,
n
n [a,b]
[a,b] n
[a,b]
Z
Z
Z
S(f ) = lm L(f, n ) = lm
ln dm =
lm ln dm =
l dm,
n
[a,b]
[a,b] n
[a,b]
en donde u = lmn un , l = lmn ln .

Teorema 2.4.2 (Lebesgue). Sea f acotada en [a, b]. Entonces f es Riemannintegrable en [a, b] si y slo si f es continua c.t.p. en [a, b].
Demostracin. Si x [a, b] no es un punto en los extremos de cualquiera de los Ii ,
entonces f es continua en x si y slo si u(x) = l(x). Si f es Riemann-integrable, se
R
establece que (u l) dm = 0 de donde u l = 0 c.t.p., es decir f es continua c.t.p.
en [a, b].
A la inversa, si f es continua c.t.p. entonces l = f = u c.t.p., como u es medible
tambin lo es f , y como f acotada, entonces f es Lebesgue-integrable. Entonces las
R
R
tres integrales coinciden, en especial l dm = u dm, en consecuencia f es Riemannintegrable.
Teorema 2.4.3. Consideremos el espacio de medida (Rk , L, m).

1. Si es cualquier medida de Borel invariante ante traslaciones en Rk tal que
(K) < para cualquier compacto K, entonces existe una constante c tal que
(E) = c m(E) para cualquier conjunto de Borel E Rk .
2. Para cualquier transformacin lineal T : Rk Rk , le corresponde un nmero

real T tal que m T [E] = T m(E) para cualquier E L. En particular,

m T [E] = m(E) cuando T es una rotacin.
Demostracin. Si satisface la hiptesis de (1), sea C0 un 1-cubo, haciendo c =

e un 2n -cubo, puesto que C0 es unin disjunta de 2nk cubos trasladados,
(C0 ), sea C
e tenemos
con la misma medida (C),

e = (C0) = c m(C0 ) = c 2nk m C
e ,
2nk (C)
e = 2nk . Por la proposicin A.4.4 tenemos (E) = c m(E)

ya que m(C0 ) = 1, m(C)
para todos los abiertos E Rk y por consiguiente para todo conjunto de Borel.
44
Para (2) sea T : Rk Rk lineal, si Y = T [Rk ] Rk es un subespacio propio,

entonces su dimensin es menor, se mostrar m(Y ) = 0, y la conclusin se obtiene
al tomar T = 0.
En efecto, a travs de un automorfismo todo subespacio propio de Rk se transforma en un subespacio de Q = { x Rk | 1 = 0 }, se mostrar que m(Q) = 0 y
como (Rk , L, m) es completo se tendr m(Y ) = 0. Como Q es homeomorfo a Rk1 ,
se tendr que Q es abierto en Rk , de donde es unin contable de cubos de la forma
Cn = [0, 0] [n, n] [n, n] Rk ,
n Z+ ,
de esto m(Cn ) = 0 (2n)k1 = 0, y se tiene m(Q) = 0. Por otro lado, si T es un

isomorfismo, su inversa es lineal y por consiguiente un homeomorfismo de Rk en Rk ,
as que T [E] es un conjunto de Borel para todo conjunto de Borel E, y de esta forma

podemos definir una medida de Borel en Rk por (E) := m T [E] .
La linealidad de T combinada con la invariancia ante traslaciones de m, con
a Rk fijo, tenemos

(E + a) = m T [E + a] = m T [E] + T a = m T [E] = (E).
De esto es invariante ante traslaciones, y la primera aseveracin se sigue desde
(1), primero para conjuntos de Borel E, y luego para todo E L por nota 2.5. Para

encontrar T , simplemente necesitamos conocer m T [E] /m(E) para un conjunto E
tal que 0 < m(E) < . Si T es una rotacin, sea E la bola unitaria de Rk , entonces
T [E] = E y T = 1.
Nota 2.6: Como (R, +) es un grupo. Sea Q el subgrupo de todos los racionales,
se define la relacin de equivalencia sobre R: x y (mod Q), de donde R queda
particionado en clases de equivalencia [a] = { y | a y Q }. Se hace uso del axioma
e tomando un elemento de cada clase de
de seleccin para formar un conjunto A,
equivalencia.
e tiene las siguientes propiedades.
Proposicin 2.6. El conjunto A

e+r A
e + s = , si r, s Q, r 6= s.
1. A
e + r para algn r Q.
2. Cualquier x R est en A

e+r A
e + s , entonces x =
Demostracin. Para mostrar (1) supongamos x A
e y 6= z. Pero y z = s r Q, as que y y z
y + r = z + s para algunos y, z A,
estn en la misma clase de Q, una contradiccin.
45
e que est en la misma clase con x, se tendr

Para probar (2), sea y el punto de A
r = x y Q.
Teorema 2.4.4 (Vitali). En R sea E L tal que m(E) > 0, entonces existe
A E tal que A 6 L.
Demostracin. Supongamos que todos los subconjuntos de E L son Lebesgue
e + t , entonces Et es Lebesgue-medible.
medibles. Sea t Q fijo, y Et = E A
Sea K Et compacto, y H la unin de las traslaciones K + r, donde r recorre
e + t, la
Q [0, 1]. Entonces H est acotado, de donde m(H) < , como K A
proposicin 2.6.1 muestra que los conjuntos K + r son una particin disjunta, de esto
P
m(H) = r m(K + r).
Pero m(K + r) = m(K), se sigue que m(K) = 0. Esto se cumple para cualquier
compacto K Et , de donde m(Et ) = 0.
S
Finalmente, la proposicin 2.6.2 muestra que E = t Et , donde t recorre todo
Q. Como Q es contable, se concluye que m(E) = 0, una contradiccin. Entonces E
tiene un subconjunto que no es Lebesgue-medible.
De la definicin 2.9 y como una consecuencia directa del teorema 2.4.4 tenemos
el siguiente:
Corolario 2.4.2. En R sea E L, entonces P(E) L si y slo si m(E) = 0.
Del corolario 2.4.1 se sabe que toda funcin Riemann-integrable es Lebesgueintegrable, sin embargo la conversa no es cierta como lo muestra el siguiente:
Ejemplo 2.1: Sea {r1 , r2 , r3 , . . . } una enumeracin de los racionales en [0, 1] y para
cada n Z+ se definen
(
1, si x {r1 , . . . , rn };
fn (x) :=
0, si x [0, 1] \ {r1 , . . . , rn }.
para toda x [0, 1], sea f (x) = lmn fn (x), y se tiene la funcin de Dirichlet
restringida al intervalo [0, 1]
(
1, si x {r1 , r2 , r3 , . . . };
f (x) =
(2.38)
0, si x [0, 1] \ {r1 , r2 , r3 , . . . }.
Por el teorema 2.4.2 tenemos que cada funcin fn es Riemann-integrable, pero f no
lo es, ya que no es continua en ningn punto, consultar Bartle [2, p. 165].
46
R
Para cualquier n Z+ tenemos [0,1] fn dm = 0. Asimismo, como 1 L1 [0, 1]
entonces para x [0, 1] arbitrario y n Z+ , se cumple |fn (x)| 1. Al aplicar el
teorema 2.2.6 obtenemos f L1 [0, 1] y
Z
Z
f dm = lm
fn dm = 0.
[0,1]
[0,1]
R1
Es decir, 0 f dx no existe con la teora de la integral de Riemann, mientras que
R
f dm = 0 con la teora de la integral de Lebesgue.
[0,1]
Captulo
Espacios Lp
3.1.
Propiedades elementales
Definicin 3.1. Sean p, q R+ tales que p + q = pq, o equivalentemente

1 1
+ =1
p q
(3.1)
entonces llamaremos a p y q una pareja de exponentes conjugados. Entonces (3.1)

implica p, q (1, ). Cuando p 1, (3.1) fuerza que q , consecuentemente
1 e son tambin una pareja de exponentes conjugados. Algunas veces a p, q se les
denota con p, p .
Definicin 3.2. Sea X un espacio de medida con medida positiva . Si p
(1, ), definimos
L p () := { f : X C | f medible y |f |p L1 () },
y se definir
kf kp :=
Z
|f | d
1/p
(3.2)
es decir, si f L p () entonces kf kp < . Aqu kf kp es una seminorma sobre X,

para ms detalles consultar la nota 3.2.
Definicin 3.3. Supongamos g : X [0, ] medible. Sea

S = R | g 1 (, ] = 0 ,
47
CAPTULO 3. ESPACIOS LP
48
si S = , hacemos = , S 6= hacemos = nf S. Dado que la unin de una

coleccin contable de conjuntos de medida cero tiene medida cero, y dado que

[

g 1 (, ] =
g 1 + n1 ,
n=1
vemos que S. Llamaremos a el supremo esencial de g. Si f es una funcin

medible compleja en X, definimos kf k como el supremo esencial de |f |, y sea
L (X) := { f | X C | kf k < },
los miembros de L () son algunas veces llamadas funciones medibles esencialmente acotadas en X.
Nota 3.1: Se sigue de la definicin 3.3 que la desigualdad |f (x)| se cumple
para casi toda x si y solamente si kf k , en tal caso podemos dar la definicin
kf k = nf{ | |f (x)| c.t.p. en X }.
(3.3)
Si es la medida de Lebesgue en Rk , escribiremos L p (Rk ) en lugar de L p (m) para

p [1, ], y lo mismo si E Rk es un conjunto medible de Lebesgue.
Teorema 3.1.1. Sean p, q exponentes conjugados, 1 < p < . Sea X un espacio
de medida, con medida . Sean f, g funciones medibles en X, con rango en [0, ].
Entonces, tenemos la desigualdad de Hlder
Z
1/p Z
1/q
Z
p
q
f g d
f d
g d
(3.4)
X
si p = q = 2, se le llama desigualdad de Schwarz. Asimismo, a

1/p Z
1/p
Z
1/p Z
p
p
p
(f + g) d
f d
+
g d
X
(3.5)
se le llama desigualdad de Minkowski.

Demostracin. Sean A, B los dos factores a la derecha de (3.4). Si A = 0, entonces
f = 0 c.t.p. (por teorema 2.2.9), de esto f g = 0 c.t.p. y (3.4) se cumple. Si A > 0 y
B = , (3.4) es trivial.
Ahora necesitamos considerar slo el caso A, B (0, ). Haciendo
F = f /A y G = g/B
(3.6)
3.1. PROPIEDADES ELEMENTALES

esto da
F d =
49
Z
Gq d = 1.
(3.7)
Si x X es tal que F (x), G(x) (0, ), existen s, t R tales que F (x) = es/p
y G(x) = et/q . Dado que 1/p + 1/q = 1, la convexidad1 de la funcin exponencial
implica que
es/p+t/q es /p + et /q.
(3.8)
Se sigue que
(3.9)
F (x)G(x) F (x)/p + G(x)/q,

para cualquier x X. La integracin de (3.9) produce
Z
F G d 1/p + 1/q = 1,
(3.10)
por (3.7); insertando (3.6) en (3.10), obtenemos (3.4).

Para mostrar (3.5), escribimos
(f + g)p = f (f + g)p1 + g (f + g)p1,
(3.11)
la desigualdad (3.4) da
Z
f (f + g)
p1
Z
1/p Z
(f + g)
(p1)q
1/q
(3.12)
Sea (3.12) la desigualdad (3.12) con f y g intercambiados. Dado que (p 1)q = p,

la suma de (3.12) con (3.12) da
Z
(f + g)
Z
(f + g)
1/q "Z
1/p
Z
1/p #
(3.13)
Es suficiente probar (3.5) en el caso que el lado izquierdo es ms grande que cero
y el lado derecho es menor que , la convexidad de la funcin tp para 0 < t <

p
muestra que (f + g)/2 (f p + g p )/2. Por lo tanto el lado izquierdo de (3.5) es
menor que ; y (3.5) se sigue de (3.13) si dividimos por el primer factor de la derecha
de (3.13), teniendo en cuenta que 1 1/q = 1/p. Esto completa de demostracin.
1
Definicin B.9.
50
Teorema 3.1.2. Sea 0 < p < 1, f L p () y g L q () tales que f 0, g 0.

Entonces tenemos
Z
1/p Z
1/q
Z
p
q
f g d
f d
g d
(3.14)
X
g q d = 0, notar que q < 0.

R
Demostracin. Si tenemos 0 < g q d < y como q < 0 tenemos g(x) > 0 para casi
toda x X. Sean := 1/p y := /( 1), definimos := g 1/ y := (gf )1/ ,
como q = p/(p 1) se tendr = g q de donde L ().
R
Si f g d = entonces (3.14) se cumple. De otra manera f g L 1 () y como
= f g, entonces L (). Aplicando (3.4) con p reemplazado por tenemos
Z
1/ Z
1/
Z
Z
p
f d =
d
d
d
a menos que
Z
Z
f d
f d
Z
1/p Z
g d
X
q
g d
X
1/
1/(p )
Z
f g d
Z
Z
f g d
p Z
p
g d
1/
f g d
como 1/(p ) = 1/q, se obtiene la demostracin.
Teorema 3.1.3. Supongamos 0 < p < 1 y f, g L p () tales que f 0, g 0.

Entonces
Z
1/p Z
1/p Z
1/p
p
p
p
(f + g) d
f d
+
g d
(3.15)
X
Demostracin. Se tiene la estimacin
p h

ip
|f + g|p |f | + |g| 2 max |f |, |g|

= 2p max |f |p , |g|p 2p |f |p + |g|p
de donde f + g L 1 (). Siguiendo un procedimiento anlogo a la demostracin de

R
R
R
la desigualdad (3.5). Como (f + g)p = f (f + g)p1 + f (f + g)p1 , y al usar el
teorema 3.1.2, se obtiene
"Z
Z 1/p # Z
1/q
Z
1/p
p
p
p
p
(f + g)
f
+
g
(f + g)

de donde
R
(f + g)p
11/q
fp
1/p
51
R
gp
1/p
Teorema 3.1.4. Sean p, q exponentes conjugados, 1 p , f L p () y

g L q (), entonces f g L 1 () y
kf gk1 kf kp kgkq .
(3.16)
Demostracin. Para 1 < p < , (3.16) es la desigualdad (3.4), aplicada a |f | y

|g|. Si p = notamos que |f (x)g(x)| kf k |g(x)| para casi toda x; integrando
esta desigualdad obtenemos (3.16). Si p = 1 entonces q = y aplicamos el mismo
argumento.
Teorema 3.1.5. Supongamos 1 p y f, g L p (). Entonces f + g

L p () y
kf + gkp kf kp + kgkp .
(3.17)
Demostracin. Para 1 < p < , (3.17) se sigue desde la desigualdad (3.5), puesto
R
R
que |f + g|p (|f | + |g|)p. Para p = 1 p = , (3.17) es una consecuencia de la
desigualdad |f + g| |f | + |g|.
Nota 3.2: Si f L p (), p [1, ] y C, se tiene f L p (), ya que

kf kp = || kf kp . Junto con el teorema 3.1.5 tenemos que el espacio L p () es un
espacio vectorial complejo para todo p [1, ]. Supongamos que f, g, h L p (), al
reemplazar f por f g y g por g h, en la desigualdad (3.17) obtenemos
kf hkp kf gkp + kg hkp ,
(3.18)
lo cual sugiere que una mtrica puede ser introducida en L p () a travs de definir la
distancia entre f y g por d(f, g) := kf gkp . Entonces 0 d(f, g) < , d(f, f ) = 0,
d(f, g) = d(g, f ) y de (3.18) tenemos la desigualdad del tringulo
d(f, h) d(f, g) + d(g, h).
La propiedad que d debe satisfacer, para definir un espacio mtrico es: si d(f, g) = 0
entonces f = g; lo cual en este caso no necesariamente se cumple, pues tenemos
d(f, g) = 0 slo cuando f (x) = g(x) para casi toda x, lo que hace de kf kp una
seminorma. Si escribimos f g si y slo si d(f, g) = 0, tenemos que es una relacin
de equivalencia (ver proposicin 2.3 y teorema 2.2.9) en L p (), que particiona a
L p () en clases de equivalencia.
52
Cada clase consiste de todas las funciones que son equivalentes a una funcin
dada; si [f ] y [g] son dos clases de equivalencia, elegimos f [f ] y g [g], y definimos

de [f ], [g] := d(f, g), notamos que si f f1 y g g1 se tendr d(f1 , g1 ) = d(f, g), de

donde de [f ], [g] est bien definida. Con esto, el conjunto de clases de equivalencia
es ahora un espacio mtrico, y adems un espacio vectorial normado.
Dados f f1 y g g1 entonces f + g f1 + g1 y f f1 para cualquier C.

Se define el conjunto N () := f L p () | f (x) = 0 c.t.p. [] , entonces N ()
es un subespacio de L p (); asimismo, f g si y slo si (f g) N ().
Definicin 3.4. Sean p [1, ] y Lp () := L p ()/N (), con la norma kf kp
ecuacin (3.2) si 1 p < , ecuacin (3.3) si p = llamada la Lp -norma de
f [f ] Lp (), con lo cual (Lp (), kkp ) es un espacio mtrico.
De la anterior definicin se tiene que el espacio bajo estudio es realmente un
espacio cuyos elementos no son funciones sino clases de equivalencia de funciones.
Por simplicidad del lenguaje, es habitual relegar esta distincin al nivel de una tcita
interpretacin y continuar hablando de Lp () como un espacio de funciones, lo cual
se seguir en lo restante.
Definicin 3.5. Sean {fn } una sucesin en Lp () y f Lp (). Si se tiene
lm kfn f kp = 0,
diremos que {fn } converge a f o que {fn } converge a f en la media de orden

p, o que {fn } es Lp -convergente a f . Si para todo > 0 existe N Z+ tal
que kfn fm kp < , siempre que n, m > N, llamaremos a {fn } una sucesin de
Cauchy en Lp ().
Teorema 3.1.6 (Fisher-Riesz). El espacio Lp () es un espacio de Banach,
para 1 p y cualquier medida positiva .
Demostracin. Asumamos primero 1 p < y sea {fn } una sucesin de Cauchy
en Lp (). Existe una subsucesin {fni } , n1 < n2 < , tal que

fn fn < 2i , i Z+ ,
(3.19)
i+1
i p
haciendo
k
X

fn fn
gk =
i+1
i
i=1
y g = lm gk .
k
(3.20)
53
Ya que (3.19) se cumple, la desigualdad (3.5) muestra que kgk kp < 1, k Z+ .

Por lo tanto una aplicacin del lema 2.1 a {gkp } da kgkp < 1; en particular,
g(x) < c.t.p. en X; y la serie dada por
fn1 (x) +
X

fni+1 (x) fni (x) ,
(3.21)
i=1
converge absolutamente para casi todo x X.

Denotando la suma (3.21) por f (x) para aquellos x en donde (3.21) converge,
haciendo f (x) = 0 en el conjunto restante de medida cero. Como
fn1 +
k1
X
i=1
[fni+1 fni ] = fnk ,
(3.22)
vemos que
f (x) = lm fni (x)
i
(3.23)
c.t.p. en X. Al haber encontrado una funcin f , la cual es el lmite puntual c.t.p. de

{fni }, se debe mostrar que f es el Lp -lmite de {fn }. Sea > 0 cualquiera, existe N
tal que kfn fm kp < , si n, m > N.
Para cualquier m > N, el lema 2.1 muestra que
Z
Z
p
|f fm | d lm inf
|fni fm |p d p
(3.24)
X
concluimos desde (3.24) que f fm Lp (), de donde f Lp (), ya que f =

(f fm ) + fm , y finalmente kf fm kp 0 cuando m . Esto completa la
demostracin cuando 1 p < .
Supongamos que {fn } es una sucesin de Cauchy en L (), sean Ak y Bm,n los
conjuntos donde |fk (x)| > kfk k y |fn (x) fm (x)| > kfn fm k , y sea E la unin
de estos conjuntos, para k, m, n Z+ .
Entonces (E) = 0, y en el complemento de E la sucesin {fn } converge uniformemente a una funcin acotada f . Definiendo f (x) = 0 para x E, entonces
f L () y kfn f k 0 si n .
Corolario 3.1.1. Si 1 p y si {fn } es una sucesin de Cauchy en Lp (),

con lmite f , entonces {fn } tiene una subsucesin {fni } tal que: fni f c.t.p. y
|fni (x)| < h(x) c.t.p. i Z+ y h Lp ().
54
Demostracin. Para p = el resultado es directo. Supongamos que 1 p < , como {fn } de Cauchy, se puede repetir la demostracin del teorema 3.1.6 y extraer una
subsucesin {fni } que verifica (3.19), siguiendo la demostracin se ve que {fni (x)}
converge c.t.p. en X, hacia un lmite denotado por f (x).
Por otra parte, como kgkp < 1 tenemos que g Lp (); haciendo un desarrollo
para m n 2, tenemos
|fm (x) fn (x)| |fm (x) fm1 (x)| + + |fn+1 (x) fn (x)| g(x) gn1 (x)
c.t.p. en X; y se tiene que {fn (x)} es de Cauchy y converge puntualmente a f (x) y
se tendr |f (x) fn (x)| g(x), para n 2 y c.t.p. en X.
De esto obtenemos |f (x)fni (x)| g(x) c.t.p. para i Z+ . De donde f Lp ()
y fni f en Lp () (de acuerdo al teorema 2.2.6), por consiguiente f = f
c.t.p. y se tiene la primera afirmacin. Para obtener la segunda, es suficiente elegir
h = f + g.
Teorema 3.1.7 (densidad). Sea S la clase de todas las funciones simples com
plejas medibles en X tales que { x X | s(x) 6= 0 } < . Si 1 p < , entonces
S es denso en Lp ().
Demostracin. Se tiene S Lp (), suponiendo f 0, f Lp () y sea {sn } como
en el teorema 1.3.7, puesto que 0 sn f tenemos sn Lp (), por lo tanto sn S;
ya que |f sn |p f p , el teorema 2.2.6 muestra que kf sn kp 0 si n ,
de esto f est en la clausura de S. El caso general f compleja se sigue desde
esto.
Sea ahora X un espacio localmente compacto, y sea una medida positiva en

una -lgebra M en X, con las propiedades del teorema 2.3.1, por ejemplo X = Rk
y puede ser la medida de Lebesgue en Rk .
Teorema 3.1.8 (Lusin). Supongamos que f es una funcin medible compleja
en X, (A) < , f (x) = 0 si x
/ A y > 0. Entonces existe g Cc (X) tal que

{ x | f (x) 6= g(x) } <
(3.25)
adems, podemos arreglar que
sup |g(x)| sup |f (x)|.
xX
xX
(3.26)
55
Demostracin. Asumamos primero que 0 f 1 y que A es compacto. Asociando

una sucesin {sn } a f , como en la demostracin del teorema 1.3.7, y haciendo t1 = s1
y tn = sn sn1 para n 2. Entonces 2n tn es la funcin caracterstica de un conjunto
Tn A, y
X
f (x) =
tn (x),
x X.
(3.27)
n=1
Fijando un conjunto abierto V tal que A V y V sea compacto. Luego existen

compactos Kn y abiertos Vn tales que Kn Tn Vn V y (Vn \ Kn ) < /2n ; por
el lema B.2, existen funciones hn tales que Kn hn Vn . Definiendo
g(x) :=
2n hn (x),
n=1
x X,
(3.28)
esta serie converge uniformemente en X, y g es continua; tambin, el soporte de g

est en V . Puesto que 2n hn (x) = tn (x) excepto en Vn \ Kn , tenemos g(x) = f (x)
S
excepto en n (Vn \ Kn ), y este ltimo conjunto tiene medida menor que , de esto
(3.25) se cumple si A es compacto y 0 f 1, se sigue que (3.25) se cumple si A es
compacto y f es una funcin medible acotada.
La compacidad de A es fcilmente removida, si (A) < , entonces A contiene
un subconjunto compacto K, tal que (A \ K) es ms pequeo que cualquier nmero
positivo preestablecido. Ahora, si f es una funcin medible compleja y si Bn = { x |
T
|f (x)| > n } A, entonces n Bn = , y (Bn ) 0 (corolario 1.4.2.4); puesto que
f coincide con la funcin acotada (1 Bn ) f excepto en Bn , (3.25) se sigue en el
caso general.

Sean = sup |f (x)| | x X y
(x) =
(
z,
si |z| ;
z/|z|, si |z| > .
Entonces es una funcin continua de C en el disco de radio ; si g satisface (3.25)

y g1 = g, entonces g1 satisface (3.25) y (3.26).
Teorema 3.1.9 (densidad). Para 1 p < , Cc (X) es denso en Lp ().

Demostracin. Definiendo S como en el teorema 3.1.7, si s S y > 0. Existe
g Cc (X) tal que g(x) = s(x) excepto en un conjunto de medida menor que y
|g| ksk (por el teorema 3.1.8).
56
Por lo tanto
kg sk 2 1/p ksk
puesto que S es denso en Lp (), esto completa la demostracin.
Ahora discutiremos las relaciones entre los espacios Lp (Rk ) y el espacio Cc (Rk )
en detalle, consideremos una dimensin fija k. Para cualquier p [1, ] tenemos una
mtrica en Cc (Rk ), la distancia entre f y g es kf gkp . Notemos que sta es una
mtrica genuina, que no hace uso de clases de equivalencia.
El punto es que si dos funciones continuas en Rk no son idnticas, entonces difieren
en algn abierto V 6= y m(V ) > 0, dado que V contiene una k-celda. De esto, si
dos miembros de Cc (Rk ) son iguales c.t.p. stas son iguales.
Para f Cc (Rk ) tenemos kf k = supxRk |f (x)|, es decir, en Cc (Rk ) el supremo
esencial es igual al supremo real.
Corolario 3.1.2. Si 1 p < , entonces
1. Lp (Rk ) es la completacin del espacio mtrico que se obtiene al dotar a Cc (Rk )
con la Lp -norma.
2. Para p = 1 y k = 1. Si la distancia entre dos funciones continuas f, g con
soporte compacto en R, se define por
Z
|f (x) g(x)| dx
la completacin del espacio mtrico resultante, consiste precisamente de las

funciones integrables de Lebesgue en R, siempre que identifiquemos cualquier
par de funciones que sean iguales casi en todas partes.
Demostracin. Para (1) tenemos del teorema 3.1.9 que Cc (Rk ) = Lp (Rk ), y por el
teorema 3.1.6 que Lp (Rk ) es completo. Para (2) tenemos de (1), que la integral de
Lebesgue es la generalizacin de la integral de Riemann (corolario 2.4.1).
Nota 3.3: El caso p = 2 es de gran inters a nivel terico, y por sus propiedades
geomtricas, juega un papel importante en Mecnica Cuntica como el espacio en
donde se definen los estados de un sistema cuntico, para un tratamiento completo
consultar Omns [33, p. 16].
Teorema 3.1.10. Si X es un espacio localmente compacto, entonces C0 (X) es
la completacin de Cc (X), relativa a la mtrica definida por la norma del supremo:
kf k = supxX |f (x)|. Es decir, la L -completacin de Cc (X) no es L ().
57
Demostracin. Una verificacin elemental muestra que Cc (X) satisface la definicin C.1 si la distancia entre f y g se toma por kf gk. Se mostrar que Cc (X) =
C0 (X). En efecto, dados > 0 y f C0 (X), entonces existe un compacto K tal
que |f (x)| < fuera de K. Del lema B.2 tenemos que existe una funcin g Cc (X)
tal que 0 g 1 y g(x) = 1 en K. Haciendo h = f g, entonces h Cc (X) y
kf hk < , y como es arbitrario, se tiene que Cc (X) es denso en C0 (X).
Se mostrar que C0 (X) es completo. En efecto, sea {fn } una sucesin de Cauchy
en C0 (X), es decir, asumimos que {fn } converge uniformemente. Entonces su funcin
lmite puntual f es continua. Dado > 0, existe un n tal que kf fn k < /2 y existe
un conjunto compacto K tal que |fn (x)| < /2 fuera de K. De esto |f (x)| < fuera
de K, y hemos demostrado que f se anula en el infinito, entonces f C0 (X).
Teorema 3.1.11. Sea Rk , tal que m() < , entonces

kf k = lm kf kp .
p
Demostracin. Sea = kf k y < entonces A = { x | |f (x)| > } tiene

medida positiva. Adems, se cumple
Z
1/p

1/p
p
kf kp
|f |
m(A)
,
A
dado que [m(A)]1/p 1 cuando p , se sigue lm inf kf kp , de donde se

p1
obtiene lm inf kf kp . Sin embargo, tambin tenemos

p1
kf kp
Z
1/p

1/p
.
= m()
Por lo tanto lm sup kf kp , lo cual completa la demostracin.

p
Lp2
Teorema 3.1.12. Sea Rk , tal que m() < y 0 < p1 < p2 entonces
Lp1 .
Demostracin. Se hace la particin = 1 2 , en donde 1 se cumple |f | 1 y

R
R
R
en 2 se cumple |f | > 1. Entonces |f |p = 1 |f |p + 2 |f |p , 0 < p < .
El primer trmino de la derecha, est acotado superiormente por m(1 ); el segundo crece con p cuando su integrando excede 1. Se sigue, que si f Lp2 , p2 <
entonces f Lp1 con p1 < p2 . Si p2 = , entonces f es una funcin acotada en un
conjunto de medida finita, por lo que f Lp1 .
58
Teorema 3.1.13. Si es cualquier medida positiva sobre un espacio X complejo, L2 () es un espacio de Hilbert, con producto interno
Z
(f, g) =
f g d.
X
Demostracin. El integrando a la derecha est en L1 () (teorema 3.1.4) de donde

(f, g) est bien definido. Notemos
Z
1/2
1/2
2
kf k = (f, f ) =
|f | d
= kf k2 ,
X
la completacin de L2 () (teorema 3.1.6) muestra que es un espacio de Hilbert.
3.2.
Dual de Lp, reflexibilidad y separabilidad
Para el anlisis que sigue, tomaremos un abierto Rk y la medida de Lebesgue

m y tendremos el espacio Lp = Lp () para 1 p .
3.2.1.
Lp , si 1 < p <
Lema 3.1 (Clarkson). Si 2 p < , entonces

f + g p f g p 1
p
p

+

kf
k
+
kgk
p
p
2
2
2
p
p
para cualquier f, g Lp .
Demostracin. Se mostrar que si a, b R entonces

a + b p a b p |a|p + |b|p

.
2 + 2
2
Dado que p + p (2 + 2 )p/2 para , 0, en efecto, si = 1 la funcin

(x2 + 1)p/2 xp 1 es creciente en [0, ). Al hacer = |(a + b)/2| y = |(a b)/2|,
entonces

!p/2
a + b p a b p
a + b 2 a b 2

2 + 2 2 + 2
2
p/2
a
b2
1
1
=
+
|a|p + |b|p
2
2
2
2
se hace uso de la convexidad de la funcin |x|p/2 , p 2.
3.2. DUAL DE LP , REFLEXIBILIDAD Y SEPARABILIDAD
59
Lema 3.2 (Clarkson). Si 1 < p < 2, entonces

1

p1
f + g q f g q

+
1 kf kp + 1 kgkp
p
p
2
2
2
2
p
p
(3.29)
para cualquier f, g Lp .
Demostracin. Del teorema 3.1.3 al utilizar valores absolutos, tenemos

f g q
f + g q f g q
f + g q

+

+ 2 .
2
2
2
p1
p1
p1
(3.30)
El lado izquierdo de (3.30) es el lado izquierdo de (3.29), como k|h|q kp1 = khkqp para
cualquier h Lp . El lado derecho es
1
"Z
# p1

f + g q f g q p1

d
,
2 + 2
el que por lema A.1, es menor o igual a

"Z
1
1
p p1 # p1

p1
p

1
1
g
p
p
p1 f
2
=
d
kf kp + kgkp
.
2 + 2
2
2
Lema 3.3. Si 2 p < , entonces Lp es uniformemente convexo.
Demostracin. Sean2 > 0 fijo, kf kp 1, kgkp 1 y kf gkp > , del lema 3.1 se
deduce que
k(f + g)/2kpp < 1 (/2)p
1/p
entonces para obtener k(f + g)/2kp < 1 , se hace := 1 1 (/2)p
> 0.
Teorema 3.2.1. El espacio Lp es reflexivo para 1 < p < .
Demostracin. Para 2 p < , tenemos de los lemas 3.3 y C.5 que Lp es reflexivo.
Sean 1 < p 2 y 1/p + 1/q = 1 de donde q 2, y Lq es reflexivo y por lema C.2.2
se tiene que (Lq ) es reflexivo. Se define el operador T : Lp (Lq ) , sea u Lp fijo,
R
entonces para cualquier f Lq , se tiene hT u, f i := uf de donde
Z
Z

|hT u, f i| = uf |uf | kukp kf kq ;
2
Definicin C.13.
60
y |hT u, f i| / kf kq kukp , al tomar supremos sobre kf kq = 1, tenemos kT ukq kukp

aqu kkq es la norma sobre (Lq ) . Por otra parte hacemos
(
|u(x)|p2 u(x), si u(x) 6= 0;
f0 (x) =
0,
si u(x) = 0.
R
Por integracin directa kf0 kqq = |u|p , de donde kf0 kq = kukp1
< y tenemos
p
p
q
f0 L , se obtiene hT u, f0i = kukp , como hT u, f0i kT ukq kf0 kq , se llega a que
kT ukq
hT u, f0i
= kukp .
kf0 kq
Se concluye kT ukq = kukp , resulta que T es una isometra de Lp sobre un subespacio

cerrado al ser Lp completo de (Lq ) , es decir T [Lp ] (Lq ) cerrado, luego del
lema C.2.1 tenemos que T [Lp ] es reflexivo y por consiguiente Lp tambin.
Teorema 3.2.2 (representacin de Riesz). Sean 1 < p < y (Lp ) .

R
Entonces existe u Lq nico tal que h, f i = uf para cualquier f Lp , adems
kukq = kkp .
R
Demostracin. Se define el operador T : Lq (Lp ) , por hT u, f i := uf para cualquier f Lp y se tiene kT ukp = kukq para toda u Lq (como en el teorema 3.2.1).
Falta mostrar que T es sobreyectivo. Como T [Lq ] es un subespacio cerrado, se tiene T [Lq ] = T [Lq ], falta mostrar que T [Lq ] es denso y con esto T [Lq ] = (Lp ) . Sea
h (Lp )
= 0 para cualquier u Lq .
= Lp Lp es reflexivo tal que hT u, hi
R
Se mostrar que h = 0. En efecto, tenemos uh = hT u, hi = 0 para cualquier
u Lq , en especial si u = |h|p2h, de donde h = 0. Por el corolario C.1 se tiene que
T [Lq ] es denso y T sobreyectivo.
Nota 3.4: El teorema 3.2.2 expresa que toda aplicacin lineal acotada sobre Lp ,
1 < p < , se representa a travs de una funcin de Lq , donde 1/p + 1/q = 1. La
asignacin = T u es lineal, isomtrica y sobreyectiva, que permite identificar el dual
de Lp con Lq , y se tiene la relacin de isomorfa (Lp )
= Lq .
Teorema 3.2.3. Si 1 p < , entonces Lp es separable.
Demostracin. Se designar por {Ri }iI a la familia numerable de celdas R de la
Q
forma R = k=1 (a , b ), a , b Q y R . Se denotar por E al espacio vectorial sobre Q, generado por las funciones Ri combinaciones lineales finitas con
coeficientes racionales de las funciones Ri por lo que E es numerable.
61
Se mostrar que E = Lp . Sean f Lp y > 0 fijos. Sea f1 Cc () tal que

kf f1 kp < /2 (teorema 3.1.9), sea un abierto acotado tal que Supp(f1 )
. Como f1 Cc ( ) se construye una funcin3 f2 E tal que Supp(f2 ) y
|f2 (x) f1 (x)|
1/p

m( )
2
c.t.p. en . Resulta que kf1 f2 kp < /2 de donde kf f2 kp < .
Definicin 3.6. Sea 1 p , se dice que una funcin f : C, est en

si f K Lp para todo compacto K .
Lploc ()
Lema 3.4. Sea f Lploc () tal que

Z
(3.31)
fu = 0
para todo u Cc (). Entonces f = 0 c.t.p. en .

Demostracin. Considerando funciones reales. Sea f L1 y m() < . Dado > 0
existe f1 Cc () tal que kf f1 k1 < . De (3.31) tenemos
Z

f1 u kuk
(3.32)

para toda u Cc (). Sean K1 = { x | f1 (x) } y K2 = { x | f1 (x) }.
Como K1 , K2 son compactos disjuntos, se puede construir (lema B.2) una funcin
u0 Cc () tal que
(
1,
si x K1 ;
u0 (x) =
1, si x K2 .
y |u0(x)| 1 para cualquier x . Sea K = K1 K2 , entonces
Z
Z
Z
f1 u0 =
f1 u0 +
f1 u0
\K
R

R
de (3.32) obtenemos f1 u0 f1 u0 , en K se tiene f1 u0 = |f1 | y de esto
Z
Z
Z
Z
|f1 | =
f1 u0 +
|f1 u0 | +
|f1 |
K
\K
\K
Se inicia por recubrir Supp(f1 ) con un nmero finito de celdas Ri , en las cuales la oscilacin de

1/p
f1 es inferior a /2 m( )
.
62
por consiguiente tenemos, al usar |f1 | en \ K

Z
Z
Z
Z
|f1 | =
|f1 | +
|f1 | 2
|f1 | + 2m() +
de donde
\K
\K

kf k1 kf f1 k1 + kf1 k1 2 1 + m() ,
para todo > 0 y se tiene f = 0 c.t.p. en .

S
n comConsideremos el caso general, se hace = n n , en donde n abierto
+
n para cualquier n Z . Aplicando el argumento precedente a n y
pacto y
f |n se tiene que f = 0 c.t.p. en n y se concluye f = 0 c.t.p. en .
Nota 3.5: Si Rk es un abierto y 1/p + 1/q = 1. Si 1 < p < , entonces por

el lema C.3 la bola cerrada BLq es cuasicompacta para la topologa dbil (Lq , Lp ).
Si 1 p < , entonces Lp es separable (teorema 3.2.3), entonces por el lema C.4
tenemos que la bola cerrada BLq es metrizable para la topologa dbil (Lq , Lp ).
3.2.2.
Espacio L1 de las funciones sumables
Teorema 3.2.4. Sea (L1 ) . Entonces existe u L nico, tal que para toda
R
f L1 se tiene h, f i = uf y kuk = kk1 .
Demostracin. Existencia de u. Se fija una funcin w L2 tal que4 para todo compacto K , w K > 0 c.t.p. en K. Sea f L2 , entonces la aplicacin f 7 h, wf i
es lineal y acotada sobre L2 , por el teorema 3.2.2 con p = 2, existe v L2 nica tal
que
Z
h, wf i =
vf
para toda f L2 .
(3.33)
Haciendo u(x) = v(x)/w(x), ya que w(x) > 0 para cualquier x y u medible.

Se mostrar que u L y kk1 kuk . De acuerdo con (3.33) tenemos
Z

vf kk kwf k
para toda f L2 .
(3.34)
1
1

Sea > kk1 , se mostrar que el conjunto A = { x | |u(x)| > } es de medida

cero de donde, u L y kk1 kuk . Por reduccin al absurdo, si A no es de
4
Por ejemplo, w(x) = n para x , n kxk n + 1 y ajustando las constantes n > 0 para que
w L2 .
63
medida cero, existe B A medible, tal que 0 < m(B) < . Sustituyendo en (3.34)
la funcin
si x B y u(x) > 0;
1,
f (x) =
1, si x B y u(x) < 0;
0,
si x \ B.
R
R
R
R
se tiene B |u|w kk1 B w, por consiguiente B w kk1 B w, lo que no puede
R
ser, porque B w > 0.
Con u L , kuk kk1 tal que
Z
h, wf i = uwf
para toda f L2 ,
(3.35)
resulta entonces
h, gi =
ug
para toda g Cc ().
(3.36)
En efecto, si g Cc (), entonces f = g/w L2 porque w > 0 sobre Supp(g)

y se puede reemplazar f en (3.35).
R
Como Cc () es denso en L1 se deduce de (3.36) que h, gi = ug para toda g L1 ,
R
y adems | h, gi | |ug| kuk kgk1 , para toda g L1 , de donde kk1 kuk .
Por consiguiente kk1 = kuk .
R
Unicidad de u, sea L tal que h, f i = f para toda f L1 , entonces
R
R
R
f = uf de donde ( u)f = 0 al usar el lema 3.4 tenemos u = 0 c.t.p. en
, y de esto = u.
Nota 3.6: El teorema 3.2.4 expresa que toda aplicacin lineal acotada sobre L1 , se
representa a travs de una funcin de L . La asignacin = T u es lineal, isomtrica
y sobreyectiva, que permite identificar el dual de L1 con L , y se tiene (L1 )
= L .
Proposicin 3.1. El espacio L1 no es reflexivo.
Demostracin. Suponiendo, sin prdida de la generalidad, 0 . Considerando la

sucesin fn = n B(0,1/n) , n = 1/m B(0, 1/n) con n Z+ suficientemente grande
para que B(0, 1/n) , y se tiene kfn k1 = 1.
Si L1 fuera reflexivo, del lema C.2.3 existira f L1 y se extraera una subsucesin
{fnk } tales que fnk f en la topologa dbil (L1 , L ); se tiene
Z
Z
fnk f , para cualquier L
(3.37)
64
R
R
para Cc ( \ {0}) tenemos fnk = nk B(0,1/n) = 0 para k suficientemente
grande.
R
De (3.37) tenemos f = 0 para cualquier Cc ( \ {0}), al aplicar el lema 3.4
al abierto \ {0} y f |\{0} , obtenemos f = 0 c.t.p. en \ {0}, de donde f = 0 c.t.p.
R
en . Al considerar 1 en (3.37) tenemos f = 1 lo que es un absurdo.

Nota 3.7: Del teorema 3.2.4 tenemos (L1 )
= L , y de esto el espacio L posee
propiedades agradables, entre otras:
1. La bola cerrada unitaria BL es cuasicompacta para la topologa dbil

(L , L1 ), ver el lema C.3.
2. Si {fn } es una sucesin acotada en L , entonces se puede extraer una subsucesin que converge en L para la topologa dbil (L , L1 ), ver el teorema 3.2.3 y el corolario C.2.
3.2.3.
Espacio L de las funciones esencialmente acotadas
Proposicin 3.2. El espacio L no es reflexivo.

Demostracin. Si L fuera reflexivo, L1 lo sera de acuerdo al lema C.2.2 lo que est
en contradiccin con la proposicin 3.1, entonces L no es reflexivo.
Proposicin 3.3. El espacio L no es separable.

Demostracin. Para cualquier a , se fija a < nf xRk \ kx ak2 , se hacen las
funciones a = B(a,a ) y los conjuntos a = { f L | kf a k < 1/2 }, se
verifica que la familia {a }a satisface las condiciones del lema C.1.
En efecto, los a son abiertos no vacos ya que a a ; como es abierto,
entonces contiene una k-celda abierta, la cual es homeomorfa con el intervalo (0, 1)
el cual es no contable y de esto no contable.
Sean a, b , a 6= b y f a b , entonces kf a k < 1/2 y kf b k <
1/2, de esto ka b k < 1, por el contrario en se cumple ka b k = 1 una
contradiccin, de donde se obtiene a b = .
Proposicin 3.4. El dual de L contiene (a travs de isomorfa) a L1 y es

estrictamente ms grande que L1 , es decir, existe (L ) que no es del tipo
R
h, f i = uf para toda f L , donde u L1 .
65
Demostracin. Suponiendo, sin prdida de la generalidad, que 0 y tomando

0 : Cc () C dada por 0 (f ) := f (0) para cualquier f Cc (). De esto, 0 es una
aplicacin lineal acotada sobre Cc () para la norma kk .
De acuerdo al teorema C.2, 0 se extiende a una aplicacin lineal acotada sobre
L , y se tiene
h, f i = f (0) para cualquier f Cc ().
(3.38)
R
Se mostrar que no existe una funcin u L1 tal que h, f i = uf para cualquier
R
f L . En efecto, si tal funcin u existe, se tiene (proposicin 3.1) uf = 0 para
cualquier f Cc (\{0}), y del lema 3.4 aplicado sobre \{0} se obtiene u = 0 c.t.p.
en \ {0}, de donde u = 0 c.t.p. en por consiguiente h, f i = 0 para cualquier
f L que es contrario a (3.38).

Nota 3.8: En la proposicin 3.4, simblicamente tenemos L1 (L ) . El funcional se le denota comnmente con y es llamada la medida de Dirac en Rk , en
general tenemos x (f ) = f (x) para cualquier x , consultar Rudin [38, p. 156].
Cuadro 3.1: Resumen de las propiedades.

Espacio
Reflexivo
p
L,
Si
1<p<
L1
No
L
No
Separable
Si
Si
No
Dual
Lq ,
1/p + 1/q = 1
L
L1 (L )
66
Captulo
Teora de Probabilidades
Un experimento se puede ver de manera intuitiva como un proceso que
bajo ciertas condiciones puede ser repetido cualquier nmero de veces, con el mismo
conjunto de condiciones, y sobre la terminacin del mismo, ciertos resultados son
observados. Se dice que un experimento es determinstico si dadas las condiciones
sobre las cuales se ejecuta, el resultado est completamente determinado.
Definicin 4.1. Un experimento en donde su resultado no es determinado de
forma nica y en su lugar existe un conjunto de posibles resultados, se le llama un
experimento aleatorio.
El conjunto de todos los posibles resultados de un experimento aleatorio es llamado espacio muestral y es denotado por S , los elementos s de S son llamados
puntos muestrales. De acuerdo a la teora desarrollada, S puede ser complementado con una -lgebra A de subconjuntos de S ; en el presente contexto, los elementos
de A son llamados eventos y A es llamada la -lgebra de eventos.
Eventos de la forma {s} son llamados eventos simples, mientras que un evento
que contenga al menos dos puntos muestrales es llamado un evento compuesto;
S en si mismo es llamado evento seguro o evento cierto, y es el evento
imposible. Si el experimento aleatorio resulta en s y s A A, decimos que el
evento A ocurri o sucedi.
S
T
El evento j Aj ocurre si al menos uno de los Aj ocurre, el evento j Aj ocurre
si todos los Aj ocurren, A1 \ A2 ocurre si A1 ocurre pero no A2 , y as con todas las
formas posibles de construir eventos.
67
CAPTULO 4. TEORA DE PROBABILIDADES
68
4.1.
Medidas de probabilidad
Definicin 4.2. Sea Pr : A R una medida positiva. Si Pr es normada, es

decir Pr(S ) = 1, se le llama medida de probabilidad.1 A la tripleta (S , A, Pr)
se le llama espacio de probabilidad (EP).
Nota 4.1: De la definicin 4.2 tenemos que Pr es contablemente aditiva. Si S es
finito, A se convierte en una -lgebra discreta, en tal caso, existen slo un nmero
finito de eventos, y en particular, una cantidad discreta de eventos disjuntos. Entonces
Pr es finitamente aditiva, esto es, para cualquier coleccin de eventos disjuntos
por parejas Aj , j = 1, . . . , n, tenemos:
[
X
n
n
Pr
Aj =
Pr(Aj ),
j=1
j=1
de esto, es suficiente asumir que Pr(A1 A2 ) = Pr(A1 ) + Pr(A2 ) se cumple para

A1 , A2 disjuntos, luego se procede por induccin.
Proposicin 4.1. Si (S , A, Pr) es un espacio de probabilidad, entonces:
1. Pr() = 0.
2. Para toda A A, Pr(Ac ) = 1 Pr(A).
3. Para toda A A, 0 Pr(A) 1.
4. Para toda A1 , A2 A, Pr(A1 A2 ) = Pr(A1 ) + Pr(A2 ) Pr(A1 A2 ).
Demostracin. La propiedad (1) es directa de la definicin 4.2. En (2), dado que
A Ac = S , de esto tenemos Pr(A Ac ) = Pr(S ), de donde Pr(A) + Pr(Ac ) = 1,
por consiguiente Pr(Ac ) = 1 Pr(A).
La propiedad (3) se sigue de que Pr es positiva, normada y montona. La propiedad (4) se sigue del corolario 1.4.1.
Dado que Pr es una medida, tenemos por el teorema 1.4.4 la siguiente:

Proposicin 4.2. Sea {An } una sucesin de eventos tal que, cuando n ,
An o An . Entonces

Pr lm An = lm Pr(An ).
n
Axiomas de Andrei Kolmogorov.
4.1. MEDIDAS DE PROBABILIDAD
69
Definicin 4.3. Sea A A tal que Pr(A) > 0. Entonces la probabilidad

condicional, para un A dado, es la funcin de conjuntos Pr(|A) : A R, definida
como sigue:
Pr(A B)
Pr(B|A) :=
, BA
Pr(A)
Pr(B|A) es llamada la probabilidad condicional de B, dado A.
Teorema 4.1.1. La funcin de conjuntos Pr(|A) : A R es una medida de
probabilidad y (S , A, Pr(|A)) es un espacio de probabilidad.
Demostracin. Se debe mostrar que Pr(|A) satisface la definicin 4.2. La condicin
Pr(B|A) 0, para todo B A es inmediata. Ahora tenemos
Pr(S |A) = Pr(S A)/ Pr(A) = Pr(A)/ Pr(A) = 1,
por otro lado si Aj A, j = 1, 2, . . . , Aj Ak = , i 6= k, tenemos

[

[

1
1
Pr
Ai A =
Pr
Ai A =
Pr
(Ai A)
Pr(A)
Pr(A)
i=1
i=1
i=1
[
=
=
X Pr(Ai A)
1 X
Pr(Ai A) =
Pr(A) i=1
Pr(A)
i=1
X
i=1
Pr(Ai |A)
por lo que Pr(|A) es contablemente aditiva.
Como una aplicacin directa de la definicin 4.3 tenemos:

Teorema 4.1.2 (de la multiplicacin). Sean Ai A, 1 i n eventos,

T
tales que Pr n1
i=1 Ai > 0. Entonces
Pr
\
n
i=1
Ai

= Pr An
n1
\

Ai Pr An1

i=1
n2
\

Ai Pr(A2 |A1 ) Pr(A1 ).

i=1
S
Definicin 4.4. Sean Ai A, i Z+ tales que Ai Aj = , i 6= j, i Ai = S ,
tal coleccin de eventos es llamada una particin (medible) de S . La particin es
finita o infinita (contable), si la coleccin de eventos es finita o contable.
70
Teorema 4.1.3 (probabilidad total). Si Ai A, i Z+ es una particin de

S con Pr(Ai ) > 0 para toda i Z+ . Entonces para B A tenemos
X
Pr(B) =
Pr(B|Ai ) Pr(Ai ).
(4.1)
i
Demostracin. Para B A tenemos B =

P
P
i Pr(B Ai ) =
i Pr(B|Ai ) Pr(Ai ).
i (B
Ai ), de esto tenemos Pr(B) =
Teorema 4.1.4 (Bayes). Si Ai A, i Z+ es una particin de S con

Pr(Ai ) > 0 para toda i Z+ y si Pr(B) > 0 entonces
Pr(B|Ai ) Pr(Ai )
Pr(Ai |B) = P
.
i Pr(B|Ai ) Pr(Ai )
(4.2)
Demostracin. Haciendo uso de los teoremas 4.1.2 y 4.1.3 tenemos

Pr(Ai B)
Pr(B|Ai ) Pr(Ai )
=
Pr(B)
Pr(B)
Pr(B|Ai ) Pr(Ai )
=P
i Pr(B|Ai ) Pr(Ai )
Pr(Ai |B) =
No existe razn para restringirnos a una particin de S , podemos considerar

por ejemplo dos particiones { Ai | i Z+ } y { Bi | i Z+ }, entonces
[
Ai = (Ai Bj ), i Z+ ,
(4.3)
j
Bj =
[
i
j Z+ ,
(Bj Ai ),
y { Ai Bj | i, j Z+ } es una particin de S . En efecto, tenemos

(Ai Bj ) (A B ) =
si (i, j) 6= (, ), y
[[
[
[
(Ai Bj ) =
Ai = S .
(Ai Bj ) =
i
i,j
De las igualdades (4.3) y (4.4) tenemos las cantidades

X
X
Pr(Ai ) =
Pr(Ai Bj ) =
Pr(Ai |Bj ) Pr(Bj )
j
(4.4)
4.1. MEDIDAS DE PROBABILIDAD

si Pr(Bj ) > 0, j Z+ , y
Pr(Bj ) =
X
i
Pr(Ai Bj ) =
71
X
i
Pr(Bj |Ai ) Pr(Ai )
si Pr(Ai ) > 0, i Z+ .
Definicin 4.5. La cantidad Pr(Ai Bj ) es llamada probabilidad conjunta
de Ai y Bj . A las probabilidades Pr(Ai ) y Pr(Bj ) se les llama probabilidades
marginales.
Para los eventos A, B A con Pr(A) > 0, nosotros definimos la expresin
Pr(B|A) = Pr(A B)/ Pr(A), ahora
< Pr(B)
Pr(B|A) > Pr(B)
= Pr(B)
y resulta interesante preguntarnos cules deben ser las caractersticas de A y B para

obtener la tercer opcin? Dado que la probabilidad condicional se obtiene cuando
estamos seguros de A y deseamos medir la ocurrencia de B, pero si se da la igualdad,
tendremos que el evento A no da informacin adicional en el clculo de la probabilidad
del evento B es decir A y B son independientes.
De manera formal, si Pr(B|A) = Pr(B), decimos que el evento B es independiente del evento A. Si adems Pr(B) > 0 tenemos
Pr(A|B) =
Pr(A B)
Pr(B|A) Pr(A)
Pr(B) Pr(A)
=
=
= Pr(A),
Pr(B)
Pr(B)
Pr(B)
esto es, si Pr(A) > 0, Pr(B) > 0 y uno de los eventos es independiente del otro,
entonces este segundo evento es tambin independiente del primero, de esto, la independencia es una relacin simtrica, y podemos decir simplemente que A y B son
independientes. En este caso Pr(A B) = Pr(A) Pr(B) y esta ltima relacin es
verdad si una o ambas probabilidades individuales es cero.
Definicin 4.6. Los eventos A y B se dice que son independientes (estadsticamente o estocsticamente) si Pr(A B) = Pr(A) Pr(B). Los eventos Ai , i =
1, . . . , n se dice que son (mutuamente o completamente) independientes si se
cumple
Pr(Aj1 Ajk ) = Pr(Aj1 ) Pr(Ajk ),
72
para cualquier k = 2, . . . , n y j1 , . . . , jk = 1, . . . , n. Estos eventos se dice que son

independientes por parejas si Pr(Ai Ak ) = Pr(Ai ) Pr(Ak ) para toda i 6= k. Los
eventos que no son independientes, se dice que son dependientes.
Definicin 4.7. Los eventos A y B se dice que son (mutuamente) excluyentes si A B = .
4.2.
Variables aleatorias
Definicin 4.8. Consideremos el espacio de probabilidad (S , A, Pr), el espacio

medible (R, B) y la aplicacin X : S R, si X es medible entonces diremos que X
es una variable aleatoria (v.a.). En general si X : S Rk es medible, decimos
que X ser un vector aleatorio k-dimensional. En este caso, para T Rk , k 1,
en la definicin A.3, usaremos para su imagen inversa la notacin
[X T ] = (X T ) := X1 (T ).
Nota 4.2: En el corolario 1.3.3 se ve que X es variable aleatoria si y slo si
X (R) A, y en forma similar para el caso de vectores aleatorios k-dimensionales.
1
Sea ahora X : (S , A, Pr) (Rk , Bk ), k 1 un vector aleatorio. De esto tenemos

Pr : A R, trabajaremos con las -lgebras a travs del vector aleatorio X, de forma
natural X1 : Bk A, y podemos definir una nueva aplicacin Q : Bk R, como
sigue

Q(B) := (Pr X1 )(B) = Pr X1 (B)
para B Bk , es decir Q(B) = Pr(X B).
Teorema 4.2.1. La funcin de conjuntos Q : Bk R es una medida de probabilidad y (Rk , Bk , Q) es un espacio de probabilidad.

Demostracin. Sea B Bk , de donde Q(B) = Pr X1 (B) 0, ya que X1 (B)

A. Para Rk tenemos Q(Rk ) = Pr X1 (Rk ) = Pr(S ) = 1.
Para una clase disjunta {Bi }:
[

[

[

1
1
Q
Bi = Pr X
Bi
= Pr
X (Bi )
i=1
i=1
X
i=1

Pr X1 (Bi ) =
i=1
X
i=1
Q(Bi )
4.2. VARIABLES ALEATORIAS
73
Definicin 4.9. La medida de probabilidad Q es llamada funcin de distribucin de probabilidad de X, tambin la entenderemos as

Q(B) = Pr { s S | X(s) B } .
Definicin 4.10. Sea X un vector aleatorio k-dimensional. Se dice que X es

discreto si existe un conjunto contable de puntos zj Rk , j Z+ , tales que
X
Pr(X = zj ) = 1,
j
en donde (X = zj ) := { s S | X(s) = zj }, j Z+ ; sea f (zj ) := Pr(X = zj ), y

llamaremos a f la funcin de densidad discreta de probabilidad de X, entonces
P
f (zj ) 0, j Z+ , j f (zj ) = 1 y si B Bk tenemos
X
Pr(X B) =
f (zj ).
(4.5)
zj B
Si X es tal que Pr(X = z) = 0 para toda z Rk , diremos que el vector aleatorio

X es continuo; si adems existe una aplicacin no negativa f : (Rk , Bk ) (R, B),
medible tal que
Z
Pr(B) =
f dm,
B Bk ,
(4.6)
diremos que f es la funcin de densidad continua de probabilidad (o densidad) de X. Si B = Rk , tenemos

Z

f dm = Pr(X Rk ) = Pr X1 (Rk ) = Pr(S ) = 1.
Rk
Se usa X(S ) para denotar al conjunto de valores que puede tomar X y lo llamaremos
recorrido.
Ejemplo 4.1: Consideremos
X(S ) = {0, 1, . . . , n},

n x nx
Pr(X = x) = f (x) =
p q
x
(4.7)
donde 0 < p < 1, q := 1 p y x = 0, 1, . . . , n. Que f es una funcin de densidad

discreta se sigue del hecho que f (x) 0 y
n
n
X
X
n x nx
f (x) =
p q
= (p + q)n = 1.
x
x=0
x=0
74
0.25
0.2
0.15
0.1
0.05
10
Figura 4.1: Grfica de B(10, 0.4)

El apropiado espacio muestral es: S = {E, F } {E, F }, n copias, donde E
xito, F fracaso son los posibles resultados de un experimento E . En particular
para n = 1 tenemos la v.a. de Bernoulli o binomial puntual. La v.a. X puede ser
interpretada como el nmero de xitos E en el experimento compuesto E n y los n
experimentos son independientes.
De esto f (x) es la probabilidad que ocurran exactamente x xitos. La distribucin
de X es llamada distribucin binomial y las cantidades n y p son los parmetros
de la distribucin; denotaremos a la distribucin binomial por B(n, p).
Ejemplo 4.2: Sean ahora
X(S ) = R,

(x )2
1
, x R.
f (x) = exp
2 2
2
(4.8)
Decimos que X tiene distribucin normal (, 2 ), denotada por N(, 2 ), donde

, 2 son los parmetros de la distribucin de X, se tiene que R es la media2
y 2 , > 0 la varianza. Tambin se le conoce como distribucin gaussiana. Si
= 0, = 1 se obtiene la distribucin normal estndar, denotada por N(0, 1).
R
Se tiene f (x) > 0 y que f (x) dm = 1, consultar Roussas [35, p. 48]; asimismo,
f (x) es simtrica alrededor de x = y en este punto alcanza su mximo. Como
maxxR f (x) = 12 , de esto entre ms grande es ms plana es la grfica de f y al
contrario; asimismo, los puntos de inflexin de f estn en x = . Por la forma,
a la grfica de f se le llama campana de Gau.
2
Definicin 4.12.
75
0.8
0.6
0.4
0.2
Figura 4.2: Grfica de N(1.5, 0.25)

Como consecuencia del teorema 1.3.5.2 para una funcin B-medible g, y del teorema 1.3.3 se tiene el siguiente:
Corolario 4.2.1. Dado X : (S , A) (Rk , Bk ) un vector aleatorio, y una aplicacin g : (Rk , Bk ) (Rn , Bn ). Definiendo g(X) := g X, se tiene la aplicacin
g(X) : (S , A) (Rn , Bn ).
1. Si g es medible, entonces g(X) es un vector aleatorio.
2. Si g es continua, entonces g(X) es un vector aleatorio.
Teorema 4.2.2. Sea X = (X1 , . . . , Xk )t : (S , A) (Rk , Bk ) una aplicacin,
donde Xj , j = 1, . . . , k, son aplicaciones de valor real. Entonces X es vector aleatorio
si y slo si Xj , j = 1, . . . , k son variables aleatorias.
Demostracin. Sea X un vector aleatorio y definamos las aplicaciones gj en Rk como
sigue: gj (x1 , . . . , xk ) := xj , es decir, gj es la j-sima funcin proyeccin, y dado
que sta es continua, se tiene la aplicacin g(X) = gj (X1 , . . . , Xk ) = Xj es medible y
de esto, una variable aleatoria para j {1, . . . , k}.
Por otro lado, asumamos que Xj , j = 1, . . . , k son variables aleatorias. Por el
corolario 1.3.3, es suficiente mostrar que X1 (B) A, en donde sin prdida de la
generalidad B = (a1 , b1 ) (ak , bk ), y de esto

X1 (B) = [X B] = Xj (aj , bj ), j = 1, . . . , k
=
k
\
j=1

X1
(aj , bj ) A.
j
76
Definicin 4.11. Sea X un vector aleatorio y Q su distribucin, esto es Q(B) =

Pr(X B), B Bk . Al tomar a B como una k-celda3 con vrtice en x = (1 , . . . , k )t ,
dada por B = { y = (1 , . . . , k )t Rk | i i , 1 i k }, se denotar a Q(B) por
F (x) y se le llamar la funcin de distribucin acumulada de X, evaluada en
x. De esto, la funcin de distribucin F : Rk [0, 1] del vector aleatorio X es una
funcin puntual.
Teorema 4.2.3. La funcin de distribucin F de una variable aleatoria X satisface las siguientes propiedades:
1. 0 F (x) 1, x R.
2. F es no decreciente.
3. F es continua por la derecha.
4.
lm F (x) = 0, y
lm F (x) = 1. Se harn las definiciones F () := 0 y
x+
F (+) := 1.
Demostracin. La condicin (1) es consecuencia de la proposicin 4.1.3 y del hecho
que F (x) = Pr(X B). En (2) se mostrar que si x1 < x2 entonces F (x1 ) F (x2 ).

En efecto, se tiene (, x1 ] (, x2 ], de esto Q (, x1 ] Q (, x2 ] , lo
cual es equivalente a F (x1 ) F (x2 ).
En (3) se mostrar que si xn x entonces F (xn ) F (x); en efecto, xn x

implica (, xn ] con lmite (, x], como Q (, xn ] Q (, x] por la
proposicin 4.2 lo cual equivale a F (xn ) F (x).
En (4) sea xn , entonces xn de donde (, xn ] con lmite

, por lo que Q (, xn ] Q() = 0 por la proposicin 4.2. Equivalentemente
F (xn ) 0. De forma anloga, sea xn + entonces xn +, de donde

(, xn ] con lmite R y como Q (, xn ] Q(R) = 1, de esto F (xn ) 1.
Corolario 4.2.2. Se cumple Pr(a < X b) = F (b) F (a).
Demostracin. Como (a, b] = (, b] \ (, a] y (, a] (, b] se tendr

Pr(a < X b) = Pr( < X b) Pr( < X a)
= F (b) F (a)
Definicin A.7.
77
Nota 4.3: El lmite por la izquierda de F en x, denotado por F (x) se define

as
F (x) := lm F (xn ),
n
con xn x.
Este lmite siempre existe, dado que {F (xn )} es creciente, pero no necesariamente es
igual a F (x+) := F (x) el lmite por la derecha.
Proposicin 4.3. Las cantidades F (x) y F (x) se usan para expresar la probabilidad Pr(X = a); esto es Pr(X = a) = F (a) F (a). Si F es continua, entonces
Pr(X = x) = 0 para cualquier x.
Demostracin. En efecto, sean xn a, A = {X = a} y An = {xn < X a}.
Entonces An A y por la proposicin 4.2 tenemos Pr(An ) Pr(A) o
Pr(X = a) = lm Pr(xn < X a) = lm
n
F (a) F (xn )
= F (a) lm F (xn ) = F (a) F (a).

n
Si F es continua, entonces F (a) = F (a) para cualquier a.
Nota 4.4: Si X es discreta, su densidad f es una funcin escalonada, y los

valores en x estn dados por
X
F (x) =
f (xj )
y
f (xj ) = F (xj ) F (xj1 )
xj x
donde se asume x1 < x2 < .

Si X es continua, su funcin de distribucin acumulada F tambin lo es. Adems,
se tiene
dF (x)
= f (x)
(4.9)
dx
en los puntos de continuidad de f , comparar con (4.6) tomando dx = dm. Tenemos
la relacin
Z x
F (x) =
f (t) dm
(4.10)
de esto si f continua, f determina F (f F ) y F determina f (F f ), esto es,

F f.
Teorema 4.2.4. Si X es N(, 2 ), entonces (X )/ es N(0, 1).
78
Demostracin. Que (X )/ es variable aleatoria, se sigue del corolario 4.2.1.2

en el caso unidimensional. Se mostrar que (X )/ tiene funcin de distribucin
acumulada , donde
Z x
1
2
(x) :=
et /2 dm.
(4.11)
2
Tenemos
Pr

X
x = Pr(X x + )

Z x+
1
(t )2
exp
dm
=
2 2
2
Z x
1
2
=
ey /2 dm = (x),
2
en donde, se hizo el cambio de variable de integracin y = (t )/, y tomando en

cuenta dy = dt/ = dm.
4.3.
Momentos
En las siguientes definiciones supondremos que para vectores aleatorios (k 1) se

cumple lo siguiente: las series (caso discreto) e integrales (caso continuo) sobre todo
el espacio convergern absolutamente, y en este caso diremos que los momentos as
definidos existirn. Se har un estudio detallado para L2 (R) ms adelante, cuando
se asocian probabilidades en los sistemas cunticos.
Definicin 4.12. Sea X = (X1 , . . . , Xk )t un vector aleatorio con funcin de
densidad de probabilidad f y sea g : (Rk , Bk ) (R, B) medible, y por el corolario 4.2.1.1, tenemos que g(X) = g(X1 , . . . , Xk ) es variable aleatoria.
1. Para n = 1, 2, . . . el n-simo momento de g(X) es denotado por E[g(X)]n y
se define as:
(P
n
t

n
x [g(x)] f (x), x = (x1 , . . . , xk ) ;
E g(X) := R
g n f dm,
f = f (x), g = g(x).
Rk
Para n = 1, lo llamaremos esperanza matemtica, valor medio o media

de g(X) y lo denotaremos por g(X) , g(X) .
4.3. MOMENTOS
79
2. Para una constante c, el n-simo momento de g(X) alrededor de c se

n
denota por g(X) c y se define as:
(P

n
[g(x) c]n f (x), x = (x1 , . . . , xk )t ;
E g(X) c := R x
(g c)n f dm,
f = f (x), g = g(x).
Rk
Para c = E[g(X)], los momentos son llamados momentos centrales. El segundo momento central (n = 2) es llamado varianza de g(X), y se denotar

2
por 2 g(X) , g(X)
, 2.
q

La cantidad g(X) := + 2 g(X) es llamada desviacin estndar de
g(X), se denotar por g(X) , .
Nota 4.5: Para el caso de una variable aleatoria y g(X) = X tendremos que E(Xn )
es el n-simo momento de X, y para n = 1 es el valor esperado, valor medio
o media de X. En forma anloga tendremos que E(X c)n denotar al n-simo
momento al rededor de c, y si c = E(X) tenemos los momentos centrales, para
n = 2 el momento central es la varianza de X y su raz cuadrada positiva es la
desviacin estndar de X.
A partir de las definiciones anteriores, tenemos:
Proposicin 4.4. Para el valor esperado se cumple:
1. E(c) = c, donde c es una constante.

2. E cg(X) + d = cE g(X) + d, donde c, d son constantes. En particular se

cumple E cg(X) + d = cE g(X) + d.
hP
i P

n
n
3. E
c
g
(X)
=
c
E
g
(X)
.
j
j
j
j
j=1
j=1
4. Si X 0, entonces E(X) 0. Si X Y, entonces E(X) E(Y).

Proposicin 4.5. Para la varianza se cumple:
1. 2 (c) = 0, donde c es una constante.

2. 2 cg(X) + d = c2 2 g(X) , donde c, d son constantes. En particular, tenemos

2 cg(X) + d = c2 2 g(X) .
2

2

2
3. 2 g(X) = E g(X) E g(X) . En particular, 2 (X) = E(X2 ) E(X) .
80
Teorema 4.3.1. Sean X un vector aleatorio k-dimensional, g 0 una funcin

medible de valor real definida sobre Rk y > 0 cualquiera. Entonces

E g(X)
Pr g(X)
.
Demostracin. Asumamos que X es vector aleatorio continuo con funcin de densidad f y sea A := { x Rk | g(x) }, entonces al usar el corolario 2.2.1
Z
Z
Z

E g(X) =
g f dm =
g f dm +
g f dm
Rk
A
Rk \A
Z
Z
g f dm f dm
A

A

= Pr g(X) A = Pr g(X) ,
de esto Pr[g(X) ] E[g(X)]/. La demostracin es anloga si X es discreto.
Como una consecuencia directa, al tomar g(X) = |X |r , obtenemos el:

Corolario 4.3.1 (Markov). Sea X una variable aleatoria y g(X) = |X |r ,
r > 0 y c > 0, entonces

E |X |r
r
r
.
Pr |X | c = Pr |X | c
cr
En el caso g(X) = |X |2 = (X )2 , tenemos

Pr |X | c = Pr (X )2 c2
E(X )2
2 (X)
2
=
=
.
c2
c2
c2
(4.12)
Al hacer c = en la desigualdad (4.12) obtenemos el:

Corolario 4.3.2 (Chebyshev). Sea X una variable aleatoria y > 0, entonces

1
Pr |X | 2 .
Lema 4.1. Sea X una variable aleatoria, con media y varianza 2 = 0. Entonces Pr(X = ) = 1.

Demostracin. Por la desigualdad (4.12) se cumple Pr |X | c = 0 para cualquier c > 0. Este resultado y la proposicin 4.2 da la conclusin.
4.3. MOMENTOS
81
Lema 4.2. Sean X, Y variables aleatorias, tales que E(X) = E(Y) = 0 y

2
(X) = 2 (Y) = 1. Entonces E(XY) 1, o equivalentemente 1 E(XY) 1;
E(XY) = 1 si y slo si Pr(Y = X) = 1, E(XY) = 1 si y slo si Pr(Y = X) = 1.
2
Demostracin. Tenemos
0 E(X Y)2 = E(X2 2XY + Y2 )
= E(X2 ) 2E(XY) + E(Y2 ) = 2 2E(XY),
0 E(X + Y)2 = E(X2 + 2XY + Y2 )
= E(X2 ) + 2E(XY) + E(Y2 ) = 2 + 2E(XY).
De esto E(XY) 1 y 1 E(XY), por lo que 1 E(XY) 1.

Si Pr(Y = X) = 1, entonces E(XY) = E(Y2 ) = 1, y si Pr(Y = X) = 1, entonces
E(XY) = E(Y2 ) = 1. Por otro lado, sea E(XY) = 1, entonces

2
2 (X Y) = E(X Y)2 E(X Y) = E(X Y)2
= E(X2 ) 2E(XY) + E(Y2 ) = 1 2 + 1 = 0,
de donde Pr(X = Y) = 1, por lema 4.1. Finalmente, sea E(XY) = 1, entonces

2 (X + Y) = 2 + 2E(XY) = 2 2 = 0,
de esto Pr(X = Y) = 1.
Teorema 4.3.2 (desigualdad de Schwarz). Sean X, Y variables aleatorias

con medias 1 , 2 y varianzas finitas 12 , 22 respectivamente. Entonces

2
E (X 1 )(Y 2 )
12 22
(4.13)
o equivalentemente

1 2 E (X 1 )(Y 2 ) 1 2 .

Se tiene E (X 1 )(Y 2 ) = 1 2 si y slo si

2
Pr Y = 2 + (X 1 ) = 1,
1

y E (X 1 )(Y 2 ) = 1 2 si y slo si

2
Pr Y = 2 (X 1 ) = 1.
1
(4.14)
(4.15)
(4.16)
82
Demostracin. Sean X1 := (X 1 )/1 y Y1 := (Y 2 )/2 , entonces X1 , Y1 son

2
variables aleatorias que cumplen con el lema 4.2 y tenemos E(X1 Y1 ) 1 si y slo
si 1 E(X1 Y1 ) 1, es decir

2
E (X 1 )(Y 2 )
1.
12 22
La igualdad (4.15) es equivalente a Pr(Y1 = X1 ) = 1 si y slo si E(X1 Y1 ) = 1 y al

regresar a las variables aleatorias iniciales se tiene lo pedido. Lo mismo pasa con la
igualdad (4.16) y Pr(Y1 = X1 ) = 1 si y slo si E(X1 Y1 ) = 1.
Definicin 4.13. Para las variables aleatorias X, Y con medias 1 , 2 , la media

central conjunta E (X 1 )(Y 2 ) es llamada la covarianza de X, Y y es denotada con C(X, Y). Si 1 , 2 < son las desviaciones estndar de X, Y, entonces la
covarianza de (X 1 )/1 y (Y 2 )/2 se le llama coeficiente de correlacin de
X, Y y es denotado por X,Y , 12 o simplemente . Al valor 2 se le llama coeficiente
de determinacin.
Corolario 4.3.3. Se tiene 2 1, es decir 1 1; = 1 si y slo si
Y = 2 21 (X 1 ) con probabilidad uno.
Nota 4.6: Cuando = 1 se tiene que X, Y estn relacionados linealmente,
de esto, a se le interpreta como una medida de la dependencia lineal entre X y
Y. Si = 0 se dice que X y Y estn no correlacionadas, en cambio si = 1,
diremos que X y Y estn correlacionadas completamente, positivamente si = 1
y negativamente si = 1. Para 1 < < 1, 6= 0 diremos que X y Y estn
correlacionadas positivamente si > 0 y negativamente si < 0. Valores de
cerca de cero, indica que la correlacin es dbil, en cambio valores de cerca de 1
nos indica que la correlacin es fuerte.
Captulo
Mecnica Cuntica
La Mecnica Cuntica, iniciada por Max Planck (1900) en su estudio de la radiacin del cuerpo negro, se estudia en la actualidad desde dos puntos de vista, uno
a partir de la estructura de Paul Dirac y por otro lado, la estructura de John von
Neumann, stas desde un inicio se mostraron fructferas para la armazn matemtica
que se deseaba para esta rama de la Fsica Terica.
Los primeros estudios en este tpico, se enmarcan en la llamada Vieja Teora
Cuntica, la cual es un mtodo general de clculo de cantidades cuantizadas, basada
en las hiptesis de Niels Bohr (1913) acerca del tomo de hidrgeno en donde los
electrones giran en torno al ncleo, lo hacen a distancias no aleatorias sino en rbitas
o capas concntricas situadas a distancias especficas del ncleo y el principio de
correspondencia de 1923, el cual establece que existe una analoga formal entre la
teora cuntica y la teora clsica.
5.1.
Estructura de Dirac
El punto inicial de la Mecnica Matricial de Werner Heisenberg (1925), es un

anlisis crtico de la vieja teora cuntica. El punto de vista de Heisenberg es el
siguiente:
En cualquier teora fsica se debe distinguir los conceptos y cantidades
que son fsicamente observables, de aquellos que no lo son. En el establecimiento de una teora satisfactoria de los fenmenos microscpicos,
uno debe en lo posible iniciar solamente desde el trabajo precedente.
83
CAPTULO 5. MECNICA CUNTICA
84
La nocin de rbita electrnica es un ejemplo de un concepto sin fundamentacin

experimental.
La mecnica matricial abandona la nocin de una rbita electrnica. Inicia exclusivamente desde las cantidades fsicamente observables, tales como las frecuencias
y las intensidades de la radiacin emitida por los tomos, la teora asocia a cada
cantidad fsica una cierta matriz infinita; en contraste a las cantidades del lgebra
ordinaria, estas matrices obedecen un lgebra no conmutativa, ste es un punto esencial en que la nueva teora difiere de la Mecnica Clsica.
La Mecnica Ondulatoria de Erwin Schrdinger (1926), inicia desde un punto
de vista enteramente diferente. Se origina en los trabajos de Louis de Broglie en
ondas de materia (1923) consultar [8]. Buscando establecer las bases de una teora
unificada de materia y radiacin, de Broglie estableci la hiptesis que la dualidad
onda-corpsculo es una propiedad general de los objetos microscpicos y que la materia, como la luz, exhiben ambos aspectos: ondulatorio y corpuscular.
Mientras tanto Schrdinger, generaliz esta nocin de ondas de materia, descubriendo la ecuacin de la funcin de onda, la que representa un sistema cuntico
dado; una regla muy simple de correspondencia nos permite deducir la ecuacin fundamental desde el hamiltoniano del correspondiente sistema clsico. La ecuacin de
Schrdinger constituye el elemento esencial de la mecnica ondulatoria.
Por razones pedaggicas, la ms difundida es la estructura de Dirac (1930) la
cual engloba a la mecnica matricial y la mecnica ondulatoria; se populariza en
1939 al introducir la notacin de los vectores kets |i pertenecientes al espacio de
Hilbert L2 , y los funcionales bras h| contenidos en el espacio dual de los kets, pero
careca del rigor matemtico en ciertos puntos. Por ejemplo la -funcin, definida
como (x x ) := hx|x i, la cual se toma como una generalizacin de la delta de
Kronecker, cuando se tiene un conjunto continuo de ndices, en presencia de una
base ortonormal {|xi} de kets y su respectiva base dual {hx|} de bras; o como una
funcin tal que
(x) =
0,
si x 6= 0;
, si x = 0.
(x) dx = 1,
(5.1)
para ampliar Heisenberg [20, p. 130], John [26, p. 150] o Messiah [31, p. 182]; o como
el lmite de un cierto tipo de sucesiones de funciones continuas no negativas cuya
integral sobre todo el espacio es uno, para ms detalles consultar Aubin [1, p. 448]
o Kolmogorov y Fomin [28, p. 212].
5.2. ESTRUCTURA DE VON NEUMANN
85
Este obstculo en la funcin de Dirac, se solvent con la teora de las distribuciones

de Laurent Schwartz (1945) en donde se establece que la funcin de Dirac es
realmente un funcional sobre cierto espacio de funciones, las llamadas funciones de
prueba1 denotado por D y se establece que D , consultar Courant y Hilbert [6,
p. 766], Kolmogorov y Fomin [28, p. 219] o Rudin [38, p. 156].
Asimismo, los kets y bras ofrecan otro problema con respecto a las representaciones integrales de estados con respecto al espectro de un observable (posicin
o mpetu), lo cual se resuelve con la nocin del espacio de Hilbert equipado o
tripletas de Gelfand, introducidas por Izrail Gelfand (1961), en donde si tomamos H = L2 , y denotando con el espacio de las funciones cuadrado integrables,
consideradas como estados fsicos, sobre las cuales se cumplen las operaciones algebraicas de observables como operadores y las representaciones espectrales, ver
artculos [11, 12], se tendr que no es de Hilbert, y se tienen las tripletas asociadas
al espacio de Hilbert H
H ,
(5.2)
en donde es el espacio antidual de , es decir, el conjunto de los funcionales

antilineales2 sobre y es el dual de , y se encuentra que |i y h| ,
para la construccin de estas tripletas para casos concretos ver los artculos [9, 10].
5.2.
Estructura de Von Neumann
La estructura de Von Neumann (1931), desde un inicio ofreci el rigor matemtico necesario para la nueva teora, ya que luego fue la base para la moderna Teora
de Operadores. Esta estructura se basa en tratar con operadores no acotados densamente definidos sobre espacios de Hilbert separables. Por lo cual, toda la teora
desarrollada hasta el momento integracin y espacios Lp servir para dar una
caracterizacin de los observables en Mecnica Cuntica y de los axiomas que se
establecen para el desarrollo de la misma.
Consideremos nuestro sistema fsico como una partcula simple restringida a una
dimensin, en un instante dado el tiempo ser un parmetro fijo. En Mecnica
Clsica, el estado de nuestro sistema en algn instante es descrito por especificar la
posicin y el mpetu de la partcula, el espacio de fase ms sencillo.
1
2
Funciones con derivadas de todos los rdenes y con soporte compacto.

Si se tiene (f + g) =
f + g si f, g , C.
86
Definicin 5.1. A L2 (R) le llamaremos espacio de configuracin del sistema

cuntico. Un estado del sistema en algn instante es un elemento L2 (R) tal
que kk = 1, ms precisamente una clase de equivalencia de tales elementos, donde
1 si y slo si = 1 , || = 1. Por simplicidad denotaremos esta clase de
equivalencia por .
R
Proposicin 5.1. Para L, sea () := ||2 dm, entonces es una
medida totalmente finita.
Demostracin. Como ||2 medible se tiene por el teorema 2.2.3 que es una medida,
ya que
Z
Z
2
|| dm
||2 dm <
se tendr 0 () (R) < de donde es totalmente finita.
Nota 5.1: Como es totalmente finita, podemos construir una medida de probabilidad, asociada a la partcula para su localizacin en una parte del espacio , interpretacin de Max Born (1926) de , haciendo la normalizacin b() := ()/(R),
lo cual es equivalente a tomar un estado e tal que
Z
2

e = e2 dm = 1,
e =
(5.3)
2
kk2
R
la integral (5.3) permanece sin cambio si multiplicamos e por un nmero complejo
de norma uno. En lo que resta tomaremos kk := kk2 .
En Mecnica Cuntica, el estado del sistema es descrito por la llamada funcin

de onda : R C, la cual es un elemento del espacio de Hilbert separable L2 (R).
De (5.3) tenemos que ||2 es una funcin de densidad continua de probabilidad,3
entonces le corresponde un valor medio o esperado
Z
=
x||2 dm
(5.4)
R
una varianza dada por

2
y una desviacin estndar = +

3
Definicin 4.10.
(x )2 ||2 dm
2 .
(5.5)
87
La expresin (5.4) se puede escribir en la forma

Z
(X) := (X, ) =
X dm
(5.6)
donde el operador X : D(X) L2 (R), esta dado por X(x) := x(x). Dado que
caracteriza la posicin promedio de nuestra partcula para un estado dado , X
es llamado el operador posicin, y por definicin
D(X) := { L2 (R) | x = X L2 (R) }.
Nuestras consideraciones muestran que la descripcin determinstica de un estado
en Mecnica Clsica es reemplazada por una descripcin probabilstica de un estado
en Mecnica Cuntica.
Lema 5.1. El operador X es densamente definido.
Demostracin. Sean n = [n, n], de donde lm n = R y L2 (R). Se define
n
n := n , y se tiene para cualquier n Z+

Z
Z
Z
2
2
|n | dm =
|n | dm +
|n |2 dm
R
R\n
Z n
Z
=
||2 dm
||2 dm <
n
de donde n L2 (R), para Xn = xn tenemos

Z
Z
Z
Z
2
2
2
|xn | dm =
|xn | dm +
|xn | dm =
|x|2 ||2 dm
R
R\n
n
Z n
Z
n2 ||2 dm n2 ||2 dm < .

n
De esto xn L2 (R), por lo que n D(X). Por otra parte ||2 = | 2 | y

|n |2 = |n2 |, se tiene 2 , n2 L1 (R), adems |n2 | | 2 |, sea (x) = lm n2 (x),
n
entonces por el teorema 2.2.6, tenemos L1 (R),

Z
Z
Z
2
2
lm
|n | dm = 0
y
lm
n dm =
dm;
n
se tiene
n2 dm =
(n )2 dm = n 2 dm, de donde tenemos

Z
Z
Z
2
2
lm
n dm = lm
dm =
2 dm.
R
88
R
R
R
De esto R 2 dm = R dm, es decir R ( 2 ) dm = 0, de donde 2 = 0
c.t.p. en R, es decir 2 = c.t.p. en R, y se tiene lm n2 = 2 .
n
En n se cumple n = n2 , entonces para cada n Z+

Z
Z
2
2
kn k =
|n | dm =
|n2 2n + 2 | dm
ZR
ZR
=
| 2 n2 | dm +
| 2 | dm,
n
R\n
por lo que
2
lm kn k = lm
n2 | dm
+ lm
R\n
| 2 | dm = 0
y se obtiene lm n = , en donde n D(X), L2 (R), es decir D(X) =

L2 (R).
Lema 5.2. El operador X es no acotado.

Demostracin. Para n Z+ , tomemos
(
1, si x [n, n + 1);
n (x) =
0, si x R \ [n, n + 1).
entonces n L2 (R), kn k = 1 y
n+1
x3
kXn k =
x dm =
3 n
n
(n + 1)3 n3
=
> n2 ,
3
2
n+1
de esto tenemos por un lado Xn L2 (R) y por otro n < kXn k / kn k, y podemos
tomar n tan grande como se quiera.
Teorema 5.2.1. El operador X es autoadjunto.

Demostracin. Por lema 5.1 tenemos que D(X) = L2 (R); X es simtrico, en efecto
al tomar , D(X) y como x = x, se tiene directamente
Z
Z
dm = (, X).
(X, ) =
x dm =
x
R
89
Por lema C.8, tenemos X X , ahora es suficiente mostrar D(X) D(X ). Sea
D(X ), entonces para cualquier D(X), tenemos de la definicin C.16, con
:= X , (X, ) = (, ), que en el espacio L2 (R) corresponde a
Z
Z
x dm =
dm,
R
dm = 0. En particular, esto se cumple para cualquier

de donde R x
2
L (R) que se hace cero fuera de cualquier intervalo (a, b), entonces D(X);
tomando
(
x(x) (x), si x (a, b);
(x) =
0,
si x R \ (a, b).
Rb
de donde tenemos a |x |2 dm = 0, se sigue que x = 0 c.t.p. en (a, b), es
decir x = c.t.p. en (a, b). Como (a, b) fue arbitrario, se tiene x = L2 (R),
de donde D(X). Asimismo, tenemos X = = x = X.
Teorema 5.2.2. Sea (X) el espectro de X. Entonces

1. X no tiene valores propios, es decir p (X) = .
2. (X) = R.
Demostracin. Para (1), tomemos un nmero t cualquiera, sea D(X) tal que
X = t, entonces (X tI) = 0, de esto se obtiene
Z
2
0 = k(X tI)k =
|x t|2 ||2 dm
R
como |x t| > 0 para toda x 6= t, tenemos (x) = 0 c.t.p. en R, esto es = 0, esto

muestra que no es una funcin propia y t no es un valor propio de X. Como t fue
arbitrario, X no tiene valores propios.
Para (2) tenemos (X) R (teoremas 5.2.1 y C.6). Sea t R y se define para
n Z+
(
1, si x [t 1/n, t + 1/n];
n (x) =
0, si x R \ [t 1/n, t + 1/n].
y consideremos n = kn k1 n , entonces kn k = 1.
Con Xt = X tI, tenemos,
Z
Z
1
1
2
2
2
kXt n k = (x t) |n | dm 2
|n |2 dm = 2
n R
n
R
90
en donde se usa (x t)2 1/n2 , en el conjunto en donde n no es cero, de donde

kXt n k 1/n.
(5.7)
Como X no tiene valores propios, el resolvente Rt = Xt1 existe, y Xt n 6= 0 ya

que n 6= 0 (lema C.6.1).
Los vectores n = Xt n / kXt n k estn en el rango de Xt , el cual es el dominio
de Rt , y tienen norma uno. Aplicando Rt y usando (5.7), obtenemos
kRt n k =
n
n,
kXt n k
esto muestra que el resolvente Rt es no acotado, de donde t (X). Como t R fue

arbitrario, se tiene (X) = R.
La ecuacin (5.5), con = (X), se puede escribir en la siguiente forma

2 (X)
= (X I) , =
(X I)2 dm,
por lo cual, un estado de un sistema fsico contiene toda la informacin del mismo,
en forma implcita, y esto plantea el problema de obtener desde las cantidades que
expresan propiedades del sistema que pueden ser observadas experimentalmente.
Tales cantidades son llamadas observables, entre los ms importantes tenemos a la
posicin, mpetu y energa. En el caso de la posicin, el problema se resuelve al
asociar un operador autoadjunto no acotado, el operador posicin X, esto sugiere
que en el caso de los otros observables se proceda en forma similar.
En Mecnica Clsica el valor de un observable, se da en un instante dado y se
conoce su evolucin con respecto al tiempo. En Mecnica Cuntica, se tienen dos
visiones acerca de la evolucin del sistema:
De Heisenberg, en donde el observable cambia en el tiempo y el estado permanece constante.
De Schrdinger, el observable permanece fijo y es el estado el que evoluciona
en el tiempo.
Para ms detalles consultar Messiah [31, p. 310].
91
Definicin 5.2. Un observable de nuestro sistema cuntico en algn instante,

es un operador lineal autoadjunto A : D(A) L2 (R), en donde D(A) L2 (R) es
denso. Su valor medio est dado por
Z
(A) = (A, ) =
A dm
R
la varianza se obtiene, si = (A), con

2 (A)
= (A I) , =
(A I)2 dm
q
y la desviacin estndar de (A) = + 2 (A). El valor (A) caracteriza el valor
promedio del observable A que se puede esperar en varios experimentos, si el estado
del sistema es , la varianza 2 (A) da la dispersin de los valores de A alrededor del
valor medio.
Dado que las definiciones 5.1 y 5.2 se establecieron para un sistema cuntico
base una partcula en el espacio, se darn los axiomas con los cuales se basa el
tratamiento de los sistemas en Mecnica Cuntica.
Axioma 5.1. El espacio de configuracin de un sistema cuntico est representado por un espacio de Hilbert separable H, cualquier estado del sistema queda
descrito por un elemento H. Asimismo, y donde C, representan el
mismo estado, por lo que se tomar un estado tal que kk = 1.
Axioma 5.2. Todo observable sobre un sistema cuntico, es descrito por un
operador lineal no acotado autoadjunto : D() H, en donde su dominio
D() H es denso.
Axioma 5.3. Cuando medimos un observable sobre un sistema cuntico, ocasionamos un cambio sobre el estado del sistema.
Axioma 5.4. Los nicos valores que obtenemos de la medicin de un observable,
son los valores espectrales del operador autoadjunto que lo representa. Ya que al hacer
mediciones experimentales sobre un sistema cuntico, siempre se obtienen valores
reales.
Sean , H estados normados, es decir kk2 = kk2 = 1. Si stos son ortogonales, entonces |(, )|2 = 0, si no lo son, entonces por los teoremas 3.1.1 y 3.1.4,
tenemos |(, )|2 kk2 kk2 = 1, entonces 0 |(, )|2 1.
92
Axioma 5.5. Si el estado inicial del sistema cuntico es , y vamos a medir

algn observable, la probabilidad de encontrar el sistema en el estado es |(, )|2,
al nmero (, ) C le llamamos amplitud de probabilidad.
Un observable que es importante junto a la posicin, es el mpetu de una partcula cuyo operador asociado sobre R, es P : D(P ) L2 (R), definido por
P (x) :=
h d
(x)
2i dx
en donde h 6.63 1034 J s es la constante de Planck; asimismo, su dominio

D(P ) L2 (R) consiste de todas las funciones L2 (R) que son absolutamente
continuas en cualquier compacto en R y tales que P L2 (R), para ms detalles
consultar Helmberg [21, p. 130].
Axioma 5.6. El hamiltoniano H : D(H ) H, observable asociado a la
energa total del sistema, depende de las posiciones Xi y de los mpetus Pi ,
i = 1, 2, 3. Cuando un sistema cuntico evoluciona con el tiempo t, tenemos =
(x1 , x2 , x3 , t), ver la pgina 90. Se cumple la relacin
i
(x1 , x2 , x3 , t) = H (P1 , P2 , P3 ; X1 , X2 , X3 )(x1 , x2 , x3 , t),

t
(5.8)
la cual es llamada ecuacin de Schrdinger dependiente del tiempo, en donde

:= h/2 es la constante de Dirac.
Nota 5.2: Si en el sistema cuntico no se toma en cuenta el tiempo, tenemos la
ecuacin de Schrdinger independiente del tiempo, consultar Heisenberg [20,
p. 132]
H (P1 , P2 , P3 ; X1 , X2 , X3 )(x1 , x2 , x3 ) = E(x1 , x2 , x3 )
(5.9)
en donde E R es un valor propio de la energa hamiltoniano.

Apendice
Conjuntos, funciones y sucesiones

En adicin a los conjuntos de puntos que se trabajan con normalidad en Matemticas Puras y Aplicadas, se tendr que hacer uso frecuentemente de los conjuntos
de conjuntos, si por ejemplo X es la recta real, como un intervalo es un conjunto
de puntos, es decir un subconjunto de X, se tendr que el conjunto de todos los
intervalos es un conjunto de conjuntos.
De esto, para clarificar ideas, se usar la palabra clase para especificar un conjunto de conjuntos, de esta manera si E es un conjunto y A una clase, entonces E A
hace que el conjunto E est en la clase A; si A y B son clases, entonces A B
hace que cualquier conjunto de A est en B, en otras palabras A es subclase de B.
En especial, cuando una clase hace referencia a subconjuntos del conjunto X, la llamaremos familia. En especial el conjunto potencia P(X) = { A | A X } es una
familia de X. Asimismo, se definir el complemento de A por Ac = { x | x
/ A }.
Definicin A.1. Una funcin de seleccin para un conjunto X es una funcin
f la cual asocia a cada subconjunto no vaco E de X un elemento de E: f (E) E.
Axioma A.1 (de Seleccin). Para cualquier conjunto existe una funcin de
seleccin.
Nota A.1: Con frecuencia el axioma A.1 se presenta en la forma: para cada E
P(X) \ {}, elegimos un elemento x E. Asimismo, es equivalente al lema de Zorn
(pgina IX), para ms detalles consultar Halmos [18, p. 97], Hausdorff [19, p. 338]
o Hewitt y Stromberg [23, p. 14].
Una clase disjunta es una clase A de conjuntos tal que para cualquier par de
93
APNDICE A. CONJUNTOS, FUNCIONES Y SUCESIONES
94
conjuntos distintos de A son disjuntos, en este caso nos referiremos a la unin de

conjuntos de A como unin disjunta.
Si E es un subconjunto de X, la funcin E definida para x X por la relacin:
(
1, si x E;
E (x) =
(A.1)
0, si x
/ E.
Es llamada funcin caracterstica del conjunto E. La correspondencia entre los
conjuntos y sus funciones caractersticas es inyectiva, y todas las propiedades de conjuntos y operaciones entre conjuntos pueden ser expresadas por medio de funciones
caractersticas.
Definicin A.2. Si {En } es una sucesin de conjuntos, definiremos los conjuntos
lmEn y lmEn de la siguiente forma:
lmEn = lm sup En =
n
n=1 i=n
Ei ,
lmEn = lm inf En =
n
Ei
n=1 i=n
y los llamaremos lmite superior y lmite inferior, respectivamente, de la sucesin

{En }. Si tenemos lmEn = lmEn , usaremos la notacin lmn En para este conjunto.
Si la sucesin es tal que En En+1 , n = 1, 2, . . . le llamaremos creciente y
S
se denotar por En y su lmite ser lm En =
n=1 En ; si es tal que En
n
En+1 , n = 1, 2, . . . le llamaremos decreciente y se denotar por En y su lmite
T
ser lm En =
n=1 En . En ambos casos nos referiremos a ella como montona.
n
Definicin A.3. Sea f una aplicacin definida del conjunto X al conjunto Y , es

decir f : X Y . Para cualquier subconjunto T Y , definimos la imagen inversa
de T , bajo f , denotada por f 1 (T ), como sigue:
f 1 (T ) := { s X | f (s) T }.
Teorema A.1. Para la aplicacin f 1 : Y X, se tienen las propiedades siguientes:

S
S
1. f 1 ( j Tj ) = j f 1 (Tj ).
T
T
2. f 1 ( j Tj ) = j f 1 (Tj ).
3. Si T1 T2 = , entonces f 1 (T1 ) f 1 (T2 ) = .
95
4. f 1 (T c ) = [f 1 (T )]c .
5. f 1 () = .
6. f 1 (Y ) = X.
Demostracin. Las propiedades (1) y (2) son inmediatas, ya que f es aplicacin. En
(3) sea s f 1 (T1 ) f 1 (T2 ) de esto s f 1 (T1 ) y s f 1 (T2 ) de donde se tiene
f (s) (T1 ) y f (s) f (T2 ) de donde f (s) T1 T2 , una contradiccin.
En (4) tenemos s f 1 (T c ) si y slo si f (s) T c si y slo si f (s)
/ T si y slo si
1
1
c
1
s
/ f (T ) si y slo si s [f (T )] . En (5) sea s f () de donde f (s) una
contradiccin. En (6), por definicin f 1 (Y ) X; sea s X de donde f (s) Y de
donde s f 1 (Y ), es decir X f 1 (Y ) y se tendr f 1 (Y ) = X.
Las propiedades (1) y (3) del teorema A.1 establecen las condiciones para la unin
disjunta en una familia en Y . Sea ahora D una familia cualquiera de subconjuntos
de Y , y definamos la familia f 1 (D) de subconjuntos de X como sigue:
f 1 (D) := { A X | A = f 1 (T ) para algn T D } = { f 1 (T ) | T D }. (A.2)
El sistema de nmeros reales extendidos o recta real extendida es el conjunto
definido por [, +] := R {, +}, con la siguiente relacin de orden: para
a R tenemos < a < +. La topologa para este conjunto se define por
declarar como abiertos a los siguientes conjuntos: (a, b), [, b), (a, +] y cualquier
unin de conjuntos de este tipo. Cuando se haga referencia a los nmeros reales
extendidos o valor real extendido, se estar hablando de los nmeros reales y de
los smbolos .
Cuando trabajamos con teora de la integracin, nos encontraremos con , una
razn es que algunas veces trataremos de integrar sobre conjuntos de medida infinita,
este es caso de la recta real. Por tal motivo, se hacen las siguientes definiciones para
facilitar su manejo: a + = + a := si 0 a , y
a = a :=
(
, si 0 < a ;
0,
si a = 0.
(A.3)
las leyes de cancelacin se tratan as: a + b = a + c b = c y a b = a c b = c

slo cuando 0 < a < .
96
Definicin A.4. Sea {aj } una sucesin en la recta real extendida, y sean
bk = sup{ak , ak+1 , ak+2 . . . },
k = 1, 2, 3, . . . ,
y = nf{b1 , b2 , b3 , . . . }. Entonces llamaremos a el lmite superior de {aj }, y

escribiremos = lm sup(aj ); el lmite inferior se define anlogamente, al interj
cambiar sup e nf en las anteriores definiciones; notemos que

lm inf (aj ) = lm sup(aj ).
j
Si {aj } converge, entonces tenemos lm inf (aj ) = lm sup(aj ) = lm (aj ).

j
Proposicin A.1. Si 0 a1 a2 , 0 b1 b2 , tales que aj a

y bj b. Entonces aj bj ab.
Definicin A.5. Supongamos que {fj } es una sucesin de funciones de valor
real extendido en un conjunto X. Entonces supj fj y lm supj fj son las funciones
definidas en X por:

sup fj (x) := sup(fj (x)),
lm sup fj (x) := lm sup(fj (x)).
j
Si f (x) = lm fj (x), y asumimos que el lmite existe para cualquier x X, entonces

j
llamaremos a f el lmite puntual de la sucesin {fj } y hablaremos de convergencia

puntual en este contexto.
Proposicin A.2. Sean fj : X [, +], j = 1, 2, 3, . . . aplicaciones, y sea
g := supj1 fj . Entonces
[ 1

g 1 (, ] =
fj (, ] .
j=1
Demostracin. Sea x j=1 fj1 (, ] de donde existe k Z+ tal que x

fk1 (, ] , es decir fk (x) (, ]. Por definicin de supremo fk (x) g(x),

de donde g(x) (, ] ya que < fk (x), se tiene x g 1 (, ] , de donde

S 1
(, ] g 1 (, ] .
j=1 fj

Mostrando la contencin en el otro sentido, sea x g 1 (, ] de donde g(x)
(, ], por definicin de supremo tenemos:
1. g(x) { fj (x) | j Z+ }, de donde existe k tal que g(x) = fk (x) de donde

S
1
fk (x) (, ], de esto x fk1 (, ] , es decir x
(, ] .
j=1 fj
97
2. g(x)
/ { fj (x) | j Z+ } de esto se tendr para toda j, fj (x) < g(x), y se puede
dar:
a) Existe k Z+ tal que < fk (x) < g(x).
b) Para toda j Z+ se tenga fj (x) < < g(x).

S
Si se da (2b) tendremos x
/ fj1 (, ] , de donde x
/
fj1 (, ] , es
j=1

S
1
decir que
(, ] y g 1 (, ] no tienen elementos en comn, una
j=1 fj
contradiccin con la primera parte de la demostracin. De donde existe k tal que
S

1
fk (x) (, ], y por consiguiente g 1 (, ]
(, ] .
j=1 fj
Lema A.1. Sean z, w C, 1 < p 2 y 1/p + 1/q = 1. Entonces tenemos
1
|z + w|q + |z w|q 2(|z|p + |w|p ) p1 .

Demostracin. Consultar Hewitt y Stromberg [23, p. 227].
Definicin A.6. Sea f : X [, +] una aplicacin. Se definen las aplicaciones f + := max{f, 0}, f := mn{f, 0}, a f + y f se les llama la parte positiva
y negativa de f , respectivamente.
Proposicin A.3. Para cualquier aplicacin f : X R denotaremos su valor
absoluto con |f |, entonces tenemos
|f | = f + + f ,
f = f + f .
Demostracin. A partir de las definiciones de |f |, f + , f tenemos

(
f (x),
si f (x) 0;
|f |(x) = |f (x)| =
f (x), si f (x) < 0.
(
f (x), si f (x) 0;
f + (x) = max{f (x), 0} =
0,
si f (x) < 0.
(
0,
si f (x) 0;
f (x) = mn{f (x), 0} =
f (x), si f (x) < 0.
para cualquier x X
(f + + f )(x) = f + (x) + f (x) =
(
f (x),
si f (x) 0;
f (x), si f (x) < 0.
= |f (x)| = |f |(x)
98
+
(f f )(x) = f (x) f (x) =

=
(
f (x),
si f (x) 0;
(f (x)), si f (x) < 0.

(
f (x), si f (x) 0;
f (x), si f (x) < 0.
= f (x).
Definicin A.7. Entenderemos x Rk si x = (1 , . . . , k )t . Sea E Rk , la

traslacin de E por x es el conjunto E + x = { y + x | y E }. Una k-celda en Rk
es un conjunto de la forma W = { x Rk | i < i < i , 1 i k } o cualquier
conjunto al cambiar algunos de los signos < por para algunos valores de i. El
Q
volumen de una celda es Vol(W ) = ki=1 (i i ).
Si a Rk , a = (1 , . . . , k )t y > 0, al conjunto C(a, ) = { x | i < i <
i + , 1 i k }, lo llamaremos el -cubo con vrtice en a. Para cada n Z+
sea Pn el conjunto de todos los x Rk cuyas coordenadas son de la forma t2t , t Z,

y sea n = C(a, 2n ) | a Pn .
Proposicin A.4. Se cumplen las siguientes propiedades:
1. Para n fijo, cada x Rk est en uno y slo un miembro de n .

2. Si C n , C r y r < n, entonces C C o C C = .
3. Si C r entonces Vol(C) = 2rk ; si n > r, el conjunto Pn tiene exactamente
2(nr)k puntos en C.
4. Cualquier abierto no vaco en Rk es unin contable de cubos disjuntos en 1
2 3 .
Demostracin. En (1) sea x Rk tal que x C(a, 2n ) C(b, 2n ), en donde
a = (1 2n , . . . , k 2n )t ,
b = (1 2n , . . . , k 2n )t
y a 6= b; para cualquier j tenemos

j [j 2n , j 2n + 2n )
j [j 2n , j 2n + 2n ),
de esto j 2n [j , j + 1) y j 2n [j , j + 1), por la desigualdad en los vrtices

tenemos que existe tal que 6= y tendremos que 2n est en dos intervalos
distintos cuyos extremos son enteros consecutivos, un absurdo, en consecuencia x
slo est en un nico miembro de n .
99
Para (2) sean C(a, 2n ) n y C(b, 2r ) r y r < n de esto 2n < 2r . Si
a = b tenemos j 2n = j 2r y de esto j = j 2nr ; para los extremos superiores
de los intervalos j 2n + 2n < j 2n + 2r = j 2r + 2r , con lo cual tenemos
[j 2n , j 2n + 2n ) [j 2n , j 2n + 2n ).
Sean C(a, 2n ) n y C(b1 , 2r ), C(b2 , 2r ) r , tales que b1 = a y b2 6= a,
entonces tenemos por argumentos precedentes C(a, 2n ) C(b1 , 2r ) y C(b1 , 2r )
C(b2 , 2r ) = y de esto C(a, 2n ) C(b2 , 2r ) = y se tiene lo pedido.
Para (3) sea C(a, 2r ) r , entonces
k
k
Y
Y
r
r
r
(tj 2 + 2 tj 2 ) =
(2r ) = 2rk .
Vol C(a, 2 ) =
r
j=1
j=1
Si n > r tenemos para el intervalo j que la distancia entre dos elementos consecutivos

de Pn es 2n , de esto hay exactamente (tj + 1)/2r tj /2r /2n = 2nr puntos, y
en total hay 2(nr)k en C(a, 2r ).
Para (4) sea V un abierto, es tiene que para cada x V existe C n , para
S
algn n, tal que x C V . De entre todos los cubos de n n contenidos en V
tomamos todos los que estn en 1 , aadimos los de 2 que no estn contenidos en
ninguno de los de 1 , aadimos los de 3 que no estn contenidos en ninguno de
los anteriores y as sucesivamente. El resultado es una familia numerable de cubos
S
disjuntos, por (1) y (2) de n n cuya unin es V .
100

Apendice
Topologa
Definicin B.1. Sea R el conjunto de los nmeros reales. Al conjunto
R := { O R | para toda x O, existe intervalo abierto Ix , x Ix O }
se le llama la topologa natural de R.
Definicin B.2. Sea X un espacio topolgico y E X. La clausura E es
el cerrado en X ms pequeo que contiene a E. El interior E es el abierto en
X ms grande contenido en E. Se dice que X es de Hausdorff, si para cualquier
x0 , y0 X distintos, existen vecindades abiertas U, V de x0 , y0 respectivamente, tales
que U V = .
Se dice que X es cuasicompacto, si toda cubierta abierta de X tiene una subcuS
bierta finita; es decir, si {V } es una familia de abiertos tal que X = V , entonces
S
existen V1 , . . . , Vn tales que X = nj=1 Vj . Un subconjunto K X se dice que es cuasicompacto, si (K, K ) es un espacio cuasicompacto, donde K es la topologa relativa.
Se dice que X es compacto si es un espacio de Hausdorff y es cuasicompacto.
Definicin B.3. Sea X un espacio topolgico, se dice que es separable si existe
un subconjunto S X numerable y denso, es decir, S = X.
Teorema B.1. Sean X, Y espacios topolgicos, y sea f : X Y una aplicacin
continua. Si K X es cuasicompacto, entonces f (K) Y es cuasicompacto.
Demostracin. Consultar Escamilla [13, p. 90] o Haaser y Sullivan [15, p. 110].
101
102
APNDICE B. TOPOLOGA
Definicin B.4. Se dice que un espacio X de Hausdorff es localmente compacto, si cualquier punto en X tiene una vecindad abierta tal que su clausura es compacta. El soporte Supp(f ) de una funcin real, o compleja, f en un espacio topolgico X, es la clausura del conjunto { x | f (x) 6= 0 }, es decir Supp(f ) := { x | f (x) 6= 0 }.
El conjunto de todas las funciones reales (complejas) continuas en X cuyo soporte
es cuasicompacto es denotado por Cc (X).
Proposicin B.1. El conjunto Cc (X) es un C-espacio vectorial.
Demostracin. Es suficiente mostrar que si f, g Cc (X) y C entonces (f + g)
Cc (X) y f Cc (X). Sea Af := { x X | f (x) 6= 0 } y lo mismo para Ag , entonces
Supp(f ) = Af . Tenemos Af Ag = { x X | f (x) 6= 0 g(x) 6= 0 }, entonces si:
f (x) 6= 0 g(x) 6= 0, se tiene f (x) + g(x) 6= 0.
De donde tenemos Af Ag = Af +g ; por otro lado Af Ag = Af Ag , es decir
Supp(f ) Supp(g) = Supp(f + g), y dado que la unin finita de cuasicompactos
es cuasicompacta se tiene que Supp(f + g) es cuasicompacto. Y como la suma de
funciones continuas es continua se tendr (f + g) Cc (X).
Asimismo, f es continua y se tiene para 6= 0 la propiedad Supp(f ) =
Supp(f ), en cambio si = 0 entonces Supp(f ) = el cual es cuasicompacto,
de esto f Cc (X).
Corolario B.1. El rango de cualquier f Cc (X) es un subconjunto compacto

del plano complejo.
Definicin B.5. Una funcin compleja f en un espacio localmente compacto X
se dice que se anula en el infinito, si para todo > 0 existe un conjunto compacto
K X tal que |f (x)| < si x X \ K. El conjunto de todas las funciones continuas
en X que se anulan en el infinito se denota por C0 (X).
Proposicin B.2. Se cumple Cc (X) C0 (X). Se tiene la igualdad si X es
compacto, en tal caso escribiremos C(X).
Definicin B.6. Un conjunto E en un espacio topolgico es llamado -compacto, si E es una unin contable de conjuntos cuasicompactos.
Definicin B.7. Diremos que un espacio topolgico es un espacio de Tietze
si para cada dos conjuntos cerrados y disjuntos B1 , B2 , existen abiertos A1 , A2 , tales
que B1 A1 , B2 A2 y A1 A2 = .
103
Lema B.1 (Urysohn topolgico). Un espacio (X, ) es de Tietze si y slo
si para cada par de cerrados disjuntos F1 , F2 X, existe una aplicacin continua
fU : X [0, 1], tal que fU (F1 ) = {0} y fU (F2 ) = {1}. A fU se le llama una funcin
de Urysohn para X.
Demostracin. Consultar Escamilla [13, p. 63].
Definicin B.8. La notacin K f indica que K es un subconjunto cuasicompacto en X, f Cc (X), que 0 f (x) 1 para toda x X y que f (x) = 1 para
toda x K; y f V indica que V es abierto, f Cc (X), que 0 f (x) 1 para
toda x X y que Supp(f ) V . La notacin K f V se usa para indicar que
ambas condiciones se cumplen.
Lema B.2 (Urysohn). Supngase que X es un espacio localmente compacto,
V es abierto en X, K V y K compacto. Entonces existe f Cc (X) tal que
K f V.
Demostracin. Consultar Rudin [37, p. 39].
Corolario B.2. Supngase que X es un espacio localmente compacto, en donde

existen subconjuntos V abierto y K compacto tales que K V . Entonces X es un
espacio de Tietze.
Demostracin. Del lema B.2, existe f continua tal que K f V , de donde
Supp(f ) V y f (K) = {1}. Asimismo V c Supp(f )c y de esto

c

Supp(f )c = { x | f (x) 6= 0 } = { x | f (x) 6= 0 }c
= { x | f (x) = 0 } { x | f (x) = 0 }
de donde, si V c se tendr que f () = 0, es decir f (V c ) = {0}. Y como V c , K

son cerrados disjuntos, f es una funcin de Urysohn. Y por lema B.1 se tendr que
X es de Tietze.
Teorema B.2. Supngase que V1 , . . . , Vn sean abiertos en un espacio localmente

S
compacto X y K un subconjunto compacto tal que K nj=1 Vj . Entonces existen
funciones hj Vj , j = 1, . . . , n tales que h1 (x) + + hn (x) = 1, x K.
Demostracin. Consultar Rudin [37, p. 40]
104
APNDICE B. TOPOLOGA
Nota B.1: En trminos de funciones caractersticas, la conclusin del lema B.2

asegura la existencia de una funcin continua f que satisface las desigualdades K
f V . La coleccin {h1 , . . . , hn } es llamada una particin de la unidad en K,
subordinada a la cubierta {V1 , . . . , Vn }.
Definicin B.9. Una funcin f : X R se dice que es convexa si:

f tx + (1 t)y tf (x) + (1 t)t(y)
para cualquier x, y X y todo t (0, 1). Si X = (a, b), donde a < b ,

tenemos la relacin, para a < s < t < u < b
f (t) f (s)
f (u) f (t)
.
ts
ut

Apendice
Anlisis Funcional
Definicin C.1. Un espacio mtrico es una pareja (X, d), donde X es un
conjunto no vaco y d es una mtrica en X, o funcin de distancia en X, es decir,
una funcin en X X tal que para cualquier x, y, z X tenemos
M1. 0 d(x, y) < .
M2. d(x, y) = 0 si y slo si y = x.
M3. d(x, y) = d(y, x).
M4. d(x, z) d(x, y) + d(y, z)
Teorema C.1. Sea f : K M una aplicacin continua entre espacios mtricos
y sea K compacto. Entonces f es uniformemente continua.
Demostracin. Consultar Haaser y Sullivan [15, p. 114].
Definicin C.2. Una sucesin {xi } en un espacio mtrico (X.d) se dice que es
una sucesin de Cauchy o fundamental, si para cualquier > 0 existe un entero
positivo N = N() tal que d(xi , xj ) < para toda i, j > N. El espacio X se dice que
es completo si toda sucesin de Cauchy en X es convergente.
Definicin C.3. Un espacio topolgico (X, ) es metrizable si existe una mtrica d sobre X, tal que d = , en donde d es la topologa inducida por la mtrica d
a travs de las bolas abiertas B(x, r) := { y | d(x, y) < r }, con centro en x y radio r.
105
APNDICE C. ANLISIS FUNCIONAL
106
Definicin C.4. Sea X un K-espacio vectorial, una aplicacin : X K, se

dice que es un funcional lineal sobre X, si (x+y) = x+y, para cualquier
x, y X y , K.
Definicin C.5. Un funcional lineal es positivo, si su dominio es el espacio
vectorial complejo Cc (X), y si f [X] [0, ) entonces f [0, ).
C.1.
Espacios vectoriales topolgicos
Definicin C.6. Un espacio normado es una pareja (B, kk), en donde B es

un C-espacio vectorial y kk es una norma en B, es decir, una funcin de valor real,
tal que para cualquier x, y B tenemos
N1. kxk 0.
N2. kxk = 0 si y slo si x = 0.
N3. kxk = || kxk para cualquier escalar K.
N4. kx + yk kxk + kyk.
A todo espacio normado se le puede asociar una mtrica, haciendo d(x, y) := kx yk,
si el espacio (B, d) es completo, se dice que es un espacio de Banach.
Definicin C.7. Un espacio con producto interno o pre-espacio de
Hilbert es una pareja (H, (, )), en donde H es un C-espacio vectorial y (, ) es
un producto escalar en H, es decir, una funcin de valor complejo en H H tal
que para cualquier x, y, z H tenemos
PI1. (x + y, z) = (x, z) + (y, z).
PI2. (x, y) = (x, y) para toda C.
PI3. (y, x) = (x, y), la barra denota el complejo conjugado.
PI4. (x, x) 0.
PI5. (x, x) = 0 slo si x = 0.
C.1. ESPACIOS VECTORIALES TOPOLGICOS
107
Si (x, y) = 0 se dice que x es ortogonal a y, se usa la notacin x y. A todo

p espacio
con producto interno se le puede asociar unapnorma, a travs de kxk := (x, x), y
una mtrica haciendo d(x, y) = kx yk = (x y, x y), si el espacio (H, d) es
completo, se dice que es un espacio de Hilbert.
Mas adelante se darn ejemplos de espacios de Banach y de Hilbert, y se ver la
importancia de los mismos en las aplicaciones que se dan en los captulos 4 y 5.
Definicin C.8. Sean (X, kkX ), (Y, kkY ) dos espacios normados, se le llamar
operador lineal no acotado de X en Y , a todo operador lineal T : D(T ) Y ,
donde D(T ) X es el dominio de T .
Se dice que T es acotado si existe una constante c 0, tal que para cualquier
x D(T ) se tiene kT xkY c kxkX , y el nmero kT k dado por
kT k :=
sup
xD(T ), kxk=1
kT xkY
se le llamar norma de T . El conjunto de todos los operadores lineales acotados de

X en Y lo denotaremos por B(X, Y ). Si Y = R, C se tiene que T es un funcional,
en tal caso se dir que es un funcional lineal acotado.
Teorema C.2 (Hahn-Banach). Sea f un funcional lineal acotado en un subespacio Z de un espacio normado X. Entonces existe un funcional lineal acotado fe en
X el cual es una extensin de f a X, es decir fe|Z = f , y tiene la misma norma

fe = kf k , en donde
Z
X

fe =
fe(x), kf k = sup |f (x)|.
sup
Z
X
xX, kxk=1
xZ, kxk=1
Demostracin. Consultar Kreiszig [29, p. 221] o Rudin [38, p. 61].
Definicin C.9. Sea (X, kk) un espacio vectorial normado complejo, llamaremos a X := B(X, C) el espacio dual topolgico de X, con la norma dual
kf kX =
sup
xX, kxk=1
|f (x)| , f X .
Dados f X y x X se usar hf, xiX ,X := f (x), y se dir que h, iX ,X es el

producto escalar en la dualidad X, X .
Corolario C.1. Sea A X un subespacio vectorial tal que A =
6 X. Entonces
existe f X , f 6= 0 tal que hf, xiX ,X = 0.
108
Demostracin. Consultar Brezis [3, p. 7].
Definicin C.10. Sean x X y f X como en la definicin C.9. Se designar por f : X C a la aplicacin definida por f (x) := hf, xiX ,X , de esto
se puede obtener una familia {f }f X de aplicaciones de X en C. La topologa
dbil (X, X ) sobre X es la topologa ms tosca que hace continuas a todas las
aplicaciones {f }f X .
Sea (X, kk) un espacio normado y (X , kkX ) su dual. El espacio dado por X :=
(X ) se le llamar el espacio bidual topolgico de X, con norma dada por

(C.1)
kkX :=
sup
h, f iX ,X , f X .
f X , kf kX =1
Se dar la inyeccin cannica topolgica J : X X , definida as: sea

x X fijo, la aplicacin Jx : X C dada por (Jx)(f ) := hf, xiX ,X , es un funcional
lineal acotado sobre X , es decir, un elemento de X , ya que hJx, f iX ,X = hf, xiX ,X
para cualquier x X, f X .
Se tendr que J es una isometra, es decir kJxkX = kxkX para cualquier x X,
y por consiguiente tambin es una aplicacin inyectiva, en efecto
kJxk = sup |hJx, f i| = sup |hf, xi| = kxk ,
kf kX =1
kf kX =1
de esto1 para cualquier x X le corresponde un nico funcional lineal acotado

Jx X ; de lo anterior podemos identificar a X como un subespacio de X , por lo
que el producto interno de dualidad est bien definido.
Definicin C.11. Sean X y J como en la discusin anterior. Se dice que X es
reflexivo topolgicamente si J[X] = X . De esto, si X es reflexivo, se le puede
identificar implcitamente por X ya que J es un isomorfismo de espacios normados.
Nota C.1: Tambin el espacio X puede ser reflexivo algebraicamente, si se tiene
X = X, en donde X es el dual algebraico de X, es decir, el espacio de los
funcionales lineales sobre X, se tendr entonces X := L(X, C). En general X X .
Nota C.2: Se puede dar el caso en que X y X sean isomorfos bajo otra aplicacin
y X no sea reflexivo.
1
Ntese que se suprimieron los subndices a h, i, convencin que se seguir.
C.1. ESPACIOS VECTORIALES TOPOLGICOS
109
Lema C.1. Sea B un espacio de Banach. Se supone que existe una familia
{Oi }iI tal que:
1. Para toda i I, Oi es un abierto no vaco en B.
2. Oi Oj = si i 6= j.
3. I es no contable.
Entonces B es no separable.
Demostracin. Por reduccin al absurdo, se supondr que B es separable. Tomemos
la sucesin {un }nN densa en B. Para cada i I, Oi {un }nN 6= y se puede
elegir n(i) tal que un(i) Oi . La aplicacin i 7 n(i) es inyectiva, en efecto si n(i) =
n(j) entonces un(i) = un(j) Oi Oj de donde i = j. De esto I es numerable en
contradiccin a (3). En consecuencia B es no separable.
Lema C.2. Sea B un espacio de Banach.

1. Si B reflexivo y sea M B un subespacio vectorial cerrado. Entonces M es
reflexivo.
2. B es reflexivo si y slo si B es reflexivo.
3. B es reflexivo y sea {xn } una sucesin acotada en B. Entonces se puede extraer
una subsucesin que converge en la topologa dbil (B, B ).
Nota C.3: Refirindonos a las definiciones C.9 y C.10, tenemos que para el espacio
X se han definido dos topologas:
1. La topologa fuerte, inducida a travs de la norma de X .

2. La topologa dbil (X , X ).
Ahora definiremos una tercer topologa, cual se denotar por (X , X), y para
x X consideremos la aplicacin x : X C, definida por f 7 x (f ) = hf, xi. De
esto se obtiene una familia de aplicaciones {x }xX de X en C.
Definicin C.12. La topologa dbil representada por (X , X) es la topologa ms tosca sobre X que hace continuas a todas las aplicaciones {x }xX .
110
Lema C.3 (Banach-Alaoglu-Bourbaki). La bola cerrada

BX := { f X | kf k 1 }
es cuasicompacta para la topologa dbil (X , X).
Demostracin. Consultar Brezis [3, p. 42] o Rudin [38, p. 68].
Lema C.4. Sea B un espacio de Banach separable. Entonces BB es metrizable para la topologa (B , B). Recprocamente, si BB es metrizable para (B , B),
entonces B es separable.
Demostracin. Consultar Brezis [3, p. 48] o Rudin [38, p. 70].
Corolario C.2. Sea B un espacio de Banach separable y sea {fn } una sucesin
acotada en B . Entonces se puede extraer una subsucesin {fnk } que converge para
la topologa dbil (B , B).
Definicin C.13. Se dice que un espacio de Banach B es uniformemente

convexo si para cualquier > 0 existe un > 0 tal que x, y B, kxk 1, kyk 1
y kx yk > , entonces k(x + y)/2k < 1 .
Lema C.5 (Milman-Pettis). Todo espacio de Banach uniformemente convexo
es reflexivo.
C.2.
Teora de operadores
Lema C.6. Sean X, Y K-espacios vectoriales (K = R, C). Sea T : D(T ) Y

un operador lineal con rango R(T ) Y . Entonces
1. La inversa T 1 : R(T ) D(T ) existe si y slo si T x = 0 entonces x = 0.
2. Si T 1 existe, entonces es un operador lineal.
3. Si dim D(T ) < y T 1 existe, entonces dim R(T ) = dim D(T ).
Demostracin. Consultar Kreiszig [29, p. 88].
C.2. TEORA DE OPERADORES
111
Sea X 6= {0} un espacio normado complejo y T : D(T ) X un operador lineal,

a T le asociamos el operador T := T I, donde C e I es el operador identidad
en D(T ), sea R (T ) := T1 = (T I)1 , si T1 existe, lo llamaremos el operador
resolvente de T , o simplemente el resolvente de T .
Definicin C.14. Sea X 6= {0} un espacio normado complejo y un operador
lineal T : D(T ) X. Decimos que C es un valor regular de T si
R1. R (T ) existe.
R2. R (T ) es acotado.

R3. D R (T ) es denso en X.
El conjunto de los valores regulares de T lo representaremos por (T ) y lo llamaremos

el conjunto resolvente de T , su complemento (T ) := C\(T ) se le llama espectro
de T , a todo (T ) se le llama valor espectral de T . Asimismo, el espectro (T )
se divide en tres conjuntos disjuntos como sigue
1. Espectro puntual o espectro discreto p (T ) es el conjunto tal que R (T )
no existe. Un p (T ) es llamado un valor propio de T .
2. Espectro continuo c (T ) es el conjunto tal que R (T ) existe y satisface R3
pero no R2, es decir, R (T ) es no acotado.
3. Espectro residual r (T ) es el conjunto tal que R (T ) existe (puede ser acotado o no) pero no satisface R3, es decir, el dominio de R (T ) no es denso
en X.
Nota C.4: Del lema C.6 se tiene que si R (T ) existe, entonces es lineal, y R (T )
existe si y slo si T x = 0 entonces x = 0. Por otro lado, si T x = (T I)x = 0
para algn x 6= 0, entonces p (T ) y es un valor propio, el vector x es llamado
un vector propio2 de T correspondiente al valor propio . El subespacio de D(T )
consistente de 0 y todos los vectores propios de T correspondientes a un valor propio
de T es llamado el espacio propio de T correspondiente al valor propio .
Teorema C.3 (Hellinger-Toeplitz). Si un operador lineal T es definido en
todo un espacio de Hilbert complejo H y satisface
(T x, y) = (x, T y)
para cualquier x, y H, entonces T es acotado.
2
Si X es un espacio de funciones, se dice que x es una funcin propia de T .
(C.2)
112
Demostracin. Consultar Kreiszig [29, p. 526] o Rudin [38, p. 353].
Definicin C.15. Dados los operadores S y T con dominios D(T ), D(S) H,

en donde H es un espacio de Hilbert complejo, denotaremos con T S, si S es una
extensin de T , es decir D(T ) D(S) y T = S|D(T ) . Diremos que la extensin es
propia si D(S) \ D(T ) 6= .
Nota C.5: Si T es un operador acotado, el operador adjunto de Hilbert T ,
se define como el operador que satisface (T x, y) = (x, T y) para cualquier x, y H,
T existe, es acotado y kT k = kT k, consultar Kreiszig [29, p. 196].
Lema C.7. Sea T : D(T ) H, D(T ) H, un operador lineal. Para y H
existe y H nica, tal que (T x, y) = (x, y ) para toda x D(T ), si y solamente
si D(T ) = H.
Nota C.6: Si T : D(T ) H, es un operador no acotado, del teorema C.3

tenemos que D(T ) H si queremos que cumpla con (C.2). Asimismo, si T es densamente definido (lema C.7) se puede definir el operador T de forma nica.
Definicin C.16. Sea T : D(T ) H un operador lineal densamente definido
en un espacio de Hilbert complejo H. Entonces el operador adjunto de Hilbert
T : D(T ) H de T , se define como sigue.
D(T ) := { y H | existe y H, (T x, y) = (x, y ) para toda x D(T ) }
y para cada y D(T ), se define T y := y .
Nota C.7: En Mecnica Cuntica a T se le representa por T (T daga) y se le
llama el operador adjunto o transconjugado de T .
Teorema C.4. Sean S, T operadores lineales densamente definidos, con dominios D(S), D(T ) H en un espacio de Hilbert complejo.
1. Si S T , entonces T S .
2. Si D(T ) es denso, entonces T T , en donde T := (T ) .
3. Si T es inyectivo y su rango es denso en H, es decir R(T ) = H. Entonces T
es inyectivo y (T )1 = (T 1 ) .
C.2. TEORA DE OPERADORES

113
Definicin C.17. Decimos que un operador T : D(T ) H densamente definido

es simtrico o hermitiano si (T x, y) = (x, T y) para cualquier x, y D(T ).
Lema C.8. El operador T : D(T ) H densamente definido es simtrico si y
slo si T T .
Definicin C.18. Un operador T : D(T ) H densamente definido en un espacio de Hilbert complejo, se dice que es autoadjunto si T = T .
Corolario C.3. Operadores autoadjuntos son simtricos maximales, es decir,
son operadores simtricos que no tienen extensiones simtricas propias.
Teorema C.5. Sean T un operador lineal autoadjunto densamente definido en
un espacio de Hilbert complejo y C. Entonces (T ) si y slo si existe > 0
tal que para toda x D(T ), kT xk kxk.
Teorema C.6. Sea T : D(T ) H un operador lineal autoadjunto densamente definido en un espacio de Hilbert complejo. Entonces su espectro (T ) es real y
cerrado.
114
Bibliografa
[1] Aubin, Jean-Pierre. Mathematical Methods of Game and Economic Theory. Paises Bajos: North-Holland Publishing Company, 1982.
[2] Bartle, Robert. Introduccin al Anlisis Matemtico. Tr. Cristina Gutirrez.
Mxico: Limusa-Wiley, 1982.
[3] Brezis, Ham. Analyse Functionnelle, Thorie et Applications. (Collection Mathmatiques Appliques pour la Matrise) Francia: Masson, 1992.
[4] Choquet-Bruhat, Yvonne y otros. Analysis, Manifolds and Physics. (volumen 1)
Paises Bajos: North-Holland Publishing Company, 1996.
[5] Courant, Richard y David Hilbert. Methods of Mathematical Physics. (volumen 1) Estados Unidos: Interscience Publishers, 1953.
[6] Courant, Richard y David Hilbert. Methods of Mathematical Physics. (volumen 2) Estados Unidos: Interscience Publishers, 1962.
[7] Courant, Richard y Herbert Robbins. Qu son las Matemticas? Conceptos y
Mtodos Fundamentales. 2.a ed. de Ian Stewart, Tr. Martn Manrique. Mxico:
Fondo de Cultura Econmica, 2002.
[8] De Broglie, Louis. Ondes et Quanta. Compt. Rend. 177 (1923) 507. Disponible en http://www.academie-sciences.fr/membres/in_memoriam/Broglie/
Broglie_pdf/CR1923_p507.pdf
[9] De la Madrid, Rafael. The rigged Hilbert space of the free Hamiltonian. Disponible en arXiv:quant-ph/0210167 (2002).
[10] De la Madrid, Rafael. The rigged Hilbert space of the algebra of the one-dimensional rectangular barrier potential. Disponible en arXiv:quant-ph/0407195
(2004).
115
116
BIBLIOGRAFA
[11] De la Madrid, Rafael. The role of the rigged Hilbert space in Quantum Mechanics. Disponible en arXiv:quant-ph/0502053 (2005).
[12] De la Madrid, Rafael. On the connection between the Schrdinger and the
Heisenberg pictures for unbounded operators. Disponible en arXiv:quant-ph/
0509074 (2005).
[13] Escamilla Castillo, Juan. Introduccin a la Topologa. 3.a ed. Guatemala: Departamento de Matemticas, CIMACIEN, 2006.
[14] Gutirrez-Herrera, William. Teora de la Medida y la Estructura de Von Neumann en Mecnica Cuntica. (Tesis de Licenciatura) Guatemala: USAC, 2006.
[15] Haaser, Norman y Joseph Sullivan. Anlisis Real. Tr. Ricardo Vins. Mxico:
Trillas, 1978.
[16] Halmos, Paul. Measure Theory. (The University Series in Higher Mathematics)
Estados Unidos: Van Nostrand Reinhold Company, 1950.
[17] Halmos, Paul. Espacios Vectoriales Finito-Dimensionales. Tr. Gabriel Aguirre.
Mxico: Compaa Editorial Continental, S.A., 1965.
[18] Halmos, Paul. Teora Intuitiva de los Conjuntos. 8.a ed. Tr. Antonio Martn.
Mxico: Compaa Editorial Continental, S.A., 1973.
[19] Hausdorff, Felix. Set Theory. 2.a ed. Estados Unidos: Chelsea Publishing Company, 1962.
[20] Heisenberg, Werner. The Physical Principles of the Quantum Theory. Estados
Unidos: Dover Publications, Inc., 1949.
[21] Helmberg, Gilbert. Introduction to Spectral Theory in Hilbert Space. (Series in
Applied Mathematics and Mechanics) Paises Bajos: North-Holland Publishing
Company, 1969. (Republicacin Estados Unidos: Dover Publications, Inc., 2008.)
[22] Herstein, Israel Nathan. Topics in Algebra. 2.a ed. Estados Unidos: John Wiley
& Sons, 1975.
[23] Hewitt, Edwin y Karl Stromberg. Real and Abstract Analysis. Estados Unidos:
Springer-Verlag, 1965.
[24] Ivorra, Carlos. Anlisis Matemtico. Universidad de Valencia. Disponible en
http://www.uv.es/~ivorra/Libros/ (2004).
[25] Jahn, Johannes. Introduction to the Theory of Nonlinear Optimization. 2.a
ed. Alemania: Springer-Verlag, 1996.
[26] John, Fritz. Partial Differential Equations. 2.a ed. (Applied Mathematical Sciences) Estados Unidos: Springer-Verlag, 1975.
BIBLIOGRAFA
117
[27] Kolmogorov, Andrei. Foundations of the Theory of Probability. 2.a ed. Estados
Unidos: Chelsea Publishing Company, 1956.
[28] Kolmogorov, Andrei y Serguei Fomin. Elementos de la Teora de Funciones y
del Anlisis Funcional. Tr. Carlos Vega. URSS: MIR, 1975.
[29] Kreiszig, Erwin. Introductory Functional Analysis with Applications. Estados
Unidos: John Wiley & Sons, 1978.
[30] Kronz, Fred. Quantum Theory: Von Neumann versus Dirac. Disponible en
la Stanford Encyclopedia of Philosophy, Stanford University, http://plato.
stanford.edu/entries/qt-nvd/ (2004).
[31] Messiah, Albert. Quantum Mechanics. (volumen 1) Paises Bajos: North-Holland
Publishing Company, 1961.
[32] Munroe, Marshall. Introduction to Measure and Integration. (Addison-Wesley
Mathematics Series) Estados Unidos: Addison-Wesley, 1953.
[33] Omns, Roland. The Interpretation of Quantum Mechanics. (Princeton Series
in Physics) Estados Unidos: Princeton University Press, 1994.
[34] Penrose, Roger. La Mente Nueva del Emperador. Tr. Jos Garca. Mxico: Fondo
de Cultura Econmica, 1996.
[35] Roussas, George. A First Course in Mathematical Statistics. Estados Unidos:
Addison-Wesley, 1973.
[36] Rudin, Walter. Principles of Mathematical Analysis. 3.a ed. (International Series
in Pure and Applied Mathematics) Estados Unidos: McGraw-Hill, 1973.
[37] Rudin, Walter. Real and Complex Analysis. 3.a ed. (International Series in Pure
and Applied Mathematics) Estados Unidos: McGraw-Hill, 1987.
[38] Rudin, Walter. Functional Analysis. 2.a ed. (International Series in Pure and
Applied Mathematics) Estados Unidos: McGraw-Hill, 1991.
[39] Sternberg, Shlomo. Theory of Functions of a Real Variable. Harvard University.
Disponible en http://www.math.harvard.edu/~shlomo/docs/ (2005).
[40] Teschl, Gerald. Mathematical Methods in Quantum Mechanics with Applications
to Schrdinger Operators. Universitt Wien. Disponible en http://www.mat.
univie.ac.at/~gerald/ftp/book-schroe/ (2005).
[41] Wheeden, Richard y Antoni Zygmund. Measure and Integral, an Introduction
to Real Analysis. Estados Unidos: Marcel Dekker, Inc., 1977.
ndice alfabtico
lgebra, 1
discreta, 2
trivial, 2
-lgebra, 3
de Borel, 4
de eventos, 67
final, 7
generada, 3
inicial, 7
amplitud de probabilidad, 92
anillo, 1
generado, 3
-anillo, 2
generado, 3
aplicacin
inclusin, 5
axioma de seleccin, IX, 44, 93
axiomas
de Kolmogorov, 68
de Von Neumann, 85
Bernoulli, 74
Bohr, 83
bola
abierta, 105
cerrada, 62, 64, 110
unitaria, 44, 64
Borel
-lgebra de, 4
clasificacin de los conjuntos de, 6
conjunto de, 4
de orden n, 6
Born, 86
Broglie, 84
Brouwer, IX
c.t.p., 25
campana de Gau, 74
k-celda, 98
volumen de una, 98
clase, 93
disjunta, 94
clausura, 101
coeficiente
de correlacin, 82
de determinacin, 82
complemento, 93
-completacin, 27
conjunto
de Borel, 4
de orden n, 6
de Vitali, IX, 44
F , 5
G , 5
Lebesgue-medible, 42
medible, 3
potencia, 93
resolvente, 111
convergencia
dominada, 26
en la media de orden p, 52
montona, 21
118
NDICE ALFABTICO
puntual, 96
covarianza, 82
-cubo, 98
densidad, 73
desigualdad
de Chebyshev, 80
de Clarkson, 58, 59
de Hlder, 48
de Markov, 80
de Minkowski, 48
de Schwarz, 48, 81
desviacin estndar, 79
Dirac, 83
constante de, 92
medida de, X, 65
distribucin
binomial, 74
puntual, 74
gaussiana, 74
normal, 74
normal estndar, 74
ecuacin de Schrdinger
dependiente del tiempo, 92
independiente del tiempo, 92
Escuela Formalista, IX
espacio, 1
antidual, 85
bidual topolgico, 108
compacto, 101
completo, 105
con producto interno, 106
cuasicompacto, 101
de Banach, 106
de configuracin, 86, 91
de fase, 85
de Hausdoff, 101
de Hilbert, 58, 107
equipado, 85
separable, 85
de medida, 17
completo, 27
de probabilidad, 68
de Tietze, 102
119
dual topolgico, 107
localmente compacto, 102
medible, 3
mtrico, 105
muestral, 67
normado, 106
propio, 111
reflexivo, 108
separable, 101
-compacto, 102
uniformemente convexo, 110
espectro, 111
continuo, 111
de un observable, 85
discreto, 111
puntual, 111
residual, 111
esperanza matemtica, 78
estado, 86
Euclides, IX
evento, 67
compuesto, 67
imposible, 67
seguro (cierto), 67
simple, 67
eventos
dependientes, 72
excluyentes, 72
independientes, 71
experimento
aleatorio, 67
determinstico, 67
exponentes conjugados, 47
extensin
completa, 27
propia, 112
familia, 93
finitamente aditiva, 68
F , 5
funcin
Borel medible, 6
caracterstica, 94
convexa, 104
cuadrado integrable, X, 85
120
de conjuntos, 12
aditiva, 12
contablemente aditiva, 13
continua por abajo, 15
continua por arriba, 15
finitamente aditiva, 12
montona, 13
sustractiva, 13
de densidad
continua, 73
discreta, 73
de Dirichlet, 45
de distancia, 105
de distribucin, 73
acumulada, 76
de onda, 84, 86
de prueba, 85
de seleccin, 93
de Urysohn, 103
, X, 84, 85
esencialmente acotada, 48
Lebesgue-integrable, 24
medible, 6
real, 8
sobre, 28
propia, 111
proyeccin, 75
Riemann-integrable, 40
simple, 10
sumable, X, 24
funcional
antilineal, 85
bra, 84
lineal, 106
acotado, 107
positivo, 106
G , 5
Gelfand, X, 85
tripleta de, 85
Gdel, IX
hamiltoniano, 84, 92
Hausdorff, 4
espacio de, 101
NDICE ALFABTICO
Heisenberg, X, 83, 90
Hilbert, IX
espacio de, 107
pre-espacio de, 106
imagen inversa, 94
independencia
estocstica, 71
por parejas, 72
integral
de Lebesgue, X, 20
de Riemann-Stieltjes, 19
inferior (superior), 40
interior, 101
Intuicionismo, IX
inyeccin cannica, 108
Kolmogorov, X, 68
Kronecker, 84
Lebesgue, 19
integral de, X, 19
medida de, X
teorema de
convergencia dominada de, 26
convergencia montona de, 21
lema
de Banach-Alaoglu-Bourbaki, 110
de Fatou, 23
de Milman-Pettis, 110
de Urysohn, 103
topolgico, 103
de Zorn, IX
lmite
inferior, 94, 96
por la derecha, 77
por la izquierda, 77
puntual, 96
superior, 94, 96
Lp , 52
convergencte, 52
norma, 52
L p , 47
Mecnica Cuntica, X, 16, 56, 83
Mecnica Matricial, 83
NDICE ALFABTICO
Mecnica Ondulatoria, 84
media, 78
medida, 13
compleja, 17
completa, 13
de Borel, 31
de Dirac, X, 65
de Lebesgue, X, 42
de probabilidad, 68, 86
finita, 13
positiva, 16
regular, 31
-regular exterior, 31
-regular interior, 31
-finita, 13, 37
totalmente finita, 13
totalmente -finita, 13
mtrica, 105
metrizable, 105
momento
central, 79
n-simo, 78
montona
funcin, 13
sucesin, 94
norma, 106
de la particin, 39
de un operador, 107
dual, 107
Lp , 52
nmeros
irracionales, 5
racionales, 44
reales extendidos, 95
observable, 91
operador
adjunto, 112
de Hilbert, 112
autoadjunto, XI, 113
densamente definido, 112
energa total, 92
extensin, 112
hermitiano, 113
121
mpetu, 92
lineal acotado, 107
lineal no acotado, 85, 107
posicin, 87
resolvente, 111
simtrico, 113
maximal, 113
transconjugado, 112
parmetros de la distribucin, 74
parte
negativa, 97
positiva, 97
particin, 39
de la unidad, 104
medible, 69
Planck, X, 83
constante de, 92
pre-espacio de Hilbert, 106
principio de correspondencia, 83
probabilidad
amplitud de, 92
condicional, 69
conjunta, 71
marginal, 71
medida de, 68
producto escalar, 106
en la dualidad, 107
punto, 1
muestral, 67
quantum, XI
recorrido, 73
recta real, 93
extendida, 95
refinamiento, 39
resolvente, 111
Riemann, 19
Schrdinger, 84, 90
Schwartz, 85
seminorma, 47
soporte, 102
Stieltjes, 19
subclase, 93
NDICE ALFABTICO
122
sucesin
creciente, 94
de Cauchy, 52, 105
decreciente, 94
fundamental, 105
montona, 94
suma
de Darboux, 39
de Riemann, 40
supremo esencial, 48, 56
teorema
de Bayes, 70
de densidad, 54, 55
de Fisher-Riesz, XI, 52
de Hahn-Banach, 107
de Hellinger-Toeplitz, 111
de la multiplicacin, 69
de la probabilidad total, 70
de Lebesgue, 43
convergencia dominada, 26
convergencia montona, 21
de Lusin, 54
de Riesz, 36, 60
de Vitali, 45
topologa, X
dbil, 108
dbil , 109
fuerte, 109
natural, 101
traslacin, 98
valor
espectral, 91, 111
medio, 78
propio, 111
regular, 111
variable aleatoria, 72
varianza, 79
vector
aleatorio, 72
continuo, 73
discreto, 73
ket, 84
ortogonal, 107
propio, 111
Vitali, IX
conjunto de, 44
teorema de, 45
Von Neumann, XI, 83, 85
Zorn, IX

Medida

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Medida

Cargado por

Copyright:

Formatos disponibles

Introduccin a la

Teora de la Medida con Aplicaciones

Autor: William Roberto Gutirrez-Herrera, B.Sc.

Ttulo: Introduccin a la Teora de la Medida con Aplicaciones

Mathematics Subject Classification (2000): 26A42, 28A05, 81Q10

Conjunto de tipos AMS-LATEX

1. Espacios Medibles y Medida

3.2.3. Espacio L de las funciones esencialmente acotadas . . . . . .

2.1. Suma e Integral de Riemann en R . . . . . . . . . . . . . . . . . . . .

4.1. Grfica de B(n, p) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Este conjunto debe ser completo, consistente y lgicamente independiente.

obtenindose directamente el espacio Lp como el conjunto clases de equivalencia de

Como el equivalente en matemticas a la palabra discreto.

espacio de las aplicaciones lineales del espacio X en Y

Espacios Medibles y Medida

Sea X un conjunto no vaco al que llamaremos espacio, y a cuyos elementos

CAPTULO 1. ESPACIOS MEDIBLES Y MEDIDA

lo cual ya establecimos, al ser A un anillo. De esto tenemos que A = {, X}

Proposicin 1.2. Si C es cualquier familia de subconjuntos de X, entonces

Definicin 1.3. Un -anillo de subconjuntos de X es una familia no vaca S

En forma equivalentemente un -anillo es un anillo cerrado bajo la formacin de

1.1. ANILLOS Y LGEBRAS

Corolario 1.1.1. Si C es cualquier familia de subconjuntos de X. Entonces

Definicin 1.4. Una familia M de subconjuntos de X se dice que es una

Si M es una -lgebra sobre X, entonces (X, M) es llamado un espacio medible,

Corolario 1.1.2. Si F es cualquier familia de subconjuntos de X. Entonces

Nota 1.1: El anillo R0 es el ms pequeo que contiene a C y es llamado el anillo

CAPTULO 1. ESPACIOS MEDIBLES Y MEDIDA

De las propiedades establecidas en el teorema A.1 tenemos:

Definicin 1.5. Sea (X, ) un espacio topolgico. Sea B := ( ) la -lgebra

Para un espacio topolgico (X, ), se denotar con F a la clase de los conjuntos

1.2. CONJUNTOS DE BOREL

de los abiertos y cerrados se tiene G = G y F = F por lo que no se obtienen nuevos

Sea A un conjunto y B A un subconjunto, entonces la aplicacin inclusin

CAPTULO 1. ESPACIOS MEDIBLES Y MEDIDA

constituyen la clasificacin de los conjuntos de Borel. Existe un conjunto de

el cual es fcil de formular, si adoptamos la siguiente notacin:

Teorema 1.2.2. En (Rk , Bk ) y para n Z+ , se cumple

Nota 1.2: Es claro que para cualquier n Z+ , se tiene F n B y Gn B.

1.3. FUNCIONES MEDIBLES

Corolario 1.3.1. Sea D = (C ), donde C es una familia de subconjuntos de

Dada la aplicacin f : X Y , y uno de los espacios es medible y el otro no, se

Teorema 1.3.2. Para toda i I sean fi : Xi Y aplicaciones, (Xi , Ai ) espacios

Nota 1.4: A la -lgebra CX se le llama -lgebra inicial de X respecto de las

CAPTULO 1. ESPACIOS MEDIBLES Y MEDIDA

Teorema 1.3.4. Sean u, v : X R funciones medibles, donde X es un espacio

Teorema 1.3.5. Supngase que (X, A) es un espacio medible, Y un espacio

Criterio para definir funciones medibles de valor real.

1.3. FUNCIONES MEDIBLES

y dado que es -lgebra (cumple con el teorema 1.1.4), tenemos [, ) . Lo

Corolario 1.3.2. Se cumplen las siguientes propiedades.

1. Sea f = u + iv, donde u, v funciones medibles reales en X, entonces f es una

CAPTULO 1. ESPACIOS MEDIBLES Y MEDIDA

Como Y C abierto y f medible, de donde E c medible en X, es decir E medible.

De esto, se sigue que es medible por (3), (4) y teorema 1.3.3.

1. El lmite de cualquier sucesin convergente puntual de funciones medibles complejas es medible.

1.3. FUNCIONES MEDIBLES

de esto n es una funcin de Borel no negativa en [0, ].

Figura 1.1: Representacin de 2

Sera el caso en que k1 = 2k0 , donde n (t0 ) = 2n k0 , n+1 (t0 ) = 2(n+1) k1 .

CAPTULO 1. ESPACIOS MEDIBLES Y MEDIDA

que: 0 1 (t) 2 (t) t, adems se tendr n (t) t, si n para

En donde, cada conjunto de la derecha es la imagen inversa de un abierto a travs