Is every norm preserved under a unitary map?

  • Context: Graduate 
  • Thread starter Thread starter Bipolarity
  • Start date Start date
  • Tags Tags
    Map Norm
Click For Summary
SUMMARY

A unitary operator is defined as one whose inverse and Hermitian transpose are identical, and it is proven to be norm preserving and inner product preserving. However, this preservation applies specifically to the norm induced by the inner product associated with the unitary operator. In the context of signal processing, the Fourier transform preserves the ##L^{2}## norm as established by Parseval's theorem, but it does not preserve the ##L^{1}## norm, which is not induced by any known inner product. The discussion highlights the distinction between different norms and their preservation under unitary transformations.

PREREQUISITES
  • Understanding of unitary operators in linear algebra
  • Familiarity with inner product spaces
  • Knowledge of Fourier transforms and their properties
  • Concept of different norms, specifically ##L^{1}##, ##L^{2}##, and ##L^{∞}## norms
NEXT STEPS
  • Study the properties of unitary operators in more detail
  • Research Parseval's theorem and its implications in signal processing
  • Explore the differences between ##L^{1}##, ##L^{2}##, and ##L^{∞}## norms
  • Examine the behavior of the Fourier transform on various function spaces
USEFUL FOR

Mathematicians, physicists, signal processing engineers, and anyone interested in the properties of unitary operators and their applications in functional analysis.

Bipolarity
Messages
773
Reaction score
2
I am a bit confused, so this question may not make much sense.

A unitary operator from one vector space to another is one whose inverse and Hermitian transpose are identical.

It can be proved that unitary operators are norm preserving and inner product preserving. Which raises the question, which norm/inner product does this refer to, since the unitarity of the map was not defined with respect to an inner product?

In particular, I ask this question in application to signal processing.
Consider the space of functions that are integrable and square-integrable from -∞ to ∞. This space is a vector space, and also an inner product space under the standard function inner product. The norm induced by this inner product is the ##L^{2}## norm. It can be shown to be preserved under the Fourier transform, a result known as Parseval's theorem.

But does the Fourier transform preserve the ##L^{1}## norm, which does not appear to be induced by any inner product that I know of?

Thanks!

BiP
 
Physics news on Phys.org
Fourier transform of L1 function is bounded, with the bound ≤ norm of the original function. In other words the Fourier transform of an L1 function is L∞.
 
Bipolarity said:
A unitary operator from one vector space to another is one whose inverse and Hermitian transpose are identical.
That's one way to define a unitary operator. Note well: It doesn't make sense to talk about UU* without having some concept of an inner product. Another way to define a unitary operator is as a surjective operator that preserves the inner product. The two definitions are equivalent.

It can be proved that unitary operators are norm preserving and inner product preserving. Which raises the question, which norm/inner product does this refer to, since the unitarity of the map was not defined with respect to an inner product?
Unitary operators preserve the inner product, which means they preserve the norm induced by that inner product. They do not preserve all norms. A simple example: Consider ℝ2. Rotate ##\hat x## by 45 degrees to ##\frac{\sqrt{2}}2 (\hat x + \hat y)##. The Euclidean norm (L2 norm) of that rotated unit vector is still one, but the taxicab norm (L1 norm) has changed from one to √2, and the max norm (L norm) has changed from one to √2/2.
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 15 ·
Replies
15
Views
11K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
3
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
5K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 43 ·
2
Replies
43
Views
7K