考察Descartes乘积集合H×K,在上面定义等价关系
(a,b)~(c,d) 存在x∈H∩K使得c=ax且b=xd
那么从H×K在等价关系~下的商集H×K/~到HK的映射[(a,b)]->ab是双射,所以
|H||K|/|H∩K|=|H×K|/|H∩K|=|HK|
考察Descartes乘积集合H×K,在上面定义等价关系
(a,b)~(c,d) 存在x∈H∩K使得c=ax且b=xd
那么从H×K在等价关系~下的商集H×K/~到HK的映射[(a,b)]->ab是双射,所以
|H||K|/|H∩K|=|H×K|/|H∩K|=|HK|