Clausura (matemáticas)

En matemáticas, se habla de la clausura (o también cierre) de un subconjunto de un conjunto, cuando está cerrado bajo una operación del conjunto mayor; es decir, si al operar con los miembros del subconjunto el resultado siempre es un miembro de ese subconjunto. Por ejemplo, los números naturales son cerrados con respecto a la suma, pero no con respecto a la resta: Plantilla:Nowrap no es un número natural, aunque tanto el 1 como el 2 lo son.

De manera similar, se dice que un subconjunto está cerrado bajo una "colección" de operaciones si está cerrado bajo cada una de las operaciones individualmente.

El cierre de un subconjunto es el resultado de un operador de cierre aplicado al subconjunto. El cierre de un subconjunto bajo determinadas operaciones es el superconjunto más pequeño que se cierra bajo estas operaciones. A menudo se le llama extensión o conjunto generado.

Definiciones

Sea Plantilla:Mvar un conjunto equipado con uno o varios métodos para producir elementos de Plantilla:Mvar a partir de otros elementos de Plantilla:Mvar. Se dice que un subconjunto Plantilla:Mvar de Plantilla:Mvar está "cerrado" según estos métodos si, cuando todos los elementos de entrada están en Plantilla:Mvar, todos los resultados posibles también están en Plantilla:Mvar. A veces, también se puede decir que Plantilla:Mvar tiene la propiedad de cierre.

La propiedad principal de los conjuntos cerrados, que resulta inmediatamente de la definición, es que toda intersección de conjuntos cerrados es un conjunto cerrado. De ello se deduce que para cada subconjunto Plantilla:Mvar de Plantilla:Mvar, hay un subconjunto cerrado más pequeño Plantilla:Mvar de Plantilla:Mvar tal que $Y\subseteq X$ (es la intersección de todos los subconjuntos cerrados que contienen a Plantilla:Mvar). Dependiendo del contexto, Plantilla:Mvar se denomina cierre de Plantilla:Mvar o el conjunto generado o extendido por Plantilla:Mvar.

Los conceptos de conjunto cerrado y de cierre a menudo se extienden a cualquier propiedad de subconjuntos que sean estables en la intersección; es decir, toda intersección de subconjuntos que tienen la propiedad, también la tiene. Por ejemplo, en ${ℂ}^n,$ un conjunto cerrado de Zariski, también conocido como conjunto algebraico, es el conjunto de los ceros comunes de una familia de polinomios, y el cierre de Zariski de un conjunto Plantilla:Mvar de puntos es el conjunto algebraico más pequeño que contiene a Plantilla:Mvar.

En estructuras algebraicas

Una estructura algebraica es un conjunto equipado con operaciones que satisfacen algunos axiomas. Estos axiomas pueden ser identidades. Algunos axiomas pueden contener cuantificadores de existencia ($\mathrm{\exists }$). En este caso, vale la pena agregar algunas operaciones auxiliares para que todos los axiomas se conviertan en identidades o fórmulas puramente cuantificadas universalmente. Consúltese estructura algebraica para obtener más detalles.

En este contexto, dada una estructura algebraica Plantilla:Mvar, una subestructura de Plantilla:Mvar es un subconjunto que está cerrado bajo todas las operaciones de Plantilla:Mvar, incluidas las operaciones auxiliares que se necesitan para evitar cuantificadores de existencia. Una subestructura es una estructura algebraica del mismo tipo que Plantilla:Mvar. De ello se deduce que, en un ejemplo específico, cuando se demuestra la clausura, no es necesario comprobar los axiomas para demostrar que una subestructura es una estructura del mismo tipo.

Dado un subconjunto Plantilla:Mvar de una estructura algebraica Plantilla:Mvar, el cierre de Plantilla:Mvar es la subestructura más pequeña de Plantilla:Mvar que se cierra bajo todas las operaciones de Plantilla:Mvar. En el contexto de las estructuras algebraicas, esta clausura generalmente se denomina subestructura "generada" o "abarcada" por Plantilla:Mvar, y se dice que Plantilla:Mvar es un conjunto generador de la subestructura.

Por ejemplo, un grupo es un conjunto con un operación asociativa, a menudo llamada multiplicación, con un elemento neutro, de modo que cada elemento tiene un elemento simétrico. Aquí, las operaciones auxiliares son la operación aridad que da como resultado el elemento de identidad y la operación unaria de inversión. Un subconjunto de un grupo que está cerrado bajo multiplicación e inversión también está cerrado bajo la operación nula (es decir, contiene la identidad) si y solo si no está vacío. Entonces, un subconjunto no vacío de un grupo que está cerrado bajo la multiplicación y la inversión es un grupo que se puede denominar subgrupo. El subgrupo generado por un solo elemento, es decir, el cierre de este elemento, se llama grupo cíclico.

En álgebra lineal, el cierre de un subconjunto no vacío de un espacio vectorial (bajo las operaciones del espacio vectorial, es decir, la suma y la multiplicación escalar) es el sistema generador de este subconjunto. Es un espacio vectorial por el resultado general anterior, y se puede demostrar fácilmente que es el conjunto de las combinaciones lineales de los elementos del subconjunto.

Se pueden dar ejemplos similares para casi todas las estructuras algebraicas, a veces con alguna terminología específica. Por ejemplo, en un anillo conmutativo, el cierre de un solo elemento bajo las operaciones de un ideal se llama ideal principal.

En topología

