Max-plus convex sets and max-plus semispaces. I

Abstract

The max-plus semifield R _max is the set with the addition a⊕ b:=max(a,b) and the multiplication a⊗ b:=a+b. A subset C of is said to be max-plus convex if the relations (the unit element of ⊗) imply (α⊗x)⊕(β⊗y)∈C, where ⊕ is understood componentwise and for In analogy with the definition of semispaces for usual linear spaces (see e.g. Hammer (Hammer, P.C., 1955, Maximal convex sets. Duke Mathematical Journal, 22, 103–106)), a max-plus semispace at a point is a maximal (with respect to inclusion) max-plus convex subset of In contrast to the case of linear spaces, where there exist an infinity of semispaces at each point, we show that in there exist at most n + 1 max-plus semispaces at each point, and exactly n + 1 at each point whose all coordinates are finite. We determine these max-plus semispaces and give some consequences for separation of max-plus convex sets from outside points. Some different separation theorems for closed max-plus convex sets were given in (Cohen, G., Gaubert, S., Quadrat, J.-P. and Singer, I., 2005, Max-plus convex sets and functions. Contemporary Mathematics, 377, 105–129, circulated previously as Preprint 1341/2003, ESI, Vienna, and arXiv:math.FA/0308166).

‡The authors presented this article at the 8th Symposium on Generalized Convexity/Monotonicity held in Varese, July 4–8, 2005.

Keywords:

• Max-plus convex set
• Max-plus semispace
• Max-plus segment
• Max-plus semifield
• Separation

Keywords:

• Mathematics Subject Classifications 2000:Primary: 52A01
• Secondary: 52A07
• 46A40

Acknowledgement

The authors would like to thank the anonymous referee for some useful remarks. I. Singer was partially supported by CERES grant No. 4-187/III. V. Nitica was partially supported by NSF grant DMS-0500832.

Notes

†Current address: Department of Mathematics West Chester University Pennsylvania USA. e-mail: [email protected]

‡The authors presented this article at the 8th Symposium on Generalized Convexity/Monotonicity held in Varese, July 4–8, 2005.

Additional information

Notes on contributors

V. Nitica†

†Current address: Department of Mathematics West Chester University Pennsylvania USA. e-mail: [email protected]