Continuity of Channel Parameters and Operations under Various DMC Topologies

TL;DR

This paper investigates the continuity properties of key channel parameters and operations in the space of equivalent discrete memoryless channels, providing foundational insights for information theory and channel coding.

Contribution

It establishes the continuity of mutual information, capacity, Bhattacharyya parameter, and various channel operations under different topologies on DMCs, advancing theoretical understanding.

Findings

Mutual information and capacity are continuous under various topologies.

Channel operations like sums, products, and transformations are continuous.

Key error probabilities are continuous functions of channel parameters.

Abstract

We study the continuity of many channel parameters and operations under various topologies on the space of equivalent discrete memoryless channels (DMC). We show that mutual information, channel capacity, Bhattacharyya parameter, probability of error of a fixed code, and optimal probability of error for a given code rate and blocklength, are continuous under various DMC topologies. We also show that channel operations such as sums, products, interpolations, and Ar{\i}kan-style transformations are continuous.

Equations

$$\text{mathds}{1}_{A,B}(x)=\text{mathds}{1}_{x\in A}=\{\begin{array}{ll}1& \text{if}x\in A,\\ 0& \text{otherwise}.\end{array}$$

$$\underset{t\in T}{\sup }|f(s^{\prime },t)-f(s,t)|\le ϵ.$$

$$\mathcal{U}/R=\left\{\hat{U}\subset T/R:{\mathrm{Proj}}_R^{-1}(\hat{U})\in \mathcal{U}\right\}.$$

$$\Vert P_1-P_2{\Vert }_{TV}=\underset{A\in \Sigma }{\sup }|P_1(A)-P_2(A)|.$$

$${\int }_{M^{\prime }}g\cdot d(f_{\#}P)={\int }_M(g\circ f)\cdot dP.$$

$$\Vert f_{\#}P-f_{\#}{P}^{\prime }{\Vert }_{TV}$$

$$=\underset{A^{\prime }\in {\Sigma }^{\prime }}{\sup }|P(f^{-1}(A^{\prime }))-P^{\prime }(f^{-1}(A^{\prime }))|\le \underset{A\in \Sigma }{\sup }|P(A)-P^{\prime }(A)|\le \Vert P-P^{\prime }{\Vert }_{TV}.$$

$$P(A)=\sum _{x\in A}P(x).$$

$$\Vert p_1-p_2{\Vert }_{TV}=\frac{1}{2}\sum _{x\in \mathcal{X}}|p_1(x)-p_2(x)|=\frac{1}{2}\Vert p_1-p_2{\Vert }_1.$$

$$\mathrm{supp}(P)=\{x\in T:P(O)>0\text{for every neighborhood}O\text{of}x\}.$$

$$D_f\text{is measurable}$$

$$\iff ((D_f{)}_B{)}^{-1}(B^{\prime })\in \Sigma ,\forall B^{\prime }\in \mathcal{B}(\mathbb{R}),\forall B\in {\Sigma }^{\prime }$$

$$\stackrel{(a)}{\iff }((D_f{)}_B{)}^{-1}(\{1\})\in \Sigma ,\forall B\in {\Sigma }^{\prime }$$

$$\stackrel{(b)}{\iff }{f}^{-1}(B)\in \Sigma ,\forall B\in {\Sigma }^{\prime }$$

$$\iff f\text{is measurable},$$

$$(R_{\#}P)(B)={\int }_M{R}_B\cdot dP,\forall B\in {\Sigma }^{\prime }.$$

$$((D_f{)}_{\#}P)(B)={\int }_M(D_f{)}_B\cdot dP={\int }_M(\text{mathds}{1}_B\circ f)\cdot dP={\int }_{M^{\prime }}\text{mathds}{1}_B\cdot d(f_{\#}P)=(f_{\#}P)(B).$$

$${\int }_{M^{\prime }}g\cdot d(R_{\#}P)={\int }_M\left({\int }_{M^{\prime }}g(y)\cdot d(R(x))(y)\right)dP(x).$$

$$x\to {\int }_{M^{\prime }}g(y)\cdot d(R(x))(y)$$

$${\int }_{M^{\prime }}g\cdot d(R_{\#}P)={\int }_M\left({\int }_{M^{\prime }}g(y)\cdot d(R(x))(y)\right)dP(x).$$

$${\int }_{{\Delta }_{\mathcal{X}}}p\cdot d\mathrm{MP}(p)={\pi }_{\mathcal{X}},$$

$$F(s,\mathrm{MP})={\int }_{{\Delta }_{\mathcal{X}}}f(s,p)\cdot d\mathrm{MP}(p)$$

$$d_{\mathcal{X},\mathcal{Y}}(W,W^{\prime })=\frac{1}{2}\underset{x\in \mathcal{X}}{\max }\sum _{y\in \mathcal{Y}}|W^{\prime }(y|x)-W(y|x)|.$$

$$W^{\prime }(z|x)=\sum _{y\in \mathcal{Y}}V(z|y)W(y|x).$$

$$\mathrm{Im}(W)=\{y\in \mathcal{Y}:P_W^o(y)>0\}.$$

$$W_y^{-1}(x)=\frac{W(y|x)}{|\mathcal{X}|P_W^o(y)},\forall x\in \mathcal{X}.$$

$${\mathrm{MP}}_W=\sum _{y\in \mathrm{Im}(W)}{P}_W^o(y){\delta }_{W_y^{-1}},$$

$$\forall W,W^{\prime }\in {\mathrm{DMC}}_{\mathcal{X},\mathcal{Y}},W{R}_{\mathcal{X},\mathcal{Y}}^{(o)}{W}^{\prime }\iff W\text{is equivalent to}{W}^{\prime }.$$

$${\mathrm{DMC}}_{\mathcal{X},\mathcal{Y}}^{(o)}={\mathrm{DMC}}_{\mathcal{X},\mathcal{Y}}/R_{\mathcal{X},\mathcal{Y}}^{(o)}.$$

$$P_c(p,W)=\underset{D\in {\mathrm{DMC}}_{\mathcal{Y},[m]}}{\sup }\sum _{\begin{array}{c}u\in [m],\\ x\in \mathcal{X},\\ y\in \mathcal{Y}\end{array}}p(u,x)W(y|x)D(u|y).$$

$$d_{\mathcal{X},\mathcal{Y}}^{(o)}({\hat{W}}_1,{\hat{W}}_2)=\underset{\begin{array}{c}m\ge 1,\\ p\in {\Delta }_{[m]\times \mathcal{X}}\end{array}}{\sup }|P_c(p,{\hat{W}}_1)-P_c(p,{\hat{W}}_2)|.$$

$${\mathrm{DMC}}_{\mathcal{X},\ast }=\coprod _{n\ge 1}{\mathrm{DMC}}_{\mathcal{X},[n]}.$$

$$\forall W,W^{\prime }\in {\mathrm{DMC}}_{\mathcal{X},\ast },W{R}_{\mathcal{X},\ast }^{(o)}{W}^{\prime }\iff W\text{is equivalent to}{W}^{\prime }.$$

Full text

I Introduction

Let $\mathcal{X}$ and $\mathcal{Y}$ be two finite sets and let $W$ be a fixed channel with input alphabet $\mathcal{X}$ and output alphabet $\mathcal{Y}$. It is well known that the input-output mutual information is continuous on the simplex of input probability distributions. Many other parameters that depend on the input probability distribution were shown to be continuous on the simplex in [1].

Polyanskiy studied in [2] the continuity of the Neyman-Pearson function for a binary hypothesis test that arises in the analysis of channel codes. He showed that for arbitrary input and output alphabets, this function is continuous in the input distribution in the total variation topology. He also showed that under some regularity assumptions, this function is continuous in the weak-$\ast$ topology.

If $\mathcal{X}$ and $\mathcal{Y}$ are finite sets, the space of channels with input alphabet $\mathcal{X}$ and output alphabet $\mathcal{Y}$ can naturally be endowed with the topology of the Euclidean metric, or any other equivalent metric. It is well known that the channel capacity is continuous in this topology. If $\mathcal{X}$ and $\mathcal{Y}$ are arbitrary, one can construct a topology on the space of channels using the weak-$\ast$ topology on the output alphabet. It was shown in [3] that the capacity is lower semi-continuous in this topology.

The continuity results that are mentioned in the previous paragraph do not take into account “equivalence” between channels. Two channels are said to be equivalent if they are degraded from each other. This means that each channel can be simulated from the other by local operations at the receiver. Two channels that are degraded from each other are completely equivalent from an operational point of view: both channels have exactly the same probability of error under optimal decoding for any fixed code. Moreover, any sub-optimal decoder for one channel can be transformed to a sub-optimal decoder for the other channel with the same probability of error and essentially the same computational complexity. This is why it makes sense, from an information-theoretic point of view, to identify equivalent channels and consider them as one point in the space of “equivalent channels”.

In [4], equivalent binary-input channels were identified with their $L$-density (i.e., the density of log-likelihood ratios). The space of equivalent binary-input channels was endowed with the topology of convergence in distribution of $L$-densities. Since the symmetric capacity111The symmetric capacity is the input-output mutual information with uniformly distributed input. and the Bhattacharyya parameter can be written as an integral of a continuous function with respect to the $L$-density [4], it immediately follows that these parameters are continuous in the $L$-density topology.

In [5], many topologies were constructed for the space of equivalent channels sharing a fixed input alphabet. In this paper, we study the continuity of many channel parameters and operations under these topologies.

In Section II, we introduce the preliminaries for this paper. In Section III, we recall the main results of [5] that we need here. In Section IV, we introduce the channel parameters and operations that we investigate in this paper. In Section V, we study the continuity of these parameters and operations in the quotient topology of the space of equivalent channels with fixed input and output alphabets. The continuity in the strong topology of the space of equivalent channels sharing the same input alphabet is studied in Section VI. Finally, the continuity in the noisiness/weak-$\ast$ and the total variation topologies is studied in Section VII.

II Preliminaries

We assume that the reader is familiar with the basic concepts of general topology. The main concepts and theorems that we need can be found in the preliminaries section of [5].

II-A Set-theoretic notations

For every integer $n\geq 1$, we denote the set $\{1,\ldots,n\}$ as $[n]$.

The set of mappings from a set $A$ to a set $B$ is denoted as $B^{A}$.

Let $A$ be a subset of $B$. The indicator mapping $\mathds{1}_{A,B}:B\rightarrow\{0,1\}$ of $A$ in $B$ is defined as:

[TABLE]

If the superset $B$ is clear from the context, we simply write $\mathds{1}_{A}$ to denote the indicator mapping of $A$ in $B$.

The power set of $B$ is the set of subsets of $B$. Since every subset of $B$ can be identified with its indicator mapping, we denote the power set of $B$ as $\{0,1\}^{B}=2^{B}$.

Let $(A_{i})_{i\in I}$ be a collection of arbitrary sets indexed by $I$. The disjoint union of $(A_{i})_{i\in I}$ is defined as $\displaystyle\coprod_{i\in I}A_{i}=\bigcup_{i\in I}(A_{i}\times\{i\})$. For every $i\in I$, the $i^{th}$-canonical injection is the mapping $\phi_{i}:A_{i}\rightarrow\displaystyle\coprod_{j\in I}A_{j}$ defined as $\phi_{i}(x_{i})=(x_{i},i)$. If no confusions can arise, we can identify $A_{i}$ with $A_{i}\times\{i\}$ through the canonical injection. Therefore, we can see $A_{i}$ as a subset of $\displaystyle\coprod_{j\in I}A_{j}$ for every $i\in I$.

Let $R$ be an equivalence relation on a set $T$. For every $x\in T$, the set $\hat{x}=\{y\in T:\;xRy\}$ is the $R$-equivalence class of $x$. The collection of $R$-equivalence classes, which we denote as $T/R$, forms a partition of $T$, and it is called the quotient space of $T$ by $R$. The mapping $\operatorname*{Proj}_{R}:T\rightarrow T/R$ defined as $\operatorname*{Proj}_{R}(x)=\hat{x}$ for every $x\in T$ is the projection mapping onto $T/R$.

II-B Topological notations

A topological space $(T,\mathcal{U})$ is said to be contractible to $x_{0}\in T$ if there exists a continuous mapping $H:T\times[0,1]\to T$ such that $H(x,0)=x$ and $H(x,1)=x_{0}$ for every $x\in T$, where $[0,1]$ is endowed with the Euclidean topology. $(T,\mathcal{U})$ is strongly contractible to $x_{0}\in T$ if we also have $H(x_{0},t)=x_{0}$ for every $t\in[0,1]$.

Intuitively, $T$ is contractible if it can be “continuously shrinked” to a single point $x_{0}$. If this “continuous shrinking” can be done without moving $x_{0}$, $T$ is strongly contractible.

Note that contractibility is a very strong notion of connectedness: every contractible space is path-connected and simply connected. Moreover, all its homotopy, homology and cohomology groups of order $\geq 1$ are zero.

Let $\{(T_{i},\mathcal{U}_{i})\}_{i\in I}$ be a collection of topological spaces indexed by $I$. The product topology on $\displaystyle\prod_{i\in I}T_{i}$ is denoted by $\displaystyle\bigotimes_{i\in I}\mathcal{U}_{i}$. The disjoint union topology on $\displaystyle\coprod_{i\in I}T_{i}$ is denoted by $\displaystyle\bigoplus_{i\in I}\mathcal{U}_{i}$.

The following lemma is useful to show the continuity of many functions.

Lemma 1**.**

Let $(S,\mathcal{V})$ and $(T,\mathcal{U})$ be two compact topological spaces and let $f:S\times T\rightarrow\mathbb{R}$ be a continuous function on $S\times T$. For every $s\in\mathcal{S}$ and every $\epsilon>0$, there exists a neighborhood $V_{s}$ of $s$ such that for every $s^{\prime}\in V_{s}$, we have

[TABLE]

Proof.

See Appendix A. ∎

II-C Quotient topology

Let $(T,\mathcal{U})$ be a topological space and let $R$ be an equivalence relation on $T$. The quotient topology on $T/R$ is the finest topology that makes the projection mapping $\operatorname*{Proj}_{R}$ continuous. It is given by

[TABLE]

Lemma 2**.**

Let $f:T\rightarrow S$ be a continuous mapping from $(T,\mathcal{U})$ to $(S,\mathcal{V})$. If $f(x)=f(x^{\prime})$ for every $x,x^{\prime}\in T$ satisfying $xRx^{\prime}$, then we can define a transcendent mapping $f:T/R\rightarrow S$ such that $f(\hat{x})=f(x^{\prime})$ for any $x^{\prime}\in\hat{x}$. $f$ is well defined on $T/R$ . Moreover, $f$ is a continuous mapping from $(T/R,\mathcal{U}/R)$ to $(S,\mathcal{V})$.

Let $(T,\mathcal{U})$ and $(S,\mathcal{V})$ be two topological spaces and let $R$ be an equivalence relation on $T$. Consider the equivalence relation $R^{\prime}$ on $T\times S$ defined as $(x_{1},y_{1})R^{\prime}(x_{2},y_{2})$ if and only if $x_{1}Rx_{2}$ and $y_{1}=y_{2}$. A natural question to ask is whether the canonical bijection between \big{(}(T/R)\times S,(\mathcal{U}/R)\otimes\mathcal{V}\big{)} and \big{(}(T\times S)/R^{\prime},(\mathcal{U}\otimes\mathcal{V})/R^{\prime}\big{)} is a homeomorphism. It turns out that this is not the case in general. The following theorem, which is widely used in algebraic topology, provides a sufficient condition:

Theorem 1**.**

[6]** If $(S,\mathcal{V})$ is locally compact and Hausdorff, then the canonical bijection between \big{(}(T/R)\times S,(\mathcal{U}/R)\otimes\mathcal{V}\big{)} and \big{(}(T\times S)/R^{\prime},(\mathcal{U}\otimes\mathcal{V})/R^{\prime}\big{)} is a homeomorphism.

Corollary 1**.**

Let $(T,\mathcal{U})$ and $(S,\mathcal{V})$ be two topological spaces, and let $R_{T}$ and $R_{S}$ be two equivalence relations on $T$ and $S$ respectively. Define the equivalence relation $R$ on $T\times S$ as $(x_{1},y_{1})R(x_{2},y_{2})$ if and only if $x_{1}R_{T}x_{2}$ and $y_{1}R_{S}y_{2}$. If $(S,\mathcal{V})$ and $(T/R_{T},\mathcal{U}/R_{T})$ are locally compact and Hausdorff, then the canonical bijection between \big{(}(T/R_{T})\times(S/R_{S}),(\mathcal{U}/R_{T})\otimes(\mathcal{V}/R_{S})\big{)} and \big{(}(T\times S)/R,(\mathcal{U}\otimes\mathcal{V})/R\big{)} is a homeomorphism.

Proof.

We just need to apply Theorem 1 twice. Define the equivalence relation $R_{T}^{\prime}$ on $T\times S$ as follows: $(x_{1},y_{1})R_{T}^{\prime}(x_{2},y_{2})$ if and only if $x_{1}R_{T}x_{2}$ and $y_{1}=y_{2}$. Since $(S,\mathcal{V})$ is locally compact and Hausdorff, Theorem 1 implies that the canonical bijection from \big{(}(T/R_{T})\times S,(\mathcal{U}/R_{T})\otimes\mathcal{V}\big{)} to \big{(}(T\times S)/R_{T}^{\prime},(\mathcal{U}\otimes\mathcal{V})/R_{T}^{\prime}\big{)} is a homeomorphism. Let us identify these two spaces through the canonical bijection.

Now define the equivalence relation $R_{S}^{\prime}$ on $(T/R_{T})\times S$ as follows: $(\hat{x}_{1},y_{1})R_{S}^{\prime}(\hat{x}_{2},y_{2})$ if and only if $\hat{x}_{1}=\hat{x}_{2}$ and $y_{1}R_{S}y_{2}$. Since $(T/R_{T},\mathcal{U}/R_{T})$ is locally compact and Hausdorff, Theorem 1 implies that the canonical bijection from \big{(}(T/R_{T})\times(S/R_{S}),(\mathcal{U}/R_{T})\otimes(\mathcal{V}/R_{S})\big{)} to \big{(}((T/R_{T})\times S)/R_{S}^{\prime},((\mathcal{U}/R_{T})\otimes\mathcal{V})/R_{S}^{\prime}\big{)} is a homeomorphism.

Since we identified \big{(}(T/R_{T})\times S,(\mathcal{U}/R_{T})\otimes\mathcal{V}\big{)} and \big{(}(T\times S)/R_{T}^{\prime},(\mathcal{U}\otimes\mathcal{V})/R_{T}^{\prime}\big{)} through the canonical bijection (which is a homeomorphism), $R_{S}^{\prime}$ can be seen as an equivalence relation on \big{(}(T\times S)/R_{T}^{\prime},(\mathcal{U}\otimes\mathcal{V})/R_{T}^{\prime}\big{)}. It is easy to see that the canonical bijection from \big{(}\big{(}(T\times S)/R_{T}^{\prime}\big{)}/R_{S}^{\prime},\big{(}(\mathcal{U}\otimes\mathcal{V})/R_{T}^{\prime}\big{)}/R_{S}^{\prime}\big{)} to \big{(}(T\times S)/R,(\mathcal{U}\otimes\mathcal{V})/R\big{)} is a homeomorphism. We conclude that the canonical bijection from \big{(}(T/R_{T})\times(S/R_{S}),(\mathcal{U}/R_{T})\otimes(\mathcal{V}/R_{S})\big{)} to \big{(}(T\times S)/R,(\mathcal{U}\otimes\mathcal{V})/R\big{)} is a homeomorphism. ∎

II-D Measure-theoretic notations

If $(M,\Sigma)$ is a measurable space, we denote the set of probability measures on $(M,\Sigma)$ as $\mathcal{P}(M,\Sigma)$. If the $\sigma$-algebra $\Sigma$ is known from the context, we simply write $\mathcal{P}(M)$ to denote the set of probability measures.

If $P\in\mathcal{P}(M,\Sigma)$ and $\{x\}$ is a measurable singleton, we simply write $P(x)$ to denote $P(\{x\})$.

For every $P_{1},P_{2}\in\mathcal{P}(M,\Sigma)$, the total variation distance between $P_{1}$ and $P_{2}$ is defined as:

[TABLE]

The push-forward probability measure

Let $P$ be a probability measure on $(M,\Sigma)$, and let $f:M\rightarrow M^{\prime}$ be a measurable mapping from $(M,\Sigma)$ to another measurable space $(M^{\prime},\Sigma^{\prime})$. The push-forward probability measure of $P$ by $f$ is the probability measure $f_{\#}P$ on $(M^{\prime},\Sigma^{\prime})$ defined as $(f_{\#}P)(A^{\prime})=P(f^{-1}(A^{\prime}))$ for every $A^{\prime}\in\Sigma^{\prime}$.

A measurable mapping $g:M^{\prime}\rightarrow\mathbb{R}$ is integrable with respect to $f_{\#}P$ if and only if $g\circ f$ is integrable with respect to $P$. Moreover,

[TABLE]

The mapping $f_{\#}$ from $\mathcal{P}(M,\Sigma)$ to $\mathcal{P}(M^{\prime},\Sigma^{\prime})$ is continuous if these spaces are endowed with the total variation topology:

[TABLE]

Probability measures on finite sets

We always endow finite sets with their finest $\sigma$-algebra, i.e., the power set. In this case, every probability measure is completely determined by its value on singletons, i.e., if $P$ is a probability measure on a finite set $\mathcal{X}$, then for every $A\subset\mathcal{X}$, we have

[TABLE]

If $\mathcal{X}$ is a finite set, we denote the set of probability distributions on $\mathcal{X}$ as $\Delta_{\mathcal{X}}$. Note that $\Delta_{\mathcal{X}}$ is an $(|\mathcal{X}|-1)$-dimensional simplex in $\mathbb{R}^{\mathcal{X}}$. We always endow $\Delta_{\mathcal{X}}$ with the total variation distance and its induced topology. For every $p_{1},p_{2}\in\Delta_{\mathcal{X}}$, we have:

[TABLE]

Products of probability measures

We denote the product of two measurable spaces $(M_{1},\Sigma_{1})$ and $(M_{2},\Sigma_{2})$ as $(M_{1}\times M_{2},\Sigma_{1}\otimes\Sigma_{2})$. If $P_{1}\in\mathcal{P}(M_{1},\Sigma_{1})$ and $P_{2}\in\mathcal{P}(M_{2},\Sigma_{2})$, we denote the product of $P_{1}$ and $P_{2}$ as $P_{1}\times P_{2}$.

If $\mathcal{P}(M_{1},\Sigma_{1})$, $\mathcal{P}(M_{2},\Sigma_{2})$ and $\mathcal{P}(M_{1}\times M_{2},\Sigma_{1}\otimes\Sigma_{2})$ are endowed with the total variation topology, the mapping $(P_{1},P_{2})\rightarrow P_{1}\times P_{2}$ is a continuous mapping (see Appendix B).

Borel sets and the support of a probability measure

Let $(T,\mathcal{U})$ be a Hausdorff topological space. The Borel $\sigma$-algebra of $(T,\mathcal{U})$ is the $\sigma$-algebra generated by $\mathcal{U}$. We denote the Borel $\sigma$-algebra of $(T,\mathcal{U})$ as $\mathcal{B}(T,\mathcal{U})$. If the topology $\mathcal{U}$ is known from the context, we simply write $\mathcal{B}(T)$ to denote the Borel $\sigma$-algebra. The sets in $\mathcal{B}(T)$ are called the Borel sets of $T$.

The support of a measure $P\in\mathcal{P}(T,\mathcal{B}(T))$ is the set of all points $x\in T$ for which every neighborhood has a strictly positive measure:

[TABLE]

If $P$ is a probability measure on a Polish space, then P\big{(}T\setminus\operatorname*{supp}(P)\big{)}=0.

II-E Random mappings

Let $M$ and $M^{\prime}$ be two arbitrary sets and let $\Sigma^{\prime}$ be a $\sigma$-algebra on $M^{\prime}$. A random mapping from $M$ to $(M^{\prime},\Sigma^{\prime})$ is a mapping $R$ from $M$ to $\mathcal{P}(M^{\prime},\Sigma^{\prime})$. For every $x\in M$, $R(x)$ can be interpreted as the probability distribution of the random output given that the input is $x$.

Let $\Sigma$ be a $\sigma$-algebra on $M$. We say that $R$ is a measurable random mapping from $(M,\Sigma)$ to $(M^{\prime},\Sigma^{\prime})$ if the mapping $R_{B}:M\rightarrow\mathbb{R}$ defined as $R_{B}(x)=(R(x))(B)$ is measurable for every $B\in\Sigma^{\prime}$.

Note that this definition of measurability is consistent with the measurability of ordinary mappings: let $f$ be a mapping from $M$ to $M^{\prime}$ and let $D_{f}:M\rightarrow\mathcal{P}(M^{\prime},\Sigma^{\prime})$ be the random mapping defined as $D_{f}(x)=\delta_{f(x)}$ for every $x\in M$, where $\delta_{f(x)}\in\mathcal{P}(M^{\prime},\Sigma^{\prime})$ is a Dirac measure centered at $f(x)$. We have:

[TABLE]

where (a) and (b) follow from the fact that $((D_{f})_{B})(x)$ is either 1 or 0 depending on whether $f(x)\in B$ or not.

Let $P$ be a probability measure on $(M,\Sigma)$ and let $R$ be a measurable random mapping from $(M,\Sigma)$ to $(M^{\prime},\Sigma^{\prime})$. The push-forward probability measure of $P$ by $R$ is the probability measure $R_{\#}P$ on $(M^{\prime},\Sigma^{\prime})$ defined as:

[TABLE]

Note that this definition is consistent with the push-forward of ordinary mappings: if $f$ and $D_{f}$ are as above, then for every $B\in\Sigma^{\prime}$, we have

[TABLE]

Proposition 1**.**

Let $R$ be a measurable random mapping from $(M,\Sigma)$ to $(M^{\prime},\Sigma^{\prime})$. If $g:M^{\prime}\rightarrow\mathbb{R}^{+}\cup\{+\infty\}$ is a $\Sigma^{\prime}$-measurable mapping, then the mapping $x\rightarrow\displaystyle\int_{M^{\prime}}g(y)\cdot d(R(x))(y)$ is a measurable mapping from $(M,\Sigma)$ to $\mathbb{R}^{+}\cup\{+\infty\}$. Moreover, for every $P\in\mathcal{P}(M,\Sigma)$, we have

[TABLE]

Proof.

See Appendix C. ∎

Corollary 2**.**

If $g:M^{\prime}\rightarrow\mathbb{R}$ is bounded and $\Sigma^{\prime}$-measurable, then the mapping

[TABLE]

is bounded and $\Sigma$-measurable. Moreover, for every $P\in\mathcal{P}(M,\Sigma)$, we have

[TABLE]

Proof.

Write $g=g^{+}-g^{-}$ (where $g^{+}=\max\{g,0\}$ and $g^{-}=\max\{-g,0\}$), and use the fact that every bounded measurable function is integrable over any probability distribution. ∎

Lemma 3**.**

For every measurable random mapping $R$ from $(M,\Sigma)$ to $(M^{\prime},\Sigma^{\prime})$, the push-forward mapping $R_{\#}$ is continuous from $\mathcal{P}(M,\Sigma)$ to $\mathcal{P}(M^{\prime},\Sigma^{\prime})$ under the total variation topology.

Proof.

See Appendix D. ∎

Lemma 4**.**

Let $\mathcal{U}$ be a Polish222This assumption can be dropped. We assumed that $\mathcal{U}$ is Polish just to avoid working with Moore-Smith nets. topology on $M$, and let $\mathcal{U}^{\prime}$ be an arbitrary topology on $M^{\prime}$. Let $R$ be a measurable random mapping from $(M,\mathcal{B}(M))$ to $(M^{\prime},\mathcal{B}(M^{\prime}))$. Moreover, assume that $R$ is a continuous mapping from $(M,\mathcal{U})$ to $\mathcal{P}(M^{\prime},\mathcal{B}(M^{\prime}))$ when the latter space is endowed with the weak-$\ast$ topology. Under these assumptions, the push-forward mapping $R_{\#}$ is continuous from $\mathcal{P}(M,\mathcal{B}(M))$ to $\mathcal{P}(M^{\prime},\mathcal{B}(M^{\prime}))$ under the weak-$\ast$ topology.

Proof.

See Appendix D. ∎

II-F Meta-probability measures

Let $\mathcal{X}$ be a finite set. A meta-probability measure on $\mathcal{X}$ is a probability measure on the Borel sets of $\Delta_{\mathcal{X}}$. It is called a meta-probability measure because it is a probability measure on the space of probability distributions on $\mathcal{X}$.

We denote the set of meta-probability measures on $\mathcal{X}$ as $\mathcal{MP}(\mathcal{X})$. Clearly, $\mathcal{MP}(\mathcal{X})=\mathcal{P}(\Delta_{\mathcal{X}})$.

A meta-probability measure ${\operatorname*{MP}}$ on $\mathcal{X}$ is said to be balanced if it satisfies

[TABLE]

where $\pi_{\mathcal{X}}$ is the uniform probability distribution on $\mathcal{X}$.

We denote the set of all balanced meta-probability measures on $\mathcal{X}$ as $\mathcal{MP}_{b}(\mathcal{X})$. The set of all balanced and finitely supported meta-probability measures on $\mathcal{X}$ is denoted as $\mathcal{MP}_{bf}(\mathcal{X})$.

The following lemma is useful to show the continuity of functions defined on $\mathcal{MP}(\mathcal{X})$.

Lemma 5**.**

Let $(S,\mathcal{V})$ be a compact topological space and let $f:S\times\Delta_{\mathcal{X}}\rightarrow\mathbb{R}$ be a continuous function on $S\times\Delta_{\mathcal{X}}$. The mapping $F:S\times\mathcal{MP}(\mathcal{X})\rightarrow\mathbb{R}$ defined as

[TABLE]

is continuous, where $\mathcal{MP}(\mathcal{X})$ is endowed with the weak-$\ast$ topology.

Proof.

See Appendix E. ∎

Let $f$ be a mapping from a finite set $\mathcal{X}$ to another finite set $\mathcal{X}^{\prime}$. $f$ induces a push-forward mapping $f_{\#}$ taking probability distributions in $\Delta_{\mathcal{X}}$ to probability distributions in $\Delta_{\mathcal{X}^{\prime}}$. $f_{\#}$ is continuous because $\Delta_{\mathcal{X}}$ and $\Delta_{\mathcal{X}^{\prime}}$ are endowed with the total variation distance. $f_{\#}$ in turn induces another push-forward mapping taking meta-probability measures in $\mathcal{MP}(\mathcal{X})$ to meta-probability measures in $\mathcal{MP}(\mathcal{X}^{\prime})$. We denote this mapping as $f_{\#\#}$ and we call it the meta-push-forward mapping induced by $f$. Since $f_{\#}$ is a continuous mapping from $\Delta_{\mathcal{X}}$ to $\Delta_{\mathcal{X}^{\prime}}$, $f_{\#\#}$ is a continuous mapping from $\mathcal{MP}(\mathcal{X})$ to $\mathcal{MP}(\mathcal{X}^{\prime})$ under both the weak-$\ast$ and the total variation topologies.

Let $\mathcal{X}_{1}$ and $\mathcal{X}_{2}$ be two finite sets. Let $\operatorname*{Mul}:\Delta_{\mathcal{X}_{1}}\times\Delta_{\mathcal{X}_{2}}\rightarrow\Delta_{\mathcal{X}_{1}\times\mathcal{X}_{2}}$ be defined as $\operatorname*{Mul}(p_{1},p_{2})=p_{1}\times p_{2}$. For every ${\operatorname*{MP}}_{1}\in\mathcal{MP}(\mathcal{X}_{1})$ and ${\operatorname*{MP}}_{2}\in\mathcal{MP}(\mathcal{X}_{2})$, we define the tensor product of $\operatorname*{MP}_{1}$ and $\operatorname*{MP}_{2}$ as $\operatorname*{MP}_{1}\otimes\operatorname*{MP}_{2}=\operatorname*{Mul}_{\#}(\operatorname*{MP}_{1}\times\operatorname*{MP}_{2})\in\mathcal{MP}(\mathcal{X}_{1}\times\mathcal{X}_{2})$.

Note that since $\Delta_{\mathcal{X}_{1}}$, $\Delta_{\mathcal{X}_{2}}$ and $\Delta_{\mathcal{X}_{1}\times\mathcal{X}_{2}}$ are endowed with the total variation topology, $\operatorname*{Mul}(p_{1},p_{2})=p_{1}\times p_{2}$ is a continuous mapping from $\Delta_{\mathcal{X}_{1}}\times\Delta_{\mathcal{X}_{2}}$ to $\Delta_{\mathcal{X}_{1}\times\mathcal{X}_{2}}$. Therefore, $\operatorname*{Mul}_{\#}$ is a continuous mapping from $\mathcal{P}(\Delta_{\mathcal{X}_{1}}\times\Delta_{\mathcal{X}_{2}})$ to $\mathcal{P}(\Delta_{\mathcal{X}_{1}\times\mathcal{X}_{2}})=\mathcal{MP}(\mathcal{X}_{1}\times\mathcal{X}_{2})$ under both the weak-$\ast$ and the total variation topologies. On the other hand, Appendices B and F imply that the mapping $({\operatorname*{MP}}_{1},{\operatorname*{MP}}_{2})\rightarrow{\operatorname*{MP}}_{1}\times{\operatorname*{MP}}_{2}$ from $\mathcal{MP}(\mathcal{X}_{1})\times\mathcal{MP}(\mathcal{X}_{2})$ to $\mathcal{P}(\Delta_{\mathcal{X}_{1}}\times\Delta_{\mathcal{X}_{2}})$ is continuous under both the weak-$\ast$ and the total variation topologies. We conclude that the tensor product is continuous under both these topologies.

III The space of equivalent channels

In this section, we summarize the main results of [5].

III-A Space of channels from $\mathcal{X}$ to $\mathcal{Y}$

A discrete memoryless channel $W$ is a 3-tuple $W=(\mathcal{X},\;\mathcal{Y},\;p_{W})$ where $\mathcal{X}$ is a finite set that is called the input alphabet of $W$, $\mathcal{Y}$ is a finite set that is called the output alphabet of $W$, and $p_{W}:\mathcal{X}\times\mathcal{Y}\rightarrow[0,1]$ is a function satisfying $\forall x\in\mathcal{X},\;\displaystyle\sum_{y\in\mathcal{Y}}p_{W}(x,y)=1$.

For every $(x,y)\in\mathcal{X}\times\mathcal{Y}$, we denote $p_{W}(x,y)$ as $W(y|x)$, which we interpret as the conditional probability of receiving $y$ at the output, given that $x$ is the input.

Let $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ be the set of all channels having $\mathcal{X}$ as input alphabet and $\mathcal{Y}$ as output alphabet.

For every $W,W^{\prime}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$, define the distance between $W$ and $W^{\prime}$ as follows:

[TABLE]

We always endow $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ with the metric distance $d_{\mathcal{X},\mathcal{Y}}$. This metric makes $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ a compact path-connected metric space. The metric topology on $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ that is induced by $d_{\mathcal{X},\mathcal{Y}}$ is denoted as $\mathcal{T}_{\mathcal{X},\mathcal{Y}}$.

III-B Equivalence between channels

Let $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ and $W^{\prime}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Z}}$ be two channels having the same input alphabet. We say that $W^{\prime}$ is degraded from $W$ if there exists a channel $V\in\operatorname*{DMC}_{\mathcal{Y},\mathcal{Z}}$ such that

[TABLE]

$W$ and $W^{\prime}$ are said to be equivalent if each one is degraded from the other.

Let $\Delta_{\mathcal{X}}$ and $\Delta_{\mathcal{Y}}$ be the space of probability distributions on $\mathcal{X}$ and $\mathcal{Y}$ respectively. Define $P_{W}^{o}\in\Delta_{\mathcal{Y}}$ as $\displaystyle P_{W}^{o}(y)=\frac{1}{|\mathcal{X}|}\sum_{x\in\mathcal{X}}W(y|x)$ for every $y\in\mathcal{Y}$. The image of $W$ is the set of output-symbols $y\in\mathcal{Y}$ having strictly positive probabilities:

[TABLE]

For every $y\in\operatorname*{Im}(W)$, define $W^{-1}_{y}\in\Delta_{\mathcal{X}}$ as follows:

[TABLE]

For every $(x,y)\in\mathcal{X}\times\operatorname*{Im}(W)$, we have $W(y|x)=|\mathcal{X}|P_{W}^{o}(y)W_{y}^{-1}(x)$. On the other hand, if $x\in\mathcal{X}$ and $y\in\mathcal{Y}\setminus\operatorname*{Im}(W)$, we have $W(y|x)=0$. This shows that $P_{W}^{o}$ and the collection $\{W_{y}^{-1}\}_{y\in\operatorname*{Im}(W)}$ uniquely determine $W$.

The Blackwell measure333In an earlier version of this work, I called $\operatorname*{MP}_{W}$ the posterior meta-probability distribution of $W$. Maxim Raginsky thankfully brought to my attention the fact that $\operatorname*{MP}_{W}$ is called Blackwell measure. (denoted ${\operatorname*{MP}}_{W}$) of $W$ is a meta-probability measure on $\mathcal{X}$ defined as:

[TABLE]

where $\delta_{W^{-1}_{y}}$ is a Dirac measure centered at $W^{-1}_{y}$.

It is known that a meta-probability measure ${\operatorname*{MP}}$ on $\mathcal{X}$ is the Blackwell measure of some DMC with input alphabet $\mathcal{X}$ if and only if it is balanced and finitely supported [7].

It is also known that two channels $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ and $W^{\prime}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Z}}$ are equivalent if and only if ${\operatorname*{MP}}_{W}={\operatorname*{MP}}_{W^{\prime}}$ [7].

III-C Space of equivalent channels from $\mathcal{X}$ to $\mathcal{Y}$

Let $\mathcal{X}$ and $\mathcal{Y}$ be two finite sets. Define the equivalence relation $R_{\mathcal{X},\mathcal{Y}}^{(o)}$ on $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ as follows:

[TABLE]

The space of equivalent channels with input alphabet $\mathcal{X}$ and output alphabet $\mathcal{Y}$ is the quotient of $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ by the equivalence relation:

[TABLE]

Quotient topology

We define the topology $\mathcal{T}_{\mathcal{X},\mathcal{Y}}^{(o)}$ on $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ as the quotient topology $\mathcal{T}_{\mathcal{X},\mathcal{Y}}/R_{\mathcal{X},\mathcal{Y}}^{(o)}$. We always associate $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ with the quotient topology $\mathcal{T}_{\mathcal{X},\mathcal{Y}}^{(o)}$.

We have shown in [5] that $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ is a compact, path-connected and metrizable space.

If $\mathcal{Y}_{1}$ and $\mathcal{Y}_{2}$ are two finite sets of the same size, there exists a canonical homeomorphism between $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{1}}^{(o)}$ and $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}$ [5]. This allows us to identify $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ with $\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$, where $n=|\mathcal{Y}|$ and $[n]=\{1,\ldots,n\}$.

Moreover, for every $1\leq n\leq m$, there exists a canonical subspace of $\operatorname*{DMC}_{\mathcal{X},[m]}^{(o)}$ that is homeomorphic to $\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ [5]. Therefore, we can consider $\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ as a compact subspace of $\operatorname*{DMC}_{\mathcal{X},[m]}^{(o)}$.

Noisiness metric

For every $m\geq 1$, let $\Delta_{[m]\times\mathcal{X}}$ be the space of probability distributions on $[m]\times\mathcal{X}$. Let $\mathcal{Y}$ be a finite set and let $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$. For every $p\in\Delta_{[m]\times\mathcal{X}}$, define $P_{c}(p,W)$ as follows:

[TABLE]

The quantity $P_{c}(p,W)$ depends only on the $R_{\mathcal{X},\mathcal{Y}}^{(o)}$-equivalence class of $W$ (see [5]). Therefore, if $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$, we can define $P_{c}(p,\hat{W}):=P_{c}(p,W^{\prime})$ for any $W^{\prime}\in\hat{W}$.

Define the noisiness distance $d_{\mathcal{X},\mathcal{Y}}^{(o)}:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\rightarrow\mathbb{R}^{+}$ as follows:

[TABLE]

We have shown in [5] that $(\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)},\mathcal{T}_{\mathcal{X},\mathcal{Y}}^{(o)})$ is topologically equivalent to $(\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)},d_{\mathcal{X},\mathcal{Y}}^{(o)})$.

III-D Space of equivalent channels with input alphabet $\mathcal{X}$

The space of channels with input alphabet $\mathcal{X}$ is defined as

[TABLE]

We define the equivalence relation $R_{\mathcal{X},\ast}^{(o)}$ on $\operatorname*{DMC}_{\mathcal{X},\ast}$ as follows:

[TABLE]

The space of equivalent channels with input alphabet $\mathcal{X}$ is the quotient of $\operatorname*{DMC}_{\mathcal{X},\ast}$ by the equivalence relation:

[TABLE]

For every $n\geq 1$ and every $W\in\operatorname*{DMC}_{\mathcal{X},[n]}$, we identify the $R_{\mathcal{X},[n]}^{(o)}$-equivalence class of $W$ with the $R_{\mathcal{X},\ast}^{(o)}$-equivalence class of it. This allows us to consider $\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ as a subspace of $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$. Moreover,

[TABLE]

Since any two equivalent channels have the same Blackwell measure, we can define the Blackwell measure of $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ as $\operatorname*{MP}_{\hat{W}}=\operatorname*{MP}_{W^{\prime}}$ for any $W^{\prime}\in\hat{W}$. The rank of $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is the size of the support of its Blackwell measure:

[TABLE]

We have:

[TABLE]

A topology $\mathcal{T}$ on ${\operatorname*{DMC}}_{\mathcal{X},\ast}^{(o)}$ is said to be natural if and only if it induces the quotient topology $\mathcal{T}_{\mathcal{X},[n]}^{(o)}$ on ${\operatorname*{DMC}}_{\mathcal{X},[n]}^{(o)}$ for every $n\geq 1$.

Every natural topology is $\sigma$-compact, separable and path-connected [5]. On the other hand, if $|\mathcal{X}|\geq 2$, a Hausdorff natural topology is not Baire and it is not locally compact anywhere [5]. This implies that no natural topology can be completely metrized if $|\mathcal{X}|\geq 2$.

Strong topology on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$

We associate $\operatorname*{DMC}_{\mathcal{X},\ast}$ with the disjoint union topology $\mathcal{T}_{s,\mathcal{X},\ast}:=\displaystyle\bigoplus_{n\geq 1}\mathcal{T}_{\mathcal{X},[n]}$. The space $(\operatorname*{DMC}_{\mathcal{X},\ast},\mathcal{T}_{s,\mathcal{X},\ast})$ is disconnected, metrizable and $\sigma$-compact [5].

The strong topology $\mathcal{T}_{s,\mathcal{X},\ast}^{(o)}$ on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is the quotient of $\mathcal{T}_{s,\mathcal{X},\ast}$ by $R_{\mathcal{X},\ast}^{(o)}$:

[TABLE]

We call open and closed sets in $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$ as strongly open and strongly closed sets respectively. If $A$ is a subset of $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$, then $A$ is strongly open if and only if $A\cap\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ is open in $\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ for every $n\geq 1$. Similarly, $A$ is strongly closed if and only if $A\cap\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ is closed in $\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ for every $n\geq 1$.

We have shown in [5] that $\mathcal{T}_{s,\mathcal{X},\ast}^{(o)}$ is the finest natural topology. The strong topology is sequential, compactly generated, and $T_{4}$ [5]. On the other hand, if $|\mathcal{X}|\geq 2$, the strong topology is not first-countable anywhere [5], hence it is not metrizable.

Noisiness metric

Define the noisiness metric on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ as follows:

[TABLE]

$d_{\mathcal{X},\ast}^{(o)}(\hat{W},\hat{W}^{\prime})$ is well defined because $d_{\mathcal{X},[n]}^{(o)}(\hat{W},\hat{W}^{\prime})$ does not depend on $n\geq 1$ as long as $\hat{W},\hat{W}^{\prime}\in\textstyle\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$. We can also express $d_{\mathcal{X},\ast}^{(o)}$ as follows:

[TABLE]

The metric topology on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ that is induced by $d_{\mathcal{X},\ast}^{(o)}$ is called the noisiness topology on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$, and it is denoted as $\mathcal{T}_{\mathcal{X},\ast}^{(o)}$. We have shown in [5] that $\mathcal{T}_{\mathcal{X},\ast}^{(o)}$ is a natural topology that is strictly coarser than $\mathcal{T}_{s,\mathcal{X},\ast}^{(o)}$.

Topologies from Blackwell measures

The mapping $\hat{W}\rightarrow{\operatorname*{MP}}_{\hat{W}}$ is a bijection from $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ to $\mathcal{MP}_{bf}(\mathcal{X})$. We call this mapping the canonical bijection from $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ to $\mathcal{MP}_{bf}(\mathcal{X})$.

Since $\Delta_{\mathcal{X}}$ is a metric space, there are many standard ways to construct topologies on $\mathcal{MP}(\mathcal{X})$. If we choose any of these standard topologies on $\mathcal{MP}(\mathcal{X})$ and then relativize it to the subspace $\mathcal{MP}_{bf}(\mathcal{X})$, we can construct topologies on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ through the canonical bijection.

In [5], we studied the weak-$\ast$ and the total variation topologies. We showed that the weak-$\ast$ topology is exactly the same as the noisiness topology.

The total-variation metric distance $d_{TV,\mathcal{X},\ast}^{(o)}$ on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is defined as

[TABLE]

The total-variation topology $\mathcal{T}_{TV,\mathcal{X},\ast}^{(o)}$ is the metric topology that is induced by $d_{TV,\mathcal{X},\ast}^{(o)}$ on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$. We proved in [5] that if $|\mathcal{X}|\geq 2$, we have:

• •

$\mathcal{T}_{TV,\mathcal{X},\ast}^{(o)}$ is not natural nor Baire, hence it is not completely metrizable.

• •

$\mathcal{T}_{TV,\mathcal{X},\ast}^{(o)}$ is not locally compact anywhere.

IV Channel parameters and operations

IV-A Useful parameters

Let $\Delta_{\mathcal{X}}$ be the space of probability distributions on $\mathcal{X}$. For every $p\in\Delta_{\mathcal{X}}$ and every $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$, define $I(p,W)$ as the mutual information $I(X;Y)$, where $X$ is distributed as $p$ and $Y$ is the output of $W$ when $X$ is the input. The mutual information is computed using the natural logarithm. The capacity of $W$ is defined as $\displaystyle C(W)=\sup_{p\in\Delta_{\mathcal{X}}}I(p,W)$.

For every $p\in\Delta_{\mathcal{X}}$, the error probability of the MAP decoder of $W$ under prior $p$ is defined as:

[TABLE]

Clearly, $0\leq P_{e}(p,W)\leq 1$.

For every $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$, define the Bhattacharyya parameter of $W$ as:

[TABLE]

It is easy to see that $0\leq Z(W)\leq 1$.

It was shown in [8] and [9] that $\displaystyle\frac{1}{4}Z(W)^{2}\leq P_{e}(\pi_{\mathcal{X}},W)\leq(|\mathcal{X}|-1)Z(W)$, where $\pi_{\mathcal{X}}$ is the uniform distribution on $\mathcal{X}$.

An $(n,M)$-code $\mathcal{C}$ on the alphabet $\mathcal{X}$ is a subset of $\mathcal{X}^{n}$ such that $|\mathcal{C}|=M$. The integer $n$ is the blocklength of $\mathcal{C}$, and $M$ is the size of the code. The rate of $\mathcal{C}$ is $\frac{1}{n}\log M$, and it is measured in nats. The error probability of the ML decoder for the code $\mathcal{C}$ when it is used for a channel $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ is given by:

[TABLE]

The optimal error probability of $(n,M)$-codes for a channel $W$ is given by:

[TABLE]

The following proposition shows that all the above parameters are continuous:

Proposition 2**.**

We have:

• •

$I:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}\rightarrow\mathbb{R}^{+}$* is continuous, concave in $p$, and convex in $W$.*

• •

$C:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}\rightarrow\mathbb{R}^{+}$* is continuous and convex.*

• •

$P_{e}:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}\rightarrow[0,1]$* is continuous, concave in $p$ and concave in $W$.*

• •

$Z:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}\rightarrow[0,1]$* is continuous.*

• •

For every code $\mathcal{C}$ on $\mathcal{X}$, $P_{e,\mathcal{C}}:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}\rightarrow[0,1]$ is continuous.

• •

For every $n>0$ and every $1\leq M\leq|\mathcal{X}|^{n}$, the mapping $P_{e,n,M}:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}\rightarrow[0,1]$ is continuous.

Proof.

These facts are well known, especially the continuity of $I$, its concavity in $p$, and its convexity in $W$ [10]. Since $C$ is the supremum of a family of mappings that are convex in $W$, it is also convex in $W$. For a proof of the continuity of $C$, see Appendix G. The continuity of $Z$, $P_{e}$ and $P_{e,\mathcal{C}}$ follows immediately from their definitions. Moreover, since $P_{e,n,M}$ is the minimum of a finite number of continuous mappings, it is continuous. The concavity of $P_{e}$ in $p$ and in $W$ can also be easily seen from the definition. ∎

IV-B Channel operations

If $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ and $V\in\operatorname*{DMC}_{\mathcal{Y},\mathcal{Z}}$, we define the composition $V\circ W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Z}}$ of $W$ and $V$ as follows:

[TABLE]

For every function $f:\mathcal{X}\rightarrow\mathcal{Y}$, define the deterministic channel $D_{f}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ as follows:

[TABLE]

It is easy to see that if $f:\mathcal{X}\rightarrow\mathcal{Y}$ and $g:\mathcal{Y}\rightarrow\mathcal{Z}$, then $D_{g}\circ D_{f}=D_{g\circ f}$.

For every two channels $W_{1}\in\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}$ and $W_{2}\in\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}$, define the channel sum $W_{1}\oplus W_{2}\in\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}$ of $W_{1}$ and $W_{2}$ as:

