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
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (205)
Orphanage
Unclass'd
Unproven (490)
Corrections (8)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] extended norm (Definition)

It is sometimes convenient to allow the norm to take extended real numbers as values. This way, one can accomdate elements of infinite norm in one's vector space. The formal definition is the same except that one must take care in stating the second condition to avoid the indeterminate form $ 0 \cdot \infty$.

Definition: Given a real or complex vector space $ V$, an extended norm is a map $ \Vert \cdot \Vert \to \overline{\mathbb{R}}$ which staisfies the follwing three defining properties:

  1. Positive definiteness: $ \Vert v \Vert > 0$ unless $ v = 0$, in which case $ \Vert v \Vert = 0$.
  2. Homogeneity: $ \Vert \lambda v \Vert = \vert \lambda \vert \> \Vert v \Vert$ for all non-zero scalars $ \lambda$ and all vectors $ v$.
  3. Triangle inequality: $ \Vert u + v \Vert \le \Vert u \Vert + \Vert v \Vert$ for all $ u, v \in V$.

Example Let $ C^0$ be the space of continuous functions on the real line. Then the function $ \Vert \cdot \Vert$ defined as

$\displaystyle \Vert f \Vert = \sup_x \vert f(x)\vert$
is an extended norm. (We define the supremum of an unbounded set as $ \infty$.) The reason it is not a norm in the strict sense is that there exist continuous functions which are unbounded. Let us check that it satisfies the defining properties:
  1. Because of the absolute value in the definition, it is obvious that $ \Vert f \Vert \ge 0$ for all $ f$. Furthermore, if $ \Vert f \Vert = 0,$ then $ \sup_x \vert f(x)\vert = 0$, so $ \vert f(x)\vert \le 0$ for all $ x$, which implies that $ f = 0$.
  2. If $ f$ is bounded, then
    $\displaystyle \Vert f \Vert = \sup_x \vert \lambda f(x) \vert = \sup_x \vert \l... ...mbda \vert \sup_x \vert f(x) \vert = \vert \lambda \vert \> \Vert \Vert f \Vert$
    If $ f$ is unbounded and $ \lambda \neq 0$, then $ \lambda \vert f\vert$ is unbounded as well. By the convention that infinity times a finite number is infinity, property (2) holds in this case as well.
  3. If both $ f$ and $ g$ are bounded, then
    $\displaystyle \Vert f + g \Vert = \sup_x \vert f(x) + g(x) \vert \le \sup_x ( \... ...up_x \vert f(x) \vert + \sup_x \vert g(x) \vert = \Vert f \Vert + \Vert g \Vert$
    On the other hand, if either $ f$ or $ g$ is unbounded, then the right hand side of (3) is infinity by the convention that anything other minus infinity added to plus infinity is still infinity and infinity is bigger than anything which could appear on the left.

An extended norm partitions a vector space into equivalence classes modulo the relation $ \Vert u - v \Vert < \infty$. The equivalence class of zero is a vector space consisting of all elemets of finite norm. Restricted to this equivalence class the extended norm reduces to an ordinary norm. The other equivalence classes are translates of the equivalence class of zero. Furthermore, when we use the distance function of the norm to define a topology on our vector space, these equivalence classes are exactly the connected components of the topology.



"extended norm" is owned by rspuzio. [ full author list (2) | owner history (2) ]
(view preamble)

View style:


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

Cross-references: connected components, topology, distance, translates, restricted, relation, equivalence classes, partitions, plus infinity, minus infinity, right hand side, property, number, finite, infinity, bounded, implies, obvious, absolute value, unbounded, strict, unbounded set, supremum, function, line, continuous functions, triangle inequality, vectors, scalars, positive, defining properties, map, complex, real, indeterminate form, vector space, infinite, extended real numbers, norm
There are 2 references to this entry.

This is version 3 of extended norm, born on 2005-02-02, modified 2005-08-11.
Object id is 6703, canonical name is ExtendedNorm.
Accessed 1640 times total.

Classification:
AMS MSC: 46B99 (Functional analysis :: Normed linear spaces and Banach spaces; Banach lattices :: Miscellaneous)
Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)