Difference between revisions of "Bijection"
m (anchor) |
|||
| Line 1: | Line 1: | ||
| − | + | A '''bijection''', or ''one-to-one correspondence'', is a [[function]] which is both [[injection|injective]] (or ''one-to-one'') and [[surjection|surjective]] (or ''onto''). A function has a [[Function#The_Inverse_of_a_Function|two-sided inverse]] exactly when it is a bijection between its [[domain]] and [[range]]. | |
| + | |||
| + | Bijections are useful in a variety of contexts. In particular, bijections are frequently used in [[combinatorics]] in order to count the elements of a set whose size is unknown. Bijections are also very important in [[set theory]] when dealing with arguments concerning [[infinite]] sets. | ||
| + | |||
| + | |||
| + | {{stub}} | ||
Revision as of 22:53, 18 December 2007
A bijection, or one-to-one correspondence, is a function which is both injective (or one-to-one) and surjective (or onto). A function has a two-sided inverse exactly when it is a bijection between its domain and range.
Bijections are useful in a variety of contexts. In particular, bijections are frequently used in combinatorics in order to count the elements of a set whose size is unknown. Bijections are also very important in set theory when dealing with arguments concerning infinite sets.
This article is a stub. Help us out by expanding it.
