StudySmarter - The all-in-one study app.

4.8 • +11k Ratings

More than 3 Million Downloads

Free

Surjective functions

- Calculus
- Absolute Maxima and Minima
- Absolute and Conditional Convergence
- Accumulation Function
- Accumulation Problems
- Algebraic Functions
- Alternating Series
- Antiderivatives
- Application of Derivatives
- Approximating Areas
- Arc Length of a Curve
- Arithmetic Series
- Average Value of a Function
- Calculus of Parametric Curves
- Candidate Test
- Combining Differentiation Rules
- Combining Functions
- Continuity
- Continuity Over an Interval
- Convergence Tests
- Cost and Revenue
- Density and Center of Mass
- Derivative Functions
- Derivative of Exponential Function
- Derivative of Inverse Function
- Derivative of Logarithmic Functions
- Derivative of Trigonometric Functions
- Derivatives
- Derivatives and Continuity
- Derivatives and the Shape of a Graph
- Derivatives of Inverse Trigonometric Functions
- Derivatives of Polar Functions
- Derivatives of Sec, Csc and Cot
- Derivatives of Sin, Cos and Tan
- Determining Volumes by Slicing
- Direction Fields
- Disk Method
- Divergence Test
- Eliminating the Parameter
- Euler's Method
- Evaluating a Definite Integral
- Evaluation Theorem
- Exponential Functions
- Finding Limits
- Finding Limits of Specific Functions
- First Derivative Test
- Function Transformations
- General Solution of Differential Equation
- Geometric Series
- Growth Rate of Functions
- Higher-Order Derivatives
- Hydrostatic Pressure
- Hyperbolic Functions
- Implicit Differentiation Tangent Line
- Implicit Relations
- Improper Integrals
- Indefinite Integral
- Indeterminate Forms
- Initial Value Problem Differential Equations
- Integral Test
- Integrals of Exponential Functions
- Integrals of Motion
- Integrating Even and Odd Functions
- Integration Formula
- Integration Tables
- Integration Using Long Division
- Integration of Logarithmic Functions
- Integration using Inverse Trigonometric Functions
- Intermediate Value Theorem
- Inverse Trigonometric Functions
- Jump Discontinuity
- Lagrange Error Bound
- Limit Laws
- Limit of Vector Valued Function
- Limit of a Sequence
- Limits
- Limits at Infinity
- Limits of a Function
- Linear Approximations and Differentials
- Linear Differential Equation
- Linear Functions
- Logarithmic Differentiation
- Logarithmic Functions
- Logistic Differential Equation
- Maclaurin Series
- Manipulating Functions
- Maxima and Minima
- Maxima and Minima Problems
- Mean Value Theorem for Integrals
- Models for Population Growth
- Motion Along a Line
- Motion in Space
- Natural Logarithmic Function
- Net Change Theorem
- Newton's Method
- Nonhomogeneous Differential Equation
- One-Sided Limits
- Optimization Problems
- P Series
- Particle Model Motion
- Particular Solutions to Differential Equations
- Polar Coordinates
- Polar Coordinates Functions
- Polar Curves
- Population Change
- Power Series
- Ratio Test
- Removable Discontinuity
- Riemann Sum
- Rolle's Theorem
- Root Test
- Second Derivative Test
- Separable Equations
- Simpson's Rule
- Solid of Revolution
- Solutions to Differential Equations
- Surface Area of Revolution
- Symmetry of Functions
- Tangent Lines
- Taylor Polynomials
- Taylor Series
- Techniques of Integration
- The Fundamental Theorem of Calculus
- The Mean Value Theorem
- The Power Rule
- The Squeeze Theorem
- The Trapezoidal Rule
- Theorems of Continuity
- Trigonometric Substitution
- Vector Valued Function
- Vectors in Calculus
- Vectors in Space
- Washer Method
- Decision Maths
- Geometry
- 2 Dimensional Figures
- 3 Dimensional Vectors
- 3-Dimensional Figures
- Altitude
- Angles in Circles
- Arc Measures
- Area and Volume
- Area of Circles
- Area of Circular Sector
- Area of Parallelograms
- Area of Plane Figures
- Area of Rectangles
- Area of Regular Polygons
- Area of Rhombus
- Area of Trapezoid
- Area of a Kite
- Composition
- Congruence Transformations
- Congruent Triangles
- Convexity in Polygons
- Coordinate Systems
- Dilations
- Distance and Midpoints
- Equation of Circles
- Equilateral Triangles
- Figures
- Fundamentals of Geometry
- Geometric Inequalities
- Geometric Mean
- Geometric Probability
- Glide Reflections
- HL ASA and AAS
- Identity Map
- Inscribed Angles
- Isometry
- Isosceles Triangles
- Law of Cosines
- Law of Sines
- Linear Measure and Precision
- Median
- Parallel Lines Theorem
- Parallelograms
- Perpendicular Bisector
- Plane Geometry
- Polygons
- Projections
- Properties of Chords
- Proportionality Theorems
- Pythagoras Theorem
- Rectangle
- Reflection in Geometry
- Regular Polygon
- Rhombuses
- Right Triangles
- Rotations
- SSS and SAS
- Segment Length
- Similarity
- Similarity Transformations
- Special quadrilaterals
- Squares
- Surface Area of Cone
- Surface Area of Cylinder
- Surface Area of Prism
- Surface Area of Sphere
- Surface Area of a Solid
- Surface of Pyramids
- Symmetry
- Translations
- Trapezoids
- Triangle Inequalities
- Triangles
- Using Similar Polygons
- Vector Addition
- Vector Product
- Volume of Cone
- Volume of Cylinder
- Volume of Pyramid
- Volume of Solid
- Volume of Sphere
- Volume of prisms
- Mechanics Maths
- Acceleration and Time
- Acceleration and Velocity
- Angular Speed
- Assumptions
- Calculus Kinematics
- Coefficient of Friction
- Connected Particles
- Constant Acceleration
- Constant Acceleration Equations
- Converting Units
- Force as a Vector
- Kinematics
- Newton's First Law
- Newton's Law of Gravitation
- Newton's Second Law
- Newton's Third Law
- Projectiles
- Pulleys
- Resolving Forces
- Statics and Dynamics
- Tension in Strings
- Variable Acceleration
- Probability and Statistics
- Bar Graphs
- Basic Probability
- Charts and Diagrams
- Conditional Probabilities
- Continuous and Discrete Data
- Frequency, Frequency Tables and Levels of Measurement
- Independent Events Probability
- Line Graphs
- Mean Median and Mode
- Mutually Exclusive Probabilities
- Probability Rules
- Probability of Combined Events
- Quartiles and Interquartile Range
- Systematic Listing
- Pure Maths
- ASA Theorem
- Absolute Value Equations and Inequalities
- Addition and Subtraction of Rational Expressions
- Addition, Subtraction, Multiplication and Division
- Algebra
- Algebraic Fractions
- Algebraic Notation
- Algebraic Representation
- Analyzing Graphs of Polynomials
- Angle Measure
- Angles
- Angles in Polygons
- Approximation and Estimation
- Area and Circumference of a Circle
- Area and Perimeter of Quadrilaterals
- Area of Triangles
- Arithmetic Sequences
- Average Rate of Change
- Bijective Functions
- Binomial Expansion
- Binomial Theorem
- Chain Rule
- Circle Theorems
- Circles
- Circles Maths
- Combination of Functions
- Combinatorics
- Common Factors
- Common Multiples
- Completing the Square
- Completing the Squares
- Complex Numbers
- Composite Functions
- Composition of Functions
- Compound Interest
- Compound Units
- Conic Sections
- Construction and Loci
- Converting Metrics
- Convexity and Concavity
- Coordinate Geometry
- Coordinates in Four Quadrants
- Cubic Function Graph
- Cubic Polynomial Graphs
- Data transformations
- Deductive Reasoning
- Definite Integrals
- Deriving Equations
- Determinant of Inverse Matrix
- Determinants
- Differential Equations
- Differentiation
- Differentiation Rules
- Differentiation from First Principles
- Differentiation of Hyperbolic Functions
- Direct and Inverse proportions
- Disjoint and Overlapping Events
- Disproof by Counterexample
- Distance from a Point to a Line
- Divisibility Tests
- Double Angle and Half Angle Formulas
- Drawing Conclusions from Examples
- Ellipse
- Equation of Line in 3D
- Equation of a Perpendicular Bisector
- Equation of a circle
- Equations
- Equations and Identities
- Equations and Inequalities
- Estimation in Real Life
- Euclidean Algorithm
- Evaluating and Graphing Polynomials
- Even Functions
- Exponential Form of Complex Numbers
- Exponential Rules
- Exponentials and Logarithms
- Expression Math
- Expressions and Formulas
- Faces Edges and Vertices
- Factorials
- Factoring Polynomials
- Factoring Quadratic Equations
- Factorising expressions
- Factors
- Finding Maxima and Minima Using Derivatives
- Finding Rational Zeros
- Finding the Area
- Forms of Quadratic Functions
- Fractional Powers
- Fractional Ratio
- Fractions
- Fractions and Decimals
- Fractions and Factors
- Fractions in Expressions and Equations
- Fractions, Decimals and Percentages
- Function Basics
- Functional Analysis
- Functions
- Fundamental Counting Principle
- Fundamental Theorem of Algebra
- Generating Terms of a Sequence
- Geometric Sequence
- Gradient and Intercept
- Graphical Representation
- Graphing Rational Functions
- Graphing Trigonometric Functions
- Graphs
- Graphs and Differentiation
- Graphs of Common Functions
- Graphs of Exponents and Logarithms
- Graphs of Trigonometric Functions
- Greatest Common Divisor
- Growth and Decay
- Growth of Functions
- Highest Common Factor
- Hyperbolas
- Imaginary Unit and Polar Bijection
- Implicit differentiation
- Inductive Reasoning
- Inequalities Maths
- Infinite geometric series
- Injective functions
- Instantaneous Rate of Change
- Integers
- Integrating Polynomials
- Integrating Trig Functions
- Integrating e^x and 1/x
- Integration
- Integration Using Partial Fractions
- Integration by Parts
- Integration by Substitution
- Integration of Hyperbolic Functions
- Interest
- Inverse Hyperbolic Functions
- Inverse Matrices
- Inverse and Joint Variation
- Inverse functions
- Iterative Methods
- Law of Cosines in Algebra
- Law of Sines in Algebra
- Laws of Logs
- Limits of Accuracy
- Linear Expressions
- Linear Systems
- Linear Transformations of Matrices
- Location of Roots
- Logarithm Base
- Logic
- Lower and Upper Bounds
- Lowest Common Denominator
- Lowest Common Multiple
- Math formula
- Matrices
- Matrix Addition and Subtraction
- Matrix Determinant
- Matrix Multiplication
- Metric and Imperial Units
- Misleading Graphs
- Mixed Expressions
- Modulus Functions
- Modulus and Phase
- Multiples of Pi
- Multiplication and Division of Fractions
- Multiplicative Relationship
- Multiplying and Dividing Rational Expressions
- Natural Logarithm
- Natural Numbers
- Notation
- Number
- Number Line
- Number Systems
- Numerical Methods
- Odd functions
- Open Sentences and Identities
- Operation with Complex Numbers
- Operations with Decimals
- Operations with Matrices
- Operations with Polynomials
- Order of Operations
- Parabola
- Parallel Lines
- Parametric Differentiation
- Parametric Equations
- Parametric Integration
- Partial Fractions
- Pascal's Triangle
- Percentage
- Percentage Increase and Decrease
- Percentage as fraction or decimals
- Perimeter of a Triangle
- Permutations and Combinations
- Perpendicular Lines
- Points Lines and Planes
- Polynomial Graphs
- Polynomials
- Powers Roots And Radicals
- Powers and Exponents
- Powers and Roots
- Prime Factorization
- Prime Numbers
- Problem-solving Models and Strategies
- Product Rule
- Proof
- Proof and Mathematical Induction
- Proof by Contradiction
- Proof by Deduction
- Proof by Exhaustion
- Proof by Induction
- Properties of Exponents
- Proportion
- Proving an Identity
- Pythagorean Identities
- Quadratic Equations
- Quadratic Function Graphs
- Quadratic Graphs
- Quadratic functions
- Quadrilaterals
- Quotient Rule
- Radians
- Radical Functions
- Rates of Change
- Ratio
- Ratio Fractions
- Rational Exponents
- Rational Expressions
- Rational Functions
- Rational Numbers and Fractions
- Ratios as Fractions
- Real Numbers
- Reciprocal Graphs
- Recurrence Relation
- Recursion and Special Sequences
- Remainder and Factor Theorems
- Representation of Complex Numbers
- Rewriting Formulas and Equations
- Roots of Complex Numbers
- Roots of Polynomials
- Roots of Unity
- Rounding
- SAS Theorem
- SSS Theorem
- Scalar Triple Product
- Scale Drawings and Maps
- Scale Factors
- Scientific Notation
- Second Order Recurrence Relation
- Sector of a Circle
- Segment of a Circle
- Sequences
- Sequences and Series
- Series Maths
- Sets Math
- Similar Triangles
- Similar and Congruent Shapes
- Simple Interest
- Simplifying Fractions
- Simplifying Radicals
- Simultaneous Equations
- Sine and Cosine Rules
- Small Angle Approximation
- Solving Linear Equations
- Solving Linear Systems
- Solving Quadratic Equations
- Solving Radical Inequalities
- Solving Rational Equations
- Solving Simultaneous Equations Using Matrices
- Solving Systems of Inequalities
- Solving Trigonometric Equations
- Solving and Graphing Quadratic Equations
- Solving and Graphing Quadratic Inequalities
- Special Products
- Standard Form
- Standard Integrals
- Standard Unit
- Straight Line Graphs
- Substraction and addition of fractions
- Sum and Difference of Angles Formulas
- Sum of Natural Numbers
- Surds
- Surjective functions
- Tables and Graphs
- Tangent of a Circle
- The Quadratic Formula and the Discriminant
- Transformations
- Transformations of Graphs
- Translations of Trigonometric Functions
- Triangle Rules
- Triangle trigonometry
- Trigonometric Functions
- Trigonometric Functions of General Angles
- Trigonometric Identities
- Trigonometric Ratios
- Trigonometry
- Turning Points
- Types of Functions
- Types of Numbers
- Types of Triangles
- Unit Circle
- Units
- Variables in Algebra
- Vectors
- Verifying Trigonometric Identities
- Writing Equations
- Writing Linear Equations
- Statistics
- Bias in Experiments
- Binomial Distribution
- Binomial Hypothesis Test
- Bivariate Data
- Box Plots
- Categorical Data
- Categorical Variables
- Central Limit Theorem
- Chi Square Test for Goodness of Fit
- Chi Square Test for Homogeneity
- Chi Square Test for Independence
- Chi-Square Distribution
- Combining Random Variables
- Comparing Data
- Comparing Two Means Hypothesis Testing
- Conditional Probability
- Conducting a Study
- Conducting a Survey
- Conducting an Experiment
- Confidence Interval for Population Mean
- Confidence Interval for Population Proportion
- Confidence Interval for Slope of Regression Line
- Confidence Interval for the Difference of Two Means
- Confidence Intervals
- Correlation Math
- Cumulative Frequency
- Data Analysis
- Data Interpretation
- Discrete Random Variable
- Distributions
- Dot Plot
- Empirical Rule
- Errors in Hypothesis Testing
- Estimator Bias
- Events (Probability)
- Frequency Polygons
- Generalization and Conclusions
- Geometric Distribution
- Histograms
- Hypothesis Test for Correlation
- Hypothesis Test of Two Population Proportions
- Hypothesis Testing
- Inference for Distributions of Categorical Data
- Inferences in Statistics
- Large Data Set
- Least Squares Linear Regression
- Linear Interpolation
- Linear Regression
- Measures of Central Tendency
- Methods of Data Collection
- Normal Distribution
- Normal Distribution Hypothesis Test
- Normal Distribution Percentile
- Point Estimation
- Probability
- Probability Calculations
- Probability Distribution
- Probability Generating Function
- Quantitative Variables
- Quartiles
- Random Variables
- Randomized Block Design
- Residual Sum of Squares
- Residuals
- Sample Mean
- Sample Proportion
- Sampling
- Sampling Distribution
- Scatter Graphs
- Single Variable Data
- Skewness
- Standard Deviation
- Standard Normal Distribution
- Statistical Graphs
- Statistical Measures
- Stem and Leaf Graph
- Sum of Independent Random Variables
- Survey Bias
- Transforming Random Variables
- Tree Diagram
- Two Categorical Variables
- Two Quantitative Variables
- Type I Error
- Type II Error
- Types of Data in Statistics
- Venn Diagrams

