Está en la página 1de 33

´

´

¿PORQU E EL C IRCULO ES CONEXO?:

JOHN STEWART FABILA CARRASCO

¿Porqu´e el C´ırculo es Conexo?:

Una Introducci´on a la Topolog´ıa Cuantizada

1. Introduccion.´

Las ´algebras de operadores fueron introducidas hace casi 80 a˜nos por J. von Newmann. Actualmente estas algebras de Operadores juegan un papel muy importante en diversos campos de la Matem´atica como la geometr´ıa, al algebra´ y la f´ısica-matem´atica. Es por tanto sorprendente que tan pocos matem´aticos est´en familiarizados con estas importantes t´ecnicas. Quiza se deba a la naturaleza tan t´ecnica de la meteria, as´ı como a la percepci´on de que esta area´ es solo una elegente analog´ıa ”no-conmutativa” del an´alisis funcional, de inter´es solo para los anal- istas abstractos y quiza, para los f´ısicos-matem´aticos.

Von Newmann y sus sucesores ten´ıan un gran prop´osito en mente. Su idea era integrar las ideas de W. Heinsenberg de escalares matri- ciales de lleno en las matem´aticas modernas. En gran parte gracias a las investigaciones de Alain Connes (ganador de la Medalla Fields en 1982) por sus trabajos en ”Geometr´ıa Cu´antica”, este objetivo se ha alcanzado. Por este acercamiento m´as ligero a trav´es de ejemplos m´as que de teor´ıa general, el tema se ha vuelto considerablemente m´as ac- cesible. De hecho se necesita solo un conocimiento m´ınimo en an´alisis abstracto para entender las aplicaciones m´as interesantes del tema.

Nosotros ilustraremos estos desarrollos considerando un ejemplo clave, llamado ”toro cuantizado” asociada a la representacion regular del grupo libre de dos generadores. A finales de los sesentas, R. V. Kadi- son conjeturo que esta ´algebra es conexa, en el sentido de que no tiene proyecciones no-triviales. Esto finalmete fue probado catorce a˜nos de- spu´es en un articulo destacable escrito por M. Pimsner y D. Voiculescu, que usaron un acercamiento geometrico.

1

2

JOHN STEWART FABILA CARRASCO

Recordaremos primeramente algunas definiciones que ser´an escen- ciales para el desarrollo del art´ıculo.

Definicion 1. Una ´algebra es una ´algebra A sobre un campo C dotada de una norma · bajo la cual A es un espacio de Banach y que para todo a, b ∈ A

ab a b

Definicion 2. Una ´algebra C es un -´algebra A con una operaci´on : A → A llamada involuci´on, que cumple las siguientes propiedades:

(1) (a ) = a

(2) (αa + βb)

= αa + βb

(3) (ab) = b a (4) Adem´as la norma es tal que a 2 = aa

2. Escalares en f´ısica y matematicas.´

Los matem´aticos usan tradicionalmente el termino escalar para los elementos de un campo. Restringiremos nuestra atenci´on a los Com- plejos C con las operaciones usuales de adici´on, multiplicaci´on, conju- gaci´on y valor absoluto: α + β, αβ, a = a y |α| para α, β C

Por otro lado, los f´ısicos usan cl´asicamente el t´ermino escalar en sentido diferente. Cl´asicamente cantidades como energ´ıa y temper- atura son generalmente funciones dependientes del tiempo, posici´on, momento y/o otros par´ametros. Para mostrar un marco para tales escalares y sus operadores, restringiremos nuestra atenci´on a las fun- ciones acotadas de un espacio X.

Dado cualquier conjunto X,si (X) denotar´a las funciones complejo-

valuadas acotadas f, g, estructura de -´algebra

en X con las operaciones puntuales que le dan

(f + g)(x) = f (x) + g(x)

(fg)(x) = f (x)g(x)

f (x) = f(x) y la ”norma del supremo” f = sup{|f (x)| : x X}.

