关于信息论中AEP的理解

大家对AEP有没有比较深刻的理解吗？为什么当X,Y是jointly typical sequences
的时候就能确定解码正确呢？单独的AEP还好理解，这个联合的
实在搞不懂，还请大牛指教:)

对于不同的典型序列X传递到不同的典型序列Y集中，这些Y集互不相交，所以可以辨别出发送码字X。这些应用联合AEP的性质可以得到。

你把X,Y看成一个变量不就可以了吗？
比如：p(1|0)的概率是0.1。假如，现在发送了100个0，那么只有接收到的含有10个1，那么就是联合典型的。就能正确译码

那么X,Y之间的相关性，也就是传递函数起到了什么作用呢？
elements of information那本树上的证明总是没有这一步，
让人感觉好像跟信道转移概率没有关系似的。可能是我看书不仔细，
能告诉我在书的那个地方有详细的关于这个的证明吗？谢谢！

我看过的一些书中
傅祖芸那本书较为详细