
#1
Nov2211, 10:05 AM

P: 159

Apologies if this question is barking up a ridiculous tree, but: as I understand it, a normed vector space is simply a vector space with a norm. This seems to suggest the existence of vector spaces without norms. My question is whether these are vector spaces for which no norm can be defined (and if so, what is an example of one?), or if the definition is just a way of making explicit that a given vector space has a norm that we can use.




#2
Nov2211, 04:51 PM

P: 366

I'm not an expert on this sort of thing, but a norm always induces a metric. So if we find an unmetrizable vector space it is a fortiori "unnormable." Some examples can be found here.




#3
Nov2211, 06:25 PM

Sci Advisor
HW Helper
P: 9,421

infinite dimensional vector spaces may have many different topologies of interest, not all defined by norms. so even if a vector space can have a norm, the topology relevant to certain problems may not be a normed topology.
in this context it seems the previous poster meant to say there are topological vector spaces whose topology is not definable by a norm. 



#4
Nov2211, 08:02 PM

Sci Advisor
P: 1,168

Are There "Unnormed" Vector Spaces?
zooxanthellae wrote:
" Apologies if this question is barking up a ridiculous tree, but: as I understand it, a normed vector space is simply a vector space with a norm. This seems to suggest the existence of vector spaces without norms. My question is whether these are vector spaces for which no norm can be defined (and if so, what is an example of one?), or if the definition is just a way of making explicit that a given vector space has a norm that we can use. " In another sense, if your (barebones) vector space V is finitedimensional, you can always use the isomorphism with ℝ ^{n} to pullback the norm. But there are other issues, as Mathwonk said: if you have a topology given by a metric , the topology may not be generated by a norm; there are specific conditions under which a given metric is generated by a norm, i.e., so that there is a norm . with d(x,y):=xy ; I think one of the conditions is that the distance function is translationinvariant. Is that your question? 



#5
Nov2211, 08:07 PM

P: 367

There is a concept of a topological vector space. This is a vector space where scalar multiplication and vector addition are continuous. Any normed vector space is a topological vector space. But there are Topological vector spaces whose topology is not given by a norm.
These guys are an important example: http://en.wikipedia.org/wiki/Fr%C3%A9chet_space 



#6
Nov2211, 08:15 PM

Sci Advisor
P: 1,168

Maybe something else to add, re what I understood your original question to be, is that you can give your vector space more, or less structure; an unnormed vector space would be one in which you only consider the linearalgebraic aspects of the space: bases, linear independence, transformations (automorphisms), etc. This may be what is meant by an unnormed space, a space in which you only consider linearalgebraic properties and ignore others; it is like having a map of the world in which you point out some aspects but not others, like political maps or topographical ones, etc.
Maybe another important property to consider is that any two norms on a finitedimensional space generate the same/equivalent topologies. 



#7
Nov2411, 12:50 PM

P: 192

The important point is that a normed vector space is not one where we can define a norm, it's one where we defined a particular one. A single vector space could hace many different norms, and it's not a normed space until we've specified one. Different norms lead to very different properties of the space, and sometimes we're just not interested in the properties that a norm gives us. That's when we have a "unnormed" space.
In short, every space can be unnormed, if we choose to ignore its norm. It's only normed if we've specified one though, regardless of whether or not it is "normable." 



#8
Nov2411, 01:03 PM

Sci Advisor
P: 1,168





#9
Nov2411, 01:07 PM

P: 192

You're entirely correct that they generate the same topology, but that doesn't make them equivalent. It makes the topologies induced from the norms equivalent. For most purposes in abstract linear algebra, the topology is all we are concerned with, but there are applications where it's the actual values of the norm as a function to the real numbers that are of interest, which is why I draw the distinction.




#10
Nov2411, 01:10 PM

Sci Advisor
P: 1,168

Right, good point. I had not thought of that.




#11
Nov2511, 02:59 PM

P: 159

Thanks for the many responses, I think I have a better picture of how this works now. A normed vector space is a vector space for which we have a defined norm, but a vector space without a norm is not necessarily a vector space for which a norm is undefinable?




#12
Nov2611, 06:10 PM

PF Gold
P: 274

Right. I should add, since none of the other posters have done so already, that if you take any algebraic vector space without a topology, even an infinitedimensional one, it is always possible to define a norm on that vector space. The proof is simple: every real vector space is isomorphic to a direct sum of (possibly infinitely or even uncountably many) copies of R, and the direct sum of any number of copies of R can be given the sup norm.



Register to reply 
Related Discussions  
In binary can we have a value with "deci" "centi" "mili" or more lower valued prefix?  Computers  14  
"Cauchy" Sequences in General Topological Spaces  Topology and Analysis  1  
Vector Spaces, Polynomials "Over Fields"  Linear & Abstract Algebra  1  
Probability and Statistic on "InfiniteDimensional" spaces  Set Theory, Logic, Probability, Statistics  4  
"visualizing" topological spaces  General Math  5 