Y directamente de la definici´on es f´acil probar las siguientes propiedades:

(1) f = 0 si y solo si f = 0 (2) λf = |λ| f

´

´

¿PORQU E EL C IRCULO ES CONEXO?:

(3) f + g f + g

(4) fg f g

3

Si X es un espacio compacto Hausdorff C(X) denota las funciones continuas en X, entonces C(X) (X) pues la imagen de un con- junto compacto bajo una funci´on continua es compacto, y como son subconjuntos del plano complejo, son cerrados y acotados.

Proposicion 3. Si X es un espacio compacto Hausdorff C(X) es un espacio completo.

Prueba. Sea {f n } n=1 una sucesi´on de Cauchy, entonces

|f n (x) f m (x)| ≤ f n f m

para cada x X. Entonces {f n (x)} n=1 es una sucesi´on de Cauchy de n´umeros complejos para cada x X, as´ı que podemos definir f (x) = lim n f n (x). As´ı solo necesitamos mostrar que f C(X) y que lim n f f n = 0. Sea > 0, existe N tal que para todo n, m N se cumple que f n f m < . Para x 0 X existe una vecindad U de x 0 tal que |f N (x 0 ) f N (x)| < para todo x U . Entonces,

|f(x 0 ) f(x)|

=

|f(x 0 ) f N (x 0 ) + f N (x 0 ) f N (x) + f N (x) f(x)|

|f(x 0 ) f N (x 0 )| + |f N (x 0 ) f N (x)| +|f N (x) f(x)|

=

n f n (x 0 ) f N (x 0 )| + |f N (x 0 ) f N (x)|

| lim

 

+|f N (x) lim

n f n (x)|

 

=

n |f n (x 0 ) f N (x 0 )| + |f N (x 0 ) f N (x)|

lim

 

+ lim

n |f N (x) f n (x)|

 

3

que implica que f es continua. M´as a´un, si n N y x X, tenemos

|f n (x) f(x)|

=

|f n (x) lim

m f m (x)| = lim

m |f n (x) f m (x)|

lim sup f n f m

m→∞

De hecho si X es metrizable, entonces C(X) es isomorfa a una - sub´agebra cerrada de = (N). Para probar esto, simplemente hacemos µ la medida de probabilidad discreta concentrada en un con- junto denso numerable de X (que se puede por estar en un espacio

4

JOHN STEWART FABILA CARRASCO

metrico compacto y entonces es separable). Es decir si S = {s 1 , s 2 ,

}

el

conjunto denso numerable de X, y tenemos una sucesi´on {a 1 , a 2 ,

}

tal que n=1 a n = 1, entonces definimos µ (s j ) = a j , y la extendemos

a todos los subconjuntos

L (X, µ) para

probar que C(X) es isomorfa a una -sub´agebra cerrada de = (N).

Proposicion 4.

Prueba.

f , entonces f : N C acotada, entonces definimos T : L (X, µ), dada por

} el conjunto denso numerable de X. Sea

como

µ(E) = s i E µ (s i ).

Finalmente usamos el encaje obvio C(X)

=

L (X, µ)

=

