Page 122 - Advanced Linear Algebra
P. 122

106    Advanced Linear Algebra




            Corollary 3.20 Let     B ²= Á > ³ , where  =   and  >   are finite-dimensional.

            Then rk²³ ~  rk²    d  . ³ …
            In the finite-dimensional case,   and      d  can both be represented by matrices.
            Let

                             8                9 ~²  Á Ã Á   ³ and   ~²  Á Ã Á   ³


            be ordered bases for   and  >  , respectively, and let
                             =
                                                    i
                                                          i
                            8  i   i     i    9 ~²  Á Ã Á   ³ and   i  ~²  Á Ã Á   ³

            be the corresponding dual bases. Then
                                                    i


                                ²´ µ 89Á  ³    Á     ~²´   µ ³ ~  ´   µ
                                              9

            and
                                   i
                                            i
                                            i
                 ²´    d  µ Á 98 i  ³    Á     ~ ²´    d  ²  ³µ ³ ~   ´    d  ²  ³µ ~    i     d  ²  ³²  ³ ~   ²   ³     i       i
                                      i
                      i
                                        8


            Comparing the last two expressions we see that they are the same except that the
            roles of   and   are reversed. Hence, the matrices in question are transposes.



                               B
            Theorem 3.21 Let  ²= Á > ³ , where   and >   are finite-dimensional. If  8

                                              =
                                     =
            and   are ordered bases for   and  >  ,  respectively,  and 8  i    and 9  i    are  the
                9
            corresponding dual bases, then
                                    ´  d  µ   98  i  ~ Á  ²  ´  µ    8 9  ³ Á  !
                                        i
            In words, the matrices of   and its operator adjoint    d  are transposes of one

            another.…
            Exercises
            1.  If   is infinite-dimensional and   is an infinite-dimensional subspace, must
                 =
                                          :
               the dimension of =°:  be finite? Explain.
            2.  Prove the correspondence theorem.
            3.  Prove the first isomorphism theorem.
            4.  Complete the proof of Theorem 3.9.
                   :
                                    =
            5.  Let   be a subspace of  . Starting with a basis ¸  ÁÃÁ  ¹  for :Á   how


               would you find a basis for =°: ?
            6.  Use the first isomorphism theorem to prove the rank-plus-nullity theorem
                                   rk²³ b  null²³ ~ dim ²= ³


               for    B ²= Á > ³  and dim ²= ³  B .
            7.  Let     B ²= ³   and  suppose that   is a subspace of  =  . Define a map
                                            :
                 Z
                 ¢ = °: ¦ = °: by
   117   118   119   120   121   122   123   124   125   126   127