# Definition:Diagonalizable Operator

This page has been identified as a candidate for refactoring of basic complexity.In particular: subpages for defsUntil this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

Let $H$ be a Hilbert space over $\Bbb F \in \set {\R, \C}$.

Let $A:H \to H$ be a linear operator on $H$.

The following two definitions of **diagonalizable operator** are equivalent:

### By a Basis

$A$ is said to be **diagonalizable** if and only if there exist:

- a basis $E$ for $H$
- an indexed set $\family {\alpha_e}_{e \mathop \in E} \subseteq \Bbb F$ of scalars (with $E$ as indexing set)

such that:

- $\forall e \in E: Ae = \alpha_e e$

#### Value Set

The indexed set $\family {\alpha_e}_{e \mathop \in E}$ may be called the **value set of $A$ (with respect to the basis $E$)**.

### By a Partition of Unity

$A$ is said to be **diagonalizable** if and only if there exist:

- a partition of unity $\family {P_i}_{i \mathop \in I}$ on $H$
- an indexed set $\family {\alpha_i}_{i \mathop \in I} \subseteq \Bbb F$ of scalars (with the same $I$ as indexing set)

such that:

- $\forall i \in I: \forall h \in \Rng {P_i}: A h = \alpha_i h$

To express that $A$ is diagonalizable, one writes $\ds A = \sum_{i \mathop \in I} \alpha_i P_i$ or $\ds A = \bigoplus_{i \mathop \in I} \alpha_i P_i$.

#### Value Set

The indexed set $\family {\alpha_i}_{i \mathop \in I}$ may be called the **value set of $A$ (with respect to the partition of unity $\family {P_i}_{i \mathop \in I}$)**.

## Also see

- Diagonalizable Operator Bounded iff Value Set Bounded
- Diagonalizable Operator Compact iff Value Set Converges to Zero

### Examples

## Sources

- 1990: John B. Conway:
*A Course in Functional Analysis*(2nd ed.) ... (previous) ... (next) $\text {II}.4.6$ - 1990: John B. Conway:
*A Course in Functional Analysis*(2nd ed.) ... (previous) ... (next) $\text {II}.7.3$