Carrier space

On choisit une zone A dans un espace, puis on observe toutes les fonctions continues qui valent zéro hors de cette zone. Si ces fonctions sont forcément nulles partout, la définition exige que A soit dense, donc qu'elle approche chaque point de l'espace.

Un test immédiat révèle toutefois un cas décisif : la zone vide ne porte aucune valeur non nulle. Dans tout espace non vide, elle satisfait donc la première condition sans être dense. Avec la formulation donnée, seul l'espace vide peut être un espace porte.

Soit X un espace topologique. Pour chaque sous-ensemble A de X, on considère les fonctions continues de X vers les nombres réels qui valent zéro sur le complémentaire X ∖ A. La propriété définissant un espace porte affirme que, si toutes ces fonctions sont identiquement nulles, alors A est dense dans X. Dire que A est dense signifie que son adhérence est égale à X.

La condition peut aussi se lire par contraposition : dès que A n'est pas dense, il doit exister une fonction continue non nulle qui vaut zéro sur X ∖ A. Son ensemble de points où elle ne s'annule pas est alors contenu dans A ; c'est ce lien qui rapproche la propriété du support des fonctions continues.

La quantification porte néanmoins sur tout sous-ensemble, donc aussi sur A = ∅. Toute fonction qui vaut zéro sur X ∖ ∅ = X est nulle partout. L'hypothèse est ainsi satisfaite, alors que l'adhérence de ∅ reste vide. Si X n'est pas vide, la conclusion de densité échoue. Inversement, l'espace vide satisfait la propriété, puisque son unique sous-ensemble est dense en lui.

La définition met en relation quatre éléments. L'espace topologique X fournit les ouverts et la notion de densité. Le sous-ensemble A délimite la zone susceptible de porter des valeurs non nulles. Son complémentaire X ∖ A est la région où chaque fonction considérée doit s'annuler. Enfin, les fonctions continues à valeurs réelles servent de sondes : leur nullité forcée doit entraîner la densité de A.

La topologie détermine simultanément quelles fonctions sont continues et quelle adhérence possède A. Le choix de A détermine son complémentaire, donc la contrainte imposée aux fonctions. Ces données suffisent à tester la propriété ; ni un dessin, ni une distance, ni une mesure ne font partie de sa définition.

Prenons un espace topologique X contenant au moins un point x. Les données sont X ≠ ∅ et le sous-ensemble A = ∅. Aucune propriété particulière des ouverts de X n'est nécessaire.

Étape 1. Le complémentaire de A dans X est X tout entier.
Étape 2. Une fonction de X vers les réels qui s'annule sur ce complémentaire s'annule donc en chaque point de X.
Étape 3. L'hypothèse « toute fonction considérée s'annule partout » est satisfaite pour A.
Étape 4. L'adhérence de l'ensemble vide est vide. Elle n'est pas égale à X, puisque x appartient à X. Ainsi A n'est pas dense.

La conclusion exigée échoue : aucun espace topologique non vide ne vérifie la définition donnée. Le contrôle se refait sans calcul en comparant l'adhérence de ∅ à X. Pour X = ∅, ces deux ensembles coïncident ; l'espace vide est donc le seul cas qui passe ce test pour tous ses sous-ensembles.

Pour tester un espace candidat, le sous-ensemble vide suffit. Dans un espace non vide, toutes les fonctions imposées sont nulles sur X, mais ∅ n'est pas dense. Le test s'arrête donc immédiatement.

Pour lire la condition fonctionnelle, on peut aussi raisonner par contraposition. Un sous-ensemble non dense devrait contenir tous les points où une certaine fonction continue non nulle ne vaut pas zéro. Cette lecture met en évidence le rôle de la zone qui porte les valeurs non nulles.

Lorsqu'une application en topologie ou en analyse fonctionnelle suppose des exemples non vides, le cas A = ∅ doit être contrôlé avant d'employer cette propriété. Une restriction supplémentaire ou une autre condition serait nécessaire pour obtenir une classe non triviale.

Une fonction porte. Cette fonction vaut généralement une constante sur un intervalle et zéro hors de celui-ci. Ici, le mot « porte » qualifie au contraire un espace topologique au moyen d'une propriété portant sur tous ses sous-ensembles. Un graphe rectangulaire signale la fonction porte, pas l'espace défini dans cette fiche.

Un sous-ensemble dense. La densité est une propriété d'un sous-ensemble A dans X : son adhérence remplit X. Être un espace porte est une propriété globale de X, qui impose une implication pour chaque A. Un seul sous-ensemble dense ne suffit donc pas à qualifier l'espace.

Le sous-ensemble vide ne peut pas être écarté tacitement. L'expression « tout sous-ensemble A » inclut A = ∅. Le symptôme d'un raisonnement incomplet est l'étude exclusive de zones non vides. Il faut commencer par ce cas, qui élimine tous les espaces non vides.

La continuité ne change rien au contre-cas. Lorsque A = ∅, la fonction est supposée nulle sur X tout entier. Elle est donc déjà identiquement nulle, quelle que soit la topologie. Il ne faut pas chercher une topologie particulière pour éviter cette conclusion.

L'espace vide est un véritable cas charnière. Dans X = ∅, l'unique sous-ensemble est ∅ et son adhérence vaut X. La propriété est alors satisfaite. Affirmer qu'aucun espace porte n'existe serait donc aussi inexact que d'en proposer un exemple non vide.

La fiche Dense précise le rôle de l'adhérence dans la conclusion imposée à A.

La fiche fonction continue approfondit la famille de fonctions réelles utilisée pour sonder chaque sous-ensemble.