0

I study the concept of limit in several variables, the definition is the following.

Let $f: U\subset \mathbb{R}^b \to \mathbb{R}$ Where $U$ is an "open set". The limit is defined in $\vec{x_0}$ (which is in U or is a border point of it). $\forall \epsilon>0, \exists \delta$ such that $$\vec(x) \in B(x_{0},\delta) \cap U (\vec{x} \neq \vec{x_0}) \implies f(x) \in B(L, \epsilon)$$ I want to understand WHY YOU SHOULD BE AN OPEN SET? What happens if you are not. I have read many posts and the answers are topology and therefore are difficult to understand and others are not very good, I would like to understand this part of the definition. Thanks

  • You might find this post to be helpful – Ben Grossmann Sep 27 '22 at 00:03
  • 3
    Hi! A couple of points: 1. Please don't use all caps. It may seem to you that it simply conveys that you're desperately curious as to why something is true, but to many people, it suggests the Internet equivalent of shouting. 2. The general reason why we prefer open sets is that every point in an open set has some neighborhood around it that is also in the set, so that we can do things like take limits "from all directions," etc. If the set were not open—for example, if there were points that were on the boundary—the concept of limit for those points would have to be dealt with differently. – Brian Tung Sep 27 '22 at 00:04

1 Answers1

3

Consider this function:

$$f : \{0\}\cup [1,100) \to \Bbb R : x \mapsto \begin{cases}0& x=0\\1&x\ne 0\end{cases}$$

Suppose we are looking for $\lim_\limits{x\to 0} f(x)$. The "$U$" in this case is $U = \{0\}\cup [1,100)$. It turns out that $$\lim_\limits{x\to 0} f(x) = 1$$

Because for any $\epsilon > 0$, we can set $\delta = 50$. then $B(0,50)\cap U(x \ne 0) = [1,50)$ and for all $x \in [1,50), f(x) = 1 \in B(1,\epsilon)$.

But it gets even better. It is also true that $$\lim_\limits{x\to 0} f(x) = -1001$$

because for any $\epsilon > 0$, we can set $\delta = \frac 12$. Then $B(0,1/2)\cap U(x \ne 0) = \emptyset$, and since $x \in \emptyset$ is always false, it is certainly true that $x\in \emptyset \implies f(x) \in B(-1001,\epsilon)$. Of course, I could have used any number as the limit and followed the same argument.

This demonstrates why we don't define limits at isolated points. In the above example, the $\lim_\limits{x\to 1} f(x) = 1$ and nothing else, because $1$ is not isolated. But does $U$ actually have to be open? No. The $U$ in the example is perfectly fine for defining limits of $f$ for any point in $U$ except $0$. It is even fine for defining $\lim_\limits{x\to 100} f(x)$ even though $100 \notin U$, which is exactly the same thing as we do when defining limits at $\infty$, which nobody complains about. We can define the limit of a function at any point on the boundary of its domain in some known larger space (in this case $\Bbb R$).

Now let me digress for a moment because practically every time I've made this point, someone eventually comes along proclaiming "That's wrong, because you don't know what $f$ is doing on the other side of $1$". But they are mistaken. We do know exactly what $f$ is doing on the other side of $1$. It is doing nothing. $U$ is the domain of $f$. Outside of $U, f$ is not defined. You may have some extension of $f$. But that is not $f$. The domain of a function is part of its definition. And it is $f$ whose limit we are defining, not some extension.

So why is $U$ restricted to open sets? Not because the definition of the limit required it. No, the author resticted to open domains simply because that is all they needed for what they are planning to do. Their goal is something other than defining limits in maximum generality (doing so goes far deeper than this definition). They are driving for a certain set of tools and ideas, and for those tools, defining the limit in an open domain is sufficient. To spend time discussing what happens at boundary points would just be an unnecessary distraction from their purpose.

Paul Sinclair
  • 43,643