对称集

在数学中，当一个群G的非空子集S包含了其所有元素的反元素时，此非空子集S被称为对称集。

例如，乘法群的非空子集S满足

$S=S^{-1}$

其中$S^{-1}=\{x^{-1}:x\in S\}$，则S被称为是对称的(英语：symmetric)；

加法群的非空子集S满足

$S=-S$

其中$-S=\{-x:x\in S\}$，则S被称为是对称的。

如果S是向量空间的子集，且它相对于向量空间的加法群组结构是对称的，则S被称为是对称的；也就是说满足$S=-S=\{-x:x\in S\}$。

例子

• 在实数集R中，对称集的例子如满足$k>0$的$(-k,k)$型区间，以及整数集Z和点集$\{-1,1\}$。
• 向量空间的任意向量子空间都是对称集。
• 如果S是一个群的任意子集，则$SS^{-1}$和$S^{-1}S$是对称集。

参考文献

• R. Cristescu, Topological vector spaces, Noordhoff International Publishing, 1977.
• W. Rudin, Functional Analysis, McGraw-Hill Book Company, 1973.

本条目含有来自PlanetMath《symmetric set （页面存档备份，存于互联网档案馆）》的材料，版权遵守乃遵守知识共享协议：署名-相同方式共享协议。