Return to Answer

added a link

Source Link

edited Jun 10, 2018 at 20:21

André Henriques

43.2k
5
130
264

An example of a non-separable Banach space $X$ with $|B(X)|=\mathfrak c$ is any non-separable Banach space $X$ whose dual $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$.

This follows from the observation that the map $B(X)\to B(X^*)$, $T\mapsto T^*$, is injective and hence for a countable $w^*$-dense set $D$ in $X^*$ we have $$|B(X)|\le |B(X^*)|\le |(X^*)^{D}|=|X^*|^\omega=\mathfrak c^\omega=\mathfrak c.$$

A ZFC-example of a non-separable Banach space $X$ whose dual space $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$ is the Banach space $X=C(K)$ of continuous functions on the Alexandroff two-arrow spaceAlexandroff two-arrow space $K$.

The $w^*$-separability of the dual space $X^*$ was proved by Corson, see Theorem 12.43 in this book. The equality $|X^*|=\mathfrak c$ can be seen analyzing the structure of (probability) measures on the compact space $K$.

An example of a non-separable Banach space $X$ with $|B(X)|=\mathfrak c$ is any non-separable Banach space $X$ whose dual $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$.

This follows from the observation that the map $B(X)\to B(X^*)$, $T\mapsto T^*$, is injective and hence for a countable $w^*$-dense set $D$ in $X^*$ we have $$|B(X)|\le |B(X^*)|\le |(X^*)^{D}|=|X^*|^\omega=\mathfrak c^\omega=\mathfrak c.$$

A ZFC-example of a non-separable Banach space $X$ whose dual space $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$ is the Banach space $X=C(K)$ of continuous functions on the Alexandroff two-arrow space $K$.

The $w^*$-separability of the dual space $X^*$ was proved by Corson, see Theorem 12.43 in this book. The equality $|X^*|=\mathfrak c$ can be seen analyzing the structure of (probability) measures on the compact space $K$.

An example of a non-separable Banach space $X$ with $|B(X)|=\mathfrak c$ is any non-separable Banach space $X$ whose dual $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$.

This follows from the observation that the map $B(X)\to B(X^*)$, $T\mapsto T^*$, is injective and hence for a countable $w^*$-dense set $D$ in $X^*$ we have $$|B(X)|\le |B(X^*)|\le |(X^*)^{D}|=|X^*|^\omega=\mathfrak c^\omega=\mathfrak c.$$

A ZFC-example of a non-separable Banach space $X$ whose dual space $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$ is the Banach space $X=C(K)$ of continuous functions on the Alexandroff two-arrow space $K$.

The $w^*$-separability of the dual space $X^*$ was proved by Corson, see Theorem 12.43 in this book. The equality $|X^*|=\mathfrak c$ can be seen analyzing the structure of (probability) measures on the compact space $K$.

Source Link

created Jun 9, 2018 at 11:15

41.8k
3
74
183

An example of a non-separable Banach space $X$ with $|B(X)|=\mathfrak c$ is any non-separable Banach space $X$ whose dual $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$.

This follows from the observation that the map $B(X)\to B(X^*)$, $T\mapsto T^*$, is injective and hence for a countable $w^*$-dense set $D$ in $X^*$ we have $$|B(X)|\le |B(X^*)|\le |(X^*)^{D}|=|X^*|^\omega=\mathfrak c^\omega=\mathfrak c.$$

A ZFC-example of a non-separable Banach space $X$ whose dual space $X^*$ is $w^*$-separable and has cardinality $|X^*|=\mathfrak c$ is the Banach space $X=C(K)$ of continuous functions on the Alexandroff two-arrow space $K$.

The $w^*$-separability of the dual space $X^*$ was proved by Corson, see Theorem 12.43 in this book. The equality $|X^*|=\mathfrak c$ can be seen analyzing the structure of (probability) measures on the compact space $K$.