grandes-ecoles 2022 Q8a

grandes-ecoles · France · x-ens-maths-b__mp Proof Proof of Set Membership, Containment, or Structural Property
Let $E = \{x_1, x_2, \ldots, x_n, \ldots\}$ be a countably infinite set where the $x_i$ are pairwise distinct elements. We denote by $\mathscr{M}(E)$ the set of probability measures on $E$. If $\mu \in \mathscr{M}(E)$, we denote by $\mu(x)$ the value $\mu(\{x\})$.
We denote by $\mathscr{P}(E)$ the set of subsets of $E$. Let $\mathscr{B}(\mathscr{P}(E), \mathbb{R})$ be the $\mathbb{R}$-vector space of bounded functions from $\mathscr{P}(E)$ to $\mathbb{R}$. If $f \in \mathscr{B}(\mathscr{P}(E), \mathbb{R})$, we set $$\|f\| = \sup\{|f(A)|, \quad A \in \mathscr{P}(E)\}.$$
Show that $\mathscr{M}(E)$ is a subset of $\mathscr{B}(\mathscr{P}(E), \mathbb{R})$.
Let $E = \{x_1, x_2, \ldots, x_n, \ldots\}$ be a countably infinite set where the $x_i$ are pairwise distinct elements. We denote by $\mathscr{M}(E)$ the set of probability measures on $E$. If $\mu \in \mathscr{M}(E)$, we denote by $\mu(x)$ the value $\mu(\{x\})$.

We denote by $\mathscr{P}(E)$ the set of subsets of $E$. Let $\mathscr{B}(\mathscr{P}(E), \mathbb{R})$ be the $\mathbb{R}$-vector space of bounded functions from $\mathscr{P}(E)$ to $\mathbb{R}$. If $f \in \mathscr{B}(\mathscr{P}(E), \mathbb{R})$, we set
$$\|f\| = \sup\{|f(A)|, \quad A \in \mathscr{P}(E)\}.$$

Show that $\mathscr{M}(E)$ is a subset of $\mathscr{B}(\mathscr{P}(E), \mathbb{R})$.