424 CHAPTER 17. INNER PRODUCT SPACES