О теореме о раздельном кодировании источника и канала для источников с бесконечными алфавитами

Теорема о раздельном кодировании источника и канала в случае одного пользователя доказана для многих классов источников и каналов, включая источники с конечными или счетными алфавитами. Как правило, теорема о раздельном кодировании источника и канала вначале доказывается для источников с конечным алфавитом, и только затем результаты распространяются на источники со счетным алфавитом. В настоящей статье рассмотрен метод прямого обобщения теоремы о раздельном кодировании источника и канала для некоторых классов источников с конечным алфавитом на случай счетного алфавита, а именно для источников без памяти и произвольных каналов. Далее обсуждается, как можно перенести этот подход на случай общих источников и произвольных каналов.