Determinability of Semirings of Continuous Nonnegative Functions with Max-Plus by the Lattices of Their Subalgebras
- 作者: Sidorov V.1
-
隶属关系:
- Vyatka State University
- 期: 卷 40, 编号 1 (2019)
- 页面: 90-100
- 栏目: Article
- URL: https://journals.rcsi.science/1995-0802/article/view/203820
- DOI: https://doi.org/10.1134/S1995080219010128
- ID: 203820
如何引用文章
详细
Denote by \(\mathbb{R}_+^\vee\) the semifield with zero of nonnegative real numbers with operations of max-addition and multiplication. Let X be a topological space and C∨(X) be the semiring of continuous nonnegative functions on X with pointwise operation max-addition and multiplication of functions. By a subalgebra we mean a nonempty subset A of C∨(X) such that f ∨ g, fg, rf ∈ A for any f, g ∈ A, \(r \in \mathbb{R}_+^\vee\). We consider the lattice \(\mathbb{A}\)(C∨(X)) of subalgebras of the semiring C∨(X) and its sublattice \(\mathbb{A}_1\)(C∨(X)) of subalgebras with unity. The main result of the paper is the proof of the definability of the semiring C∨(X) both by the lattice \(\mathbb{A}\)(C∨(X)) and by its sublattice \(\mathbb{A}_1\)(C∨(X)).
作者简介
V. Sidorov
Vyatka State University
编辑信件的主要联系方式.
Email: sedoy_vadim@mail.ru
俄罗斯联邦, Kirov, 610000
![](/img/style/loading.gif)