Metadata
Author: WikiMatrix
Data
English[en]
A quotient space is defined as follows: if X is a topological space and Y is a set, and if f : X→ Y is a surjective function, then the quotient topology on Y is the collection of subsets of Y that have open inverse images under f.
Galician[gl]
Un espazo cociente defínese como segue: se X é un espazo topolóxico, Y é un conxunto e f: X → Y é unha función sobrexectiva, entón a topoloxía cociente en Y é a colección de subconxuntos de Y que teñen preimaxes por f abertas.