等度連續的概念大約是在十九世紀的八十年代由兩位義大利的數學家：阿斯科利(1883年–1884年) 和阿爾澤拉(1882年–1883年)提出的。阿斯科利在1883年的論文中證明了定理中關於成為緊集的充分性部分，而阿爾澤拉則在1895年的另一篇論文中證明了定理的另一部分：成為緊集的必要條件，並首次給出了定理的完整證明。而不久之後，在1906年，法國數學家弗雷歇又將這個定理進行了推廣，使得在任意的能夠定義極限的空間中都有同樣的結果（比如度量空間或豪斯多夫空間）。
阿爾澤拉-阿斯卡利定理是數學領域的一個基本結果。它是常微分方程組理論中的皮亞諾存在定理的證明中不可或缺的一環，也是複分析中的蒙泰爾定理的證明中的重要組成部分。此外，它更是彼得-外爾定理的證明的關鍵。
預備概念
以下是在定理的敘述和證明中將會用到的概念。設K為一個緊緻的豪斯多夫空間。C(K,R)為從K射到R的連續函式的集合。此集合的一個子集\mathcal{F}\subsetC(K,\mathbf{R}) 被稱為等度連續的，若且唯若對任意的x∈K和任意ε>0，存在x的鄰域Ux使得對所有的y\inU_x以及ƒ∈F，都有：
|f(y)−f(x)|<ε
集合 \mathcal{F}\subsetC(K,\mathbf{R}) 被稱為逐點有界，如果對所有的x∈K，都有：
\sup\{|f(x)|:f\in\mathcal{F}\}<\infty
作為對比，一個集合 \mathcal{F}\subsetC(K,\mathbf{R}) 被稱作一致有界，如果其中所有的函式的一致範數（絕對值的上確界）都小於某一個常數。
敘述
實數域上的情況最簡單的情況是在實數域上，這時的阿爾澤拉-阿斯科利定理的形式為：
考慮一個定義在實數軸中的有界閉區間[a,b]上的實數值函式序列(fn)n∈N。如果這個序列是一致有界並且等度連續的，那么必定這個函式序列中存在一個子序列(fnk)是一致收斂的。
例子
設(fn)n∈N是一個一致有界、可導，並且導數也是一致有界的函式序列，那么(fn)n∈N這個序列滿足阿爾澤拉-阿斯科利定理的條件，因為可以證明它也是等度連續的。因此，這個函式列擁有一個一致收斂的子序列。
推廣
實數域上的阿爾澤拉-阿斯科利定理很容易推廣到多維空間Rd上。證明也十分簡單：只需要在子序列里繼續套用阿爾澤拉-阿斯科利定理即可，這樣連續提取d次子序列之後就可以得到在Rd上一致收斂的子序列。
緊度量空間和緊豪斯多夫空間
對於一般的度量空間，阿爾澤拉-阿斯科利定理定義如下：
設X為一個緊度量空間，Y為一個度量空間，那么C(X,Y)的子集F在緊緻開拓撲中是緊緻的若且唯若它是等度連續、逐點相對緊緻的閉集。
這裡，C(X,Y)表示從X射到Y的連續函式的集合。而它的子集F被稱作逐點相對緊緻若且唯若\forallx\inX，集合{f(x):fisinF}都是Y中相對緊緻的子集。如果一個集合在緊緻開拓撲中是緊緻的，那么它之中的所有序列都擁有一個一致收斂到其中的子序列。
更廣泛地，對於X是緊豪斯多夫空間的情況，定理一樣成立：
設X為一個緊度量空間，那么C(X,Y)的子集F在緊緻開拓撲中是緊緻的若且唯若它是等度連續、逐點相對緊緻的閉集。
阿爾澤拉-阿斯科利定理是對於緊豪斯多夫空間上的連續函式的代數性質的研究中的一個重要結果。進一步的研究可以將上面的結果進行進一步的推廣。比如說，函式的取值空間可以變為豪斯多夫的拓撲向量空間，這時仍然有基本相同的定理。
