# Calculus/Multivariable Calculus/Limits and Continuity

## Limits and continuity

[edit | edit source]Before we can look at derivatives of multivariate functions, we need to look at how limits work with functions of several variables first, just like in the single variable case.

If we have a function * f* :

**R**

^{m}→

**R**

^{n}, we say that

*(*

**f***) approaches*

**x***(in*

**b****R**

^{n}) as

*approaches*

**x***(in*

**a****R**

^{m}) if, for all positive ε, there is a corresponding positive number δ, |

*(*

**f***)-*

**x***| < ε whenever |*

**b***-*

**x***| < δ, with*

**a***≠*

**x***.*

**a**This means that by making the difference between * x* and

*smaller, we can make the difference between*

**a***(*

**f***) and*

**x***as small as we want.*

**b**If the above is true, we say

(**f**) has**x***limit*at**b****a**(**f**) approaches**x**as**b**approaches**x****a**(**f**) →**x**as**b**→**x****a**

These four statements are all equivalent.

### Rules

[edit | edit source]Since this is an almost identical formulation of limits in the single variable case, many of the limit rules in the one variable case are the same as in the multivariate case.

For * f* and

*, mapping*

**g****R**

^{m}to

**R**

^{n}, and

*h*(

*) a scalar function mapping*

**x****R**

^{m}to

**R**, with

(**f**) →**x**as**b**→**x****a**(**g**) →**x**as**c**→**x****a***h*() →**x***H*as→**x****a**

then:

and consequently

when H≠0

### Continuity

[edit | edit source]Again, we can use a similar definition to the one variable case to formulate a definition of continuity for multiple variables.

If * f* :

**R**

^{m}→

**R**

^{n}, f is continuous at a point

*in*

**a****R**

^{m}if

*(*

**f***) is defined and*

**a**Just as for functions of one dimension, if * f*,

*are both continuous at*

**g***,*

**p***+*

**f***, λ*

**g***(for a scalar λ),*

**f***·*

**f***, and*

**g***×*

**f***are continuous also. If φ :*

**g****R**

^{m}→

**R**is continus at

*, φ*

**p***,*

**f***/φ are too if φ is never zero.*

**f**From these facts we also have that if *A* is some matrix which is *n*×*m* in size, with * x* in

**R**

^{m}, a function

*(*

**f***)=*

**x***A*

*is continuous in that the function can be expanded in the form*

**x***x*

_{1}

**a**_{1}+...+

*x*

_{m}

**a**_{m}, which can be easily verified from the points above.

If **f** : **R**^{m} → **R**^{n} which is in the form * f*(

*) = (*

**x***f*

_{1}(

*),...,*

**x***f*

_{n}(

*) is continuous if and only if each of its component functions are a polynomial or rational function, whenever they are defined.*

**x**Finally, if * f* is continuous at

*,*

**p***is continuous at*

**g***(*

**f***),*

**p***(*

**g***(*

**f***)) is continuous at*

**x***.*

**p**### Special note about limits

[edit | edit source]It is important to note that we can approach a point *in more than one direction*, and thus, the direction that we approach that point counts in our evaluation of the limit. It may be the case that a limit may exist moving in one direction, but not in another.