Consider all 50 states of the USA. Say for every state, there is at least one resident. We are then told to find a way to relate each of these residents to their respective states.

How do you think we could go about this? The answer lies in surjective functions!

Throughout this article, we shall be introduced to the concept of surjective functions (or surjective mappings) by identifying their properties and composition.

Before we get into the subject of surjective functions, we shall first recall the definitions of a function, domain, codomain, and range.

A **function **is a relation in which each element of one set correlates to an element of another set. In other words, a function relates an input value to an output value. A function is often denoted by f.

The **domain **of a function is the set of all input values for which the function is defined. In other words, these are the elements that can go into a function. An element within the domain is usually denoted by x.

The **codomain **of a function is the set of possible output values the function may take.

The **range** of a function is the set of all images the function produces. An element within the range is usually denoted by y or f(x).

With that in mind, let us now move on to our main topic at hand.

A **surjective function** is a special type of function that maps every element in the codomain onto **at least one element** in the domain. This essentially means that every element in the codomain of a function is also part of the range, that is no element in the codomain is left out. That is to say, the codomain and range of a surjective function are equal.

We can thus define a surjective function as below.

A function is said to be **surjective **if every element b in the codomain B, there is at least one element a in the domain A, for which f(a) = b. Expressing this in set notation, we have

such that .

