(The following is reproduced from the book “The Way I Remember It” by Walter Rudin. The purpose is just to share the insights of a formidable analyst with the student community.)
When I arrived at MIT in 1950, Banach algebras were one of the hot toppers. Gelfand’s 1941 paper “Normierte Ringe” had apparently only reached the USA in the late forties, and circulated on hard-to-read smudged purple ditto copies. As one application of the general theory presented there, it contained a stunningly short proof of Wiener’s lemma: the Fourier series of the reciprocal of a nowhere vanishing function with absolutely convergent Fourier series also converges absolutely. Not only was the proof extremely short, it was one of those that are hard to forget. All one needs to remember is that the absolutely convergent Fourier series form a Banach algebra, and that every multiplicative linear functional on this algebra is evaluation at some point of the unit circle.
This may have led some to believe that Banach algebras would now solve all our problems. Of course, they could not, but they did provide the right framework for many questions in analysis (as does most of functional analysis) and conversely, abstract questions about Banach algebras often gave rise to interesting problems in “hard analysis”. (Hard analysis is used here as Hardy and Littlewood used it. For example, you do hard analysis when, in order to estimate some integral, you break it into three pieces and apply different inequalities to each.)
One type of Banach algebras that was soon studied in detail were the so-called function algebras, also known as uniform algebras.
To see what these are, let be the set of all complex-valued continuous functions on a compact Hausdorff space X. A function algebra on X is a subset A of such that
(i) If f and g are in A, so are , , and for every complex number c (this says that A is an algebra).
(ii) A contains the constant functions.
(iii) A separates points on X (that is, if , both in X, then for some f in A), and
(iv) A is closed, relative to the sup-norm topology of , that is, the topology in which convergence means uniform convergence.
A is said to be self-adjoint if the complex conjugate of every f in A is also in A. The most familiar example of a non-self-adjoint function algebra is the disc algebra which consists of all f in that are holomorphic in U. (here, and later, U is the open unit disc in C, the complex plane, and is its closure). I already had an encounter with , a propos maximum modulus algebras.
One type of question that was asked over and over again was: Suppose that a function algebra on X satisfies … and …and is it C(X)? (In fact, 20 years later a whole book, entitled “Characterizations of C(X) among its Subalgebras” was published by R. B. Burckel.) The Stone-Weierstrass Theorem gives the classical answer. Yes, if A is self-adjoint.
There are problems even when X is a compact interval I on the real line. For instance, suppose A is a function algebra on I, and to every maximal ideal M of A corresponds a point p in I such that M is the set of all f in A having (In other words, the only maximal ideals of A are the obvious ones). Is ? This is still unknown, in 1995.
If are in , and the n-tuple separates points on I, let be the smallest closed subalgebras of that contains and I.
When is 1-1 on I, it follows from an old theorem of Walsh (Math. Annalen 96, 1926, 437-450) that .
Stone-Weierstrass implies that if each is real-valued.
In the other direction, John Wermer showed in Annals of Math. 62, 1955, 267-270, that can be a proper subset of !
Here is how he did this:
Let E be an arc in C, of positive two-dimensional measure, and let be an algebra of all continuous functions on the Riemann sphere S (the one-point compactification of C). which are holomorphic in the complement of E. He showed that for every g in , that contains a triple that separates points on S and that the restriction of to E is closed in . Pick a homeomorphism of I onto E and define . Then, , for if h is in then for some g in , so that
is the closure of an open subset of (except when h is constant).
In order to prove the same with two function instead of three I replaced John’s arc E with a Cantor set K, also of positive two-dimensional measure (I use the term “Cantor set” for any totally disconnected compact metric space with no isolated points; these are all homeomorphic to each other.) A small extra twist, applied to John’s argument, with in place of , proved that can also be smaller than .
I also used to show that contains maximal closed point-separating subalgebras that are not maximal ideals, and that the same is true for whenever X contains a Cantor set. These ideas were pushed further by Hoffman and Singer in Acta Math. 103, 1960, 217-241.
In the same paper, I showed that when of the n given functions are real-valued.
Since Wermer’s paper was being published in the Annals, and mine strengthened his theorem and contained other interesting (at least to me) results, I sent mine there too. It was rejected, almost by return mail, by an anonymous editor, for not being sufficiently interesting. I have had a few others papers rejected over the years, but for better reasons. This one was published in Proc. AMS 7, 1956, 825-830, and is one of six whose Russian transactions were made into a book “Some Questions in Approximation Theory”, the others were three by Bishop and two by Wermer. Good company.
Later, Gabriel Stolzenberg (Acta Math. 115, 1966, 185-198) and Herbert Alexander (Amer. J. Math., 93, 1971, 65-74) went much more deeply into these problems. One of the highlights in Alexander’s paper is:
if are of bounded variation.
A propos the Annals (published by Princeton University) here is a little Princeton anecdote. During a week that I spent there, in the mid-eighties, the Institute threw a cocktail party. (What I enjoyed best at that affair was being attacked by Armand Borel for having said, in print, that sheaves had vanished into the background.) Next morning I overheard the following conversation in Fine Hall:
Prof. A: That was a nice party yesterday, wasn’t it?
Prof. B: Yes, and wasn’t it nice that they invited the whole department.
Prof. A: Well, only the full professors.
Prof. B: Of course.
The above-mentioned facts about Cantor sets led me to look at the opposite extreme, the so-called scattered spaces. A compact Hausdorff space Q is said to be shattered if Q contains no perfect set, every non-empty compact set F in Q thus contains a point that is not a limit point of F. The principal result proved in Proc. AMS 8, 1957, 39-42 is:
THEOREM: Every closed subalgebra of is self-adjoint.
In fact, the scattered spaces are the only ones for which this is true, but I did not state this in that paper.
In 1956, I found a very explicit description of all closed ideals in the disc algebra (defined at the beginning of this chapter). The description involves inner function. These are the bounded holomorphic functions in U whose radial limits have absolute value 1 at almost every point of the unit circle . They play a very important role in the study of holomorphic functions in U (see, for instance, Garnett’s book, Bounded Analytic Functions) and their analogues will be mentioned again, on Riemann surfaces, in polydiscs, and in balls in .
Recall that a point on is called a singular point of a holomorphic function f in U if f has no analytic continuation to any neighbourhood of . The ideals in question are described in the following:
THEOREM: Let E be a compact subset of , of Lebesgue measure 0, let u be an inner function all of whose singular points lie in E, and let be the set of all f in such that
(i) the quotient f/u is bounded in U, and
(ii) at every in E.
Then, is a closed ideal of A(U), and every closed ideal of is obtained in this way.
One of several corollaries is that every closed ideal of A(U) is principal, that is, is generated by a single function.
I presented this at the December 1956 AMS meeting in Rochester, and was immediately told by several people that Beurling had proved the same thing, in a course he had given at Harvard, but had not published it. I was also told that Beurling might be quite upset at this, and having Beurling upset at you was not a good thing. Having used this famous paper about the shift operator on a Hilbert space as my guide, I was not surprised that he too had proved this, but I saw no reason to withdraw my already submitted paper. It appeared in Canadian J. Math. 9, 1967, 426-434. The result is now known as Beurling-Rudin theorem. I met him several times later, and he never made a fuss over this.
In the preceding year Lennart Carleson and I, neither of us knowing what the other was doing proved what is now known as Rudin-Carleson interpolation theorem. His paper is in Math. Z. 66, 1957, 447-451, mine in Proc. AMS 7, 1956, 808-811.
THEOREM. If E is a compact subset of , of Lebesgue measure 0, then every f in C(E) extends to a function F in A(U).
(It is easy to see that this fails if . To say that F is an extension of f means simply that at every in E.)
Our proofs have some ingredients in common, but they are different, and we each proved more than is stated above. Surprisingly, Carleson, the master of classical hard analysis, used a soft approach, namely duality in Banach spaces, and concluded that F could be so chosen that . (The norms are sup-norms over the sets appearing as subscripts.) In the same paper he used his Banach space argument to prove another interpolation theorem, involving Fourier-Stieltjes transforms.
On the other hand, I did not have functional analysis in mind at all, I did not think of the norms or of Banach spaces, I proved, by a bare-hands construction combined with the Riemann mapping theorem that if is a closed Jordan domain containing then f can be chosen so that also lies in . If is a disc, centered at 0, this gives , so F is a norm-preserving extension.
What our proofs had in common is that we both used part of the construction that was used in the original proof of the F. and M. Riesz theorem (which says that if a measure on gives for every f in then is absolutely continuous with respect to Lebesgue measure). Carleson showed, in fact, that F. and M. Riesz can be derived quite easily from the interpolation theorem. I tried to prove the implication in the other direction. But that had to wait for Errett Bishop. In Proc. AMS 13, 1962, 140-143, he established this implication in a very general setting which had nothing to do with holomorphic functions or even with algebras, and which, combined with a refinement due to Glicksberg (Trans. AMS 105, 1962, 415-435) makes the interpolation theorem even more precise:
THEOREM: One can choose F in so that at every in E, and at every z in .
This is usually called peak-interpolation.
Several variable analogues of this and related results may be found in Chap. 6 of my Function Theory in Polydiscs and in Chap 10 of my Function Theory in the Unit Ball of .
The last item in this chapter concerns Riemann surfaces. Some definitions are needed.
A finite Riemann surface is a connected open proper subset R of some compact Riemann surface X, such that the boundary of R in X is also the boundary of its closure and is the union of finitely many disjoint simple closed analytic curves . Shrinking each to a point gives a compact orientable manifold whose genus g is defined to be the genus of R. The numbers g and k determine the topology of R, but not, of course, its conformal structure.
denotes the algebra of all continuous functions on that are holomorphic in R. If f is in and at every point p in then, just as in U, f is called inner. A set is unramified if every point of has a neighbourhood in which at least one member of S is one-to-one.
I became interested in these algebras when Lee Stout (Math. Z., 92, 1966, 366-379; also 95, 1967, 403-404) showed that every contains an unramified triple of inner functions that separates points on . He deduced from the resulting embedding of R in that is generated by these 3 functions. Whether every is generated by some pair of its member is still unknown, but the main result of my paper in Trans. AMS 150, 1969, 423-434 shows that pairs of inner functions won’t always do:
THEOREM: If contains a point-separating unramified pair f, g of inner functions, then there exist relatively prime integers s and t such that f is s-to-1 and g is t-to-1 on every , and
For example, when and , then (*) holds for no integers s and t. When and , then is the only pair that satisfies (*) but it is not relatively prime. Even when the theorem gives some information. In that case, , so (*) becomes , which means:
If a pair of finite Blaschke products separates points on and their derivatives have no common zero in U, then at least one of them is one-to-one (that is, a Mobius transformation).
There are two cases in which (*) is not only necessary but also sufficient. This happens when and when .
But there are examples in which the topological condition (*) is satisfied even though the conformal structure of R prevents the existence of a separating unramified pair of inner functions.
This paper is quite different from anything else that I have ever done. As far as I know, no one has ever referred to it, but I had fun working on it.
More blogs from Rudin’s autobiography later, till then,