Definition:Bijection/Also known as
Definition
The terms
are sometimes seen for bijection.
Authors who prefer to limit the jargon of mathematics tend to use the term one-one and onto mapping for bijection.
If a bijection exists between two sets $S$ and $T$, then $S$ and $T$ are said to be in one-to-one correspondence.
Some sources refer to exact correspondence to mean exactly this.
Occasionally you will see the term set isomorphism, but the term isomorphism is usually reserved for mathematical structures of greater complexity than a set.
Some authors, developing the concept of inverse mapping independently from that of the bijection, call such a mapping invertible.
The symbol $f: S \leftrightarrow T$ is sometimes seen to denote that $f$ is a bijection from $S$ to $T$.
Also seen sometimes is the notation $f: S \cong T$ or $S \stackrel f \cong T$ but this is cumbersome and the symbol $\cong$ already has several uses.
In the context of class theory, a bijection is often seen referred to as a class bijection.
Technical Note
The $\LaTeX$ code for \(f: S \leftrightarrow T\) is f: S \leftrightarrow T
.
The $\LaTeX$ code for \(f: S \cong T\) is f: S \cong T
.
The $\LaTeX$ code for \(S \stackrel f \cong T\) is S \stackrel f \cong T
.
Sources
- 1965: J.A. Green: Sets and Groups ... (previous) ... (next): $\S 3.3$. Injective, surjective, bijective; inverse mappings: Definition $3$
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): bijection
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): one-to-one correspondence ($\text {1-1}$ correspondence)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): bijection
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): one-to-one correspondence (one-one or $\text {1-1}$ correspondence)
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): bijective mapping
- 2021: Richard Earl and James Nicholson: The Concise Oxford Dictionary of Mathematics (6th ed.) ... (previous) ... (next): bijection (bijective mapping)