Sea S = {s 1 , s 2 ,

T (f )(x) = f (i)

0

si x = s i para alguna i

en cualquier otro caso

Claramente T (f ) L (X, µ) pues f es acotada. Es f´acil probar que es biyectiva (s´olo hay que recordar que los unicos puntos de X que tienen medida distinto de cero son los de S, y los dem´as puntos tienen medida cero). Adem´as es f´acil ver que es una isometr´ıa pues

f

=

sup{|f (n)| : n N}

=

inf {c 0 |f (x)| ≤ c casi en todas partes}

=

f L

As´ı ya probamos que si X es metrizable, entonces C(X ) es isomorfa

a una -sub´agebra cerrada de = (N). El inverso, es decir,que

cualquier -sub´algebra cerrada separable de (X) debe ser de la forma C(Y ) para algun espacio compacto metrico Y ; es un resultado cl´asico del an´alisis funcional que puede encontrarse en [2] como sigue.

Teorema 5. (Gelfand) Cada C -´algebra es -isometricamente iso- morfa a la C -´algebra C 0 (X) para algun espacio compacto y Hausdorff de X

Heinsenber fue quien propuso que los escalares naturales de la f´ısica cu´antica son matrices infinitas:

T =

t 11 t 12 ···

t 21 t 22 ···

.

.

.

.

.

.

.

cuyas entradas t ij C.

ados son las transformaciones lineales u operadores que esas matrices

determinan.

Considerando primero las matrices finitas, sea L(n) las

Para ser m´as precisos, los escalares apropi-

´

´

¿PORQU E EL C IRCULO ES CONEXO?:

5

matrices complejas de tama˜no n × n con las usuales operaciones ma-

triciales de -´algebra, la adici´on, multiplicacion y su adjunto T = [t ij ]. La norma es descrita de mejor manera en t´erminos de los correspondi- entes operadores. Usando la multiplicaci´on de matrices de n × n con el espacio de transformaciones lineales:

L(n) Lin(C n , C n )

=

n

Dando a C n la norma de Hilbert dada por ξ = ( k=1 imos

|ξ k | 2 ) 1/2 defin-

T = sup{ T ξ : ξ 1}.

Ya vimos que esta norma es completa, entonces Lin(C n , C n ) tiene es-

tructura de -´algebra, y por tanto tambi´en las matrices de n × n, y la

denotaremos por

Proposicion 6. Son equivalentes estas definiciones de norma de un operador:

L (n)

(1)

T

=

(2)

=

(3)

=

(4)

=

Prueba.

(1)=(4)

sup{ T ξ : ξ 1} sup{ T x : x = 1} Tx

sup{

x inf {c > 0 : T x c x : x X}

: x

= 0}

Sea α = inf {c > 0 : T x c x : x X}.

cuando −→ 0, tenemos T x T ( x ) y entonces α T .

Por otro lado si T x c x para toda x X, tenemos que T x c

para todo x

{c > 0 : T x c x : x X} entonces T α.

T es cota inferior de

Sea > 0 y entonces

y sacando l´ımites

T

x

+

x

T ,

1,

asi

T x

T ( x + )

c,

as´ı

por tanto T

(2)=(3)sup{ T x : x = 1} = sup{ Tx

x

: x

= 0}

Solo es necesario hacer un cambio de variable y =

y = 1, entonces

x y claramente

x

sup{ T x : x = 1} = sup{ T

x

x

:= x = 1} = sup{ Ty y

: y

= 0}

(3)=(4)sup{ Tx

es clara.

x

: x

= 0} = inf {c > 0 : T x c x : x X} Esta

6

JOHN STEWART FABILA CARRASCO

As´ı terminamos la demostraci´on.

Teorema 7. Teorema Espectral Complejo Suponga que V es un espacio vectorial complejo con producto interno y T Lin(V, V ). En- tonces V tiene una base ortonormal de eigenvalores de T si y solo si T es normal, es decir, T T = T T

Prueba. Supongamos que V tiene una base β ortonormal de eigenval- ores de T,entonces [T ] β es una matriz diagonal, entonces [T ] β es una matriz diagonal, y como las matrices diagonales conmutan entonces

[TT ] β = [T] β [T ] β = [T ] β [T] β = [T T] β

y entonces T es normal.

Ahora supongamos que T es normal, entonces por el corolario 6.28

de [4] existe una base ortonormal β = (e 1 , e 2 ,

, e n ) de V tal que

[T] β =

a 1,1

.

.

.

0

···

.

···

.

.

a 1,n

.

a n,n


De la matriz observamos que

Te 1 2 = |a 1,1 | 2

y

T e 1 2 = |a 1,1 | 2 + |a 1,2 | 2 +

+ |a 1,n | 2

Pero T es normal, entonces T e 1 = T e 1 y de las ecuaciones an- teriores tenemos que todas las entradas a excepci´on talvez de a 1,1 son cero.

Siguiendo el mismo proceso llegamos a que [T ] una matriz diagonal.

Este teorema nos permite calcular rapidamente la norma de una ma- triz, pues AA es normal, y ademas AA = A 2 .

Para el caso dimensionalmente infinito es m´as f´acil empezar con transformaciones m´as que con matrices. Primero definimos C = el

espacio vectorial de sucesiones infinitas ξ = (ξ 1 , ξ 2 ,

) de n´umeros com-

plejos que son cuadables sumables, es decir, para los cuales Σ|ξ k | 2 < , para las cuales usamos la norma de Hilbert

ξ = (

k=1

|ξ k | 2 ) 1/2 ,

´

´

¿PORQU E EL C IRCULO ES CONEXO?:

y el producto punto

ξ · η =

k=1

ξ k η k

7

Ahora definimos L = L = B(C ) el conjunto de transformaciones lineales acotadas T : C C , es decir aquellas para las cuales:

T = sup{ T ξ : ξ 1} <

Ahora proveemos a L con esta norma y las usuales operaciones de -

algebra,´

haciendo T el operador adjunto de T , definido como el unico´

operador que satistace T x, y = x, T y

Proposicion 8. B(C ) es completo con la norma T

Prueba. Sea (T n ) una sucesi´on de Cauchy de operadores acotados en Lin(C n , C n ) y mostraremos que (T n ) converge a un operador acotado

T Lin(C n , C n )

Sea > 0 entonces existe N tal que

T n T m <

m, n N.

Para todo x X y m, n N tenemos

T n x T m x = (T n T m )x T n T m x < x

(1)

Ahora para x fija y , podemos escoger = x tal que x x < , as´ı de (1) tenemos que T n xT m x < , y entonces (T n x) es una sucesi´on de Cauchy en C n , sea y = lim T n (x). Definimos el operador T : C n C n , dado por T x = y. El operador es lineal pues

limT n (αx + βz) = lim(αT n x + βT n Z) = αlimT n x + βlimT n z

Adem´as

T n x Tx = T n x

m T m x = lim

lim

m T n x T m x x

(2)

As´ı T n T y T n es acotado, entonces T es acotado y m´as a´un

tomando supremos de los x = 1 de (2) tenemos

y entonces T n T −→ 0

T n T

Podemos asociar una matriz infinita [T ij ] con T haciendo

T ij = j · δ i , donde δ 1 = (1, 0, 0,

ortonormal usual para C = . El orden natural en es definiendo

es la base

),

δ 2

=

(0, 1, 0,

),

T 0 (diciendo que T es positivo) si T α · α 0 para toda α C .

Denotaremos por L + al correspondiente cono de operadores positivos.

8

JOHN STEWART FABILA CARRASCO

Si T 0 entonces demostraremos la existencia de ra´ız cuadrada posi-

tiva, es decir, existe un operador positivo S = T 1/2 que satisface que

S 0 y S = T 2 .

Teorema 9. Ra´ız Cuadrada P´ositiva. Cada operador positivo, acotado y autoadjunto T, tiene una ra´ız cuadrada positiva A

Prueba.

entonces se cumple sin esa hip´otesis Si T = 0 tomando A = 0 se cumple. Schwarz

Si el teorema se cumple bajo la hip´otesis adicional T I,

Si T

= 0, por la desigualdad de

T x, x T x x T x 2

Haciendo Q =

T

T , obtenemos

Qx, x x 2 = Ix, x

Entonces Q I, asumiento que Q tiene una ra´ız cuadrada positiva

B = Q 1/2 , tenemos que B 2 = Q y la ra´ız cuadrada de T T 1/2 B pues

= T Q es

( T 1/2 B) 2 = T B 2 = T Q = T.

Adem´as de que la unicidad de Q 1/2 implica la unicidad´ de la ra´ız

cuadrada positiva de T. As´ı basta ahora probar el teorema bajo la hipotesis adicional de que

T I y habremos terminado.

Existencia de la ra´ız cuadrada positiva Consideremos la siguiente sucesi´on de operadores

(1) A n+1 = A n + 1 2 (T A n ), n=0,1,2

2

As´ı A n es un polinomio

donde A 0 = 0, asi A 1 = 1 2 T, A 2 = T 1 8 T 2 ,

de T y entonces son autoadjuntos y conmutan entre ellos y con los que conmuta T . Probaremos

(2)

(3)

(4)

A n I, A n A n+1 , A n x −→ Ax,

n

n = 0, 1,

0, 1,

=

A = T 1/2

Demostraci´on de (2).

autoadjunto, (I An 1) 2 0 adem´as I T 0, y de (1) obtenemos

(2):

n > 0, como I An 1 es

Como A 0 I.

Sea

´

´

¿PORQU E EL C IRCULO ES CONEXO?:

9

0

1 2 (I A n1 ) 2 + 2 (I T)

1

1

=

= I A n

I

A n1 2 (T A

2

n1 )

Demostraci´on de (3) Usaremos inducci´on. De la ecuaci´on (1) 0 = A 0

1 = 1 2 T . Supongamos que A n1 A n para todo n implica A n A n+1 .

A

De la ecuaci´on (1) calculamos directamente

A n + 1

2 (T A n ) A n1 1

1

A n+1 A n =

2

2 (T A

= (A n A n1 [I

2

(A n + A n1 )])

2

n1 )

1

Aqu´ı A n A n1 0 por hipotesis de inducci´on y I 2 (A n +A n1 ) 0 por la ecuaci´on (2). Entonces A n+1 A n 0

Demostraci´on de (4).Por lo anterior (A n ) es monotona y acotada por

I entonces existe un operador acotado autoadjunto A tal que A n x −→ Ax. Como (A n x) converge, la ecuaci´on (1) da

A n+1 x A n x = 1 2 (Tx A n x) −→ 0

cuando n −→ ∞, entonces T x A 2 x = 0, es decir T = A 2 y como 0 =

A 0 A n por (3) entonces A n , x, x 0 el cual implica A, x, x 0

por la continuidad del producto interno.

2

Unicidad. Sean A y B ra´ıces cuadradas del operador T. Entonces

A 2 = B 2 = T . Tambi´en BT = BB 2 = B 2 B = T B entonces AB = BA.

Sea y = (A B)x, entonces Ay, y 0 y By, y 0 pues A, B 0.

Como AB = BA y A 2 = B 2 obtenemos

Ay, y + By, y = (A + B)y, y = (A 2 B 2 )x, y = 0

Entonces Ay, y = By, y = 0. Pero A 0 y es autoadjunto, entonces tiene una raiz cuadrada C talque C 2 = A y C es autoadjunto. Entonces tenemos

0 = Ay, y = C 2 y, y = Cy, Cy = Cy 2

y Cy = 0. Tambi´en Ay = C 2 y = C(Cy) = 0. Similarmente. By = 0. Entonces (A B )y = 0. Usando y = (A B)x

Ax Bx 2 = (A B) 2 x, x = (A B)y, x = 0

10

JOHN STEWART FABILA CARRASCO

As´ı Ax Bx = 0 y entonces A = B

Dado cualquier operador T , T T 0 puesto que T ·α = 2 0; as´ı el valor absoluto de T es definido por |T | = (T T) 1/2 .

Las funciones en f´ısica frecuentemente se comportan como oper-

adores. A menudo esiste una base ortonormal {ξ n } tal que el operador se puede diagonalizar, es decir, poner de la forma:

0

T =

 

λ 1

0

0

0

0

λ 3

···

 

···

···

. .

.

. .

λ 2

0

.

. .

donde los λ j de la diagonal decrecen y forman una sucesi´on acotada de eigenvalores del operador. Entonces podemos pensar a la sucesi´on

de λ 1 , λ 2 ,

la matriz T con respecto a la base ortonormal anterior del ”operador multiplicaci´on” M (λ) : 2 2 dado por (M (λ)ξ)(n) = λ(n)ξ(n). Es f´acil ver que T = λ .

Proposicion 10. T = λ .

Prueba.

1} entonces

