Because is surjective, is infinite whenever is infinite; a finite preimage could have only finitely many image points. By part (i), its closure is . Apply part (a)(ii):The other inclusion is automatic, soBoth continuity and surjectivity enter the argument.
Articles by others on the same topic
There are currently no matching articles.