Determinability of semirings of continuous nonnegative functions with max-plus by the lattices of their subalgebras (Q2003108): Difference between revisions

Let us first review some notations. For a field or a semifield \(S\) and a topological space \(X\), \(C(X,S)\) denotes the set of all continuous \(S\)-valued functions on \(X\) with pointwise operations of addition and multiplication of functions, \(A(C(X, S))\) denotes the lattice of all subalgebras in \(C(X, S)\) with respect to the inclusion and \(A_1(C(X, S))\) its sublattice consisting of all subalgebras with \(1\). The semifield with zero of all nonnegative real numbers is denoted by \(\mathbb{R}_+\) and the semifield of all positive real numbers with the interval topology is denoted by \(\mathbb{P}\). The semifields \(\mathbb{R}_+\) and \(\mathbb{P}\) with the operations of max-addition and multiplication are denoted, respectively, by \(\mathbb{R}_{+}^{\vee}\) and \(\mathbb{P}^{\vee}\). Also, \(C^+(X)=C(X,\mathbb{R}_+)\), \(U(X)=C(X, \mathbb{P})\), \(C^{\vee}(X)=C(X,\mathbb{R}^{\vee}_+)\) and \(U^{\vee}(X)= C(X, \mathbb{P}^{\vee})\). A topological space \(X\) in the class \(\mathcal{K}\) of topological spaces is said to be defined (uniquely up to homeomorphism) in the class \(\mathcal K\) by an algebraic structure \(A(X)\) associated to \(X\) if, for an arbitrary topological space \(Y\in \mathcal K\), an isomorphism \(A(Y )\cong A(X)\) implies \(Y\simeq X\). The notion of definability of an algebraic structure \(A(X)\) in the class \(\mathcal K\) of topological spaces by a derived algebraic structure \(A'(X)\) is introduced similarly. In 1939, one of the first theorems of determinability has been stated by [\textit{I. Gelfand} and \textit{A. Kolmogoroff}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 22, 11--15 (1939; JFM 65.0500.03), Theorem 2]. \textit{E. Hewitt} [Trans. Am. Math. Soc. 64, 45--99 (1948; Zbl 0032.28603), Theorem 57] established the definability of an arbitrary Hewitt (i.e., realcompact) space \(X\) by the ring \(C(X)\), and \textit{E. M. Vechtomov} [Math. Notes 62, No. 5, 575--580 (1997; Zbl 0924.54021); translation from Mat. Zametki 62, No. 5, 687--693 (1997), Theorem 1] proved the definability of \(X\) by the lattice \(A(C(X))\) of subalgebras of the ring \(C(X)\). Later, this result has been generalized to the lattices \(A(C^+(X))\) [\textit{E. M. Vechtomov} and \textit{V. V. Sidorov}, J. Math. Sci., New York 177, No. 6, 817--846 (2011; Zbl 1290.46004); translation from Fundam. Prikl. Mat. 16, No. 3, 63--103 (2010), Theorem 3.5], \(A(C^{\vee}(X))\) [loc. cit., Theorem 4], \(A(U^{\vee}(X))\) [\textit{V. Sidorov}, Lobachevskii J. Math. 38, No. 4, 741--750 (2017; Zbl 1379.54016)] and lattices \(A_1(C^+(X))\) and \(A_1(U(X))\) in [\textit{V. V. Sidorov}, Sb. Math. 207, No. 9, 1267--1286 (2016; Zbl 1384.54012); translation from Mat. Sb. 207, No. 9, 91--110 (2016)] and \(A_1(U^{\vee}(X))\) in [\textit{V. Sidorov}, Lobachevskii J. Math. 38, No. 4, 741--750 (2017; Zbl 1379.54016)]. The paper under review deals with the same generalizations and shows that any Hewitt space \(X\) is defined by each of the lattices \(A(C^{\vee}(X))\) and \(A_1(C^{\vee}(X))\), and as a consequence, it is proved that, for any topological space \(X\), the semiring \(C^{\vee}(X)\) is defined by each of the lattices \(A(C^{\vee}(X))\) and \(A_1(C^{\vee}(X))\).