As a generalization of "compact + discrete => finite", we have "locally compact + linear => finite dimensional," which supplies a lot of no-go theorems in functional analysis. For instance, compact operators on infinite-dimensional spaces can't be invertible.