fn은 equicontinuous on compact set K fn이 f로 poinwise converge 그러면 fn이 f로 uniformly converge 컴팩으로 유한개 추려서 삼각부등식 쓰는건 처음봤을 때 충격이었음 뭔가 잘 안될 땐 dense set에서 먼저 해보거나 compact이면 유한개 추려서 하는걸 많이 쓰는 듯
누가 한 말로는 compact는 무한한 조건 체크를 유한개로 만들어줘서 좋은거라고 한적이 있는데.
open covering 개념도입은 정말 엄청남..