Pták's nondiscrete induction and its application to matrix iterations