[TABLE]

$W_{1}\oplus W_{2}$ arises when the transmitter has two channels $W_{1}$ and $W_{2}$ at his disposal and he can use exactly one of them at each channel use. It is an easy exercise to check that $e^{C(W_{1}\oplus W_{2})}=e^{C(W_{1})}+e^{C(W_{2})}$ (remember that we compute the mutual information using the natural logarithm).

We define the channel product $W_{1}\otimes W_{2}\in\operatorname*{DMC}_{\mathcal{X}_{1}\times\mathcal{X}_{2},\mathcal{Y}_{1}\times\mathcal{Y}_{2}}$ of $W_{1}$ and $W_{2}$ as:

[TABLE]

$W_{1}\otimes W_{2}$ arises when the transmitter has two channels $W_{1}$ and $W_{2}$ at his disposal and he uses both of them at each channel use. It is an easy exercise to check that $C(W_{1}\otimes W_{2})=C(W_{1})+C(W_{2})$, or equivalently $e^{C(W_{1}\otimes W_{2})}=e^{C(W_{1})}\cdot e^{C(W_{2})}$. Channel sums and products were first introduced by Shannon in [11].

For every $W_{1}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{1}}$, $W_{2}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}$ and every $0\leq\alpha\leq 1$, we define the $\alpha$-interpolation $[\alpha W_{1},(1-\alpha)W_{2}]\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}$ between $W_{1}$ and $W_{2}$ as:

