Kompaktheit von Funktionen

[Drakes]

Ich kenne Kompaktheit nur als Eigenschaften von Mengen in topologischen Räumen. Ich vermute mal, eine Funktion f: X ---> Y heißt kompakt wenn ihr Graph eine kompakte Menge in X x Y (mit der normalen Produkttopologie?) ist? Oder ist es eine Funktion, die kompakte Mengen auf kompakte Mengen abbildet? Ich kenne den Begriff nicht, und ich kann auch spontan keine Definition finden.

...

Er wollte ja eigentlich auch wissen, wie man bestimmen kann, ob eine Menge kompakt ist.