En matemáticas , el haz constante en un espacio topológico asociado a un conjunto es un haz de conjuntos en cuyos tallos son todos iguales a . Se denota por o . El prehaz constante con valor es el prehaz que asigna a cada subconjunto abierto el valor , y todos cuyos mapas de restricción son el mapa identidad . El haz constante asociado a es la gavillación del prehaz constante asociado a . Este haz se identifica con el haz de funciones de valor constante local en . [1]
Sea un espacio topológico y un conjunto. Las secciones del haz constante sobre un conjunto abierto pueden interpretarse como las funciones continuas , donde se da la topología discreta . Si es conexo , entonces estas funciones localmente constantes son constantes. Si es la función única del espacio de un punto y se considera como un haz en , entonces la imagen inversa es el haz constante en . El espacio del haz de es la función de proyección (donde se da la topología discreta).
Un ejemplo detallado
Sea el espacio topológico formado por dos puntos y con la topología discreta . tiene cuatro conjuntos abiertos: . Las cinco inclusiones no triviales de los conjuntos abiertos de se muestran en el gráfico.
Un prehaz en elige un conjunto para cada uno de los cuatro conjuntos abiertos de y un mapa de restricción para cada una de las inclusiones (con mapa identidad para ). El prehaz constante con valor , denotado , es el prehaz donde los cuatro conjuntos son , los enteros, y todos los mapas de restricción son la identidad. es un funtor en el diagrama de inclusiones (un prehaz), porque es constante. Satisface el axioma de pegado, pero no es un haz porque no cumple el axioma de identidad local en el conjunto vacío. Esto se debe a que el conjunto vacío está cubierto por la familia vacía de conjuntos, , y vacuamente, dos secciones cualesquiera en son iguales cuando se restringen a cualquier conjunto en la familia vacía . Por lo tanto, el axioma de identidad local implicaría que dos secciones cualesquiera en son iguales, lo cual es falso.
Para modificar esto en un prehaz que satisface el axioma de identidad local, sea , un conjunto de un elemento, y dé el valor en todos los conjuntos no vacíos. Para cada inclusión de conjuntos abiertos, sea la restricción la función única a 0 si el conjunto más pequeño está vacío, o la función identidad en caso contrario. Nótese que está forzada por el axioma de identidad local.
Ahora es un prehaz separado (satisface la identidad local), pero a diferencia de él, no cumple con el axioma de unión. De hecho, está desconectado , cubierto por conjuntos abiertos no intersecantes y . Elija secciones distintas en sobre y respectivamente. Debido a que y restringen al mismo elemento 0 sobre , el axioma de unión garantizaría la existencia de una sección única en que restringe a sobre y sobre ; pero las aplicaciones de restricción son la identidad, dando , que es falso. Intuitivamente, es demasiado pequeño para llevar información sobre ambos componentes conectados y .
Modificando aún más para satisfacer el axioma de pegado, sea
,
las funciones con valores en , y definen los mapas de restricción de como una restricción natural de funciones a y , con el mapa cero restringiendo a . Entonces es un haz, llamado el haz constante en con valor . Dado que todos los mapas de restricción son homomorfismos de anillos, es un haz de anillos conmutativos.
^ "¿Tiene la extensión por haz cero del haz constante alguna descripción interesante?". Mathematics Stack Exchange . Consultado el 8 de julio de 2022 .