Compact 集合の連続写像による像は compact 集合になる.