Hcfyk

You are almost correct there!

The domain of the function matters, so for your example we have

$$f:mathbb Rsetminus3rightarrowmathbb R,~f(x)=frac(x-3)(x+2)x-3.$$

You can think of it this way: we don't know yet if we have a removable discontinuity at $x=3$ and there might be a reason why we got this $(x-3)$ in the denominator, so we must exclude $3$ from our domain. Now our function $f$ is obviously continuous on its domain (it is a rational function and we know things about rational functions), and as we have excluded $3$ from our domain there is no point in asking if $f$ is continuous in $x=3$ (simply because it doesn't even exist there). Even when we simplify
$$f(x)=frac(x-3)(x+2)x-3=x+2$$
we still have the same domain because the domain does not change depending on our manipulations.

Now when it comes to asking wether we have a removable discontinuity we are actually asking the following: do we find a continuous function $g$ such that
$$g:mathbb Rrightarrowmathbb R,~g(x)=begincases f(x),&xneq 3 \ c, &x=3 endcases$$
So $g(x)=f(x)$ for all $xinmathbb Rsetminus3$ (which is the domain of $f$) and for $x=3$ we are looking for a value to assign to $g(3)$ such that this "new function" $g$ is continuous. So because the domains of $f$ and $g$ are not equal the functions themselves are not equal, but for most purposes e.g. integration we can treat them as equal to make things easier. One example:

we want to calculate $intlimits_-5^2!f(x),mathrmdx$. We then first have to discuss what we actually mean by that, as $f$ is not defined on $(-5,2)$ and after that we have an improper integral to solve, maybe split it up into two integrals...

Luckily one can show that in this case where we had a (single) removable discontinuity the following holds:

$$intlimits_-5^2!f(x),mathrmdx=intlimits_-5^2!g(x),mathrmdx.$$

(This result can be extended e.g. it doesn't matter is we have a finite amount of removable discontinuities or $f(x)neq g(x)$ for only finitely many $x$)

So working with $g$ makes this integration much easier which is why one often chooses to get rid of removable discontinuities and work with the new function $g$.

As others have noted, the functions are equal on $Bbb Rsetminus3$, and $(x+2)$ is easier to work with in almost any respect. Yes, using $=$ in this case is an abuse of notation, but it's really common, and more or less universally accepted as a necessary evil.

However, there is a different perspective where $=$ is more correct, and that's if you see them not as functions, but as rational functions ("function" shouldn't be in this name, to be honest). In other words, as just fractions of abstract / formal polynomials, without worrying about any evaluation or function properties. Then they actually are equal, the same way $frac62$ and $3$ are equal.

They are equal as rational functions.

Both $$frac(x-3)(x+2)x-3quadtextandquad x+2$$may be considered to be elements of the field $mathbb Q(x)$ of "rational functons over $mathbb Q$", and the two represent the same element of that field. So, when doing calculations in $mathbb Q(x)$, it is, indeed, correct to write
$$
frac(x-3)(x+2)x-3=x+2
$$

Related Questions & Answers at MSE , with some emphasis on Constructivism :

• 
  Is any real-valued function in physics somehow continuous?
  


• 
  Computability, Continuity and Constructivism
  


• 
  All real functions are continuous
  

You're assuming that f(x) is not defined at x=3 because f(3) produces 0/0, and because this expression is ordinarily undefined then you're assuming that f(3) is undefined. But if you can rationally give a definition to this expression then we're on solid ground. A rational value can be given to this expression in this case by using l'Hôpital's rule, and so f(3) is defined.

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, $mathbbR$, and the (implicit) maximal domains of functions are subsets of $mathbbR$.

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: $mathbbR smallsetminus 3 neq mathbbR$.

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 $(mathbbR smallsetminus 3) cap mathbbR = mathbbR 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 > 0$, there exists a $delta$ such that for all $t$ such that $|x-t| < delta$, we have $|f(x) - f(t)| < 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.)