Sự mở rộng compac tại một điểm