Are there any elementary functions of norms that are still norms?

In summary: Thanks for explaining. I guess the linearity is a very restrictive condition, since the only elementary functions with that property are linear functions, though compositions of integrals and derivatives might still yield a norm.
  • #1
askmathquestions
65
6
If ##d(x,y)## is a metric, then it is said ##\frac{d}{1+d}## is also a metric. I don't know the proof of this, I'd appreciate a reference, but it got me wondering:

If ##N(x)## is a norm on a Banach space ##x \in X##, then are there functions in a single real (or complex) variable ##f## (besides the identity function) for which ##f(N)## is also a norm? What would be the purpose of different norms of this nature?
 
Last edited:
Physics news on Phys.org
  • #2
askmathquestions said:
If ##d(x,y)## is a metric, then it is said ##\frac{d}{1+d}## is also a metric. I don't know the proof of this, I'd appreciate a reference,

Establishing the triangle inequality comes down to proving that for all positive [itex]a[/itex], [itex]b[/itex] and [itex]c[/itex], if [itex]a + b \geq c[/itex] then [tex]
\frac{a}{1 + a} + \frac{b}{1 + b} \geq \frac{c}{1 + c}.[/tex] This is done by showing that [itex]x/(1 + x)[/itex] is strictly increasing for [itex]x > 0[/itex] and showing that [tex]
\frac{a}{1 + a} + \frac{b}{1 + b} = \frac{a + b + 2ab}{1 + a + b + ab} \geq \frac{a + b}{1 + a + b}[/tex] for all positive [itex]a[/itex] and [itex]b[/itex].

If ##N(x)## is a norm on a Banach space ##x \in X##, then are there functions in a single real (or complex) variable ##f## (besides the identity function) for which ##f(N)## is also a norm? What would be the purpose of different norms of this nature?

If [itex]N[/itex] is a norm, and you want [itex]f \circ N[/itex] to be a norm, then you must satisfy the linearity requirement: [tex]
f(N(ax)) = f(|a|N(x)) = |a|f(N(x)).[/tex] Since you also need [itex]f(0) = 0[/itex] the conclusion is that [itex]f(x) = Cx[/itex] for some positive constant [itex]C[/itex]. This amounts to changing your unit of measurement, which isn't all that interesting.
 
  • Like
Likes PeroK
  • #3
Thanks for your reply. There's so many types of norms though, norms defined by integration, norms defined by differentiation (both of which are linear operators), norms defined by supremums, norms defined by the eigenvalues of a matrix, so on. None of these operations are simply scalar multiples of each other, you're absolutely sure there's no elementary functions for which ##f(N)## is also a norm?
 
  • #4
askmathquestions said:
Thanks for your reply. There's so many types of norms though, norms defined by integration, norms defined by differentiation (both of which are linear operators), norms defined by supremums, norms defined by the eigenvalues of a matrix, so on. None of these operations are simply scalar multiples of each other, you're absolutely sure there's no elementary functions for which ##f(N)## is also a norm?

A norm [itex]N: V \mapsto \mathbb{R}[/itex] on a vector space [itex]V[/itex] has to satisfy the requirements of being a norm:
  • For every [itex]v \in V[/itex], [itex]N(v) \geq 0[/itex] with [itex]N(v) = 0[/itex] iff [itex]v = 0[/itex].
  • For every [itex]v \in V[/itex] and every scalar [itex]a[/itex], [itex]N(av) = |a|N(v)[/itex].
  • For every [itex]v \in V[/itex] and every [itex]w \in V[/itex], [itex]N(v + w) \leq N(v) + N(w)[/itex].

[itex]f : [0, \infty) \to \mathbb{R}[/itex] has to satisfy conditions which make [itex]f \circ N: V \mapsto \mathbb{R}[/itex] a norm, given that [itex]N[/itex] satisfies the above requirements:
  • For every [itex]x \in [0, \infty)[/itex], [itex]f(x) \geq 0[/itex] with [itex]f(x) = 0[/itex] iff [itex]x = 0[/itex].
  • For every [itex]x \in [0, \infty)[/itex] and every [itex]a \in [0, \infty)[/itex], [itex]f(ax) = af(x)[/itex].

The second requirement is extremely restrictive for real functions, and only functions of the form [itex]x \mapsto Cx[/itex] satisfy it.

An entirely different question is: given two vector spaces [itex]V[/itex] and [itex]W[/itex], a (not necessarily linear) map [itex]L : V \to W[/itex] and a norm [itex]N[/itex] on [itex]W[/itex], under what circumstances is [itex]N \circ L[/itex] a norm on [itex]V[/itex]? I suspect you will find that [itex]L[/itex] does actually need to be linear and injective, but that still admits much more possibility than just positive multiples of the identity.
 
  • #5
Thanks for explaining. I guess the linearity is a very restrictive condition, since the only elementary functions with that property are linear functions, though compositions of integrals and derivatives might still yield a norm.
 

FAQ: Are there any elementary functions of norms that are still norms?

1. What are elementary functions of norms?

Elementary functions of norms refer to basic mathematical operations that can be applied to norms, such as addition, subtraction, multiplication, and division.

2. How do elementary functions affect norms?

Elementary functions can change the value of a norm, depending on the specific function used. For example, adding two norms together will result in a larger norm, while dividing one norm by another will result in a smaller norm.

3. Are all elementary functions of norms still norms?

No, not all elementary functions of norms result in a valid norm. For example, taking the square root of a norm can result in a complex number, which is not a valid norm. It is important to choose appropriate functions to maintain the properties of a norm.

4. What are the properties of a norm that must be preserved when using elementary functions?

The properties of a norm that must be preserved include homogeneity, subadditivity, and non-negativity. These properties ensure that the resulting value is still a valid norm.

5. Can elementary functions be used to create new norms?

Yes, elementary functions can be used to create new norms by combining existing norms in different ways. This can be useful in certain mathematical applications where a specific type of norm is needed.

Back
Top