[TABLE]

Channel interpolation arises when a channel behaves as $W_{1}$ with probability $\alpha$ and as $W_{2}$ with probability $1-\alpha$. The transmitter has no control on which behavior the channel chooses, but on the other hand, the receiver knows which one was chosen. Channel interpolations were used in [12] to construct interpolations between polar codes and Reed-Muller codes.

Now fix a binary operation $\ast$ on $\mathcal{X}$. For every $W\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$, define $W^{-}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}^{2}}$ and $W^{+}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}^{2}\times\mathcal{X}}$ as:

[TABLE]

and

[TABLE]

These operations generalize Arıkan’s polarization transformations [13].

Proposition 3**.**

We have:

• •

The mapping $(W,V)\rightarrow V\circ W$ from $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}\times\operatorname*{DMC}_{\mathcal{Y},\mathcal{Z}}$ to $\operatorname*{DMC}_{\mathcal{X},\mathcal{Z}}$ is continuous.

• •

The mapping $(W_{1},W_{2})\rightarrow W_{1}\oplus W_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}$ is continuous.

• •

The mapping $(W_{1},W_{2})\rightarrow W_{1}\otimes W_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\times\mathcal{X}_{2},\mathcal{Y}_{1}\times\mathcal{Y}_{2}}$ is continuous.

