02_functions.Rmd

# (PART) Math {-}

# Functions and Operations

__Topics__
 Dimensionality;
 Interval Notation for ${\bf R}^1$;
 Neighborhoods: Intervals, Disks, and Balls; Introduction to Functions;
 Domain and Range;
 Some General Types of Functions;
 $\log$, $\ln$, and $\exp$;
 Other Useful Functions;
 Graphing Functions;
 Solving for Variables;
 Finding Roots;
 Limit of a Function;
 Continuity; Sets, Sets, and More Sets.


## Summation Operators $\sum$ and $\prod$ {#sum-notation}

Addition (+), Subtraction (-), multiplication and division are basic operations of arithmetic -- combining numbers. In statistics and calculus, we want to add a _sequence_ of numbers that can be expressed as a pattern without needing to write down all its components. For example, how would we express the sum of all numbers from 1 to 100 without writing a hundred numbers?

For this we use the summation operator $\sum$ and the product operator $\prod$. 

__Summation:__

\[\sum\limits_{i=1}^{100} x_i = x_1+x_2+x_3+\cdots+x_{100}\]

The bottom of the $\sum$ symbol indicates an index (here, $i$), and its start value $1$. At the top is where the index ends. The notion of "addition" is part of the $\sum$ symbol.  The content to the right of the summation is the meat of what we add. While you can pick your favorite index, start, and end values, the content must also have the index.

* \(\sum\limits_{i=1}^n c x_i = c \sum\limits_{i=1}^n x_i \)
* \(\sum\limits_{i=1}^n (x_i + y_i) =  \sum\limits_{i=1}^n x_i + \sum\limits_{i=1}^n y_i\) 
* \(\sum\limits_{i=1}^n c = n c \)


__Product:__

$$\prod\limits_{i=1}^n x_i = x_1 x_2 x_3 \cdots x_n$$

Properties:

* $\prod\limits_{i=1}^n c x_i = c^n \prod\limits_{i=1}^n x_i$
* $\prod\limits_{i=k}^n c x_i = c^{n-k+1} \prod\limits_{i=k}^n x_i$
* $\prod\limits_{i=1}^n (x_i + y_i) =$ a total mess
* $\prod\limits_{i=1}^n c = c^n$



Other Useful Functions

__Factorials!:__

$$x! = x\cdot (x-1) \cdot (x-2) \cdots (1)$$

__Modulo:__ Tells you the remainder when you divide the first number by the second. 

* $17 \mod 3 = 2$
* $100 \ \% \ 30 = 10$



```{example, name = "Operators", operators}


1. $\sum\limits_{i=1}^{5} i =$
  
2. $\prod\limits_{i=1}^{5} i =$ 
  
3. $14 \mod 4 =$
  
4. $4! =$

  

```

```{exercise, name = "Operators", operators1}
Let $x_1 = 4, x_2 = 3, x_3 = 7, x_4 = 11, x_5 = 2$

1. $\sum\limits_{i=1}^{3} (7)x_i$

2. $\sum\limits_{i=1}^{5} 2$

3. $\prod\limits_{i=3}^{5} (2)x_i$

    

```


## Introduction to Functions

A __function__ (in ${\bf R}^1$) is a mapping, or transformation, that relates members of one set to members of another set. For instance, if you have two sets: set $A$ and set $B$, a function from $A$ to $B$ maps every value $a$ in set $A$ such that $f(a) \in  B$. Functions can be "many-to-one", where many values or combinations of values from set $A$ produce a single output in set $B$, or they can be "one-to-one", where each value in set $A$ corresponds to a single value in set $B$. A function by definition has a single function value for each element of its domain. This means, there cannot be "one-to-many" mapping.


__Dimensionality__: ${\bf R}^1$ is the set of all real numbers extending from $-\infty$ to $+\infty$ --- i.e., the real number line. ${\bf R}^n$ is an $n$-dimensional space, where each of the $n$ axes extends from $-\infty$ to $+\infty$.

* ${\bf R}^1$ is a one dimensional line.
* ${\bf R}^2$ is a two dimensional plane.
* ${\bf R}^3$ is a three dimensional space.

