Directional Fineness for Radiant and Co-Radiant Sets: Separation and Quantitative Approximation

Abstract

A prescribed directionally fine family of cones yields separation and primal bipolar identities for closed radiant and co-radiant sets in real normed spaces. Positive levels of adapted positively homogeneous functions separate points from closed radiant sets, while a correction by the norm provides bounded radiant neighbourhoods for co-radiant separation. The resulting classes also calibrate radial thresholds and represent gauges and cogauges through strict separators. For convex directionally fine families, the separating generators can be chosen Lipschitz and superlinear, yielding convex separating superlevels. Closed co-radiant sets with compact direction sets admit finite relative outer approximations by positive superlevels of selected generators, with separation preservation and directional and bounded-section error estimates, without requiring continuity or boundedness of the radial profile. Superlinear generators yield a global residual error bound, exact penalization for Lipschitz objectives, recovery estimates, and convergence of bounded approximate minimizers. An explicit convex directionally fine axial family is available in every real normed space. Its norm-corrected functions realize separation and bipolarity without rotundity assumptions, while an axial recovery map improves the relative distance factor from $η/(1-η)$ to $η$. A three-ray production model illustrates the quantitative recovery estimates.