- Surjective functions are also called onto functions.

Now that we have established the definition of a **surjective function**, let us refer back to our initial example involving residents of each state in the USA.

**The domain** of the function is the set of all residents. **The codomain** of the function is the set of all states within the country. Since all 50 states will have at least one resident in each state, this infers that the codomain also considers the range, and thus the mapping is a surjective function.

Let us now look at the following example of a surjective function.

Say we have the function below,

The domain of this function is the set of all real numbers.

The codomain of this function is the set of all real numbers.

Is this a surjective function?

**Solution**

In order to test if this function is surjective, we need to check whether the range and the codomain of the function are the same.

Here the codomain is the set of real numbers as stated in the question.

Now, in order to determine the range, we should think of all the possible outcomes of the function into consideration. Taking into account that the inputs are the set of all real numbers, multiplying each of them by 3 to produce the set of outcomes, which is nothing but the range, will lead us also to the set of the real numbers.

Thus, the range and the codomain of the function are the same and hence the function is surjective.

Let us now visualize surjective functions in a more comprehensive way through a mapping diagram.

Suppose we have two sets, A and B, where A is the domain and B is the codomain. Say we have a function defined by f. This is represented by an arrow. If the function is surjective, then every element in B must be pointed to by at least one element in A.

Mapping Diagram of a Surjective Function, StudySmarter Originals