Points in ${\bf R}^n$ are ordered $n$-tuples (just means an combination of $n$ elements where order matters), where each element of the $n$-tuple represents the coordinate along that dimension.


For example:

* ${\bf R}^1$: (3)
* ${\bf R}^2$: (-15, 5)
* ${\bf R}^3$: (86, 4, 0)

Examples of mapping notation: 

Function of one variable: $f:{\bf R}^1\to{\bf R}^1$

* $f(x)=x+1$. For each $x$ in ${\bf R}^1$, $f(x)$ assigns the number $x+1$.
    
Function of two variables: $f: {\bf R}^2\to{\bf R}^1$. 

* $f(x,y)=x^2+y^2$. For each ordered pair $(x,y)$ in ${\bf R}^2$, $f(x,y)$ assigns the number $x^2+y^2$.


We often use variable $x$ as input and another $y$ as output, e.g. $y=x+1$


```{example, name = "Functions", functions}

For each of the following, state whether they are one-to-one or many-to-one functions. 

1. For $x \in [0,\infty]$, $f : x \rightarrow x^2$ (this could also be written as $f(x) = x^2$).

2. For $x \in [-\infty, \infty]$, $f: x \rightarrow x^2$.



```


```{exercise, name = "Functions", functions1}

For each of the following, state whether they are one-to-one or many-to-one functions. 


1. For $x \in [-3, \infty]$, $f: x \rightarrow x^2$.


2. For $x \in [0, \infty]$, $f: x \rightarrow \sqrt{x}$
  


```




Some functions are defined only on proper subsets of ${\bf R}^n$.

* __Domain__: the set of numbers in $X$ at which $f(x)$ is defined.
* __Range__: elements of $Y$ assigned by $f(x)$ to elements of $X$, or $$f(X)=\{ y : y=f(x), x\in X\}$$
	Most often used when talking about a function $f:{\bf R}^1\to{\bf R}^1$.
* __Image__: same as range, but more often used when talking about a function $f:{\bf R}^n\to{\bf R}^1$.
	

Some General Types of Functions


__Monomials__:  $f(x)=a x^k$

$a$ is the coefficient.  $k$ is the degree.
		
Examples: $y=x^2$, $y=-\frac{1}{2}x^3$
	
__Polynomials__: sum of monomials. 

Examples: $y=-\frac{1}{2}x^3+x^2$, $y=3x+5$

The degree of a polynomial is the highest degree of its monomial terms.  Also, it's often a good idea to write polynomials with terms in decreasing degree.
	


__Exponential Functions__: Example: $y=2^x$


## $\log$  and $\exp$ {#logexponents}

__Relationship of logarithmic and exponential functions__: 
		$$y=\log_a(x) \iff a^y=x$$

The log function can be thought of as an inverse for exponential functions. $a$ is referred to as the "base" of the logarithm.
	
__Common Bases__: The two most common logarithms are base 10 and base $e$.
	
1. Base 10: $\quad y=\log_{10}(x) \iff 10^y=x$. The base 10 logarithm is often simply written as "$\log(x)$" with no base denoted.
2. Base $e$: $\quad y=\log_e(x) \iff e^y=x$. The base $e$ logarithm is referred to as the "natural" logarithm and is written as ``$\ln(x)$". 

\begin{comment}
			{\includegraphics[width=1in, angle = 270]{ln.eps}} \,  {\includegraphics[width=1in, angle = 270]{exp.eps}}
			\end{comment}
			
__Properties of exponential functions:__
	
* $a^x a^y = a^{x+y}$
* $a^{-x} = 1/a^x$
* $a^x/a^y = a^{x-y}$
* $(a^x)^y = a^{x y}$
* $a^0 = 1$
	
	
__Properties of logarithmic functions__ (any base):

Generally, when statisticians or social scientists write $\log(x)$ they mean $\log_e(x)$. In other words: $\log_e(x) \equiv \ln(x) \equiv \log(x)$
			
$$\log_a(a^x)=x$$ and 
$$a^{\log_a(x)}=x$$
	
