PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] continuity of natural power (Theorem)
Theorem 1   Let $n$ be arbitrary positive integer. The power function $x\mapsto x^n$ from $\mathbb{R}$ to $\mathbb{R}$ (or $\mathbb{C}$ to $\mathbb{C}$ ) is continuous in each point $x_0$ .

Proof. Let $\varepsilon$ be any positive number. Denote $x_0+h = x$ and $x^n-x_0^n = \Delta$ . Then identically $$\Delta = (x-x_0)(x^{n-1}+x^{n-2}x_0+...+x_0^{n-1}).$$ Taking the absolute value and using the triangle inequality give $$|\Delta| = |h|\cdot|x^{n-1}+x^{n-2}x_0+...+x_0^{n-1}| \leqq |h|\cdot(|x^{n-1}|+|x^{n-2}x_0|+...+|x_0^{n-1}|).$$ But since $|x| = |x_0+h| \leqq |x_0|+|h|$ and also $|x_0| \leqq |x_0|+|h|$ , so each summand in the parentheses is at most equal to $(|x_0|+|h|)^{n-1}$ , and since there are $n$ summands, the sum is at most equal to $n(|x_0|+|h|)^{n-1}$ . Thus we get $$|\Delta| \leqq n|h|(|x_0|+|h|)^{n-1}.$$ We may choose $|h| < 1$ ; this implies $$|\Delta| \leqq n|h|(|x_0|+1)^{n-1}.$$ The right hand side of this inequality is less than $\varepsilon$ as soon as we still require $$|h| < \frac{\varepsilon}{n(|x_0|+1)^{n-1}}.$$ This means that the power function $x\mapsto x^n$ is continuous in the point $x_0$ .

Note. Another way to prove the theorem is to use induction on $n$ and the rule 2 in limit rules of functions.




"continuity of natural power" is owned by pahio.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: limit rules of functions, induction, theorem, inequality, right hand side, implies, sum, triangle inequality, absolute value, number, proof, point, continuous, power function, integer, positive
There are 2 references to this entry.

This is version 3 of continuity of natural power, born on 2006-02-05, modified 2006-02-05.
Object id is 7590, canonical name is ContinuityOfNaturalPower.
Accessed 1898 times total.

Classification:
AMS MSC26A15 (Real functions :: Functions of one variable :: Continuity and related questions )
 26C05 (Real functions :: Polynomials, rational functions :: Polynomials: analytic properties, etc.)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)