2 . 对称变换在对称数学中具有重要的研究意义．若一个平面图形K在m（旋转变换或反射变换）的作用下仍然与原图形重合，就称K具有对称性，并记m为K的一个对称变换．例如，正三角形R在（绕中心O作120°的旋转）的作用下仍然与R重合（如图1图2所示），所以是R的一个对称变换，考虑到变换前后R的三个顶点间的对应关系，记；又如，R在（关于对称轴所在直线的反射）的作用下仍然与R重合（如图1图3所示），所以也是R的一个对称变换，类似地，记．记正三角形R的所有对称变换构成集合S．一个非空集合G对于给定的代数运算.来说作成一个群，假如同时满足：
I．，；
II．，；
Ⅲ．，，；
Ⅳ．，，．
对于一个群G，称Ⅲ中的e为群G的单位元，称Ⅳ中的为a在群G中的逆元．一个群G的一个非空子集H叫做G的一个子群，假如H对于G的代数运算来说作成一个群．

   

(1)直接写出集合S（用符号语言表示S中的元素）；
(2)同一个对称变换的符号语言表达形式不唯一，如．对于集合S中的元素，定义一种新运算*，规则如下：，．
①证明集合S对于给定的代数运算*来说作成一个群；
②已知H是群G的一个子群，e，分别是G，H的单位元，，，分别是a在群G，群H中的逆元．猜想e，之间的关系以及，之间的关系，并给出证明；
③写出群S的所有子群．

4 . 集合由有限个实数组成，定义集合的离距如下：实数轴上，集合中的每个实数对应一个点，实数对应的点与所有这些点的距离的算术平均数记为，称函数的最小值为集合的离距，记为.例如，集合的离距是0，集合的离距是2.
(1)分别求出集合的离距；
(2)求数集的离距；
(3)已知非空数集满足，试写出一个关于的大小关系的等式或不等式，并给出证明.