* $\log(x y)=\log(x)+\log(y)$
* $\log(x^y)=y\log(x)$
* $\log(1/x)=\log(x^{-1})=-\log(x)$
* $\log(x/y)=\log(x\cdot y^{-1})=\log(x)+\log(y^{-1})=\log(x)-\log(y)$
* $\log(1)=\log(e^0)=0$
		
		
__Change of Base Formula__: Use the change of base formula to switch bases as necessary: 
$$\log_b(x) = \frac{\log_a(x)}{\log_a(b)}$$

Example: $$\log_{10}(x) = \frac{\ln(x)}{\ln(10)}$$




You can use logs to go between sum and product notation. This will be particularly important when you're learning maximum likelihood estimation.

\begin{eqnarray*}
			\log \bigg(\prod\limits_{i=1}^n x_i \bigg) &=& \log(x_1 \cdot x_2 \cdot x_3 \cdots \cdot x_n)\\
			&=& \log(x_1) + \log(x_2) + \log(x_3) + \cdots + \log(x_n)\\
			&=& \sum\limits_{i=1}^n \log (x_i)
\end{eqnarray*}
		
Therefore, you can see that the log of a product is equal to the sum of the logs. We can write this more generally by adding in a constant, $c$:
		
\begin{eqnarray*}
			\log \bigg(\prod\limits_{i=1}^n c x_i\bigg) &=& \log(cx_1 \cdot cx_2 \cdots cx_n)\\
			&=& \log(c^n \cdot x_1 \cdot x_2 \cdots x_n)\\
			&=& \log(c^n) + \log(x_1) + \log(x_2) + \cdots + \log(x_n)\\\\
			&=& n \log(c) +  \sum\limits_{i=1}^n \log (x_i)\\
\end{eqnarray*}	



```{example, name = "Logarithmic Functions", log}

Evaluate each of the following logarithms

1. $\log_4(16)$

2. $\log_2(16)$
             
Simplify the following logarithm. By "simplify", we actually really mean - use as many of the logarithmic properties as you can.

3. $\log_4(x^3y^5)$




```


```{exercise, name = "Logarithmic Functions", log1}


Evaluate each of the following logarithms

1. $\log_\frac{3}{2}(\frac{27}{8})$
  
  
Simplify each of the following logarithms. By "simplify", we actually really mean - use as many of the logarithmic properties as you can.

2. $\log(\frac{x^9y^5}{z^3})$


3. $\ln{\sqrt{xy}}$
  


```


## Graphing Functions
What can a graph tell you about a function?

* Is the function increasing or decreasing?  Over what part of the domain?
* How ``fast" does it increase or decrease?
* Are there global or local maxima and minima?  Where?
* Are there inflection points?
* Is the function continuous?
* Is the function differentiable?
* Does the function tend to some limit?
* Other questions related to the substance of the problem at hand.


## Solving for Variables and Finding Roots
	
Sometimes we're given a function $y=f(x)$ and we want to find how $x$ varies as a function of $y$. Use algebra to move $x$ to the left hand side (LHS) of the equation and so that the right hand side (RHS) is only a function of $y$.

```{example, name = "Solving for Variables", solvevar} 


Solve for x:

1. $y=3x+2$ 
  
  
2. $y=e^x$

  

```


Solving for variables is especially important when we want to find the __roots__ of an equation: those values of variables that cause an equation to equal zero. Especially important in finding equilibria and in doing maximum likelihood estimation.

Procedure: Given $y=f(x)$, set $f(x)=0$.  Solve for $x$.

Multiple Roots:
		$$f(x)=x^2 - 9 \quad\Longrightarrow\quad 0=x^2 - 9 \quad\Longrightarrow\quad 9=x^2 \quad\Longrightarrow\quad \pm \sqrt{9}=\sqrt{x^2} \quad\Longrightarrow\quad \pm 3=x$$

__Quadratic Formula:__ For quadratic equations $ax^2+bx+c=0$, use the quadratic formula: $$x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}$$
	


