Limits of inverse limits (Q1044875)

Soient \(X\) un espace métrique compact et \(f\) une fonction multivoque semi-continue supérieurement (s.c.s.) de \(X\) dans lui-même. Soit \(\varprojlim \{X,f\}\) la limite de la suite projective \((X_i,f_i)\) où, pour tout \(i\), \(X_i=X\) et \(f_i:X_{i+1}\to X_i\) est une copie de \(f\). Cette limite projective est regardée comme un sous-ensemble du produit \(\prod X\) des \(X_i\). Soient \(f\) et \(f_n\), \(n\geq1\), des fonctions s.c.s. de \(X\) dans \(X\), et soient \(K=\varprojlim \{X,f\}\) et \(K_n=\varprojlim\{X,f_n\}\). Les auteurs étudient les relations entre la convergence de la suite \(K_n\) vers \(K\) dans \(2^{\prod X}\) et la convergence de la suite des graphes \(\Gamma(f_n)\) des \(f_n\) vers \(\Gamma(f)\) dans \(2^{X\times X}\). Des exemples montrent qu'en général la convergence d'une de ces suites n'entraîne pas celle de l'autre. Les auteurs montrent que si les \(f_n\) sont surjectives, si \(f\) est une fonction univoque et si \(\Gamma(f_n)\) tend vers \(\Gamma(f)\), alors \(K_n\) tend vers \(K\). Dans l'autre direction, si les \(f_n\) sont surjectives et si \(K_n\) tend vers \(K\), alors \(\Gamma(f_n)\) tend vers \(\Gamma(f)\).