The reviewer should disclose at the outset that he studied fractal geometry as a (second-year) undergraduate at St. Andrews from the second edition of this text … and what a wonderful course that was! One hopes, perhaps idealistically, that every mathematics undergraduate be treated to such a verdant oasis before they graduate. In fact, the curious student could very profitably study Falconer’s text on her own, with possibly some help/guidance necessary at certain technical corners. There is, for such a student, a complete set of solutions to the exercises available online.

The first edition of the text being reviewed was written circa 1989, the second in 2003. In between, Falconer wrote a follow-up text for graduate students and researchers interested in tackling the current literature titled: *Techniques in Fractal Geometry* (TFG), published by Wiley in 1997. And before he got started on this duo, he had already written what many mathematicians still consider the connoisseur’s choice: *The Geometry of Fractal Sets* (GFS), published in 1985 as Volume 85 of the Cambridge Tracts in Mathematics. It seems as though *Fractal Geometry: Mathematical Foundations and Applications* (FGFA) was written to make accessible to beginners the material from his slim (about 180 pages) 1985 tract, as well as to attract researchers from fields beyond mathematics and its often intimidating rigor. Professor Falconer’s expository talents continue to blossom. Last year, in 2013, we were treated to his slimmest and most inclusive book so far: *Fractals: A Very Short Introduction* (FVSI), published by Oxford.

**Summary:**

The book, consisting of eighteen chapters with an average of 20 pages per chapter, is structured in two parts: the first being “Foundations” (eight chapters), and the second “Applications and Examples” (ten chapters).

*Foundations*: There is a rapid introductory chapter on various elements of necessary mathematical background, and then we are off to build a tool-kit to study and dissect fractals: the box-counting dimension is first introduced, then the Hausdorff and packing measures and dimensions, followed by a chapter on basic techniques for calculating dimensions. The more technical Chapters 5 through 8 give the reader a taste of geometric measure theory: they study the local structure, projections, products and intersections of fractals respectively.

*Applications and Examples*: After tool-building, the reader is treated to an incredible range of mathematical vistas wherein one may find fractal sets of one sort or the other. Chapter 9 studies self-similar and self-affine Iterated Function Systems (IFSs) that generalize constructions like the Cantor middle-third set the student may have met in real analysis or undergraduate topology. There is a new section on Lapidus and van Frankenhuijsen’s theory of complex dimensions. Chapter 10 studies beautiful examples of fractal subsets that arise from within number theory. More complicated examples like the set of reals in [0,1] whose continued fraction entries are all either 1s or 2s are precluded from the discussion, but the interested reader is led to excellent references in the literature. Chapter 11 studies the dimensions of graphs of functions, where calculating the precise value of the Hausdorff dimension has remained an active area of research. Chapter 12 presents a smorgasbord from “pure” (this word rings false here in the reviewer’s ear!) mathematics, e.g. the Kakeya problem, Vitushkin’s conjecture, and fractal groups/rings.

Chapters 13 and 14, on dynamical systems and holomorphic dynamics, are among the reviewer’s favorites! He remembers these chapters making a strong impression when he was a student, and has continued to study such ever since. To be sure, entire books could and have been written on each of those chapters. Chapters 15 and 16 throw stochastic processes into the mix and study random fractals, Brownian motion and Brownian surfaces. Chapter 17 presents the analysis of multifractals — this is fairly new ground, and it is easy for the reader to get to the edge of contemporary research after reading this chapter and following up with the end-of-chapter references. It seems to the reviewer that a chapter/section on the thermodynamic formalism (see comments below) would also be in order here. The last chapter runs through a gamut of fractals that show up in various physical applications. There are the now-classical examples from the study of turbulence, but also modern applications, e.g. to fractal antennae!

Each chapter ends with both “Notes and references” and “Exercises”, both of which deserve comment. The exercises are well-crafted and have been classroom-tested in various settings. They also give students an invitation to aspects of modern mathematics that go well beyond the standard college fare. There has been considerable effort in making the notes and references up-to-date (i.e., up to 2013) and in many cases these lead the student/researcher to state-of-the-art research literature. No doubt that both these aspects add to the book’s continued success.

**A Wishlist**

