Let’s consider multivariate functions where . To that end, we need the Euclidean distance function on **R**^{n}. If **x** = (*x*_{1}, *x*_{2}, …, *x _{n}*) is in

**R**

^{n}, we define:

Note that |**x**| = 0 if and only if **x** is the zero vector **0**. Now we are ready to define continuity.

[ In this and all subsequent articles, boldfaced variables **a**, **x**, **y**, … denote parameters with multiple components. ]

Definition. The function is said to becontinuous at aif:

- for every ε>0, there exists δ>0, such that whenever |
x–a|<δ andxbelongs to D, we have |f(x)-f(a)|<ε.Let . A point is said to be a

point of accumulation, if for any ε>0, there exists such that.

Theorem. Ifais a point of accumulation of D, and we have continuous functionswhich agree on D-{

a}, then g(a)=h(a).

We’ll skip the proof since it’s identical to the case of single-variable functions, but we’d encourage the conscientious reader to check that the logic follows through.

## Basic Properties

Continuous functions satisfy the following basic properties:

Theorem.The property of continuity satisfies the following.

Identity. The identity map is continuous.Restriction. If and is continuous atain D’, then so is the restriction of f to D’.Composition. If is continuous ataand is continuous atb=f(a), then is continuous ata.Projection. The map which projects to i-th component is continuous at every point.Reduction of Codomain to R. The function is continuous ataiff is continuous for each i.Arithmetic. The addition and product functions are continuous, as is the reciprocal .

**Proof**.

All the properties have rather straightforward proofs. We’ll use our earlier lingo: say “when **x** close to **a** in *D*, P(**x**) holds” if there exists δ>0 such that whenever |**x**–**a**|<δ and **x **lies in *D*, the property P(**x**) holds.

**Identity**. Easy: let δ=ε.**Restriction**. Again let δ=ε.**Composition**. Let ε>0. Since*g*is continuous at*f*(**a**), there exists δ>0 such that when |**y**–*f*(**a**)|<δ and**y**is in*E*, |*g*(**y**)-*gf*(**a**)|<ε. Likewise, since*f*is continuous at**a**, there exists δ’>0 such that when |**x**–**a**|<δ’ and**x**is in*D*, then |*f*(**x**)-*f*(**a**)|<δ and hence |*gf*(**x**)-*gf*(**a**)|<ε.**Projection**. Use the inequality .**Reduction of Codomain to R**. If*f*is continuous, then is continuous by the above two properties. Conversely, suppose each is continuous. Let ε>0. For**x**close to**a**in*D*, we have for each*i*=1,2,…,*m*. Hence, when**x**is close to**a**in*D*, we have |*f*(**x**)-*f*(**a**)| < ε as well.**Arithmetic**.- For addition, use the inequality |(
*x*+*y*)-(*a*+*b*)| ≤ |*x*–*a*|+|*y*–*b*| ≤ |(*x*,*y*)-(*a*,*b*)|. - For multiplication, |
*xy*–*ab*| = |*x*(*y*–*b*)+(*x*–*a*)*b*| ≤ |*x*|·|*y*–*b*|+|*b*|·|*x*–*a*|. When |*x*–*a*|<1, we then have |*x*|<|*a*|+1. Hence, for any ε>0, whenever |*x*–*a*|<min(1, ε/(2|*a*|+2)) and |*y*–*b*|<ε/(2|*b*|) we have |*xy*–*ab*|<ε. Hence set δ=min(1, ε/(2|*a*|+2), ε/(2|*b*|)). - For division, take . When |
*x*–*a*|<|*a*|/2, we have |*x*|>|*a*|/2. Hence, for any ε>0, whenever |*x*–*a*|<min(|*a*|/2, ε|*a*|^{2}/2) we get .

