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 .
Definition: Given a real or complex vector space , an extended norm is a map which staisfies the follwing three defining properties:
Positive definiteness: unless , in which case .
Homogeneity: for all non-zero scalars and all vectors .
Triangle inequality: for all .
is an extended norm. (We define the supremum of an unbounded set as .) 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:
Because of the absolute value in the definition, it is obvious that for all . Furthermore, if then , so for all , which implies that .
If both and are bounded, then
On the other hand, if either or 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 . 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.
|Date of creation||2013-03-22 14:59:49|
|Last modified on||2013-03-22 14:59:49|
|Last modified by||rspuzio (6075)|