préimage

préimage \pʁe.i.maʒ\ (nom commun) : Pour une application f définie d’un ensemble X à un ensemble Y (f:X↦Y) et un sous-ensemble B de l’ensemble de destination Y (B⊆Y), la préimage de B, f⁻¹(B), est l’ensemble des éléments de X envoyés dans B par f : f⁻¹(B)=x∈X∣f(x)∈B. Parmi ses synonymes : image réciproque.

Synonymes de préimage

Définitions

Nom commun \pʁe.i.maʒ\

  1. Pour une application f définie d’un ensemble X à un ensemble Y (f:X↦Y) et un sous-ensemble B de l’ensemble de destination Y (B⊆Y), la préimage de B, f⁻¹(B), est l’ensemble des éléments de X envoyés dans B par f : f⁻¹(B)=x∈X∣f(x)∈B.
  2. En particulierPour un seul élément y de l’ensemble de destination, la préimage de y∈Y est définie par : f⁻¹(y)=x∈X∣f(x)=y, c’est-à-dire l’ensemble des antécédents de y.

Étymologie

Dérivé de image, avec le préfixe pré-.

Mots voisins

préhensile· préhension· préhispanique· préhistoire· préhistorique· prehnite· préimplantation· préimpression· préindexé· préislamique· préjudice· préjudiciable

Sources

  1. « préimage », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.

Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.