- For addition, use the inequality |(

**Exercises**

Prove the following using only the above properties, without using the ε-δ definition.

- “
**Concatenation**” of continuous functions gives a continuous function. Specifically, suppose and are continuous at*a*and*a’*respectively, where and . Then given by is continuous at (*a*,*a’*). - Prove that if
*f*,*g*:*D*→**R**are continuous at*a*, for , then*f*+*g*,*f*×*g*are also continuous at*a*. If*f*(*a*)≠0, then 1/*f*is continuous at*a*also. Hence, any polynomial function is continuous.

**Answers** (highlight to read).

- Consider
*D*×*E*→*D*→**R**, where the first map is projection (and hence continuous at (*a*,*a’*) ) and the second map is*f*. Since it’s a composition of two continuous maps, the result is continuous. Likewise,*D*×*E*→*E*→**R**is continuous. On the other hand, the two maps are also given by composing (*f*,*g*):*D*×*E*→**R**×**R**→**R**, where the 2nd map is a projection. The 4th property then tells us (*f*,*g*) is continuous at (*a*,*a’*).

- Use property 5: the composition
*D*×*D*→**R**×**R**→**R**, where the first map is the concatenation (*f*,*g*) and the second map is addition/product, is continuous.

## Global Continuity

We say that a function is **continuous** if it’s continuous at every point in the domain. From definition, it’s clear that continuity at a specific point is determined by what happens close to that point. To that end, let’s define open sets.

Definitions. Let be any subset. Anopen ballcontaining is the set of points:for some ε>0. [ Note that the definition depends on D, although the notation doesn’t reflect that. If there’s a possibility of confusion, we’ll write it as . ]

A subset is said to be an

open subsetof D if for each , we have for some ε>0.

E.g. each open ball *U* := *N*(**a**, ε) is open, for if **x** is in *U*, then |**x**–**a**|<ε, so we let δ = ε-|**x**–**a**|. We claim that . Indeed, any **y** in *N*(**x**, δ) satisfies |**y**–**x**|<δ so

|**y**–**a**| ≤ |**y**–**x**| + |**x**–**a**| < δ+|**x**–**a**| = ε.

**More Examples of Open Subsets**

- Let
*D*=**R**. Then any open interval (*b*,*c*) is an open subset of*D*since it’s an open ball. The punctured neighbourhood (*b*,*c*) – {*a*} is also an open subset of*D*since it’s a union of two open balls. The half-open interval*U*= (*b*,*c*] is not open in*D*since the point*c*in*U*isn’t contained in any open ball of**R**which is a subset of*U*. [ Any open ball containing*c*is of the form (*c*-ε,*c*+ε), which contains points outside*U*. ] - Let . The subset
*U*= [0, 1] is now an open subset of*D*. This may confuse the reader at first glance, but note that even if we pick the endpoint 1 (in*U*), we can pick the open ball*N*(1, 1/2) in*D*. By definition, this is the set , so it’s (1/2, 1] which is wholly contained in*U*. Likewise, the singleton subset*V*= {2} is also a subset of*D*, since the open ball*N*(2, 1/2) = {2} is wholly contained in*U*.- Which of the subsets [0, 1), (0, 1], {1}, [0, 1/2), (0, 1/2] are open in
*D*? [ Answer: the first, second, fourth. ]

- Which of the subsets [0, 1), (0, 1], {1}, [0, 1/2), (0, 1/2] are open in

Here are further examples of open subsets , where *D* is coloured in blue and *U* in red.

In the first two examples, while in the other two, . The dotted boundary lines indicate that the boundaries are not included in *U*.

The main theorem we wish to prove is:

Theorem. Let be a function, where . Then f is continuous if and only if for each open subset , is an open subset of D.

**Proof**.

Suppose *f* is continuous. To show that is open in *D*, let . Since *f*(**a**) is in *U* which is open, there exists an ε>0 such that *N*(*f*(**a**), ε) is a subset of *U*. And since *f* is continuous at **a**, there exists a δ>0 such that whenever |**x**–**a**|<δ and **x** in *D*, we have |*f*(**x**)-*f*(**a**)|<ε. Hence

which shows that is open in *D*.

Conversely, suppose is open for any open subset . To show *f* is continuous at **a** (an element of *D*), let ε>0. Since is open, so is . But , so by definition of open subsets, there exists δ>0 for which

so whenever |**x**–**a**|<δ and **x** in *D*, we have |*f*(**x**)-*f*(**a**)|<ε. ♦

Main point. The above theorem suggests that the central concept behind analysis is that ofopen subsets. Indeed, the core idea behind topology is to build up an entire theory based only on the concept of open subsets. This will be elaborated in subsequent posts.

**Important Exercises**.

- Find a continuous function
*f*:**R**→**R**and an open subset*U*of**R**such that*f*(*U*) is not open in**R**. - Prove that if
*U*and*V*are open subsets of*D*, then so is*U*∩*V*. In particular, this means that finite intersections of open subsets are still open.

- Prove that if {
*U*} is a collection of open subsets of_{i}*D*, then so is . - Suppose .
- Prove that if
*U*is open in*D*, then*V*:=*U*∩*E*is open in*E*. - Prove that conversely, if
*V*is open in*E*, then*V*=*U*∩*E*for some open subset*U*of*D*.

- Prove that if

[ Note: for Q4, be careful with the notation *N*(**a**, ε) since the ambient space can be either *D* or *E*. ]

**Sketch of Answers** [Highlight to read.]

- Let
*f*(*x*)=*x*^{2}and*U*=(-1, 1). Then*f*(*U*) = [0, 1) is not open in**R**. However, in this case, it is open in the image of*f*, which is [0, ∞). Can you find an example where*f*(*U*) is not open in the image of*f*? - Let
**a**be in*U*∩*V*. For some ε>0 and ε’>0,*N*(**a**, ε) and*N*(**a**, ε’) are subsets of*U*and*V*respectively. Thus,*N*(**a**, min(ε, ε’)) is a subset of*U*∩*V*. - Let
**a**be in*U*. Then**a**lies in some*U*so for some ε>0,_{i}*N*(**a**, ε) is a subset of*U*and hence_{i}*U*. - For (A), suppose
**a**is in*V*. So**a**is in the open set*U*and for some ε>0,*N*(_{D}**a**, ε) is a subset of*U*. Since*N*(_{E}**a**, ε) =*N*(_{D}**a**, ε) ∩*E*, we also have*N*(_{E}**a**, ε) is a subset*U*∩*E*=*V*. For (B), let**a**be in*V*, which is open in*E*. For some ε>0,*N*(_{E}**a**, ε) is a subset of*V*. Now let*U*be the union of all open balls*N*(_{D}**a**, ε) in*D*. Each open ball is open in*D*and by Q3,*U*is also open in*D*. Clearly*V*=*U*∩*E**.*