w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
460 Cap. 2 Aplicaciones del Teorema de Categora de Baire
2.3. Espacios vectoriales en conjuntos excepcionalmente raros

Como hemos podido demostrar en el transcurso de estas notas, algunas veces aparecen fenmenos muy
extraos pero que, a pesar de esa apariencia, ellos constituyen la regla y no la excepcin, es decir, en todos
los casos estudiados, la totalidad de esos objetos extraos constituyen un conjunto muy grande desde el
punto de vista topolgico (contienen, por ejemplo, un conjunto G

-denso), pero carente, globalmente, de

una estructura algebraica. Este ltimo aspecto, que es importante y que ha sido objeto de estudio en los
aos recientes, ha dado paso a una entusiasta investigacin sobre la posibilidad de encontrar un subespacio
lineal (cerrado o no, de dimensin nita o innita) en dichos conjuntos. Por ejemplo, cuando T : X X
es un operador hipercclico denido sobre un espacio de Banach separable de dimensin innita, entonces,
como se demostr en el Teorema 2.2.141, el conjunto HC(T), que es G

-denso pero no un espacio vectorial,

posee (aadindole a dicho conjunto el operador nulo) espacios vectoriales densos de dimensin innita.
Tambin, como ya hemos mencionado, Rodrguez Piazza [377] prob que ND[0, 1] {0}, que tambin es
un G

-denso sin estructura lineal en s mismo, contiene espacios vectoriales de dimensin innita que son
copias isomtricas de cualquier espacio de Banach separable (Observacin (3), pgina 123).
En esta seccin no demostraremos ningn resultado, slo nos dedicaremos, como un ejercicio placen-
tero, a informar sobre algunos aspectos relacionados con la existencia de ciertos subespacios vectoriales (en
general, de dimensin innita, que pueden ser densos en algunos casos y cerrados en otros) que habitan en
la galera de algunos de los monstruos ya estudiados y de otros que no hemos analizados con anterioridad
pero que de igual forma existen.
La siguiente denicin intenta formalizar la presencia, o existencia, de espacios vectoriales en ciertos
conjuntos de funciones raras.
Denicin 2.3.1. Sea X un espacio vectorial sobre K. Suponga que P es una propiedad sobre los elementos
de X y que M es un subconjunto no vaco de X cuyos elementos satisfacen la propiedad P.
(a) Se dice que M es linealizable (respectivamente, n-linealizable con n N) si M{0} contiene un subes-
pacio vectorial Y de dimensin innita (respectivamente, dim(Y) = n). La mxima cardinalidad de un
tal espacio vectorial (si ella existe), es llamada la lineabilidad de M y denotada por
L
(M). El conjunto
M se dice que es no muy lineal si
L
(M) 1.
(b) Diremos que M es algebralizable si M{0} contiene un lgebra A innitamente generada, esto ltimo
quiere decir que, existe un conjunto innito numerable de vectores D en X que es linealmente indepen-
diente tal que A es la lgebra ms pequea conteniendo a D.
(c) Si X es un espacio vectorial topolgico, M se dice espaciolizable en X si M{0} contiene un subespacio
vectorial cerrado de dimensin innita.
Las nociones de conjuntos linealizables y espaciolizables, que son propiedades intrnsecas, fueron pri-
meramente formuladas por P. Eno y V. Gurariy en [154], y posteriormente, en [18] y [196], mientras que la
nocin de conjunto algebralizable, que es una propiedad relativa, fue introducida recientemente por R. Aron,
D. Prez Garca y J. B. Seoane Seplveda en [19]. Observe que encontrar un lgebra en la galera es, en
general, una tarea ms difcil que encontrar, simplemente, un espacio vectorial.
2.3.1. Funciones continuas nunca diferenciables
Recordemos que ND[0, 1] representa el conjunto de todas las funciones continuas f : [0, 1] R que son
nunca diferenciables. Ya hemos visto que tal conjunto es muy grande (en el sentido topolgico) pero que no
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sec. 2.3 Espacios vectoriales en conjuntos excepcionalmente raros

