1,526
个编辑
更改
跳到导航
跳到搜索
第128行：
第128行： − +
→同构和相等
且有结论：<math>H\equiv G</math>当且仅当 <math>H^* \cong G^*</math>。
且有结论：<math>H\equiv G</math>当且仅当 <math>H^* \cong G^*</math>。
超图'''自同构 automorphism'''是从顶点集到自身的同构，也就是顶点的重标号。 超图 <math>{H }</math>(= (''<math>X </math>'', ''<math>E</math>''))的自同构集合是超图的群 group，称为超图的'''自同构群 automorphism group'''，并写成 <math>{Aut(H)}</math>。
超图'''自同构 automorphism'''是从顶点集到自身的同构，也就是顶点的重标号。 超图 <math>{H }</math>= (''<math>X </math>'', ''<math>E</math>'')的自同构集合是超图的群 group，称为超图的'''自同构群 automorphism group'''，并写成 <math>{Aut(H)}</math>。