Open Educational Resources

Mathematical Preliminaries: Types of Maps

Learning Outcomes:

  • Differentiate between injective, surjective, and bijective maps

Types of Maps

Maps or functions between sets can be injective, surjective, bijective, or none of the above.

Injective Maps

An injective map also called “one-to-one” is a map that designates a unique image for every element. Let T : X\rightarrow Y. T is injective if \forall x\in X : \exists! y\in Y such that T(x) = y.

Surjective Maps

A surjective map also called “onto” is a map such that every element in the codomain has a pre-image. Let t : X\rightarrow Y. T is surjective if \forall y\in Y: \exists x\in X such that T(x) = y. In other words, there is always a pre-image for all the elements in Y.

Bijective Maps

A bijective map also called “invertible” is a map such which is both injective and surjective. An bijective maps is a map that can be inverted, i.e., let T : X\rightarrow Y. T is bijective, then, there exists G:Y\rightarrow X such that G=T^{-1}. I.e., G(T(x))=x.

Examples

For example, let A=\mbox{set of students in CivE 398} and B=\mbox{Set of IDs at the University of Alberta}. The map f:A\rightarrow B assigns every student a unique ID in the set of IDs of students at the University of Alberta. This map is injective or one-to-one since each student has his/her own unique ID. However, this map is not surjective (onto) because there are IDs in B that are not assigned to students in A. Similarly, let A=\mbox{set of students in CivE 398} and B=\{male,female\}. There is a surjective map between the students in the class and the gender types as there are both male and female students taking CivE 398. Unless there is only one male student and one female student, this map is surjective but not injective. Figure 1 contains some illustrative examples of the above definitions.

Figure 1. Bijective, injective, and surjective maps

Video

Quiz 2 – Types of Maps

Solution Guide

Leave a Reply

Your email address will not be published. Required fields are marked *