461
es un espacio vectorial. Con la nueva terminologa, uno de los primeros resultados obtenidos en esta direccin
fue dado a conocer por V. I. Gurariy en el ao de 1966 (vase [197] y tambin [199]) quien demuestra que
(1) ND[0, 1] es linealizable.
Casi inmediatamente, V. Fonf, V. Kade c y V. I. Gurariy [161] prueban que
(2) ND[0, 1] es espaciolizable en C[0, 1].
F. Bayart y L. Quarta en un artculo que pronto aparecer publicado en Israel J. Math., [42], cierran el
crculo al demostrar que
(3) ND[0, 1] es algebralizable.
De hecho, ellos demuestran que
(4) El conjunto de todas las funciones continuas f : [0, 1] R que son nunca Hlder contine una lgebra
densa con una cantidad innita y algebraicamente independiente de generadores.
Una funcin continua f : [0, 1] R se dice nunca Hlder si para todo x [0, 1] y > 0,
sup
y[0,1]
y =x
| f (y) f (x)|
|x y|

=.
Resulta claro que una tal funcin es nunca diferenciable.
Un toque hermoso y casi mgico lo impone L. Rodrguez Piazza en 1995 [377] al demostrar que no
slo el conjunto ND[0, 1] es espaciolizable, sino que dicho conjunto es universal para la categora de
los espacios de Banach separables ya que cualquier espacio de Banach separable es isomtricamente
isomorfo a un subespacio lineal norma-cerrado de ND[0, 1] {0}. Varios aos despus, S. Hencl [209]
profundiza en el resultado de Rodrguez Piazza al demostrar que cualquier espacio de Banach separable
es isomtricamente isomorfo a un subespacio de C[0, 1] cuyos elementos distintos del cero son nunca
aproximadamente diferenciable y nunca Hlder (vase el artculo de Hencl, [209], para la denicin de
funcin nunca aproximadamente diferenciable).
En la direccin opuesta, el conjunto D[0, 1] de todas las funciones siempre diferenciables sobre [0, 1] es
lineal y, por consiguiente, linealizable. Ms aun, V. Gurariy en [198], demuestra que:
(5) D[0, 1] no es espaciolizable.
Recordemos que DNM(R) representa el subconjunto de C[0, 1] formado por todas aquellas funciones
que son diferenciables pero nunca montonas. En un artculo publicado en el ao 2004, [18], Aron,
Gurariy y Seoane prueban que:
(6) DNM(R) es linealizable en C(R).
Ms aun,
(7) Para a, b R, el conjunto DNM[a, b] es linealizable pero no espaciolizable en C[a, b].
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
462 Cap. 2 Aplicaciones del Teorema de Categora de Baire
2.3.2. Funciones continuas con innitos ceros
Sea f : [0, 1] R una funcin. Recordemos que un punto x [0, 1] tal que f (x) = 0 se llama un cero de
f . En [154], P. Eno y V. I. Gurariy demuestran el siguiente resultado:
(1) Para cualquier subespacio de dimensin innita X C[0, 1], el conjunto Z

(X) formado por tadas las

funciones en X que tienen una cantidad innita de ceros en [0, 1] es espaciolizable en X.
2.3.3. Funciones siempre sobreyectivas
Una funcin f : R R se llama siempre sobreyectiva si para cualquier intervalo no trivial (a, b) de R,
f (a, b) = R. La existencia de tales funciones extraas fueron dadas a conocer por primera por H. Lebesgue
en su Leons sur lintgration, Gauthier-Villars, Paris (1904). En el Ejemplo 27, pgina 104, del libro de B.
R. Gelbaum y J. M. H. Olmested, [176], se puede ver la construccin de una tal funcin que, adems, es cero
casi siempre. En [18], Aron, Gurariy y Seoane prueban que
(1) El conjunto F(R), formado por todas las funciones f : R R que son siempre sobreyectivas, es 2
c
-
linealizable, es decir,
L
(F(R)) = 2
c
.
R. Aron y J. B. Seoane Seplveda demuestran en [20] que
(2) F(R) es algebralizable.
Garca-Pacheco, Palmberg y Seoane-Seplveda [172] van un poco ms all al demostrar que
(3) El conjunto F
0
(R), formado por todas las funciones f : R R que son siempre sobreyectivas y casi
siempre cero, es linealizable.
Finalmente, en [15], Aron, Conejero, Peris y Seoane Seplveda demuestran que
(4) El conjunto F(C), formado por todas las funciones f : C C que son siempre sobreyectivas, (esto
signica que para cualquier conjunto abierto no vaco U de C, f |
U
es sobreyectiva), es algebralizable.
2.3.4. Funciones continuas que interpolan sucesiones
Una funcin f : R R se dice que interpola sucesiones si para cada sucesin (x
n
)

n=1

