# 7.1: Definition and Notation

- Page ID
- 80526

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)## Fundamentals

Definition \(\PageIndex{1}\): Function

A function from a set \(A\) into a set \(B\) is a relation from \(A\) into \(B\) such that each element of \(A\) is related to exactly one element of the set \(B\text{.}\) The set \(A\) is called the **domain **of the function and the set \(B\) is called the **codomain**.

The reader should note that a function \(f\) is a relation from \(A\) into \(B\) with two important restrictions:

- Each element in the set \(A\text{,}\) the domain of \(f\text{,}\) must be related to some element of \(B\text{,}\) the codomain.
- The phrase “is related to exactly one element of the set \(B\)” means that if \((a, b)\in f\) and \((a, c)\in f\text{,}\) then \(b = c\text{.}\)

Example \(\PageIndex{1}\): A Function as a List of Ordered Pairs

Let \(A = \{-2, -1,0, 1, 2\}\) and \(B = \{0, 1, 2, 3, 4\}\text{,}\) and if \(s = \{(-2, 4), (-1, 1), (0, 0), (1, 1), (2, 4)\}\text{,}\) then \(s\) is a function from \(A\) into \(B\text{.}\)

Example \(\PageIndex{2}\): A Function as a Set of Ordered Pairs in Set-Builder Notation

Let \(\mathbb{R}\) be the real numbers. Then \(L = \{(x, 3x) \mid x \in \mathbb{R}\}\) is a function from \(\mathbb{R}\) into \(\mathbb{R}\text{,}\) or, more simply, \(L\) is a function on \(\mathbb{R}\text{.}\)

It is customary to use a different system of notation for functions than the one we used for relations. If \(f\) is a function from the set \(A\) into the set \(B\text{,}\) we will write \(f:A \rightarrow B\text{.}\)

The reader is probably more familiar with the notation for describing functions that is used in basic algebra or calculus courses. For example, \(y =\frac{1}{x}\) or \(f(x) =\frac{1}{x}\) both define the function \(\left\{\left.\left(x,\frac{1}{x}\right)\right| x\in \mathbb{R}, x\neq 0\right\}\text{.}\) Here the domain was assumed to be those elements of \(\mathbb{R}\) whose substitutions for \(x\) make sense, the nonzero real numbers, and the codomain was assumed to be \(\mathbb{R}\text{.}\) In most cases, we will make a point of listing the domain and codomain in addition to describing what the function does in order to define a function.

The terms **mapping**, **map**, and **transformation **are also used for functions.

Definition \(\PageIndex{2}\): The Set of Functions Between Two Sets

Given two sets, \(A\) and \(B\text{,}\) the set of all functions from \(A\) into \(B\) is denoted \(B^A\text{.}\)

The notation used for sets of functions makes sense in light of Exercise \(\PageIndex{5}\).

One way to imagine a function and what it does is to think of it as a machine. The machine could be mechanical, electronic, hydraulic, or abstract. Imagine that the machine only accepts certain objects as raw materials or input. The possible raw materials make up the domain. Given some input, the machine produces a finished product that depends on the input. The possible finished products that we imagine could come out of this process make up the codomain.

Example \(\PageIndex{3}\): A Definition Based on Images

We can define a function based on specifying the codomain element to which each domain element is related. For example, \(f: \mathbb{R} \rightarrow \mathbb{R}\) defined by \(f(x) = x^2\) is an alternate description of \(f= \left\{\left.\left(x, x ^2\right)\right|x \in \mathbb{R}\right\}\text{.}\)

Definition \(\PageIndex{3}\): Image of an Element Under a Function

Let \(f:A \rightarrow B\text{,}\) read “Let \(f\) be a function from the set \(A\) into the set \(B\text{.}\)” If \(a \in A\text{,}\) then \(f(a)\) is used to denote that element of \(B\) to which \(a\) is related. \(f(a)\) is called the image of \(a\text{,}\) or, more precisely, the image of \(a\) under \(f\text{.}\) We write \(f(a) = b\) to indicate that the image of \(a\) is \(b\text{.}\)

In Example \(\PageIndex{3}\), the image of 2 under \(f\) is 4; that is, \(f(2) = 4\text{.}\) In Example \(\PageIndex{1}\), the image of \(-1\) under \(s\) is 1; that is, \(s(-1) = 1\text{.}\)

Definition \(\PageIndex{4}\): Range of a Function

The range of a function is the set of images of its domain. If \(f:X \rightarrow Y\text{,}\) then the range of \(f\) is denoted \(f(X)\text{,}\) and

\begin{equation*} f(X) = \{f(a) \mid a \in X\} = \{b \in Y \mid \exists a \in X\textrm{ such that } f(a) = b\}\text{.} \end{equation*}

Note that the range of a function is a subset of its codomain. \(f(X)\) is also read as “the image of the set \(X\) under the function \(f\)” or simply “the image of \(f\text{.}\)”

