Une application injective préservant la structure d'un objet vers un autre qui identifie la source comme un sous‑objet du but tout en préservant la structure pertinente (souvent réalisée comme un morphisme injectif avec des propriétés de réflexion supplémentaires).

Principe

Un plongement injecte et reflète la structure : il réalise la source comme présente à l'intérieur du but de sorte que la structure de la source corresponde exactement à la structure induite sur l'image.

Démonstration

Plongement de sous-groupe : un homomorphisme injectif i: H → G identifiant H à un sous-groupe de G. Plongement topologique : f: X → Y continue, injective et homéomorphisme sur son image munie de la topologie sous‑espace.

Mauvaise application

Qualifier de plongement toute application injective sans vérifier que l'image hérite bien de la structure de la source (par ex. une application continue injective qui n'est pas homéomorphisme sur son image n'est pas un plongement topologique).

Conséquence

Le plongement permet de considérer la source comme un sous‑objet véritable du but, facilitant le transfert de propriétés, les arguments d'extension et l'analyse dans l'espace ambiant.

Inversion

Un quotient ou une projection identifie des éléments au lieu de les inclure injectivement ; un homomorphisme non injectif ne peut être un plongement.

Limite

Le sens formel dépend de la catégorie : exige souvent l'injectivité et que le morphisme soit un monomorphisme ou un monomorphisme régulier/initial ; dans certains contextes on demande que l'image soit fermée/dense ou un homéomorphisme sur son image en topologie. Toute injection n'est pas forcément un plongement.

Tension sémantique

Injection versus plongement : l'injection est une propriété d'ensembles, le plongement est structurel et peut exiger réflexion ou conditions topologiques supplémentaires ; confusion fréquente entre plongement, immersion et homéomorphisme en géométrie.

Synthèse

Un plongement est l'inclusion préservant la structure qui réalise un objet à l'intérieur d'un autre par injectivité et conditions de réflexion garantissant que la structure induite sur l'image coïncide avec celle de la source.