How can a function with a hole (removable discontinuity) equal a function with no hole? I've done some research, and I'm hoping someone can check me. My question was this:

Assume I have the function $f(x) = \frac{(x-3)(x+2)}{(x-3)}$, so it has removable discontinuity at $x = 3$. We remove that discontinuity with algebra: $f(x) = \frac{(x-3)(x+2)}{(x-3)} = (x+2)$. BUT, the graph of the first function has a hole at $x = 3$, and the graph of the second function is continuous everywhere. How can they be "equal" if one has a hole and the other does not?

I think that this is the answer: 

Because the original function is undefined at the point $x = 3$, we have to restrict the domain to $\mathbb{R} \setminus 3$. And when we manipulate that function with algebra, the final result, $f(x) = (x + 2)$ is still using this restricted domain. So even though the function $f(x) = (x+2)$ would not have a hole if the domain were all of $\mathbb{R}$, we are sort of "imposing" a hole at $x = 3$ by continuing to throw that point out of the domain. 

And then just to close the loop: Removing the removable discontinuity is useful because it allows us to "pretend" that we're working with a function that is everywhere continuous, which helps us easily find the limit. But the reality is that the function $f(x) = (x +2)$ is actually NOT continuous everywhere when we restrict the domain by throwing out the point 3. Or am I now taking things too far? 

Thanks in advance!

EDIT: For anyone coming across this in the future, in addition to the excellent answers below, I also found this other question about the continuity of functions with removable discontinuities helpful.
Two functions are typically defined to be equal if and only if they...


Share the same domain
Share the same codomain
Take on the same values for each input.


Thus, functions $f,g : S \to T$ for sets $S,T$ have $f=g$ if and only if $f(x) = g(x)$ for all $x$ in $S$.

For functions with holes, we typically restrict the domain by ensuring the values where the function is not defined at not included. For example, in the functions you have, you have

$$f(x) = \frac{(x-3)(x+2)}{(x-3)} \;\;\;\;\; g(x) = x+2$$

Are these equal? Yes, and no.

A function must be defined at all values of the domain. Thus, we can say $3$ is not in the domain of $f$ for sure. But we never specified otherwise the domains and codomains of these functions! Typically, unless stated otherwise, we often assume their domain to be $\Bbb R$ or $\Bbb C$, minus whatever points are causing problems - and of course, in such cases, $f \neq g$ since $f(3)$ is not defined, and thus $f$ normally has domain $\Bbb R \setminus \{3\}$ and $g$ generally has domain $\Bbb R$.

But that restriction is not necessary. For example, we could define the functions to be $f,g : \Bbb R \setminus \Bbb Q \to \Bbb R$. Notice that the domain of both functions are now all real numbers except rational numbers, i.e. the irrational numbers. This means $3$ is not in the domain of either function - and since that's the only "trouble spot," and the codomains are equal, and the values are equal at each point in the domain, $f=g$ here.

Or even more simply: we could have $\Bbb R \setminus \{3\}$ be the domain of $f$ and $g$ and again have equality! The key point in all this is that, just because $f$ or $g$ do attain defined values for certain inputs, doesn't mean they have to be in the domain.



In short, whether $f=g$ depends on your definitions of each. Under typical assumptions, $f \neq g$ in this case, but if we deviate from those assumptions even a little we don't necessarily have inequality.
One seldom writes the domain of a function, implicitly assigning the largest domain that is sensible in your context.  For much algebra (especially graphing), trigonometry, and calculus, the largest domain of interest is the real numbers, $\mathbb{R}$, and the (implicit) maximal domains of functions are subsets of $\mathbb{R}$.

Two functions are equal if they have the same domain, range, and values on each point of the domain.  (The range is a subset of the codomain.  No one cares if you expand the codomain.)  So $\frac{(x-3)(x+2)}{(x-3)}$ is not equal  to $x + 2$ because they do not have the same domain: $\mathbb{R} \smallsetminus \{3\} \neq \mathbb{R}$.

Two functions are identical if they have the same values on each point of their common domain.  The common domain of $\frac{(x-3)(x+2)}{(x-3)}$ and $x + 2$ is $(\mathbb{R} \smallsetminus \{3\}) \cap \mathbb{R} = \mathbb{R} \smallsetminus \{3\}$.  Both functions agree on this common domain, so they are identical.  "At any point you can evaluate both functions, they give the same answer, so there is no point of the common domain that can, through evaluation, show that the two functions are different."  Two unequal identical functions are unequal "before you get to evaluations" -- that is, they are unequal in their domains or ranges.

A more extreme example: $\log x$ has domain $(0, \infty)$ and $\log( -x)$ has domain $(-\infty, 0)$.  These two functions are not equal; they do not have the same domain.  Because the intersection of their domains is empty, their common domain is empty and they are (vacuously) identical.  (Here, "vacuously" means "there is literally nothing to check because the common domain has nothing in it, like a vacuum".)

When proving identities, we only use this weaker notion of equivalence of functions.

Regarding continuity:  "$f$ is continuous" means that $f$ is continuous on each point of its domain.  If you delete a point from its domain, you have relaxed the conditions imposed by continuity.  "$f$ is continuous at the point $x$" means 
$$  \lim_{t \rightarrow x} f(t) = f(x)  $$
(where the indicated limit must exist).  In considering the limit, $t$ is restricted to only take values in the domain of the function.

(Most people don't talk about continuity of functions at isolated points of their domains.  With the above definition, a function is continuous at any isolated point of its domain because the limit becomes vacuous: there are no points in the domain near the isolated point except for the isolated point, so there is nothing to check.  It is not the case that the limit fails to exist.  In a rigorous setting, you would define continuity as "for all $\varepsilon &gt; 0$, there exists a $\delta$ such that for all $t$ such that $|x-t| &lt; \delta$, we have $|f(x) - f(t)| &lt; \varepsilon$".  For an isolated point, once $\delta$ is small enough, the only choice for $t$ is $t = x$, and we have $|f(x) - f(t)| = 0$, which is definitely less than $\varepsilon$.)

Continuous functions are nice.  For instance, you likely have a theorem that says continuous functions are (Riemann) integrable (on non-infinite intervals of integration).  If you have a function that has a removable discontinuity, then it is identical (but not equal) to a continuous function whose domain includes the ordinate (first coordinate) of the removable discontinuity.  Any value you can get from the first function, you can also get from the second function.  This means any particular Riemann sum (that is, any particular choice of partition and sample points) that can be evaluated using the discontinuous function has the same value as the same sum using the identical, continuous function.  Riemann sums that sampled the removable discontinuity did not exist, so prevented the existence of the limit as the diameter of the partition went to zero.  The identical function sidesteps this problem by supplying the limit of the function as it approaches the removable discontinuity, so the Riemann sum using the "filled in" function exists and you can integrate it.  (Normally, one talks about an improper integral, splitting the interval of integration into pieces that avoid little intervals around the points of discontinuity, then taking limits as the little intervals shrink to zero.  If the discontinuity is removable, one can show that these two methods of sneaking up on the removable discontinuities give the same result.)