Notice how all the elements in B correspond to one of the elements in A in the diagram above.

Let us now look at some more examples showing whether or not a given mapping diagram describes a surjective function. This is shown in the table below.

Mapping Diagram | Is it a Surjective Function? | Explanation |

Example 1, StudySmarter Originals | Yes | This is indeed a surjective function as all the elements in the Codomain are assigned to one element in the Domain. |

Example 2, StudySmarter Originals | Yes | This is indeed a surjective function as all the elements in the Codomain are assigned to at least one element in the Domain. |

Example 3, StudySmarter Originals | No | This is not a surjective function as there is one element in the Codomain that is not mapped to any elements in the Domain. |

Example 4, StudySmarter Originals | No | This is not a surjective function as there is one element in the Codomain that is not mapped to any elements in the Domain. |

There are three important properties of surjective functions that we should remember. Given a surjective function, f, the characteristics are listed below.

Every element in the codomain is mapped to at least one element in the domain,

An element in the codomain can be mapped to more than one element in the domain,

The codomain is equal to the range.

In this section, we shall look at the composition of a pair of surjective functions. We shall first define the composition of two functions, f and g as below.

Let f and g be functions defined by

then the **composition **of f and g is defined by

- The composition of a pair of surjective functions will always result in a surjective function.
- Conversely, if f o g is surjective, then f is surjective. In this case, the function g needs not necessarily be surjective.

