**Amazon base price:**$64.95

**Used price:**$115.00

**Average review score:**

**Amazon base price:**$13.50

**Used price:**$20.00

**Average review score:**

Some people draw a sharp distinction between the concepts of "Boolean space" (a totally disconnected compact Hausdorff space) and "Stone space", the difference being that a Stone space is the Stone space _of_ a Boolean algebra. A Boolean algebra's Stone space is the space of all of its 2-valued homomorphisms with the topology of pointwise convergence of nets of such homomorphisms. That every Boolean space is the Stone space of some Boolean algebra (namely, the Boolean algebra of all of its clopen subsets) is one of the important facts of "Stone's duality". Halmos never mentions the phrase "Stone space", but he proves the basic facts about "Stone's duality": that the category of Boolean algebras and Boolean homomorphisms is the opposite of the category of Boolean spaces and continuous functions.

The flaw is in Lecture 21. Much of that section is founded upon an error -- that a Boolean algebra may have various non-isomorphic completions, of which one is "minimal". A careful mathematician can reconstruct that lecture and get much that is of value, but some may be unfortunately misled.

One other thing irritates me: Halmos uses the word "non-atomic" rather than the much better term "atomless". The problem with "non-atomic" is that it may be mistaken for "not atomic", and that is a quite different thing.

This book is now out of print. I'd like to see Dover reprint it.

**Amazon base price:**$39.95

**Buy one from zShops for:**$39.95

**Average review score:**

**Amazon base price:**$54.95

**Buy one from zShops for:**$51.50

**Average review score:**

There are so many interesting discussions in this book that to list them all would probably entail listing everything in the book. The reader will find excellent discussions of the origin of normal operators on infinite dimensional Hilbert spaces as analogs to matrices on finite dimensional spaces; why the weak topology in infinite dimensions is not metrizable; the non-emptiness of the spectrum and why the spectral radius can be computed even though the spectrum cannot; the impossibility of isolated singular operators; the non-continuity of the spectrum: the existence of an operator with a large spectrum and the existence of operators with small spectra in every neighborhood of the large spectrum. The author then goes on to show that the spectrum is an upper semicontinuous function, thus preventing the existence of small spectra arbitrarily close to large spectra. This is an excellent discussion on the meaning and intuition behind semicontinuity; the result that every normal operator is unitarily equivalent to a multiplication and its equivalance to the spectral theorem. The author goes on to explain how one gives up the sigma-finiteness of the measure when doing this, and the origin of functional calculus; the difference between infinite and finite dimensions when attempting a polar decomposition for operators and its connection with partial isometries; the origin of compact operators and their connection with integral equations. The author shows how even the identity operator is not an integral operator on the space of square-integrable functions with Lebesgue measure.

In discussing the spectral theorem in chapter 13 the author states most profoundly: "In some contexts some authors choose to avoid a proof that uses the spectral theorem even if the alternative is longer and more involved. This sort of ritual circumlocution is common to many parts of mathematics; it is the fate of many big theorems to be more honored in evasion than in use. The reason is not just mathematical mischievousness. Often a long but 'elementary' proof gives more insight, and leads to more fruitful generalizations, than a short proof whose brevity is made possible by a powerful but overly specialized tool." In these few sentences the author has characterized the problem with current methods of teaching advanced mathematics. Too often the formalism masks the true meaning and intuitive motivation behind the mathematics. And even though mathematics is being applied to many different areas at an unprecedented rate, pure mathematics seems to be trapped in a local minimum, and I beleive this is due to the reluctance of authors to explain in detail the essentials of their ideas. This book is a perfect example of how mathematics can be taught that requires much thought and creativity on the part of students, without spoon-feeding them and thus encouraging a passive attitude to the learning of mathematics. I salute the author in his achievements in research and in teaching...one can only hope that his approach will be followed in all future works of mathematics.

**Amazon base price:**$54.95

**Used price:**$42.00

**Collectible price:**$20.00

**Buy one from zShops for:**$47.26

**Average review score:**

The next chapter explores more carefully the relation between measures and outer measures. It is also shown in this chapter to what extent a measure on a ring can be extended to the generated sigma-ring. The all-important Lebesgue measure is developed here also, and the author exhibits an example of a non-measurable set.

In order to develop an integration theory, one must first characterize the collection of measurable functions, and the author does this in chapter 4. The convergence properties of measurable functions are carefully outlined by the author.

