The structure of max-plus hyperplanes

DOI10.1016/J.LAA.2007.05.016MaRDI QIDQ996298zbMATH OpenOpenAlexFDO

Authors Ivan Singer, Viorel Niţică

Publication date 14 September 2007

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.laa.2007.05.016

zbMATH Keywords

max-plus convex setmax-plus hyperplanemax-plus segmentmax-plus semispace

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Axiomatic and generalized convexity (52A01) Other problems of combinatorial convexity (52A37)

Review text

The authors study max-plus hyperplanes in the semimodule \(R^n_{\max}\) over the max-plus semifield \(R_{\max}\), where \(R_{\max}:= R\cup\{-\infty\}\) is with the operations \(\oplus:= \max\) and \(\otimes:= +\). From the authors' summary: We give a formula that expresses a nondegenerate strictly affine hyperplane as a union of complements of semispaces at a point \(z \in R^n\), called the ``center of \(H\), with the boundary of a union of complements of other semispaces at \(z\). Using this formula, we obtain characterizations of nondegenerate strictly affine hyperplanes with empty interior. We give a description of the boundary of a nondegenerate strictly affine hyperplane with the aid of complements of semispaces at its center, and we characterize the cases in which the boundary \(bd (H)\) of a nondegenerate strictly affine hyperplane \(H\) is also a hyperplane. Next, we give the relations between nondegenerate strictly affine hyperplanes \(H\), their centers \(z\), and their coefficients. In the converse direction we show that any union of complements of semispaces at a point \(z \in R^n\) with the boundary of any union of complements of some other semispaces at that point \(z\), is a nondegenerate strictly affine hyperplane. We obtain a formula for the total number of strictly affine hyperplanes. We give complete lists of all strictly affine hypeprlanes for the cases \(n=1\) and \(n=2\). We show that each linear hyperplane \(H\) in \(R_{\max}^n\) can be decomposed as the union of four parts, where each part is easy to describe in terms of complements of semispaces, some of them in a lower dimensional space.

Recommendations

• The geometric structure of max-plus hemispaces
• Max-plus convex sets and max-plus semispaces. I
• The structure of max-min hyperplanes
• Max-plus convex sets and max-plus semispaces. II
• Max-Plus Convex Geometry

Cites work

• Duality and separation theorems in idempotent semimodules.
• scientific article; zbMATH DE number 4093170 (Why is no real title available?)
• scientific article; zbMATH DE number 3570223 (Why is no real title available?)
• scientific article; zbMATH DE number 2221682 (Why is no real title available?)
• scientific article; zbMATH DE number 2221693 (Why is no real title available?)
• Max-plus convex sets and max-plus semispaces. I
• Max-plus convex sets and max-plus semispaces. II

Cited in

(11)

• The tropical analogue of polar cones
• The structure of max-min hyperplanes
• Steady states of max-Łukasiewicz fuzzy systems
• Characterization of tropical hemispaces by \((P, R)\)-decompositions
• Contributions to max-min convex geometry. I: Segments
• Cyclic projectors and separation theorems in idempotent convex geometry
• Some general principles in tropical convexities
• Max-plus convex sets and max-plus semispaces. II
• On the separation of convex sets in some idempotent semimodules
• An interval version of separation by semispaces in max-min convexity
• The geometric structure of max-plus hemispaces

This page was built for publication: The structure of max-plus hyperplanes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q996298)