Numbers have properties and we use these properties to define sets of numbers.
- Evens: \(\{ \cdots , -6, -4, -2, 0, 2, 4, 6, \cdots \} = \{ 2n \, | \, n \in \mathbb {Z} \}\)
- Squares: \(\{ 1, 4, 9, 16, \cdots \} = \{ n^2 \, | \, n \in \mathbb {N} \}\)
- Primes: \(\{ 2, 3, 5, 7, 11, \cdots \}\)
Once we know that a number belongs to one of these sets, they we automatically know that the number has the defining property. Instantly, we know some information about the number.
\(\blacktriangleright \) Same with functions.
A major goal of this course is to develop a list of function properties and define sets of functions via these properties. Once we know a function belongs to a set, then we get a lot of free information about the function.
This will help tremendously when analyzing functions.
Basic Function Characteristics or Properties
Let’s start off with two basic properties of functions: Onto and One-to-One.
\(SuperBowlWinner\) is not an onto function.
- The Cleveland Browns are in the codomain, but are not in the range of \(SuperBowlWinner\).
Some functions are onto. Some are not.
The one and only rule for a function is that each domain item is in exactly one pair. Range items can be in multiple pairs or just one pair.
However, if the range also follows this rule, then the function is called a one-to-one function.
Some functions are one-to-one. Some are not.
\(SuperBowlWinner\) is not a one-to-one function.
- The Pittsburgh Steelers is a range team that is in multiple pairs.
\(StateCapitals\) pairs U.S. states with a city that has served as the state’s capital. Its domain is U.S. states and the codomain is all U.S. cities.
This function is not well-defined, because a state may have had different capital cities depending on the year.
\(StateCapitals2020\) pairs U.S. states with their capital city on January 1, 2020. Its domain is U.S. states and the codomain is all U.S. cities.
\(StateCapitals2020\) is a well-defined function. It is a one-to-one function, because on January 1, 2020 no city was the capital of two states. It is not onto, since not every U.S. city is a state capital.
\(\blacktriangleright \) Example: A function that is both onto and one-to-one.
(arrows go from the domain to the codomain.)
\(\blacktriangleright \) Example: A function that is onto but not one-to-one.
(arrows go from the domain to the codomain.)
\(\blacktriangleright \) Example: A function that is one-to-one but not onto.
(arrows go from the domain to the codomain.)
\(\blacktriangleright \) Example: A function that is neither one-to-one nor onto.
(arrows go from the domain to the codomain.)
These examples illustrate that onto and one-to-one are independent properties. A function can have either property with or without the other.
ooooo-=-=-=-ooOoo-=-=-=-ooooo
more examples can be found by following this link
More Examples of Functions