Learn/Algebra/Bijective Functions
Algebra • Topic 19

Bijective Functions

A bijection is the "perfect pairing." It implies the existence of an inverse function, which is a powerful tool in solving equations.

Definition

Definition (Bijection)
A function is bijective if it is both injective and surjective. There is a one-to-one correspondence between the domain and codomain.

The Inverse Function

If is bijective, there exists a unique inverse function such that:
  • for all .
  • for all .

Graphing Inverses

The graph of is the reflection of across the line .

Counting with Bijections

In combinatorics, establishing a bijection between two sets proves they have the same size.
  • Example: The number of subsets of a set of size is equal to the number of binary strings of length .

Practice Problems

Exercise (Problem 1)
Prove that is a bijection from and find its inverse.
Exercise (Problem 2)
Let . Prove that is a bijection from to .
Exercise (Problem 3)
If and are bijective, prove that the composition is also bijective.