Symmetric set

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (July 2025) (Learn how and when to remove this message)

In mathematics, a nonempty subset S of a group G is said to be symmetric if it contains the inverses of all of its elements.

In set notation a subset ${\displaystyle S}$ of a group ${\displaystyle G}$ is called symmetric if whenever ${\displaystyle s\in S}$ then the inverse of ${\displaystyle s}$ also belongs to ${\displaystyle S.}$ So if ${\displaystyle G}$ is written multiplicatively then ${\displaystyle S}$ is symmetric if and only if ${\displaystyle S=S^{-1}}$ where ${\displaystyle S^{-1}:=\left\{s^{-1}:s\in S\right\}.}$ If ${\displaystyle G}$ is written additively then ${\displaystyle S}$ is symmetric if and only if ${\displaystyle S=-S}$ where ${\displaystyle -S:=\{-s:s\in S\}.}$

If ${\displaystyle S}$ is a subset of a vector space then ${\displaystyle S}$ is said to be a symmetric set if it is symmetric with respect to the additive group structure of the vector space; that is, if ${\displaystyle S=-S,}$ which happens if and only if ${\displaystyle -S\subseteq S.}$ The symmetric hull of a subset ${\displaystyle S}$ is the smallest symmetric set containing ${\displaystyle S,}$ and it is equal to ${\displaystyle S\cup -S.}$ The largest symmetric set contained in ${\displaystyle S}$ is ${\displaystyle S\cap -S.}$

Arbitrary unions and intersections of symmetric sets are symmetric.

Any vector subspace in a vector space is a symmetric set.

In ${\displaystyle \mathbb {R} ,}$ examples of symmetric sets are intervals of the type ${\displaystyle (-k,k)}$ with ${\displaystyle k>0,}$ and the sets ${\displaystyle \mathbb {Z} }$ and ${\displaystyle (-1,1).}$

If ${\displaystyle S}$ is any subset of a group, then ${\displaystyle S\cup S^{-1}}$ and ${\displaystyle S\cap S^{-1}}$ are symmetric sets.

Any balanced subset of a real or complex vector space is symmetric.

• Absolutely convex set – Convex and balanced set
• Absorbing set – Set that can be "inflated" to reach any point
• Balanced function – Construct in functional analysisPages displaying short descriptions of redirect targets
• Balanced set – Construct in functional analysis
• Bounded set (topological vector space) – Generalization of boundedness
• Convex set – In geometry, set whose intersection with every line is a single line segment
• Minkowski functional – Function made from a set
• Star domain – Property of point sets in Euclidean spaces

This article incorporates material from symmetric set on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.