injection canonique
- Domaine
-
- mathématiques
Note :
Soient X et Y deux ensembles tels que X ∈ Y; l'application j : X → Y donnée par j(x) = x pour tout x ∈ X est évidemment injective; on l'appelle l'injection canonique de X dans Y (il y a en général beaucoup d'autres injections de X dans Y; l'adjectif « canonique » utilisé ici signifie que cette injection particulière est obtenue par un procédé « naturel » ne comportant aucun élément arbitraire et ne faisant intervenir que les données intrinsèques de la situation envisagée - à savoir un ensemble Y et une partie X de Y).
Termes :
- injection canonique n. f.
- injection naturelle n. f.
Traductions
-
anglais
Auteur : Institut libre Marie Haps,Note :
If X is a subset of a set Y, the function f defined by f(x) = x for each x in X is called the inclusion map (or the embedding or the injection) of X into Y.
Termes :
- inclusion map
- inclusion mapping
- inclusion
- canonical injection
- inclusion function
- canonical embedding
- injection
- insertion