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

Discussion Overview

The discussion centers around the conditions under which the Frobenius norm of a matrix is equal to its 2-norm. Participants explore the definitions of these norms and the implications of matrix rank on their equality.

Discussion Character

  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants question whether the Frobenius norm and the 2-norm are always equal or under what conditions they might be equal.
  • One participant defines the Frobenius norm as the square root of the trace of A'A and the 2-norm as the square root of the largest eigenvalue of A'A, expressing uncertainty about their equality.
  • Several participants assert that the Frobenius and 2-norm coincide if and only if the matrix has rank 1, providing reasoning based on singular values.
  • Another participant notes a general inequality relating the two norms, stating that the 2-norm is less than or equal to the Frobenius norm, which in turn is less than or equal to the square root of the rank times the 2-norm.
  • One participant requests further clarification or references regarding the inequalities presented.
  • A participant mentions the case of a singular matrix, indicating a specific condition (det(A)=0) but does not elaborate on its relevance to the norms discussed.

Areas of Agreement / Disagreement

There is no consensus on whether the Frobenius norm and the 2-norm are always equal. While some participants agree on the condition of rank 1 for equality, others express uncertainty and seek further clarification.

Contextual Notes

Participants reference definitions and properties of norms, but there are unresolved assumptions regarding the implications of matrix rank and singular values on the norms' equality.

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 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
2
Views
2K