---
abstract: 'In recent decades, topology has come to play an increasing role in some geometric aspects of Banach space theory. The class of so-called *$w^*$-locally relatively compact* sets was introduced recently by Fonf, Pallares, Troyanski and the author, and were found to be a useful topological tool in the theory of isomorphic smoothness and polyhedrality in Banach spaces. We develop the topological theory of these sets and present some Banach space applications.'
address: 'School of Mathematics and Statistics, University College Dublin, Belfield, Dublin 4, Ireland'
author:
- 'Richard J. Smith'
title: 'Topology, isomorphic smoothness and polyhedrality in Banach spaces'
---

[^1]

Introduction {#sect_introduction}
============

Given $k \in {\mathbb{N}}\cup \{\infty\}$, we say that a norm ${\ensuremath{\left\|\cdot\right\|}}$ on a Banach space $X$ is [*$\mathscr{C}^k$-smooth*]{} if it is $k$-times continuously Frechét differentiable on $X\setminus\{0\}$. A norm ${\ensuremath{\left\|\cdot\right\|}}$ is said to [*depend locally on finitely many coordinates from $H \subseteq X^*$*]{} ([*LFC-$H$*]{} for short) if, given $x \in X\setminus\{0\}$, there exists an open set $U \ni x$, functionals ${\ensuremath{{f}_1,\ldots,{f}_{n}}} \in H$, and a map ${\ensuremath{{\Phi}:{{\mathbb{R}}^n}\to{{\mathbb{R}}}}}$, such that $${\ensuremath{\left\|{y}\right\|}} \;=\; \Phi(f_1(y),\dots, f_n(y)),$$ whenever $y \in U$. If ${\ensuremath{\left\|\cdot\right\|}}$ is LFC-$X^*$ then we simply call it LFC. This notion was first explicitly introduced and investigated in [@pwz:81]. Many $\mathscr{C}^k$-smooth norms happen to be LFC, see e.g. [@hajek:95; @hh:07] and the survey [@hz:06], because it is much easier to construct smooth functions locally on finite-dimensional spaces and then glue them together, rather than build smooth functions directly on infinite-dimensional space (a notable exception being the canonical norm on Hilbert space).

We say that a norm ${\ensuremath{\left\|\cdot\right\|}}$ on a Banach space $X$ is [*polyhedral*]{} if, given any finite-dimensional subspace $E$, the unit ball $B_E$ of $E$ with respect to ${\ensuremath{\left\|\cdot\right\|}}$ is a polytope, that is, there exist ${\ensuremath{{f}_1,\ldots,{f}_{n}}} \in X^*$ such that $${\ensuremath{\left\|{y}\right\|}} \;=\; \max\{f_1(y),\dots, f_n(y)\},$$ whenever $y \in E$. The theory of polyhedral norms was instigated by Klee [@klee:59] and major contributions were made later by Fonf in a series of papers, including [@fonf:80; @fonf:81; @fonf:00].

Polyhedral norms and LFC norms share several properties. The next theorem gathers results from [@fonf:80 Theorem 5], [@pwz:81], [@fz:97 Corollary 2] and [@fonf:00 Theorem 3.9].

\[thm\_nec\_conditions\] Let the norm of $X$ be either polyhedral or LFC. Then

1.  $X$ is an Asplund space, which is equivalent to saying that every separable subspace of $X$ has separable dual, and

2.  $X$ is $c_0$-saturated, i.e., every infinite-dimensional subspace of $X$ contains an isomorphic copy of $c_0$.

The notion of a boundary of a Banach space (or the norm of the space) is central to the theory of both polyhedral and LFC norms. A set $B \subseteq B_{X^*}$ is called a [*boundary*]{} of the Banach space $(X,{\ensuremath{\left\|\cdot\right\|}})$ if, whenever $x \in X$, there exists $f \in B$ satisfying $f(x)={\ensuremath{\left\|{x}\right\|}}$. Sometimes this is referred to as a [*James boundary*]{} in the literature. The properties of boundaries are not preserved by isomorphisms in general: boundaries of $(X,{\ensuremath{\left\|\cdot\right\|}})$ and $(X,{\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}})$, where ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$ is an equivalent norm, may be very different in character.

Standard examples of boundaries include the dual unit sphere $S_{X^*}$ of $X^*$, and the set of extreme points $\operatorname{ext}(B_{X^*})$ of $B_{X^*}$, by the Hahn-Banach and Krein-Milman Theorems. If $(X,{\ensuremath{\left\|\cdot\right\|}})$ has a boundary that is ‘small’ (e.g. countable) or otherwise well-behaved, then $X$ enjoys good geometric properties as a consequence.

In particular, in the separable case, we obtain a series of equivalent conditions that tie together the above notions very tightly, up to isomorphism. Hereafter, if a Banach space (with a given norm) is said to admit a norm, then it should be understood that this norm is equivalent to the original one.

\[sepequiv\] Let $X$ be a separable Banach space. The following statements are equivalent.

1.  $X$ admits a norm ${\ensuremath{\left\|\cdot\right\|}}$ such that $(X,{\ensuremath{\left\|\cdot\right\|}})$ has a countable boundary;

2.  $X$ admits a norm ${\ensuremath{\left\|\cdot\right\|}}$ such that $(X,{\ensuremath{\left\|\cdot\right\|}})$ has a norm-$\sigma$-compact boundary;

3.  $X$ admits a polyhedral norm;

4.  $X$ admits a polyhedral LFC norm;

5.  $X$ admits a LFC norm;

6.  $X$ admits a $\mathscr{C}^\infty$-smooth LFC norm.

Moreover, by Theorem \[thm\_nec\_conditions\], if $X$ is separable and satisfies any of the conditions above then it its dual is separable. In general, the relationship between the existence of polyhedral norms, LFC norms and smooth (LFC) norms is less clear. The following notion, involving a pair of topologies, was introduced recently in [@fpst:14], and was used to provide a sufficient condition for the existence of equivalent polyhedral and smooth LFC norms.