• •

The mapping $(W_{1},W_{2},\alpha)\rightarrow[\alpha W_{1},(1-\alpha)W_{2}]$ from $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1]$ to $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}$ is continuous.

• •

For any binary operation $\ast$ on $\mathcal{X}$, the mapping $W\rightarrow W^{-}$ from $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ to $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}^{2}}$ is continuous.

• •

For any binary operation $\ast$ on $\mathcal{X}$, the mapping $W\rightarrow W^{+}$ from $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ to $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}^{2}\times\mathcal{X}}$ is continuous.

Proof.

The continuity immediately follows from the definitions. ∎

V Continuity on $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$

It is well known that the parameters defined in section IV-A depend only on the $R_{\mathcal{X},\mathcal{Y}}^{(o)}$-equivalence class of $W$. Therefore, we can define those parameters for any $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ through the transcendent mapping (defined in Lemma 2). The following proposition shows that those parameters are continuous on $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$:

Proposition 4**.**

We have:

• •

$I:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\rightarrow\mathbb{R}^{+}$* is continuous and concave in $p$.*

• •

$C:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\rightarrow\mathbb{R}^{+}$* is continuous.*

• •

$P_{e}:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\rightarrow[0,1]$* is continuous and concave in $p$.*

• •

$Z:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\rightarrow[0,1]$* is continuous.*

• •

For every code $\mathcal{C}$ on $\mathcal{X}$, $P_{e,\mathcal{C}}:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\rightarrow[0,1]$ is continuous.

• •

For every $n>0$ and every $1\leq M\leq|\mathcal{X}|^{n}$, the mapping $P_{e,n,M}:\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}\rightarrow[0,1]$ is continuous.

Proof.

Since the corresponding parameters are continuous on $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ (Proposition 2), Lemma 2 implies that they are continuous on $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$. The only cases that need a special treatment are those of $I$ and $Z$. We will only prove the continuity of $I$ since the proof of continuity of $Z$ is similar.

Define the relation $R$ on $\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ as

[TABLE]