**Proof of the Composition of Surjective Functions**

Suppose f and g are two surjective functions defined by

Assume that we have an element called z in set C. Since g is surjective, there exists some element called y in set B such that g(y) = z. Furthermore, since f is surjective, there exists some element called x in set A such that f(x) = y. Therefore,

This means that z falls inside the range of g o f. We can thus conclude that g o f is also surjective.

We shall show this with an example.

Suppose we are given two surjective functions f and g where

and

The function f is defined by

The function g is defined by

Does the composition g o f yield a surjective function?

**Solution**

Since** **and , then .

Let us consider an arbitrary element, z in the codomain of , our aim is to prove that for every z in the codomain of there exists one element in the domain of such that .

Since g is surjective, there exists some arbitrary element y in such that

but , thus .

Similarly, since f is surjective, there exists some arbitrary element x in such that

but , thus .

Therefore, we have .

We deduce thus that is surjective.

In order to identify surjective functions, we shall work backward to obtain our goal. The phrase "working backward" simply means to find the inverse of the function and use it to show that f(x) = y. We shall look at a worked example to clearly show this.

Given the function f where defined over the set of integers, , where

,

show whether this function is surjective or not.

**Solution **

We shall first claim that this function is surjective. We now need to show that for every integer y, there exists an integer x such that f(x) = y.

