Difference between revisions of "Correspondence"

m (Examples: change to internal links)
Line 12: Line 12:
  
 
== Examples ==
 
== Examples ==
 
+
=== Intermediate ===
* [http://www.artofproblemsolving.com/Forum/viewtopic.php?p=464897#p464897 AIME 2006I/4]
+
* [[2006 AIME II Problems/Problem 4]]
* [http://www.artofproblemsolving.com/Forum/viewtopic.php?p=384179#p384179 AIME 2001I/6]
+
* [[2001 AIME I Problems/Problem 6]]
  
 
== See also ==
 
== See also ==
 
* [[Combinatorics]]
 
* [[Combinatorics]]

Revision as of 16:03, 12 March 2007

Lists -- the beginning

Consider the task of counting the number of integers between 14 and 103 inclusive. We could simply list those integers and count them. However, we can renumber those integers so that they correspond to the counting numbers (positive integers), starting with 1. In this correspondence, 14 corresponds to 1 (for the 1st integer in the list), 15 with 2, 16 with 3, etc. The relationship between the members of each pair is that the second is 13 less than the first. So, we know that 103 corresponds to the 103 - 13 = 90th integer in the list. Thus, the list is 90 integers long.

Note that $13 = 14 - 1$, or 1 less than the first integer in the list. If we start our list with $n$ and end with $m$ (i.e. m and n inclusive), the number of integers in the list is

$\displaystyle m - (n -1) = m - n + 1.$

One-to-One Correspondence

A one-to-one correspondence, or bijection, is a function which is both injective (or one-to-one) and surjective (or onto). A function is invertible exactly when it is a bijection.

One-to-one correspondences 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.

Examples

Intermediate

See also