It is easy to see that $I(p,W)$ depends only on the $R$-equivalence class of $(p,W)$. Since $I$ is continuous on $\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$, Lemma 2 implies that the transcendent mapping of $I$ is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}})/R$. On the other hand, since $\Delta_{\mathcal{X}}$ is locally compact, Theorem 1 implies that $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}})/R$ can be identified with $\Delta_{\mathcal{X}}\times(\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}/R_{\mathcal{X},\mathcal{Y}}^{(o)})=\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ and the two spaces have the same topology. Therefore, $I$ is continuous on $\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$. ∎

With the exception of channel composition, all the channel operations that were defined in Section IV-B can also be “quotiented”. We just need to realize that the equivalence class of the resulting channel depends only on the equivalence classes of the channels that were used in the operation. Let us illustrate this in the case of channel sums:

Let $W_{1},W_{1}^{\prime}\in\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}$ and $W_{2},W_{2}^{\prime}\in\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}$ and assume that $W_{1}$ is degraded from $W_{1}^{\prime}$ and $W_{2}$ is degraded from $W_{2}^{\prime}$. There exists $V_{1}\in\operatorname*{DMC}_{\mathcal{Y}_{1},\mathcal{Y}_{1}}$ and $V_{2}\in\operatorname*{DMC}_{\mathcal{Y}_{2},\mathcal{Y}_{2}}$ such that $W_{1}=V_{1}\circ W_{1}^{\prime}$ and $W_{2}=V_{2}\circ W_{2}^{\prime}$. It is easy to see that $W_{1}\oplus W_{2}=(V_{1}\oplus V_{2})\circ(W_{1}^{\prime}\oplus W_{2}^{\prime})$, which shows that $W_{1}\oplus W_{2}$ is degraded from $W_{1}^{\prime}\oplus W_{2}^{\prime}$. This was proved by Shannon in [14].

Therefore, if $W_{1}$ is equivalent to $W_{1}^{\prime}$ and $W_{2}$ is equivalent to $W_{2}^{\prime}$, then $W_{1}\oplus W_{2}$ is equivalent to $W_{1}^{\prime}\oplus W_{2}^{\prime}$. This allows us to define the channel sum for every $\hat{W}_{1}\in\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}$ and every $\overline{W}_{2}\in\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ as $\hat{W}_{1}\oplus\overline{W}_{2}=\widetilde{W_{1}^{\prime}\oplus W_{2}^{\prime}}\in\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$ for any $W_{1}^{\prime}\in\hat{W}_{1}$ and any $W_{2}^{\prime}\in\overline{W}_{2}$, where $\widetilde{W_{1}^{\prime}\oplus W_{2}^{\prime}}$ is the $R_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$-equivalence class of $W_{1}^{\prime}\oplus W_{2}^{\prime}$.

With the exception of channel composition, we can “quotient” all the channel operations of Section IV-B in a similar fashion. Moreover, we can show that they are continuous:

Proposition 5**.**

We have:

• •

The mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\oplus\overline{W}_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$ is continuous.

• •

The mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\otimes\overline{W}_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\times\mathcal{X}_{2},\mathcal{Y}_{1}\times\mathcal{Y}_{2}}^{(o)}$ is continuous.

• •

The mapping $(\hat{W}_{1},\overline{W}_{2},\alpha)\rightarrow[\alpha\hat{W}_{1},(1-\alpha)\overline{W}_{2}]$ from $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}\times[0,1]$ to $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$ is continuous.

• •

For any binary operation $\ast$ on $\mathcal{X}$, the mapping $\hat{W}\rightarrow\hat{W}^{-}$ from $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}^{2}}^{(o)}$ is continuous.

• •

For any binary operation $\ast$ on $\mathcal{X}$, the mapping $\hat{W}\rightarrow\hat{W}^{+}$ from $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}^{2}\times\mathcal{X}}^{(o)}$ is continuous.

Proof.

We only prove the continuity of the channel sum because the proof of continuity of the other operations is similar.

Let $\operatorname*{Proj}:\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}\rightarrow\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$ be the projection onto the $R_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$-equivalence classes. Define the mapping $f:\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}\rightarrow\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$ as $f(W_{1},W_{2})=\operatorname*{Proj}(W_{1}\oplus W_{2})$. Clearly, $f$ is continuous.

Now define the equivalence relation $R$ on $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}$ as:

[TABLE]

The discussion before the proposition shows that $f(W_{1},W_{2})=\operatorname*{Proj}(W_{1}\oplus W_{2})$ depends only on the $R$-equivalence class of $(W_{1},W_{2})$. Lemma 2 now shows that the transcendent map of $f$ defined on $(\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}})/R$ is continuous.

Notice that $(\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}})/R$ can be identified with $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$. Therefore, we can define $f$ on $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ through this identification. Moreover, since $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}$ and $\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ are locally compact and Hausdorff, Corollary 1 implies that the canonical bijection between $(\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}})/R$ and $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ is a homeomorphism.

Now since the mapping $f$ on $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ is just the channel sum, we conclude that the mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\oplus\overline{W}_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\mathcal{Y}_{1}}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\mathcal{Y}_{1}\coprod\mathcal{Y}_{2}}^{(o)}$ is continuous. ∎

VI Continuity in the strong topology

The following lemma provides a way to check whether a mapping defined on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$ is continuous:

Lemma 6**.**

Let $(S,\mathcal{V})$ be an arbitrary topological space. A mapping $f:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow S$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$ if and only if it is continuous on $(\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)},\mathcal{T}_{\mathcal{X},[n]}^{(o)})$ for every $n\geq 1$.

Proof.

[TABLE]

∎

Since the channel parameters $I$, $C$, $P_{e}$, $Z$, $P_{e,\mathcal{C}}$ and $P_{e,n,M}$ are defined on $\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$ for every $n\geq 1$ (see Section V), they are also defined on $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}={\displaystyle\bigcup_{n\geq 1}}\operatorname*{DMC}_{\mathcal{X},[n]}^{(o)}$. The following proposition shows that those parameters are continuous in the strong topology:

Proposition 6**.**

Let $\mathcal{U}_{\mathcal{X}}$ be the standard topology on $\Delta_{\mathcal{X}}$. We have:

• •

$I:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow\mathbb{R}^{+}$* is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$ and concave in $p$.*

• •

$C:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow\mathbb{R}^{+}$* is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$.*

• •

$P_{e}:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$* is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$ and concave in $p$.*

• •

$Z:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$* is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$.*

• •

For every code $\mathcal{C}$ on $\mathcal{X}$, $P_{e,\mathcal{C}}:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$.

• •

For every $n>0$ and every $1\leq M\leq|\mathcal{X}|^{n}$, the mapping $P_{e,n,M}:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$.

Proof.

The continuity of $C,Z,P_{e,C}$ and $P_{e,n,M}$ immediately follows from Proposition 4 and Lemma 6. Since the proofs of continuity of $I$ and $Z$ are similar, we only prove the continuity for $I$.

Due to the distributivity of the product with respect to disjoint unions, we have

[TABLE]

and

[TABLE]

Therefore, $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast})$ is the disjoint union of the spaces $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},[n]})_{n\geq 1}$. Moreover, $I$ is continuous on $\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},[n]}$ for every $n\geq 1$. We conclude that $I$ is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast})$.

Define the relation $R$ on $\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}$ as follows: $(p_{1},W_{1})R(p_{2},W_{2})$ if and only if $p_{1}=p_{2}$ and $W_{1}R_{\mathcal{X},\ast}^{(o)}W_{2}$. Since $I(p,W)$ depends only on the $R$-equivalence class of $(p,W)$, Lemma 2 shows that the transcendent map of $I$ is a continuous mapping from \big{(}(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast})/R,(\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast})/R\big{)} to $\mathbb{R}^{+}$. On the other hand, since $\Delta_{\mathcal{X}}$ is locally compact and Hausdorff, Theorem 1 implies that \big{(}(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast})/R,(\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast})/R\big{)} can be identified with \big{(}\Delta_{\mathcal{X}}\times(\operatorname*{DMC}_{\mathcal{X},\ast}/R_{\mathcal{X},\ast}^{(o)}),\mathcal{U}_{\mathcal{X}}\otimes(\mathcal{T}_{s,\mathcal{X},\ast}/R_{\mathcal{X},\ast}^{(o)})\big{)}=(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast}^{(o)}). Therefore, $I$ is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$. ∎

It is also possible to extend the definition of all the channel operations that were defined in section V to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$. Moreover, it is possible to show that many channel operations are continuous in the strong topology:

Proposition 7**.**

Assume that all equivalent channel spaces are endowed with the strong topology. We have:

• •

The mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\oplus\overline{W}_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\ast}^{(o)}$ is continuous.

• •

The mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\otimes\overline{W}_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\times\mathcal{X}_{2},\ast}^{(o)}$ is continuous.

• •

The mapping $(\hat{W}_{1},\overline{W}_{2},\alpha)\rightarrow[\alpha\hat{W}_{1},(1-\alpha)\overline{W}_{2}]$ from $\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}\times[0,1]$ to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is continuous.

• •

For any binary operation $\ast$ on $\mathcal{X}$, the mapping $\hat{W}\rightarrow\hat{W}^{-}$ from $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is continuous.

• •

For any binary operation $\ast$ on $\mathcal{X}$, the mapping $\hat{W}\rightarrow\hat{W}^{+}$ from $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is continuous.

Proof.

We only prove the continuity of the channel interpolation because the proof of the continuity of other operations is similar.

Let $\mathcal{U}$ be the standard topology on $[0,1]$. Due to the distributivity of the product with respect to disjoint unions, we have:

[TABLE]

and

[TABLE]

Therefore, the space $\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1]$ is the topological disjoint union of the spaces $(\operatorname*{DMC}_{\mathcal{X},[n]}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1])_{n\geq 1}$.

For every $n\geq 1$, let $\operatorname*{Proj}_{n}$ be the projection onto the $R_{\mathcal{X},[n]\coprod\mathcal{Y}_{2}}^{(o)}$-equivalence classes and let $i_{n}$ be the canonical injection from $\operatorname*{DMC}_{\mathcal{X},[n]\coprod\mathcal{Y}_{2}}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$.

Define the mapping $f:\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1]\rightarrow\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ as

[TABLE]

where $n$ is the unique integer satisfying $W_{1}\in\operatorname*{DMC}_{\mathcal{X},[n]}$. $\hat{W}_{1}$ and $\overline{W}_{2}$ are the $R_{\mathcal{X},[n]}^{(o)}$ and $R_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}$-equivalence classes of $W_{1}$ and $W_{2}$ respectively.

Due to Proposition 3 and due to the continuity of $\operatorname*{Proj}_{n}$ and $i_{n}$, the mapping $f$ is continuous on $\operatorname*{DMC}_{\mathcal{X},[n]}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1]$ for every $n\geq 1$. Therefore, $f$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1],\mathcal{T}_{s,\mathcal{X},\ast}\otimes\mathcal{T}_{\mathcal{X},\mathcal{Y}_{2}}\otimes\mathcal{U})$.

Let $R^{\prime}$ be the equivalence relation defined on $\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}$ as follows: $(W_{1},W_{2})R^{\prime}(W_{1}^{\prime},W_{2}^{\prime})$ if and only if $W_{1}R_{\mathcal{X},\ast}^{(o)}W_{1}^{\prime}$ and $W_{2}R_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}W_{2}^{\prime}$. Also, define the equivalence relation $R$ on $\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1]$ as follows: $(W_{1},W_{2},\alpha)R(W_{1}^{\prime},W_{2}^{\prime},\alpha^{\prime})$ if and only if $(W_{1},W_{2})R^{\prime}(W_{1}^{\prime},W_{2}^{\prime})$ and $\alpha=\alpha^{\prime}$.

Since $f(W_{1},W_{2},\alpha)$ depends only on the $R$-equivalence class of $(W_{1},W_{2},\alpha)$, Lemma 2 implies that the transcendent mapping of $f$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1])/R$.

Since $[0,1]$ is Hausdorff and locally compact, Theorem 1 implies that the canonical bijection from $(\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}\times[0,1])/R$ to \big{(}(\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}})/R^{\prime}\big{)}\times[0,1]) is a homeomorphism. On the other hand, since $(\operatorname*{DMC}_{\mathcal{X},\ast},\mathcal{T}_{s,\mathcal{X},\ast})$ and $\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}=\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}/R_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}$ are Hausdorff and locally compact, Corollary 1 implies that the canonical bijection from $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}$ to $(\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}})/R^{\prime}$ is a homeomorphism. We conclude that the channel interpolation is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}_{2}}^{(o)}\times[0,1],\mathcal{T}_{s,\mathcal{X},\ast}^{(o)}\otimes\mathcal{T}_{\mathcal{X},\mathcal{Y}}^{(o)}\otimes\mathcal{U})$. ∎

Corollary 3**.**

$(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$* is strongly contractible to every point in $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$.*

Proof.

Fix $\hat{W}_{0}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$. Define the mapping $H:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\times[0,1]\rightarrow\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ as $H(\hat{W},\alpha)=[\alpha\hat{W}_{0},(1-\alpha)\hat{W}]$. $H$ is continuous by Proposition 7. We also have $H(\hat{W},0)=\hat{W}$ and $H(\hat{W},1)=\hat{W}_{0}$ for every $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$. Moreover, $H(\hat{W}_{0},\alpha)=\hat{W}_{0}$ for every $0\leq\alpha\leq 1$. Therefore, $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X},\ast}^{(o)})$ is strongly contractible to every point in $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$. ∎

The reader might be wondering why channel operations such as the channel sum were not shown to be continuous on the whole space $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$ instead of the smaller space $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\mathcal{Y}_{2}}^{(o)}$. The reason is because we cannot apply Corollary 1 to $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}$ and $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$ since neither $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}$ nor $\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$ is locally compact (under the strong topology).

