Talk:Hahn–Banach theorem

From Wikipedia, the free encyclopedia

In the second important consequence, in the last formula instead of 1/||z|| must be 1/dist(z,U). The same mistake in other languages except for Polish.Dy76 (talk) 13:27, 19 January 2008 (UTC)


if V is a normed vector space with subspace U (not necessarily closed) and if z is an element of V not in the closure of U, then there exists a continuous linear map ψ : V -> K with ψ(x) = 0 for all x in U, ψ(z) = 1, and ||ψ|| = ||z||-1.

I think "not necessarily closed" is wrong here. But can't make up a counterexample right now.

What do you mean "wrong" ? It's a hypothesis, it cannot be right or wrong... It could be unnecessary to mention it, but it can't be wrong.

Contents

[edit] AC, Hahn-Banach and Banach-Tarski

Suppose you assume ZF as the axioms of set theory (i.e. without AC or its negation). You also assume the Hahn-Banach theorem is true. Can you prove AC? If yes, I think that means you can't get rid of the Banach-Tarski paradox without also losing the Hahn-Banach theorem. Is that interesting? 70.231.131.185 18:37, 8 February 2006 (UTC)

The following implications hold:
AC → BPI → "BM" → Hahn-Banach theorem → Banach-Tarski paradox.
where "BM" means that on every Boolean algebra there is a finitely additive measure.
  1. The first implication is of course well-known, and it is known that the reverse does not hold.
  2. The second implication is trivial (take the discrete measure), and I do not know if the reverse holds.
  3. I think that the third implication is actually an equivalence, but I am not sure.
  4. The fourth implication is proved in a paper by Janusz Pawlikowski in Fund. Math. 138 (1991). (The paper also mentions or perhaps proves the third implication.)
So the answer is: No, you cannot prove AC from Hahn-Banach. But yes, if you get rid of Banach-Tarski, you also lose Hahn-Banach.
Aleph4 23:29, 20 April 2006 (UTC)

[edit] redirect?

I'd like to rename this page to "Hahn-Banach theorem" (with an ordinary hyphen instead of the Unicode dash) and fix the links and get rid of the redirect. Any reason not to do that? It took a lot of head scratching for me to figure out how "Hahn-Banach theorem" could be redirected here, i.e. that the title of this page is actually something different. 70.231.131.185 05:25, 9 February 2006 (UTC)

Please don't do things like that. There is no reason to do it. It's just a time-sink going over this with everyone, but there is a good copy editor's convention that is being followed here. Charles Matthews 21:53, 9 February 2006 (UTC)
Blecch. The reason to do it is because the hyphen is much easier to type, is almost always what people type, and is what almost all the internal wikipedia links use, which means that with the en dash in the article title, all those links go to redirects and sometimes double redirects. The reason not to do it is in WP:MOSDASH which I just found. Maybe the solution is to adopt a convention of writing a double hyphen for the en dash, like in TeX, and put a code patch into the MediaWiki software to transform the double hyphen into the Unicode symbol, sort of like TeX does. Triple hyphen would similarly transform to an em dash. I can work on that patch if it's worthwhile, but I probably won't get a chance to do it real soon (there's other stuff I need to finish first). It would also have to get wider discussion since it would affect a lot of places where people typed double hyphens to express something like an em dash. Let me know what you think. (Actually I see now there's a huge discussion on WP:MOSDASH's talk page about the double hyphen suggestion. In my not-so-copious free time I'll someday try to get around to finding out what happened with it. Phr 00:41, 11 February 2006 (UTC)

[edit] infinite sub-linear function

the sub-linear function defined N:V->R but isn't it possible for it to have infinite values too? --itaj 00:23, 3 May 2006 (UTC)

I think that's a valid point. The book I looked at specifically mentions that N must be a finite sub-linear functional, since sub-linear functionals can be infinite-valued. Lavaka 18:30, 22 August 2006 (UTC)

[edit] fields

The statement of the H-B theorem says the range of N is the reals, while the range of ψ and φ are the scalar field K. This seems odd to me. We require that the extension ψ be dominated by N, but how to compare the values of the functions if one is in the reals and the other in K? Earlier, it is mentioned that K is

the scalar field (either the reals or complex)

. This seems sloppy: do we restrict K to just the reals and complex, or was the parenthetical comment just meant as an example, in which case it should use a word like "e.g." or "ex.". If it is restricted to the reals or complex, then we can compare N and K using the absolute value or complex modulus, but this should be made clear. The book I use simplifies everything and assumes K is the reals and doesn't get itself into trouble. --Lavaka 18:48, 22 August 2006 (UTC)

[edit] TeXify math?

At least on my computer screen, the mathematical formulae used in the article text are barely readable, and I would like to translate them to TeX, unless anybody disagress. — Tobias Bergemann 11:40, 4 May 2007 (UTC)

Translating inline formulas to TeX may cause some of them to become PNGs, and one some screens those look huge. The math style manual kind of discourages that. As long as you attempt to minimize inline PNGs I guess translating to TeX should be fine. By the way, the html formulas look perfect on my own screen. Oleg Alexandrov (talk) 15:28, 4 May 2007 (UTC)

[edit] Eduard Helly

The story of Eduard Helly proving Hahn-Banach 20 years before Hahn and Banach seems to be supported by Mac Tutor [1]. I suppose we should add it. -- Tiphareth (talk) 11:45, 19 November 2007 (UTC)