Zum Nachweis von "kompakt" kannst du die Def. benutzen:
"Jede offene Überdeckung enthält eine endliche Teilüberdeckung."
oder - falls ihr den schon bewiesen habt - den Satz:
kompakt = beschränkt und abgeschlossen.
Das erste ist vielleicht einfacher:
Wenn du eine offene Überdeckung von A+B hast, kann man wohl
überlegen, dass daraus zwei offene Überdeckungen sowohl von A
als auch von B zu machen sind und die enthalten dann ja beide
endliche Teilüberdeckungen.
Und wenn man von den daran beteiligten offenen Mengen analog
zu A+B die Summen bildet, wird das wohl eine endliche
offene Teilüberdeckung für A+B.