One potential method to show the continuity of the channel sum on $(\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)})$ is as follows: let $R$ be the equivalence relation on $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}$ defined as $(W_{1},W_{2})R(W_{1}^{\prime},W_{2}^{\prime})$ if and only if $W_{1}R_{\mathcal{X}_{1},\ast}^{(o)}W_{1}^{\prime}$ and $W_{2}R_{\mathcal{X}_{2},\ast}^{(o)}W_{2}^{\prime}$. We can identify $(\operatorname*{DMC}_{\mathcal{X}_{1},\ast}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast})/R$ with $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$ through the canonical bijection. Using Lemma 2, it is easy to see that the mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\oplus\overline{W}_{2}$ is continuous from \big{(}\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)},(\mathcal{T}_{s,\mathcal{X}_{1},\ast}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast})/R\big{)} to $(\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X}_{1}\coprod\mathcal{X}_{2},\ast}^{(o)})$.

It was shown in [15] that the topology $(\mathcal{T}_{s,\mathcal{X}_{1},\ast}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast})/R$ is homeomorphic to $\kappa(\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)})$ through the canonical bijection, where $\kappa(\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)})$ is the coarsest topology that is both compactly generated and finer than $\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)}$. Therefore, the mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\oplus\overline{W}_{2}$ is continuous on \big{(}\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)},\kappa(\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)})\big{)}. This means that if $\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)}$ is compactly generated, we will have $\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)}=\kappa(\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)})$ and so the channel sum will be continuous on $(\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)})$. Note that although $\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}$ and $\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)}$ are compactly generated, their product $\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)}$ might not be compactly generated.

VII Continuity in the noisiness/weak-$\ast$ and the total variation topologies

We need to express the channel parameters and operations in terms of the Blackwell measures.

VII-A Channel parameters

The following proposition shows that many channel parameters can be expressed as an integral of a continuous function with respect to the Blackwell measure:

Proposition 8**.**

For every $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$, we have:

[TABLE]

[TABLE]

[TABLE]

[TABLE]

where $H(p)$ is the entropy of $p$, and ${\operatorname*{MP}}_{\hat{W}}^{n}$ is the product measure on $\Delta_{\mathcal{X}}^{n}$ obtained by multiplying ${\operatorname*{MP}}_{\hat{W}}$ with itself $n$ times. Note that we adopt the standard convention that $0\log\frac{0}{0}=0$.

Proof.

By choosing any representative channel $W\in\hat{W}$ and replacing $W(y|x)$ by $|\mathcal{X}|P_{W}^{o}(y)W_{y}^{-1}(x)$ in the definitions of the channel parameters, all the above formulas immediately follow. Let us show how this works for $P_{e}$:

[TABLE]

where (a) is true because $W(y|x)=0$ for $y\notin\operatorname*{Im}(W)$. ∎

Proposition 9**.**

Let $\mathcal{U}_{\mathcal{X}}$ be the standard topology on $\Delta_{\mathcal{X}}$. We have:

• •

$I:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow\mathbb{R}^{+}$* is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{\mathcal{X},\ast}^{(o)})$ and concave in $p$.*

• •

$C:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow\mathbb{R}^{+}$* is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{\mathcal{X},\ast}^{(o)})$.*

• •

$P_{e}:\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$* is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{\mathcal{X},\ast}^{(o)})$ and concave in $p$.*

• •

$Z:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$* is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{\mathcal{X},\ast}^{(o)})$.*

• •

For every code $\mathcal{C}$ on $\mathcal{X}$, $P_{e,\mathcal{C}}:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{\mathcal{X},\ast}^{(o)})$.

• •

For every $n>0$ and every $1\leq M\leq|\mathcal{X}|^{n}$, the mapping $P_{e,n,M}:\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\rightarrow[0,1]$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{\mathcal{X},\ast}^{(o)})$.

Proof.

We associate the space $\mathcal{MP}(\mathcal{X})$ with the weak-$\ast$ topology. Define the mapping

[TABLE]

as follows:

[TABLE]

Lemma 5 implies that $\overline{I}$ is continuous. On the other hand, Proposition 8 shows that $I(p,\hat{W})=\overline{I}(p,{\operatorname*{MP}}_{\hat{W}})$. Therefore, $I$ is continuous on $(\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{U}_{\mathcal{X}}\otimes\mathcal{T}_{\mathcal{X},\ast}^{(o)})$. We can prove the continuity of $P_{e}$ and $Z$ similarly.

Now define the mapping $\overline{C}:\mathcal{MP}(\mathcal{X})\rightarrow\mathbb{R}$ as

[TABLE]

Fix ${\operatorname*{MP}}\in\mathcal{MP}(\mathcal{X})$ and let $\epsilon>0$. Since $\mathcal{MP}(\mathcal{X})$ is compact (under the weak-$\ast$ topology), Lemma 1 implies the existence of a weakly-$\ast$ open neighborhood $U_{{\operatorname*{MP}}}$ of ${\operatorname*{MP}}$ such that $|\overline{I}(p,{\operatorname*{MP}})-\overline{I}(p,{\operatorname*{MP}}^{\prime})|<\epsilon$ for every ${\operatorname*{MP}}^{\prime}\in U_{{\operatorname*{MP}}}$ and every $p\in\Delta_{\mathcal{X}}$. Therefore, for every ${\operatorname*{MP}}^{\prime}\in U_{{\operatorname*{MP}}}$ and every $p\in\Delta_{\mathcal{X}}$, we have

[TABLE]

hence,

[TABLE]

Similarly, we can show that $\overline{C}({\operatorname*{MP}}^{\prime})\leq\overline{C}({\operatorname*{MP}})+\epsilon$. This shows that $|\overline{C}({\operatorname*{MP}}^{\prime})-\overline{C}({\operatorname*{MP}})|\leq\epsilon$ for every ${\operatorname*{MP}}^{\prime}\in U_{{\operatorname*{MP}}}$. Therefore, $\overline{C}$ is continuous. But $C(\hat{W})=\overline{C}({\operatorname*{MP}}_{\hat{W}})$, so $C$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{\mathcal{X},\ast}^{(o)})$.

Now for every $0\leq i\leq n$, define the mapping $f_{i}:\Delta_{\mathcal{X}}^{i}\times\mathcal{MP}(\mathcal{X})\rightarrow\mathbb{R}$ backward-recursively as follows:

• •

$f_{n}(p_{1}^{n},{\operatorname*{MP}})=\displaystyle\max_{x_{1}^{n}\in\mathcal{C}}\left\{\prod_{i=1}^{n}p_{i}(x_{i})\right\}$.

• •

For every $0\leq i<n$, define

[TABLE]

Clearly $f_{n}$ is continuous. Now let $0\leq i<n$ and assume that $f_{i+1}$ is continuous. If we let $S=\Delta_{\mathcal{X}}^{i}\times\mathcal{MP}(\mathcal{X})$, Lemma 5 implies that the mapping $F_{i}:\Delta_{\mathcal{X}}^{i}\times\mathcal{MP}(\mathcal{X})\times\mathcal{MP}(\mathcal{X})$ defined as

[TABLE]

is continuous. But $f_{i}(p_{1}^{i},{\operatorname*{MP}})=F_{i}(p_{1}^{i},{\operatorname*{MP}},{\operatorname*{MP}})$, so $f_{i}$ is also continuous. Therefore, $f_{0}$ is continuous. By noticing that $P_{e,\mathcal{C}}(\hat{W})=\displaystyle 1-\frac{|\mathcal{X}|^{n}}{|\mathcal{C}|}f_{0}({\operatorname*{MP}}_{\hat{W}})$, we conclude that $P_{e,\mathcal{C}}$ is continuous on $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{\mathcal{X},\ast}^{(o)})$. Moreover, since $P_{e,n,M}$ is the minimum of a finite family of continuous mappings, it is continuous. ∎

It is worth mentioning that Proposition 6 can be shown from Proposition 9 because the noisiness topology is coarser than the strong topology.

Corollary 4**.**

All the mappings in Proposition 9 are also continuous if we replace the noisiness topology $\mathcal{T}_{\mathcal{X},\ast}^{(o)}$ with the total variation topology $\mathcal{T}_{TV,\mathcal{X},\ast}^{(o)}$.

Proof.

This is true because $\mathcal{T}_{TV,\mathcal{X},\ast}^{(o)}$ is finer than $\mathcal{T}_{\mathcal{X},\ast}^{(o)}$. ∎

VII-B Channel operations

In the following, we show that we can express the channel operations in terms of Blackwell measures. We have all the tools to achieve this for the channel sum, channel product and channel interpolation. In order to express the channel polarization transformations in terms of the Blackwell measures, we need to introduce new definitions.

Let $\mathcal{X}$ be a finite set and let $\ast$ be a binary operation on a finite set $\mathcal{X}$. We say that $\ast$ is uniformity preserving if the mapping $(a,b)\rightarrow(a\ast b,b)$ is a bijection from $\mathcal{X}^{2}$ to itself [16]. For every $a,b\in\mathcal{X}$, we denote the unique element $c\in\mathcal{X}$ satisfying $c*b=a$ as $c=a/^{\ast}b$. Note that $/^{\ast}$ is a binary operation and it is uniformity preserving. $/^{\ast}$ is called the right-inverse of $\ast$. It was shown in [9] that a binary operation is polarizing if and only if it is uniformity preserving and its inverse is strongly ergodic.

Binary operations that are not uniformity preserving are not interesting for polarization theory because they do not preserve the symmetric capacity [9]. Therefore, we will only focus on polarization transformations that are based on uniformity preserving operations.

Let $\ast$ be a fixed uniformity preserving operation on $\mathcal{X}$. Define the mapping $C^{-,\ast}:\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}\rightarrow\Delta_{\mathcal{X}}$ as

[TABLE]

The probability distribution $C^{-,\ast}(p_{1},p_{2})$ can be interpreted as follows: let $X_{1}$ and $X_{2}$ be two independent random variables in $\mathcal{X}$ that are distributed as $p_{1}$ and $p_{2}$ respectively, and let $(U_{1},U_{2})$ be the random pair in $\mathcal{X}^{2}$ defined as $(U_{1},U_{2})=(X_{1}/^{\ast}X_{2},X_{2})$, or equivalently $(X_{1},X_{2})=(U_{1}\ast U_{2},U_{2})$. $C^{-,\ast}(p_{1},p_{2})$ is the probability distribution of $U_{1}$.

Clearly, $C^{-,\ast}$ is continuous. Therefore, the push-forward mapping $C^{-,\ast}_{\#}$ is continuous from $\mathcal{P}(\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}})$ to $\mathcal{P}(\Delta_{\mathcal{X}})=\mathcal{MP}(\mathcal{X})$ under both the weak-$\ast$ and the total variation topologies (see Section II-F). For every $\operatorname*{MP}_{1},\operatorname*{MP}_{2}\in\mathcal{MP}(\mathcal{X})$, we define the $(-,\ast)$-convolution of $\operatorname*{MP}_{1}$ and $\operatorname*{MP}_{2}$ as:

[TABLE]

Since the product of meta-probability measures is continuous under both the weak-$\ast$ and the total variation topologies (Appendices B and F), the $(-,\ast)$-convolution is also continuous under these topologies.

For every $p_{1},p_{2}\in\Delta_{\mathcal{X}}$ and every $u_{1}\in\operatorname*{supp}(C^{-,\ast}(p_{1},p_{2}))$, define $C^{+,u_{1},\ast}(p_{1},p_{2})\in\Delta_{\mathcal{X}}$ as

[TABLE]

The probability distribution $C^{+,u_{1},\ast}(p_{1},p_{2})$ can be interpreted as follows: if $X_{1},X_{2},U_{1}$ and $U_{2}$ are as above, $C^{+,u_{1},\ast}(p_{1},p_{2})$ is the conditional probability distribution of $U_{2}$ given $U_{1}=u_{1}$.

Define the mapping $C^{+,\ast}:\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}\rightarrow\mathcal{P}(\Delta_{\mathcal{X}})=\mathcal{MP}(\mathcal{X})$ as follows:

[TABLE]

where $\delta_{C^{+,u_{1},\ast}(p_{1},p_{2})}$ is a Dirac measure centered at $C^{+,u_{1},\ast}(p_{1},p_{2})$.

If $X_{1},X_{2},U_{1}$ and $U_{2}$ are as above, $C^{+,\ast}(p_{1},p_{2})$ is the meta-probability measure that describes the possible conditional probability distributions of $U_{2}$ that are seen by someone having knowledge of $U_{1}$. Clearly, $C^{+,\ast}$ is a random mapping from $\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}$ to $\Delta_{\mathcal{X}}$. In Appendix H, we show that $C^{+,\ast}$ is a measurable random mapping. We also show in Appendix H that $C^{+,\ast}$ is a continuous mapping from $\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}$ to $\mathcal{MP}(\mathcal{X})$ when the latter space is endowed with the weak-$\ast$ topology. Lemmas 3 and 4 now imply that the push-forward mapping $C^{+,\ast}_{\#}$ is continuous under both the weak-$\ast$ and the total variation topologies.

For every $\operatorname*{MP}_{1},\operatorname*{MP}_{2}\in\mathcal{MP}(\mathcal{X})$, we define the $(+,\ast)$-convolution of $\operatorname*{MP}_{1}$ and $\operatorname*{MP}_{2}$ as:

[TABLE]

Since the product of meta-probability measures is continuous under both the weak-$\ast$ and the total variation topologies (Appendices B and F), the $(+,\ast)$-convolution is also continuous under these topologies.

Proposition 10**.**

We have:

• •

For every $\hat{W}_{1}\in\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}$ and $\overline{W}_{2}\in\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$, we have:

[TABLE]

where ${\operatorname*{MP}}^{\prime}_{\hat{W}_{1}}$ (respectively ${\operatorname*{MP}}^{\prime}_{\hat{W}_{2}}$) is the meta-push-forward of ${\operatorname*{MP}}_{\hat{W}_{1}}$ (respectively ${\operatorname*{MP}}_{\hat{W}_{2}}$) by the canonical injection from $\mathcal{X}_{1}$ (respectively $\mathcal{X}_{2}$) to $\mathcal{X}_{1}\coprod\mathcal{X}_{2}$.

