Conjunto simétrico

propiedad de subconjuntos de grupos (matemáticas)

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