Proof Error Q. Conway's Functions of One Complex Variable VI

julypraise
Messages
104
Reaction score
0
I ask this question only to those who read or have this book:

If you have Baby Rudin, it would be even better.

On the page 34 of the text Conway's Functions of One Complex Variable Vol 1, it proves the Chain Rule

but it seems the proof is not valid:

It uses sequences to show the limit is satisfied to be the differentiation i. e., f'(g(z_0))g'(z_0)

We all know for the limit of function to hold, sequence should be chosen arbitrary

For example, to show limf(x) = f(p) with x to p, choose arbitary x_n such that x_n to p and then show limf(x_n)=f(p).

But in some parts of the proof

it uses constructed sequences which, obviously, not arbitrary.

For example, in Case 1 of the proof, when deriving f'(g(z_0)), it uses a sequence f(x+h_n) which is not arbitrary, obvious, though h_n is arbitrary.

And in Case 2, it separate h_n to l_n and k_n which are also not arbitrary.

So I think the proof is not really valid.

Am I the only one who think like this?

Btw can I use just Rudin's Chain Rule proof though this proof is on real-domain functions?
 
Last edited:
Physics news on Phys.org
julypraise said:
I ask this question only to those who read or have this book:

If you have Baby Rudin, it would be even better.

On the page 34 of the text, it proves the Chain Rule

but it seems the proof is not valid:

It uses sequences to show the limit is satisfied to be the differentiation i. e., f'(g(z_0))g'(z_0)

We all know for the limit of function to hold, sequence should be chosen arbitrary

For example, to show limf(x) = f(p) with x to p, choose arbitary x_n such that x_n to p and then show limf(x_n)=f(p).

But in some parts of the proof

it uses constructed sequences which, obviously, not arbitrary.

For example, in Case 1 of the proof, when deriving f'(g(z_0)), it uses a sequence f(x+h_n) which is not arbitrary, obvious, though h_n is arbitrary.

And in Case 2, it separate h_n to l_n and k_n which are also not arbitrary.

So I think the proof is not really valid.

Am I the only one who think like this?

Btw can I use just Rudin's Chain Rule proof though this proof is on real-domain functions?


My Baby Rudin has the chain rule in page 105 and uses no sequences. Can you be more specific about the edition?

DonAntonio

Pd Besides, proof with sequences is fine as we a have a little lemma that says the limit exists iff the sequential limit exists
 
DonAntonio said:
My Baby Rudin has the chain rule in page 105 and uses no sequences. Can you be more specific about the edition?

DonAntonio

Pd Besides, proof with sequences is fine as we a have a little lemma that says the limit exists iff the sequential limit exists


Ah of course yes, baby Rudin does not use sequences in his proof (in his latest edition).

And Rudin's proof is very clear whereas Conway's seems not valid.

As for the lemma, doesn't that lemma state that

'limit exists iff for an "arbitrary" sequence the sequential limit exists'?

Conway does not prove for arbitrary sequence but only for some sequence (at least I think so).
 
julypraise said:
Ah of course yes, baby Rudin does not use sequences in his proof (in his latest edition).

And Rudin's proof is very clear whereas Conway's seems not valid.

As for the lemma, doesn't that lemma state that

'limit exists iff for an "arbitrary" sequence the sequential limit exists'?

Conway does not prove for arbitrary sequence but only for some sequence (at least I think so).


Ok, sorry about that: I missed the Conway part and looked into Rudin. Anyway, there's no problem as \,z_0+h_n\, covers all the open ball

of radius r around \,z_0\, , thus making the limit as generalized as possible.

DonAntonio
 
DonAntonio said:
Ok, sorry about that: I missed the Conway part and looked into Rudin. Anyway, there's no problem as \,z_0+h_n\, covers all the open ball

of radius r around \,z_0\, , thus making the limit as generalized as possible.

DonAntonio


Okay..

I think by your notion it seems very plausible to conclude that

\lim_{n\to\infty}\frac{f(z_{0}+h_{n})-f(z_{0})}{h_{n}}=\lim_{h\to0}\frac{f(z_{0}+h)-f(z_{0})}{h}

though I'm not using Thm 4.2 in Baby Rudin

But what about

\lim_{n\to\infty}\frac{g(f(z_{0}+h_{n}))-g(f(z_{0}))}{f(z_{0}+h_{n})-f(z_{0})}=\lim_{k\to0}\frac{g(f(z_{0})+k)-g(f(z_{0}))}{k}

? On what ground can we conclude this? (I have no idea indeed.)

By the way the major concern is that

it seems the author does not intend to use your notion namely epsilon-delta logic

(though you use r rather than delta and any ball instead of arbitrary epsilon)

but rather limit law namely Thm 4.2

If the proof is right, it's just that I don't get this part
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top