Hilbert Spaces I: Basic Properties

Total Page:16

File Type:pdf, Size:1020Kb

Hilbert Spaces I: Basic Properties HS I c Gabriel Nagy Hilbert Spaces I: Basic Properties Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce an important class of Banach spaces, which carry some additional geometric structure, that enables us to use our two- or three-dimensional intuition. Convention. Throughout this note all vector spaces are over C. A. Algebraic Preliminaries: Sesquilinear Forms Definition. Given two vector spaces X and Y, a map φ : X × Y → C is said to be a sesquilinear form on X × Y, if: • for every x ∈ X , the map Y 3 y 7−→ φ(x, y) ∈ C is linear; • for every y ∈ Y, the map X 3 x 7−→ φ(x, y) ∈ C is conjugate linear, meaning that the conjugate map X 3 x 7−→ φ(x, y) ∈ C is linear. Exercise 1♥. Given a sesquilinear form φ on X × Y, prove that the map ? φ : Y × X 3 (y, x) 7−→ φ(x, y) ∈ C is a sesquilinear form on Y × X . This map is referred to as the adjoint of φ. For the remainder of this sub-section we are going to restrict our attention to the case when X = Y. In this case Lemmas 1-3 contain three easy but fundamental results. Lemma 1 (The Parallelogram Law). If X is a vector space and φ : X × X → C is a sesquilinear form, then φ(x + y, x + y) + φ(x − y, x − y) = 2φ(x, x) + φ(y, y), ∀ x, y ∈ X . (1) Proof. This follows directly, using the properties of sesquilinear forms, which yield φ(x + y, x + y) = φ(x, x) + φ(x, y) + φ(y, x) + φ(y, y), φ(x − y, x − y) = φ(x, x) − φ(x, y) − φ(y, x) + φ(y, y), for all x, y ∈ X . Lemma 2 (The Polarization Identity). If X is a vector space and φ : X × X → C is a sesquilinear form, then 3 1 X φ(x, y) = i−kφ(x + iky, x + iky), ∀ x, y ∈ X . (2) 4 k=0 1 Proof. Denote by T4 the set of roots of unity of order 4, that is, T4 = {±1, ±i}, so that the sum in the right-hand side of (2) simply reads P ζφ¯ (x + ζy, x + ζy). ζ∈T4 By the properties of sesquilinear forms, we have φ(x + ζy, x + ζy) = φ(x, x) + φ(ζy, x) + φ(x, ζy) + φ(ζy, ζy) = = φ(x, x) + ζφ¯ (y, x) + ζφ(x, y) + ζζφ¯ (y, y), ∀ x, y ∈ X , ζ ∈ C. If we specialize to the case when ζ ∈ T, i.e. |ζ| = 1(= ζζ¯ ), then the above calculation yields ζφ¯ (x + ζy, x + ζy) = ζφ¯ (x, x) + ζ¯2φ(y, x) + φ(x, y) + ζφ¯ (y, y), and then the sum in the right-hand side of (2) is: 3 X X X i−kφ(x + iky, x + iky) = ζ¯ · φ(x, x) + φ(y, y) + ζ¯2 · φ(y, x) + 4φ(x, y), k=0 ζ∈T4 ζ∈T4 so by the obvious identities P ζ¯ = P ζ¯2 = 0, the desired identity (2) follows. ζ∈T4 ζ∈T4 Definitions. Let X be a vector space, and let φ : X × X → C be a sesquilinear form. A. We say that φ is hermitian, if φ? = φ, which means: φ(x, y) = φ(y, x), ∀ x, y ∈ X . (3) B. We say that φ is positive definite, if: φ(x, x) ≥ 0, ∀ x ∈ X . (4) C. We say that φ is strictly positive definite, if: (i) φ is positive definite, and (ii) φ(x, x) = 0 ⇒ x = 0. Remarks 1-3. Let φ : X × X → C be a sesquilinear form. 1. The condition that φ is hermitian is equivalent to the condition: φ(x, x) ∈ R, ∀ x ∈ X . (5) The implication “hermitian” ⇒ (5) is trivial. Conversely, if φ satisfies (5), then (using the notations from the proof of Lemma 2), by the Polarization Identity we have 1 X 1 X φ(y, x) = ζφ(y + ζx, y + ζx) = ζφ(y + ζx, y + ζx), 4 4 ζ∈T4 ζ∈T4 so using the “change of variable” γ = ζ¯, we also get 1 X φ(y, x) = γ¯φ(y +γx, ¯ y +γx ¯ ), (6) 4 γ∈T4 2 and now the desired identity (3) follows from the properties of sesquilinear forms, which imply φ(y +γx, ¯ y +γx ¯ ) = φγ¯(x + γy), γ¯(x + γy) = = γγφ¯ (x + γy, x + γy) = φ(x + γy, x + γy), ∀ γ ∈ T4, so when we go back to (6), again by the Polarization Identity we get 1 X φ(y, x) = γφ¯ (x + γy, x + γy) = φ(x, y). 4 γ∈T4 2. If φ is hermitian, then it satisfies φ(x + y, x + y) = φ(x, x) + φ(y, y) + 2Re φ(x, y), (7) φ(x − y, x − y) = φ(x, x) + φ(y, y) − 2Re φ(x, y), (8) for all x, y ∈ X . These two identities are referred to as the Law of Cosine. 3. If φ is positive definite, then φ is hermitian. This follows immediately from Remark 1. Lemma 3 (Cauchy-Buniakowski-Schwartz Inequality). If φ : X × X → C, then |φ(x, y)|2 ≤ φ(x, x) · φ(y, y), ∀ x, y ∈ X . (9) Furthermore, if φ(x, x) 6= 0, then one has equality in (9), if and only if there exists ζ ∈ C, such that φ(ζx + y, ζx + y) = 0. (10) Proof. Fix x and y, and note that, by the Law of Cosine, one has 2 2 0 ≤ φ(αx + βy, αx + βy) = |α| φ(x, x) + 2Re αβφ¯ (x, y) + |β| φ(y, y), ∀ α, β ∈ C. (11) Fix now β ∈ C, with |β| = 1, such that βφ(x, y) = |φ(x, y)|, and define the function g : R 3 t 7−→ φ(tx + βy, tx + βy) ∈ R, which by (11) can equivalently be written as 2 g(t) = t φ(x, x) + 2t|φ(x, y)| + φ(y, y), t ∈ R. (12) By positive definiteness, we also know that g(t) ≥ 0, ∀ t ∈ R. (13) We now have two cases to consider: (i) φ(x, x) = 0; (ii) φ(x, x) > 0. In case (i) – when g is a polynomial of degree 1 – condition (13) forces g to be constant, so φ(x, y) = 0, and then (9) is trivial. In case (ii) it follows that g is a quadratic polynomial (with positive leading coefficient), so condition (13) forces the discriminant ∆ to be non-positive, i.e. 4|φ(x, y)|2 − 4φ(x, x) · φ(y, y) ≤ 0, from which (9) is trivial. Furthermore, if equality holds in (9), this means that 3 ∆ = 0, so the equation g(t) = 0 has a unique real solution t0, which means precisely that φ(t0x + βy, t0x + βy) = 0, so we also get ¯ ¯ ¯ ¯ ¯ φ(t0βx + y, tβx + y) = φ β(t0x + βy), β(t0x + βy) = ββφ(t0x + βy, t0x + βy) = 0, ¯ so (10) holds with ζ = t0β. Conversely, if (10) holds for some ζ, then by (9) it follows that 0 ≤ |φ(x, ζx + y)|2 ≤ φ(x, x) · φ(ζx + y, ζx + y) = 0, 0 ≤ |φ(y, ζx + y)|2 ≤ φ(y, y) · φ(ζx + y, ζx + y) = 0, which give φ(x, ζx + y) = φ(y, ζx + y) = 0, so we get φ(x, y) = −ζφ(x, x) and φ(y, y) = −ζφ(y, x) = −ζφ(x, y) = ζζφ¯ (x, x), thus clearly forcing |φ(x, y)|2 = |ζ|2φ(x, x)2 = φ(x, x) · φ(y, y). The final result in this sub-section establishes the characterization of positive definite sesquilinear forms in terms of convexity. Theorem 1. Let X be a C-vector space. For a map q : X → [0, ∞), the following are equivalent. (i) There exists a positive definite sesquilinear form phi : X × X → C, such that q(x) = pφ(x, x), ∀ x ∈ X . (14) (ii) q is a seminorm on X , which satisfies the Parallelogram Law: q(x + y)2 + q(x − y)2 = 2q(x)2 + 2q(y)2, ∀ x, y ∈ X . (15) Moreover, φ is unique and satisfies the Polarization Identity: 3 1 X φ(x, y) = i−kq(x + iky)2, (16) 4 k=0 Proof. (i) ⇒ (ii). Assume q is defined by (14), and let us prove first that q is a seminorm. Since φ(ζx, ζx) = ζζφ¯ (x, x) = |ζ|2φ(x, x), by taking square roots, it follows that q(ζx) = |ζ| · q(x), ∀ ζ ∈ C, x ∈ X . To prove the triangle inequality, we use the Law of Cosine and the Cauchy-Buniakowski- Schwartz Inequality, which gives: φ(x + y, x + y) = |φ(x + y, x + y)| = |φ(x, x)| + 2Re φ(x, y) + φ(y, y)| ≤ = |φ(x, x) + 2|φ(x, y)| + φ(y, y) ≤ ≤ φ(x, x) + 2pφ(x, x) · φ(y, y) + φ(y, y) = pφ(x, x) + pφ(y, y)2, so by taking square roots we get q(x + y) ≤ q(x) + q(y), ∀ x, y ∈ X . 4 The fact that q satisfies the Parallelogram Law (15), as well as the Polarization Identity (16) is immediate from Lemmas 1 and 2. (ii) ⇒ (i). Assume q be a seminorm that satisfies the Parallelogram Law (15), define φ : X × X → C by (16), and let us prove that φ is positive definite, and it also satisfies (14). Claim 1: φ(y, x) = φ(x, y), ∀ x, y ∈ X . Fix x, y ∈ X , so by definition, we have 3 1 X φ(y, x) = ikq(y + ikx)2. (17) 4 k=0 Since q is a seminorm, we have q(y + ikx) = qik(x + i−ky) = |ik| · q(x + i−ky) = q(x + i−ky), 1 P3 k −k 2 ∀ k = 0,..., 3, so if we go back to (17) we now have φ(y, x) = 4 k=0 i q(x + i y) , and using the notations from Lemma 2 we have 1 X 1 X φ(y, x) = ζq(x + ζy¯ )2 = ζq¯ (x + ζy)2 = φ(x, y).
Recommended publications
  • FUNCTIONAL ANALYSIS 1. Banach and Hilbert Spaces in What
    FUNCTIONAL ANALYSIS PIOTR HAJLASZ 1. Banach and Hilbert spaces In what follows K will denote R of C. Definition. A normed space is a pair (X, k · k), where X is a linear space over K and k · k : X → [0, ∞) is a function, called a norm, such that (1) kx + yk ≤ kxk + kyk for all x, y ∈ X; (2) kαxk = |α|kxk for all x ∈ X and α ∈ K; (3) kxk = 0 if and only if x = 0. Since kx − yk ≤ kx − zk + kz − yk for all x, y, z ∈ X, d(x, y) = kx − yk defines a metric in a normed space. In what follows normed paces will always be regarded as metric spaces with respect to the metric d. A normed space is called a Banach space if it is complete with respect to the metric d. Definition. Let X be a linear space over K (=R or C). The inner product (scalar product) is a function h·, ·i : X × X → K such that (1) hx, xi ≥ 0; (2) hx, xi = 0 if and only if x = 0; (3) hαx, yi = αhx, yi; (4) hx1 + x2, yi = hx1, yi + hx2, yi; (5) hx, yi = hy, xi, for all x, x1, x2, y ∈ X and all α ∈ K. As an obvious corollary we obtain hx, y1 + y2i = hx, y1i + hx, y2i, hx, αyi = αhx, yi , Date: February 12, 2009. 1 2 PIOTR HAJLASZ for all x, y1, y2 ∈ X and α ∈ K. For a space with an inner product we define kxk = phx, xi . Lemma 1.1 (Schwarz inequality).
    [Show full text]
  • Majorana Spinors
    MAJORANA SPINORS JOSE´ FIGUEROA-O'FARRILL Contents 1. Complex, real and quaternionic representations 2 2. Some basis-dependent formulae 5 3. Clifford algebras and their spinors 6 4. Complex Clifford algebras and the Majorana condition 10 5. Examples 13 One dimension 13 Two dimensions 13 Three dimensions 14 Four dimensions 14 Six dimensions 15 Ten dimensions 16 Eleven dimensions 16 Twelve dimensions 16 ...and back! 16 Summary 19 References 19 These notes arose as an attempt to conceptualise the `symplectic Majorana{Weyl condition' in 5+1 dimensions; but have turned into a general discussion of spinors. Spinors play a crucial role in supersymmetry. Part of their versatility is that they come in many guises: `Dirac', `Majorana', `Weyl', `Majorana{Weyl', `symplectic Majorana', `symplectic Majorana{Weyl', and their `pseudo' counterparts. The tra- ditional physics approach to this topic is a mixed bag of tricks using disparate aspects of representation theory of finite groups. In these notes we will attempt to provide a uniform treatment based on the classification of Clifford algebras, a work dating back to the early 60s and all but ignored by the theoretical physics com- munity. Recent developments in superstring theory have made us re-examine the conditions for the existence of different kinds of spinors in spacetimes of arbitrary signature, and we believe that a discussion of this more uniform approach is timely and could be useful to the student meeting this topic for the first time or to the practitioner who has difficulty remembering the answer to questions like \when do symplectic Majorana{Weyl spinors exist?" The notes are organised as follows.
    [Show full text]
  • MAS4107 Linear Algebra 2 Linear Maps And
    Introduction Groups and Fields Vector Spaces Subspaces, Linear . Bases and Coordinates MAS4107 Linear Algebra 2 Linear Maps and . Change of Basis Peter Sin More on Linear Maps University of Florida Linear Endomorphisms email: [email protected]fl.edu Quotient Spaces Spaces of Linear . General Prerequisites Direct Sums Minimal polynomial Familiarity with the notion of mathematical proof and some experience in read- Bilinear Forms ing and writing proofs. Familiarity with standard mathematical notation such as Hermitian Forms summations and notations of set theory. Euclidean and . Self-Adjoint Linear . Linear Algebra Prerequisites Notation Familiarity with the notion of linear independence. Gaussian elimination (reduction by row operations) to solve systems of equations. This is the most important algorithm and it will be assumed and used freely in the classes, for example to find JJ J I II coordinate vectors with respect to basis and to compute the matrix of a linear map, to test for linear dependence, etc. The determinant of a square matrix by cofactors Back and also by row operations. Full Screen Close Quit Introduction 0. Introduction Groups and Fields Vector Spaces These notes include some topics from MAS4105, which you should have seen in one Subspaces, Linear . form or another, but probably presented in a totally different way. They have been Bases and Coordinates written in a terse style, so you should read very slowly and with patience. Please Linear Maps and . feel free to email me with any questions or comments. The notes are in electronic Change of Basis form so sections can be changed very easily to incorporate improvements.
    [Show full text]
  • Chapter IX. Tensors and Multilinear Forms
    Notes c F.P. Greenleaf and S. Marques 2006-2016 LAII-s16-quadforms.tex version 4/25/2016 Chapter IX. Tensors and Multilinear Forms. IX.1. Basic Definitions and Examples. 1.1. Definition. A bilinear form is a map B : V V C that is linear in each entry when the other entry is held fixed, so that × → B(αx, y) = αB(x, y)= B(x, αy) B(x + x ,y) = B(x ,y)+ B(x ,y) for all α F, x V, y V 1 2 1 2 ∈ k ∈ k ∈ B(x, y1 + y2) = B(x, y1)+ B(x, y2) (This of course forces B(x, y)=0 if either input is zero.) We say B is symmetric if B(x, y)= B(y, x), for all x, y and antisymmetric if B(x, y)= B(y, x). Similarly a multilinear form (aka a k-linear form , or a tensor− of rank k) is a map B : V V F that is linear in each entry when the other entries are held fixed. ×···×(0,k) → We write V = V ∗ . V ∗ for the set of k-linear forms. The reason we use V ∗ here rather than V , and⊗ the⊗ rationale for the “tensor product” notation, will gradually become clear. The set V ∗ V ∗ of bilinear forms on V becomes a vector space over F if we define ⊗ 1. Zero element: B(x, y) = 0 for all x, y V ; ∈ 2. Scalar multiple: (αB)(x, y)= αB(x, y), for α F and x, y V ; ∈ ∈ 3. Addition: (B + B )(x, y)= B (x, y)+ B (x, y), for x, y V .
    [Show full text]
  • MATH 421/510 Assignment 3
    MATH 421/510 Assignment 3 Suggested Solutions February 2018 1. Let H be a Hilbert space. (a) Prove the polarization identity: 1 hx; yi = (kx + yk2 − kx − yk2 + ikx + iyk2 − ikx − iyk2): 4 Proof. By direct calculation, kx + yk2 − kx − yk2 = 2hx; yi + 2hy; xi: Similarly, kx + iyk2 − kx − iyk2 = 2hx; iyi − 2hy; ixi = −2ihx; yi + 2ihy; xi: Addition gives kx + yk2−kx − yk2+ikx + iyk2−ikx − iyk2 = 2hx; yi+2hy; xi+2hx; yi−2hy; xi = 4hx; yi: (b) If there is another Hilbert space H0, a linear map from H to H0 is unitary if and only if it is isometric and surjective. Proof. We take the definition from the book that an operator is unitary if and only if it is invertible and hT x; T yi = hx; yi for all x; y 2 H. A unitary operator T is isometric and surjective by definition. On the other hand, assume it is isometric and surjective. We first show that T preserves the inner product: If the scalar field is C, by the polarization identity, 1 hT x; T yi = (kT x + T yk2 − kT x − T yk2 + ikT x + iT yk2 − ikT x − iT yk2) 4 1 = (kx + yk2 − kx − yk2 + ikx + iyk2 − ikx − iyk2) = hx; yi; 4 where in the second equation we used the linearity of T and the assumption that T is isometric. 1 If the scalar field is R, then we use the real version of the polarization identity: 1 hx; yi = (kx + yk2 − kx − yk2) 4 The remaining computation is similar to the complex case.
    [Show full text]
  • A Bit About Hilbert Spaces
    A Bit About Hilbert Spaces David Rosenberg New York University October 29, 2016 David Rosenberg (New York University ) DS-GA 1003 October 29, 2016 1 / 9 Inner Product Space (or “Pre-Hilbert” Spaces) An inner product space (over reals) is a vector space V and an inner product, which is a mapping h·,·i : V × V ! R that has the following properties 8x,y,z 2 V and a,b 2 R: Symmetry: hx,yi = hy,xi Linearity: hax + by,zi = ahx,zi + b hy,zi Postive-definiteness: hx,xi > 0 and hx,xi = 0 () x = 0. David Rosenberg (New York University ) DS-GA 1003 October 29, 2016 2 / 9 Norm from Inner Product For an inner product space, we define a norm as p kxk = hx,xi. Example Rd with standard Euclidean inner product is an inner product space: hx,yi := xT y 8x,y 2 Rd . Norm is p kxk = xT y. David Rosenberg (New York University ) DS-GA 1003 October 29, 2016 3 / 9 What norms can we get from an inner product? Theorem (Parallelogram Law) A norm kvk can be generated by an inner product on V iff 8x,y 2 V 2kxk2 + 2kyk2 = kx + yk2 + kx - yk2, and if it can, the inner product is given by the polarization identity jjxjj2 + jjyjj2 - jjx - yjj2 hx,yi = . 2 Example d `1 norm on R is NOT generated by an inner product. [Exercise] d Is `2 norm on R generated by an inner product? David Rosenberg (New York University ) DS-GA 1003 October 29, 2016 4 / 9 Pythagorean Theroem Definition Two vectors are orthogonal if hx,yi = 0.
    [Show full text]
  • Compactification of Classical Groups
    COMMUNICATIONS IN ANALYSIS AND GEOMETRY Volume 10, Number 4, 709-740, 2002 Compactification of Classical Groups HONGYU HE 0. Introduction. 0.1. Historical Notes. Compactifications of symmetric spaces and their arithmetic quotients have been studied by many people from different perspectives. Its history went back to E. Cartan's original paper ([2]) on Hermitian symmetric spaces. Cartan proved that a Hermitian symmetric space of noncompact type can be realized as a bounded domain in a complex vector space. The com- pactification of Hermitian symmetric space was subsequently studied by Harish-Chandra and Siegel (see [16]). Thereafter various compactifications of noncompact symmetric spaces in general were studied by Satake (see [14]), Furstenberg (see [3]), Martin (see [4]) and others. These compact- ifications are more or less of the same nature as proved by C. Moore (see [11]) and by Guivarc'h-Ji-Taylor (see [4]). In the meanwhile, compacti- fication of the arithmetic quotients of symmetric spaces was explored by Satake (see [15]), Baily-Borel (see [1]), and others. It plays a significant role in the theory of automorphic forms. One of the main problems involved is the analytic properties of the boundary under the compactification. In all these compactifications that have been studied so far, the underlying compact space always has boundary. For a more detailed account of these compactifications, see [16] and [4]. In this paper, motivated by the author's work on the compactification of symplectic group (see [9]), we compactify all the classical groups. One nice feature of our compactification is that the underlying compact space is a symmetric space of compact type.
    [Show full text]
  • Forms on Inner Product Spaces
    FORMS ON INNER PRODUCT SPACES MARIA INFUSINO PROSEMINAR ON LINEAR ALGEBRA WS2016/2017 UNIVERSITY OF KONSTANZ Abstract. This note aims to give an introduction on forms on inner product spaces and their relation to linear operators. After briefly recalling some basic concepts from the theory of linear operators on inner product spaces, we focus on the space of forms on a real or complex finite-dimensional vector space V and show that it is isomorphic to the space of linear operators on V . We also describe the matrix representation of a form with respect to an ordered basis of the space on which it is defined, giving special attention to the case of forms on finite-dimensional complex inner product spaces and in particular to Hermitian forms. Contents Introduction 1 1. Preliminaries 1 2. Sesquilinear forms on inner product spaces 3 3. Matrix representation of a form 4 4. Hermitian forms 6 Notes 7 References 8 FORMS ON INNER PRODUCT SPACES 1 Introduction In this note we are going to introduce the concept of forms on an inner product space and describe some of their main properties (c.f. [2, Section 9.2]). The notion of inner product is a basic notion in linear algebra which allows to rigorously in- troduce on any vector space intuitive geometrical notions such as the length of an element and the orthogonality between two of them. We will just recall this notion in Section 1 together with some basic examples (for more details on this structure see e.g. [1, Chapter 3], [2, Chapter 8], [3]).
    [Show full text]
  • Orthogonal, Symplectic and Unitary Representations of Finite Groups
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 353, Number 12, Pages 4687{4727 S 0002-9947(01)02807-0 Article electronically published on June 27, 2001 ORTHOGONAL, SYMPLECTIC AND UNITARY REPRESENTATIONS OF FINITE GROUPS CARL R. RIEHM Abstract. Let K be a field, G a finite group, and ρ : G ! GL(V ) a linear representation on the finite dimensional K-space V . The principal problems considered are: I. Determine (up to equivalence) the nonsingular symmetric, skew sym- metric and Hermitian forms h : V × V ! K which are G-invariant. II. If h is such a form, enumerate the equivalence classes of representations of G into the corresponding group (orthogonal, symplectic or unitary group). III. Determine conditions on G or K under which two orthogonal, sym- plectic or unitary representations of G are equivalent if and only if they are equivalent as linear representations and their underlying forms are \isotypi- cally" equivalent. This last condition means that the restrictions of the forms to each pair of corresponding isotypic (homogeneous) KG-module components of their spaces are equivalent. We assume throughout that the characteristic of K does not divide 2jGj. Solutions to I and II are given when K is a finite or local field, or when K is a global field and the representation is \split". The results for III are strongest when the degrees of the absolutely irreducible representations of G are odd { for example if G has odd order or is an Abelian group, or more generally has a normal Abelian subgroup of odd index { and, in the case that K is a local or global field, when the representations are split.
    [Show full text]
  • A PRIMER on SESQUILINEAR FORMS This Is an Alternative
    A PRIMER ON SESQUILINEAR FORMS BRIAN OSSERMAN This is an alternative presentation of most of the material from x8.1, 8.2, 8.3, 8.4, 8.5 and 8.8 of Artin's book. Any terminology (such as sesquilinear form or complementary subspace) which is discussed here but not in Artin is optional for the course, and will not appear on homework or exams. 1. Sesquilinear forms n The dot product is an important tool for calculations in R . For instance, we can use it to n measure distance and angles. However, it doesn't come from just the vector space structure on R { to define it implicitly involves a choice of basis. In Math 67, you may have studied inner products on real vector spaces and learned that this is the general context in which the dot product arises. Now, we will make a more general study of the extra structure implicit in dot products and more generally inner products. This is the subject of bilinear forms. However, not all forms of interest are bilinear. When working with complex vector spaces, one often works with Hermitian forms, which toss in an extra complex conjugation. In order to handle both of these cases at once, we'll work in the context of sesquilinear forms. For convenience, we'll assume throughout that our vector spaces are finite dimensional. We first set up the background on field automorphisms. Definition 1.1. Let F be a field. An automorphism of F is a bijection from F to itself which preserves the operations of addition and multiplication.
    [Show full text]
  • 3. Hilbert Spaces
    3. Hilbert spaces In this section we examine a special type of Banach spaces. We start with some algebraic preliminaries. Definition. Let K be either R or C, and let Let X and Y be vector spaces over K. A map φ : X × Y → K is said to be K-sesquilinear, if • for every x ∈ X, then map φx : Y 3 y 7−→ φ(x, y) ∈ K is linear; • for every y ∈ Y, then map φy : X 3 y 7−→ φ(x, y) ∈ K is conjugate linear, i.e. the map X 3 x 7−→ φy(x) ∈ K is linear. In the case K = R the above properties are equivalent to the fact that φ is bilinear. Remark 3.1. Let X be a vector space over C, and let φ : X × X → C be a C-sesquilinear map. Then φ is completely determined by the map Qφ : X 3 x 7−→ φ(x, x) ∈ C. This can be see by computing, for k ∈ {0, 1, 2, 3} the quantity k k k k k k k Qφ(x + i y) = φ(x + i y, x + i y) = φ(x, x) + φ(x, i y) + φ(i y, x) + φ(i y, i y) = = φ(x, x) + ikφ(x, y) + i−kφ(y, x) + φ(y, y), which then gives 3 1 X (1) φ(x, y) = i−kQ (x + iky), ∀ x, y ∈ X. 4 φ k=0 The map Qφ : X → C is called the quadratic form determined by φ. The identity (1) is referred to as the Polarization Identity.
    [Show full text]
  • Canonical Matrices of Bilinear and Sesquilinear Forms
    Canonical matrices of bilinear and sesquilinear forms Roger A. Horn Department of Mathematics, University of Utah Salt Lake City, Utah 84112-0090, [email protected] Vladimir V. Sergeichuk∗ Institute of Mathematics, Tereshchenkivska 3, Kiev, Ukraine, [email protected] Abstract Canonical matrices are given for bilinear forms over an algebraically closed or real closed field; • sesquilinear forms over an algebraically closed field and over real • quaternions with any nonidentity involution; and sesquilinear forms over a field F of characteristic different from • 2 with involution (possibly, the identity) up to classification of Hermitian forms over finite extensions of F; the canonical matri- ces are based on any given set of canonical matrices for similarity arXiv:0709.2408v2 [math.RT] 3 Oct 2007 over F. A method for reducing the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear map- pings is used to construct the canonical matrices. This method has its This is the authors’ version of a work that was accepted for publication in Linear Algebra and its Applications (2007), doi:10.1016/j.laa.2007.07.023. ∗The research was done while this author was visiting the University of Utah supported by NSF grant DMS-0070503 and the University of S˜ao Paulo supported by FAPESP, processo 05/59407-6. 1 origins in representation theory and was devised in [V.V. Sergeichuk, Math. USSR-Izv. 31 (1988) 481–501]. AMS classification: 15A21, 15A63. Keywords: Canonical matrices; Bilinear and sesquilinear forms; Congruence and *congruence; Quivers and algebras with involution. 1 Introduction We give canonical matrices of bilinear forms over an algebraically closed or real closed field (familiar examples are C and R), and of sesquilinear forms over an algebraically closed field and over P-quaternions (P is a real closed field) with respect to any nonidentity involution.
    [Show full text]