Famille de résultats identifiant les fonctionnelles linéaires continues sur certains espaces de fonctions à des représentants concrets : sur un espace de Hilbert toute fonctionnelle linéaire continue est le produit scalaire avec un élément unique ; pour certains espaces de fonctions continues, les duaux correspondent à des mesures.

Principe

La continuité combinée à la structure topologique/vectorielle appropriée implique la représentabilité : dans les cadres à produit scalaire (Hilbert) l'application de Riesz fournit un isomorphisme isométrique entre l'espace et son dual continu ; dans les espaces localement compacts de Hausdorff le dual de C_0 est l'espace des mesures de Borel régulières.

Démonstration

Dans L^2(Ω) toute fonctionnelle linéaire bornée L s'écrit L(f)=∫ g* f = ⟨g,f⟩ pour un unique g∈L^2(Ω) ; pour C_c(X) ou C_0(X) sur un espace localement compact X le dual s'identifie aux mesures de Borel finies régulières, de sorte que les fonctionnelles linéaires sont des intégrales contre des mesures.

Mauvaise application

Supposer la forme de représentation de Riesz dans un espace de Banach arbitraire (par exemple L^p avec p≠2) est incorrect ; traiter les distributions ou les fonctionnelles non continues comme représentables par un élément unique de l'espace primal néglige les hypothèses requises de complétude, de produit scalaire ou de topologie.

Conséquence

Fournit des descriptions explicites des espaces duaux, permet des preuves et calculs constructifs (par exemple représenter les fonctionnelles linéaires par des noyaux ou des mesures) et donne des isomorphismes qui simplifient la théorie des opérateurs et l'analyse variationnelle.

Inversion

En l'absence d'un produit scalaire ou de la structure topologique requise, les duaux peuvent être beaucoup plus grands (distributions, mesures signées avec structure supplémentaire) et ne peuvent être représentés par des éléments uniques de l'espace primal.

Limite

Valide pour les espaces de Hilbert et pour des cadres d'espaces de fonctions spécifiques (espaces localement compacts de Hausdorff, C_0, L^2, etc.) ; ne s'applique pas généralement à tous les espaces de Banach ou aux fonctionnelles linéaires non continues, et l'énoncé précis dépend de la topologie et des hypothèses de complétude sous-jacentes.

Tension sémantique

Se distingue des résultats généraux de dualité comme Hahn–Banach qui garantissent des prolongements sans fournir de représentation concrète ; une tension apparaît aussi avec la réflexivité et avec les descriptions duales spécialisées pour L^p (p≠2) où les duaux sont d'autres espaces.

Synthèse

Les résultats de représentation de Riesz transforment des fonctionnelles linéaires continues abstraites en représentants concrets (vecteurs de produit scalaire ou mesures) sous les hypothèses structurelles appropriées, fournissant des identifications duales explicites cruciales pour l'analyse et les applications.