como una funci´on λ : N C, y as´ı entonces tenemos es

Como {|λ(n)|

:

n

N}

⊆ { T ξ : ξ

T λ . Sea ξ 1 entonces |ξ n | 2 1 y entonces

=

|λ(n)||ξ n | 2 sup(|λ(n)|)|ξ n | 2

=

sup(|λ(n)|) |ξ n | 2 sup(|λ(n)|)

=

λ .

M´as generalmente operadores con ”espectro no discreto” juegan un papel muy importante. Estos pueden construirse reemplazando C = por un espacio de Hilbert de la forma L 2 (X, µ) para algun espacio de medida positiva (X, µ). Entonces podemos pensar a las funciones en este espacio como ”X-tuplas”,una forma de visualizarla es la funci´on ξ como parejas ordenadas de la forma (x, ξ(x)), o m´as a´un una verla de la siguiente forma

 

x

x

ξ

=

(

←−

ξ(x)

ξ(x )

−→

)

´ ´

¿PORQU E EL C IRCULO ES CONEXO?:

11

Con las correspondientes operaciones algebr´aicas

ξ + η

=

(

←−

x ξ(x) + η(x)

x ξ(x )η(x )

−→

)

 

x

x

 

αξ

=

(

←−

αξ(x)

αξ(x )

−→

)

y el producto punto

ξ · η = X ξ(x)η(x)(x).

Dada una funcion medible acotada λ en X, la correspondiente diagonal

o

(M (λ)ξ)(x) = λ(x)ξ(x)

.

En t´erminos de la ”base continua δ(x) indexada por X” la ”matriz” de M (λ) est´a dada por

matriz de multiplicaci´on M (λ) est´a dada por

M(λ) =

0

λ(x)

λ(x )

0

Es tambi´en muy valioso poder asociar operadores m´as generales a T con funciones o funciones generalizadas K(x, y) haciendo

(x) = K(x, y)ξ(y)(y).

La diferencia m´as sorprendente entre los escalares cl´asicos y los es- calares cu´anticos son evidentes cuando consideramos m´as de un oper- ador. Los operadores S y T no necesitan conmutar. En particular, si

ST

= T S, entonces no pueden ser diagonalizados simult´aneamente S

y T , pues las matrices diagonales conmutan.

Veremos un ejemplo donde dos operadores no cunmutan. Sea T 1 , T 2 :

2 2 dado por T 1 (a 1 , a 2 ,

para todo (a 1 , a 2 ,

)

=

(0, a 1 , a 2 ,

)

y

T 2 (a 1 , a 2 ,

)

=

) 2 . Entonces T 1 T 2 (a 1 , a 2 ,

)

=

(a 2 , a 3 ,

(0, a 2 , a 3 ,

)

y

)

12

JOHN STEWART FABILA CARRASCO

T 2 T 1 (a 1 , a 2 ,

Sean x = (x 1 , x 2 ,

)

=

(a 1 , a 2 ,

y

),

y entonces no conmutan los operadores.

)

2 , entonces

),