existe un
punto x R tal que
f (x +n) = x
n
para todo n N.
La existencia de una funcin continua f : R R interpolando sucesiones acotadas de R fue dada a conocer
por primera vez por Y. Benyamini en [48]. Denotemos el conjunto de todas las funciones continuas f : RR
que interpolan sucesiones por IS(R). Bayart y Quarta prueban que
(1) IS(R) es 2

0
-linealizable.
Si en lugar del conjunto IS(R) trabajamos con funciones continuas interpolando sucesiones complejas
y denotamos la totalidad de tales funciones por IS
C
(R), se obtiene:
(2) IS
C
(R) es algebralizable.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sec. 2.3 Espacios vectoriales en conjuntos excepcionalmente raros

463
2.3.5. Funciones K-lineales discontinuos
Sean X y Y espacios vectoriales sobre K = (R C). Una funcin f : X Y se dice aditiva o lineal
si f (x +y) = f (x) + f (y) para cualquier x, y X. Observe que esta denicin diere del trmino lineal
frecuentemente usado en el lgebra Lineal. En general, diremos que f es K-lineal si ella es aditiva y satisface
f (x) = x para todo K y todo x X. As, una funcin R-lineal coincide con la nocin usual de una
funcin lineal. Una observacin importante en este sentido es la siguiente: no todas las funciones f : RR
aditivas (o lineales en nuestra denicin) tienen que ser de la forma f (x) = ax para algn a R. Ello,
sin embargo, es verdadero si, y slo si, f es continua. Esto permite asegurar la existencia de funcionales
R-lineales discontinuos f : X R (vase, por ejemplo, [176], p. 33). Denotemos por X

ld
el conjunto de
todos los funcionales lineales discontinuos f : X R y por X

Rld
los R-funcionales lineales discontinuos
f : X R. En el artculo [172], que aparecer muy pronto, F. J. Garca-Pacheco, N. Palmberg y J. B. Seoane-
Seplveda demuestran que:
(1) En cualquier espacio vectorial topolgico real X, el conjunto X

ld
es linealizable.
(2) En cualquier espacio normado real de dimensin innita X, el conjunto X

Rld
es linealizable.
F. J. Garca-Pacheco, F. Rambla y J. B. Seoane-Seplveda continan el estudio sobre conjuntos lineali-
zables relativos al conjunto de los funcionales Q-lineales, de la funciones siempre sobreyectivas y del
conjunto de las funciones sobre R cuyos grafos son densos en R
2
.
2.3.6. Funciones con un conjunto denso de puntos de discontinuidades removibles
Para cualquier R
+
, dena la funcin f

: RR por
f

(x) =
_
n

, si x Q,
0, si x R\Q,
donde n es el entero positivo ms pequeo tal que x = k/n para algn k Z. No es difcil ver que esta
funcin es discontinua en cualquier punto x Q y, en consecuencia, posee un conjunto denso de puntos de
discontinuidad. Para ver que todas las discontinuidades son removibles, tome cualquier x
0
Q y note que
lm
xx

0
f

(x) = lm
xx
+
0
f

(x) = 0.
Siguiendo con el mismo artculo de Garca Pacheco, Palmberg y Seoane Seplveda [172], ellos prueban:
(1) El conjunto DR(R), de las funciones f : R R con un conjunto denso de puntos de discontinuidades
removibles, es algebralizable.
2.3.7. Funciones que poseen un nmero nito de puntos de continuidad
El siguiente resultado tambin es de Garca Pacheco, Palmberg y Seoane Seplveda [172].
(1) El conjunto CF(R), de las funciones f : R R las cuales tienen un nmero nito de puntos de con-
tinuidad, es linealizable.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
464 Cap. 2 Aplicaciones del Teorema de Categora de Baire
2.3.8. Funciones cuyas derivadas son no acotadas sobre un intervalo cerrado
Una vez ms, Garca Pacheco, Palmberg y Seoane Seplveda [172] son los responsables del siguiente
resultado.
(1) El conjunto DNA(R), de las funciones f : R R cuyas derivadas son no acotadas sobre un intervalo
cerrado (que depende de la funcin), es linealizable.
Por ejemplo, para cada nmero primo p, considere la funcin
f
p
(x) =
_

_
x
2
sen
_
1
px
2
_
, si x = 0
0, si x = 0.
Entonces
f

p
(x) =
_

_
2xsen
_
1
px
2
_

