Proving Continuity of $\frac{x}{x-k}$ for $x\neq k$

  • Context: Graduate 
  • Thread starter Thread starter daudaudaudau
  • Start date Start date
  • Tags Tags
    Continuity Proof
Click For Summary
SUMMARY

The discussion focuses on proving the continuity of the function \( \frac{x}{x-k} \) for \( x \neq k \). The proof utilizes the epsilon-delta definition of continuity, demonstrating that for every \( \varepsilon > 0 \), there exists a \( \delta \) such that \( \left| \frac{x}{x-k} - \frac{x_0}{x_0-k} \right| < \varepsilon \) when \( |x - x_0| < \delta \). The participants suggest that proving the continuity of the individual functions \( f(x) = x \) and \( g(x) = (x - k)^{-1} \) is simpler and requires less arithmetic, ultimately leading to the conclusion that their product is also continuous for all \( x \neq k \).

PREREQUISITES
  • Understanding of the epsilon-delta definition of continuity
  • Familiarity with limits and basic calculus concepts
  • Knowledge of function continuity properties
  • Ability to manipulate algebraic expressions
NEXT STEPS
  • Study the epsilon-delta definition of continuity in depth
  • Learn about the continuity of composite functions
  • Explore the properties of limits and their applications in calculus
  • Review proofs involving continuity of rational functions
USEFUL FOR

Mathematics students, educators, and anyone interested in understanding the principles of continuity in calculus, particularly those studying real analysis or advanced calculus concepts.

daudaudaudau
Messages
297
Reaction score
0
So today I wanted to prove that [itex]x/(x-k)[/itex] is continuous for [itex]x\neq k[/itex]. I have to show that for all [itex]\varepsilon>0[/itex] there exists a [itex]\delta[/itex] such that [itex]\left|x/(x-k)-x_0/(x_0-k)\right|<\varepsilon[/itex] for all [itex]x[/itex] satisfying [itex]|x-x_0|<\delta[/itex]. This is how I did it (a bit long)

[tex]\begin{align*}\left|\frac{x}{x-k}-\frac{x_{0}}{x_{0}-k}\right| & =\left|\frac{x-x_{0}}{x_{0}-k}+\frac{x}{x-k}-\frac{x}{x_{0}-k}\right|\\<br /> & =\left|\frac{x-x_{0}}{x_{0}-k}+\frac{x\left((x_{0}-k)-(x-k)\right)}{(x-k)(x_{0}-k)}\right|\\<br /> & =\left|\frac{x-x_{0}}{x_{0}-k}+\frac{(x-x_{0}+x_{0})\left((x_{0}-k)-(x-k)\right)}{(x-k)(x_{0}-k)}\right|\\<br /> & \le\left|\frac{x-x_{0}}{x_{0}-k}\right|+\frac{|x-x_{0}|\left|x_{0}-x\right|}{\left|(x-k)(x_{0}-k)\right|}+\frac{|x_{0}|\left|x_{0}-x\right|}{\left|(x-k)(x_{0}-k)\right|}\\<br /> & =\frac{\delta}{|x_{0}-k|}+\frac{\left(\delta+|x_{0}|\right)\delta}{\left|(x-k)(x_{0}-k)\right|}\\<br /> & \le\frac{\delta}{|x_{0}-k|}+\frac{\left(\delta+|x_{0}|\right)\delta}{\left||x-x_{0}|-|x_{0}-k|\right||x_{0}-k|}\\<br /> & =\frac{\delta}{|x_{0}-k|}+\frac{\left(\delta+|x_{0}|\right)\delta}{\left|\delta-|x_{0}-k|\right||x_{0}-k|}<\varepsilon.\end{align*}[/tex]

Now at this point, what is the easiest way to argue that a [itex]\delta[/itex] exists? Can this problem be solved with less arithmetic? I guess the idea is that you want an upper limit which consists of [itex]\delta[/itex] and some constants, right?
 
Physics news on Phys.org
Not sure if this approach is simpler but I would attack the problem in this fashion: First we prove that the functions f(x) = x and g(x) = (x - k)-1 are continuous for all real x with x != k. This is not only simple but also requires virtually no arithmetic - especially if you're familiar with limits. The only proof that is left then is to prove that the product of the functions must also be continuous for all x with x != k.
 

Similar threads

  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 21 ·
Replies
21
Views
4K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
Replies
32
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K