In Example \(\PageIndex{1}\), \(s(A)= \{0, 1, 4\}\text{.}\) Notice that 2 and 3 are not images of any element of \(A\text{.}\) In addition, note that both 1 and 4 are related to more than one element of the domain: \(s(1) = s(-1) = 1\) and \(s(2) = s(-2) = 4\text{.}\) This does not violate the definition of a function. Go back and read the definition if this isn't clear to you.

In Example \(\PageIndex{2}\), the range of \(L\) is equal to its codomain, \(\mathbb{R}\text{.}\) If \(b\) is any real number, we can demonstrate that it belongs to \(L(\mathbb{R})\) by finding a real number \(x\) for which \(L(x) = b\text{.}\) By the definition of \(L\text{,}\) \(L(x) = 3x\text{,}\) which leads us to the equation \(3x = b\text{.}\) This equation always has a solution, \(\frac{b}{3}\text{;}\) thus \(L(\mathbb{R}) = \mathbb{R}\text{.}\)

The formula that we used to describe the image of a real number under \(L\text{,}\) \(L(x) = 3x\text{,}\) is preferred over the set notation for \(L\) due to its brevity. Any time a function can be described with a rule or formula, we will use this form of description. In Example \(\PageIndex{1}\), the image of each element of \(A\) is its square. To describe that fact, we write \(s(a) = a^2\) (\(a \in A\)), or \(S:A \rightarrow B\) defined by \(S(a) = a^2\text{.}\)

There are many ways that a function can be described. Many factors, such as the complexity of the function, dictate its representation.

Example \(\PageIndex{4}\): Data as a Function

Suppose a survey of 1,000 persons is done asking how many hours of television each watches per day. Consider the function \(W: \{0,1,\ldots , 24\} \rightarrow \{0,1,2,\ldots ,1000\}\) defined by

\begin{equation*} W(t) = \textrm{the number of persons who gave a response of } t \textrm{ hours} \end{equation*}

This function will probably have no formula such as the ones for \(s\) and \(L\) above.

Example \(\PageIndex{5}\): Conditional Definition of a Function

Consider the function \(m:\mathbb{P} \rightarrow \mathbb{Q}\) defined by the set

\begin{equation*} m = \{(1, 1), (2, 1/2), (3, 9), (4, 1/4), (5, 25), . . . \} \end{equation*}

No simple single formula could describe \(m\text{,}\) but if we assume that the pattern given continues, we can write

