Frames and Bases in Tensor Product of Hilbert Spaces
Total Page:16
File Type:pdf, Size:1020Kb
Intern. Math. Journal, Vol. 4, 2003, no. 6, 527 - 537 :: Frames and Bases in Tensor Product of Hilbert Spaces Amir Khosravi Faculty of Mathematical Sciences and Computer Engineering University For Teacher Education, Taleghani Ave. 599 Tehran 15614, Iran e-mail: [email protected]@yahoo.com M. S. Asgari Department of Mathematics, Science and Research Branch Islamic Azad University, Tehran, Iran e-mail: [email protected] Abstract In this article we develop a theory for frames in tensor product of Hilbert spaces. We show that like bases if YI, ... ,Yn are frames for HI,. .. , Hn, respectively, then is a frame for HI @... @Hn. Moreover we consider the canonical dual frame in tensor product space. We further obtain a relation between the dual frames in Hilbert spaces, and their tensor product. ;; Mathematics Subject Classification: 41A38, 42C15 and 43A70 Keywords: Frame, bases, Tensor product, Frame operator, Dual frame, Hilbert space. - 1 Introduction In 1946 Gabor [7]introduced a technique for signal processing which led even- tually to wavelet theory. Later in 1952 Duffin and Schaeffer [5] introduced frame theory for Hilbert spaces. In 1986 Daubechies, Grossmann and Meyer [4] show that Duffin and Schaeffer's definition was an abstraction of Gabor's 528 Amir Khosravi and M. S. Asgari concept. Nowadays frames work as an alternative to orthonormal bases in Hilbert spaces which has many advantages [9]. Since tensor product is use- ful in approximation theory, in this article we consider the frames in tensor product of Hilbert spaces and extend some of the known results about bases to frames. Let H be a separable complex Hilbert space. As usual we denote the set of all bounded linear operators on H by B (H). We use N, Z, IR and C to denote the natural numbers, integers, real numbers and complex numbers, respectively. I, J and every Ji will denote generic countable (or finite) index sets. We will always use El = {ei hE! and E2 = {Uj} jEJ to denote orthonormal bases for Hand K, respectively. A sequence {xn} in a Hilbert space H is called a frame for H, if there exist two constants A, B > 0 such that for all x E H. (1) n The numbers A and B are called the frame bounds. The frame {xn} is called a tight frame if we can choose A = B and a normalized tight frame if A = B = 1. Therefore {xn} is a normalized tight frame if and only if for every x E H, IIxI12= 2:n I < x, Xn> 12.If {Xn} is a normalizedtight frame, then for every x EH, x = 2:n < X,Xn > Xn (at least in the weakly convergent sense). Conversely, if {xn} is a sequence in H such that the equation x = 2:n < x, Xn > Xn holds for every x E H (the convergence can be either in the weakly convergent sense or in the norm convergent sense) then {xn} is a normalized tight frame for H. Obviously every orthonormal basis is a normalized tight frame. Throughout this paper, all of the Hilbert spaces will be separable and complex. For convenience we will denote the inner product of all Hilbert spaces by < .,. >. 2 Frame In Tensor Product In this section we consider the tensor product of Hilbert spaces and we gener- alize some of the known results about bases to frames. There are several ways of defining the tensor product of Hilbert spaces. Folland in [6], Kadison and Ringrose in [11] have represented the tensor product of Hilbert spaces Hand K as a certain linear space of operators. Since we used their results firstly we state some of the definitions. Let Hand K be Hilbert spaces. Then we consider the set of all bounded antilinear maps from K to H. The operator norm of an antilinear map T is defined as in the linear case: IITII = sup IITxlI. (2) IJxll=l Frames and Bases in Tensor Product of Hilbert Spaces 529 The adjoint of a bounded antilinear map T is defined by < T*x,y >=< Ty,x > for all x E H, y E K. (3) Note that the map T t---7 T* is linear rather than antilinear. Suppose T is an antilinear map from K into H and El = {eihEI and E2 = {Uj }jEJ are orthonormal bases for Hand K, respectively. Then by the Parseval identity L IITujll2 = L IIT*eiIl2 (4) j This shows that L:j IITujl12is independent of the choice of basis E2. Definition 2.1 Let Hand K be Hilbert spaces. Then the tensor product of Hand K is the set H 0 K of all antilinear maps T : K --+ H such that L:j IITUj112< 00 for some, and hence every, orthonormal basis E2 of K. Moreover for every T E H 0 K we set IIITIW = L IITuj1l2. (5) j By Theorem 7.12 in [6],H 0 K is a Hilbert space with the norm 111.111 and associated inner product < Q,T >= L < QUj,Tuj >, (6) j where E2 = {Uj}jEJ is any orthonormal basis of K. Let x E Hand y E K. Then we define the map x 0 y by (x 0 y)(y') =< y,y' > x, (y' E K). (7) Obviously x 0 y belongs to H 0 K. Let T E H0K. Hx,x' E Hand y,y' E K, then by [6] IIITIII = IIIT*III, (8) IIlx0 ylll = Ilxllllyll, (9) " , , < x0y,x .0y > =< x, x >< y,y >. (10) - Suppose El = {ei}iEI and E2 = {Uj}jEJ are orthonormal bases for Hand K, respectively. Then, El 0 E2 = {ei 0 Uj : i El, j E J} is an orthonormal basis for H 0 K, by Proposition 7.14 in [6]. Now we can generalize Theorem 2.6.4 of [11] and Proposition 7.14 of [6]to frames. 530 Amir Khosravi and M. S. Asgari Theorem 2.2 Let HI,'" ,Hn beHilbert spaces andYI = {YI,ihEJp'" ,Yn = {Yn,ihEJnbeframesfor HI,'" ,Hn, withframe boundsAI, BI;'" ;An, Bn, re- spectively. Then is a frame for HI 0 ... 0 Hn with frame bounds AIA2'" An and BIB2'" Bn. In particular, if YI, . .. ,Yn are normalized tight frames, then it is a normalized tight frame. By using the associativity of tensor product [11, Proposition 2.6.5]and by induction it is enough to prove the theorem for n = 2. Theorem 2.3 Let {Xn}nEI and {Ym}mEJ be frames for Hand K, respec- tively. Then {xn 0 Ym}nEI,mEJis a frame for H 0 K. Moreover, {xn 0 Ym} is a normalized tight frame if {xn} and {Ym} are. Proof. Let A, Band C, D be the bounds of the frames {xn} and {Yn}, re- spectively. Then by the Parseval identity, for all T E H 0 K we have < T,xn 0Ym > = L < TUj,xn0Ym(uj) >= L < TUj, < Ym,Uj > Xn > j j = L < Ym,Uj > < TUj,xn > j =< L < Ym,Uj >Tuj,xn > (T is an antilinear map) j =< T(L < Ym,Uj > Uj), Xn >=< TYm, Xn > . j Therefore L:n L:m I < T, Xn 0 Ym > 12 = L:n L:m 1 < TYm, Xn > 12. Since {xn} is a frame for H, it follows that for every m E J2, n and (11) m m n m Moreover, since El is an orthonormal basis for H, then by the Parseval identity (12) Frames and Bases in Tensor Product of Hilbert Spaces 531 ; Now by using the fact that {Ym} is a frame for K and by (4), we conclude that L IITYml12 = LL 1< T*ei,Ym > 12 m m i =LL 1< T*ei,Ym > 12 i m :::; D L IIT*eiI12= D L IITUjl12 = DIIITII12, i j and similarly, L IITYml12 ~ CL IIT*ei112= CL IITUjl12 = CIIITIW. m i j Thus (13) m Therefore by inequalities (11) and (13), we get ACIIITIW:::;LLI < T,xn0Ym > 12:::; BDIIITIW. n m Thus {Xn 0 Ym} is a frame for H 0 K. <> For the converse we have the following result. Theorem 2.4 Let {Tn}nEJ be a frame for H 0 K. Then for each Xo E H and Yo E K the sequences {TnYo}nEJ and {T~Xo}nEJ are frames for Hand K, respectively. Moreover these are tight frames, if {Tn}nEJ is. Proof. Let A, B be the frame bounds for {Tn}nEJ. As we saw in the proof of Theorem 2.1, for all x E H we have < x (8)Yo,Tn >=< x, TnYo> . Since {Tn}nEJ is a frame for H 0 K, we have n Hence n Therefore {TnYo}nEJ is a frame for H. Similarly, since for all Y E K < Y,T:xo >=< Xo,TnY >=< Xo(8)Y, Tn >, we conclude that {T~XO}nEJ is also a frame for K. <> Corollary 2.5 If {Tn}nEJ is a frame for H 0 K, then for each Xo E Hand Yo E K the sequence {Tn(Yo0 xo)Tm} is also a frame for H 0 K. 532 Amir Khosravi and M. S. Asgari Proof. In view of Theorems 2.3 and 2.4, the sequence {TnYo@T~xo} is a frame for H @K. On the other hand, since Tn is antilinear, for every Y E K TnYo @T~xo(Y) =< T~xo,Y > TnYo=< Tmy,Xo> TnYo= Tn(Yo@xo)Tm(Y). Hence {Tn(Yo @ xo)Tm} is a frame for H @ K. <> Theorem 2.6 If Q E B(H) is an invertible operator and {Tn}nEJ is a frame in H @ K, then the sequence {QTn}nEJ is also a frame for H @ K.