Why is the Hahn-Banach thorem so important? - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-05-26T03:58:30Z http://mathoverflow.net/feeds/question/26568 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important Why is the Hahn-Banach thorem so important? teil 2010-05-31T12:43:27Z 2010-07-08T12:08:31Z <p>Every time I here it mentioned it is praised in the highest posible terms, and I remember one of my old lecturers saying that it is one of the 3 most important theorems in analysis. Yet the only consequences of it that I have read is that it proves that there are lots of functionals and that separating hyperplanes exist. Are those 2 consequences really that spectacular, or are there other ones that I don't know of?</p> http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important/26569#26569 Answer by Justin for Why is the Hahn-Banach thorem so important? Justin 2010-05-31T12:48:38Z 2010-05-31T13:19:18Z <p>Here are a few more consequences:</p> <ul> <li>The norm of $T^*$ equals the norm of $T$</li> <li>$X$ reflexive and $M$ closed in $X$ implies $M$ reflexive</li> <li>If $X$ Banach then $X^*$ reflexive iff $X$ is reflexive</li> <li>$X^*$ separable implies $X$ separable</li> <li>If $X$ Banach and $T \in B(X)$ then $T$ invertible iff $T^*$ invertible</li> </ul> http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important/26571#26571 Answer by Charles Matthews for Why is the Hahn-Banach thorem so important? Charles Matthews 2010-05-31T13:00:42Z 2010-05-31T13:00:42Z <p>Interestingly, from this angle, Jean Dieudonné in his huge treatise on analysis gets away without it (IIRC). He makes part of it into an exercise? The reason being, apparently, that he approaches analysis from the "separable metric space" attitude, which he justifies somewhere. It's an interesting thing, therefore: it is one of the four canonical ideas in functional analysis (as said by F. Riesz?), but if you don't accept that mindset, there may be other ways. You are still going to need some existence principle for linear functionals.</p> http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important/26575#26575 Answer by KP Hart for Why is the Hahn-Banach thorem so important? KP Hart 2010-05-31T13:22:38Z 2010-05-31T13:22:38Z <p>It implies the <a href="http://matwbn.icm.edu.pl/ksiazki/fm/fm138/fm13813.pdf" rel="nofollow">Banach-Tarski Paradox</a> ...</p> http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important/26579#26579 Answer by coudy for Why is the Hahn-Banach thorem so important? coudy 2010-05-31T13:55:26Z 2010-05-31T13:55:26Z <p>My two cents. </p> <p>Linear functionals on a Banach space B are used to define the dual space B', and the <strong>weak topology</strong> on both the space and on its dual. But of course you need sufficiently many functionals to get an interesting object and topology. The theorem of Hahn-Banach implies that the weak topology is Hausdorff, and it definitely seems to be a prerequisite to get something useful. Now the weak topology on B is often more suitable than the norm topology on B in practical applications because it has "more" compact sets . Think of a Hilbert space, or a reflexive Banach space. Its unit ball is compact with respect to the weak topology. This gives rise to many existence theorems in several fields of mathematics. Think also of the space of distribution $D'(R)$. Here again the weak topology seems to be more useful than its intrinsic topology.</p> <p>Let me give another reason. Linear functionals can be seen as an infinite dimensional equivalent of the <em>coordinates</em> in $R^n$. I think that you will agree that the introduction of coordinates systems to represent points in space was a big leap forward in mathematics, from the historical viewpoint. Here is a problem that illustrates the need for coordinates in functional analysis. Let B a Banach space. You want to give a meaning to the integral of a B-valued function. Certainly, you want linearity, that is $\lambda(\int f d\mu)= \int(\lambda(f)d\mu)$, for all linear functional $\lambda$ on B. That's integration "coordinates by coordinates". It is not always possible to define such an integral, but the Hahn-Banach theorem tells you that there is only one possible value for $\int f d\mu$ if linearity holds.</p> http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important/26583#26583 Answer by BS for Why is the Hahn-Banach thorem so important? BS 2010-05-31T14:30:08Z 2010-07-08T12:08:31Z <p>Hahn-Banach is fundamental as a mean to easily obtain existence of objects in functional analysis. Basically, it expresses that any problem of a certain type which has no "obvious obstructions" has a solution. Even in finite dimensions, it is at the heart of the powerful <a href="http://en.wikipedia.org/wiki/Lagrange_multipliers" rel="nofollow">duality</a> in convex optimization (or the properties of the <a href="http://en.wikipedia.org/wiki/Convex_conjugate" rel="nofollow">Legendre-Fenchel transformation</a>).</p> <p>Hahn-Banach is also equivalent to the lower semi-continuity in the weak topology of convex semi-continuous functions, which allows to obtain solutions of many variational problems via <a href="http://en.wikipedia.org/wiki/Direct_method_in_the_calculus_of_variations" rel="nofollow">minimization</a>, for instance when sublevels of the convex functional are weakly compact. On the other hand, you have to work harder (use other input, e.g. regularity theorems) to state anything above the mere existence of your solution.</p> http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important/26588#26588 Answer by Yiftach Barnea for Why is the Hahn-Banach thorem so important? Yiftach Barnea 2010-05-31T15:00:58Z 2010-05-31T15:00:58Z <p>Let me give you a "real life" example of a use of the Hahn-Banach theorem. In one of my papers I needed the classification of the maximal subsemigroups of $\mathbb{Z}^n$. In the paper where the classification was done there was an unproved statement that didn't seem trivial to me. To prove it I needed a version of the Hahn-Banach theorem. So even an algebraist like me had to use it. If a theorem is useful outside its original area, it is probably quite important.</p> http://mathoverflow.net/questions/26568/why-is-the-hahn-banach-thorem-so-important/26595#26595 Answer by gowers for Why is the Hahn-Banach thorem so important? gowers 2010-05-31T15:33:15Z 2010-05-31T15:33:15Z <p>I have used it (sometimes with coauthors) several times in the following general context. I have wanted to prove that a function f can be decomposed as a sum g+h, where g has certain properties and h has certain properties. It has been possible to show that the set of acceptable g is convex, as is the set of acceptable h. So I'm trying to show that f belongs to a sum of two convex sets K+L. But a sum of convex sets is convex, so if f cannot be written in such a way, then it can be separated from K+L by a functional. It is often possible to derive a contradiction from this.</p> <p>The result is that one can prove the existence of the desired decomposition under circumstances where explicitly defining a decomposition would be difficult.</p> <p>Incidentally, the applications I am alluding to are of the finite-dimensional Hahn-Banach theorem. Some people call it the minimax theorem, and still others would call it duality for linear programming or something like that.</p>