\begin{equation*} m(x) =\left\{ \begin{array}{cc} x^2 & \textrm{if } x \textrm{ is odd} \\ 1/x & \textrm{if } x \textrm{ is even} \\ \end{array} \right. \end{equation*}

## Functions of Two Variables

If the domain of a function is the Cartesian product of two sets, then our notation and terminology changes slightly. For example, consider the function \(G:\mathbb{N} \times \mathbb{N}\rightarrow \mathbb{N}\) defined by \(G\left(\left(n_1,n_2\right)\right)=n_1^2+n_2^2- n_1n_2+10\text{.}\) For this function, we would drop one set of parentheses and write \(G(4, 2) = 22\text{,}\) not \(G((4, 2)) = 22\text{.}\) We call \(G\) a function of two variables. From one point of view, this function is no different from any others that we have seen. The elements of the domain happen to be slightly more complicated. On the other hand, we can look at the individual components of the ordered pairs as being separate. If we interpret \(G\) as giving us the cost of producing quantities of two products, we can imagine varying \(n_1\) while \(n_2\) is fixed, or vice versa.

The same observations can be made for function of three or more variables.

## SageMath Note

There are several ways to define a function in Sage. The simplest way to implement \(f\) is as follows.

f(x)=x^2 f

[f(4), f(1.2)]

Sage is built upon the programming language Python, which is a *strongly typed language* and so you can't evaluate expressions such as `f('Hello')`

. However a function such as \(f\text{,}\) as defined above, will accept any type of number, so a bit more work is needed to restrict the inputs of \(f\) to the integers.

A second way to define a function in Sage is based on Python syntax.

def fa(x) return x^2 #end of definition - now we test it: [fa(2),fa(1.2)]

## Non-Functions

We close this section with two examples of relations that are not functions.

Example \(\PageIndex{6}\): A Non-Function

Let \(A = B = \{1, 2, 3\}\) and let \(f= \{(1, 2), (2, 3)\}\text{.}\) Here \(f\) is not a function from \(A\) into \(B\) since \(f\) does not act on, or “use,” all elements of \(A\text{.}\)

Example \(\PageIndex{7}\): Another Non-Function

Let \(A = B = \{1,2, 3\}\) and let \(g = \{(1, 2), (2, 3), (2, 1),(3, 2)\}\text{.}\) We note that \(g\) acts on all of \(A\text{.}\) However, \(g\) is still not a function since \((2, 3) \in g\) and \((2, 1) \in g\) and the condition on each domain being related to exactly one element of the codomain is violated.

## Exercises

Let \(A = \{1, 2, 3, 4\}\) and \(B = \{a, b, c, d\}\text{.}\) Determine which of the following are functions. Explain.

- \(f \subseteq A \times B\text{,}\) where \(f = \{(1, a), (2, b), (3, c), (4, d)\}\text{.}\)
- \(g\subseteq A\times B\text{,}\) where \(g = \{(1, a), (2, a), (3,b), (4,d)\}\text{.}\)
- \(h \subseteq A \times B\text{,}\) where \(h = \{(1, a), (2, b), (3, c)\}\text{.}\)
- \(k \subseteq A\times B\text{,}\) where \(k = \{(1, a), (2, b), (2, c), (3, a), (4, a)\}\text{.}\)
- \(L\subseteq A\times A\text{,}\) where \(L = \{(1, 1), (2, 1), (3, 1), (4, 1)\}\text{.}\)

**Answer**-
- Yes
- Yes
- No
- No
- Yes

Exercise \(\PageIndex{2}\)

Find the ranges of the following functions on \(\mathbb{Z}\text{:}\)

- \(g = \{(x, 4x +1)|x \in \mathbb{Z}\}\text{.}\)
- \(h(x) = \textrm{the least integer that is greater than or equal to } \sqrt{|x|}\text{.}\)
- \(P(x) = x + 10\text{.}\)

Exercise \(\PageIndex{3}\)

Find the ranges of each of the relations that are functions in Exercise \(\PageIndex{1}\).

**Answer**-
- Range of \(f=f(A)=\{a,b,c,d\}=B\)
- Range of \(g=g(A)=\{a,b,d\}\)
- \(h\) is not a function.
- \(k\) is not a function.
- Range of \(L=L(A)=\{1\}\)

Let \(A\) be a set and let \(S\) be any subset of \(A\text{.}\) Let \(\chi_S: A\to \{0,1\}\) be defined by

\begin{equation*} \chi_S(x)= \left\{ \begin{array}{cc} 1 & \textrm{if } x\in S \\ 0 & \textrm{if } x\notin S \\ \end{array} \right. \end{equation*}

The function \(\chi_S\) is called the **characteristic function of \(S\text{.}\)**

- If \(A = \{a, b, c\}\) and \(S = \{a, b\}\text{,}\) list the elements of \(\chi_S\) .
- If \(A = \{a, b, c, d, e\}\) and \(S = \{a, c, e\}\text{,}\) list the elements of \(\chi_S\text{.}\)
- If \(A = \{a, b, c\}\text{,}\) what are \(\chi_{\emptyset}\) and \(\chi_A\text{?}\)

If \(A\) and \(B\) are finite sets, how many different functions are there from \(A\) into \(B\text{?}\)

**Answer**-
For each of the \(\lvert A \rvert \) elements of \(A\text{,}\) there are \(\lvert B \rvert\) possible images, so there are \(\lvert B \rvert\cdot \lvert B \rvert\cdot \ldots \cdot \lvert B \rvert=\left\lvert B \rvert^{\lvert A \rvert}\right.\) functions from \(A\) into \(B\text{.}\)

Exercise \(\PageIndex{6}\)

Let \(U\) be a set with subsets \(A\) and \(B\text{.}\)

- Show that \(g:U\to \{0,1\}\) defined by \(g(a)=\min \left(C_A(a),C_B(a)\right)\) is the characteristic function of \(A\cap B\text{.}\)
- What characteristic function is \(h:U\to \{0,1\}\) defined by \(h(a)=\max \left(C_A(a),C_B(a)\right)\text{?}\)
- How are the characteristic functions of \(A\) and \(A^c\) related?

Exercise \(\PageIndex{7}\)

Let \(f\) be a function with domain \(A\) and codomain \(B\text{.}\) Consider the relation \(K \subseteq A \times A\) defined on the domain of \(f\) by \((x, y) \in K\) if and only if \(f(x) = f(y)\text{.}\) The relation \(K\) is called the **kernel **of \(f\text{.}\)

- Prove that \(K\) is an equivalence relation.
- For the specific case of \(A = \mathbb{Z}\text{,}\) where \(\mathbb{Z}\) is the set of integers, let \(f: \mathbb{Z} \rightarrow \mathbb{Z}\) be defined by \(f(x) = x^2\text{.}\) Describe the equivalence classes of the kernel for this specific function.

Exercise \(\PageIndex{8}\)

Let \(f:\mathbb{P}\to \mathbb{P}\text{,}\) where \(f(a)\) is the largest power of two that evenly divides \(a\text{;}\) for example, \(f(12)=4,f(9)=1\), and \(f(8)=8\text{.}\) Describe the equivalence classes of the kernel of \(f\text{.}\)