El teorema de F. Riesz (llamado así por el matemático húngaro Frigyes Riesz (1880-1956)) es una proposición importante en análisis funcional, que establece que un espacio vectorial topológico (EVT) de Hausdorff es de dimensión finita si y solo si es localmente compacto. El teorema y sus consecuencias se utilizan de forma ubicua en el análisis funcional, a menudo sin mencionarlo explícitamente.
En primer lugar, debe recordarse que un espacio vectorial topológico (EVT) es de Hausdorff si y solo si el conjunto unitario que consta exclusivamente del origen es un subconjunto cerrado de . Una aplicación entre dos EVT se denomina isomorfismo EVT o isomorfismo en la categoría de EVT si es un homeomorfismo lineal.
|
En todo momento, son EVTs (no necesariamente de Hausdorff), siendo un espacio vectorial de dimensión finita.
En particular, el rango de es EVT-isomorfo a