surjektivity

Surjektivity, also known as onto-ness, is a fundamental concept in mathematics, particularly in the study of functions and mappings between sets. A function is described as surjective (or surjective mapping) if every element in the codomain of the function is mapped to by at least one element in its domain. In other words, the function covers the entire codomain without leaving any elements unmapped.

Formally, let *f* be a function from a set *A* (the domain) to a set *B* (the codomain). The function *f* is surjective if for every *y* in *B*, there exists at least one *x* in *A* such that *f*(*x*) = *y*. This ensures that the image of *f*—the set of all outputs in *B*—equals the entire codomain *B*.

Surjektivity contrasts with injectivity (one-to-one) and bijectivity (both injective and surjective). While injectivity ensures no two distinct inputs produce the same output, surjectivity guarantees that every possible output is achieved. A function that is both injective and surjective is called bijective, representing a perfect one-to-one correspondence between the domain and codomain.

Surjective functions are essential in various mathematical fields, including algebra, analysis, and topology. For instance, in group theory, a homomorphism between groups is surjective if it maps onto the entire codomain group. In calculus, surjective functions are used to describe mappings that cover all possible output values, such as continuous functions on closed intervals in real analysis.

The concept of surjectivity is closely related to the idea of an epimorphism in category theory, where a morphism is an epimorphism if it satisfies a universal property analogous to surjectivity. This generalization highlights the importance of surjective mappings across different areas of mathematics.