```{exercise, name = "Finding Roots", solvevar1}

Solve for x:
  
1. $f(x)=3x+2 = 0$
  
2. $f(x)=x^2+3x-4=0$

3. $f(x)=e^{-x}-10 = 0$
  


```


## Sets

__Interior Point__: The point $\bf x$ is an interior point of the set $S$ if $\bf x$ is in $S$ and if there is some $\epsilon$-ball around $\bf x$ that contains only points in $S$.   The __interior__ of $S$ is the collection of all interior points in $S$.  The interior can also be defined as the union of all open sets in $S$.

* If the set $S$ is circular, the interior points are everything inside of the circle, but not on the circle's rim.
* Example: The interior of the set $\{ (x,y) : x^2+y^2\le 4 \}$ is $\{ (x,y) : x^2+y^2< 4 \}$ .
	
__Boundary Point__: The point $\bf x$ is a boundary point of the set $S$ if every $\epsilon$-ball around $\bf x$ contains both points that are in $S$ and points that are outside $S$.  The __boundary__ is the collection of all boundary points.

* If the set $S$ is circular, the boundary points are everything on the circle's rim.
* Example: The boundary of $\{ (x,y) : x^2+y^2\le 4 \}$ is $\{ (x,y) : x^2+y^2 = 4 \}$.
	
__Open__: A set $S$ is open if for each point $\bf x$ in $S$, there exists an open $\epsilon$-ball around $\bf x$ completely contained in $S$.

* If the set $S$ is circular and open, the points contained within the set get infinitely close to the circle's rim, but do not touch it.
* Example: $\{ (x,y) : x^2+y^2<4 \}$
	
__Closed__: A set $S$ is closed if it contains all of its boundary points.

* Alternatively: A set is closed if its complement is open.
* If the set $S$ is circular and closed, the set contains all points within the rim as well as the rim itself.
* Example: $\{ (x,y) : x^2+y^2\le 4 \}$
* Note: a set may be neither open nor closed. Example: $\{ (x,y) : 2 < x^2+y^2\le 4 \}$

	
__Complement__: The complement of set $S$ is everything outside of $S$.

* If the set $S$ is circular, the complement of $S$ is everything outside of the circle.
* Example: The complement of $\{ (x,y) : x^2+y^2\le 4 \}$ is $\{ (x,y) : x^2+y^2 > 4 \}$.
	
	
__Empty__: The empty (or null) set is a unique set that has no elements, denoted by \{\} or $\emptyset$. 

* The empty set is an example of a set that is open and closed, or a "clopen" set.
* Examples: The set of squares with 5 sides; the set of countries south of the South Pole.


## Answers to Examples and Exercises  {-}

Answer to Example \@ref(exm:operators):
  
  1. 1 + 2 + 3 + 4 + 5 = 15
  
  2. 1 * 2 * 3 * 4 * 5 = 120
  
  3. 2
  
  4. 4 * 3 * 2 * 1 = 24
  
Answer to Exercise \@ref(exr:operators1):
    
  1. 7(4 + 3 + 7) = 98
  
  2. 2 + 2 + 2 + 2 + 2 = 10
  
  3. $2^3(7)(11)(2)$ = 1232
  
  
Answer to Example \@ref(exm:functions):

1. one-to-one

2. many-to-one

Answer to Exercise \@ref(exr:functions1):

1. many-to-one

2. one-to-one

Answer to Example \@ref(exm:log):

1. 2

2. 4

3. $3\log_4(x) + 5\log_4(y)$


Answer to Exercise \@ref(exr:log1):

1. 3

2. $9\log(x) + 5\log(y) - 3\log(z)$

3. $\frac{1}{2}(\ln{x} + \ln{y})$

Answer to Example \@ref(exm:solvevar):

1. $y=3x+2 \quad\Longrightarrow\quad -3x=2-y \quad\Longrightarrow\quad 3x=y-2 \quad\Longrightarrow\quad x=\frac{1}{3}(y-2)$

2. $x = \ln{y}$


Answer to Exercise \@ref(exr:solvevar1):

1. $\frac{-2}{3}$

2. x = {1, -4}

3. x = - $\ln10$