Taking our equation as

We shall now work backward toward our goal by solving for x. Assume that for any element there exists an element such that

This is done by rearranging the previous equation so that x becomes the subject. Then, by this choice of x and by the definition of f(x), we obtain

Hence, y is an output of f which indicates that f is indeed surjective.

Another way to determine whether a given function is surjective is by looking at its graph. To do so, we simply compare the range with the codomain of the graph.

If the range is equal to the codomain, then the function is surjective. Otherwise, it is not a surjective function. Let us show this with two examples.

Say we are given the exponential function, defined by

Note that represents the set of real numbers. The graph of this function is shown below.

Exponential graph, StudySmarter Originals

By observing this graph, determine whether the function surjective or not.

**Solution**

Here, the codomain is the set of real numbers as given in the question.

Referring to the graph, the range of this function is only defined over the set of positive real numbers including zero. In other words, the range of f is y ∈ [0, ∞). Since the codomain of f is not equal to the range of f, we can conclude that f is not surjective.

Say we are given the standard cubic function, defined by

The graph of this function is shown below.

Standard cubic graph, StudySmarter Originals

By observing this graph, determine whether the function surjective or not.

**Solution**

In this case, the codomain is the set of real numbers as given in the question.

Looking at the graph, notice that the range of this function is also defined over the set of real numbers. This means that the range of g is . As the codomain of g is equal to the range of g, we can infer that g is surjective.

Speaking of graphs, we may also test that a function is surjective by applying the **horizontal line test**. The horizontal line test is a convenient method used to determine the type of a function, that is verifying whether it is injective, surjective, or bijective. It is also used to check whether a function has an inverse or not.

The horizontal line test is done by constructing a straight flat line segment on a given graph. We shall then observe the number of intersecting points in order to deduce the property of the function. Note that this line is drawn from end to end of a given graph. Furthermore, it is taken as arbitrary, meaning that we can test for any horizontal line \(y = c\), where \(c\) is a constant.

For a * surjective function*, any horizontal line will intersect the graph at least once, that is at one point

Using the horizontal line test, determine whether the graph below is surjective or not. The domain and range of this graph is the set of real numbers.

Example A, StudySmarter Originals

**Solution **

Let us construct three horizontal lines on the graph above, namely \(y=-1\) (green line), \(y=0.5\) (pink line) and \(y=1.5\) (light blue line). This is shown below.

Solution to Example A, StudySmarter Originals

Now looking at the intersecting points on this graph, we observe at \(y=1.5\), the horizontal line intersects the graph once. At \(y=-1\) and \(y=0.5\), the horizontal line intersects the graph three times. In all three instances, the horizontal line intersects the graph at least once. Thus, the graph satisfies the condition for a function to be surjective.

