MHB Understand Proposition 1.3 in Conway's Functions of Complex Variables I

Click For Summary
Proposition 1.3 in Conway's "Functions of a Complex Variable I" discusses the conditions under which the Riemann-Stieltjes integral converges. The key statement asserts that for a sufficiently small partition size, the difference between the integral of the derivative and the Riemann sum can be made arbitrarily small, specifically less than epsilon. This condition is indeed a restatement of the criteria for the existence of the Riemann integral. Understanding this proposition is crucial for grasping the broader concepts of complex integration presented in the text. The discussion emphasizes the importance of partition size in ensuring the accuracy of the integral approximation.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading John B. Conway's book, "Functions of a Complex Variable I" (Second Edition) ...

I am currently focussed on Chapter IV: Complex Integration ... Section 1: Riemann-Stieljes Integral ... ...

I need help in fully understanding aspects of Proposition 1.3 ...Proposition 1.3 and its proof read as follows:View attachment 7436
https://www.physicsforums.com/attachments/7437
https://www.physicsforums.com/attachments/7438In the above text from Palka, we read the following:

" ... ... Also, we may choose $$\delta_2 \gt 0$$ such that if $$P = \{ a = t_0 \lt t_1 \lt \ ... \ \lt t_m = b \}$$ and $$\lvert \lvert P \rvert \rvert = \text{ max } \{ (t_k - t_{ k - 1 } ) : \ 1 \le k \le m \} \lt \delta_2$$ then $$\left\lvert \int_a^b \lvert \gamma' (t) \rvert \ dt - \sum_{ k = 1 }^m \lvert \gamma' ( \tau_k ) \rvert ( t_k - t_{ k - 1 } ) \right\rvert \lt \epsilon$$

where $$\tau_k$$ is any point in $$[ t_{ k - 1 } , t_k ]$$. ... ... "Can someone please explain how/why the above quoted statement is true ... ...?

Is it simply a restatement of the condition for the Riemann integral to exist ... ?
Help will be much appreciated ... ...

Peter
 
Last edited:
Physics news on Phys.org
Peter said:
" ... ... Also, we may choose $$\delta_2 \gt 0$$ such that if $$P = \{ a = t_0 \lt t_1 \lt \ ... \ \lt t_m = b \}$$ and $$\lvert \lvert P \rvert \rvert = \text{ max } \{ (t_k - t_{ k - 1 } ) : \ 1 \le k \le m \} \lt \delta_2$$ then

$$\left\lvert \int_a^b \lvert \gamma' (t) \rvert \ dt - \sum_{ k = 1 }^m \lvert \gamma' ( \tau_k ) \rvert ( t_k - t_{ k - 1 } ) \right\rvert \lt \epsilon$$

where $$\tau_k$$ is any point in $$[ t_{ k - 1 } , t_k ]$$. ... ... "Can someone please explain how/why the above quoted statement is true ... ...?

Is it simply a restatement of the condition for the Riemann integral to exist ... ?
Yes!
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K