An improvement of the Arzela–Ascoli theorem

For the classical Arzela–Ascoli theorem and its typical modern formulation, we have improved the sufficiency part by weakening the compactness of the domain space, and the necessity part is improved by strengthening the necessity part of the classical version.