« Semi-norme » : différence entre les versions

En [[analyse fonctionnelle]], cette situation est relativement courante. L'espace vectoriel est un espace de fonctions d'un ouvert d'un [[topologie d'un espace vectoriel de dimension finie|espace vectoriel topologique de dimension finie]] à valeur dans les réels ou [[nombre complexe|complexes]]. La semi-norme correspond par exemple à l'[[Intégrale (mathématiques)|intégrale]] de la [[valeur absolue]] ou du [[module d'un nombre complexe|module]] de la fonction. Une fonction nulle sur l'ouvert sauf sur un [[ensemble négligeable]] est non nulle mais de semi-norme alors nulle.

La [[espace topologique|topologie]] induite par la semi-norme confère à l'espace le statut d'[[espace vectoriel topologique]]. Il possède néanmoins une faiblesse rendant malcommode son usage. l'espace n'est pas nécessairement [[espace séparé|séparé]]. En vue de pallier cette difficulté, il est toujours possible de '''quotienter''' l'espace pour obtenir un nouvel ensemble équipé d'une structure d'[[espace vectoriel normé]]. En termes d'analyse fonctionnelle, ce quotient revient à travailler non plus sur des fonctions, mais sur des classes de fonctions: deux fonctions prises dans la même classe sont alors, équivalentes donc identifiées ''i.e.''si laelles semi-normene dediffèrent leurque différencesur estun ensemble nullenégligeable.