show that there are more multiplicative linear functionals on then the point evaluations in
where is the set of bounded analytic function on the unity disc
show that there are more multiplicative linear functionals on then the point evaluations in
where is the set of bounded analytic function on the unity disc
The multiplicative linear functionals on that are not point evaluations in the open unit disk form what is called the corona of the spectrum of . As the name suggests, they are somehow associated with the unit circle (the boundary of ), but they are not just point evaluations at the points of the circle.
It would be convenient, for example, if we could define a multiplicative linear functional on by , taking the limit of f along the positive real axis as r increases to 1. But unfortunately this limit may not exist. There is no easy way to specify points in the corona. However, you can see that such points must exist, as follows.
The theory of commutative unital Banach algebras tells us that there is a topology on the set of multiplicative linear functionals that makes this set into a compact space. For the point evaluations on the algebra , this topology coincides with the usual topology of . But the open unit disk is not compact, so there must be additional multiplicative linear functionals that form a 'completion' of this set. However, the completion is not the usual one under which the completion of the open disk is the closed disk. Its structure is very much more complicated.
That is one way of constructing a completion for a metric space. But in general a space has many different completions. To take a very simple example, the open unit interval (0,1) can be completed by adding two points (0 and 1, obviously). It can also be completed by adding just one point, via the mapping , which wraps the interval round a circle and then only the single point 1 needs to be added.
Any locally compact space has a whole family of compactifications, ranging from the one-point compactification (as described above for the unit interval) to the Stone–Čech compactification. The corona of the algebra of bounded analytic functions on the disk comes somewhere between those two extremes.
It is kind of coincidental since I am doing the Stone-Cech compactification of Tychonoff spaces right now.
Now, one more question haha. If you were to do a compactification of this space would you do it via the embedding into a product of intervals or would you (more likely considering this is FA) use the maximal ideal space?