Conjunto simétrico

De Wikipedia, la enciclopedia libre

En matemáticas, se dice que un subconjunto no vacío S de un grupo G es simétrico si contiene los inversos de todos sus elementos.[1]

Definición[editar]

En notación de conjuntos, un subconjunto de un grupo se llama simétrico si siempre que entonces el inverso de también pertenece a .

En consecuencia, si se escribe multiplicativamente, entonces es simétrico si y solo si donde .

Si se escribe de forma aditiva, entonces es simétrico si y solo si donde

Si es un subconjunto de un espacio vectorial, entonces se dice que es un conjunto simétrico si es simétrico con respecto a la estructura de grupo aditivo del espacio vectorial; es decir, si , lo que sucede si y solo si . La envolvente simétrica de un subconjunto es el conjunto simétrico más pequeño que contiene a , y es igual a . El conjunto simétrico más grande contenido en es .

Condiciones suficientes[editar]

Las uniones e intersecciones arbitrarias de conjuntos simétricos son simétricas.

Cualquier subespacio vectorial en un espacio vectorial es un conjunto simétrico.

Ejemplos[editar]

En , ejemplos de conjuntos simétricos son los intervalos del tipo con y los conjuntos y el intervalo .

Si es cualquier subconjunto de un grupo, entonces y son conjuntos simétricos.

Cualquier subconjunto equilibrado de un espacio vectorial real o complejo es simétrico.

Véase también[editar]

Referencias[editar]

  1. Topology. Academic Press. 1966. pp. 53 de 336. ISBN 9780080873312. Consultado el 12 de noviembre de 2023. 

Bibliografía[editar]

Enlaces externos[editar]