2
px
cos
_
1
px
2
_
, si x = 0
0, si x = 0
la cual es no acotada sobre [1, 1] para todo primo p.
Figura 2.2: Funciones f
2
y f

2
2.3.9. Funciones no medibles
Sean (, ) un espacio medible y N(, K) el conjunto de las funciones f : K que son no medibles.
F. J. Garca Pacheco y J. B. Seoane Seplveda [170] demuestran el siguiente resultado.
(1) N(, K) es espaciolizable. En particular, cualquier espacio de Banach con densidad de caracter , es
isomtrico a un subespacio consistiendo de funciones no medibles (salvo la funcin cero).
2.3.10. Funciones casi-siempre continuas pero no Riemann-integrables
De la teora de la integral de Lebesgue sabemos que si I es un intervalo acotado y f : I R es una
funcin acotada, entonces
f es Riemann-integrable si, y slo si, f es casi-siempre continua.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sec. 2.3 Espacios vectoriales en conjuntos excepcionalmente raros

465
Si ahora tomamos un intervalo arbitrario no acotado I de R, se puede demostrar que si f : I R es Riemann-
integrable, entonces tambin se cumple que f es casi-siempre continua. El recproco, sin embargo, no es
vlido. En efecto, si tomamos, por ejemplo, cualquier intervalo no acotado I y cualquier funcin f : I R
constante, pero no idnticamente igual a cero, entonces ella es continua pero no Riemann-integrable.
Fijemos un intervalo no acotado I de R y denotemos CR(I) el conjunto de todas las funciones acotadas
casi-siempre continuas f : I R que no son Riemann-integrables y por NR(I) el conjunto de todas las
funciones continuas acotadas f : I R que no son Riemann-integrables.
Los siguientes resultados fueron obtenidos por F. J. Garca Pacheco, M. Martn y J. B. Seoane Seplveda
en [171].
(1) Para cualquier intervalo no acotado I de R, el conjunto CR(I) es espaciolizable y algebralizable en
L

(I).
(2) Para cualquier intervalo no acotado I de R, el conjunto NR(I) es espaciolizable en L

(I).
2.3.11. Funciones Riemann-integrables que no son Lebesgue-integrables
Es un hecho ya establecido que si I es un intervalo acotado de R, entonces R(I) L(I), donde R(I) y
L(I) representan los espacios vectoriales reales de todas las funciones f : I Rque son Riemann-integrables
y Lebesgue-integrables, respectivamente. Si I es no acotado, entonces R(I) \L(I) =. En efecto, la funcin
f : R R denida por
f (x) =
_
_
_
senx
x
, si x = 0,
0, si x = 0
es Riemann-integrable ya que
_
R
f (x)dx = lm
b
_
0
b
f (x)dx + lm
a
_
a
0
f (x)dx =,
mientras que
_
R
f (x)dx no existe en el sentido de Lebesgue, pues
_
R
f
+
(x)dx =
_
R
f

(x)dx =.
Recprocamente, sobre cualquier intervalo I (acotado o no), existe una funcin acotada Lebesgue-integrable
que no es equivalente a ninguna funcin Riemann-integrable (vase, por ejemplo, [176], Example 8.31).
Garca Pacheco, Martn y Seoane Seplveda [171] son responsable de los siguientes resultados.
(1) Si I es un intervalo no acotado, entonces R(I) \L(I) es linealizable pero no algebralizable.
(2) Si I es un intervalo arbitrario, entonces L(I) \R(I) es espaciolizable en L(I).
(3) En cualquier espacio mtrico no compacto, el conjunto de todas las funciones continuas no acotadas
denidas sobre ste, es algebralizable.
(4)

\c
0
es espaciolizable en

y algebralizable.
En realidad, (2) fue demostrado por Garca Pacheco, Grecu, Maestre y Seoane Seplveda en un articulo
que aun no ha sido publicado, mientras que (4) ya era conocido (para el caso espaciolizable) por H. P.
Rosenthal (vase, [171]).
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
466 Cap. 2 Aplicaciones del Teorema de Categora de Baire
2.3.12. Funciones continuas con un nico mximo
Sea

C[0, 1] =
_
f C[0, 1] : M( f ) consta de un nico punto
_
, donde
M( f ) =
_
x [0, 1] : f (x) = sup{f (y) : y [0, 1]}
_
Gurariy y Quarta [196] demuestran que
(1)

C[0, 1] es no muy lineal en C[0, 1], pues
L
(

C[0, 1]) = 1.
Por otro lado, si

