##
Real and Complex Analysis, by C. Apelian and S. Surace, now published
*December 19, 2009*

*Posted by Akhil Mathew in analysis, General, math education.*

Tags: Christopher Apelian, Real and Complex Analysis, Steve Surace

add a comment

Tags: Christopher Apelian, Real and Complex Analysis, Steve Surace

add a comment

(*This material is reposted from here.)*

The book *Real and Complex Analysis*, by Christopher Apelian and Steve Surace, was recently released.

It’s mainly for an introductory upper-level undergraduate course in real and complex analysis, especially at small liberal-arts colleges. In this post, I’ll describe this book and how I was involved in its production.

At the start of my freshman year, my analysis teacher, Professor Surace, asked me to check over the drafts of a book he and his colleague (and my former teacher) Prof. Apelian were working on. It was the textbook for the course. At the time, if I remember correctly, there were six chapters: on the real and complex spaces, basic topology, limits, continuity, convergence of functions, and derivatives. The complex analysis part of the book was in its infancy (e.g., there was only a rudimentary outline of one chapter, which had been written some time back and was typeset in Word—they wrote it well before before they had switched to LaTeX). (more…)

##
The Hahn-Banach theorem and two applications
*November 28, 2009*

*Posted by Akhil Mathew in analysis, functional analysis, MaBloWriMo.*

Tags: convex sets, Hahn-Banach theorem, hyperplane separation theorem, linear functionals, Muntz approximation theorem

5 comments

Tags: convex sets, Hahn-Banach theorem, hyperplane separation theorem, linear functionals, Muntz approximation theorem

5 comments

I have been finishing my MaBloWriMo series on differential geometry with a proof of the Myers comparison theorem, which right now has only an outline, but will rely on the second variation formula for the energy integral. After that, it looks like I’ll be posting somewhat more randomly. Here I will try something different.

The Hahn-Banach theorem is a basic result in functional analysis, which simply states that one can extend a linear function from a subspace while preserving certain bounds, but whose applications are quite manifold.

**Edit (12/5): **This material doesn’t look so great on WordPress. So, here’s the PDF version. Note that the figure is omitted in the file.

**The Hahn-Banach theorem**** **

**Theorem 1 (Hahn-Banach)** *Let be a vector space, ** a positive homogeneous (i.e. ) and sublinear (i.e. ) function. *

*Suppose is a subspace and is a linear function with for all . *

*Then there is an extension of to a functional with *

**closed**subspace, the quotient vector space is a norm with the norm (The closedness condition is necessary because otherwise there might be nonzero elements of with zero norm.)

*(more…)*

##
A theorem of Mazur-Ulam on isometric maps of vector spaces
*November 22, 2009*

*Posted by Akhil Mathew in analysis, functional analysis, MaBloWriMo.*

Tags: isometries, linear maps

add a comment

Tags: isometries, linear maps

add a comment

I first posted this entry at Climbing Mount Bourbaki, where I have continued the MaBloWriMo series into topics in Riemannian geometry such as the Cartan-Hadamard theorem. This particular material came up as part of the proof that distance-preserving maps between Riemannian manifolds are actually isometries. However, the style of the entry seemed appropriate for this blog, so I’m placing it here as well.

The result in question is:

Theorem 1 (Mazur-Ulam)An isometry of a normed linear space onto another normed linear space with is linear. (more…)