Page 241 - DMTH505_MEASURE_THEOREY_AND_FUNCTIONAL_ANALYSIS
P. 241

Measure Theory and Functional Analysis




                    Notes          Now we show that
                                                                  : (N)   (N*) given by
                                                                    (T) T *                                … (5)

                                   for every T    (N) is an isometric isomorphism which reverses the product and preserve the
                                   identity transformation.
                                   The isometric character of   follows by using (5) as seen below:

                                                             (T)  =   T*   =   T  .
                                   Next we show that   is linear and one-to-one. Let T, T     (N) and  ,   be any scalars. Then
                                                                              1
                                                      (  T +   T ) = (  T +   T)*                         by (3)
                                                             1
                                   But         [(  T +  T )* (f)] (x) = f (  T +   T ) (x)
                                                       1                  1
                                                               = f (  T (x) +   T  (x) )
                                                                            1
                                   Since f is linear, we get
                                                 [(  T +  T )* (f)] =   f (T (x)) +   f (T  (x))
                                                          1                    1
                                                               =   [T* (f) (x) +  T * (f)  (x)]
                                                                               1
                                                               =   [T *(f)]  [T * (f)](x)
                                                                               1
                                      x   N. Hence we get
                                                 [(  T +   T )* (f)] =   [T* (f)] +  [T * (f) ]
                                                          1                   1
                                                               =   T *  T * (f)
                                                                          1
                                   Hence             (  T +   T )* =   T* +   T *                          … (6)
                                                             1           1
                                   Therefore          (  T +   T ) = (  T +   T )* =   T* +  T *  =    (T) +    (T )
                                                             1           1            1             1
                                      is linear.
                                   To show   is one-to-one, let   (T) =  (T )
                                                                  1
                                   Then T* =  T *
                                             1
                                      T *  T * 1  = 0
                                   Using (6) by choosing   = 1,   = – 1 we get

                                                           (T – T )*   = 0     T – T    = 0 or T = T .
                                                               1            1          1
                                       is one-to-one.
                                   Hence  is an isometric isomorphism on   (N) onto  (N*).
                                   Finally we show that  reverses the product and preserves the identity transformation.

                                   Now             [(T T )* (f)] (x) = f ((T T ) (x))
                                                       1              1
                                                               = f (T (T  (x))
                                                                      1
                                                               = [T* (f)] [T  (x)], since T  (x)   N and T* (f)   N*.
                                                                        1          1





          234                               LOVELY PROFESSIONAL UNIVERSITY
   236   237   238   239   240   241   242   243   244   245   246