PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
[parent] scaling of the open ball in a normed vector space (Theorem)

Let $ V$ be a vector space over a field $ F$ (real or complex), and let $ \Vert\cdot \Vert$ be a norm on $ V$. Further, for $ r>0$, $ v\in V$, let

$\displaystyle B_r(v) = \{ w\in V: \Vert w-v\Vert < r \}. $
Then for any $ \lambda\in F$, we have
$\displaystyle \lambda B_r(v) = B_{\vert\lambda\vert r}(\lambda v). $

The claim is clear for $ \lambda =0$, so we can assume that $ \lambda \neq 0$. Then

$\displaystyle \lambda B_r(v)$ $\displaystyle =$ $\displaystyle \{ z\in V: \Vert w-v\Vert < r\ $   and$\displaystyle \ z=\lambda w \}$  
  $\displaystyle =$ $\displaystyle \{ z\in V: \Vert \frac{z}{\lambda}-v\Vert < r \}$  
  $\displaystyle =$ $\displaystyle \{ z\in V: \Vert z-\lambda v\Vert < \vert\lambda\vert r \}$  
  $\displaystyle =$ $\displaystyle B_{\vert\lambda\vert r}(\lambda v).$  



Anyone with an account can edit this entry. Please help improve it!

"scaling of the open ball in a normed vector space" is owned by matte. [ full author list (2) ]
(view preamble)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: clear, norm, complex, real, field, vector space
There are 2 references to this entry.

This is version 3 of scaling of the open ball in a normed vector space, born on 2005-10-29, modified 2006-10-14.
Object id is 7458, canonical name is ScalingOfTheOpenBallInANormedVectorSpace.
Accessed 949 times total.

Classification:
AMS MSC46B99 (Functional analysis :: Normed linear spaces and Banach spaces; Banach lattices :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)