• •

For every $\hat{W}_{1}\in\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}$ and $\overline{W}_{2}\in\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$, we have:

[TABLE]

• •

For every $\alpha\in[0,1]$ and every $\hat{W}_{1},\hat{W}_{2}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$, we have

[TABLE]

• •

For every uniformity preserving binary operation $\ast$ on $\mathcal{X}$, and every $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$, we have

[TABLE]

• •

For every uniformity preserving binary operation $\ast$ on $\mathcal{X}$, and every $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$, we have

[TABLE]

Proof.

See Appendix I. ∎

Note that the polarization transformation formulas in Proposition 10 generalize the formulas given by Raginsky in [17] for binary-input channels.

Proposition 11**.**

Assume that all equivalent channel spaces are endowed with the noisiness/weak-$\ast$ or the total variation topology. We have:

• •

The mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\oplus\overline{W}_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\coprod\mathcal{X}_{2},\ast}^{(o)}$ is continuous.

• •

The mapping $(\hat{W}_{1},\overline{W}_{2})\rightarrow\hat{W}_{1}\otimes\overline{W}_{2}$ from $\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X}_{1}\times\mathcal{X}_{2},\ast}^{(o)}$ is continuous.

• •

The mapping $(\hat{W}_{1},\overline{W}_{2},\alpha)\rightarrow[\alpha\hat{W}_{1},(1-\alpha)\overline{W}_{2}]$ from $\operatorname*{DMC}_{\mathcal{X},\ast}\times\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}\times[0,1]$ to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is continuous.

• •

For every uniformity preserving binary operation $\ast$ on $\mathcal{X}$, the mapping $\hat{W}\rightarrow\hat{W}^{-}$ from $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is continuous.

• •

For every uniformity preserving binary operation $\ast$ on $\mathcal{X}$, the mapping $\hat{W}\rightarrow\hat{W}^{+}$ from $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ to $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ is continuous.

Proof.

The proposition directly follows from Proposition 10 and the fact that all the meta-probability measure operations that are involved in the formulas are continuous under both the weak-$\ast$ and the total variation topologies. ∎

Corollary 5**.**

Both $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{\mathcal{X},\ast}^{(o)})$ and $(\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)},\mathcal{T}_{TV,\mathcal{X},\ast}^{(o)})$ are strongly contractible to every point in $\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$.

Proof.

We can use the same proof of Corollary 3. ∎

VIII Conclusion

Sections V and VI show that the quotient topology is relatively easy to work with. If one is interested in the space of equivalent channels sharing the same input and output alphabets, then using the quotient formulation of the topology seems to be the easiest way to prove theorems.

The continuity of the channel sum and the channel product on the whole product space $(\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}\times\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)},\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)})$ remains an open problem. As we mentioned in Section VI, it is sufficient to prove that the product topology $\mathcal{T}_{s,\mathcal{X}_{1},\ast}^{(o)}\otimes\mathcal{T}_{s,\mathcal{X}_{2},\ast}^{(o)}$ is compactly generated.

Acknowledgment

I would like to thank Emre Telatar and Mohammad Bazzi for helpful discussions. I am also grateful to Maxim Raginsky for his comments.

Appendix A Proof of Lemma 1

Fix $\epsilon>0$ and let $(s,t)\in S\times T$. Since $f$ is continuous, there exists a neighborhood $O_{s,t}$ of $(s,t)$ in $S\times T$ such that for every $(s^{\prime},t^{\prime})\in O_{s,t}$, we have $|f(s^{\prime},t^{\prime})-f(s,t)|<\frac{\epsilon}{2}$. Moreover, since products of open sets form a base for the product topology, there exists an open neighborhood $V_{s,t}$ of $s$ in $(S,\mathcal{V})$ and an open neighborhood $U_{s,t}$ of $t$ in $T$ such that $V_{s,t}\times U_{s,t}\subset O_{s,t}$.

Since $(S,\mathcal{V})$ and $(T,\mathcal{U})$ are compact, the product space is also compact. On the other hand, we have $\displaystyle\bigcup_{(s,t)\in S\times T}V_{s,t}\times U_{s,t}=S\times T$ so $\{V_{s,t}\times U_{s,t}\}_{(s,t)\in S\times T}$ is an open cover of $S\times T$. Therefore, there exist $s_{1},\ldots,s_{n}\in S$ and $t_{1},\ldots,t_{n}\in T$ such that $\displaystyle\bigcup_{i=1}^{n}V_{s_{i},t_{i}}\times U_{s_{i},t_{i}}=S\times T$.

Now fix $s\in S$ and define $\displaystyle V_{s}=\bigcap_{\begin{subarray}{c}1\leq i\leq n,\\ s\in V_{s_{i},t_{i}}\end{subarray}}V_{s_{i},t_{i}}$. Since $V_{s}$ is the intersection of finitely many open sets containing $s$, $V_{s}$ is an open neighborhood of $s$ in $(S,\mathcal{V})$. Let $s^{\prime}\in V_{s}$ and $t\in T$. Since $\displaystyle\bigcup_{i=1}^{n}V_{s_{i},t_{i}}\times U_{s_{i},t_{i}}=S\times T$, there exists $1\leq i\leq n$ such that $(s,t)\in V_{s_{i},t_{i}}\times U_{s_{i},t_{i}}\subset O_{s_{i},t_{i}}$. Since $s\in V_{s_{i},t_{i}}$, we have $V_{s}\subset V_{s_{i},t_{i}}$ and so $s^{\prime}\in V_{s_{i},t_{i}}$. Therefore, $(s^{\prime},t)\in V_{s_{i},t_{i}}\times U_{s_{i},t_{i}}\subset O_{s_{i},t_{i}}$, hence

[TABLE]

But this is true for every $t\in T$. Therefore,

[TABLE]

Appendix B Continuity of the product of measures

For every subset $A$ of $M_{1}\times M_{2}$ and every $x_{1}\in M_{1}$, define $A_{2}^{x_{1}}=\{x_{2}\in M_{2}:\;(x_{1},x_{2})\in A\}$. Similarly, for every $x_{2}\in M_{2}$, define $A_{1}^{x_{2}}=\{x_{1}\in M_{1}:\;(x_{1},x_{2})\in A\}$. Let $P_{1},P_{1}^{\prime}\in\mathcal{P}(M_{1},\Sigma_{1})$ and $P_{2},P_{2}^{\prime}\in\mathcal{P}(M_{2},\Sigma_{2})$. We have:

[TABLE]

This shows that the product of measures is continuous under the total variation topology.

Appendix C Proof of Proposition 1

Define the mapping $G:M\rightarrow\mathbb{R}^{+}\cup\{+\infty\}$ as follows:

[TABLE]

For every $n\geq 0$, define the mapping $g_{n}:M^{\prime}\rightarrow\mathbb{R}^{+}$ as follows:

[TABLE]

Clearly, for every $y\in M^{\prime}$ we have:

• •

$g_{n}(y)\leq g(y)$ for all $n\geq 0$.

• •

$g_{n}(y)\leq g_{n+1}(y)$ for all $n\geq 0$.

• •

$\displaystyle\lim_{n\to\infty}g_{n}(y)=g(y)$.

Moreover, for every fixed $n\geq 0$, we have:

• •

$g_{n}$ is $\Sigma^{\prime}$-measurable.

• •

$g_{n}$ takes values in $\left\{\frac{i}{2^{n}}:\;0\leq i\leq n2^{n}\right\}$.

For every $0\leq i\leq n2^{n}$, let $B_{i,n}=\{y\in M^{\prime}:\;g_{n}(y)=\frac{i}{2^{n}}\}$. Since $g_{n}$ is $\Sigma^{\prime}$-measurable, we have $B_{i,n}\in\Sigma^{\prime}$ for every $0\leq i\leq n2^{n}$. Now for every $n\geq 0$, define the mapping $G_{n}:M\rightarrow\mathbb{R}\cup\{+\infty\}$ as follows:

[TABLE]

Since the random mapping $R$ is measurable and since $B_{i,n}\in\Sigma^{\prime}$, the mapping $R_{B_{i,n}}$ is $\Sigma$-measurable for every $0\leq i\leq n2^{n}$. Therefore, $G_{n}$ is $\Sigma$-measurable for every $n\geq 0$. Moreover, for every $x\in\Sigma$, we have:

[TABLE]

where (a) follows from the monotone convergence theorem. We conclude that $G$ is $\Sigma$-measurable because it is the point-wise limit of $\Sigma$-measurable functions. On the other hand, we have

[TABLE]

Therefore,

[TABLE]

where (a) and (b) follow from the monotone convergence theorem.

Appendix D Continuity of the push-forward by a random mapping

Let $R$ be a measurable random mapping from $(M,\Sigma)$ to $(M^{\prime},\Sigma^{\prime})$. Let $P_{1},P_{2}\in\mathcal{P}(M,\Sigma)$. Define the signed measure $\mu=P_{1}-P_{2}$ and let $\{\mu^{+},\mu^{-}\}$ be the Jordan measure decomposition of $\mu$. It is easy to see that $\|P_{1}-P_{2}\|_{TV}=\mu^{+}(M)=\mu^{-}(M)$. For every $B\in\Sigma^{\prime}$, we have:

[TABLE]

where (a) follows from the fact that $|R_{B}(x)|=|(R(x))(B)|\leq 1$ for every $x\in M$. We can similarly show that

[TABLE]

Therefore,

[TABLE]

