fn은 equicontinuous on compact set K

fn이 f로 poinwise converge

그러면 fn이 f로 uniformly converge


컴팩으로 유한개 추려서 삼각부등식 쓰는건

처음봤을 때 충격이었음


뭔가 잘 안될 땐 dense set에서 먼저 해보거나

compact이면 유한개 추려서 하는걸 많이 쓰는 듯