9

Suppose $c$ is an isolated point in the domain $D$ of a function $f$. In the delta neighbourhood of $c$, does the function $f$ have the value $f(c)$?

Hagrid
  • 2,581
Vinod
  • 2,209

2 Answers2

15

You can also see this is true using the topological definition of continuity at a point: a function is continuous at a point $f(x)$ if for any neighborhood $V$ of $f(x)$ there is a neighborhood $U$ of $x$ such that $f(U)$ is contained in $V$. For an isolated point, you can take the neighborhood consisting of just the point $c$, so its image $f(c)$ will obviously be contained in $V$, as $V$ is a neighborhood of $f(c)$.

Ben Lerner
  • 710
  • Please enlighten me: I fail to see how $f: \mathbb{N} \mapsto \mathbb{R} | f(n) = \frac{1}{n}$ is continuous at every point in $\mathbb{N}$. (Let's say $0\not\in\mathbb{N}$.) – chharvey Apr 03 '12 at 01:27
  • $f$ is continuous if the preimage of any open set in $\mathbb{R}$ is open. Assuming you give $\mathbb{N}$ the topology inherited from $\mathbb{R}$, every set in $\mathbb{N}$ is open, so the statement is vacuously true.

    To show that any set is open, consider the set $(n-1/2, n+1/2)\cap\mathbb{N}$ for any $n\in\mathbb{N}$. This is an open set; it's also equal to ${n}$. So, ${n}$ is open for all $n$; the fact that every set is open follows directly (in other words, $\mathbb{N}$ inherits the discrete topology from $\mathbb{R}$).

     – Ben Lerner Apr 04 '12 at 03:33
  • I'm not sure what all this has to do with continuity at isolated points. Here's a counterexample: Let $A=[0,1]\cup{2}$ and $f(x)=\big{0:x\in[0,1];1:\text{otherwise}\big}$. Choose $c=2$ and $\epsilon=\frac{1}{2}$. No matter which $\delta$ is chosen, $0<|x-c|<\delta$ implies $|f(x)-f(c)|=1\not<\epsilon$. Therefore $f$ is not continuous at $c$, which is an isolated point in $A$. – chharvey Apr 14 '12 at 19:51
  • That counterexample is wrong - let's examine it closely. Take $f:A\to\mathbb{R}$ and see if it's continuous at 2. Take any open set containing 1 in $\mathbb{R}$, and take the open set with $\delta = 1/2$ around 2 in $A$. This is just ${2}$, so $f(2) = 1$ is contained in the open set in $\mathbb{R}$. So, $f$ is continuous at 2. (Obviously, if you take $f:\mathbb{R}\to\mathbb{R}, it's not continuous at 2.) – Ben Lerner Apr 16 '12 at 03:00
  • I thought the condition for continuity requires $\delta\not=0$. You're choosing $x=c$, (in this case, 2), which isn't allowed (at least in the defn of continuity I'm familiar with). If $0<|x-2|<\delta$ (and $x\in A$) then $x\in[0,1]$. Therefore $f(x)=0$, but $f(2) = 1$. I still don't see how $f$ is continuous at 2. Am I missing something? – chharvey Apr 16 '12 at 06:04
  • 1
    Fuck me, never mind. I'm mistaking the definition of continuity with the definition of a limit. You're right, you are allowed to take $x=c$; and $|x-2|$ need not be greater than 0. So if $|x-2|<\delta$, and we choose any $0<\delta<1$, then $x\in{2}$, aka $x=2$, thus $|f(x)-f(c)|=0<\epsilon$ and $f$ is continuous at 2. :) – chharvey Apr 16 '12 at 06:15
7

I see now that the comments above provide essentially the answer, with whatever definition of continuity you have. The following ties everything together.

Let's use as the definition of continuity $\lim_{x \rightarrow c}\,f(x) = f(c)$. Expand: For all $\varepsilon > 0$ there exists $\delta > 0$ such that whenever $0 < |x-c| < \delta$ it is true that $|f(x)-f(c)| < \varepsilon$. When $\delta$ is small enough, there are no points $x$ which work, so the part after the such that is vacuously true.

TNi
  • 256
  • 3
    Often continuity is stated using $|x-c|\lt\delta$ instead of $0 < |x-c| < \delta$, which makes no logical difference, but in this case avoids appeal to vacuous truth. – Jonas Meyer Dec 27 '10 at 06:14
  • 2
    You are of course correct. It is interesting, and the OP should convince himself the two are equivalent because we require the limit to equal the value of the function. – TNi Dec 27 '10 at 06:24