| Name | Tag | Kind | MSC |
|---|
| Picard operator | 00WAVB68F9 | definition | 34A12, 47H10 |
| Continuous linear map | 03TM135G0N | concept | 47B01 |
| Spectral theorem for normal matrices | 04CW1P44VD | statement | 15A21, 47B15 |
| Operator norm | 06EKW1AKXF | concept | 47A30 |
| Spectral theorem | 06J4PXRG22 | statement | 47B15, 15A18 |
| An iterate of the Picard operator is a contraction | 08XDXP86XE | statement | 34A12, 47H10 |
| Invariant subspace | 0ACX5QT8TE | concept | 15A04, 47A15 |
| Linear maps on finite-dimensional spaces are continuous | 0C13E623WD | statement | 47B01 |
| Eigenvalues of a self-adjoint operator are real | 0C4NT4GT3X | statement | 47B15, 15A18 |
| Normal operator | 0C8BR8XRTR | concept | 47B15, 15A04 |
| Matrix of the adjoint is the conjugate transpose | 0DBTE6HVBD | statement | 15A04, 47A05 |
| Normal operator | 0ENZN5G4CV | definition | 47B15, 15A04 |
| Invariant subspace | 0EP59ESQ94 | definition | 15A04, 47A15 |
| Bounded linear maps are continuous | 0F3K4C7XYW | statement | 47B01 |
| Eigenspaces of a self-adjoint operator are orthogonal | 0JHGAV9H25 | statement | 47B15, 15A18 |
| Restriction of an endomorphism to an invariant subspace | 0KN7EPH7Z0 | concept | 15A04, 47A15 |
| Self-adjoint operator | 0MB8HQW495 | definition | 47B15, 15B57 |
| Contraction mapping | 0MT2S0ZX4Y | definition | 47H09 |
| Self-adjoint operator | 0NEGN5CRSC | concept | 47B15, 15B57 |
| Restriction of an endomorphism to an invariant subspace | 0PFPWKBDTJ | definition | 15A04, 47A15 |
| Contraction mapping | 0QN69YA357 | concept | 47H09 |
| Adjoint of a linear map | 0R9NMSM1ZP | concept | 15A04, 47A05 |
| Continuous linear map | 0S3SMRH0Z5 | definition | 47B01 |
| Adjoint of a linear map | 0ST8QF9T3T | definition | 15A04, 47A05 |
| Banach fixed point theorem | 0VK6VEH345 | statement | 47H10 |
| Operator norm | 0ZTEH055YF | definition | 47A30 |
