En los campos matemáticos de la geometría y de la topología, una estructura gruesa en un conjunto X es una colección de subconjuntos del producto cartesiano X × X con ciertas propiedades que permiten definir la estructura a gran escala de espacios métricos y de espacios topológicos.
El objeto de estudio tradicional de la geometría y de la topología es la estructura a pequeña escala del espacio: propiedades como la continuidad de una función dependen de si las imágenes inversas de pequeños conjuntos abiertos, o entornos, son en sí mismas abiertas. Las propiedades a gran escala de un espacio, como el carácter de acotado o los grados de libertad del espacio, no dependen de dichas características. La geometría gruesa y la topología gruesa proporcionan herramientas para medir las propiedades a gran escala de un espacio, y así como una métrica o una topología contienen información sobre la estructura a pequeña escala de un espacio, una estructura gruesa contiene información sobre sus propiedades a gran escala.
Más concretamente, una estructura gruesa no es el análogo a gran escala de una estructura topológica, sino de una estructura uniforme.
Definición
Una estructura gruesa
en un conjunto es una colección de subconjuntos de (por lo tanto, cae bajo la categorización más general de relación binaria en ) llamados conjuntos controlados,
y para que posea la relación identidad, se cierra tomando subconjuntos, inversos y finitos. sindicatos, y está cerrado bajo la composición de relaciones. Explícitamente:
- Identidad/diagonal:
- Diagonal es miembro de : la relación de identidad.
- Cerrada bajo la toma de subconjuntos:
- Si y entonces
- Cerrada tomando inversas:
- Si , entonces la inversa (o transpuesta) es miembro de : la relación inversa.
- Cerrada bajo la toma de uniones:
- Si entonces su unión es miembro de
- Cerrada bajo composición:
- Si es , entonces su producto es miembro de : composición de relaciones.
Un conjunto dotado de una estructura gruesa es un espacio grueso.
Para un subconjunto de el conjunto se define como Se define la sección
de por como el conjunto también denotado como El símbolo denota el conjunto Estas son formas de proyecciones.
Se dice que un subconjunto de es un conjunto acotado
si es un conjunto controlado.
Intuición
Los conjuntos controlados son conjuntos "pequeños", o "conjuntos negligibles": un conjunto tal que esté controlado es negligible, mientras que una función tal que su grafo esté controlado está "cerca" de la identidad. En la estructura gruesa acotada, estos conjuntos son los conjuntos acotados, y las funciones son las que están a una distancia finita de la identidad en métrica uniforme.
Aplicaciones gruesas
Dado un conjunto y una estructura gruesa se dice que las aplicaciones y son cerradas
si es un conjunto controlado.
Para estructuras gruesas e se dice que es una aplicación gruesa
si para cada conjunto acotado de el conjunto está acotado en y para cada conjunto controlado de el conjunto está controlado en [1] Se dice que e son gruesamente equivalentes
si existen aplicaciones gruesas y tales que esté cerca de y esté cerca de
Ejemplos
- Una estructura gruesa acotada
en un espacio métrico es la colección de todos los subconjuntos de , de modo que es finito. Con esta estructura, el retículo entero es aproximadamente equivalente al espacio euclídeo -dimensional.
- Un espacio donde está controlado se denomina espacio acotado.
Un espacio así equivale aproximadamente a un punto. Un espacio métrico con la estructura gruesa acotada está acotado (como un espacio grueso) si y solo si está acotado (como un espacio métrico).
- La estructura gruesa trivial solo consta de la diagonal y sus subconjuntos. En esta estructura, una aplicación es una equivalencia aproximada si y solo si es una biyección (de conjuntos).
- estructura gruesa
en un espacio métrico es la colección de todos los subconjuntos de tal que para todo hay un conjunto compacto de tal que para todo Alternativamente, la colección de todos los subconjuntos de tal que es compacto.
- Estructura gruesa discreta
en un conjunto consta de la diagonal junto con los subconjuntos de que contienen solo un número finito de puntos ) fuera de la diagonal.
en consta de todos los subconjuntos propios de es decir, todos los subconjuntos ) de modo que y son relativamente compactos siempre que sea relativamente compacto.
Véase también
Referencias
- ↑ Hoffland, Christian Stuart. Course structures and Higson compactification. OCLC 76953246.
Bibliografía