Intereting Posts

Graph of $|x| + |y| = 1$
About the first positive root of $\sum_{k=1}^n\tan(kx)=0$
Matrix diagonalizable or not
Correlation between two linear sums of random variables
Finite union sigma field
Why must a field with a cyclic group of units be finite?
Is Steinhaus theorem ever used in topological groups?
Complex Exponents
finding the real values of $x$ such that : $x=\sqrt{2+\sqrt{2-\sqrt{2+x}}}$
The roots of $t^5+1$
If $\gcd(f(x), g(x))\ne1$, then $F/(fg)$ is not isomorphic to $F/(f)\times F/(g)$
Structure Theorem for abelian torsion groups that are not finitely generated
Orientation of Boundary of Lower Hemisphere – Stokes's Theorem
Probability that the convex hull of random points contains sphere's center
find spectrum matrix A

Let $X$ be a Banach space, $X^*$ its dual, $\mathcal{B}$ the unit ball of $X$ and $\mathcal{B}^*$ the unit ball of $X^*$. The following result is well-known

Theorem. If $X$ is separable, then $\mathcal{B}^*$ endowed with the weak*-topology is metrizable.

A solution would be the following: Let $(x_n)_{n\in\mathbb{N}}$ be a dense subset of $\mathcal{B}$. Then $d(\phi_1,\phi_2)=\sum_{n=1}^\infty 2^{-n}|\phi_1(x_n)-\phi_2(x_n)|$ is a metric which induces the weak*-topology of $\mathcal{B}^*$.

- How to prove that the implicit function theorem implies the inverse function theorem?
- Uniform convergence in a proof of a property of mollifiers in Evans's Partial Differential Equations
- Why is $L^1(\mathbb{R}^n) \cap L^2(\mathbb{R}^n)$ dense in $ L^2(\mathbb{R}^n)$?
- Why is such an operator continuous?
- Bounded sequence in Hilbert space contains weak convergent subsequence
- Spectrum of Indefinite Integral Operators

I was wondering about the converse:

Question 1. Suppose that the weak*-topology of $\mathcal{B}^*$ is metrizable. Is $X$ (norm-)separable?

My thought was: By Banach-Alaoglu $\mathcal{B}^*$ is weak*-compact. If it is also metrizable, then it is (weak*-)separable, and it follows easily that $X^*=\bigcup_{n=1}^\infty\mathcal{B}^*$ is also weak*-separable. The problem is that this does not imply that $X$ is separable ($\ell_\infty$ is a counterexample – weak$^*$-separability of $l_\infty^*$.)

My second idea was to try to compare a metric which induces the weak*-topology of $\mathcal{B}^*$ with some metric as in the proof of the theorem above, but I did not succeed.

We can also consider all the “dual statements” and ask similar questions. More precisely, we know that the following holds:

Theorem.If $X^*$ is norm-separable, then the weak topology of $\mathcal{B}$ is metrizable.

We prove this by defining $d(x,y)=\sum_{n=1}^\infty 2^{-n}|\phi_n(x-y)|$ for a dense sequence $(\phi_n)_{n\in\mathbb{N}}\subseteq\mathcal{B}^*$, as expected. Then we ask the question:

Question 2. If the weak topology of $\mathcal{B}$ is metrizable, is $X^*$ necessarily norm-separable (so $X$ is norm-separable as well)?

An alternative approach to answer Question 2 would be the following: Suppose $d$ is a metric inducing the weak topology of $\mathcal{B}$. Changing $d$ by $\frac{d}{1+d}$ if necessary, assume that $d$ is bounded. Let’s identify $X$ as a subspace of $X^{**}$ via the canonical mapping. Goldstine’s Theorem implies that the only possible metric in $\mathcal{B}^{**}$ extending $d$ and inducing the weak*-topology has to be given by

$$d'(\Lambda,\Gamma)=\inf\left\{\operatorname{diam}(U\cap X):U\text{ is weak*-open and }\Lambda,\Gamma\in U\right\}.$$

If Question 1 has a positive answer (and all the rest stated is true as well), then Question 1 implies that $X^*$ is separable.

One last comment: If $X$ is reflexive, then both questions have positive answers. For Question 1, we know (as above) that $X^*$ is weakly*-separable. But reflexivity of $X$ implies that the weak and weak*-topologies of $X^*$ are equal, so $X^*$ is weakly separable, hence separable, so $X$ must also be separable. A solution for question 2 follows similarly.

- Definition of uniform structure
- Why can't differentiability be generalized as nicely as continuity?
- Tychonoff Theorem in the box topology
- How to prove that $ \text{int}(\text{cl}(A)) = \text{cl}(\text{int}(A)) $?
- An idempotent operator is compact if and only if it is of finite rank
- Why is such an operator continuous?
- Uniform convergence in a proof of a property of mollifiers in Evans's Partial Differential Equations
- Integrating $f(x)=x$ for $x \in C$, the Cantor set, with respect to a certain measure
- Universal property of initial topology
- Natural derivation of the complex exponential function?

- Problem in understanding p implies q
- Easy proof of Black-Scholes option pricing formula
- Sum of cubes of first n fibonacci numbers
- When do we use entailment vs implication?
- The Instant Tangent
- Show that $\sqrt{2+\frac {10} 9\sqrt 3}+\sqrt{2-\frac {10} 9\sqrt 3}=2$
- Matrix diagonalizable or not
- Alternate Proof for $e^x \ge x+1$
- $(\ker (f))_{\frak{p}}=\ker (f_{\frak{p}})$
- Help with logarithmic definite integral: $\int_0^1\frac{1}{x}\ln{(x)}\ln^3{(1-x)}$
- What is the flaw of this proof (largest integer)?
- Covariance between squared and exponential of Gaussian random variables
- How prove $\frac{a}{11a+9b+c}+\frac{b}{11b+9c+a}+\frac{c}{11c+9a+b}\le\frac{1}{7}$
- Do real matrices always have real eigenvalues?
- Complex Functions: Integrability