TITLE: Reference request: Kuratowski convergence and convergence in Hausdorff metric
QUESTION [2 upvotes]: On this Wiki page, it claims that (in 4th sentences in related concept section)

For compact metric spaces X, Kuratowski convergence coincides with
both convergence in Hausdorff metric and Vietoris topology.

I am wondering can anybody give me a reference where it proves this claim? Thank you!

REPLY [3 votes]: If you look in Topics on Analysis by Luigi Ambrosio & Paolo Tilli, the full proof is on pages 73 and 74.
{"set_name": "stack_exchange", "score": 2, "question_id": 1555715}