Arzela-Ascoli 定理證明

這是上數位電子學的時候邊寫的 XD。因為直接用「在 C[a, b] 中有收歛子序列」的敘述，所以相對於金次昨天上課的完整證明，我造出 g_k 後直接證明 uniform convergence（從而在 C[a, b] 中收歛），還用上好久不見的 1/2 covering 手法 XD。

--
這個定理和其證明算是分析學裡面相當經典的吧 XD。

---

勘誤：定理的結論應該是在 C[a, b] 中收歛，不是 C[0, 1] XD。