Chicago Leet ures in Physics Robert M. Wald, Editor 1-lellmut Fritzsche Riccardo Levi-Setti Roland Winston a t e m a t i c a • SICS Robert Geroch The University of Chicago Press Chicago and London Robert Geroch is prores10r in the DepartmentAI or Physics and Mathematics at the University or Chicago. The University or Chicago Press, Chicago 80837 The University or Chicago Pre11 Ltd., London 1 © 1085 by The University or Chicago All rights reserved. Published 1985 Printed in the United States or America , I g4 ga g2 g 1 go 80 88 87 86 85 s 4 a 2 1 .... I { \,(! ,I . . ,I ¥,,'.'. ;, ' . .;,>· ', 'J , I ti''~ Library of Congress Cataloging in Public::a•tiO'h' Data /ffiGeroch, Robert. Mathematical physics. (Chicago lectures in physics) l. Mathematical physics. I. Title. II. Series. QC20.G47 1 Q85 530.1 '5 85-17764 ISBN 0-226-28861-7 ISBN 0-226-28862-5 (pbk.) Contents 1. Introduction 1 2. Categories 3 fa. The Category of Groups 16 4. Subgroups 24 5. Normal Subgroups 29 6. Homomorphisms 32 7. Direct Products and Sums of Groups 35 8. Relations 39 Q. The Category of Vector Spaces 44 10. Subspaces 53 11. Linear Mappings; Direct Products and Sums 58 12. From Real to Complex Vector Spaces and Back 62 13. Duals 65 14. Multilinear Mappings; Tensor Products 71 15. Example: Minkowski Vector Space 79 l!6. Example: The Lorentz Group 87 17. Functors 90 18. The Category of Associative Algebras 97 19. The Category of Lie Algebras 104 20. Example: The Algebra of Observables 111 21. Example: Fock Vector Space 114 22. Representations: General Theory 120 23. Representations on Vector Spaces 125 24. The Algebraic Categories: Summary 132 25. Subsets and Mappings 134 r 26. Topological Spaces 136 27. Continuous Mappings 147 ' 28. The Category of Topological Spaces 154 ~9. Nets 160 30. Compactness 165 31. The Compact-Open Topology 172 32. Connectedness 177 33. Example: Dynamical Systems 183 34. Homotopy 188 35. Homology 199 36. Homology: Relation to Homotopy 211 37. The Homology Functors 214 vi Contents 38. Uniform Spaces 217 3Q. The Completion of a Uniform Space 225 40. Topological Groups 234 41. Topological Vector Spaces 240 42. Categories: Summary 248 '43. Measure Spaces 24Q 44. Constructing Measure Spaces 257 45. Measurable Functions 25Q 46. Integrals 262 47. Distributions 270 48. Hilbert Spaces 277 4Q. Bounded Operators 285 L.50. The Spectrum of a Bounded Operator 2Q3 51. The Spectral Theorem: Finite-dimensional Case 302 52. Continuous Functions of a Hermitian Operator 306 53. Other Functions of a Hermitian Operator 311 54. The Spectral Theorem 31Q 55. Operators (Not Necessarily Bounded) 324 56. Self-Adjoint Operators 329 Index of Defined Terms 343 • 1 Introduction One sometimes hears expressed the view that some sort of uncertainty princi ple operates in the interaction between mathematics and physics: the greater the mathematical care used to formulate a concept, the less the physical insight to be gained from that formulation. It is not difficult to imagine how such a viewpoint could come to be popular. It is often the case that the essential physical ideas of a discussion are smothered by mathematics through excessive definitions, concern over irrelevant generality, etc. Nonetheless, one can make a case that mathematics as mathematics, if used thoughtfully, is almost always useful-and occasionally essential-to progress in theoretical physics. What one often tries to do in mathematics is to isolate some given struc ture for concentrated, individual study: what constructions, what results, what definitions, what relationships are available in the presence of a certain mathematical structure-and only that structure? But this is exactly the sort of thing that can be useful in physics, for, in a given physical application, some particular mathematical structure becomes available naturally, namely, that which arises from the physics of the problem. Thus mathematics can serve to provide a framework within which one deals only with quantities of physical significance, ignoring other, irrelevant things. One becomes able to focus on the physics. The idea is to isolate mathematical structures, one at a time, to learn what they are and what they can do. Such a body of knowledge, once established, can then be called upon whenever it makes con tact with the physics. An everyday example of this point is the idea of a derivative. One could imagine physicists who do not understand, as mathematics, the notion of a derivative and the properties of derivatives. Such physicists could still f ormu late physical laws, for example, by speaking of the "rate of change of . with ... " They could use their physical intuition to obtain, as needed in various applications, particular propetties of these "rates of change." It would be more convenient, however, to isolate the notion "derivative" once and for all, without direct reference to later physical applications of this con cept. One learns what a derivative is and what its properties are: the geometrical significance of a derivative, the rule for taking the derivative of a product, etc. This established body of knowledge then comes into play automatically when the physics requires the use of derivatives. Having mastered the abstract concept "rate of change" all by itself, the mind is freed 2 Chapter One for the important, that is, the physical, issues. rfhe only problem is that it takes a certain amount of effort to learn mathematics. Fortunately, two circumstances here intervene. First, the mathematics one needs for theoretical physics can often be mastered simply by making a sufficient effort. This activity is quite different from, and far more straightforward than, the originality and creativity needed in physics itself. Second, it seems to be the case in practice that the mathen1atics one needs in physics is not of a highly sophisticated sort. One hardly ever uses elaborate theorems or long strings of definitions. Rather, what one almost always uses, in various areas of mathematics, is the five or six basic definitions, some examples to give the definitions life, a few lemmas to relate various definitions to each other, and a couple of constructions. In short, what one needs from mathematics is a general idea of what areas of mathematics are available and, in each area, enough of the flavor of what is going on to feel comfortable. This broad and largely shallow coverage should in my view be the stuff of "mathematical physics." There is, of course, a second, more familiar role of mathematics in phy sics: that of solving specific physical problems which have already been f ormu lated mathematically. This role encompasses such topics as special functions and solutions of differential equations. This second role has con1e to dominate the first in the traditional undergraduate and graduate curricula. ~1y pur pose, in part, is to argue for redressing the balance. We shall here take a brief walking tour through various areas of mathematics, providing, where appropriate and available, exa1nples in which this mathematics provides a framework for the formulation of physical ideas. By way of general organization, chapters 2-24 deal with things algebraic and chapters 25-42 with things topological. In chapters 43-50 we discuss some special topics: structures which combine algebra and topology, Lebesgue integrals, Hilbert spaces. Lest the impression be left that no difficult mathematics can ever be useful in physics, we provide, in chapters 51--56, a counterexample: the spectral theorem. Strictly speaking, the only prere quisites are a little elementary set theory, algebra, and, in a fe,v places, son1e elementary calculus. Yet some informal contact with such objects as groups, vector spaces, and topological spaces would be most helpful. The following texts are recommended for additional reading: A. H. Wal lace, Algebraic Topology (Elmsford, NY: Pergamon, 1963), and C. Goffman and G. Pedrick, First Course in Functional Analysis (Englewood Cliffs, NJ: Prentice-Hall, 1965). Two examples of more advanced texts, to ,vhich the present text might be regarded as an introduction, are: M. Reed and B. Simon, Methods of Modern Mathematical Physics (New York: Academic, 1g72), and Y. Choquet-Bruhat, C. DeWitt-Morette, and M. Dillard-Bl~ick, Analrai,, Manifolds and Physics (Amsterdam: North-Holland, 1982). 2 Categories In ea.ch area of mathematics (e.g., groups, topological spaces) there are avail able many definitions and constructions. It turns out, however, that there are a number of notions (e.g., that of a product) that occur naturally in various areas of mathe1natics, with only slight changes from one area to another. It is convenient to take advantage of this observation. Category theory can be described as that branch of mathematics in which one studies certain definitions in a broader context-without reference to the particular area to which the definition n1ight be applied. It is the "mathematics of mathemat ics." Although this subject takes a little getting used to, it is, in my opinion, worth the effort. It provides a systematic framework that can help one to remember definitions in various areas of mathematics, to understand what many constructions mean and how they can be used, and even to invent use ful definitions when needed. We here summarize a few facts from category theory. A category consists of three things-i) a class O (whose elements will be called objects), ii) a set Mor(A,B) (whose elements will be called morphisms 1 from A to B), where A and B are any two objects, and iii) a rule which assigns, given any objects A, B, and C and any morphism <p from A to B and morphism 1/J from B to C, a morphism, written ¢ o r.p, from A to C ( this ¢ o r.p will be called the composition of <.p with ¢)-subject to the follo,ving two conditions: 1. Composition is associative. If A, B, C, and D are any four objects, and <p, 1/J, and A are morphisms from A to B, from B to C, and from C to D, respectively, then (Aotµ)o<.p=Ao(t/Jo<.p). (Note that each side of this equation is a morphism from A to D.) 2. Identities exist. For each object A, there is a morphism iA from A to A ( called the identity morphism on A) with the following property: if <p is any morphism from A to B, then . = c.p o 'A <p ; if µ is any morphism from C to A, then 1. Here and hereafter, ''1wo elements" means "two elements in a specific order," or, more formally, an ''ordered pair.'' 4 Chapter Two . 'Aoµ=µ . That is the definition of a category. It all seems rather abstract. In order to see what is really going on with this definition-why it is what it is-one has to look at a few examples. We shall have abundant opportunity to do this: almost every mathematical structure we look at will turn out to be an example of a category. In order to fix ideas for the present, we consider just one example (the simplest, and probably the best). To give an example of a category, one must say what the objects are, what the morphisms are, what composition of morphisms is-and one must verify that conditions 1 and 2 above are indeed satisfied. Let the objects be ordinary sets. For two objects (now, sets) A and B, let Mor(A,B) be the set of all mappings from the set A to the set B. (Recall that a mapping from set A to set B is a rule that assigns, to each element of A, some element of B.) Finally, let composition of morphisms, in this example, be ordinary composi tion of mappings. (That is, if r.p is a mapping from set A to set B and ¢ is a mapping from set B to set C, then ¢ o r.p is the mapping from set A to set C which sends the element a of A to the element t/J(r.p(a)) of C.) We now have the objects, the morphisms, and the composition law. We must check that conditions 1 and 2 are satisfied. Condition 1 is indeed satisfied in this case: it is precisely the statement that composition of mappings on sets is associative. Condition 2 is also satisfied: for any set A, let iA be the identity mapping (i.e., = for each element a of A, iA( a) a) from A to A. Th us we have here an example of a category. It is called the category of sets. This example is in some sense typical. It is helpful to think of the objects as being "really sets" (perhaps, as in later examples, with additional structure) and of the morphisms as "really mappings" (which, in these later examples, will be "structure preserving"). With this mental picture, it is easy to remember the definition of a category-and to follow the constructions we shall shortly introduce on categories. This example suggests the introduction of the following notation for I() categories. We shall write A -+ B to mean "A and B are objects, and t.p is a morphism from A to B." We now wish to give a few examples of how one carries over notions from categories in general to specific categories. Let t.p be a morphism from A to B. This t.p is said to be a monomorphism if the following property is satisfied: given any object X and any two mor = phisms, o and o', from X to A such that t.p o a t.p o o ', it follows that = o o' (figure 1). This r.p is said to be an epimorphism if the following pro /3 /3', perty is satisfied: given any object X and any two morphisms, and from B to X such that /3 o <p = /3' o <p, it follows that /3 = /3' (figure 2). (That is, monomorphisms are the things that can be "canceled out of morphism equa tions on the left"; epimorphisms can be "canceled out of morphism equations Categories 5 Figure I A Figure 2 on the right.") As usual, one makes sense out of these definitions by appealing to our example, the category of sets. THEOREM I. In the category of sets, a morphism is a monomorphism if and only if it is one-to-one. (Recall that a mapping from set A to set B is said to be one-to-one if no two distinct elements of A are mapped to the same element of B.) Proof. Let r.p be a mapping from set A to set B, which is one-to-one. We show that this t.p is a monomorphism. Let X be any set, and let a and O:'' be = = mappings from X to A such that <.p o a r.p o a'. We must show that O:' a'. If a and O:'' were different, they would differ on some element of X; that is, there would be an x in X such that a( x) would be different from x). O:' ' ( Then, since <p is one-to-one, we would have r.p( a( x)) different from r.p( a' ( x) ). = But this contradicts r.p o a r.p o O:''. Hence <p is a mono morphism. Let t.p be a mapping from set A to set B which is a monomorphism. We show that this r.p is one-to-one. Let a and a' be elements of A such that 'P( a) = = r.p( a'). We must show that a a'. Let X be the set having only one ele = ment, x. Let a be the mapping from X to A with x) a, and let a' be the O:'( = = mapping from X to A wi~h a' ( x) a'. Then, since r.p( a) r.p( a'), t.p o a( x) = = t.p o a' ( x). That is, r.p o a r.p o a'. But r.p is supposed to be a monomor = = phism; hence a'. In particular, we must have x) a' ( x); that is, we O:' O:'( = must have a a'. Hence, <p is one-to-one. I] THEOREM 2. In the category of sets, a morphism is an epimorphism if and only if it is onto. (Recall that a mapping from set A to set Bis said to be onto if every element oC Bis the image, under the mapping, of some element of A.) Proof. Let <.p be a mapping Crom set A to set B, which is onto. \Ve show /3 /3' that this <.p is an epimorphism. Let X be any set, and let and be