Théorème de construction affirmant que toute fonction continue à valeurs réelles définie sur un sous-ensemble fermé d'un espace topologique normal se prolonge en une fonction continue sur l'ensemble de l'espace.

Principe

La normalité permet de séparer des fermés par des fonctions continues ; en combinant des séparations de type Urysohn et une approximation par étapes on obtient une extension continue globale qui coïncide sur le sous-ensemble fermé.

Démonstration

Dans l'espace euclidien R^n (qui est normal), une fonction continue f sur un fermé A peut être étendue en une fonction continue F sur tout R^n en utilisant successivement des fonctions d'Urysohn et une approximation de type partition d'unité pour contrôler les valeurs hors de A.

Mauvaise application

Tenter d'étendre une fonction continue définie sur un fermé d'un espace non normal (par exemple certaines topologies T1 mais non normales) ou croire que l'extension préservera des structures supplémentaires comme la différentiabilité ou l'analyticité.

Conséquence

Garantit une grande souplesse pour construire des fonctions continues globales à partir de spécifications locales ; soutient les preuves nécessitant la prolongation de fonctions test, l'existence de partitions continues et la construction de fonctions 'bump' continues dans les espaces normaux.

Inversion

L'assertion inverse — que la restriction d'une fonction globale continue à un fermé ne rencontre aucun obstacle — est triviale ; la véritable inversion pertinente est que sans normalité de telles extensions peuvent ne pas exister, montrant que la condition est nécessaire en général.

Limite

S'applique aux fonctions continues réelles sur des sous-ensembles fermés d'espaces normaux (en particulier métriques ou de Hausdorff paracompacts). Ne garantit pas la préservation de la lissité, de l'holomorphie ni l'extension à partir de sous-ensembles non fermés sans hypothèses supplémentaires.

Tension sémantique

Parfois confondu avec le lemme d'Urysohn ou avec l'extension de Stone–Čech ; Urysohn sépare deux fermés disjoints par des fonctions continues bornées tandis que Tietze assure le prolongement d'une seule fonction continue ; Stone–Čech concerne les compactifications maximales et l'extension des fonctions continues bornées sur les espaces de Tychonoff.

Synthèse

L'extension de Tietze formalise comment la normalité d'un espace topologique permet de promouvoir des données continues locales définies sur un fermé en une fonction continue globale, outil fondamental pour les constructions en topologie des espaces.