CB(R) denota el conjunto de todas las funciones acotadas y continuas f : RR que no
alcanzan su supremo, entonces
(1)

CB(R) es espaciolizable. En particular,

es espaciolizable.
2.3.13. Operadores hipercclicos y supercclicos
Sea X un espacio de Banach separable y suponga que T : X X es un operador hipercclico. Ya hemos
visto, Teorema 2.2.141, que:
(1) HC(T) es linealizable.
Un operador T : X X se llama supercclico si existe un vector x X tal que el conjunto SC(T) =
_
T
n
x : n 0, C
_
es norma-denso en X. Denotemos por L
HC
(X) y L
SC
(X) el conjunto de todos los
operadores hipercclicos y supercclicos, respectivamente, denidos sobre X. Puesto que T > 1 para cual-
quier operador hipercclico T, resulta que:
(1) L
HC
(X) no es espaciolizable. De hecho,
L
(L
HC
(X)) = 0.
Sin embargo, Bayart, en [37], prueba que si H es un espacio de Hilbert separable, entonces
(2) L
SC
(H) es espaciolizable.
Entre otros subespacios que habitan en conjuntos interesantes que no poseen estructura lineal y recopi-
lados por Aron, Garca y Maestre en [17], estn los siguientes:
(1) Sea T : H(C
n
) H(C
n
) un operador de convolucin que no es mltiplo del operador identidad. En-
tonces existe un subespacio de dimensin innita Z H(C
n
) tal que, para cualquier f Z, f = 0, f es
hipercclico para T.
(2) Existe un subespacio de dimensin innita Z
2
tal que cualquier vector no cero en Z es hipercclico
para el operador de Rolewicz T :
2

2
, denido por
T(x
1
, x
2
, x
3
, . . .) =(x
2
, x
3
, . . . ) con C y | | > 1.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sec. 2.3 Espacios vectoriales en conjuntos excepcionalmente raros

467
2.3.14. Funciones nunca cuasi-analticas
El prximo resultado requiere de algunas deniciones. Sea (M
n
)

n=1
una sucesin de nmeros reales
positivos y sea U Rabierto no vaco. Denotemos por C
(M
n
)
(U) el espacio de todas las funciones f : U R
de clase C

tal que, para algn par de constantes A y h, se cumpla que

_
_
_ f
(n)
_
_
_ := sup
xU

f
(n)
(x)

Ah
n
M
n
para todo n N. Diremos que C
(M
n
)
(U) es un espacio cuasi-analtico si dada cualquier f C
(M
n
)
(U) y si
para algn x U, ocurre que f
(n)
(x) = 0 para todo n N, entonces necesariamente f 0. Una funcin
se dice cuasi-analtica en x
0
si existe un entorno U de x
0
tal que f |
U
est en algn espacio cuasi-analtico
C
(M
n
)
(U). A pesar de que las funciones que no son cuasi-analticas no son fciles de conseguir, J. Schmets y
M. Valdivia [400] probaron el siguiente resultado.
(1) Cualquier espacio C
(M
n
)
(U) que no es cuasi-analtico contiene un subespacio Z de dimensin innita
con la siguiente propiedad: si f Z, f 0, entonces f no es cuasi-analtica en todo punto de U.
2.3.15. El Teorema de Bishop-Phelps
El Teorema de Bishop-Phelps, Teorema 2.2.25, pgina 264, establece que NA(X) es norma denso en X

,
donde X es un espacio de Banach sobre R y NA(X) es el conjunto de todos los funcionales lineales en X

que alcanzan la norma; es decir, f NA(X) si, y slo si,

f (x) = sup{f (z) : z B
X
} = f
para algn x B
X
. Aron, Garca y Maestre preguntan lo siguiente:
Problema. Contiene NA(X) un subespacio Y de dimensin innita? De ser as, es dicho subespacio
denso en X

?
En todos los casos conocidos, la respuesta a dicho problema es s. Sin embargo, como ellos muestran, no
podemos pedir que el subespacio sea cerrado en lugar de denso.
Los siguientes resultados fueron obtenidos, fundamentalmente, por Bandyopadhyay y Godefroy [32].
Recordemos que un subespacio lineal cerrado Y del espacio de Banach (X, ) es un subespacio de
proximidad de X si para cualquier x X, existe un y Y tal que x y = dist(x,Y).
(1) Sea Y un subespacio de proximidad de X. Entonces Y

