En matemáticas , los espacios estrictamente normados son una subclase importante de espacios normados , que son similares en estructura a los espacios de Hilbert . Para tales espacios, se ha resuelto el problema de la unicidad de las aproximaciones, y esta propiedad se usa ampliamente en matemáticas computacionales y física matemática. Además, en un espacio estrictamente normado, un segmento que conecta dos puntos de una esfera arbitraria se encontrará enteramente estrictamente dentro (con la excepción de los puntos límite) de una bola abierta limitada por esta esfera.
Un espacio normado X se llama estrictamente normado (o estrictamente convexo ) si para satisfacer arbitrariamente la condición existe tal que .
El elemento se denomina elemento de mejor aproximación por x elementos de L . La existencia de un elemento de mejor aproximación está asegurada por el siguiente teorema.
teorema _ Sea X un espacio normado y L un subespacio lineal de dimensión finita. Entonces porque existe un elemento de mejor aproximación .
Además, en un espacio normado, pero no estrictamente normado, el elemento de mejor aproximación, en términos generales, no es único.