Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

What is the motivation behind the definition of bounded set in a topological vector space? The definition is different from the boundedness definition in metric space.

Why is it not simply defined as follows: A set is bounded if there is a neighbourhood around zero which contains that set ?

share|improve this question
3  
Look at the column on the right: all titles begin with an uppercase letter. Capitalization is a detail, but it affects the appearance of the site. I corrected it here. –  Weapon of Choice Aug 13 at 4:39

2 Answers 2

up vote 4 down vote accepted

In a metric space you have a way to measure distance and thus the definition of boundedness is, in a sense, obvious. In a topological vector space there are no distances, so of course the definition will be different than that given for metric spaces simply since you can't state the metric definition without a metric. However, if you think about it, the intuition is still the same. Try contemplating the definition. Stare at it for a while, translate it back to a familiar (metric!) topological vector space until you realize that it says essentially the same thing only using a more general language, since that is all you have.

share|improve this answer
    
Why is it not simply defined as follows: A set is bounded if there is a neighbourhood around zero which contains that set ? –  user148951 Aug 13 at 10:37
1  
Because the full set is a neighborhood of zero. –  user161825 Aug 13 at 11:00
    
@user161825: sorry, my bad, that was trivial. But still I don't understand the reason behind such generalization. As Ittay Weiss suggested the special case trivially follows from the general case but my question was why such generalization ? –  user148951 Aug 13 at 12:14
    
It is just sort of the right thing to do. For instance, a sequence $(x_n)$ is bounded if and only if for any complex sequence $\alpha_n$ with $\alpha_n\rightarrow 0$, then $\alpha_n x_n\rightarrow 0$, as you would expect of a 'bounded' sequence. Similarly, $E$ is bounded if and only if every sequence in $E$ is bounded. –  user161825 Aug 13 at 12:28
    
@user161825: Is there any notion of boundedness in case of only topological (not vector) space ? –  user148951 Aug 13 at 17:20

A bounded set $S$ in a topological vector space is one for which, given any neighborhood $N$ of the zero vector, there is a scalar $\alpha$ such that $S \subset \alpha N$. For more: http://en.wikipedia.org/wiki/Bounded_set_(topological_vector_space)

The motivation for this definition is fairly straightforward--if a "stretching" of a neighborhood of the zero vector contains the set, it is, in that sense, "bounded". In this way, the definition of boundedness is made not to depend upon distance, but solely on the notions of scaling, and of open sets.

share|improve this answer
    
I know that. I wanted to know about the motivation behind such definition as I mentioned in the question. –  user148951 Aug 13 at 4:13
    
Oh, my bad. I can't into reading. –  Fargle Aug 13 at 4:27

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.