1

I just saw the following theorem:

Theorem Let $\alpha:[a,b] \to \mathbb{R}$ be a mapping. If the Riemann-Stieltjes integral $$I(f) := \int_a^b f(t) \, d\alpha(t)$$ exists for all continuous functions $f:[a,b] \to \mathbb{R}$, then $\alpha$ is of bounded variation.

in this answer.

but I'm confused by this step in the proof:

Since, by assumption, $I^{\Pi}(f) \to I(f)$ as $|\Pi| \to 0$ for all $f \in C[a,b]$, we have $$\sup_{\Pi} |I^{\Pi}(f)| \leq c_f < \infty$$

Does he use the fact that if $a_n$ converge, then $\sup_n a_n<\infty$ ? But I have heard from someone that the convergence of Riemann sums is a kind of "net convergence", does this convergence have the same property of ordinary convergence?

Lookout
  • 2,161
  • In general, a convergent net need not be bounded. The special situation here may imply the boundedness of $I^{\Pi}(f)$, but it's not obvious to me. – Daniel Fischer Aug 31 '17 at 15:21

1 Answers1

0

You can take limits along one sequence of partitions with the norms (i.e. the maximum of the lengths of subintervals) tending to zero. There is no need to use nets here since you are not proving the existence of limits of Riemann Steiltje sums.

  • But I want to apply Banach-Steinhaus theorem, so I need to verify $\sup_\Pi |I^\Pi (f)|<\infty$ i.e. every partition is needed. – Lookout Aug 30 '17 at 07:23