Uma introdução amigável ao teorema da compacidade e suas aplicações