NA(X) si, y slo si, X/Y es reexivo. De esto

se sigue que si si existe un subespacio de proximidad Y de X tal que X/Y es reexivo y de dimensin
innita, entonces NA(X) es espaciolizable. De hecho, se cumple lo siguiente:
(2) Sea Y un subespacio de proximidad de X tal que X/Y es isomtricamente isomorfo a un espacio dual
Z

. Entonces NA(X) contiene una copia isomtrica de Z.

Sea (X, ) un espacio de Banach (real) tal que B
X
es

-secuencialmente compacto. Son equivalentes:

(1) Existe una norma equivalente ||| ||| sobre X tal que NA(X, ||| |||) es espaciolizable.
(2) Existe un espacio cociente de dimensin innita de X el cual es isomorfo a un espacio dual.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
468 Cap. 2 Aplicaciones del Teorema de Categora de Baire
Igualmente ellos probaron que que si X es un espacio de Banach tal que X

es separable, entonces las

siguientes condiciones son equivalentes:
(1) Existe una norma equivalente ||| ||| sobre X tal que NA(X, ||| |||) es espaciolizable.
(2) X

contiene un subespacio reexivo de dimensin innita.

Si en el resultado anterior, en lugar de pedir que X

sea separable, se exige que X sea un espacio de

Asplund WCG, entonces se obtienen las siguientes equivalencias:
(1) Existe una norma equivalente ||| ||| sobre X tal que NA(X, ||| |||) es espaciolizable.
(2) X

contiene un subespacio reexivo de dimensin innita.

Si el espacio de Banach X es de Asplund con la propiedad de Dunford-Pettis, entonces los subespacios
lineales norma-cerrados de NA(X) son de dimensin nita. De all que NA(X) no es espaciolizable.
Si el espacio de Banach X posee la PRN, entonces [ NA(X)] = X

. En particular, si NA(X) es un espacio

vectorial, entonces X es reexivo.
2.3.16. Series de Fourier siempre divergentes
El primer ejemplo de la existencia de una funcin integrable segn Lebesgue y cuya serie de Fourier
siempre diverge, fue dado por A. Kolmogorov en 1926. Aunque este hecho, que en principio pareca ser un
fenmeno patolgico, posteriormente se demostr que, en realidad, era genrico en el sentido de categora
de Baire (Teorema 2.1.30). Lo que Bayart ([37], Theorem 3) demuestra es que dicho fenmeno tambin es
algebraicamente genrico en el sentido de espaciabilidad; es decir,
(1) Sea F
div
el conjunto de todas las funciones de L
1
(T) cuyas series de Fouier siempre divergen sobre T.
Entonces F
div
es espaciolizable.
Casi enseguida, R. M. Aron, D. Prez Graca y J. B. Seoane Seplveda en [19] profundizan el resultado
anterior al obtener:
(2) Sea E T un conjunto de medida de Lebesgue cero. Sea F
div
(T, E) el conjunto de todas las funciones en
C(T) cuya serie de Fourier diverge en todo punto de E. Entonces F
div
(T, E) es denso y algebralizable.
2.3.17. Series de Dirichlet siempre divergentes
Recordemos que H

consiste de todas las series de Dirichlet

f (s) =

n=1
a
n
n
s
que convergen y son acotadas en el semi-plano C
+
={s C : Re(s) > 0}. H

es un espacio de Banach con

la norma
f

= sup{| f (s)| : s C
+
}.
El conocimiento de la existencia de una serie de Dirichlet f (s) =

n=1
a
n
n
s
H

tal que

n=1
a
n
n
it
diverge para cada t R es de data muy reciente (vase [39]). Denotemos por D
div
(R) el subconjunto de H

formado por todas las series de Dirichlet f (s) =

n=1
a
n
n
s
tal que

n=1
a
n
n
it
es siempre divergente sobre
R. La abundancia de tales objetos fue establecida por Bayart [37] y Bayart-Quarta [42] respectivamente.
(1) D
div
(R) es espaciolizable y algebralizable.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Sec. 2.3 Espacios vectoriales en conjuntos excepcionalmente raros

469
2.3.18. Funciones de clase C

nunca analticas
En [50], Bernal Gonzlez demuestra que
(1) SP[0, 1], el conjunto de todas las funciones de clase C

con una singularidad de Pringsheim en cual-

quier punto de [0, 1], es algebralizable en C

[0, 1].