La topología inicial en un conjunto X respecto de una familia de aplicaciones {f_i : X → Y_i} es la topología más grosera que hace continuas todas esas aplicaciones; se genera tomando como subbase todas las imágenes inversas f_i^{-1}(U) de abiertos U ⊆ Y_i.

Principio

La topología inicial es la topología mínima retraída a lo largo de las aplicaciones especificadas: equipa a X solo con los abiertos necesarios para preservar la continuidad de dichas aplicaciones y se caracteriza por una propiedad universal respecto de continuidad hacia X.

Demostración

La topología producto en ∏_i Y_i es la topología inicial para las proyecciones a los factores; la topología de subespacio en A ⊆ Y es la topología inicial para la inclusión A → Y.

Aplicación incorrecta

Confundir la topología inicial con la topología final (topología cociente) o suponer que uniones arbitrarias de topologías corresponden a una construcción inicial es erróneo: la topología inicial se define por imágenes inversas, no por imágenes directas.

Consecuencia

Usar la topología inicial proporciona propiedades universales de continuidad: una aplicación Z → X es continua si y solo si todas las composiciones Z → X → Y_i son continuas; esto simplifica construcciones y demostraciones en contextos de producto, subespacio y espacios de funciones.

Inversión

La noción dual es la topología final (topología cociente), que es la topología más fina en el codominio que hace continuas a una familia de aplicaciones; topologías inicial y final están en dualidad categórica.

Límite

La topología inicial depende de una familia de aplicaciones especificada; distintas familias inducen diferentes topologías iniciales sobre el mismo conjunto subyacente, y sin aplicaciones la construcción no está definida.

Tensión semántica

Topología inicial versus topología final/cociente: la topología inicial se genera por imágenes inversas (pullback) y es mínima, mientras que la topología final se genera por imágenes (pushforward) y es máxima — confundirlas invierte la dirección de la condición de continuidad.

Síntesis

La topología inicial en X para una familia de aplicaciones es la topología más débil que hace continuas a esas aplicaciones, obtenida trayendo atrás los abiertos de los espacios destino; organiza la topología de X exclusivamente por los requisitos de continuidad impuestos por las aplicaciones.