Talk:Topological vector space
Abelian topological group
The article current reads: "A vector space is an abelian group with respect to the operation of addition, and in a topological vector space the inverse operation is always continuous (since it is the same as multiplication by −1). Hence, every topological vector space is an abelian topological group.". The reasoning here sounds wrong. The addition is a function +: V^2 to V, where V^2 has the product topology. It is this function which must be continuous. --Kaba3 (talk) 21:17, 22 February 2012 (UTC)
dual always Hausdorff?
If V is a Hausdorff topological vector space, is V ' also a Hausdorff topological vector space? Probably some Hahn-Banach consequence? AxelBoldt, Thursday, July 4, 2002
The weak* topology on V* is always Hausdorff — even if V isn't. This is because V separates the points of V*. So if v* and w* are distinct elements of V* — say because they behave differently on v ∈ V — then they are separated by the preimages (under v: V* → K) of any disjoint neighbourhoods of ⟨v,v*⟩ and ⟨v,w*⟩. As you can see, no Hahn-Banach Theorem (or any form of choice whatsoever) is needed. — Toby Bartels, Saturday, July 6, 2002
PS: Why'd you change "V*" to "V'"? So ugly! (and IME far less common).
- I don't agree on the last thing. D' is much more common than D* for the (topological) dual of D, and it's the same for all other function spaces. The star often denotes the group of units or the nonzero elements. At least in functional analysis, the topological dual is almost always denoted by a prime, AFAIK. — MFH:Talk 21:05, 28 February 2006 (UTC)
I create Locally convex topological vector space as a meso-stub yesterday (and I am about to use this link Locally convex space to create a redirect). The problem is that I didn't get very far, since I didn't want to create too much overlap here - this page is really about locally convex spaces! One way around this is to shift much of the content from here to there, and create specific content on this page. In particular, a non-locally-convex example. --AndrewKepert 21:43, 11 Mar 2004 (UTC)
not necessarily Hausdorff
The very important notion of "associated Hausdorff space" would not make sense if all TVS were Hausdorff. I was already about to delete "Hausdorff" from the intro, but now hesitate until I'm sure that it's not used elsewhere (please, those who know well this area of wiki, help me...)
I think your justification,
- "added common Hausdorff condition just to make it easier to write Locally_compact article"
is almost hilarious! We cannot change an extremely well-established definition just to make something else easier!
Please, if somebody has serious objections, tell me quickly, else I will ASAP delete "Hausdoff" before more and more pages risk referring to this definition.
(Already, I dislike a bit
- A topological vector space is a real or complex vector space endowed with...
I would much prefer
- A topological vector space is a vector space over a topological field endowed with...
or at least
- A real or complex vector space is a topological vector space if it is endowed with...
this way, at least, you don't "block" people working in a slightly more general setting than you. But well, here I would agree that the latter are a minority (and of course minorities should not be treated on the same footing than the "main stream people", and not be able to use other's work... sorry for the sarcasm). --— MFH: Talk 18:12, 8 Apr 2005 (UTC)
- I would guess the Hausdorff property is copied from []. I think it would be better to remove the property but I am no expert on the topic and do not know what is common in the literature. As for the second point I prefer A topological vector space is a vector space over a field endowed with. No need to limit oneself to real or complex vector spaces. Considering this is not a basic topic we can assume the reader is comfortable working with vector spaces over arbitrary fields. MathMartin 21:08, 9 Apr 2005 (UTC)
- I agree with the fact that a topological vector space is not necessarily real or complex. A part of the theory works in a general contest (even if -I admit- I do not know anyone working on general TVS). Moreover, the requirement about the scalar multiplication (beeing continuous from K x X to X) is not completely correct. In the general definition of a TVS one requires that, for any k in K, the application that maps x to k x is continuous. Gala.martin 18:35, 27 February 2006 (UTC)
- This would be important. Can you give a reference? I think that the current version is correct: it has to be continuous in both variables. I happened to work on things that are not TVS just becase scalar multiplication is not continuous (in the first variable !) - in fact, this seems to me always the case in ultrametric normed vector spaces (just like |x+x|=|x|, |k x|=|x| goes not to zero when k goes to zero.) — MFH:Talk 20:58, 28 February 2006 (UTC)
- If your field has not a topological structure, what does it mean to be continuous in both the variables? But I am a little confused, now that I write. I can remember that Schaefer required continuity in both the variables... unfortunately I am abroad now, and cannot look for reference. Gala.martin 17:23, 1 March 2006 (UTC)
- You are perfectly right. Shame on me. You can equip the field with its natural uniformity, and then, of course, continuity in both the variables is natural. I mean, you can give the definition you want, but you do not go that far without this assumption. You were really unlucky not to have continuity in the scalar variable!! Gala.martin 17:28, 1 March 2006 (UTC)
- If the current definition is correct (scalar multiplication has to be continuous in both variables), then the sentence "The multiplication operation is continuous at 0 if and only if for any neighborhood U of 0 and any scalar λ there exists another neighborhood V of 0 such that λV is contained in U." under the illustration is incorrect. Jaan Vajakas (talk) 12:57, 20 February 2008 (UTC)
- How about "... vector space over a field (often taken to be the real or complex numbers) ...": so as to give the novice a gentle hint. linas 01:34, 28 February 2006 (UTC)
I agree with you fine fellows, and have performed the generalization. I also removed the comment about product topologies being used: what other topology can be meant on the product? It struck me as an awkward parenthetical remark so I removed it. If you object, feel free to complain or restore. -lethe talk + 19:16, 1 March 2006 (UTC)
- More generally, a linear transformation from X to a Hausdorff vector space Y is continuous if and only if its kernel is closed.
I doubt it!!! --Bdmy (talk) 19:55, 1 January 2009 (UTC)
- Ouch. Indeed, I'm not sure why I accepted the edit at face value. siℓℓy rabbit (talk) 20:31, 1 January 2009 (UTC)
Weakly bounded is relatively compact?
The article currently says that weakly bounded sets are relatively compact. But this is not true. Weakly bounded sets are not even originally bounded in some cases (for instance, there are topological vector spaces which lack any functionals, and so are weakly bounded in themselves). But it appears to be false also for the test case of a Hilbert space (the closed unit ball is weakly bounded, but not compact). I'm not sure what was intended here. siℓℓy rabbit (talk) 00:09, 5 January 2009 (UTC)
- It should read "weakly bounded sets are relatively weakly compact."; otherwise, of course, that's not true. But you're right I forgot about the case when the dual space is trivial. So, some further assumption is needed; maybe locally convex-ness. Thanks for spotting the error. Since this is one of the most frequently used fact, it should be mentioned somehow. But it has to be stated correctly :) -- Taku (talk) 00:16, 5 January 2009 (UTC)
- Dear Taku, in any non-reflexive Banach space the unit ball is weakly bounded but not relatively weakly compact. Also, I believe that an extensive discussion of weak topologies is more appropriate in the article locally convex topological vector space. --Bdmy (talk) 10:58, 5 January 2009 (UTC)
Yes, reflexivity. In fact, a Banach space is reflexive if and only if its unit ball is weakly compact. (called Kaukutani's theorem?). I agree that this doesn't belong to the article. -- Taku (talk) 23:04, 5 January 2009 (UTC)
Dear Taku, you wrote:
- "When the base field is locally compact, a topological vector space..."
I suppose you mean examples like the rational numbers Q. But there are several difficulties with this:
- convexity must be defined by restricting to rationals in [0, 1]
- completion must be reworded, as the field itself must be completed first
- gauges (Minkowski functionals) do not take values in the field
- and probably more...
Is it worth the price? Do you have a serious reference that does this, other than the article in Encyclopaedia that you mention? In my opinion, the main space of the article should deal with real or complex fields (as in Rudin, and I believe, in more than 90% of the references), and perhaps a special section "Bizarre cases" should deal with other fields and warn about differences. --Bdmy (talk) 10:51, 5 January 2009 (UTC)
- Actually, I do have the reference: H.H. Schaefer, topological vector space. Though I have never seriously read it before, it does discuss a TVS over arbitrary topological field (that is non-discrete valued field?). I added a qualification because, obviously, a TVS cannot be locally compact while it is isomorphic to copies of the field that is not locally compact. But you're right. Non-Archimedian metric, in particular, could be a lot of trouble (e.g., gauges) I suppose, (and I'm hardly an expert). Since, in Wikipedia, we should discuss usual cases and shouldn't seek the full generality, it's probably better to assume fields are real or complex, and create a section on TVS over exotic fields; in particular, some discussion on non-Archimedian metric. -- Taku (talk) 23:04, 5 January 2009 (UTC) I quote some results from Schaefer regarding finite-dim TVS. (Not sure if they are worth discussing in the article.)
- Every finite-dimensional Hausdorff TVS is isomorphic to copies of K
- Let K be complete. If there is a nontrivial locally compact Hausdorff TVS X, then K is locally compact and X has finite-dimension.
- -- Taku (talk) 23:53, 5 January 2009 (UTC)
The definition of Cauchy sequence should read: for every neighborhood V of 0, when n and m are large. ChriS (talk) 20:42, 19 July 2009 (UTC)
X × X → X
In the Definition section X × X → X is referred to as addition. Is that correct? Confluente (talk) 23:48, 22 December 2009 (UTC)
- Yes it is; sum or addition: it is the map + : X × X → X taking into . But notice that if not specified "X × X → X" denotes any map from the Cartesian product X × X to X. --pma (talk) 00:09, 23 December 2009 (UTC)
Cauchy-nets vs Cauchy-sequences
I don't get it. Why is it so that Cauchy-sequences are always bounded but Cauchy-nets are not? If there is an unbounded Cauchy-net, one can pick an unbounded Cauchy-sequence out of it. The same thing puzzles me with the "sequential completeness". This is from the article:
- Every Cauchy sequence is bounded, although Cauchy nets or Cauchy filters may not be bounded. A topological vector space where every Cauchy sequence converges is sequentially complete but may not be complete (in the sense Cauchy filters converge). Every compact set is bounded.
If there is a Cauchy-net which does not converge, one can extract a sequence out of it which does not converge, and this sequence is Cauchy as a subset of a Cauchy-net. Therefore "sequential completeness" implies completeness. I commented on this also in Talk:Locally convex topological vector space. Am I wrong? Lapasotka (talk) 08:08, 28 July 2011 (UTC)
“a uniform structure to be precise”
Why is that formulation more precise? Topological vector spaces get their uniform structure for free, since they are topological groups. --Chricho ∀ (talk) 00:45, 30 March 2012 (UTC)
From the article: Local convexity is the minimum requirement for "geometrical" arguments like the Hahn–Banach theorem. This is probably true in some sense, but the Hahn–Banach theorem (general version) itself needs only a vector space structure for its statement and proof. YohanN7 (talk) 17:50, 30 December 2012 (UTC)