When is the Frobenius norm of a matrix equal to the 2-norm of a matrix?

  • Context: Graduate 
  • Thread starter Thread starter GridironCPJ
  • Start date Start date
  • Tags Tags
    Frobenius Matrix Norm
Click For Summary
SUMMARY

The Frobenius norm of a matrix coincides with the 2-norm if and only if the matrix has rank 1. This is established through the definitions where the Frobenius norm is calculated as the square root of the sum of the squares of the singular values, while the 2-norm is the maximum singular value. In cases where the matrix can be expressed as A = cr, where c is a column vector and r is a row vector, the two norms are equal. Additionally, for any matrix A, the relationship ||A||₂ ≤ ||A||₍ₓ₎ ≤ √r ||A||₂ holds, where r is the rank of A.

PREREQUISITES
  • Understanding of matrix norms, specifically Frobenius norm and 2-norm.
  • Knowledge of singular value decomposition (SVD) and its implications for matrix rank.
  • Familiarity with linear algebra concepts, particularly eigenvalues and eigenvectors.
  • Basic understanding of matrix representation and operations.
NEXT STEPS
  • Study the properties of singular value decomposition (SVD) in detail.
  • Explore the implications of matrix rank on various matrix norms.
  • Learn about the relationship between eigenvalues and singular values in matrices.
  • Investigate applications of Frobenius and 2-norm in machine learning and data science.
USEFUL FOR

Mathematicians, data scientists, and engineers working with linear algebra, particularly those involved in matrix computations and optimizations.

GridironCPJ
Messages
44
Reaction score
0
What conditions most be true for these two norms to be equal? Or are they always equal?
 
Physics news on Phys.org
GridironCPJ said:
What conditions most be true for these two norms to be equal? Or are they always equal?



I'm far from being a specialist in this, but it seems to me that "Frobenius norm of a matrix" is just the name given to the 2-norm...

Don
 
Well, in the applied linear algebra course I'm taking currently, the Frobenius norm of a matrix A is defined as the square root of the trace of A'A and the 2-norm is defined as the square root of the largest eigenvalue of A'A. I'm just not sure if they're always the same.
 
The Frobenius and 2-norm of a matrix coincide if and only if the matrix has rank 1 (i.e. if and only if the matrix can be represented as A=c r, where r is a row and c is a column).

You can see that from the fact that Frobenius norm is \left( \sum_k s_k^2\right)^{1/2} and the 2-norm is \max s_k, where s_k are singular values. So equality happens if and only if there is only one non-zero singular value, which is equivalent to the fact that the rank is 1.
 
Hawkeye18 said:
The Frobenius and 2-norm of a matrix coincide if and only if the matrix has rank 1 (i.e. if and only if the matrix can be represented as A=c r, where r is a row and c is a column).

You can see that from the fact that Frobenius norm is \left( \sum_k s_k^2\right)^{1/2} and the 2-norm is \max s_k, where s_k are singular values. So equality happens if and only if there is only one non-zero singular value, which is equivalent to the fact that the rank is 1.

Excellent, thank you. The matrix in a proof I'm working on involves a rank 1 matrix, so this equality of the two norms applies perfectly.
 
Hawkeye18 said:
The Frobenius and 2-norm of a matrix coincide if and only if the matrix has rank 1

More generally, ##||A||_2 \le ||A||_F \le \sqrt{r}||A||_2## where r is the rank of A.
 
AlephZero said:
More generally, ##||A||_2 \le ||A||_F \le \sqrt{r}||A||_2## where r is the rank of A.

May you shed some light on this? Or quote any possible reference? Thanks
 
tomz said:
May you shed some light on this? Or quote any possible reference? Thanks
Assuming you accept Hawkeye18's formulas, namely
$$\|A\|_F = \left( \sum_k s_k^2\right)^{1/2}$$
and
$$\|A\|_2 = \max{s_k}$$
then we have
$$\|A\|_2 = \max{s_k} = \left( (\max{s_k})^2\right)^{1/2} \leq \left( \sum_{k} s_k^2 \right)^{1/2} = \|A\|_F$$

For the second inequality, note that the rank of ##A## is precisely the number of nonzero singular values. Let's sort the singular values so that the nonzero ones all come first. Then for a rank ##r## matrix, we have
$$\|A\|_F = \left( \sum_{k=1}^{r} s_k^2\right) ^{1/2} \leq \left( \sum_{k=1}^{r} (\max s_k)^2 \right)^{1/2} = (r (\max s_k)^2)^{1/2} = \sqrt{r} \|A\|_2$$
Equality holds if and only if the ##r## nonzero singular values are all equal.
 
  • Like
Likes   Reactions: hairetikos and jim mcnamara
when matrix A is Singular which means det(A)=0.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K