\[lrc\] Let $X$ be a set and let $\tau$ and $\rho$ be two Hausdorff topologies on $X$, with $\rho$ finer than $\tau$. We say that $E \subseteq X$ is [*$\tau$-locally relatively $\rho$-compact*]{} ($(\tau,\rho)$-LRC for short), if given $x \in E$, there exists a $\tau$-open set $U \subseteq X$, such that $x \in U$ and ${\ensuremath{\overline{{E \cap U}}}}^{\rho}$ is $\rho$-compact. We say that $E$ is [*$\sigma$-$(\tau,\rho)$-LRC*]{} if it can be expressed as a countable union of $(\tau,\rho)$-LRC sets.

The interplay between pairs of topologies can be found in other topological notions employed in Banach space theory, such as sets of [*small local diameter*]{} [@jnr:92 p. 162], and Raja’s property $P(\cdot,\cdot)$ (see Section \[sect\_LUR\]).

In the main, we shall be concerned with ($w^*,{\ensuremath{\left\|\cdot\right\|}}$)-LRC subsets of dual Banach spaces. For brevity, we shall simply call these $w^*$-LRC sets. Recall that a [*Markushevich basis*]{} (M-basis) $(e_\gamma,e_\gamma^*)_{\gamma \in \Gamma}$ of a Banach space $X$ is a biorthogonal system, such that $X={\ensuremath{\overline{{\operatorname{span}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(e_\gamma)_{\gamma \in \Gamma}$ and $X^* = {\ensuremath{\overline{{\operatorname{span}}}}}^{w^*}(e^*_\gamma)_{\gamma \in \Gamma}$. Given $x \in X$ and $f \in X^*$, define their [*supports*]{} $$\operatorname{supp}(x) \;=\; {\ensuremath{\left\{{\gamma \in \Gamma}\;:\;\,{e^*_\gamma(x) \neq 0}\right\}}}\quad\text{and}\quad \operatorname{supp}(f) \;=\; {\ensuremath{\left\{{\gamma \in \Gamma}\;:\;\,{f(e_\gamma) \neq 0}\right\}}}.$$

\[weakstarlrcex\] 

1.  Any relatively norm-compact or $w^*$-relatively discrete subset of a dual Banach space is $w^*$-LRC.

2.  Any norm-$K_\sigma$ set is $\sigma$-$w^*$-LRC.

3.  Let $(e_\gamma,e_\gamma^*)_{\gamma \in \Gamma}$ be a M-basis of a Banach space $X$. Given a fixed $n \in {\mathbb{N}}$, the set $${\ensuremath{\left\{{f \in X^*}\;:\;\,{\operatorname{card}(\operatorname{supp}f) = n}\right\}}},$$ is $w^*$-LRC, and thus ${\ensuremath{\left\{{f \in X^*}\;:\;\,{\operatorname{supp}f \text{ is finite}}\right\}}}$ is $\sigma$-$w^*$-LRC.

4.  If $K$ is a compact space that is *$\sigma$-discrete* (i.e. the union of countably many sets, each of which is relatively discrete), then the set of Dirac measures ${\ensuremath{\left\{{\delta_t}\;:\;\,{t \in K}\right\}}} \subseteq C(K)^*$ is $\sigma$-$w^*$-LRC.

It was shown in [@fpst:14 p. 254] that the unit sphere $S_{X^*}$ of an infinite-dimensional dual Banach space $X^*$ can never be $\sigma$-$w^*$-LRC (this applies equally to $S_Y$, where $Y \subseteq S_{X^*}$ is any infinite-dimensional subspace, and follows from Proposition \[prop\_lrc\_facts\] (1) below). However, it is possible for certain boundaries, such as $\operatorname{ext}(B_{X^*})$ in some cases, to be $\sigma$-$w^*$-LRC. In applications, our boundaries will be simultaneously $w^*$-LRC and $w^*$-$K_\sigma$ (a countable union of $w^*$-compact sets). Our principal application follows after the next definition.

\[epapprox\] Let $(X,{\ensuremath{\left\|\cdot\right\|}})$ be a Banach space and let ${\varepsilon}>0$. We will say that a new norm ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$ on $X$ [*${\varepsilon}$-approximates*]{} ${\ensuremath{\left\|\cdot\right\|}}$ if $${\ensuremath{\left\|{x}\right\|}} \;\leqslant\; {\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|{x}\right|\kern-.9pt\right|\kern-.9pt\right|}} \;\leqslant\; (1+{\varepsilon}){\ensuremath{\left\|{x}\right\|}},$$ for all $x \in X$. Moreover, given a property $\mathbf{P}$ of norms, we say that ${\ensuremath{\left\|\cdot\right\|}}$ can be [*approximated*]{} by norms having $\mathbf{P}$ if, given ${\varepsilon}>0$ there is a norm ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$ having $\mathbf{P}$ that ${\varepsilon}$-approximates ${\ensuremath{\left\|\cdot\right\|}}$.

\[tb\] Let $(X,{\ensuremath{\left\|\cdot\right\|}})$ be a Banach space having a boundary $B$ that is both $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$. Then ${\ensuremath{\left\|\cdot\right\|}}$ can be approximated by both $C^\infty$-smooth and polyhedral norms.

Theorem \[tb\] generalises Theorem \[sepequiv\] (2) $\Rightarrow$ (4), (6), and reduces to these implications in the separable case, because if $X$ is separable, then $({\ensuremath{B_{{\ensuremath{{X}^*}}}}},w^*)$ is hereditarily Lindelöf, which implies that a $\sigma$-$w^*$-LRC set is a countable union of relatively norm-compact sets. This theorem also generalises results from [@fpst:08; @hh:07].

Examples of spaces satisfying the hypotheses of Theorem \[tb\] include certain Orlicz and Nakano spaces, preduals of certain Lorentz spaces and $C(K)$-spaces, where $K$ is compact and $\sigma$-discrete – see [@bible:14 Example 3.9] and [@fpst:14 Examples 16 and 18, and Corollary 19].

More recently, Theorem \[tb\] has also been used to show that an arbitrary equivalent norm on $c_0(\Gamma)$ can be approximated by both $\mathscr{C}^\infty$-smooth and polyhedral norms [@bs:16]. This is the first non-separable approximation result of its kind. Even more recently, this result was generalised to more classes of Banach spaces, namely certain subclasses of the Orlicz, Nakano, Lorentz predual and $C(K)$-spaces mentioned in the previous paragraph [@st:18].

In this context, the most optimistic outcome would be to formulate a non-separable analogue of Theorem \[sepequiv\] (perhaps restricted to the class of Banach spaces admitting a norm having a locally uniformly rotund dual norm – see Section \[sect\_LUR\]). The class of sets that are both $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ naturally generalize the norm-$\sigma$-compact sets in a manner suitable for the construction of $\mathscr{C}^\infty$-smooth and polyhedral norms in a non-separable setting. In the author’s opinion, this class represents an important step in the direction of such an analogue, and believes that further study of the properties of the class is desirable.

Topological permanence properties of ($\tau,\rho$)-LRC sets {#sect-top}
===========================================================

In this section, we use topological methods to make some observations about ($\tau,\rho$)-LRC sets, specifically concerning permanence properties, that is, the preservation (or otherwise) of these sets under topological and linear operations. These observations will then yield geometric consequences. We begin by repeating some known topological facts concerning these sets that are used in this paper.

\[prop\_lrc\_facts\] Let $X$, $\tau$ and $\rho$ be as in Definition \[lrc\].

1.  If $(X,\tau)$ is a Baire space and ${\ensuremath{\overline{{U}}}}^\rho$ is not $\rho$-compact whenever $U$ is $\tau$-open and non-empty, then $X$ is not $\sigma$-$(\tau,\rho)$-LRC.

2.  If $\rho$ is metrizable (with metric also denoted by $\rho$), then any $(\tau,\rho)$-LRC set $E\subseteq X$ has small local diameter, in the sense that given $x \in E$ and ${\varepsilon}>0$, there exists a $\tau$-open subset $U \subseteq X$, such that $x \in E \cap U$ and $\rho$-${\ensuremath{\operatorname{diam}{\left({E \cap U}\right)}}} < {\varepsilon}$.

3.  If $E\subseteq X$ is $(\tau,\rho)$-LRC then there exists a $\tau$-open set $V$, such that $E \subseteq {\ensuremath{\overline{{E}}}}^\tau \cap V \subseteq {\ensuremath{\overline{{E}}}}^\rho$, and ${\ensuremath{\overline{{E}}}}^\tau \cap V$ is also $(\tau,\rho)$-LRC.

In order to consider permanence properties of ($\tau,\rho$)-LRC sets, we must introduce some compactness. Without some form of compactness in play, $\sigma$-$w^*$-LRC sets are not preserved under the most simple linear operations. Indeed, in [@bible:14 Remark 1.10 (3)], an example is given of a relatively $w^*$-discrete subset $E$ of a dual Banach space $X^*$, such that $E+E$ includes the unit ball of an infinite-dimensional subspace $Y \subseteq X^*$. Consequently, $E+E$ is not $\sigma$-$w^*$-LRC (see the remarks after Example \[weakstarlrcex\]). We remark also that the compactness assumption is vital for Theorem \[tb\] to operate correctly as well: in a development of [@bible:14 Remark 1.10 (3)], Bible showed that the space $Z:=\ell_1 \oplus \ell_1(S_{\ell_\infty})$, which is neither Asplund nor $c_0$-saturated (because it contains $\ell_1$), and thus not isomorphically polyhedral, by Theorem \[thm\_nec\_conditions\], nevertheless admits a norm with respect to which $Z$ has a relatively $w^*$-discrete boundary [@bible:16 Remark 3.4.4]. Therefore, simply being $\sigma$-$w^*$-LRC is not a sufficient condition for the existence of the types of norms under discussion.

So a little compactness seems necessary for any sort of reasonable behaviour, and it turns out we can prove some satisfactory permanence properties once we are armed with it. Theorem \[perfectimage\] below shows that the property of being $\sigma$-$(\tau,\rho)$-LRC is preserved by certain types of perfect maps. Let $\tau$ and $\rho$ and $\tau'$ and $\rho'$ be two pairs of Hausdorff topologies on two sets $X$ and $Y$, respectively, with $\rho$ finer than $\tau$ and $\rho'$ finer than $\tau'$.

\[perfectimage\] Let $X$ be $\sigma$-$(\tau,\rho)$-LRC, and let ${\ensuremath{{\pi}:{X}\to{Y}}}$ be a surjective map that is $\tau$-$\tau'$ perfect and $\rho$-$\rho'$ continuous. Then $Y$ is $\sigma$-$(\tau',\rho')$-LRC.

Using this theorem, we are able to prove a series of further results and corollaries.

\[linspan\] If $E$ is a $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$ subset of a dual Banach space $X^*$, then so is ${\ensuremath{\operatorname{span}({E})}}$.

As a particular application of Theorem \[linspan\], if the set $E \subseteq X^*$ possesses a single $w^*$-accumulation point $0$, then $E \cup \{0\}$ is the union of two $w^*$-discrete sets $E$ and $\{0\}$, and countably many $w^*$-compact sets ${\ensuremath{\left\{{f \in E}\;:\;\,{{\ensuremath{\left\|{f}\right\|}} \leqslant n}\right\}}} \cup \{0\}$, $n \in {\mathbb{N}}$. Consequently, ${\ensuremath{\operatorname{span}({E})}}$ is $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$. Hence the linear structure of the M-bases underlying Example \[weakstarlrcex\] (3) is not needed: given such a basis $(e_\gamma,e^*_\gamma)$, we see that $0$ is the only $w^*$-accumulation point of ${\ensuremath{\left\{{e^*_\gamma}\;:\;\,{\gamma \in \Gamma}\right\}}}$.

The next corollary is used in [@st:18 Section 7], as part of the proof of the result mentioned in Section \[sect\_introduction\], concerning the approximation by $\mathscr{C}^\infty$-smooth and polyhedral norms of arbitrary equivalent norms on certain $C(K)$-spaces.

Let $K$ be a $\sigma$-discrete compact space. Then the linear subspace of measures in $C(K)^*$ supported on finitely many points of $K$ is $\sigma$-$w^*$-LRC.

Apply Theorem \[linspan\] to the linear span of the subset in Example \[weakstarlrcex\] (4), which is $w^*$-compact.

The next corollary follows immediately, using Theorem \[tb\].

\[bdy-lin-span\] Let $E\subseteq X^*$ be $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$, and suppose that $(X,{\ensuremath{\left\|\cdot\right\|}})$ admits a boundary contained in ${\ensuremath{\operatorname{span}({E})}}$. Then $X$ admits norms as in Theorem \[tb\].

This leads to two further corollaries.

\[M-basis\] If $(e_\gamma,e^*_\gamma)_{\gamma \in \Gamma}$ is an M-basis of $X$, and $(X,{\ensuremath{\left\|\cdot\right\|}})$ has a boundary contained in $\operatorname{span}(e^*_\gamma)_{\gamma \in \Gamma}$, then $X$ admits norms as in Theorem \[tb\].

Apply Corollary \[bdy-lin-span\], together with the example after Theorem \[linspan\].

The final corollary has implications for LFC norms.

\[LFC\] Let $X$ be a Banach space and let ${\ensuremath{\left\|\cdot\right\|}}$ be a LFC-$E$ norm, where $E\subseteq X^*$ is $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$. Then $X$ admits norms as in Theorem \[tb\].

In the proof of [@hajek:95 Theorem 1]), it is shown that if a norm ${\ensuremath{\left\|\cdot\right\|}}$ is LFC-$E$, where $E \subseteq X^*$ is some set, then every norm-attaining element of $S_{X^*}$ is an element of $\operatorname{span}(E)$. Consequently, $X$ has a boundary contained in $\operatorname{span}(E)$. If $E$ is $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$, we can thus apply Corollary \[bdy-lin-span\].

In order to prove Theorems \[perfectimage\] and \[linspan\], we require some machinery that is based on Haydon’s analysis of locally uniformly rotund norms on $C(K)$, where $K$ is a so-called Namioka–Phelps compact space [@haydon:08]. Lemma \[minimal\] and its proof can be found in [@ks:15], but it is essentially due to Haydon. Let $X$ be a Hausdorff space, such that $X=\bigcup_{n=1}^\infty H_n$, where each $H_n$ is open in its closure. Let $$\Sigma \;=\; {\ensuremath{\left\{{\sigma=(n_1,n_2,\dots,n_k)}\;:\;\,{n_1 < n_2 < \dots < n_k,\, k \in {\mathbb{N}}}\right\}}}.$$ Totally order $\Sigma$ be declaring that $\sigma \prec \sigma'$ if and only if $\sigma$ properly extends $\sigma'$, or if there exists $k \in {\mathbb{N}}$ such that the $i$th entries $n_i$ and $n'_i$ of $\sigma$ and $\sigma'$, respectively, are defined for $i \leqslant k$, agree whenever $i < k$, and $n_k < n'_k$. This is the [*Kleene–Brouwer ordering*]{} on $\Sigma$ and not the lexicographic order.

Given $\sigma=(n_1,n_2,\dots,n_k) \in \Sigma$, let $$\begin{aligned}
H_\sigma &\;=\; ({\ensuremath{\overline{{H_{n_1}}}}}\setminus H_{n_1}) \cap \dots \cap ({\ensuremath{\overline{{H_{n_{k-1}}}}}}\setminus H_{n_{k-1}}) \cap H_{n_k}\\
\text{and}\quad \hat{H}_\sigma &\;=\; ({\ensuremath{\overline{{H_{n_1}}}}}\setminus H_{n_1}) \cap \dots \cap ({\ensuremath{\overline{{H_{n_{k-1}}}}}}\setminus H_{n_{k-1}}) \cap {\ensuremath{\overline{{H_{n_k}}}}}.\end{aligned}$$ Evidently, $H_\sigma \subseteq \hat{H}_\sigma$ and $\hat{H}_\sigma$ is closed.

\[minimal\] Let $M \subseteq X$ be non-empty and compact. Then there exists minimal $\sigma \in \Sigma$ such that $M \cap \hat{H_\sigma}$ is non-empty. Moreover, for this element $\sigma$, we have $M \cap H_\sigma = M \cap \hat{H}_\sigma$.

Armed with this result, we can present the proof of Theorem \[perfectimage\].

Let $X=\bigcup_{n=1}^\infty H_n$, where each $H_n$ is $(\tau,\rho)$-LRC. By Proposition \[prop\_lrc\_facts\] (3), we can assume that each $H_n$ is $\tau$-open in ${\ensuremath{\overline{{H_n}}}}^\tau$. Let $\Sigma$ be as above, and let $$M_\sigma \;=\; {\ensuremath{\left\{{t \in Y}\;:\;\,{\pi^{-1}(t) \cap H_\sigma = \pi^{-1}(t) \cap \hat{H}_\sigma \neq \varnothing}\right\}}}.$$ Since $\pi^{-1}(t)$ is non-empty and $\tau$-compact, by Lemma \[minimal\], we know that $Y = \bigcup_{\sigma\in\Sigma} M_\sigma$. Our aim now is to prove that each $M_\sigma$ is $(\tau',\rho')$-LRC. Fix $t \in M_\sigma$. Given any $s \in \pi^{-1}(t) \cap \hat{H}_\sigma$, there exists $\tau$-open $U_s \ni s$ such that ${\ensuremath{\overline{{U_s \cap H_\sigma}}}}^\rho$ is $\rho$-compact. By $\tau$-compactness, there exist ${\ensuremath{{s}_1,\ldots,{s}_{k}}} \in \pi^{-1}(t) \cap \hat{H}_\sigma$ such that if $U = \bigcup_{i=1}^k U_{s_i}$, then $\pi^{-1}(t) \cap \hat{H}_\sigma \subseteq U$. Moreover, $${\ensuremath{\overline{{U \cap H_\sigma}}}}^\rho \;=\; {\ensuremath{\overline{{\bigg(\bigcup_{i=1}^k U_{s_i} \cap H_\sigma\bigg)}}}}^\rho
\;=\; \bigcup_{i=1}^k {\ensuremath{\overline{{U_{s_i} \cap H_\sigma}}}}^\rho,$$ which is $\rho$-compact.

Now $\hat{H}_\sigma\setminus U$ is $\tau$-closed, so $W=Y\setminus \pi(\hat{H}_\sigma\setminus U)$ is $\tau'$-open in $M$ because $\pi$ is $\tau$-$\tau'$ perfect. We claim that $t \in W$ and ${\ensuremath{\overline{{W \cap M_\sigma}}}}^{\rho'}$ is $\rho'$-compact. Indeed, $t \in W$ because $\pi^{-1}(t) \cap \hat{H}_\sigma\setminus U = \varnothing$, which implies $t \notin \pi(\hat{H}_\sigma\setminus U)$. Given that $\pi$ is $(\rho,\rho')$-continuous, the second assertion follows from the fact that $W \cap M_\sigma \subseteq \pi(U \cap H_\sigma)$. If $r \in W \cap M_\sigma
=M_\sigma\setminus\pi(\hat{H}_\sigma\setminus U)$, then $\pi^{-1}(r) \cap H_\sigma = \pi^{-1}(r) \cap \hat{H}_\sigma \neq \varnothing$, and $r \notin \pi(\hat{H}_\sigma\setminus U)$, so $\pi^{-1}(r)\cap \hat{H}_\sigma\setminus U = \varnothing$, i.e. $\pi^{-1}(r)\cap \hat{H}_\sigma \subseteq U$. Pick an element $v \in \pi^{-1}(r)\cap \hat{H}_\sigma = \pi^{-1}(r) \cap H_\sigma$. Then $v \in U \cap H_\sigma$, giving $r=\pi(v) \subseteq \pi(U \cap H_\sigma)$.

We require two more results before we can give the proof of Theorem \[linspan\].

\[ksigma-image\] Let ${\ensuremath{{{\ensuremath{\mathrm{\pi}}}}:{X}\to{Y}}}$ be a $\tau$-$\tau'$ and $\rho$-$\rho'$ continuous map, and let $E \subseteq X$ be $\sigma$-$(\tau,\rho)$-LRC and $\sigma$-$\tau$-compact. Then $\pi(E)$ is $\sigma$-$(\tau',\rho')$-LRC and $\sigma$-$\tau'$-compact.

If $E = \bigcup_{n=1}^\infty K_n$, where each $K_n$ is $\tau$-compact, then $\pi$ restricted to $K_n$ is $\tau$-$\tau'$ perfect onto its image, so $\pi(K_n)$ is $\sigma$-$(\tau',\rho')$-LRC, and is evidently $\tau'$-compact.

The next result we state without proof.

\[prodLRC\] Let $X_i$, $1 \leqslant i \leqslant n$, be sets and $\tau_i$ and $\rho_i$ Hausdorff topologies on $X_i$, with $\rho_i$ finer than $\tau_i$. If $E_i \subseteq X_i$ is $(\tau_i,\rho_i)$-LRC, then $\prod_{i=1}^n E_i$ is $(\tau,\rho)$-LRC, where $\tau$ and $\rho$ are the product topologies of the $\tau_i$ and $\rho_i$, respectively.

Since $E$ is ${\ensuremath{w^*}}$-$K_\sigma$, we can express $E$ as a union of an increasing sequence of ${\ensuremath{w^*}}$-compact sets $K_n$, $n \geqslant 1$, each of which being $\sigma$-${\ensuremath{w^*}}$-LRC. Then ${\ensuremath{\operatorname{span}({E})}} = \bigcup_{n=1}^\infty {\ensuremath{\operatorname{span}({K_n})}}$, so it suffices to show that ${\ensuremath{\operatorname{span}({K_n})}}$ is $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$ for each $n$. Fix $n$ for the rest of the proof, and given $p \in {\mathbb{N}}$, define $$M_p \;=\; K_n^p \times [-p,p]^p \quad\text{and}\quad L_p \;=\; {\ensuremath{\left\{{\sum_{i=1}^p a_i f_i}\;:\;\,{{\ensuremath{{f}_1,\ldots,{f}_{p}}} \in K_n \text{ and }|a_1|,\dots,|a_p| \leqslant p}\right\}}}.$$ Since $K_n$ is $\sigma$-${\ensuremath{w^*}}$-LRC and $[-p,p]$ is LRC with respect to the usual topology, it follows from Proposition \[prodLRC\] that $M_p$ is $\sigma$-$(\tau,\rho)$-LRC, where $\tau$ are $\rho$ are the corresponding product topologies. Evidently, the surjective map ${\ensuremath{{\pi}:{M_p}\to{L_p}}}$ given by $$\pi(f_1,\dots,f_p,a_1,\dots,a_p) \;=\; \sum_{i=1}^p a_i f_i,$$ is both $\tau$-${\ensuremath{w^*}}$ and $\rho$-${\ensuremath{\left\|\cdot\right\|}}$ continuous. Since $M_p$ is $\tau$-compact, $\pi$ is $\tau$-${\ensuremath{w^*}}$ perfect as well. According to Theorem \[perfectimage\], $L_p$ is $\sigma$-${\ensuremath{w^*}}$-LRC. This holds for all $p \in {\mathbb{N}}$. Since $L_p$ is also ${\ensuremath{w^*}}$-compact, it follows that ${\ensuremath{\operatorname{span}({K_n})}} = \bigcup_{p=1}^\infty L_p$ is $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$, as required.

We conclude the first part of this section with two more corollaries. The first corollary is motivated by the fact that isomorphic polyhedrality and $\mathscr{C}^\infty$-smoothness are properties preserved by isomorphic embeddings.

Let $X$ and $Y$ be Banach spaces and ${\ensuremath{{T}:{X}\to{Y}}}$ an isomorphic embedding. If $(Y,{\ensuremath{\left\|\cdot\right\|}})$ has a boundary that is contained in a $\sigma$-${\ensuremath{w^*}}$-LRC and ${\ensuremath{w^*}}$-$K_\sigma$ set, then so does $(X,{\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}})$, where the equivalent norm ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$ is defined by ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|{x}\right|\kern-.9pt\right|\kern-.9pt\right|}} = {\ensuremath{\left\|{T(x)}\right\|}}$.

Apply Corollary \[ksigma-image\] to ${\ensuremath{{T^*}:{Y^*}\to{X^*}}}$. If $B$ is a boundary of $Y$ with respect to ${\ensuremath{\left\|\cdot\right\|}}$, then it is easy to see that $T^*(B)$ is a boundary of $X$ with respect to ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$.

Finally, injective tensor products have been studied in the context of smooth and polyhedral norms. Let $X$ and $Y$ be Banach spaces, where the norm on $Y$ is either polyhedral or $\mathscr{C}^k$-smooth. In [@bible:14; @fpst:08; @haydon:96], sufficient conditions on $X$ are given for the injective tensor product ${\ensuremath{{X}\hat{\otimes}_{\varepsilon}{Y}}}$ to admit a norm of the same type. One such condition is that $X$ has a boundary that is both $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$. This observation motivates the final result of the section.

If $X$ and $Y$ are Banach space have norms that admit $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ boundaries, then so does the natural tensor norm of ${\ensuremath{{X}\hat{\otimes}_{\varepsilon}{Y}}}$.

Let $B$ and $C$ be $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ boundaries of the norms on $X$ and $Y$, respectively. Then $B\times C$ is a $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ subset of $X^*\oplus Y^*$. The set $${\ensuremath{\left\{{{\ensuremath{{f}\otimes{g}}}}\;:\;\,{(f,g) \in B\times C}\right\}}} \;\subseteq \; ({\ensuremath{{X}\hat{\otimes}_{\varepsilon}{Y}}})^*,$$ is a boundary of ${\ensuremath{{X}\hat{\otimes}_{\varepsilon}{Y}}}$ with respect to the natural injective tensor norm. Moreover, it is a simultaneously norm and $w^*$-continuous image of $B\times C$, so it is $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ by Corollary \[ksigma-image\].

The role of locally uniformly rotund dual norms {#sect_LUR}
===============================================

In this section, we use more topological tools to give a necessary condition for the existence of a $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ boundary. Recall that a norm ${\ensuremath{\left\|\cdot\right\|}}$ is [*locally uniformly rotund (LUR)*]{} if, given a unit vector $x \in X$ and a sequence $(x_n) \subseteq X$ such that ${\ensuremath{\left\|{x_n}\right\|}} \to 1$ and ${\ensuremath{\left\|{x+x_n}\right\|}}\to 2$, we have ${\ensuremath{\left\|{x-x_n}\right\|}}\to 0$.

The theory of LUR norms has become closely associated with topology (see [@motv:09]). The following definition appears in [@or:04; @raja:02] (and in earlier papers of Raja). Let $K \subseteq X^*$ be a $w^*$-compact subset of a dual Banach space. We say that $K$ has *$P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets* if there is a sequence $(A_n)_{n=1}^\infty$ of $w^*$-closed subsets of $K$, such that given $f \in K$ and ${\varepsilon}>0$, there exist $n\in{\mathbb{N}}$ and a $w^*$-open set $U$ with the property that $x \in A_n \cap U$ and ${\ensuremath{\left\|\cdot\right\|}}$-${\ensuremath{\operatorname{diam}{\left({A_n \cap U}\right)}}}<{\varepsilon}$. Equivalently, $K$ as above has $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets if and only if $(K,w^*)$ is *descriptive* and *fragmented* by the norm [@or:04]. We shall require the following theorem.

\[or\_thm\] Let $X$ be a Banach space, let $K \subseteq X^*$ have $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets, and let $X^* = {\ensuremath{\overline{{\operatorname{span}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(K)$. Then $X$ admits a norm having LUR dual norm.

It is well known that if $X$ has a separable dual then $X$ admits a norm having LUR dual norm (see e.g. [@dgz:93 Theorem II.2.6]). This result is an easy corollary of Theorem \[or\_thm\]. Indeed, if $X^*$ is separable, with $(f_n)$ norm-dense in $S_{X^*}$, then $X^*={\ensuremath{\overline{{\operatorname{span}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(K)$, where $K:={\ensuremath{\left\{{n^{-1}f_n}\;:\;\,{n \in {\mathbb{N}}}\right\}}} \cup \{0\}$, and it is straightforward to see that $K$ has $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets. We use Theorem \[or\_thm\] to prove the main result of this section.

\[main\] Let $X$ admit a boundary that is both $\sigma$-$w^*$-LRC $w^*$-$K_\sigma$. Then $X$ admits a norm having a LUR dual norm.

As indicated in Section \[sect\_introduction\], this suggests to the author that the class of Banach spaces admitting norms having LUR dual norms is the correct setting for the study of Banach spaces supporting $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ boundaries. We obtain the following corollary, which is an optimal strengthening of [@fpst:14 Proposition 20].

\[sigma-discrete\] Let $C(K)$ admit a norm ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$ having a $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ boundary. Then $K$ is $\sigma$-discrete.

According to [@raja:02 Corollary 4.4], $C(K)$ admits a norm having LUR dual norm if and only if $K$ is $\sigma$-discrete.

The next example demonstrates that $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ boundaries are not necessary for isomorphic polyhedrality in general.

\[ex\_counterexample\] If $K={\ensuremath{\omega_1}}+1$, where ${\ensuremath{\omega_1}}$ is the least uncountable ordinal, then $K$ is not $\sigma$-discrete. On the other hand, $C(K)$ admits a polyhedral norm [@fonf:80 Theorem 1]. Therefore there exists an isomorphically polyhedral Banach space that does admit any norm having a $\sigma$-$w^*$-LRC and $w^*$-$K_\sigma$ boundary.

We require two more results in order to prove Theorem \[main\]. The first is a consequence of a result of Fonf and Lindenstrauss, concerning boundaries of ${\ensuremath{w^*}}$-compact convex sets.

\[fl\_thm\] Let $B \subseteq {\ensuremath{B_{{\ensuremath{{X}^*}}}}}$ be a boundary of $X$, and let $B = \bigcup_{n=1}^\infty C_n$. Then $${\ensuremath{B_{{\ensuremath{{X}^*}}}}} \;=\; {\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}\left(\bigcup_{n=1}^\infty {\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{w^*}}}(C_n) \right).$$

The next result comes from [@raja:02], where it is stated in greater generality.

\[prop\_raja\_P\_conv\] Let $X$ be a Banach space and let $K \subseteq X^*$ be a $w^*$-compact set having $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets. Then ${\ensuremath{\overline{{\operatorname{conv}}}}}^{w^*}(K)$ also has $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets.

Suppose that $E = \bigcup_{n=1}^\infty E_n \subseteq {\ensuremath{B_{{\ensuremath{{X}^*}}}}}$ is a $w^*$-$K_\sigma$ boundary of $X$, where each $E_n$ is $w^*$-LRC. We can assume that ${\ensuremath{\overline{{E_n}}}}^{w^*} \subseteq E$ for all $n$ (if necessary, consider the sets $E_n \cap L_m$, where $E= \bigcup_{m=1}^\infty L_m$ and each $M_m$ is $w^*$-compact). Furthermore, by Proposition \[lrc\] (3), we can assume that there are $w^*$-open sets $V_n$ such that $E_n = {\ensuremath{\overline{{E_n}}}}^{w^*} \cap V_n$.

Set $K_n = {\ensuremath{\overline{{E_n}}}}^{w^*}$. Our first objective is to show that $K_n$ has $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets. Fix $n$ and set $A_m = K_n \cap K_m$, $m\in{\mathbb{N}}$. Given $f \in K_n \subseteq E$ and ${\varepsilon}>0$, locate $m\in{\mathbb{N}}$ such that $f \in E_m = K_m \cap V_m$. According to Proposition \[prop\_lrc\_facts\] (2), there exists a $w^*$-open set $U$, which we can assume to be a subset of $V_m$, such that $f \in E_m \cap U$ and ${\ensuremath{\operatorname{diam}{\left({E_m \cap U}\right)}}} < {\varepsilon}$. Consequently, $f \in A_m \cap U$ and $A_m \cap U \subseteq K_m \cap V_m \cap U = E_m \cap U$. It follows that $K_n$ has $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets, as required.

By Theorem \[fl\_thm\], we have $$B_{X^*} \;=\; {\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}\left(\bigcup_{n=1}^\infty {\ensuremath{\overline{{\operatorname{conv}}}}}^{w^*}(K_n) \right).$$ From this, it is easy to see that if we define the $w^*$-compact set $$K \;=\; \{0\} \cup \bigcup_{n=1}^\infty n^{-1}{\ensuremath{\overline{{\operatorname{conv}}}}}^{w^*}(K_n),$$ then ${\ensuremath{{X}^*}} = {\ensuremath{\overline{{\operatorname{span}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(K)$. Moreover, each set ${\ensuremath{\overline{{\operatorname{conv}}}}}^{w^*}(K)$ has $P({\ensuremath{\left\|\cdot\right\|}},w^*)$ with closed sets by Proposition \[prop\_raja\_P\_conv\] and, being a countable union of such sets, it is clear that $K$ has this property also. We conclude the proof by invoking Theorem \[or\_thm\].

As it happens, if the set $E$ satisfies the properties given in the proof of Theorem \[main\], and is in addition symmetric (which we can easily assume by considering $E \cup (-E)$ if necessary), then ${\ensuremath{B_{{\ensuremath{{X}^*}}}}} = {\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(E)$. Thus, in the proof above, it is sufficient to consider $K = \{0\} \cup \bigcup_{n=1}^\infty n^{-1} K_n$.

Indeed, the proof of [@fpst:14 Theorem 7] shows that for a given ${\varepsilon}>0$, there exists a function ${\ensuremath{{\psi}:{E}\to{(1,1+{\varepsilon})}}}$ and a subset $B \subseteq E$, such that if we set $D={\ensuremath{\left\{{\psi(f)f}\;:\;\,{f \in B}\right\}}}$ and ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|{x}\right|\kern-.9pt\right|\kern-.9pt\right|}}=\sup{\ensuremath{\left\{{g(x)}\;:\;\,{g \in D}\right\}}}$, then ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$ is a polyhedral norm, ${\ensuremath{\left\|{x}\right\|}} \leqslant {\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|{x}\right|\kern-.9pt\right|\kern-.9pt\right|}}$ for all $x \in X$, and $D$ is a boundary of ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$.

According to [@fonf:00 Theorem 3.9] and [@vesely:00 Theorem 2], the polyhedrality of ${\ensuremath{\left|\kern-.9pt\left|\kern-.9pt\left|\cdot\right|\kern-.9pt\right|\kern-.9pt\right|}}$ ensures that ${\ensuremath{B_{{\ensuremath{{(X,{{|\kern-.9pt|\kern-.9pt|}\cdot{|\kern-.9pt|\kern-.9pt|}})}^*}}}}} =
{\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(D)$. Therefore, we have the inclusions $${\ensuremath{B_{{\ensuremath{{X}^*}}}}} \;\subseteq\; {\ensuremath{B_{{\ensuremath{{(X,{{|\kern-.9pt|\kern-.9pt|}\cdot{|\kern-.9pt|\kern-.9pt|}})}^*}}}}} \;=\; {\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(D)
\;\subseteq\; (1+{\varepsilon}){\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(E),$$ from which we obtain $$(1+{\varepsilon})^{-1}{\ensuremath{B_{{\ensuremath{{X}^*}}}}} \;\subseteq\; {\ensuremath{\overline{{\operatorname{conv}}}}}^{{\ensuremath{\left\|\cdot\right\|}}}(E),$$ for all ${\varepsilon}>0$. The result follows.

[99]{} V. Bible, [*Using boundaries to find smooth norms*]{}, Studia Math. **224** (2014), 169–181.

V. Bible, Discreteness properties, smoothness and polyhedrality, PhD thesis, University College Dublin, Ireland, 2016.

V. Bible and R. J. Smith, [*Smooth and polyhedral approximation in Banach spaces*]{}, J. Math. Anal. Appl. **435** (2016), 1262–1272.

R. Deville, G. Godefroy and V. Zizler, Smoothness and Renormings in Banach Spaces, Longman, Harlow 1993.

M. Fabian and V. Zizler [*A Note on Bump Functions That Locally Depend on Finitely Many Coordinates*]{}, Bull. Austral. Math. Soc. **56** (1997) 447–451.

V. P. Fonf, [*Some properties of polyhedral Banach spaces*]{}, Func. Ana. Appl. **14** (1980), 89–90 (translated from Russian).

V. P. Fonf, [*Polyhedral Banach spaces*]{}, Math. Notes Acad. Sci. USSR **30** (1981), 809–813 (translated from Russian).

V. P. Fonf, [*Three characterizations of polyhedral Banach spaces*]{}, Ukrainian Math. J. (transl. from Russian) 42 **(1990)**, 1145–1148.

V. P. Fonf, [*On the boundary of a polyhedral Banach space*]{}, Extracta Math. **15** (2000), 145–154.

V. P. Fonf and J. Lindenstrauss, [*Boundaries and generation of convex sets*]{}, Israel. J. Math. **136** (2003), 157–172.

V. P. Fonf, A. J. Pallares, R. J. Smith and S. Troyanski, [*Polyhedral norms on non-separable Banach spaces*]{}, J. Funct. Anal. **255** (2008), 449–470.

V. P. Fonf, A. J. Pallares, R. J. Smith and S. Troyanski, [*Polyhedrality in pieces*]{}, J. Funct. Anal. **266** (2014), 247–264.

P. Hájek, [*Smooth norms that depend locally on finitely many coordinates*]{}, Proc. Amer. Math. Soc. **123** (1995), 3817–3821.

P. Hájek and R. Haydon, [*Smooth norms and approximation in Banach spaces of the type $C(K)$*]{}, Q. J. Math. **58** (2007), 221–228.

P. Hájek and V. Zizler, [*Functions locally dependent on finitely many coordinates.*]{} Rev. R. Acad. Cien. Serie A. Mat. **100** (2006), 147–154.

R. Haydon, [*Smooth functions and partitions of unity on certain Banach spaces.*]{} Q. J. Math. **47** (1996), 455–468.

R. Haydon, [*Locally uniformly convex norms in Banach spaces and their duals.*]{} J. Funct. Anal. **254** (2008), 2023–2039.

J. E. Jayne, I. Namioka and C. A. Rogers, [*$\sigma$-fragmentable Banach spaces.*]{} Mathematika **39** (1992), 161–188.

T. Kania and R. J. Smith, [*Chains of functions in $C(K)$-spaces*]{}, J. Aust. Math. Soc. **(99)** (2015), 350–363.

A. Moltó, J. Orihuela, S. Troyanski and M. Valdivia, A Nonlinear Transfer Technique for Renorming, Lecture Notes in Mathematics 1951, Springer-Verlag, Berlin 2009.

V. Klee, [*Some characterizations of convex polyhedra.*]{} Acta Math. **102** (1959), 79–107.

L. Oncina and M. Raja, [*Descriptive compact spaces and renorming*]{}, Studia Math. **165** (2004), 39–52.

J. Pechanec, J. H. M. Whitfield, V. Zizler, [*Norms locally dependent on finitely many coordinates*]{}, An. Acad. Brasil. Ciênc. **53** (1981), 415–417.

M. Raja, [*On dual locally uniformly rotund norms*]{}, Israel J. Math. **129** (2002), 77–91.

R. J. Smith and S. Troyanski, [*Approximation of norms in Banach spaces*]{}, preprint (2018).

L. Veselý, [*Boundary of polyhedral spaces: an alternative proof*]{}, Extracta Math. **15** (2000), 213–217.

[^1]: The author was supported financially by Science Foundation Ireland under Grant Number ‘SFI 11/RFP.1/MTH/3112’.
