# Category:Theorems in functional analysis

Computing portal |

Here is a list of articles in the category **Theorems in functional analysis** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Pages in category "Theorems in functional analysis"

The following 103 pages are in this category, out of 103 total.

### A

- Analytic Fredholm theorem
*(computing)* - Anderson–Kadec theorem
*(computing)* - Arzelà–Ascoli theorem
*(computing)* - Atkinson's theorem
*(computing)* - Aubin–Lions lemma
*(computing)*

### B

- Banach–Mazur theorem
*(computing)* - Banach–Stone theorem
*(computing)* - Birkhoff–Kellogg invariant-direction theorem
*(computing)* - Bishop–Phelps theorem
*(computing)* - Bochner's theorem
*(computing)* - Bounded inverse theorem
*(computing)* - Browder–Minty theorem
*(computing)*

### C

- Choi's theorem on completely positive maps
*(computing)* - Closed graph theorem
*(computing)* - Closed range theorem
*(computing)* - Cohen–Hewitt factorization theorem
*(computing)* - Commutant lifting theorem
*(computing)* - Commutation theorem
*(computing)* - Convex series
*(computing)* - Cotlar–Stein lemma
*(computing)*

### D

- Delta-convergence
*(computing)* - Dieudonné's theorem
*(computing)* - Dixmier-Ng Theorem
*(computing)* - Dunford–Schwartz theorem
*(computing)* - Dvoretzky's theorem
*(computing)*

### E

- Eberlein–Šmulian theorem
*(computing)* - Ekeland's variational principle
*(computing)*

### F

- Farrell–Markushevich theorem
*(computing)* - Fichera's existence principle
*(computing)* - Fréchet–Kolmogorov theorem
*(computing)* - Fredholm's theorem
*(computing)* - Freudenthal spectral theorem
*(computing)* - Fuglede's theorem
*(computing)*

### G

- Gårding's inequality
*(computing)* - Gelfand–Mazur theorem
*(computing)* - Gelfand–Naimark theorem
*(computing)* - General existence theorem of discontinuous maps
*(computing)* - Goldstine theorem
*(computing)* - Grothendieck inequality
*(computing)*

### H

- Hahn–Banach theorem
*(computing)* - Hellinger–Toeplitz theorem
*(computing)* - Hilbert projection theorem
*(computing)* - Hilbert–Schmidt theorem
*(computing)* - Hille–Yosida theorem
*(computing)* - Hölder's inequality
*(computing)*

### J

- James's theorem
*(computing)*

### K

- Kachurovskii's theorem
*(computing)* - Kaplansky density theorem
*(computing)* - Kirszbraun theorem
*(computing)* - Kolmogorov's normability criterion
*(computing)* - Kōmura's theorem
*(computing)* - Krein–Milman theorem
*(computing)* - Krein–Rutman theorem
*(computing)* - Kuratowski and Ryll-Nardzewski measurable selection theorem
*(computing)*

### L

- Lauricella's theorem
*(computing)* - Lions–Lax–Milgram theorem
*(computing)* - Lumer–Phillips theorem
*(computing)*

### M

- M. Riesz extension theorem
*(computing)* - Marcinkiewicz interpolation theorem
*(computing)* - Marcinkiewicz–Zygmund inequality
*(computing)* - Mazur's lemma
*(computing)* - Mazur–Ulam theorem
*(computing)* - Mercer's theorem
*(computing)* - Michael selection theorem
*(computing)* - Milman–Pettis theorem
*(computing)* - Min-max theorem
*(computing)* - Minlos's theorem
*(computing)* - Moreau's theorem
*(computing)*

### N

- Naimark's dilation theorem
*(computing)* - Nash–Moser theorem
*(computing)*

### O

- Open mapping theorem (functional analysis)
*(computing)* - Orlicz–Pettis theorem
*(computing)*

### P

- Parseval's identity
*(computing)* - Peetre theorem
*(computing)* - Pettis' theorem
*(computing)* - Plancherel theorem
*(computing)* - Plancherel theorem for spherical functions
*(computing)*

### Q

- Quotient of subspace theorem
*(computing)*

### R

- Riesz representation theorem
*(computing)* - Riesz–Markov–Kakutani representation theorem
*(computing)* - Riesz–Thorin theorem
*(computing)* - Russo–Dye theorem
*(computing)* - Ryll-Nardzewski fixed-point theorem
*(computing)*

### S

- Sazonov's theorem
*(computing)* - Schur's theorem
*(computing)* - Schwartz kernel theorem
*(computing)* - Selection theorem
*(computing)* - List of selection theorems
*(computing)* - Spectral theorem
*(computing)* - Stinespring factorization theorem
*(computing)* - Stone's theorem on one-parameter unitary groups
*(computing)* - Stone–von Neumann theorem
*(computing)* - Surjection of Fréchet spaces
*(computing)* - Sz.-Nagy's dilation theorem
*(computing)*

### T

- T(1) theorem
*(computing)* - Tonelli's theorem (functional analysis)
*(computing)*

### U

- Uniform boundedness principle
*(computing)* - Ursescu theorem
*(computing)*

### V

- Von Neumann bicommutant theorem
*(computing)* - Von Neumann's theorem
*(computing)*

### W

- Weyl–von Neumann theorem
*(computing)* - Wirtinger's representation and projection theorem
*(computing)* - Wold's decomposition
*(computing)*