MATEMATICAS.NET

Estructuras de conjuntos pi-estables (1)

Anuncios

Sea un conjunto dado y sea una clase no vacía de partes de con una estructura. Decimos que dicha clase tiene una estructura -estable si la intersección de cualquier familia de clases con dicha estructura da lugar a una clase con la misma estructura. Por ejemplo, consideremos un anillo de conjuntos sobre . Dicha estructura se caracteriza por ser cerrada para la unión de un número finito de sus elementos y para la diferencia de dos cualesquiera de ellos. Además todo anillo contiene al conjunto vacío. Por tanto, si es una familia de anillos sobre podemos garantizar que su intersección

es no vacía pues contiene al vacío. Pero además de ser no vacía resulta que también es un anillo sobre . La demostración de este hecho es sencilla. Por tanto, la estructura de anillo es -estable. También son -estables las álgebras, los -anillos, las -álgebras,  etc., pero no son -estables los semianillos, los -sistemas y las clases monótonas. ¿Por qué es deseable la propiedad de -estabilidad? Pues sencillamente porque así podemos garantizar que para una clase no vacía cualquiera (con o sin estructura previa) siempre existe una estructura -estable que la contiene y que además es mínima con esta propiedad de inclusión.

Anuncios