Intereting Posts

$ gl(2,\mathbb C) \cong sl(2,\mathbb C) \oplus \mathbb C $
Today a student asked me $\int \ln (\sin x) \, dx.$
Are there sets in the K-Topology that aren't open in the standard topology?
I am trying to show $\int^\infty_0\frac{\sin(x)}{x}dx=\frac{\pi}{2}$
Using Fermat's little theorem to find remainders.
Preservation of direct sums and finite generation
Mathmatical Induction
evaluate the following integral
How do solve this integral $\int_{-1}^1\frac{1}{\sqrt{1-x^2}}\arctan\frac{11-6\,x}{4\,\sqrt{21}}\mathrm dx$?
A logic problem, which involves math
integral to infinity + imaginary constant
Cross product of two vectors, given magnitudes and angle
Generalizing Ramanujan's proof of Bertrand's Postulate: Can Ramanujan's approach be used to show a prime between $4x$ and $5x$ for $x \ge 3$
Why square matrix with zero determinant have non trivial solution
Prime ideals in $C$

(In another question Nate Eldredge said I should ask this.)

Let $X$ be a Banach space, $X^\ast$ the dual space, and $B_{X^\ast}$ the unit ball of $X^\ast$. In the weak* topology for $X^\ast$, does one of these imply the other?

(a) $X^\ast$ is weak* separable

- Dimension for a closed subspace of $C$.
- Bounded Linear Mappings of Banach Spaces
- Relative countable weak$^{\ast}$ compactness and sequences
- Counterexample for the stability of orthogonal projections
- The reflexivity of the product $L^p(I)\times L^p(I)$
- If $u\in L^2(U)$ and $u>0$, how to show $u\ln u\in L^2(U)$?

(b) $B_{X^\ast}$ is weak* separable

- Continuous function on closed unit ball
- Example of a closed subspace of a Banach space which is not complemented?
- weak sequential continuity of linear operators
- Pointwise a.e. convergence and weak convergence in Lp
- Understanding the Frechet derivative
- Normal Operators: Meet
- A theorem due to Gelfand and Kolmogorov
- Closed set in $\ell^1$
- Is a completion of an algebraically closed field with respect to a norm also algebraically closed?
- $\ell_\infty$ is a Grothendieck space

(b) implies (a):

Let $D$ be a countable dense set in $B_{X^\ast}$. Then $\overline{\bigcup_{n=1}^\infty nD} \supseteq \bigcup_{n=1}^\infty nB_{X^\ast} = X^\ast$ and $\bigcup_{n=1}^\infty nD$ is countable.

(a) does not imply (b):

*provided* the preprint Antonio Avilés, Grzegorz Plebanek, José Rodríguez, *A weak* separable $C(K)^\ast$ space whose unit ball is not weak* separable* (2011) is correct. I don’t know if there are easier examples among less special spaces than C(K)*-spaces. If I interpret the introduction correctly, reference [14] could contain further examples.

OK, here is the answer I know. This explanation is essentially copied from my paper (“Measurability in a Banach space, II.” *Indiana Univ. Math. J.* **28** (1979) 559–579 LINK) Example 5.6. But the space comes from a paper of W. B. Johnson & J. Lindenstrauss (“Some remarks on weakly compactly generated Banach spaces.” *Israel J. Math.* **17** (1974), 219–230. LINK)

. . . . . . . . . . . . . . . .

In $l^\infty$, let $e_n$ be the unit vector $e_n(k) = \delta_{kn}$. Let $\{A_\gamma : \gamma \in \Gamma\}$ be an uncountable collection of infinite subsets of $\mathbb N$, such that the intersection of any two is finite.

aside.For example, consider the infinite binary tree. It has countably many nodes, but uncountably many branches. Let the nodes be indexed by $\mathbb N$ and let the branches be the sets $A_\gamma$.

Let $\varphi_\gamma \in l^\infty$ be the characteristic function of $A_\gamma$. For finite linear combinations, define a norm

$$

\left\|\sum c_\gamma \varphi_\gamma + \sum b_n e_n\right\| = \max\left(

\left\|\sum c_\gamma \varphi_\gamma + \sum b_n e_n\right\|_\infty,

\left(\sum|c_\gamma|^2\right)^{1/2}\right) .

$$

Let $X$ be the completion of these finite linear combinations under this norm.

The closed linear span $X_0$ of $\{e_n: n \in \mathbb N\}$ is a subspace isomorphic to $c_0$, and $X/X_0$ is isomorphic to $l^2(\Gamma)$. The dual of $X$ is isomorphic to $l^1 \oplus l^2(\Gamma)$; the pairing identifies the unit vectors of $l^1$ with the linear functionals $e_n^\ast(f) = f(n)$, and the unit vectors of $l^2(\Gamma)$ with the linear functionals $e_\gamma^\ast(f) = \lim_{n \in A_\gamma} f(n)$.

The countable set $\{e_n^\ast : n \in \mathbb N\} \subset X^\ast$ separates points of $X$, so its rational linear span is a countable set that is weak* dense in $X^\ast$.

$X$ admits no countable norming set of functionals, since any countable subset of $X^*$ is contained in $l^1 \oplus l^2(\Gamma_0)$ for some countable $\Gamma_0 \subset \Gamma$.

definition.Anorming setfor $X$ is a set $R \subseteq B_{X^\ast}$ such that for all $x \in X$,$$\|x\| = \sup\{|u(x)|: u \in R\} .$$

To show that $B_{X^\ast}$ is not weak* separable, it suffices to show:

any weak* dense subset of $B_{X^\ast}$ is a norming set. Indeed, let $R$ be weak* dense in $B_{X^\ast}$. Let $x_0 \in X$. Write $\|x_0\| = \alpha$. Let $\epsilon > 0$ be arbitrary. Since $R$ is a norming set, there exists $u_0 \in R$ with $|u_0(x_0)| \gt \alpha – \epsilon$. Replacing $x_0$ by $-x_0$ if necessary, we may assume $u_0(x_0)$ is positive. The set

$$

T_\epsilon := \{ u \in B_{X^\ast}: u(x_0)>\alpha-\epsilon\}

$$

is a nonempty weak* open set in $B_{X^\ast}$. Since $R$ is weak* dense, we have $R \cap T_\epsilon \ne \varnothing$. So

$$

\sup\{ |u(x_0)|: u \in R\} \gt \alpha – \epsilon .

$$

This is true for any $\epsilon > 0$, so

$$

\sup\{ |u(x_0)|: u \in R\} \ge \alpha = \|x_0\|,

$$

as required.

- $H$ is a maximal normal subgroup of $G$ if and only if $G/H$ is simple.
- Which of the following subsets of $\mathbb{R}^2$ are compact
- How would you describe calculus in simple terms?
- Books on the history of foundations of mathematics?
- Subgroups of $S_n$ of index $n$ are isomorphic to $ S_{n-1}$
- proving Jensen's formula
- Does this condition on the sum of a function and its integral imply that the function goes to 0?
- Probability of random integer's digits summing to 12
- Compactness of Algebraic Curves over $\mathbb C^2$
- Mathematics and Music
- Global maximum of a sum of Gaussians
- How many maximum number of isosceles triangle are possible in a regular polygon of $n$ sides?
- Proving that $\frac{e^x + e^{-x}}2 \le e^{x^2/2}$
- Is each edge interpreted like a $2$-cycle?
- Evaluate integral: $ \int_{-1}^{1} \frac{\log|z-x|}{\pi\sqrt{1-x^2}}dx$