Chapter 3. Normed vector spaces - Trinity College Dublin