= (y 1 , y 2 ,

T 1 x · y

=


=

(0, x 1 , x 2 ,

x i y i+1

=

i=1

(x 1 , x 2 ,

)

)

· (y 1 , y 2 ,

)

· (y 2 , y 3 ,

)

= x · T 2 y

T

2

Por lo anterior tenemos que T

= T 2 . An´alogamente mostramos que

1

= T 1 pues

T 2 x · y

=


=

(x 2 , x 3 ,

)

x i+1 y i

=

i=1

(x 1 , x 2 ,

)

·

·

(y 1 , y 2 ,

)

(0, y 1 , y 2 , y 3 ,

) = x · T 1 y.

Proposicion 11. Si S y T son dos operadores simult´aneamente diag- onilizables, entonces ST = T S

Prueba. Si S y T son operadores simult´aneamente diagonalizables, entonces [S] β y [T] β son matrices diagonales para alguna base orde- nada β y recordando que cualquiera 2 matrices diagonales conmutan, entonces [ST ] β = [S] β [T] β = [T] β [S] β = [TS] β y entonces ST = T S.

F´ısicamente, esta no-conmutatividad es un reflejo del Principio de Incertidumbre de Heisenberg.

Es por tanto muy util considerar a L como una ”analog´ıa cuanti- zada de .” Por una C -´algebra separable, entenderemos como una -sub´algebra de L cerrada y separable con unidad. Como vimos las algebras C(X ), donde X es un espacio m´etrico compacto son todas las -sub´algebras cerradas y separables de , es natural pensar las C -´algebras separables como la ”analog´ıa cuantizada de C(X)”. El - algebra´ C(X) es en si mismo una C -´algebra pues el mapeo f M f provee un -isomorfismo y una isometria de a L

3. El Grupo de C -algebras´

Todos los espacios separables de Hilbert dimensionalmente infinitos

son isometricos. Entonces para culquier espacio de Hilbert H, tenemos que B(H) B(C ) = L . Tenemos por ejemplo que

C = 2 2 (Z) L 2 (T 1 )

=

=

=

´ ´

¿PORQU E EL C IRCULO ES CONEXO?:

13

donde T 1 denota el c´ırculo con la medida de Lebesgue normalizada (ξ)

Proposicion 12. f (ξ)(ξ) = π f(e ıθ )para f C(T 1 ).

Prueba. Consideramos el intervalo [0, 2π] con la medida de Lebesgue restringida, ahora consideramos la medida imagen al circulo unitario (considerado como un subconjunto de los complejos) a travez de la funci´on ϕ : [0, 2π] T 1 dada por ϕ(θ) = e ıθ . Ahora solo aplicando el Teorema a trav´es de la imagen medida obtenemos el resultado pedido:

π

π

f (ξ)(ξ) =

π

f(e ıθ )

Es necesario normalizar la medida de [0, 2π] por eso consideraremos

f (ξ)(ξ) =

π

2π

1

π

f(e ıθ )

para f C(T 1 ). Una isometr´ıa entre 2 y 2 (Z) puede ser constru´ıda reordenando los vectores basicos.

Proposicion 13. 2

Ya vimos que si i N e i : N C est´a dada por

Prueba.

= 2 (Z)

e i =

1,

0,

x = i;

x

= i.

asi el conjunto {e 1 , e 2 ,

claro que para cada i Z, la funci´on c i : N C dada por

} es una base ortonormal de 2 . Tambi´en es

c i =

1,

0,

x = i;

x

= i.

vuelven a ser una base ortonormal de 2 (Z), renumerando esta base

podemos obtener

La isometr´ıa esta dada por

{f 1 , f 2 ,

} base ortonormal de 2 (Z).

para toda g 2 .

T(g) =

k=1

u, e k f k

Para ver directamente que 2 (Z) y L 2 (T 1 ) son isom´etricos, uno puede afirmar que las funciones e k (ξ) = ξ k forman una base ortonormal para L 2 (T 1 ). Primero recordemos un resultado de Variable Compleja cuya demostraci´on se encuentra en [5]:

14

JOHN STEWART FABILA CARRASCO

Teorema 14. Si f : T 1 C entonces existe una sucesi´on {p n (z, z)} de polinomios en z y z tal que p n (z, z) f(z)

Proposicion 15. Para cada n Z, definimos e