Directionally Fine Families of Cones: Construction Principles, Approximation, and Separation

Abstract

We introduce the notion of a directionally fine family of cones, a local geometric property expressing the possibility of selecting arbitrarily narrow cones around every direction of a normed space. We show that this local property provides a common mechanism for finite separation and approximation. In particular, directionally compact sets can be separated from closed cones by finitely many members of the family, while locally compact cones admit finite outer approximations with quantitative Hausdorff control on their sets of directions and on bounded sections. These finite constructions lead naturally to max-type positively homogeneous separators and do not require convexity of the cones to be separated. We then study two complementary realizations of the framework. For the classical family of Bishop--Phelps cones, directional fineness is characterized by the requirement that every point of the unit sphere be a denting point of the unit ball, equivalently, by property~$(G)$; in Banach spaces this amounts to rotundity together with the Kadec property. On the other hand, we introduce transversal coercivity as a general axial construction principle. It yields directionally fine families in arbitrary normed spaces, without geometric assumptions on the norm, and includes uniform axial deviation and norm-normalized axial cones as canonical models. Finally, the explicit structure of the former yields penalization and recovery results for optimization over locally compact cones, together with quantitative approximation and convergence estimates.