Linear Algebra Done Right · Problem 5D.23

Inner Product Spaces — Sheldon Axler

Mathematics — Linear Algebra · gershgorin-disk-theorem

Problem

Suppose the definition of the Gershgorin disks is changed so that the radius of the kkth disk is the sum of the absolute values of the entries in column (instead of row) kk of AA, excluding the diagonal entry. Show that the Gershgorin disk theorem (5.67) still holds with this changed definition.
Intuitive explanation

The key insight is that eigenvalues of a matrix depend only on the matrix itself, not on whether you organize information by rows or columns. The standard Gershgorin theorem uses row sums because it applies to Ax=λxA\mathbf{x} = \lambda\mathbf{x}, but you can apply the same reasoning to the transpose: if λ\lambda is an eigenvalue of AA, it's also an eigenvalue of ATA^T. By applying the original row-based Gershgorin theorem to ATA^T (where the rows of ATA^T are the columns of AA), you get disks defined by column sums of AA—proving the theorem holds with this switched definition.

Intuitive explanation

The key insight is that eigenvalues of a matrix depend only on the matrix itself, not on whether you organize information by rows or columns. The standard Gershgorin theorem uses row sums because it applies to Ax=λxA\mathbf{x} = \lambda\mathbf{x}, but you can apply the same reasoning to the transpose: if λ\lambda is an eigenvalue of AA, it's also an eigenvalue of ATA^T. By applying the original row-based Gershgorin theorem to ATA^T (where the rows of ATA^T are the columns of AA), you get disks defined by column sums of AA—proving the theorem holds with this switched definition.

Related theory

Browse the problem library