# Defective matrix

In linear algebra, a defective matrix is a square matrix that does not have a complete basis of eigenvectors, and is therefore not diagonalizable. In particular, an n × n matrix is defective if and only if it does not have n linearly independent eigenvectors. A complete basis is formed by augmenting the eigenvectors with generalized eigenvectors, which are necessary for solving defective systems of ordinary differential equations and other problems.

A defective matrix always has fewer than n distinct eigenvalues, since distinct eigenvalues always have linearly independent eigenvectors. In particular, a defective matrix has one or more eigenvalues λ with algebraic multiplicity $m > 1$ (that is, they are multiple roots of the characteristic polynomial), but fewer than m linearly independent eigenvectors associated with λ. However, every eigenvalue with multiplicity m always has m linearly independent generalized eigenvectors.

A Hermitian matrix (or the special case of a real symmetric matrix) or a unitary matrix is never defective; more generally, a normal matrix (which includes Hermitian and unitary as special cases) is never defective.

## Jordan block

Any Jordan block of size 2×2 or larger is defective. For example, the n × n Jordan block,

$J = \begin{bmatrix} \lambda & 1 & \; & \; \\ \; & \lambda & \ddots & \; \\ \; & \; & \ddots & 1 \\ \; & \; & \; & \lambda \end{bmatrix},$

has an eigenvalue, λ, with multiplicity n, but only one distinct eigenvector,

$v = \begin{bmatrix} 1 \\ 0 \\ \vdots \\ 0 \end{bmatrix}.$

## Example

A simple example of a defective matrix is:

$\begin{bmatrix} 3& 1 \\ 0 & 3 \end{bmatrix}$

which has a double eigenvalue of 3 but only one distinct eigenvector

$\begin{bmatrix} 1 \\ 0 \end{bmatrix}$

(and constant multiples thereof).

## References

• Strang, Gilbert (1988). Linear Algebra and Its Applications (3rd ed.). San Diego: Harcourt. ISBN 970-686-609-4.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 5, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9094218611717224, "perplexity_flag": "middle"}