Prove that the set of those $c$ is countable


by zeraoulia
Tags: analytic function, real and complex
zeraoulia
zeraoulia is offline
#1
Apr27-13, 12:35 PM
P: 12
The **mean values theorem** says that there exists a $c∈(u,v)$ such that $$f(v)-f(u)=f′(c)(v-u)$$ My question is: Assume that $u$ is a root of $f$, hence we obtain $$f(v)=f′(c)(v-u)$$ Assume that $f$ is a non-zero analytic function in the whole real line. My interest is about the real $c∈(u,v)$. I believe that the set of those $c$ is contable, otherwise we conclud that $f′(c)$ is constant (in an open set containing $c$) since $v$ is a constant and hence $f$ is identically zero. Also, I think that the set of those $c$ is countable (for analytic functions) but I am not able to prove that.
Phys.Org News Partner Mathematics news on Phys.org
Researchers help Boston Marathon organizers plan for 2014 race
'Math detective' analyzes odds for suspicious lottery wins
Pseudo-mathematics and financial charlatanism
HS-Scientist
HS-Scientist is offline
#2
Apr27-13, 01:18 PM
P: 181
For all c that satisfy that equation, [itex] f'(c)(v-u)-f(v)=0 [/itex]. The LHS is an analytic function in c (v and u are constant) and is not identically zero unless f is linear. That any non-zero analytic function has countable zeroes is well known. (http://planetmath.org/ZeroesOfAnalyt...onsAreIsolated is a proof for complex functions, but the idea is the same)

Edit: My link only proves that the zeroes are isolated. Here is how you would show that the set of zeroes in countable: Let a be a zero. If all other zeroes are separated from a by at least ε, let q be a rational number which is no more than ε/3 away from a. Each rational number can be associated with a zero in this way. The cardinality of the set of zeroes is the same as for this set of rational numbers and rational numbers are countable.
Fredrik
Fredrik is online now
#3
Apr28-13, 01:44 PM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 8,995
Type ## instead of $.


Register to reply

Related Discussions
Prove that if X is countable and a is in X then X \{a} is countable. Calculus & Beyond Homework 6
topology - prove that X has a countable base Calculus & Beyond Homework 8
Prove N X N is countable and provide a bijective function Calculus & Beyond Homework 5
Prove is countable Calculus & Beyond Homework 4
Prove algebraic numbers are countable Calculus & Beyond Homework 2