Revista Colombiana de Maternat icas

Volumen33 (1999), paginas 51-76

Operadores hiperciclicos en
espacios de Frechet

FELIX MARTINEZ-GIMENEZ
Universidad Politecnica de Valencia, Espana

ABSTRACT. This is an expository survey in Spanish about hypercyclic opera-

tors on Frechet spaces. Basic concepts on hypercyclicity, classical examples
of hypercyclic operators, and important properties of hypercyclic operators on
locally convex spaces are presented.
Keywords and phrases. Hypercyclic operators, transitive maps, Frechet spaces,
locally convex spaces.
1991 Mathematics Subject Classification. Primary 47B07. Secondary 47B3 7.
RESUMEN. En este articulo divulgativo se presentan los concept os basicos so-
bre hiperciclidad, ejemplos clasicos de operadores hipercfclicos en espacios de
Frechet y propiedades importantes de operadores hiperciclicos en espacios 10-
calmente convexos.

Introducci6n

En un espacio vectorial topologico, diremos que un vector del espacio es hi-

percfclico para un operador si la orbit a del vector respecto de dicho operador es
densa en el espacio. Un operador es hipercfclico si tiene un vector hipercfclico.
La importancia de los operadores hipercfclicos esta historicamente motivada
por el estudio de los subespacios invariantes. La clausura de la envoltura lineal
de la orbita de un vector es el menor subespacio cerrado invariante que contiene
al vector. Por 10 tanto, un operador no tiene subconjuntos cerrados invariantes
no triviales si y s610 si cada vector no nulo es hipe rcicli co.
51
 52 FELIX MARTiNEZ-GIMENEZ

Par otro lado, recientemente, el estudio de los operadores hiperciclicos ha

aparecido en el analisis de los sistemas dinamicos discretos. Una de las defini-
ciones mas aceptadas de aplicacion caotica es la propuesta por Devaney [12]:
una aplicaci6n continua en un espacio meirico es ca6tica si es transitiva, el con-
junto de puntos peri6dicos es denso en el espacio y tiene dependencia sensible
de las condiciones iniciales. Para aplicaciones continuas en espacios metricos
completos separables, transitividad es equivalente a hiperciclicidad y el estudio
de la transitividad es el principal escalon para establecer que una aplicacion
es caotica. Ademas, en 1991 Godefroy y Shapiro [14] demuestran que, en es-
pacios de Frechet (espacios localmente convexos, metrizables y completos), un
operador hipercfclico tiene dependencia sensible de las condiciones iniciales.
Por tanto para operadares hiperciclicos solo rest a estudiar la existencia de un
conjunto denso de puntos periodicos. Posteriormente, en 1992 Banks et al.
[3] demuestran que en espacios metricos, una aplicacion continua y transitiva
con un conjunto denso de puntos periodicos tiene necesariamente dependencia
sensible de las condiciones iniciales.
Los vectares y operadores hipercfclicos aparecen por primera vez en los tra-
bajos de Birkhoff, MacLane y Rolewicz.
En 1929 G. B. Birkhoff [9] establecio un interesante resultado sobre las
orbitas de funciones por operadores traslacion en el conjunto de las funcio-
nes enteras. Concretamente si consider amos el espacio de Frechet li.(C) dot ado
de la topologia de convergencia uniforme sobre los conjuntos compact os del
plano complejo, y el operadar traslacion Ta : 1i.(C) ---+ 1i.(C) definido como

Ta f (z) = f (z + a) (f E 11. (C) , z E C, a E C) ,

Birkhoff demuestra que si a =j:. 0, entonces existe una funcion f E 1i.(C) cuya
orbita {Tn f}~o es densa en 1i.(C). Este resultado se puede interpretar de
varias maneras, por un lado nos asegura la existencia de una funcion "universal"
que, en todo conjunto compacto, sus traslaciones se aproximan a cualquier
fundon entera tanto como se desee; par otro lado, desde el punto de vista de
los sistemas dinamicos obtenemos que el operador traslacion es transitivo.
En 1952 G. R. MacLane [181demuestra que el operador derivada D : 1i.(C) ---+
1i.(C) tambien es hiperciclico.
EI estudio de los operadores hiperdclicos en espacios de Hilbert aparecio por
primera vez en 1969 de la mana de S. Rolewicz [20], quien prueba que si a es
el operadar "backward shift" en h definido como

a(aj,a2,a3, ... ) = (a2,a3, ... ),

entonces )..a es hiperciclico para to do mimero complejo X de modulo mayor que
la unidad.
 OPERA DO RES HIPERCicLICOS EN ESPACIOS DE FRECHET 53

En 1982 C. Kitai [16] obtiene en su tesis doctoral, una condicion suficiente de

hiperciclicidad, conocida como criteria de hiperciclicidad. Lamentablemente
este resultado nunca fue publicado y en 1987 R. M. Gethner y J. H. Shapiro [13]
demuestran el mismo criterio. Ademas, utilizando este criterio deducen los
resultados cit ados de Birkhoff, Maclane y Rolewicz de forma casi automatica,
J. P. Bes [6] mejora el resultado de Gethner, Shapiro y Kitai al imponer unas
condiciones mas debiles al criterio de hiperciclicidad.
Es preciso mencionar uno de los mas recientes e importantes resultados de
hiperciclicidad, obtenido independientemente por L. Bernal [5] y S. I Ansari [2],
el cual asegura que en todo espacio de Banach separable de dimension in fin ita
se puede definir un operador hipercfclico. Referimos a [10] para la prueba
en espacios de Frechet y otros resultados relacionados en espacios localmente
convexos.
En el presente trabajo se generalizaran a espacios localmente nvexos al-
gunos resultados sobre operadores hipercfclicos, ya conocidos para espacios de
Banach. Por otra parte, tambien se aportan las modificaciones necesarias en
las demostraciones, para obtener la correspondiente propiedad en el caso en el
que el cuerpo de escalares es JR, a partir del caso en el que el cuerpo es C.
El trabajo se estructura en tres partes. En la primera se dan las definiciones
y resultados necesarios para establecer el criterio de hiperciclicidad. En la
segunda parte se enumeran varios ejemplos clasicos de operadores hipercfclicos.
Se probata la hiperciclicidad de los mismos utilizando el criterio demostrado
en la primer a parte. En la tercera se utilizara la complexificacion de un espacio
para establecer el correspondiente resultado en el caso real y se demostraran
algunas propiedades en el marco de los espacios localmente convexos.
Lanotacion utilizada para espacios localmente convexos es estandar y refe-
rimos allector a los textos [17] 0 [19].
Finalmente, es necesario sefialar que este artfculo es parte de la tesina de
licenciatura realizada por el autor bajo la direccion del profesor A. Peris. Quiero
tarnbien agradecer a J. Bonet sus sugerencias y la lectura de la version final.

1. Operadores hiperciclicos y el criterio de hiperciclicidad

Definicion 1.1. Sea X un espacio topologico y T : X ---t X una aplicacion,
Para cad a x de X, la orbiia de x por T es el conjunto
Orb(T, x) := {x, Tx, T2x, ... }.
Definicion 1.2. Sea X un espacio vectorial topologico y T un operador lineal
y continuo en X. Un punta x de X es hiperciclico (de T) si Orb(T, x) es densa
en X. Un operador hiperciclico es aquel que tiene un punto hipercfclico.
54 FELIX MARTiNEZ-GIMENEZ

Definicion 1.3. Sea X un espacio topologico. Una aplicacion T : X ---+ X es

transitiva si para to do U y V subconjuntos abiertos no vacfos de X existe m
mimero natural tal que Tm(u) n V =I- 0.

A continuacion probaremos que en espacios rnetricos de Baire, separables y

sin punt os aislados, un punto tiene orbita densa para una aplicacion continua
si, y solo si, la aplicacion es transit iva. En la demostracion se utiliza el hecho de
que el espacio es de Baire, par tanto deduciremos la existencia de un punto con
orbita densa sin tener un metoda constructivo para encontrarlo. Mas adelante
volveremos sobre esta cuestion ofreciendo un metoda constructivo de vectores
hiperciclicos.