As before, apply the horizontal line test to decide if the following graph is surjective or not. The domain and range of this graph is the set of real numbers.

Example B, StudySmarter Originals

**Solution **

As before, we shall construct three horizontal lines on the graph above, namely \(y=-5\) (green line), \(y=-2\) (pink line) and \(y=1\) (light blue line). This is shown below.

Solution to Example B, StudySmarter Originals

Notice how at \(y=-5\) and \(y=1\) the horizontal line intersects the graph at one point. However, at \(y=-2\), the horizontal line test does not intersect the graph at all. Thus, the horizontal line test fails and is not surjective.

Graphs that have a discontinuity or a jump are not surjective either. You will find that although a horizontal line may intersect the graph at one or more points in certain areas of the graph, there will be a region within the discontinuity where a horizontal line will not cross the graph at all, just like the example above. Try it yourself!

**Horizontal Line Test for Injective and Bijective Functions**

For an* injective function*, any horizontal line will intersect the graph

For a * bijective function*, any horizontal line passing through any element in the range should intersect the graph

In this segment, we shall compare the characteristics of a surjective function and a bijective function.

For this comparison, we shall assume that we have some function, such that set A is the domain and set B is the codomain of f. The difference between surjective and bijective functions is shown in the table below.

Surjective Functions | |

Every element in B has | Every element in B has |

Surjective functions are also called onto functions. | Bijective functions are both one-to-one and onto, i.e. they are both injective and surjective. Injective functions (one-to-one functions) are functions such that every element in B corresponds to at most one element in A, i.e. a function that maps distinct elements to distinct elements. |

The function f is surjective if and only if for every y in B, there is | The function f is bijective if for every y in B, there is |

Does not have an inverse. | Has an inverse. |

We shall end this discussion with several examples involving surjective functions.

Consider the standard square function, defined by

Check whether the function is surjective or not.

**Solution**

Let us sketch this graph.

Standard square graph, StudySmarter Originals

Here, the codomain is the set of real numbers as given in the question.

Referring to the sketch above, the range of this function is only defined over the set of positive real numbers including zero. Thus, the range of f is y ∈ [0, ∞). However, the codomain includes all negative real numbers as well. Since the codomain of f is not equal to the range of f, we can conclude that f is not surjective.

Suppose we have two sets, P and Q defined by P = {3, 7, 11} and Q = {2, 9}. Suppose we have a function g such that

g = {(3, 2), (7, 2), (11, 9)}

Verify that this function is surjective from P to Q.

**Solution **

The domain of set P is equal to {3, 7, 11}. From our given function, we see that each element of set P is assigned to an element such that both 3 and 7 share the same image of 2 and 11 has an image of 9. This means that the range of the function is {2, 9}.

Since the codomain Q is equal to {2, 9} as well, we find that the range of the function is also equal to set Q. Thus, is a surjective function.

Given the function defined by,

,

Check whether this function is surjective or not.

**Solution **

We shall first assume that this function is surjective. Our goal is to show that for every integer y, there exists an integer x such that h(x) = y.

Taking our equation as

We shall now work backward toward our goal by solving for x. Suppose that for any element there exists an element such that

This is done by rearranging the previous equation so that x becomes the subject as below.

Then, by this choice of x and by the definition of h(x), we obtain

Hence, y is an output of h which indicates that h is indeed surjective.

A surjective function is a special type of function that maps every element in the codomain onto at least one element in the domain.

A surjective function is also called an onto function.

Every element in the codomain is mapped to at least one element in the domain.

An element in the codomain can be mapped to more than one element in the domain.

The codomain of a surjective function is equal to its range.

More about Surjective functions

Be perfectly prepared on time with an individual plan.

Test your knowledge with gamified quizzes.

Create and find flashcards in record time.

Create beautiful notes faster than ever before.

Have all your study materials in one place.

Upload unlimited documents and save them online.

Identify your study strength and weaknesses.

Set individual study goals and earn points reaching them.

Stop procrastinating with our study reminders.

Earn points, unlock badges and level up while studying.

Create flashcards in notes completely automatically.

Create the most beautiful study materials using our templates.

Sign up to highlight and take notes. It’s 100% free.