Offene Abbildung

Definition

Seien $(X,{\mathcal{O}}_X)$ und $(Y{\mathcal{O}}_Y)$ topologische Räume.

Eine Funktion $f:X\to Y$ heißt offen, wenn für alle $U\in {\mathcal{O}}_X$ gilt $f(U)\in {\mathcal{O}}_Y$¹ D.h. wenn das Bild einer offenen Menge wieder offen ist.

Footnotes

1. Zenk - Definition 22.5.2 ↩