1,526
个编辑
更改
跳到导航
跳到搜索
第231行：
第231行： − + 第271行：
第271行： − +
→同构和相等 Isomorphism and equality
如果一个超图 <math>H=(X,E)</math>同构 isomorphic 与另外一个超图<math>G=(Y,F)</math>，则存在一个双射：<math>H \simeq G</math> :<math>\phi:X \to Y</math>
如果一个超图 <math>H=(X,E)</math>同构 isomorphic 与另外一个超图<math>G=(Y,F)</math>，则存在一个双射：<math>H \simeq G</math> :<math>\phi:X \to Y</math>
和 关于<math>I</math>的置换 permutation 使得： <math>\phi(e_i) = f_{\pi(i)}</math>
和 关于<math>I</math>的置换 permutation 使得： :<math>\phi(e_i) = f_{\pi(i)}</math>
那么这个双射被称为图的同构 isomorphism，记作：<math>H \simeq G</math>但且仅当<math>H^* \simeq G^*</math>。
那么这个双射被称为图的同构 isomorphism，记作：<math>H \simeq G</math>但且仅当<math>H^* \simeq G^*</math>。
<math>H\equiv G</math> 当且仅当 <math>H^* \cong G^*</math>
<math>H\equiv G</math> 当且仅当 <math>H^* \cong G^*</math>
超图'''自同构 automorphism'''是从顶点集到自身的同构，也就是顶点的重标号。 超图<math>{H }(= (''X'', ''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>。
===例子 Examples===
===例子 Examples===