1: \begin{abstract}

2: Vlastimil Pt\'ak's method of nondiscrete induction is based on the idea that

3: in the analysis of iterative processes one should aim at rates of convergence

4: as functions rather than just numbers, because functions may give convergence

5: estimates that are tight throughout the iteration rather than just asymptotically. 

6: In this paper we motivate and prove a theorem on nondiscrete induction

7: originally due to Potra and Pt\'ak,

8: and we apply it to the Newton iterations for computing the matrix polar decomposition

9: and the matrix square root. Our goal is to illustrate the application of the

10: method of nondiscrete induction in the finite dimensional numerical linear algebra

11: context. We show the sharpness of the resulting convergence estimate analytically

12: for the polar decomposition iteration and for special cases of the square

13: root iteration, as well as on some numerical examples for the square root iteration.

14: We also discuss some of the method's limitations and possible extensions.

15: \end{abstract}