対称集合

群の部分集合の性質(数学)

数学では、G空でない部分集合S は、そのすべての要素の 逆集合を含む場合、対称的であると言われます。

意味

集合記法では、群の部分集合が対称的であるとは、その逆も属する場合である。 したがって、が乗法的に書かれる場合、対称的であるのは、次の場合に限ります。加法的に書かれる場合、対称的であるのは、の場合に限ります。 S {\displaystyle S} G {\displaystyle G} s S {\displaystyle s\in S} s {\displaystyle s} S {\displaystyle S.} G {\displaystyle G} S {\displaystyle S} S S 1 {\displaystyle S=S^{-1}} S 1 := { s 1 : s S } {\displaystyle S^{-1}:=\left\{s^{-1}:s\in S\right\}.} G {\displaystyle G} S {\displaystyle S} S S {\displaystyle S=-S} S := { s : s S } {\displaystyle -S:=\{-s:s\in S\}.}

がベクトル空間の部分集合である場合ベクトル空間の加法群構造に関して対称であるとき、対称集合と呼ばれる。つまり、であり、 のときのみ成り立つ。部分集合の 対称は を含む最小の対称集合であり、 に等しい。に含まれる最大の対称集合 S {\displaystyle S} S {\displaystyle S} S S {\displaystyle S=-S,} S S {\displaystyle -S\subseteq S.} S {\displaystyle S} S {\displaystyle S,} S S {\displaystyle S\cup -S.} S {\displaystyle S} S S {\displaystyle S\cap -S.}

十分な条件

対称集合の任意の和集合積集合は対称的である。

ベクトル空間内の 任意のベクトル部分空間は対称集合です。

対称集合の例としては、 のタイプの区間、 と の集合などがある。 R {\displaystyle \mathbb {R} ,} {\displaystyle (-k,k)} > 0 {\displaystyle k>0,} Z {\displaystyle \mathbb {Z} } 1 1 {\displaystyle (-1,1).}

がグループの任意の部分集合である場合、およびは対称集合です。 S {\displaystyle S} S S 1 {\displaystyle S\cup S^{-1}} S S 1 {\displaystyle S\cap S^{-1}}

実ベクトル空間または複素ベクトル空間の任意のバランスの取れた部分集合対称です。

参照

参考文献

この記事にはPlanetMathの対称セットの資料が組み込まれており、これはCreative Commons Attribution-Share-Alike Licenseに基づいてライセンスされています。

「https://en.wikipedia.org/w/index.php?title=対称集合&oldid=1299802203」より取得