[Math] Proving continuity by epsilon-delta proof for a function of two variables.

continuityepsilon-deltareal-analysis

On account of a SE question , I raised the following question.

Let $f:D \to \mathbb R^2$ be a function in two variables. How would we go about setting up an epsilon-delta proof?

Let $f$ for example be given by $f(x,y) = (x+y)^2$ on the domain $D = \mathbb R^2$.

Edit. I am aiming at the kind of continuity that goes like the following for a one-variable function $f$. For every $\varepsilon > 0$, we have an $\delta >0$ such that $|x-a| < \delta$ implies $|f(x)-f(a)| < \varepsilon$.

Best Answer

We show that the given function is continuous at any point $(a,b)$. So given any $\epsilon\gt 0$, we want to produce a number $\delta$ such that $$|(x+y)^2-(a+b)^2|\lt \epsilon$$ whenever $d((x,y),(a,b))\lt \delta$. Here $d((x,y),(a,b))$ is the Euclidean distance between $(x,y)$ and $(a,b)$, that is, $\sqrt{(x-a)^2+(y-b)^2}$. Note that if $\sqrt{(x-a)^2+(y-b)^2}\lt \delta$ then $|x-a|\lt \delta$ and $|y-b|\lt \delta$.

We have $$(x+y)^2-(a+b)^2=((x+y)-(a+b))(x+y+a+b).\tag{1}$$ By choosing $\delta$ to be small, we have very direct control over the size of $|(x+y)-(a+b)|$, and can force it to be as small as we wish. But we must also get control over the size of $|x+y+a+b|$, to make sure it does not get too big. That is what the rest of the calculation is devoted to.

Suppose that $|x-a|\lt \delta$ and $|y-b|\lt \delta$ and $\delta\lt 1$. Then $|x|\lt |a|+1$, and $|y|\lt |b|+1$. It follows that $|x+y+a+b|\lt 2+2|a|+2|b|$. Thus from (1) we have $$|(x+y)^2-(a+b)^2|\lt (2\delta)(2+2|a|+2|b|).\tag{2}$$ It follows from (2) that if $0\lt \delta\lt \frac{\epsilon}{2(2+2|a|+2|b|)}$ then $|(x+y)^2-(a+b)^2|\lt \epsilon$.

Related Question