This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Distance between flats Jonathan L.F. King University of Florida, Gainesville FL 326112082, USA squash@ufl.edu Webpage http://www.math.ufl.edu/ squash/ 15 November, 2011 (at 07:53 ) For a general field F and vectors u , w in an Fvector space, define the line through u in direction w : LinDir( u , w ) := { u + t w  t F} . We now happily specialize to an IP ( innerproduct ) space V over field F C which is sealed under complexconjugation; C : F = F . Our IP is conjugatelinear in its 1 st argument. I.e, for every F and u , w V : h u , w i = h u , w i and h u , w i = h u , w i . Proj and Orth. For a directionvector D 6 = and arbitrary u V , we define the orthogonalprojection operator: Proj D ( u ) := h D , u i h D , D i D . 1 : Our IP is linear in its 2 nd argument, so formula (1) indeed satisfies that Proj D ( u ) = Proj D ( u ). This immediately gives that Proj D is idempotent: Write w := Proj D ( u ) = D , where := h D , u i h D , D i . Then Proj D ( w ) equals Proj D ( D ) = D = w . Lets also check that the difference u Proj D ( u ) is orthogonal to D : Well, D , u Proj D ( u ) equals h D , u i  h D , w i = h D , u i  h D , D i...
View
Full
Document
This note was uploaded on 01/26/2012 for the course MAS 4105 taught by Professor Rudyak during the Fall '09 term at University of Florida.
 Fall '09
 RUDYAK

Click to edit the document details