In this lecture, we shall discuss Fréchet-Kolmogorov compactness theorem, which gives a necessary and sufficient condition for a subset of Lebesgue space to be compact. As an application, we will discuss the compact embeddings of Sobolev spaces into various function spaces.