Bijectivity (the adjective bijective comprising about, clearly reversibly on 'is - hence the term one-one or substantively corresponding to one correspondence ) is a mathematical term in the field of set theory . It describes a special property of images and functions . Bijective images and functions are also called bijections . Bijections associated with a mathematical structure often have their own names such as isomorphism , diffeomorphism , homeomorphism , mirroring or the like. As a rule, additional requirements have to be met here with regard to the maintenance of the structure under consideration.
To illustrate, one can say that in a bijection a complete pairing takes place between the elements of the definition set and the target set . Bijections treat their domain and its range of values so symmetrical ; therefore a bijective function always has an inverse function .
In the case of a bijection , the definition set and the target set always have the same thickness . In the case that there is a bijection between two finite sets , this common cardinality is a natural number , namely exactly the number of elements in each of the two sets .
The bijection of a set onto itself is also called permutation . Here, too, there are many names of their own in mathematical structures. If the bijection has structure-preserving properties beyond that, it is called an automorphism .
A bijection between two sets is sometimes called a bijective correspondence .
Be and sets and be a function that maps from to , that is . Then called bijective if for just one with exists.
That means: is bijective if and only if both
- (1) Injective is:
as well as
- (2) is surjective :
- Every element of the target set is accepted. In other words: the target set and the image set match, that is . For each out there is (at least) one out with .
Examples and counterexamples
The set of real numbers is denoted by, the set of non-negative real numbers by .
- The function is bijective with the inverse function .
- Likewise for the function is bijective with the inverse function .
- Example: If one assigns each ( monogamously ) married person to his or her spouse, this is a bijection of the set of all married people onto himself. This is even an example of a self-inverse mapping .
- The following four square functions only differ in their definition or value sets:
- With these definitions is
- not injective, not surjective, not bijective
- injective, not surjective, not bijective
- not injective, surjective, not bijective
- injective, surjective, bijective
- If and are finite sets with the same number of elements and is a function, then:
- Is injective, then it is already bijective.
- If surjective is already bijective.
- In particular, the following holds for functions of a finite set in themselves:
- is injective ⇔ is surjective ⇔ is bijective.
- This is generally wrong for infinite sets. These can be mapped injectively onto real subsets; there are also surjective mappings of an infinite set onto themselves that are not bijections. Such surprises are described in more detail in the Hilbert's Hotel article, see also Dedekind infinity .
- If the functions and are bijective, then this also applies to the concatenation . The inverse function of is then .
- Is bijective, then is injective and surjective.
- Is a function and is there a function that the two equations
- is fulfilled, then is bijective, and is the inverse function of , thus .
- The set of permutations of a given basic set , together with the composition as a link, forms a group , the so-called symmetrical group of .
History of the term
After using formulations such as “one-to-one” for a long time, the need for a more concise description finally arose in the middle of the 20th century in the course of the consistent set-theoretical representation of all mathematical sub-areas. The terms bijective , injective and surjective were coined in the 1950s by the Nicolas Bourbaki group of authors .
- Heinz-Dieter Ebbinghaus: Introduction to set theory . 4th edition. Spectrum Academic Publishing House, Heidelberg [u. a.] 2003, ISBN 3-8274-1411-3 .
- Gerd Fischer: Linear Algebra . 17th edition. Vieweg + Teubner, Wiesbaden 2010, ISBN 978-3-8348-0996-4 .
- Walter Gellert, Herbert Kästner , Siegfried Neuber (Hrsg.): Fachlexikon ABC Mathematik . Verlag Harri Deutsch, Thun and Frankfurt / Main 1978, ISBN 3-87144-336-0 .
- Don Zagier : Zeta functions and quadratic fields: An introduction to higher number theory . Springer, 1981, ISBN 3-540-10603-0 , here p. 94 ( limited preview in Google book search [accessed June 7, 2017]).
- Gernot Stroth : Algebra: Introduction to Galois Theory . de Gruyter, Berlin 1998, ISBN 3-11-015534-6 , here p. 100 ( limited preview in Google book search [accessed June 7, 2017]).
- Earliest Known Uses of Some of the Words of Mathematics.