English

An extreme function which is nonnegative and discontinuous everywhere

Optimization and Control 2018-02-06 v1 Functional Analysis

Abstract

We consider Gomory and Johnson's infinite group model with a single row. Valid inequalities for this model are expressed by valid functions and it has been recently shown that any valid function is dominated by some nonnegative valid function, modulo the affine hull of the model. Within the set of nonnegative valid functions, extreme functions are the ones that cannot be expressed as convex combinations of two distinct valid functions. In this paper we construct an extreme function π:R[0,1]\pi:\mathbb{R} \to [0,1] whose graph is dense in R×[0,1]\mathbb{R} \times [0,1]. Therefore, π\pi is discontinuous everywhere.

Keywords

Cite

@article{arxiv.1802.01499,
  title  = {An extreme function which is nonnegative and discontinuous everywhere},
  author = {Amitabh Basu and Michele Conforti and Marco Di Summa},
  journal= {arXiv preprint arXiv:1802.01499},
  year   = {2018}
}
R2 v1 2026-06-23T00:11:28.687Z