For a $60 textbook with plenty of visually attractive content the paper quality is extremely poor. The book is filled with diagrams which makes for pleasant reading. However, almost all the diagrams show through the page due to the thinness of the paper. This is particularly unfortunate when there are diagrams on both sides of a single page. I’d recommend better printing and paper for the 4th edition! Color images of fractals like the Mandelbrot and Julia sets would also be very welcome.

The book does a wonderful job in taking the reader on a breathtaking, as should be clear from the summary, tour of mathematical vistas. However I was sorry to see both FGFA and FGVSI miss introducing a vital area of beautiful fractal mathematics that historically was the first place in which such intricate objects came into being unannounced. In 1883 Poincaré published, in the first volume of Mittag-Leffler’s freshly minted *Acta Mathematica*, his investigations regarding Fuchsian and then Kleinian groups (and functions). These are discrete subgroups of the isometry group of two- and three-dimensional hyperbolic space, respectively. It was here while perturbing the generators of a Fuchsian group that Poincaré stumbled upon the first Kleinian (now called quasi-Fuchsian in the literature) groups. Their limit sets were extremely intricate curves, in Poincaré’s words:

Ces domaines sont séparés par une ligne L, si l’on peut appeler ça une ligne. … De plus j’ai tout lieu de croire qu’il n’y a pas de tangente aux points de L qui ne font pas partie de P.

“Mémoire sur les groupes kleinéens”, *Acta Math*, **3** (1883), 49–92.

Poincaré’s work on Fuchsian and Kleinian groups/functions has been beautifully exposed in a number of places, e.g. see Chapter 3 of Jeremy Gray’s magisterial scientific biography. The reviewer is currently at work on an exposition of this history with a view to carefully describing Poincaré’s discovery, its reception and subsequent mathematical developments right up to Sullivan’s revival in the early 1980s with his famous proof of the no wandering domains theorem. In the process of his investigations, Sullivan uncovered an incredibly beautiful dictionary relating results/concepts from holomorphic dynamics and Kleinian groups which continues to stimulate research to this day.

Falconer does have an excellent chapter (14) on the former, but is missing what would be a useful “dual” chapter on Fuchsian and Kleinian groups. This would also provide a nice complement to the self-similar and self-affine IFSs from Chapter 9. In fact, it would be a good idea to add an extra section to Chapter 9 introducing non-linear generalizations, e.g. conformal IFSs à la Mauldin-Urbański, or even the simpler cookie-cutter sets as described in Chapter 4 (Cookie-cutters and Bounded Distortion) of Falconer’s TFG. It would also be nice to include the “heart” of Chapter 5 (Thermodynamic Formalism) from TFG: explaining Bowen’s generalization (to non-linear situations) of the Moran-Hutchinson formula for the Haudorff dimension of the attractor/limit set.

**Some amusing typos**

A. On p. 75, the last paragraph of Section 4.1 following the proof of Proposition 4.9 ends with what probably was an ignored suggestion that was subsequently missed by the copy-editors. However the mathematical content intended is clear. Here’s how the paragraph should read:

Note that it is immediate from Proposition 4.9 that if \[ \liminf_{r \to 0} \log \frac{\mu (B(x,r))}{\log r} = s \] for all \(x \in F\), then \(\mathrm{dim}_H F = s\). We omit the details, but related arguments give the dual result that if \[ \limsup_{r \to 0} \log \frac{\mu (B(x,r))}{\log r} = s \] for all \(x \in F\), then \(\mathrm{dim}_P F = s\).

It may be of interest to the reader that the results from Section 4.1 hold in greater generality beyond \(\mathbb{R}^n\), e.g. in infinite-dimensional separable Hilbert spaces. For a clean and self-contained exposition see Section 8 (A digression to geometric measure theory) of D. Mauldin, T. Szarek and M. Urbański, “Graph Directed Markov Systems on Hilbert Spaces”, Math. Proc. Cambridge Phil. Soc. 147 (2009), 455-488.

B. Though the surname Urbański is correctly spelt earlier in the bibliography, the entry on p. 356 should have “Urbański M. (1990)” and *not* “Urbanski C. (1990)”. What perhaps makes at least the misspelling of this Polish surname somewhat excusable, is that the a similar slip occurs on more than a few occasions at the the author’s own web site.

**Conclusion**

Falconer’s book is excellent in many respects and the reviewer strongly recommends it. May every university library own a copy, or three! And if you’re a student reading this, go check it out today!

Tushar Das is an Assistant Professor of Mathematics at the University of Wisconsin – La Crosse.