En topología y ramas de la matemática afines, la operación relevante es el establecimiento de contornos. La clausura topológica de un conjunto es el operador de cierre correspondiente. Los axiomas de cierre de Kuratowski caracterizan a este operador.

Relaciones binarias

Una relación binaria en un conjunto Plantilla:Mvar se puede definir como un subconjunto Plantilla:Mvar de $A\times A,$, el conjunto de pares ordenados de elementos de Plantilla:Mvar. La notación $xRy$ se usa comúnmente para $(x,y)\in R.$ Se pueden usar muchas propiedades u operaciones en relaciones para definir cierres. Algunas de las más comunes son las siguientes:

Reflexividad

Una relación Plantilla:Mvar en el conjunto Plantilla:Mvar es reflexiva si $(x,x)\in R$ para cada $x\in A.$ Como toda intersección de relaciones reflexivas es reflexiva, esto define un cierre. La clausura reflexiva de una relación Plantilla:Mvar es entonces $$R\cup \{(x,x)\mid x\in A\}.$$

Simetría

La simetría es una operación unaria en $A\times A$ que asigna $(x,y)$ a $(y,x).$ Una relación es simétrica si se cierra bajo esta operación, y la clausura simétrica de una relación Plantilla:Mvar es su cierre bajo esta relación.

Transitividad

La transitividad está definida por la operación binaria parcial en $A\times A$ que asigna $(x,y)$ y $(y,z)$ a $(x,z).$ Una relación es transitiva si se cierra bajo esta operación, y la clausura transitiva de una relación es su cierre bajo esta operación.

Un preorden es una relación reflexiva y transitiva. De ello se deduce que el cierre transitivo reflexivo de una relación es el preorden más pequeño que la contiene. De manera similar, el cierre simétrico transitivo reflexivo o el cierre de equivalencia de una relación es la relación de equivalencia más pequeña que lo contiene.

Otros ejemplos

• En la teoría de matroides, la clausura de X es el superconjunto más grande de X que tiene el mismo rango que X.
• La clausura transitiva de un conjunto.
• La clausura algebraica de un cuerpo.
• La clausura integral de un dominio de integridad en un cuerpo que lo contiene.
• El radical de un ideal en un anillo conmutativo.
• En geometría, la envolvente convexa de un conjunto S de puntos es el recinto convexo más pequeño del que S es un subconjunto.
• En lenguaje formal, la clausura de Kleene de un idioma se puede describir como el conjunto de cadenas que se pueden crear concatenando cero o más cadenas de ese idioma.
• En teoría de grupos, la clausura conjugada o cierre normal de un conjunto de elementos de un grupo es el subgrupo normal más pequeño que contiene al conjunto.
• En análisis matemático y en teoría de la probabilidad, el cierre de una colección de subconjuntos de X bajo muchas y numerables operaciones del conjunto se denomina Σ-álgebra generada por la colección.

Operador de cierre

En los apartados anteriores, se consideran cierres para subconjuntos de un conjunto determinado. Los subconjuntos de un conjunto forman un conjunto parcialmente ordenado para la inclusión. Los operadores de cierre permiten generalizar el concepto de cierre a cualquier conjunto parcialmente ordenado.

Dado un conjunto parcialmente ordenado Plantilla:Mvar cuyo orden parcial se denota con el símbolo Plantilla:Math, un operador de cierre en Plantilla:Mvar es una función $C:S\to S$ que es creciente ($x\le C(x)$ para todos los $x\in S$), idempotente ($C(C(x))=C(x)$) y monótona ($x\le y⟹C(x)\le C(y)$).

De manera equivalente, una función de Plantilla:Mvar sobre Plantilla:Mvar es un operador de cierre si $x\le C(y)⟺C(x)\le C(y)$ para todo $x,y\in S.$

Un elemento de Plantilla:Mvar está cerrado si es su propio cierre, es decir, si $x=C(x).$ Por idempotencia, un elemento está cerrado si y solo si es el cierre de algún elemento de Plantilla:Mvar.

Un ejemplo de operador de cierre que no opera en subconjuntos lo proporciona la función techo, que asigna a cada número real Plantilla:Mvar el entero más pequeño que no sea menor que Plantilla:Mvar.

Operador de cierre con respecto a conjuntos cerrados

Un cierre de los subconjuntos de un conjunto dado puede definirse mediante un operador de cierre o mediante un conjunto de conjuntos cerrados que sea estable en la intersección e incluya el conjunto dado. Estas dos definiciones son equivalentes.

De hecho, las propiedades definitorias de un operador de cierre Plantilla:Mvar implican que una intersección de conjuntos cerrados es cerrada: si $X=\bigcap X_i$ es una intersección de conjuntos cerrados, entonces $C(X)$ debe contener a Plantilla:Mvar y estar contenido en cada $X_i.$ Esto implica que $C(X)=X$ por definición de la intersección.

Por el contrario, si se dan conjuntos cerrados y cada intersección de conjuntos cerrados es cerrada, entonces se puede definir un operador de cierre Plantilla:Mvar tal que $C(X)$ sea la intersección de los conjuntos cerrados que contienen a Plantilla:Mvar.

Esta equivalencia sigue siendo cierta para conjuntos parcialmente ordenados con propiedad del mayor límite inferior, si se reemplazan "conjuntos cerrados" por "elementos cerrados" y "intersección" por "límite inferior máximo".

Enlaces externos

• Plantilla:Portal
• Plantilla:MathWorld