The theory of integration begins in chapter 5, wherein the author follows the standard construction of an integral by first defining integrals over simple functions. Then in chapter 6, signed measures are defined, and the Lebesgue bounded convergence theorem is proven and the Hahn and Jordan decompositions of these measures are discussed. The all-important Radon-Nikodym theorem, which gives an integral representation of an absolutely continuous sigma-finite signed measure, is proven in detail.

One can of course take the Cartesian product of two measurable spaces, and the author shows how to define measures on these products in chapter 7, including infinite products. The physicist reader may want to pay attention to the section on infinite dimensional product measures, as it does have applications to functional integration in quantum field theory (although somewhat weakly).

The author treats measurable transformations in chapter 8, but interestingly, the word "ergodic" is never mentioned. He also introduces briefly the L-p spaces, so very important in many areas of mathematics, and proves the Holder and Minkowski inequalities.

The next chapter is the most important in the book, for it covers the notion of probability on measure spaces. After an brief motivation in the first section of the chapter, probability spaces are defined, and Bayes' theorem is discussed as an exercise. Both the weak and strong law of large numbers is proven in detail.

Things get more abstract in chapter 10, which discusses measure theory on locally compact spaces. Borel and Baire sets on these kinds of spaces are defined, and the author gives detailed arguments on what must be changed when doing measure theory in this more general kind of space.

The book ends with a discussion of measure theory on topological groups via the Haar measure. This chapter also has connections to physics, such as in the Faddeev-Popov volume measure over gauge equivalent classes in quantum field theory. The author does a fine job of characterizing the important properties of the Haar measure.

**Amazon base price:**$49.95

**Used price:**$14.76

**Buy one from zShops for:**$33.88

**Average review score:**

**Amazon base price:**$29.95

**Used price:**$24.99

**Buy one from zShops for:**$24.97

**Average review score:**

While Halmos does not cover all of first order logic, he does an excellent job of introducing the reader to the great power and depth of Boolean algebra, revealed by Marshall Stone and Tarski in the 1930s, and other Poles in the 1950s. By this I mean Boolean algebra coupled with the notions of filters, ideals, generators, and quotient algebras. The metatheory of the propositional calculus has a very elegant Boolean representation.

For that matter, the completeness of first order logic has a nice polyadic algebra translation.

Lattice theory is an extremely powerful generalization of Boolean algebra that has not attracted the attention it deserves. If Halmos had written a text on lattice theory, that situation would in all likelihood have ended. Halmos and Givant include an all-too-brief tantalizing chapter on lattices.

If this book has a drawback, it is the relative unsophistication of its first 40 odd pages, an introduction to logic. This is especially disappointing given that Givant is a logician, and an excellent one at that, being a student of Tarski's.

The books main asset is Halmos's lively prose style, unparalleled in modern mathematics. Math PhD students should study this book closely as a superb example of how to exposit mathematics.

The title accurately sets the theme for the entire book. Algebra is nothing more than a precise notation in combination with a rigorous set of rules of behavior. When logic is approached in that way, it becomes much easier to understand and apply. This is especially necessary in the modern world where computing is so ubiquitous. Many areas of mathematics are incorporated into the computer science major, but none is more widely used than logic. Written at a level that can be comprehended by anyone in either a computer science or mathematics major, it can be used as a textbook in any course targeted at these audiences.

The topics covered are standard although the algebraic approach makes it unique. One simple chapter subheading, 'Language As An Algebra', succinctly describes the theme. Propositional calculus, Boolean algebra, lattices and predicate calculus are the main areas examined. While the treatment is short, it is thorough, providing all necessary details for a sound foundation in the subject. While the word "readable" is sometimes overused in describing books, it can be used here without hesitation.

Sometimes neglected as an area of study in their curricula, logic is an essential part of all mathematics and computer training, whether formal or informal. The authors use a relatively small number of pages to present an extensive amount of knowledge in an easily understandable way. I strongly recommend this book.

Published in Smarandache Notions Journal reprinted with permission.

**Amazon base price:**$

**Average review score:**

**Amazon base price:**$30.00

**Used price:**$28.46

**Collectible price:**$29.50

**Average review score:**

Note that this book does not deal alot with matrices, everything of the theory is there, but you might miss illustrations and applications. In this case I recommend to back it up with Gilbert Strangs Linear Algebra and its Applications, which has an intuitive, matrice-oriented approach.

Considering the price and the wide range of topics often left out in other books (like Nilpotence, Jordanform, Spectral Theorem,...) this simply is the one book you should buy and keep for reference.

**Amazon base price:**$49.95

**Average review score:**