This shows that the push-forward mapping $R_{\#}$ from $\mathcal{P}(M,\Sigma)$ to $\mathcal{P}(M^{\prime},\Sigma^{\prime})$ is continuous under the total variation topology. This concludes the proof of Lemma 3.

Now assume that $\mathcal{U}$ is a Polish topology on $M$ and $\mathcal{U}^{\prime}$ is an arbitrary topology on $M^{\prime}$. Let $R$ be measurable random mapping from $(M,\mathcal{B}(M))$ to $(M^{\prime},\mathcal{B}(M^{\prime}))$. Moreover, assume that $R$ is a continuous mapping from $(M,\mathcal{U})$ to $\mathcal{P}(M^{\prime},\mathcal{B}(M^{\prime}))$ when the latter space is endowed with the weak-$\ast$ topology. Let $(P_{n})_{n\geq 0}$ be a sequence of probability measures in $\mathcal{P}(M,\mathcal{B}(M))$ that weakly-$\ast$ converges to $P\in\mathcal{P}(M,\mathcal{B}(M))$.

Let $g:M^{\prime}\rightarrow\mathbb{R}$ be a bounded and continuous mapping. Define the mapping $G:M\rightarrow\mathbb{R}$ as follows:

[TABLE]

For every sequence $(x_{n})_{n\geq 0}$ converging to $x$ in $M$, the sequence $(R(x_{n}))_{n\geq 0}$ weakly-$\ast$ converges to $R(x)$ in $\mathcal{P}(M^{\prime},\mathcal{B}(M^{\prime}))$ because of the continuity of $R$. This implies that the sequence $(G(x_{n}))_{n\geq 0}$ converges to $G(x)$. Since $\mathcal{U}$ is a Polish topology (hence metrizable and sequential [18]), this shows that $G$ is a bounded and continuous mapping from $(M,\mathcal{U})$ to $\mathbb{R}$. Therefore, we have:

[TABLE]

where (a) and (c) follow from Corollary 2, and (b) follows from the fact that $(P_{n})_{n\geq 0}$ weakly-$\ast$ converges to $P$. This shows that $(R_{\#}P_{n})_{n\geq 0}$ weakly-$\ast$ converges to $R_{\#}P$. Now since $\mathcal{U}$ is Polish, the weak-$\ast$ topology on $\mathcal{P}(M,\mathcal{B}(M))$ is metrizable [19], hence it is sequential [18]. This shows that the push-forward mapping $R_{\#}$ from $\mathcal{P}(M,\mathcal{B}(M))$ to $\mathcal{P}(M^{\prime},\mathcal{B}(M^{\prime}))$ is continuous under the weak-$\ast$ topology.

Appendix E Proof of Lemma 5

For every $s\in S$, define the mapping $f_{s}:\Delta_{\mathcal{X}}\rightarrow\mathbb{R}$ as $f_{s}(p)=f(s,p)$. Clearly $f_{s}$ is continuous for every $s\in S$. Therefore, the mapping $F_{s}:\mathcal{MP}(\mathcal{X})\rightarrow\mathbb{R}$ defined as

[TABLE]

is continuous in the weak-$\ast$ topology of $\mathcal{MP}(\mathcal{X})$.

Fix $\epsilon>0$ and let $(s,{\operatorname*{MP}})\in S\times\mathcal{MP}(\mathcal{X})$. Since $F_{s}$ is continuous, there exists a weakly-$\ast$ open neighborhood $U_{s,{\operatorname*{MP}}}$ of ${\operatorname*{MP}}$ such that $\displaystyle|F_{s}({\operatorname*{MP}}^{\prime})-F_{s}({\operatorname*{MP}})|<\frac{\epsilon}{2}$ for every ${\operatorname*{MP}}^{\prime}\in U_{s,{\operatorname*{MP}}}$. On the other hand, Lemma 1 implies the existence of an open neighborhood $V_{s}$ of $s$ in $(S,\mathcal{V})$ such that for every $s^{\prime}\in V_{s}$ we have

[TABLE]

Clearly $V_{s}\times U_{s,{\operatorname*{MP}}}$ is an open neighborhood of $(s,{\operatorname*{MP}})$ in $S\times\mathcal{MP}(\mathcal{X})$. For every $(s^{\prime},{\operatorname*{MP}}^{\prime})\in V_{s}\times U_{s,{\operatorname*{MP}}}$, we have

[TABLE]

where (a) follows from the fact that ${\operatorname*{MP}}^{\prime}$ is a meta-probability measure and $|f(s^{\prime},p)-f(s^{\prime},p)|\leq\displaystyle\frac{\epsilon}{2}$ for every $p\in\Delta_{\mathcal{X}}$. We conclude that $F$ is continuous.

Appendix F Weak-$\ast$ continuity of the product of meta-probability measures

Let $({\operatorname*{MP}}_{1,n})_{n\geq 0}$ and $({\operatorname*{MP}}_{2,n})_{n\geq 0}$ be two sequences that weakly-$\ast$ converge to ${\operatorname*{MP}}_{1}$ and ${\operatorname*{MP}}_{2}$ in $\mathcal{MP}(\mathcal{X}_{1})$ and $\mathcal{MP}(\mathcal{X}_{2})$ respectively. Let $f:\Delta_{\mathcal{X}_{1}}\times\Delta_{\mathcal{X}_{2}}\rightarrow\mathbb{R}$ be a continuous and bounded mapping. Define the mapping $F:\Delta_{\mathcal{X}_{1}}\times\mathcal{MP}(\mathcal{X}_{2})$ as follows:

[TABLE]

Fix $\epsilon>0$. Since $f(p_{1},p_{2})$ is continuous, Lemma 5 implies that $F$ is continuous. Therefore, the mapping $p_{1}\rightarrow F(p_{1},\operatorname*{MP}_{2})$ is continuous on $\Delta_{\mathcal{X}_{1}}$, which implies that it is also bounded because $\Delta_{\mathcal{X}_{1}}$ is compact. Therefore,

[TABLE]

because $({\operatorname*{MP}}_{1,n})_{n\geq 0}$ weakly-$\ast$ converges to ${\operatorname*{MP}}_{1}$. This means that there exists $n_{1}\geq 0$ such that for every $n\geq n_{1}$, we have

[TABLE]

On the other hand, since $F$ is continuous and since $\mathcal{MP}(\mathcal{X}_{2})$ is compact under the weak-$\ast$ topology [19], Lemma 1 implies the existence of a weakly-$\ast$ open neighborhood $U_{{\operatorname*{MP}}_{2}}$ of ${\operatorname*{MP}}_{2}$ such that $\displaystyle|F(p_{1},{\operatorname*{MP}}_{2}^{\prime})-F(p_{1},{\operatorname*{MP}}_{2})|\leq\frac{\epsilon}{2}$ for every ${\operatorname*{MP}}_{2}^{\prime}\in U_{{\operatorname*{MP}}_{2}}$ and every $p_{1}\in\Delta_{\mathcal{X}_{1}}$. Moreover, since ${\operatorname*{MP}}_{2,n}$ weakly-$\ast$ converges to ${\operatorname*{MP}}_{2}$, there exists $n_{2}\geq 0$ such that ${\operatorname*{MP}}_{2,n}\in U_{{\operatorname*{MP}}_{2}}$ for every $n\geq n_{2}$.

Therefore, for every $n\geq\max\{n_{1},n_{2}\}$, we have

[TABLE]

where (a) follows from the fact ${\operatorname*{MP}}_{2,n}\in U_{{\operatorname*{MP}}_{2}}$ for every $n\geq n_{2}$. Therefore,

[TABLE]

where (a) and (b) follow from Fubini’s theorem. We conclude that $({\operatorname*{MP}}_{1,n}\times{\operatorname*{MP}}_{2,n})_{n\geq 0}$ weakly-$\ast$ converges to $({\operatorname*{MP}}_{1}\times{\operatorname*{MP}}_{2})_{n\geq 0}$. Therefore the product of meta-probability measures is weakly-$\ast$ continuous.

Appendix G Continuity of the capacity

Since the mapping $I$ is continuous, and since the space $\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ is compact, the mapping $I$ is uniformly continuous, i.e., for every $\epsilon>0$, there exists $\delta(\epsilon)>0$ such that for every $(p_{1},W_{1}),(p_{2},W_{2})\in\Delta_{\mathcal{X}}\times\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$, if $\|p_{1}-p_{2}\|_{1}:=\displaystyle\sum_{x\in\mathcal{X}}|p_{1}(x)-p_{2}(x)|<\delta(\epsilon)$ and $d_{\mathcal{X},\mathcal{Y}}(W_{1},W_{2})<\delta(\epsilon)$, then

[TABLE]

Let $W_{1},W_{2}\in\operatorname*{DMC}_{\mathcal{X},\mathcal{Y}}$ be such that $d_{\mathcal{X},\mathcal{Y}}(W_{1},W_{2})<\delta(\epsilon)$. For every $p\in\Delta_{\mathcal{X}}$, we have $\|p-p\|_{1}=0<\delta(\epsilon)$ so we must have $|I(p,W_{1})-I(p,W_{2})|<\epsilon$. Therefore,

[TABLE]

Therefore,

[TABLE]

Similarly, we can show that $C(W_{2})\leq C(W_{1})+\epsilon$. This implies that $|C(W_{1})-C(W_{2})|\leq\epsilon$, hence $C$ is continuous.

Appendix H Measurability and continuity of $C^{+,\ast}$

Let us first show that the random mapping $C^{+,\ast}$ is measurable. We need to show that the mapping $C^{+,\ast}_{B}:\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}\rightarrow\mathbb{R}$ is measurable for every $B\in\mathcal{B}(\Delta_{\mathcal{X}})$, where

[TABLE]

For every $u_{1}\in\mathcal{X}$, define the set

[TABLE]

Clearly, $A_{u_{1}}$ is open in $\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}$ (and so it is measurable). The mapping $C^{+,u_{1},\ast}$ is defined on $A_{u_{1}}$ and it is clearly continuous. Therefore, for every $B\in\mathcal{B}(\Delta_{\mathcal{X}})$, $(C^{+,u_{1},\ast})^{-1}(B)$ is measurable. We have:

[TABLE]

where (a) follows from the fact that $(p_{1},p_{2})\in(C^{+,u_{1},\ast})^{-1}(B)$ if and only if $(p_{1},p_{2})\in A_{u_{1}}$ and $C^{+,u_{1},\ast}(p_{1},p_{2})\in B$. This shows that $C^{+,\ast}_{B}$ is measurable for every $B\in\mathcal{B}(\Delta_{\mathcal{X}})$. Therefore, $C^{+,\ast}$ is a measurable random mapping.

Let $(p_{1,n},p_{2,n})_{n\geq 0}$ be a converging sequence to $(p_{1},p_{2})$ in $\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}$. Since $C^{-,\ast}$ is continuous, we have $\displaystyle\lim_{n\to\infty}(C^{-,\ast}(p_{1,n},p_{2,n}))(u_{1})=(C^{-,\ast}(p_{1},p_{2}))(u_{1})$ for every $u_{1}\in\mathcal{X}$. Therefore, for every $u_{1}\in\operatorname*{supp}(C^{-,\ast}(p_{1},p_{2}))$, there exists $n_{u_{1}}\geq 0$ such that for every $n\geq n_{u_{1}}$, we have $C^{-,\ast}(p_{1,n},p_{2,n})>0$. Let $n_{0}=\max\{n_{u_{1}}:\;u_{1}\in\operatorname*{supp}(C^{-,\ast}(p_{1},p_{2}))\}$. For every $n\geq n_{0}$, we have $\operatorname*{supp}(C^{-,\ast}(p_{1},p_{2}))\subset\operatorname*{supp}(C^{-,\ast}(p_{1,n},p_{2,n}))$. Therefore, for every continuous and bounded mapping $g:\Delta_{\mathcal{X}}\rightarrow\mathbb{R}$, we have

[TABLE]

where (b) follows from the continuity of $g$ and $C^{-,\ast}$, and the continuity of $C^{+,u_{1},\ast}$ on $A_{u_{1}}$ for every $u_{1}\in\mathcal{X}$. (a) follows from the fact that:

[TABLE]

We conclude that the mapping $C^{+,\ast}$ is a continuous mapping from $\Delta_{\mathcal{X}}\times\Delta_{\mathcal{X}}$ to $\mathcal{MP}(\mathcal{X})$ when the latter space is endowed with the weak-$\ast$ topology.

Appendix I Proof of Proposition 10

Let $\hat{W}_{1}\in\operatorname*{DMC}_{\mathcal{X}_{1},\ast}^{(o)}$ and $\overline{W}_{2}\in\operatorname*{DMC}_{\mathcal{X}_{2},\ast}^{(o)}$. Fix $W_{1}\in\hat{W}_{1}$ and $W_{2}\in\overline{W}_{2}$ and let $\mathcal{Y}_{1}$ and $\mathcal{Y}_{2}$ be the output alphabets of $W_{1}$ and $W_{2}$ respectively. We may assume without loss of generality that $\operatorname*{Im}(W_{1})=\mathcal{Y}_{1}$ and $\operatorname*{Im}(W_{2})=\mathcal{Y}_{2}$.

Let $y\in\mathcal{Y}_{1}$. We have

[TABLE]

For every $x\in\mathcal{X}_{1}$, we have

[TABLE]

On the other hand, for every $x\in\mathcal{X}_{2}$, we have

[TABLE]

Therefore $(W_{1}\oplus W_{2})_{y}^{-1}=\phi_{1\#}(W_{1})_{y}^{-1}$, where $\phi_{1}$ is the canonical injection from $\mathcal{X}_{1}$ to $\mathcal{X}_{1}\coprod\mathcal{X}_{2}$.

Similarly, for every $y\in\mathcal{Y}_{2}$, we have $\displaystyle P_{W_{1}\oplus W_{2}}^{o}(y)=\frac{|\mathcal{X}_{2}|}{|\mathcal{X}_{1}|+|\mathcal{X}_{2}|}P_{W_{1}}^{o}(y)>0$ and $(W_{1}\oplus W_{2})_{y}^{-1}=\phi_{2\#}(W_{2})_{y}^{-1}$, where $\phi_{2}$ is the canonical injection from $\mathcal{X}_{2}$ to $\mathcal{X}_{1}\coprod\mathcal{X}_{2}$. For every $B\in\mathcal{B}(\Delta_{\mathcal{X}_{1}\coprod\mathcal{X}_{2}})$, we have:

[TABLE]

Therefore,

[TABLE]

This shows the first formula of Proposition 10.

For every $y=(y_{1},y_{2})\in\mathcal{Y}_{1}\times\mathcal{Y}_{2}$, we have

[TABLE]

For every $x=(x_{1},x_{2})\in\mathcal{X}_{1}\times\mathcal{X}_{2}$, we have

[TABLE]

For every $B\in\mathcal{B}(\Delta_{\mathcal{X}_{1}\times\mathcal{X}_{2}})$, we have

[TABLE]

Therefore,

[TABLE]

This shows the second formula of Proposition 10.

Now let $\alpha\in[0,1]$ and $\hat{W}_{1},\hat{W}_{2}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$. Fix $W_{1}\in\hat{W}_{1}$ and $W_{2}\in\hat{W}_{2}$ and let $\mathcal{Y}_{1}$ and $\mathcal{Y}_{2}$ be the output alphabets of $W_{1}$ and $W_{2}$ respectively. We may assume without loss of generality that $\operatorname*{Im}(W_{1})=\mathcal{Y}_{1}$ and $\operatorname*{Im}(W_{2})=\mathcal{Y}_{2}$. Let $W=[\alpha W_{1},(1-\alpha)W_{2}]$. If $\alpha=0$, then $W$ is equivalent to $W_{2}$ and $\operatorname*{MP}_{W}=\operatorname*{MP}_{W_{2}}=\alpha\operatorname*{MP}_{W_{1}}+(1-\alpha)\operatorname*{MP}_{W_{2}}$. If $\alpha=1$, then $W$ is equivalent to $W_{1}$ and $\operatorname*{MP}_{W}=\operatorname*{MP}_{W_{1}}=\alpha\operatorname*{MP}_{W_{1}}+(1-\alpha)\operatorname*{MP}_{W_{2}}$.

Assume now that $0<\alpha<1$. For every $y\in\mathcal{Y}_{1}$, we have:

[TABLE]

For every $x\in\mathcal{X}$, we have:

[TABLE]

Similarly, for every $y\in\mathcal{Y}_{2}$, we have $P_{W}^{o}(y)=(1-\alpha)P_{W_{2}}^{o}(y)>0$ and $W_{y}^{-1}=(W_{2})_{y}^{-1}$. Therefore,

[TABLE]

Therefore,

[TABLE]

This shows the third formula of Proposition 10.

Now let $\hat{W}\in\operatorname*{DMC}_{\mathcal{X},\ast}^{(o)}$ and let $\ast$ be a uniformity preserving binary operation on $\mathcal{X}$. Fix $W\in\hat{W}$ and let $\mathcal{Y}$ be the output alphabet of $W$. We may assume without loss of generality that $\operatorname*{Im}(W)=\mathcal{Y}$.

Let $U_{1},U_{2}$ be two independent random variables uniformly distributed in $\mathcal{X}$. Let $X_{1}=U_{1}\ast U_{2}$ and $X_{2}=U_{2}$. Send $X_{1}$ and $X_{2}$ through two independent copies of $W$ and let $Y_{1}$ and $Y_{2}$ be the output respectively.

For every $(y_{1},y_{2})\in\mathcal{Y}^{2}$, we have

[TABLE]

For every $u_{1}\in\mathcal{X}$, we have:

[TABLE]

For every $B\in\mathcal{B}(\Delta_{\mathcal{X}})$, we have

[TABLE]

Therefore,

[TABLE]

This shows the forth formula of Proposition 10.

For every $(y_{1},y_{2},u_{1})\in\mathcal{Y}^{2}\times\mathcal{X}$, we have:

[TABLE]

Therefore,

[TABLE]

For every $(y_{1},y_{2},u_{1})\in\operatorname*{Im}(W^{+})$, we have:

[TABLE]

For every $B\in\mathcal{B}(\Delta_{\mathcal{X}})$, we have

[TABLE]

Therefore,

[TABLE]

This shows the fifth and last formula of Proposition 10.