surjektivitte

Surjektivitte, also known as onto, is a property of functions in mathematics. A function f from a set A to a set B is surjective if every element in the codomain B is mapped to by at least one element in the domain A. In simpler terms, for every element y in B, there exists at least one element x in A such that f(x) = y.

This means that the range of the function, which is the set of all possible output values, is equal to its codomain. If a function is not surjective, it means there are some elements in the codomain that are not "hit" by any element from the domain.

The concept of surjectivity is fundamental in various areas of mathematics, including set theory, abstract algebra, and topology. It is often considered alongside injectivity (where each element in the codomain is mapped to by at most one element in the domain) and bijectivity (which combines both injectivity and surjectivity). A bijective function establishes a one-to-one correspondence between the elements of two sets.

To determine if a function is surjective, one typically tries to show that for any arbitrary element in the codomain, an element in the domain can be found that maps to it. For functions defined on infinite sets, this might involve proof by construction or other advanced techniques.