MHB Co-norm of an invertible linear transformation on R^n

Click For Summary
The discussion centers on defining the co-norm of an invertible linear transformation T on R^n, expressed as m(T) = inf{|T(x)| : |x|=1}. It is established that if T is invertible with inverse S, then m(T) can be proven to equal 1/||S||. The conversation delves into the properties of matrices, particularly focusing on the largest eigenvalue's influence on the norm and co-norm. The spectral theorem is referenced to explain the diagonalization of symmetric matrices and its implications for calculating norms. Ultimately, the relationship between the co-norm and the inverse transformation's norm is clarified through matrix properties.
i_a_n
Messages
78
Reaction score
0
$|\;|$ is a norm on $\mathbb{R}^n$.
Define the co-norm of the linear transformation $T : \mathbb{R}^n\rightarrow\mathbb{R}^n$ to be
$m(T)=inf\left \{ |T(x)| \;\;\;\; s.t.\;|x|=1 \right \}$
Prove that if $T$ is invertible with inverse $S$ then $m(T)=\frac{1}{||S||}$.

(I think probably we need to do something with the norm, but I still can't get it... So thank you.)
 
Last edited:
Physics news on Phys.org
ianchenmu said:
first, the title should be "co-norm of an invertible linear transformation on R^n" and here is the question:$|\;|$ is a norm on $\mathbb{R}^n$.
Define the co-norm of the linear transformation $T : \mathbb{R}^n\rightarrow\mathbb{R}^n$ to be
$m(T)=inf\left \{ |T(x)| \;\;\;\; s.t.\;|x|=1 \right \}$
Prove that if $T$ is invertible with inverse $S$ then $m(T)=\frac{1}{||S||}$.

(I think probably we need to do something with the norm, but I still can't get it... So thank you.)

Let's take a look at a generic matrix $A$ that has $\lambda_M$ as the eigenvalue with the largest magnitude.
Then $A^T A$ is symmetric with eigenvalues that are the squares of the eigenvalues of $A$.
According to the spectral theorem a symmetric real matrix can be diagonalized into $B D B^T$, where $D$ is a diagonal matrix, and $B$ is an orthogonal matrix.
It follows that:

$$\begin{aligned}
\lVert A \rVert^2 &= \max_{\lVert x \rVert=1} \lVert Ax \rVert^2 & (1) \\
&= \max_{\lVert x \rVert=1} x^T A^T A x & (2) \\
&= \max_{\lVert x \rVert=1} x^T B D B^{-1} x & (3) \\
&= \max_{\lVert y \rVert=1} y^T D y & (4) \\
&= \max_{\lVert y \rVert=1} \lambda_M^2 \lVert y \rVert^2 & (5) \\
&= \lambda_M^2 & (6) \\
\end{aligned}$$

Now apply this reasoning to both $m(T)$ and $\lVert S \rVert$...
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K