Polyhedral normed spaces: the structural theorem and locally finite tilings
Abstract
A fundamental result due to Fonf (1981) asserts that the unit sphere of every polyhedral Banach space is covered by true faces of the unit ball. The principal aim of our paper is to study the validity of the same result for polyhedral normed spaces and present some applications. Our first main result is that if X is a polyhedral normed space with property (Δ), then its unit sphere is covered by algebraic true faces. It then follows that if the space is additionally (VI)-polyhedral, then its unit sphere is covered by genuine true faces. We also present several counterexamples showing that these results are optimal in a strong sense. For instance, we show that there exist (V)-polyhedral normed spaces whose unit ball doesn't have any algebraic true face at all, and that there exist polyhedral normed spaces with (Δ) whose unit sphere is not covered by true faces. Further, we give an example of a polyhedral normed space such that the set of strongly exposed points of the unit ball is dense in the sphere, and some results and counterexamples concerning boundaries of polyhedral normed spaces. Our principal application of this material involves locally finite tilings of normed spaces, and we show that a normed space admits a locally finite tiling (by bounded convex bodies) if and only if it admits a (VI)-polyhedral norm with (Δ). In particular, such a tiling exists in every polyhedral Banach space with (Δ), which generalises a result of Fonf.
Related
- Universal operatorial Noether current associated with a quasi-complete locally convex linear space valued Lagrangian defined on an open set of a product of normed spaces
- Random domino tilings and the arctic circle theorem
- A Radon-Nikodým theorem for Fuzzy Number Multimeasures in Locally Convex Spaces
- A Functional Central Limit Theorem for Locally Stationary Time Series in Banach Spaces
- Skew braces whose left series is not generated by right-normed star products
BibTeX
@misc{bernardi2026polyhedral,
title = {{Polyhedral normed spaces: the structural theorem and locally finite tilings}},
author = {Carlo Alberto De Bernardi and Helena del Rìo and Tommaso Russo and Jacopo Somaglia},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.29279},
eprint = {2609.29279},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.29279},
}
RIS
TY - UNPB
TI - Polyhedral normed spaces: the structural theorem and locally finite tilings
AU - Carlo Alberto De Bernardi
AU - Helena del Rìo
AU - Tommaso Russo
AU - Jacopo Somaglia
PY - 2026
DA - 2026/09/24
PB - arXiv
DO - 10.48550/arxiv.2609.29279
UR - https://arxiv.org/abs/2609.29279
AB - A fundamental result due to Fonf (1981) asserts that the unit sphere of every polyhedral Banach space is covered by true faces of the unit ball. The principal aim of our paper is to study the validity of the same result for polyhedral normed spaces and present some applications. Our first main result is that if X is a polyhedral normed space with property (Δ), then its unit sphere is covered by algebraic true faces. It then follows that if the space is additionally (VI)-polyhedral, then its unit sphere is covered by genuine true faces. We also present several counterexamples showing that these results are optimal in a strong sense. For instance, we show that there exist (V)-polyhedral normed spaces whose unit ball doesn't have any algebraic true face at all, and that there exist polyhedral normed spaces with (Δ) whose unit sphere is not covered by true faces. Further, we give an example of a polyhedral normed space such that the set of strongly exposed points of the unit ball is dense in the sphere, and some results and counterexamples concerning boundaries of polyhedral normed spaces. Our principal application of this material involves locally finite tilings of normed spaces, and we show that a normed space admits a locally finite tiling (by bounded convex bodies) if and only if it admits a (VI)-polyhedral norm with (Δ). In particular, such a tiling exists in every polyhedral Banach space with (Δ), which generalises a result of Fonf.
ER -