##  [Espacio Clasificador (BG)](/es/node/63097) 

 Definición

Un espacio topológico BG asociado a un grupo topológico G tal que los fibrados principales en G sobre un espacio X corresponden bijectivamente (a isomorfismo) con las clases de homotopía de aplicaciones X → BG; a menudo se realiza mediante un espacio total contractible EG con acción libre de G y BG = EG/G.

 

 

 

 

 

 





## Principio

Principio

Codificar problemas de clasificación representando las clases de isomorfismo de fibrados como clases de mapas hacia un objetivo universal: BG es un espacio parametrizador universal para fibrados principales en G y traduce datos de fibrados a teoría de la homotopía.

 

 

 

 

 





## Demostración

Demostración

Para un grupo discreto G, un modelo de BG es K(G,1) y los fibrados principales en G sobre complejos CW corresponden a recubrimientos con grupo G; para G = S^1, BS^1 ≃ CP^∞ y clasifica fibrados circulares (fibrados en líneas).

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Tratar BG como idéntico al grupo G (ignorar la construcción clasificadora) o confundir BG con la cubierta universal EG; tales errores mezclan el grupo algebraico con su espacio de módulos y rompen la correspondencia con fibrados y clases características.

 

 

 

 

 





## Consecuencia

Consecuencia

BG reduce la clasificación de fibrados a la homotopía, permite definir clases características como elementos de H^*(BG) y ofrece un objetivo práctico para teoría de obstrucciones y cálculos cohomológicos relacionados con fibrados y campos de gauge.

 

 

 

 

## Inversión

Inversión

Sustituir BG por objetos más refinados (por ejemplo, espacios clasificadores en la noción de stacks o en categorías superiores) conserva estructura adicional (el groupoide de fibrados, automorfismos) en lugar de solo clases de isomorfía; olvidar la construcción universal elimina el dispositivo sistemático de clasificación.

 

 

 

 

 





## Límite

Límite

Definido para grupos topológicos; la existencia de un modelo razonable BG suele requerir paracompacticidad o hipótesis tipo CW sobre los espacios base para que la correspondencia funcione con limpieza. Para grupos no estrictos (grupoides topológicos, grupos superiores) es preciso pasar a stacks clasificadores o construcciones BG superiores.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Tensión entre BG como clasificador homotópico y las perspectivas moduli o en stacks: BG como espacio recuerda solo las clases de isomorfía de fibrados, mientras que los refinamientos en stack conservan automorfismos y datos de empalme, relevantes en contextos geométricos y categóricos.

 

 

 

 

 





## Síntesis

Síntesis

El Espacio Clasificador BG es el receptor universal en teoría de la homotopía que traduce fibrados principales en aplicaciones: realizado por EG→BG convierte problemas de fibrados en problemas de mapeo, produce clases características en H^*(BG) y admite refinamientos superiores o en stacks cuando los automorfismos son esenciales.