Angenommen wir befinden uns in irgendeinem metrischen Raum. Kann es eine offene Menge geben, die kompakt ist? Oder ist das prinzipiell gar nicht möglich? Ich vermute, dass das nicht geht, weil jede kompakte Menge abgeschlossen ist, allerdings gilt ja nur im euklidischen Raum, dass auch jede abgeschlossene und beschränkte Menge wieder kompakt ist. Dementsprechend darf ich i.A. nicht den Umkehrschluss folgern. Aber ich wüsste sonst nicht, wie ich das begründen soll. Oder gibts da doch eine offene Menge, die kompakt ist?