The minimizing vector theorem in symmetrized max-plus algebra
Authors:
- Cenap Özel,
- Artur Piękosz,
- Eliza Wajch,
- Hanifa Zekraoui
Abstract
Assuming ZF and its consistency, we study some topological and geometrical properties of thesymmetrized max-plus algebra in the absence of the axiom of choice in order to discuss theminimizing vector theorem for finite products of copies of the symmetrized max-plus algebra. Several relevant statements that follow from the axiom of countable choice restricted to sequencesof subsets of the real line are shown. Among them, it is proved that if all simultaneously complete and connected subspaces of the plane are closed, then the real line is sequential. Abrief discussion about semidenrites is included. Older known proofs in ZFC of several basicfacts relevant to proximinal and Chebyshev sets in metric spaces are replaced by new proofs in ZF. It is proved that a nonempty subset C of the symmetrized max-plus algebra is Chebyshevin this algebra if and only if C is simultaneously closed and connected. An application of it to a version of the minimizing vector theorem for finite products of the symmetrized max-plus algebra is shown. Open problems concerning some statements independent of ZF and other statements relevant to Chebyshev sets are posed.
- Record ID
- CUT2166398febb6403eadb485e3bb658d03
- Publication categories
- ;
- Author
- Journal series
- Journal of Convex Analysis, ISSN 0944-6532
- Issue year
- 2019
- Vol
- 26
- No
- 2
- Pages
- 661-686
- Other elements of collation
- Bibliografia (na s.) - 685-686; Bibliografia (liczba pozycji) - 23; Oznaczenie streszczenia - Streszcz. ang.; Numeracja w czasopiśmie - Vol. 26, No. 2
- Keywords in English
- symmetrized max-plus algebra, metric, complete metric, proximinal set, Chebyshev set, convexity, geometric convexity, minimizing vector theorem, semidendrite, ZF, axiom of countable choice for the real line, independence results
- URL
- http://www.heldermann.de/JCA/JCA26/JCA262/jca26035.htm Opening in a new tab
- Language
- eng (en) English
- Score (nominal)
- 70
- Additional fields
- Indeksowana w: Scopus
- Uniform Resource Identifier
- https://cris.pk.edu.pl/info/article/CUT2166398febb6403eadb485e3bb658d03/
- URN
urn:pkr-prod:CUT2166398febb6403eadb485e3bb658d03
* presented citation count is obtained through Internet information analysis, and it is close to the number calculated by the Publish or PerishOpening in a new tab system.