Also known as right-total function, onto function
application où tout élément possède au moins un antécédent
A surjective function is a type of mathematical relationship where every possible output value actually gets used—in other words, for every element in the codomain (the set of possible outputs), there's at least one input that produces it. This concept matters because it helps mathematicians precisely describe when a function "covers" its entire target set, which is useful in many areas of mathematics and its applications.
AI-generated from the Wikipedia summary — may contain errors.
En mathématiques, une surjection ou application surjective est une application pour laquelle tout élément de l'ensemble d'arrivée a au moins un antécédent, c'est-à-dire est image d'au moins un élément de l'ensemble de départ. Il est équivalent de dire que l'ensemble image est égal à l'ensemble d'arrivée. Il est possible d'appliquer l'adjectif « surjectif » à une fonction (voire à une correspondance) dont le domaine de définition n'est pas tout l'ensemble de départ, mais en général le terme « surjection » est réservé aux applications (qui sont définies sur tout leur ensemble de départ), auxquelles nous nous limiterons dans cet article (pour plus de détails, voir le paragraphe « Fonction et application » de l'article « Application »). Pour désigner les ensembles de départ et d'arrivée d'une surjection, il est usuel de dire « de A sur B » au lieu de « de A dans B » comme pour une application en général. Dans le cas d'une fonction réelle d'une variable réelle, sa surjectivité est équivalente au fait que son graphe intersecte toute droite parallèle à l'axe des abscisses. Une application qui est à la fois surjective et injective est une bijection.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).