对çã
ç©éµçä»·çå®ä¹ï¼è¥åå¨å¯éç©éµPãQï¼ä½¿PAQ=Bï¼åAä¸Bçä»·ãæè°ç©éµAä¸ç©éµBçä»·ï¼å³Aç»è¿åçåæ¢å¯å¾å°Bã
å
åæ§ï¼ç»è¿åçåæ¢ï¼ç§©æ¯ä¸æ¹åçï¼å³R(A)=R(PAQ)=R(B)ã
å¿
è¦æ§ï¼è®¾R(A)=R(B)=m,åAç»è¿åçåæ¢ä¸å®è½åææç®åç©éµï¼è¿ä¸ªæç®åç©éµè®°ä½Cã Cç秩为mãåæ ·ï¼Bç©éµç»è¿åçåæ¢è½åæä¸ä¸ªæç®åç©éµï¼å 为Bç秩æ¯mï¼æ以Båæçæç®åä¹æ¯Cãä¹å°±æ¯è¯´ï¼Aä¸Cçä»·ï¼Bä¸Cçä»·ï¼æ以ï¼Aä¸Bä¹çä»·ã