Proposlcion 1.4. Sea X espacio metrico de Baire perfecto (i.e., sin puntos
aislados) y separable y T : X ---+ X continua. Entonces existe z E X cuya
orbit» respecto de T es densa en X si, y solo si, T es transitiva.
Demosiracion. Por hipotesis sea z E X tal que {Tnz : n E No} es denso en X.
Sean U y V abiertos no vacios de X. Existe kEN tal que Tkz E U. Como X
no tiene puntos aislados, {Tm z : m > k} tambien es denso en X, luego existe
n ENtal que Tk+nz = T" (Tkz) E V. Tomamos y:= Tkz E U y tenemos que
Tny E V, por tanto Tn (U) n V =I- 0.
Redprocamente, como X es espacio metrico separable cumple el segundo
axioma de numerabilidad, podemos par tanto tomar una base {Vn}nEN de
abiertos para la topologia de X. Para cada n E N definimos
G« := {x E X / :3 mEN : T":« E Vn}.
Veamos que, para cada n E N, Gn es abierto en X. Dado x E Gn, existe mEN
tal que Tmx E Vn. Par ser T continua, W := (Tm)-l (Vn) es abierto en X.
Tenemos que x E W y ademas Tm(W) C Vn; esto es, W C Gn. Veamos que,
para cad a n E N, Gn es denso en X. Sea U abierto en X. Como T es transitiva,
existe mEN tal que Tm(U) n Vn =I- 0, esto es, existe x E U tal que T":« E Vn;
de donde x E Un G«. Por ser X espacio de Baire tenemos que

G:= n c;
nEN
es denso en X.
Veamos que cada punta z de G tiene orbita, respecto de T, densa en X.
Sea z E G y U abierto no vacio cualquiera de X. Par la eleccion de {Vn}nEN'
existe no ENtal que Vno C U. Como z E G c Gno' existe mEN tal que
T":» E Vno C U, luego Orb(T, z) = {Tmz : mE No} es denso en X. ~
El siguiente teo rem a es el criterio de hiperciclicidad de C. Kitai [16] y R. M.
Gethner-J. H. Shapiro [13]. C. Kitai 10 formula para espacios de Banach, R. M.
 OPERADORES HIPERCicLICOS EN ESPACIOS DE FRECHET 55

Gethner y J. H. Shapiro 10 hicieron para espacios de Frechet. No demostraremos

el teorema ya que este queda incluido como un caso particular de un criterio
mas general formulado por J. P. Bes [7] (ver Teorema 1.6).

Teorema 1.5 (C. Kitai y R. M. Gethner-J. H. Shapiro). Sea X un espacio de

Frechet separable y T : X --+ X un operador lineal y continuo. Si existen Xo
subconjunto denso de X y una aplicaci6n S : Xo --+ Xo, (no necesariamente
lineal ni continua) tal que:
(i) To S = Ixo'
(ii) s-« n~ 0, 1::/ x E Xo,
(iii) T":» n~ 0, 1::/ x E Xo,
entonces T es hipercfc1ico en X.

El teorema anterior ha sufrido varias generalizaciones imponiendole cada vez

hipotesis mas debiles, Por ejemplo, G. Godefroy y J. H. Shapiro [14] obtienen
una version mas general en la que S esta definida en un subconjunto Yo denso
en X (posiblemente diferente de Xo) tal que To S = /Yo y y ~ sn
0, para
todo y E Yo.
La version que presentamos ahora es la mas general que se conoce y se
debe a J. P. Bes [7]. Por otro lado se demostrara de dos maneras distintas.
La primera utiliza transitividad, es decir, la caracterizacion que se demostro
en la Proposicion 1.4, siendo por tanto una demostracion no constructiva (la
original en [7]). La segunda es una demostracion constructiva, sugerida par A.
Montes, en la que iremos construyendo una sucesion convergente a un vector
hipercfclico. Para encontrar la sucesion haremos uso de la separabilidad del
espacio y de una sucesion fundamental creciente de seminormas que definan la
topologia del espacio.

Teorema 1.6 (Criterio de hiperciclicidad). Sea E un espacio de Fseciie: sepa-

rable y T : E --+ E un operador lineal y continuo. Si existen subconjuntos
densos X e Y de E, una sucesi6n creciente {mk}:: 1 de naturales y aplicaciones
Sffik : Y --+ E, kEN, (no necesariamente lineales ni continuas) tales que:

(i) (Tffik 0 Sffik)y k~ y, I;;j Y E Y,

(ii) SffikY k~ 0,1::/ Y E Y,
(iii) TffikX k~ 0,1::/ x E X,
entonces existe un vector z tal que {Tffik Z}::l es denso en E.

Demostracion, (Via transitividad). Veamos que el operador T es transitivo.

Por densidad de X e Y en E, bastara con probar que, dados U, V dos 0-
entornos absolutamente convexos en E, x E X, Y E Y, existe un natural m tal
56 FELIX MARTINEZ-GIMENEZ

que Tm(x + U) n (y + V) -=J 0. Por (i), (ii) y (iii) existe mEN tal que
1 1
(Tm 0 Sm) Y E Y + "2 V, SmY E U, Tmx E "2 V.
Entonces
1 1
Tm(x+Smy) =Tmx+Tmsmy E"2V +Y+"2V c y+ V,
luego Tm(x + U) n (y + V) -=J 0. Como T es operador transitivo, por la
Proposicion 1.4 obtenemos la existencia de un vector Z con orbit a densa. ~

Demosiracion. (Constructiva). Por ser E separable e Y denso en E, existe

{yd;;':1 C Y denso en E. Sea {II· Ilk};;':I sucesion fundamental creciente de
seminormas en E que generan la topologia del espacio E. Dado Xl E X,
tomamos ni E {md%"=l tal que
II TnlXl III <~, II Sn1YI 111 <~, II TnlSnlYl - u. 111 < ~,
definimos Zl := Xl + Snl Yl. Sea X2 E X tal que
1 1
II X2 - Zl 112 < 22' II Tn'(X2 - Zl) 112 < 22;
tomamos n2 E {md%"=l' n2 > nj, tal que

II Tn2X2 112 < 212' II Sn2Y2 112 < 212'

II Tn2 Sn2Y2 - Y2 112 < 212' II Tn, Sn2Y2 112 < 212'
y definimos Z2 := X2 + Sn2Y2. Supongamos que tenemos {Xl, X2,··· , xd eX
y nl < n2 < ... < nk pertenecientes a {md;;':l tales que

II Tnjxj Ilj < ;j' II SnjYj Ilj < ;j' II Tnj SnjYj - Yj Ilj < ;j' j = 1, ... , k

IITniSnjYjllj<;j' i=l, ... ,j~l; j=2, ... ,k,

y ademas
1
II Xj - Zj-l II·) < ---:-,
2) j = 2, ... , k,
1
IITni(xj-zj-l)llj<2j' i=1, ... ,j-1; j=2, ... ,k,
siendo Zj = Xj + SnjYj, j = 1, ... , k. Para completar induccion sea Xk+l EX
tal que

II Xk+l - Zk Ilk+! < 2k~1' II Tni(Xk+l - Zk) Ilk+l < 2k~1' i= 1, ... , k.
 OPERADORES HIPERCfcLICOS EN ESPACIOS DE FRECHET 57

Tomamos nk+1 E {md%:l' nk+1 > nk, tal que

n 1 1
II T k+l Xk+1 Ilk+1 < 2k+1' II Snk+l Yk+1 Ilk+1 < 2k+1'

1
II Tnk+l Snk+l Yk+1 - Yk+1 Ilk+1 < 2k+1'

1
II TniSnk+lYk+1 Iik+1 < 2k+1 ' i = 1, ... ,k,

y definimos entonces Zk+l := Xk+1 + Snk+1Yk+1.

Veamos en primer lugar que la sucesion {zn} ~=1es convergente, para ella
probaremos que para cada seminorma II . Ilk' k = 1,2, ... la sucesion {zn}~=l
es de Cauchy. Dado kEN, sean p, q E N con p > q > k, tenemos

II zp - Zq Ilk s:: II Zp - Zp-1 Ilk + ... + II Zq+1 - Zq Ilk

= II Xp + SnpYp - Zp-1 Ilk + ... + II Xq+1 + Snq+1Yq+1 - Zq Ilk
s:: II Xp - Zp-1 Ilk + II SnpYp Ilk + ...
... + II Xq+1 - Zq Ilk +
II Sn +1Yq+1 Q Ilk
s:: II Xp - Zp-1 lip + II SnpYp lip + ...
2
... + II Xq+1 - Zq Ilq+1 + II Sn +l Q Yq+1 Ilq+1 < 2q'

.Sabiendo que {Zn} :=1 es convergente, sea

Z:= lim
n-too
Zn = Zk + ""'
Z:: (ZH1 - Zj)
j=k

Por ultimo, veamos que limk-HXl II T'": Z - Yk Ilk = 0, 10 cual implicarfa que
Orb(T, z) es densa.
00

II TnkZ-Yk Ilk = IITnk(zk+ L(ZH1-Zj)) -Ykllk

j=k
00

= IITnkzk + LTnk (ZH1 - Zj) - Ykllk

j=k
00

s:: II Tnk Zk - Yk Ilk +L II Tnk (ZH1 - Zj) Ilk

j=k

= II T'": (Xk + SnkYk) - Yk Ilk +

00

L II Tnk (XH1 + Snj+1Yj+1 - Zj) Ilk

j=k
58 FELIX MARTINEZ-GIMENEZ

L II tr- (Xj+! - Zj) IIHI + L II TnkSnj+1Yj+! [IHI

j=k j=k

1 1 1 1 4
< 2k + 2k + 2k + 2k = 2k'
De ahora en adelante operador siempre significara operador lineal y continuo.
Cuando digamos que un operador T : E -t E (con E espacio de Frechet
separable) satisface el criterio de hiperciclicidad entenderemos que T satisface
todas las hipotesis del Teorema 1.6. El criterio de hiperciclicidad que acabamos
de probar es una condicion suficiente para la hiperciclicidad de un operador,
mas adelante volveremos sobre el y hablaremos del reciproco del criterio de
hiperciclicidad.
L. Bernal [4] demuestra otra condicion suficiente para establecer la hipercicli-
cidad de un operador, concretamente, si un operador cumple que: el conjunto
de autovectores con autoualor de modulo mayor que la unidad y el conjunto
de autoueciores con autovalor de modulo metier que la unidad tienen ambos
envoltum lineal densa en el espacio, entonces el operador es hiperciclico. No-
sotros demostraremos que si un operador cum ple la condicion que acabamos
de mencionar, entonces satisface el criterio de hiperciclicidad y por 10 tanto es
hiperciclico. Recordamos que, en un espacio vectorial topologico, un subcon-
junto se dice que es total si su envoltura lineal es densa. Si T es un operador y
u es un autovector de T, denotaremos por A(T, u) al autovalor correspondiente
au. Si no existe ambigiiedad omitiremos T y escribiremos A(U).

Proposici6n 1.7. Sea E un especio de Freciiet separable y T : E -t E un

operador. Si existen dos subconjuntos totales A y B de E tales que:
(a) todo vector de A es un autovector de T y I A(a) 1< 1, para todo a E A,
(b) todo vector de B es un autovector de T y I A(b) I> 1, para todo b E B,
entonces T satisface el criterio de hipercic1icidad (Teorema 1.6).

Demostarcion. De los subespacios LIN A y LIN B extraemos bases A y 13,

respectivamente. Tomamos
X := LIN A = LIN A e Y:= LIN 13 = LIN B.
Para cada b E 13, definimos
1
Sb:= A(b) b,
y extend em os S por linealidada todo Y. Veamos que X, Y y S satisfacen las
hipotesis del Teorema 1.6 para {md~I = {k}~1 Y Sk = s-. Obviamente, X
e Y son densos en E por ser A y B subconjuntos totales,
 OPERADORES HIPERCfCLICOS EN ESPACIOS DE FRECHET 59

(i) Dado bE B tenemos

1
(T 0 S)b = T )"(b) b = b,

luego (Tk 0 Sk)Y = Y para todo Y E Y.

(ii) Sea {II . IU~I sucesi6n fundamental creciente de seminormas en E que
gene ran la topologia del espacio. Para cada seminorma II ·lli y cada bE B
se tiene

1uego S kY k-fOO
--+ 0 para todo Y E Y.
(iii) Para cad a seminorma II . Iii y cada a EAse tiene

IITkalli = 1)..(a)lk II alii k~ 0,

k k-fOO n'f
por tanto T x --+ 0 para todo x EX. l!..J

Un problema todavia abierto es demostrar si es cierto el reciproco del criterio

de hiperciclicidad, es decir,
(PI) l.Todo operador hiperciclico satisface el criterio de hiperciclicidad?
Se han hecho avances recientes para intentar contestar a la pregunta anterior.
El resultado que probaremos a continuaci6n (se debe a J. P. Bes [7]) caracteriza
a los operadores que satisfacen el criterio de hiperciclicidad.

Teorema 1.8. Sea E un especio de Frecliet separable y un operador T : E -+

E. Equivalen:
(i) T satisface el criterio de hipercic1icidad.
(ii) Para to do numero natural r 2: 1, el operador TEfl .(~).EflT es biperciclico
(r)
en Ex ... xE.
(iii) Pere todo mimero neturel r 2: s y eoiertoe no vecios Uv, ... .U», VI,'" ,Vr
de E, existe n ENtal que Tn(ul) n VI -I=- 0, ... , Tn(ur) n Vr -I=- 0.

Demostracion. (i) ===} (ii) Denotemos := t r« .(~).

EflT. Si X, Y, {mdk=1 y
Smk son como en el Teorema 1.6, tomamos
_ (r) - (r) - (r)
X := Xx ... xX, Y:= Yx ... xY, Smk:= SmkEfl'" EflSmk·

X e Y son densos en Ex .(~).xE y entonces t

satisface las hip6tesis del criterio
de hiperciclicidad (Teorema 1.6) para X, Y, {mdk=1 y Smk' par tanto es t
hiperciclico.
60 FELIX MARTiNEZ-GIMENEZ

(ii) ==} (iii) Fijamos un mirnero natural r ~ 1, si UI, ... .U«, VI,." , Vr son

abiertos no vacios de E, aplicando la Proposicion 1.4 al operador TfB .(~).fBT y

(r) (r) (r)
a los abiertos (en Ex ... xE) U:= U,»: ... xU; Y V:= Vlx ... xVr, existe
(r)
n ENtal que (TfB ... fBT)n(u) nV =1= 0 de donde
Tn(UI) n VI =1= 0, ... 1 Tn(ur) n Vr =1= 0.
(iii) ==} (i) Sea {Bd~l una base numerable para la topologia de E. Fijando
r = 1 en (iii) obtenernos que T es hiperciclico por la Proposicion 1.4, sea par
tanto z E E vector hiperciclico para T.
Consideramos {W;}~l una sucesion fundamental decreciente de O-entornos
abx Y abiertos en E. Para cada i = 1,2, ... , tomamos Vi := z + Wi· Cons ide-
ramos los pares de abiertos en E (WI, Vd Y (BIl Wd, par (iii), existe nl E N
tal que Tnl(WI) n VI =1= 0 y Tnl(Bd n WI =1= 0. Existen WI E WI, bl,1 E BI
y, por continuidad de T">, W ml tales que

TnlWI E VI, Tnl(bl,l + WmJ C WI

BI,1 := bl,l + Wml C bl,l +W ml C BI·
Consideramos los pares de abiertos (W2, V2), (B2, W2) y (BI,I, W2), par (iii),
existe n2 EN, n2 > nl, tal que

n
Existen W2 E W2, b2,1 E B2, bl,2 E BI,1 y, por continuidad de T 2, Wm2,
m2 > ml, tales que

Tn2w2 E V2, Tn2(b2,1 + W m2) C W2, Tn2(bl,2 + W m2) C W2,

B2,1 := b2,1 + Wm2 C b2,1 + W m2 C B2,
BI,2 := bl,2 + Wm2 C h,2 + W m2 C BI,I.

Supongamos que tenemos {WI,'" ,wd C E, naturales nl < ... < nk, ml <
... < mi; Y vectores bs,j (8,j E N,8 + j :::;k + 1) tales que para r = 1,2, ... , k
se cum pie
Wr E Wr, i--«; E Vr,
+ W mJ C Wr, para todo 8 :::;r,
Tnr (bs,r-s+l
Br,l := br,l + Wmr C br,l + W m C e; r

Bs,r-s+l := bs,r-s+l + Wmr C bs,r-s+l + W m C bs,r-s + Wmr_l =: Bs,r-s,

r

para to do 8 < r, Para completar induccion consideramos los pares de abiertos

(liIh+1> Vk+l), (Bk+l, Wk+d, (Bk,l, Wk+l), (Bk-I,2, Wk+d,···, (B2,k-l, Wk+d,
 OPERADORES HIPERCfcLICOS EN ESPACIOS DE FRECHET 61

Tnk+l (Wk+I) n Vk+l i- 0, Tnk+l (Bk+d n Wk+l i- 0,

Tnk+l (Bk,I) n Wk+l i- 0, Tnk+1 (Bk-1,2) n Wk+1 i- 0,

Existen Wk+l E Wk+1, bk+1,1 E Bk+l, bk,2 E Bk,l, ... , b2,k E B2,k-l, b1,k+l E
B1,k Y Wmk+l' mk+l > mk, tales que

Tnk+lwk+1 E Vk+1, Tnk+1(bk+1,1 + Wmk+1) C Wk+1,

tr-» (bk,2 + W mk+l) C Wk+l

Tnk+l (b2,k + W mk+l) C Wk+1, Tnk+l (b1,k+l + W mk+l) C Wk+1

Bk+l,l := bk+1,1 + Wmk+ 1 C bk+l,l + W mk+l C Bk+1

Bk,2 := bk,2 + W mk+l C bk,2 + W mk+l C Bk,l

B2,k := b2,k + Wmk+1 C b2,k + W mk+l C B2,k-l

B1,k+l := b1,k+l + Wmk+l C b1,k+l + W mk+l C B1,k,

Para cad a s ~ 1 tenemos que

bs,l + W rn, :J bs,2 + W m.+l :J bs,3 + W m.+2 :J ...

Como el espacio E es completo, existe un tinico Xs tal que

Xs E n
j~l
bs,j + W m.+j-l·

Consider amos X := {e,, s ~ I}, Y := {z,Tz,T2z, ... } yaplicaciones

Snk : Y -t E definidas como Snk(Trz) := TrWk, r ~ 0, k ~ 1. Veamos
que para X, Y y Snk as! definidos se cumplen las hipotesis del criterio de hi-
perciclicidad. Yes obviamente denso en E. Xes denso en E ya que para cada
s ~ 1 Xs E Bs. Falta por tanto comprobar que

(1) (Tnk 0 Snk)Y k~ Y, para todo Y E Y,

(2) SnkY k~ 0, para to do Y E Y,
-t 0, para to d 0 x E X .
(3) Tnkx k-4OO
62 FELIX MARTiNEZ-GIMENEZ

.,
Por construccion tenemos --+ Z, 1uego
que T" kWk k--+oo

tT'": 0 Snk)(Trz) = Tnk(Snk(Trz)) = Tnk(TrWk) = Tr(Tnkwk) k~ Trz,

y tenemos la propiedad (1). Por la elecion tornada de un; tenemos que
k--+oo
Wk --+ 0,
luego Snk (Trz) = TrWk k~ 0, Y tenemos la propiedad (2). Fijamos Xs EX.
Para k ~ s, se cum ple que

Xs E n
j~l
bs,j + W m.+j-l C bs,k-s+l + Wmk =: Bs,k-s+l,

- k--+oo
y entonces Tnkxs
Tnk (bs,k-s+l + W mk) C Wk, luego tv-«, --+ 0 y obtene-
E
mos la propiedad (3). Por consiguiente, T satisface el criterio de hiperciclicidad.
[!j

La suma directa de dos operadores hiperciclicos no es en general un operador

hiperciclico (ver [22], corolario 2.6). Tambien tenemos que si un operador
T satisface el criterio de hiperciclicidad, entonces T $ T es hiperciclico, sin
embargo un problema todavfa abierto es si puede sustituirse, en la afirrnacion
anterior, la hipotesis de que T satisfaga el criterio de hiperciclicidad por la
aparentemente mas debil de que T sea hiperciclico, es decir,
(P2) L T $ T es hiperciclico si T es hiperciclico? ([15], p. 97)
En [7] tambien se muestra que los dos problemas (PI) y (P2) son de hecho
equivalentes. Necesitaremos para ella el siguiente lema.
,
Lema 1.9. Sean operadores T; : X --+ X, i = 1, ... ,n, donde X es un espacio
vectorial topol6logico. Si T1 $ ... $ Tn es hipercic1ico, entonces T1 $ ... $ T;
es hipercic1ico para todo natural 1 ~ r ~ n.

Demostracioti. Sea (Zl,'" ,Zn) E Xx ~'.'~xX vector hiperciclico para TI $

... $ Tn. Veamos que (Zl,' .. ,Zr) es hiperciclico para TI EB ... $ Tr. Dados

X:= (Xl, ... ,Xr) Y U O-entorno abierto en Xx .(~).xX, consider amos

~ (n-r)
~
X.-
'- ( Xl,''''Xr" 0 (n-r)
... ,
0) Y U := U x Xx ... x X,
o x
bviamente , + f) es entorno abierto de x
y como (Zl' ... ,Zn) es hiperciclico,
existe mEN tal que (TI $ ... $ Tn)m(Zl,'" ,zn) Ex + de donde ii,
(TI $ ... $ Tr)m(Zl,'" ,zr) Ex + U. [!j
Corolario 1.10. Sea E un espacio de Fiedie: separable. Equivalen:
(i) Todo operador hipercic1ico en E satisface el criterio de hipercic1icidad.
 OPERADORES HIPERCfcLICOS EN ESPACIOS DE FRECHET 63

(ii) Si T : E ---+ E es hipercic1ico, entonces T EI7 T : E x E ---+ E x E es

hipercic1ico.

Demostracion. (i) ==} (ii) Basta aplicar el Teorema 1.8 con r = 2.

(ii) ==} (i) Sea un operador T : E ---+ E hiperciclico, veamos que cumple
la caracterizaci6n (iii) del Teorema 1.8. Dado un mirnero natural r 2 1, sea
n ENtal que r :::;2n. Utilizando n veces (ii) reiteradamente

son hipercfclicos. Por el Lema 1.9 tenemos que TE17 .(~). E17T es hiperciclico. 0'

2. Ejemplos de operadores hiperciclicos

A continuaci6n estudiaremos tres operadores hiperciclicos; el operador deri-
vada, el operador traslaci6n y el operador "backward shift". Respecto a este
ultimo, 10 estudiaremos en diferentes espacios de sucesiones; el espacio de Hil-
bert l2 Y en espacios de Kothe.

2.1. El operador "backward shift" (Rolewicz)

Este operador fue estudiado por S. Rolewicz [20] en 1969. Es el primer operador
hiperciclico conocido en espacios de Hilbert. En el espacio de sucesiones l2
definimos el operador backward shift a como

a(al,a2,a3,"') = (a2,a3," .).

Entonces T := Aa es hiperciclico para I A I> 1. Tomamos

(i)
ei:=(O, ... ,0, 1,0, ... ) Y Xo:=LIN{ei' i21}.
Sabemos que Xo es denso en l2 Y como para cad a i fijo T're, es eventualmente
cero tenemos que T':x n~ 0, para to do x E Xo.
Sea la aplicaci6n u definida como u(ei) = ei+l, i 2 1, Y extendida par
linealidad a todo Xo. Sea S : Xo ---+ Xo definida par S := A-lU. Se comprueba
sin dificultad que (T 0 S)x = x, para to do x E Xo·
d
Por otra parte, II s- II =1 A I-n II u II =1 A I-n, luego snx ---+ 0, para to 0
n---+oo

x E Xo. Por el criterio de hiperciclicidad (Teorema 1.5) tenemos que T = Aa

es hiperciclico. N6tese que el operador a tiene norma uno y no puede por tanto
ser hiperciclico par sf s610.
 64 FELIX MARTiNEZ-GIMENEZ

2.2. El operador "backward shift" en espacios escalon ados de Kothe

Pretendemos extender el estudio del operador a a espacios de sucesiones mas
generales que [2. Concretamente estudiaremosla hiperciclicidad del operador
backward shift en espacios escalonados de sucesiones de Kothe. La notacion y
terminologfa que utilizaremos es la misma que [8J 0 [19J. Recordemos que una
matriz de Kothe A = (aj,k)j,kEN satisface las condiciones:
(1) «s» > 0 para todo i. kEN,
(2) aj,k ::; aj,k+l para todo i. kEN.
Para 1 ::;p < 00 consider amos

A,(A) ,~ { x E IKN , II x II, ,~ (t, I Xj aj,' IV) 'I' < 00 , V kEN} ,

para p = 00 y p = 0 consider amos

Aoo(A) := {x E IK
N
II X Ilk := sup I »s I aj,k < 00 , 't:/ kEN} ,
jEN

N
Ao(A) := {x E IK .lim Xj aj,k = 0 , 't:/ kEN} ,
J->OO

respectivamente. II{ puede ser el cuerpo de los mimeros reales 0 el de los com-
plejos.
Para 1 ::;P ::; 00 consider amos Ap (A) con la topologia generada por la familia
de seminormas {II. IlkhEN. Ao(A) es un subespacio de Aoo(A) y consideramos
la topologfa inducida por la correspondiente familia de seminormas. Sabemos
que para 1 ::; p < 00, Ap(A) y Ao(A) son espacios de Frechet separables. Aoo(A)
es espacio de Frechet. Para cada j E N, tomaremos
(j)
ej := (0, ... ,0, 1 ,0, ... ) = (8j,i)iEN,
Para 1 ::; p < 00, tenemos que ej E Ap(A) (resp. Ao(A)) para cada j E N.
Ademas
00

x = 2: xjej para todo x = (Xj)jEN E Ap(A) (resp. Ao(A)) ,

j=l

es decir, LIN{ej , j EN} es denso en Ap(A) para 1 ::; p < 00 (resp. Ao(A)).
Sea el operador backward shift definido como

tarnbien definimos, para cada j E N u(ej) := ej+l. Notese que para n E N

a
n(
eJ.) _ {
-
0 si j.
.
<n u
n(
ej
)
= ej+n'
ej-n S1 J >n
 OPERADORES HIPERCfcLICOS EN ESPACIOS DE FRECHET 65

Necesitamos que a : Ap(A) ---+ Ap(A) (p = 0, 1 ~ p ~ (0) este bien definido y

sea continuo. Si o es continuo, entonces
'<Ix E Ap(A), '<In E N, :J m > n, :J E > 0 : II rIxlln ~ E II xllm .

Si tomamos en particular x = ej, con j = 1,2, ... obtenemos

II ejlln ~ Ell ej+lllm' j = 1,2, ... ,
luego aj,n ~ E aj+l,m, j = 1,2, ... ; de donde
a·
sup -..H!:..- < 00.
JEN aj+l,m
Recfprocamente, si la matriz de Kothe A satisface que
a·
'<In E N, :J m >n : sup -..H!:..- < 00 , (1)
JEN aj+l,m
entonces
'<In E N, :J m > n, :J E >0 : aj,n ~ E aj+l,m, j = 1,2, ....
Dada una seminorma II . lin y X E Ap(A), existe m > n tal que si 1 ~ P < 00,

lip ( lip
L IXj+l L IXj+l aj+l,mI
00 ) 00 )

II rIxlin = (
aj,nlP <E P ~ Ell xllm,
J=l J=l

(respectivamente, para p =0 tenemos

II rIxlln = sup IXj+Ilaj,n ~ E sup IXj+Ilaj+l,m ~ E II xllm ),

JEN JEN
Y entonces a : Ap(A) ---+ Ap(A) es continua.
Notese tambien que si la matriz A satisface (1), entonces trivialmente a est a.
bien definido. Supondremos a partir de ahara que las matrices de Kothe con
las que trabajaremos satisfacen la condicion (1).

Proposicion 2.1. Sea A matriz de Kothe, A E JK y T := A a .

(1) Si limj-too TW = 0 para cada kEN, entonces T : Ap(A) ---+ Ap(A)
(1 ~ P < 00; P = 0) es hipercfc1ico.
(2) Si existe .una sucesi6n (CkhEN C (0,00) tal que SUPjENaj,k ~ Ck para
cada kEN, entonces T : Ap(A) ---+ Ap(A) (1 ~ p < 00; P = 0) es
hiperciclico si I A I> 1.

Demostracion. (1) Sabemos que Xo := LIN{ei , i E N} es denso en Ap(A)

(resp. Ao(A)). Definimos (extendiendo u por linealidad)
S : Xo ---+ Xo : S:= A-1U.

Veamos que se cumplen (i), (ii) y (iii) del criteria de hiperciclicidad (Teore-
rna 1.5).
66 FELIX MARTiNEZ-GIMENEZ

(i) Se comprueba sin dificultad que To S = Ixo'

(iii) Dada una seminorma II . Ilk' para cada i E N fijo T'ie, es eventualmente
cero; luego
II Tnx Ilk n~ 0, para todo kEN.
(ii) Dada una seminorma II . Ilk' para cada i E N fijo
II s:« Ilk= II A-nUn(ei) Ilk =1 A I-n II un(ei) Ilk =1 A I-n II ei+n Ilk
lip

=1 A I-n
(
f= I
J=l
Ji+n,j aj,k IP
)
(resp. I A I-n (sup
jEN
I Ji+n,j I aj,k) )

= I \ I-n ai+n,k = I \ Ii Iai+n,k

A A A li+n
n-+oo 0
-t .

Por 10 tanto, T es hipercfclico.

(2) Para cada kEN
·
1urn aj,k < l' ~ - 0
J-+OO I A\ I'J - urn
J-+OO I A\ I'J - ,
ahora basta aplicar (1). ~
El caso Aoo(A) no puede ser estudiado como los casos anteriores ya que
LIN{ei,i E N} no es denso, en general, en Aoo(A). SI observaremos que si la
matriz de Kothe A satisface la propiedad de que para cada conjunto infinito
leN y cada n E N existe kEN, k > n, tal que
III
aj,n
. f -= 0 ,
JEI aj,k
entonces Aoo(A) cumple 10 mismo que Ao(A). Efectivamente basta tener en
cuenta que si A cumple la propiedad anterior, entonces Aoo(A) = Ao(A) (ver [19,
Teorema 27.9]).

2.3. EI operador derivada (MacLane)

Este operador fue estudiado por G. R. MacLane [18] en 1952. Sea 1£(C) el
espacio de las funciones enteras en C con la topologfa de convergencia uniforme
sobre los compactos de C. En este espacio consideramos el operador derivada
D : 1£(C) -t 1£(C). Veamos que D es hiperciclico.
Sabemos que los polinomios son densos en 1£(C), sea por tanto Xo :=
LIN {Zi, i 2 O}. Obviamente, D":« ~ 0, para todo x E Xo. Sea la aplica-
cion S definida como
. zi+l
Sz' := -- i >_ 0,
i+l'
 OPERADORES HIPERCfcLICOS EN ESPACIOS DE FRECHET 67

y extendida par linealidad a Xo. Se comprueba sin dificultad que Do Sx = x

para todo x E Xo. Por otra parte, sea K compacta de C; existe R > 0 tal
que 1 z I::; R para todo z E K. Par tanto para cada i :::::
0 y para to do z E K
tenemos que
1Z li+n Ri+n e:
I snzi 1= (i+1) ... (i+n)
<
(i+1) ... (i+n)
- 'IRi
-2. (n+i)!
n-+oo 0
-----* ,

luego S":» n~ 0 para todo x E Xo. Por el criterio de hiperciclicidad (Teore-

rna 1.5) tenemos que D es hiperciclico.

2.4. El operador traslacion (Birkhoff)

Este operador fue estudiado por G. D. Birkhoff en 1929. Como ya se mencion6
en la introducci6n el resultado de G. D. Birkhoff es sorprendente ya que nos
asegura la existencia de una funci6n universal que, en todo conjunto compacto,
sus traslaciones se aproximan a cualquier funci6n entera tanto como se desee.
Comenzaremos por un lema tecnico sobre subespacios densos en el conjunto de
las funciones holomarfas.

Lema 2.2. Para todo U abierto (no vacio) de C se cumple que

H = LIN {eAZ tal que A E U}
es denso en 1I.(C).

Demostracion. Es suficiente probar que toda forma lineal y continua que se

anula en H es identicamente nula. Sea por tanto ip E 1I.(C)' tal que CPIH = O.
Por la continuidad de cP se cum pie que
1 cpU) I::; Msup{1 j(z) I: 1 z I::; R},
para ciertos M > 0 y R > O.
Sea K = {z : 1 z I::; R}. Consideramos CPIC(K)n'1(C) y por el teorema de
Hahn-Banach existe rp : C(K) -----* C lineal y continua que extiende a CPIC(K)n'1«C)'
Por el tearema de representaci6n de Riesz existe u; medida de Borel regular tal
que

rp(g) = 1 g(w) dJl(w), para todo 9 E C(K),

luego

rp(eAZ) = cp(eAZ) = 1 eAW dJl(w) = 0, para to do A E U.

Definimos F : C -----* C como

F(A) := JK eAW
dJl(w);
 68 FELIX MARTiNEZ-GIMENEZ

la funcion F es entera y se anula en el abierto U, por tanto F = 0 (principio

ceros aislados). Como F es ident.icamente nula tenemos que t» F(>") = 0 para
todo j = 0,1, ... , y por derivacion bajo el signa integral

Dj F(>") = L wje>'w dJ.l(w) = 0, para todo j = 0,1, ... ,.

Particularizando en >.. = 0,

para todo j = 0,1,. ... Al ser los polinomios densos en 1i(C) tenemos que
cp = O. [!f

Consideramos el operador traslacion Ta : 1i(C) ---+ 1i(C) con a =1= 0, definido

como Ta(f(z)) := j(z + a). Veamos que Ta es hiperciclico. Sea

X := LIN {e>'z : I e>.a I < I} , Y:= LIN {e>'z : I e>.a I > I} ,

por el Lema 2.2 tenemos que X e Y son densos en 1i(iC). Sea K un conjunto
compacta de c, tom amos R > 0 tal que I z I -::; R para todo z de K. Para cada
funcion e>'z de X y para to do z de K tenemos que

luego T;:x ~ 0 para todo x de X.

Tomamos Sn := (T_a)n y analogamente obtenemos que para cada funcion
e>'z de Y y para todo z de K se cum pie que

luego SnY n~ 0 para to do Y de Y. Por otro lado es obvio que (T;: 0 Sn)Y =
Y para to do Y de Y. Por el criterio de hiperciclicidad (Teorema 1.6) Ta es
hiperciclico.
Observese que la hiperciclicidad de este operador tarnbien puede deducirse
facilmente a partir de la Proposicion 1.7. Basta tomar

A y B son subconjuntos totales par el Lema 2.2 y todo vector de A (resp. B)

es un autovector para Ta ya que Tae>'z = e>.ae>.z.
 OPERADORES HIPERCicLiCOS EN ESPACIOS DE FRECHET 69

3. Algunas propiedades de los operadores hiperciclicos

En resultados posteriores resultara conveniente, por 10 que a demostraciones
respecta, trabajar con espacios sobre el cuerpo C. EI caso real se tratara gene-
ralmente aparte considerando su complexificacion. Recordamos a continuacion
este concepto y algunas propiedades basicas.

Definicion 3.1. Dado E e.l.c. real, denotamos por E := E + i E su comple-

xificacion. En ese caso E' = E' + i E', don de si v~ + i v~ E E' y VI + i V2 E E,
entonces

(VI + i V2, V~ + i V~) := (VI, V~) - (V2' V~) + i ((VI , V~) + (V2' V~)) .
Si T es un operador en E, su complexificacion T es el operador en E definido
como
T(v) = T(VI + i V2) := TVI + i TV2, V V = VI + i V2 E E.
En 1982 C. Kitai [16] demostro que los operadores traspuestos de operado-
res hiperciclicos en espacios de Banach complejos no tienen valores propios.
Probaremos a continuacion que el result ado tambien es cierto para espacios
localmente convexos, y en el caso real demostraremos que quien no admite
valores propios es el traspuesto de la complexificacion del operador.

Proposicion 3.2. Sea E un espacio localmente convexo complejo (resp. real)

y T : E ~ E un operador hipercic1ico. Entonces el operador traspuesto T* :
E' ~ E' (resp. T* : E' ~ E') no tiene valores propios.
Demostracion. En el caso complejo, supongamos que>. es un valor propio de
T* y v' E E' un vector propio de T* de autovalor >.. Se tiene que, dado x E E
hiperciclico para T, {(Tnx, v')} nEN es denso en C, pero

{(Tnx,v')}nEN = {(x,(T*tv')}nEN = {(x,>.nv')}nEN = pn(x,v')}nEN'

que no es denso en C; luego T* no tiene valores propios.
Si E es real y i/ E E' fuera un vector propio de T* de valor propio >. E C,
se tiene que, dado x E E hiperciclico para T

{I (Tnx,i/) l}nEN = {!(tnx,v')ILEN = {I >'Inl (x,v') l}nEN'

La primera expresion en densa en IR+ (basta considerar y E E tal que I (y, v') I=
1 y tener en cuenta que {ay : a E IR+} c {Tnx}nEN)' pero no la ultima, 10

cual seria una contradiccion, ~

Como consecuencia de la propiedad anterior se obtiene el siguiente corolario
para espacios de dimension finita. El caso real fue probado par J. P. Bes [6]
con un argumento distinto del que aqui ofrecemos.
70 FELIX MARTINEZ-GIMENEZ

Corolario 3.3. Si un espacio localmente convexo E tiene dimension finita,

entonces no existe ningtui operador hipercfc1ico en E.
Demostracion. Basta tener en cuenta que E' (resp. En
tiene dimension finita
y por tanto to do T E L(E') (resp. T E L(£')) tiene valores propios. l!1
Pretendemos a continuacion encontrar un subespacio denso e invariante de
vectores hipercfclicos (excepto el cero) para un operador hipercfclico. La pro-
piedad que demostramos a continuacion nos permitira encontrar vectores hi-
percfclicos para un operador una vez conocido un vector hipercfclico. Nueva-
mente necesitamos tratar por separado el caso real y el complejo. EI result ado
siguiente fue probado por P. S. Bourdon [11] para espacios de Banach com ple-
jos.
Tarnbien aquf el caso real fue demostrado por J. P. Bes [6] utilizando tecnicas
distintas. Nosotros nos basaremos en la complexificacion del espacio y en el
argumento de Bourdon.

Proposiclon 3.4. Sea E un especio localmente convexo y T : E ---t E un

operador hipercfc1ico. Sea x E E vector hipercfc1ico de T. Entonces p(T)x es
vector bipetciclico de T para todo p polinomio (no nulo).
Demostracioti. Si E es espacio complejo, tenemos que par hipotesis Orb(T, x) =
{x, Tx, T2x, ... } es densa en E. Como T conmuta con p(T) tenemos que
Tnp(T)x = p(T)Tnx, para todo n E N,

luego Orb(T,p(T)x) = p(T)Orb(T, x); es decir, la orbita por T del vector p(T)x
es la imagen por p(T) de la orbita por T del vector x. Observese primero que
(T - A1) debe tener rango denso en E para todo A E C, ya que si no 10 tuviera
tomarfamos F := Im(T - A]), el cual es un subespacio propio cerrado de E.
Luego existe v' E E' no nulo tal que v' se anula sobre F; por tanto
(Tv - AV, v') = 0, para todo vEE,
de donde
(Tv, v') (AV, v'), para to do vEE.
Asf que
(v, T*v') = A(V, v') = (v, AV'), para todo vEE.
Se tendrfa T*v' = AV' y A serfa valor propio de T*, 10 cual no puede ocurrir
por la Proposicion 3.2.
Si p(T) tuviera rango denso tendriamos que Orb(T, p(T)x) seria densa al ser
la imagen del conjunto den so Orb(T, x) par un operador con rango denso. Si
expresamos p(T) como producto de factores lineales de la forma T - AI, por el
 OPERADORES HIPERCicLICOS EN ESPACIOS DE FRECHET 71

comentario anterior cada factor tiene rango denso y entonces p(T) tarnbien 10
tiene al ser producto de operadores con rango denso.
Si E es espacio real, consider amos R : E -+ E definido como R(VI + i V2) :=
VI, el cual es continuo (y sobreyectivo) si consideramos E como lR-espacio.
Observamos que

Orb(T,p(T)x) = R (Orb(T,p(T)x) + i Orb(T,p(T)x))

= R (p(T)Orb(T, x) + i p(T)Orb(T, x))
= R (p(T) (Orb(T, x) + i Orb(T, x))) .
Par 10 visto para el caso complejo p(T) tiene rango denso (en E), ya que T* no
tiene valores propios, y Orb(T, x) + i Orb(T, x) es denso, luego Orb(T,p(T)x)
es denso en E. ~

Corolario 3.5. Sea E un espacio de loceltnente convexo y T : E -+ E un

operador hipercfc1ico. Entouces existe un subespacio de E denso e invariante
por T, cuyos vectores, excepto e1 cero, son hipercfclicos respecto de T.
Demostracion. Sea x E E vector hiperciclico respecto de T. Basta tomar
V := {p(T)x : p es polinomio} .
V es, obviamente, subespacio de E invariante por T. Es denso ya que contiene
la 6rbita del vector x. Para cada polinomio no nulo p, el vector p(T)x es
hiperciclico respecto de T por la proposici6n anterior. ~
A continuaci6n probaremos que cualquier potencia de un operador hiper-
cfclico es hipercfclico. Ademas, si un vector es hipercfclico para un operador,
entonces tambien 10 es para cualquiera de sus potencias. Este resultado se debe
a S. I. Ansari [1], aunque hay que mencionar que se basaba en el resultado de
Bourdon sobre la existencia de subespacios invariantes densos consistentes en
vectores hipercfclicos (salvo el vector nulo) en el caso complejo. Posterior mente
Ansari [2] modific6 el argumento para adaptarlo tarnbien al caso real. Una vez
conocida la existencia de subespacio invariante denso de vectores hipercfclicos
(excepto el vector nulo) para el caso real (Bes [6]), es valida la prueba original
de Ansari en ambos casos y esa es la que presentamos.

Proposiclon 3.6. Sean E un espacio Iocelmente convexo, T : E -+ E un ope-

rador hipercfc1ico y x E E vector hiperefc1ico de T. Entonces T" es hiperefc1ico
y x es vector hipercic1ico para T", para todo n rnimero natural.

Demostracion. Sea
V := {p(T)x p es polinomio} .
72 FELIX MARTiNEZ-GIMENEZ

Por corolario 3.5 V es un subespacio denso e invariante por T tal que todo
vector no nulo de V es hiperciclico para T. Denotamos A := l1v y definimos

S:= {x, Anx, A2nx, ... } = Orbf A", x) = Orh[T", x),

-v -
probaremos que S = V ya que al ser V denso en E tendremos que S = E.
Para cada k tal que 1 ~ k ~ n definimos

s, := U {Ai1SV n .. , n AikS
V
: 0~ i l < .. , < ik ~ n - I} ;
es decir,
--v ---v
SI =AoS U···uAn-IS ,
--v --v --v ---v
S2=(AOS nAlS )U .. ·U(AOS nAn-IS )U
--v --v --v ---v ---~. ---v
(AlS nA2S )U'''U(AlS nAn-IS )U· .. u(An-2S nAn-IS ),

--v ---v
Sn = AOS n··· nAn-IS .
Obviamente Sk es cerrado en V y S« C Sn-l C ... C SI. Veamos que
(i) Sk es invariante por A para cada k,
(ii) 0 E Sn,
(iii) S« = V.
--v -v -v
Tendremos entonces que V = Sn C AOS = S c V, de donde S = V, como
queremos probar.
(i) Sea 0 ~ il < ... < ik ~ n - 1, entonces

A(Ai1SV n ... nAikSv) c Ai,+lSV n ... nAidISv

... -.-v -.-v
CAllS n .. ·nAJkS CSk,
tomando it = il +1, ... ,jk = ik+1 (si ik = n-1, tomarfa jj = 0 y i. = il-l +1
para 1 < l ~ k).
(ii) Notese que
--v ---v
SI = AOS u··· U An-IS
...,..----,----.,..-----,-v v
= {X, Anx, A2nx, ... } U {Ax, An+lx, A2n+lx, ... } U···
...,---,,--....,------;---;---,------:-n-,---,-------o;-v
U {An-lx, An+n-Ix, A2n+n-Ix, ... } = V,

ya que
{ x, An x, A2n x, . . . } U...U {An-l x, An+n-l x, A2n+n-l x, . .. } - 0 r b(T ,x ..)
 OPERADORES HIPERCfcLICOS EN ESPACIOS DE FRECHET 73

-.-V
Como 0 E V'= Sl tendremos que 0 E A'S para cierto i entre 0 y n - 1, pero
V V
A(AiS ) C Ai+1S y Ansv c sV = AOSV,
-.-v
luego 0 E AJ S para todo j = 0,1, ... ,n - 1 y por tanto 0 E Sn'
(iii) Sabemos que Sl = V. Por induccion supongamos que Sk = V con
1 ~ k < n y probemos que Sk+1 = V. Si Sk+1 =1= V, como cada vector no nulo
de V es hiperciclico para A y Sk+l es cerrado e invariante por A, tenemos que
necesariamente Sk+1 = {O}.
Por otra parte si {iI, ... ,ik} =1= {j1' ... ,jk} se cumple que
(Ai1SV n··· n AikSV) n (AilSV n··· n AjkSV) c Sk+1,
as! que

[( Ai1S
V
n··· n AikSV) <, {O}] n[( AjlSV n··· n AjkSY) <, {O}]
C Sk+1 -, {O},
Y Sk+l ,,{O} = 0. Como el conjunto Sk = V se define como union de conjuntos
de la forma (Ai1SV n··· n AikSV) con 0 ~ i1 < ... < ik ~ n - 1 tenemos
que V" {O} es union finita de cerrados disjuntos (relativos a V" {O}). Por ser
V" {O} un conjunto conexo necesariamente algiin
V
[( Ai1S n··· n AikSV) -, {O}] = V" {O}
y los otros son vacfos. Por el razonamiento utilizado en (i) exist en 0 ~ i, <
12 < ... < jk ~ n - 1 ((il,· .. ,jk) =1= (i1,'" ,ik)) tales que

A(V) = A (Ai1SV n .. ·n AikSV) c (AjlSV n ..n AjkSV) = {O},

10 cual no puede ocurrir al ser A(V) den so en V. Por 10 tanto Sk+1 = V 10 que
completa induccion y acaba la demostracion. [!j'
Finalmente estudiaremos la exist en cia 0 no de operadores hiperciclicos que
sean acotados, Montel 0 compactos en espacios localmente convexos. Recorda-
mos que si E es un espacio localmente convexo, un operador T : E ---t E es
acotado si la imagen por T de algun O-entorno en E es un conjunto acotado de
E. Si X es un espacio de Banach, un operador S : X ---t Xes compacta si la
imagen por S de la bola unidad es un conjunto relativamente compacta en X.
Hay dos maneras de generalizar el concepto de operador compacto para espa-
cios localmente convexos. Un operador T en un espacio localmente convexo E
se dice que es Montel si la imagen por T de todo conjunto acotado de E es un
conjunto relativamente compacto en E; se dice que T es compacto si la imagen
de algtin O-entorno en E es un conjunto relativamente compacto en E. Todo
74 FELIX MARTiNEZ-GIMENEZ

operador compacta es Montel y el recfproco es cierto en espacios de Banach.

Ademas, como todo operador (continuo) en un espacio de Banach es acotado,
estudiaremos tan solo operadores acotados en espacios localmente convexos no
normables.
Respecto a la compacidad e hiperciclicidad de un operador, veremos que
ningun operador compacta en un espacio localmente convexo es hiperciclico.
Esto generaliza el correspondiente resultado de Kitai [16] formulado para espa-
cios de Banach complejos. Comenzaremos demostrando que ningiin operador
compacta en un espacio de Banach es hiperciclico y despues generalizaremos
este result ado a operadores compactos en espacios localmente convexos. Co--
mo en anteriores resultados, ofrecemos en primer lugar la demostraci6n para
cuando el espacio es complejo.
Teorema 3.7. Sea X un especio de Banach y T : X --+ X operador compac-
to, entonces T no es hipercfc1ico.
Demostracion. En primer lugar tratamos el caso en que X es complejo. Si
T fuera hiperciclico, entonces T* no tendria valores propios. Ademas T* es
compacto, luego a(T*) = {O}, ya que T* es operador compacta que no tiene
valores propios (ver [21, Theorem 4.25, (b)]). Por tanto, a(T) = a(T*) = {O}.
Por la f6rmula del radio espectral tenemos que

lim
n--+oo
II Tn Illln = 0,
por 10 cual existe no tal que II T" II ~ 1 para todo n
~ no, 10 que contradice que
T sea hiperciclico. Si X es real, tomamos la complexificaci6n T de T, que sigue
siendo compacta
, y del cual sabemos que T* no tiene
- valores propios. Segun
10 anterior, existe no natural tal que 1/ Tn II s
II Tn II ~ 1 para todo n ~ no·
Llegamos as! a una contradicci6n con la hiperciclicidad de T. ~
El siguiente resultado se encuentra en [10].
Teorema 3.8. Sea E un espacio localmente convexo y T : E --+ E operador
compacto, entonces T no es hipercic1ico.
Demostracion. T es compacto, luego existe U O-entorno abx en E tal que T(U)
es compacta en E. Sea p := PU el calibrador de Minkowski de U, sabemos
que P es una seminorma en E y considerando Eu := (E/ ker p,p) es un espacio
normado. Tomamos Eu la completacion del espacio normado Eu y q : E --+ E
la aplicaci6n cociente. El operador T induce un operador, T : Eu --+ Eu
definido como T(q(x)) := q(T(x)) (el cual esta bien definido al ser kerp =
kerq c kerT). Extendemos este operador por completaci6n a Eu. Veamos que
T es operador compacto. Sea B la bola unidad en Eu, se tiene que

T (B) C T (q(U)) = q (T (U))

 OPERADORES HIPERCicLICOS EN ESPACIOS DE FRECHET 75

que es compacta en Eu, por tanto T es compacto. Supongamos que T es

hiperciclico en E, entonces existe x E E tal que {x, Tx, T2x, ... } es denso en
E, pero entonces {q(x),T(q(x)),T2(q(x)),oo.} es denso en Eu, 10 eual no
puede ocurrir ya que por el Teorema 3.7, T no puede ser hiperciclico en Eu.
~
El Teorema 3.8 no es cierto para operadores Montel 0 aeotados. J. Bonet y
A. Peris [101 demuestran que todo espacio de Frechet separable de dimension
infinita admite un operador hiperciclico; basta tomar un espacio de Frechet que
sea Montel (todo acotado es relativamente compacto) para obtener un operador
Montel hiperciclico.
Para el caso de operadores acotados Bonet y Peris [10]'construyen un ope-
rador acotado hiperciclico en un espacio de Frechet sin norma continua.

Referencias
[I] S. L Ansari, Hypercyclic and cyclic vectors, J. Funct. Anal. 128 (1995), no. 2,374-383.
[2] , Existence of hypercyclic operators on topological vector spaces, J. Funct. Anal.
148 (1997), no. 2, 384-390.
[3] J. Banks, J. Brooks, G. Cairns, G Davis, and P. Stacey, On Devaney's definition of
chaos, Amer. Math. Monthly 99 (1992), no. 4,332-334.
[4] L. Bernal-Gonzalez, Hypercyclic sequences of differential and antidifferential operators,
J. Approx. Theory, to appear.
[5) L. Bernal Gonzalez, On hypercyclic operators on Banach spaces, Proc. Amer. Math.
Soc., to appear.
[6] J. P. Bes, Invariant manifolds of hypercyclic vectors for the real scalar case, Proc. Amer.
Math. Soc., to appear.
[7] , Three problems on hypercyclic operators, Ph.D. thesis, Kent State University,
1998.
[8] K. D. Bierstedt, R. G. Meise, and W. H. Summers, Kothe sets and Kothe sequence
spaces, Functional Analysis, Holomorphy and Approximation Theory (Amsterdam-New
York) (J. A. Barroso, ed.), North-Holland Mathematics Studies, vol. 71, North-Holland,
1982, pp. 27-91.
[9] G. D. Birkhoff, Demonstration d'un theoreme elementaire sur les fonctions entieres, C.
R. Acad. Sci. Paris 189 (1929), 473~475
[10] J. Bonet and A. Peris, Hypercyclic operators on non-norm able Frechet spaces, J. Funet.
Anal., to appear.
[11] P. S. Bourdon, Invariant manifolds of hypercyclic vectors, Proc. Amer. Math. Soc. 118
(1993), no. 3, 845~847.
[12] R. L. Devaney, An introduction to chaotic dinamycal systems, second ed., Addison
Wesley, Reading, MA, 1989.
[13) R. M. Gethner and J. H. Shapiro, Universal vectors for operators on spaces of holo-
morphic functions, Proc. Amer. Math. Soc. 100 (1987), no. 2, 281-288.
[14] G. Godefroy and J. H. Shapiro, Operators with dense, invariant, cyclic vector manifolds,
J. Funet. Anal. 98 (1991), no. 2, 229-269.
76 FELIX MARTiNEZ-GIMENEZ

[15] D. A. Herreo, Hypercyclic operators and chaos, J. Operator Theory 28 (1992), no. 1,
93-103.
[16] C. Kitai, Invariant closed sets for linear operators, Ph.D. thesis, University of Toronto,
1982.
[17] G. Kothe, Topological vector spaces, I, Springer-Verlag, Berlin-New York, 1969.
[181 G. R. MacLane, Sequences of derivatives and normal families, J. Analyse Math. 2
(1952), 72-87.
[19] R. Meise and D. Vogt, Introduction to junctional analysis, Oxford University Press,
Oxford-New York, 1997.
[20] S. Rolewicz, On orbits of elements, Studia Math. 32 (1969), 17-22.
[211 W. Rudin, Functional analysis, McGraw-Hill, New York, 1973.
[22] H. N. Salas, A hypercyclic operator whose adjoint is also hypercyclic, Proc. Amer. Math,
Soc. 112 (1991), no. 3, 765-770.

(Recibido en enero de 1999)

E,T,S.I. AGRONOMOS
UNIVERSIDAD POLITECNICA DE VALENCIA
DEPARTAMENTO DE MATEMATICA APLICADA
VALENCIA 46071, ESPANA (SPAIN)
fmartingfamat.upv.es