Abstract
The extremal structure of zero-neighbourhoods of a topological module is analyzed reaching unexpected conclusions when the module topology is not Hausdorff. These results motivate us to introduce the notion of metric modules, which are modules endowed with a translation-invariant metric, turning them into an (additive) topological group. We study the central and diametral points of additively symmetric subsets and find examples of convex sets which are not symmetric translates (translates of addivitely symmetric subsets). As a consequence of all of these, it seems natural to transport the well-known Bishop-Phelps property from the category of real topological vector spaces to general topological modules over topological rings. Then we stick to particular topological rings, the unital \(C^*\)-algebras, showing that the subset of positive elements lying below the unity is an effect algebra. We also prove that every continuous linear operator on a Hausdorff locally convex topological vector space that commutes with all continuous linear projections of one-dimensional range is a multiple of the identity. Finally, we discuss how to transport the previous result to \(C^*\)-algebras.
Similar content being viewed by others
Introduction
Classical geometrical properties of convex sets in a normed space [9] have been studied in more particular contexts such as normed algebras [33] and more general contexts such as topological vector spaces [31, 14, 22]. Recently, a strong trend has been consolidating which consists in transporting the classical notions of Geometry of Banach Spaces [8, 4, 3, 25, 26, 20] to the category of topological modules over a topological ring [19, 16, 17, 18, 43, 21]. This manuscript contributes to that trend by providing new and unexpected results dealing with the extremal structure of zero-neighbourhoods and additively symmetric subsets of topological modules. Applications to \(C^*\)-algebras are also provided.
If X is a bounded pseudometric space, then the diameter of X is defined as \(\textrm{d}(X):=\sup d(X\times X)=\sup \{d(x,y):x,y\in X\}.\) For every \(x\in X\), the x-radius of X is defined as \(\textrm{r}_x(X):= \sup \{d(x,y):y\in X\}\). The radius of X is defined as \(\textrm{r}(X):=\inf \{\textrm{r}_x(X):x\in X\}.\) It is not hard to check that \(\textrm{d}(X)\le 2\textrm{r}(X)\). Indeed, for every \(\varepsilon >0\) there exists \(x_0\in X\) such that \(\textrm{r}(X)>\textrm{r}_{x_0}(X)-\frac{\varepsilon }{2}\), thus, for every \(x,y\in X\), \(d(x,y)\le d(x,x_0)+d(x_0,y)\le \textrm{r}_{x_0}(X)+\textrm{r}_{x_0}(X)<2\textrm{r}(X)+\varepsilon\), meaning that \(\textrm{d}(X)\le 2\textrm{r}(X)\). We refer the reader to [23] for a wider perspective on such topics.
The center of X [7] is defined as \(X_{\textrm{c}}:=\{x\in X: \textrm{r}_x(X)= \textrm{r}(X)\}.\) The points of \(X_{\textrm{c}}\) will be called central points. The diametrality of X is defined as \(X_{\textrm{d}}:=\{x\in X: \textrm{r}_x(X)=\textrm{d}(X)\}.\) The points of \(X_{\textrm{d}}\) will be called diametral points. And X is said to be diametral provided that \(X_{\textrm{d}}=X\). Notice that
that is, \(X_{\textrm{c}}\) is admissible if it is nonempty. Also, notice that if \(X_{\textrm{d}}\ne X\) and \(X_{\textrm{c}}\ne \varnothing\), then \(\textrm{d}(X_{\textrm{c}})<\textrm{d}(X)\). These notions have strong applications on Fixed-Point Metric Theory [30].
All rings considered in this manuscript are assumed to be associative and unitary, and all modules over a ring are considered left and unital by default (notice that the dual of a left module is a right module). Let R be a ring and M an R-module. A subset B of M is said to be (additively) symmetric provided that \(B=-B\). A translation-invariant pseudometric on M is a pseudometric d on M satisfying that \(d(m+p,n+p)=d(m,n)\) for every \(m,n,p\in M\). Such a module will be called a pseudometric module. Observe that a translation-invariant pseudometric turns a module into an additive topological group. The above metric notions (center and diametrality) are invariant under translations in a pseudometric module M. Indeed, if \(A\subseteq M\) is bounded, then \(\textrm{r}_{a}(A)=\textrm{r}_{m+a}(m+A)\) for all \(m\in M\) and all \(a\in A\). Therefore, \((m+A)_{\textrm{c}}=m+A_{\textrm{c}}\) and \((m+A)_{\textrm{d}}=m+A_{\textrm{d}}\) for all \(m\in M\).
Given a topological space X and an element \(x\in X\), the filter of all neighbourhoods of x is denoted by \(\mathcal {N}_x(X)\), or simply by \(\mathcal {N}_x\) if there is no confusion with X. The intersection of all neighbourhoods of x, denoted by
plays an important role when it comes to separation properties. Indeed, if X is a regular topological space, then the following conditions are equivalent for all \(x,y\in X\):
-
1.
\(y\in \bigcap _{V\in \mathcal {N}_x(X)}V\).
-
2.
\(x\in \bigcap _{V\in \mathcal {N}_y(X)}V\).
-
3.
\(y\in \textrm{cl}(\{x\})\).
-
4.
\(x\in \textrm{cl}(\{y\})\).
As a consequence, \(X_{(x)}=\textrm{cl}(\{x\})\), hence \(X_{(x)}\) is contained in any closed subset of X that contains x.
Let R be a ring. The following characterization of ring topology [49, 50, 10] will be very much employed. If \(\tau\) is a ring topology on R and \(\mathcal {B}\) is a base of neighbourhoods of 0, then the following is verified:
-
For every \(V\in \mathcal {B}\), there exists \(U\in \mathcal {B}\) with \(U+U\subseteq V.\)
-
For every \(V\in \mathcal {B}\), there exists \(U\in \mathcal {B}\) with \(-U\subseteq V.\)
-
For every \(V\in \mathcal {B}\), there exists \(U\in \mathcal {B}\) with \(UU\subseteq V.\)
-
For every \(V\in \mathcal {B}\) and every \(r\in R\), there exists \(U\in \mathcal {B}\) with \(rU\cup Ur\subseteq V.\)
Conversely, if \(\mathcal {B}\) is a filter base of \(\mathcal {P}(R)\) verifying all four properties above, then there exists a unique ring topology on R such that \(\mathcal {B}\) is a base of 0-neighbourhoods. This topology is given by
Notice that topological rings are uniform spaces, therefore, they are regular topological spaces, but they are not necessarily Hausdorff. In fact, it is not hard to show that a topological ring R is Hausdorff if and only if \(\bigcap _{V\in \mathcal {N}_0(R)}V=\{0\}\). Thus, throughout this manuscript, topological rings will not be assumed Hausdorff by default. Topological rings satisfying that zero belongs to the closure of the invertibles will be called practical rings [19]. Next, let M be an R-module for R a topological ring. According to [49, 50], if \(\tau\) is a module topology on M and \(\mathcal {B}\) is a base of neighbourhoods of 0 in M, then the following is verified:
-
For every \(V\in \mathcal {B}\), there exists \(U\in \mathcal {B}\) with \(U+U\subseteq V.\)
-
For every \(V\in \mathcal {B}\), there exists \(U\in \mathcal {B}\) with \(-U\subseteq V.\)
-
For every \(V\in \mathcal {B}\), there exist \(U\in \mathcal {B}\) and \(W\in \mathcal {N}_0(R)\) with \(WU\subseteq V.\)
-
For every \(V\in \mathcal {B}\) and every \(r\in R\), there exists \(U\in \mathcal {B}\) with \(rU\subseteq V.\)
-
For every \(V\in \mathcal {B}\) and every \(m\in M\), there exists \(W\in \mathcal {N}_0(R)\) with \(Wm\subseteq V.\)
Conversely, if \(\mathcal {B}\) is a filter base of \(\mathcal {P}(M)\) verifying all five properties above, then there exists a unique module topology on M such that \(\mathcal {B}\) is a base of zero-neighbourhoods. This topology is given by
Topological modules are also uniform spaces, therefore, they are regular topological spaces, but they are not necessarily Hausdorff. In fact, a topological module M is Hausdorff if and only if \(\bigcap _{V\in \mathcal {N}_0(M)}V=\{0\}\). Thus, throughout this manuscript, topological modules will not be assumed Hausdorff by default. The notion of boundedness in this setting will be crucial for our results in this manuscript. A subset B of a topological module M over a topological ring R is said to be bounded if for every neighbourhood \(V\subseteq M\) of 0 there exists an invertible \(u\in \mathcal {U}(R)\) verifying that \(B\subseteq uV\). The topological dual of a topological module M over a topological ring R is by definition the module of all continuous R-linear maps from M to R and is usually denoted by \(M^*\). It is worth mentioning that, since M is assumed to be a left R-module, then \(M^*\) acquires structure of right R-module. From now on, if there is no confusion with the underlying R, we will simply say “linear” instead of “R-linear”. The reader is referred to [49, 50, 2, 10, 15] for a wider perspective on topological rings and modules.
Results
The intersection of all neighbourhoods of zero
If M is a topological module over a topological ring R and \(\mathcal {N}_0(M)\) denotes the filter of all neighbourhoods of 0 in M, then the intersection of all 0-neighbourhoods of M is commonly denoted as \(O_M\), that is, \(O_M:=M_{(0)}:=\bigcap _{V\in \mathcal {N}_0(M)}V\). Observe that \(O_M\) is a bounded and closed submodule of M whose inherited topology is the trivial topology [19, Theorem 2]. It is well known that M is Hausdorff if and only if \(O_M=\{0\}\) [49, 50, 2, 10].
Theorem 1
If M is a topological module over a topological ring R, then \(O_M\) is contained in every closed submodule N of M.
Proof
Let N be any closed submodule of M. Since \(\{0\}\subseteq N\), we have that \(\textrm{cl}(\{0\})\subseteq N\). Finally, any topological group is regular, in particular, so is any topological module, therefore, \(O_M=\textrm{cl}(\{0\})\subseteq N\) by bearing in mind the observation provided in the Introudction about regular topological spaces. \(\square\)
Theorem 1 motivates the definition of “topological kernel”.
Definition 1
(Topological kernel) Let M, N be topological modules over a topological ring R. The topological kernel of a linear operator \(T:M\rightarrow N\) is defined as \(\ker _{\texttt{t}}(T):=T^{-1}\left( O_N\right) =\{m\in M:T(m)\in \bigcap _{V\in \mathcal {N}_0(N)}V\}.\)
Observe that if M, N are seminormed modules over a seminormed ring R, then \(O_N=\bigcap _{V\in \mathcal {N}_0(N)}V=\{n\in N:\Vert n\Vert =0\}\) in view of [19, Theorem 2], hence \(\ker _{\texttt{t}}(T)=\{m\in M:\Vert T(m)\Vert =0\}.\)
Theorem 2
Let M, N be topological modules over a topological ring R. Consider a linear operator \(T:M\rightarrow N\). Then \(\ker _{\texttt{t}}(T)\) is a submodule of M. Even more, if T is continuous, then \(\ker _{\texttt{t}}(T)\) is closed and contains \(O_M\).
Proof
In virtue of [19, Theorem 2], \(O_N\) is a closed submodule of N, so \(\ker _{\texttt{t}}(T):=T^{-1}\left( O_N\right)\) is a submodule of M. Suppose that T is continuous. Then \(\ker _{\texttt{t}}(T)\) is closed in M because \(O_N\) is a closed submodule of N. Thus, according to Theorem 1, \(\ker _{\texttt{t}}(T)\) contains \(O_M\). However, we will provide a different proof of the fact that \(\ker _{\texttt{t}}(T)\) contains \(O_M\) without having to rely on properties of regular topological spaces. Indeed, the continuity of T allows that \(T^{-1}\) preserves neighbourhoods of 0, hence
Therefore,
\(\square\)
Corollary 1
Let M, N be topological modules over a topological ring R. If \(T:M\rightarrow N\) is linear and continuous and N is Hausdorff, then \(O_M \subseteq \ker (T)\).
Proof
Since N is Hausdorff, \(O_N=\{0\}\), hence \(\ker _{\texttt{t}}(T)=\ker (T)\). By Theorem 2, \(O_M \subseteq \ker _{\texttt{t}}(T)=\ker (T).\) \(\square\)
According to [19, Theorem 2], the inherited topology of \(O_M\) is the trivial topology. Therefore, if \(O_M\) is linearly complemented in M, that is, if there exists a linear projection \(P:M\rightarrow M\) whose range is \(O_M\), then P is continuous. Our final result in this subsection is aimed at unveiling more properties of this projection map by proving that \(I-P\) is a closed map over its range in the sense that it maps closed subsets of M onto closed subsets of \(\ker (P)\).
Theorem 3
Let M be a topological module over a topological ring R. Suppose that \(O_M\) is linearly complemented in M and let \(P:M\rightarrow M\) be a linear projection whose range is \(O_M\). Let \(B\subseteq M\). If \(z\in \textrm{cl}(B)\), then \(z-P(z)\in \textrm{cl}(B)\). As a consequence, if B is closed in M, then \((I-P)(B)\) is closed in \(\ker (P)\).
Proof
Let us show first that \(z-P(z)\in \textrm{cl}(B)\). Fix any arbitrary 0-neighbourhood V of M. There exists another 0-neighbourhood W of M such that \(W+W\subseteq V\). Observe that \(z+W\subseteq (z-P(z))+V\). Indeed, if \(w\in W\), then \(z+w=(z-P(z))+P(z)+w\in (z-P(z))+W+W\subseteq (z-P(z))+V\). At this point, it is sufficient to realize that \((z+W)\cap B\ne \varnothing\) by hypothesis, meaning that \(\left( (z-P(z))+V\right) \cap B\ne \varnothing\). This shows that \(z-P(z)\in \textrm{cl}(B)\). Next, assume that B is closed in M. For every \(b\in B\), \(b-P(b)\in \textrm{cl}(B)=B\), that is, \((I-P)(B)\subseteq B\), meaning that \((I-P)(B)=B\cap \ker (P)\), hence \((I-P)(B)\) is closed in \(\ker (P)\). \(\square\)
Extreme points
In [16, Definition 3.12] and [18, Definition 4.1], the notion of 2-extreme point for rings and modules was introduced, which we recall in the next definition.
Definition 2
(2-Extreme point) Let M be a module over a ring R. Let \(e\in A\subseteq M\). We will say that e is a 2-extreme point of A provided that the condition \(2e=a+b\), with \(a,b\in A\), implies that \(a=b=e\). The set of 2-extreme points of A is denoted by \(\textrm{ext}_{\texttt{2}}(A)\).
Our next results are aimed at showing that if a topological module is not Hausdorff, then every regular closed neighbourhood of zero does not contain 2-extreme points.
Lemma 1
Let M be a topological module over a topological ring R. If U is an open neighbourhood of 0 in M, then \(v+U=U\) for all \(v\in \bigcap _{V\in \mathcal {N}_0(M)}V\). If U is a regular closed neighbourhood of 0 in M, then \(v+U=U\) for all \(v\in \bigcap _{V\in \mathcal {N}_0(M)}V\).
Proof
First of all, let us assume that U is open. For every \(u\in U\), \(U-u\in \mathcal {N}_0(M)\), hence \(v\in U-u\), meaning that \(v+U\subseteq U\). By the same argument, \(-v+U\subseteq U\). As a consequence, we obtain the desired result. Next, let us assume that U is regular closed. Since \(\textrm{int}(U)\) is open, we know that \(\textrm{int}(U+v)=\textrm{int}(U)+v=\textrm{int}(U)\). By taking closures, we obtain that \(U+v=\textrm{cl}(\textrm{int}(U))+v=\textrm{cl}(\textrm{int}(U+v))=\textrm{cl}(\textrm{int}(U))=U\). \(\square\)
Theorem 4
Let M be a topological module over a topological ring R. If M is not Hausdorff, then every regular closed 0-neighbourhood of X is free of 2-extreme points.
Proof
Let U be any regular closed 0-neighbourhood of M. Fix any arbitrary \(u\in U\). We will show that u is not a 2-extreme point of U. Take any \(v\in \bigcap _{V\in \mathcal {N}_0(M)} V\) such that \(v\ne 0\). By Lemma 1, \(v+u, -v+u\in U\). Then \(2u=(v+u)+(-v+u)\) with \(u\ne v+u\), meaning that \(u\notin \textrm{ext}_2(U)\). \(\square\)
Countable biorthogonal systems
As mentioned in the Introduction, the topological dual of a topological module M over a topological ring R is by definition the module of all continuous R-linear maps from M to R and is usually denoted by \(M^*\). Notice that, since M is assumed to be a left R-module, then \(M^*\) acquires structure of right R-module. If there is no confusion with the underlying R, we will simply say “linear” instead of “R-linear”.
The linear span of a subset G of a topological module M is by definition the set of all linear combinations of elements of G and is usually denoted by \(\textrm{span}(G)\), that is, \(\textrm{span}(G):=\{r_1g_1+\cdots +r_kg_k:k\in \mathbb {N},r_1,\dots ,r_k\in R,g_1,\dots ,g_k\in G\}\). To avoid confusion, whenever we say that G spans M, we mean that \(\textrm{span}(G)=M\), and whenever we say that G generates M, we mean that \(\overline{\textrm{span}}(G)=M\).
Proposition 5
Let M be a topological module over a topological ring R. If A is a dense subset of R and \(G\subseteq M\) satisfies that \(\textrm{span}(G)=M\), then the set
is dense in M.
Proof
Fix an arbitrary nonempty open subset \(U\subseteq M\). Take any \(u\in U\). We can write \(u=\sum _{i=1}^nr_ig_i\) with \(r_1,\dots ,r_n\in R\) and \(g_1,\dots ,g_n\in G\). There exists a 0-neighbourhood V of M such that \(u+V\subseteq U\). There also exists a 0-neighbourhood \(W\subseteq M\) satisfying that \(W+{\mathop {\cdots }\limits ^{n}}+W\subseteq V\). For every \(i\in \{1,\dots ,n\}\), we can find a 0-neighbourhood \(O_i\subseteq R\) satisfying that \(O_ig_i\subseteq W\). For every \(i\in \{1,\dots ,n\}\), let \(a_i\in A\cap \left( r_i+O_i\right)\). Then
\(\square\)
From Proposition 5 it is directly inferred that M is separable if so is R and G is countable. Recall that a topological ring is said to be practical [19] whenever the invertibles approach zero.
Lemma 2
Let M be a first countable topological module over a practical topological ring. Let \(\mathcal {B}=\{U_n:n\in \mathbb {N}\}\) be a countable nested base of 0-neighbourhoods of M. If \(u_n\in U_n\) for each \(n\in \mathbb {N}\), then \(\{u_n:n\in \mathbb {N}\}\) is bounded.
Proof
Fix any arbitrary 0-neighbourhood V of M. There are \(W_0\subseteq R\) a 0-neighbourhood in R and \(V_0\subseteq M\) a 0-neighbourhood in M satisfying that \(W_0V_0\subseteq V\). There also exists \(W_{00}\subseteq R\) a 0-neighbourhood in R with \(W_{00}W_{00}\subseteq W_{0}\). Since \(\mathcal {B}\) is nested, there exists \(n_0\in \mathbb {N}\) such that \(U_n\subseteq V_0\) for all \(n\ge n_0\). For every \(n\in \{1,\dots ,n_0-1\}\), there exists a 0-neighbourhood \(W_n\subseteq R\) such that \(W_nu_n\subseteq V_0\). Since R is practical, there exists \(r \in \mathcal {U}(R)\cap (W_{00}\cap W_0\cap W_1\cap \cdots \cap W_{n_0-1})\). Finally, observe that if \(n\in \{1,\dots ,n_0-1\}\), then \(r^2u_n=r(ru_n)\in r(W_nu_n)\subseteq rV_0\subseteq W_0V_0\subseteq V\), and if \(n\ge n_0\), then \(r^2u_n\in W_{00}W_{00}U_n\subseteq W_0U_n\subseteq W_0V_0\subseteq V\), in other words, \(r^2\{u_n:n\in \mathbb {N}\}\subseteq V\), reaching the conclusion that \(\{u_n:n\in \mathbb {N}\}\) is bounded because \(r^2\in \mathcal {U}(R)\). \(\square\)
Lemma 2 does not remain true if \(\mathcal {B}\) is not nested. Indeed, consider \(\mathcal {B}:=\left\{ \left[ -\frac{1}{n},\frac{1}{n}\right] :n\in \mathbb {N}\right\} \cup \{[-n,n]:n\in \mathbb {N}\}\) is a countable base of 0-neighbourhoods in \(\mathbb {R}\) but taking \(u_n:=n\) for all \(n\in \mathbb {N}\) we conclude that \(\{u_n:n\in \mathbb {N}\}\) is unbounded.
In general, an important difference between Banach spaces and general topological modules is that finite-dimensional subspaces of a Banach space are always closed, while finitely spanned submodules of a topological module (even of a Hilbert \(C^*\)-module) need not be closed. This is one of the reasons why some notions and results from Operator Theory on Banach spaces can not directly be transferred to operators on topological modules and why Operator Theory on topological modules sometimes requires another approach than Operator Theory on Banach spaces. Fredholm and semi-Fredholm Theory on the standard Hilbert module over an unital \(C^*\)-algebra is one of the examples illustrating how the proofs and the approach in this setting are very different from the situation of the classical Fredholm and semi-Fredholm Theory on Banach spaces. Although Hilbert \(C^*\)-modules are also Banach spaces, semi-Fredholm Theory in the sense of [28, 27, 38, 40] differs very much from the classical semi-Fredholm Theory exactly due to the fact that finitely spanned submodules may behave much differently from finite-dimensional subspaces.
Let M be a topological module over a topological ring R. Given a subset \(B\subseteq M\), the annihilator of B is defined as \(B^\perp :=\left\{ m^*\in M^*:B\subseteq \ker \left( m^*\right) \right\}\). The preannihilator of a subset \(A\subseteq M^*\) is defined as \(A^\top :=\bigcap _{a^*\in A}\ker (a^*)\).
Next notions to be recalled require the hypothesis of Hausdorffness. Let M be a Hausdorff topological module over a Hausdorff topological ring R. We say that M is torsionless [19] provided that \(A^{\perp }=M^*\) implies that \(A=\{0\}\) for every nonempty subset A of M. We say that M is strongly torsionless [19] provided that for every proper closed submodule N of M and every \(m\in M\setminus N\), there exists \(m^*\in N^\perp \setminus \{m\}^\perp\). And M is said to be \(w^*\)-strongly torsionless [19] provided that for every proper \(w^*\)-closed submodule N of \(M^*\) and every \(m^*\in M^*\setminus N\), there exists \(m\in N^\top \setminus \{m^*\}^\top\).
Our next result shows that, under the hypotheses of Hausdorffness and strongly torsionless, finitely spanned submodules are closed.
Theorem 6
Let M be a Hausdorff topological module over a Hausdorff topological division ring R. Then:
-
1.
If M is torsionless, then the principal submodules of M (i.e. those spanned by one element) are closed.
-
2.
If M is strongly torsionless, then the finitely spanned submodules of M are closed.
Proof
We will proceed by induction on the number of generators.
-
1.
Fix an arbitrary \(m\in M\) and consider Rm. If \(Rm=\{0\}\), then it is closed because M is Hausdorff. Assume that \(Rm\ne \{0\}\). Since M is torsionless, there exists \(m^*\in M^*\) such that \(m^*(Rm)\ne \{0\}\). Now, if \((r_im)_{i\in I}\) is a net of Rm converging to some \(n\in M\), then \(\left( r_im^*(m)\right) _{i\in I}\) converges to \(m^*(n)\). Note that \(m^*(m)\ne 0\), hence \((r_i)_{i\in I}\) converges to \(m^*(n)m^*(m)^{-1}\). As a consequence, \((r_im)_{i\in I}\) converges to \(m^*(n)m^*(m)^{-1}m\). Since R is Hausdorff, we conclude that \(n= m^*(n)m^*(m)^{-1}m\).
-
2.
According to [19, Lemma 4(1)], M is torsionless, so the principal submodules of M are closed. Let \(m_1,\dots ,m_k\in M\) with \(k>1\). We will show that \(\textrm{span}\{m_1,\dots ,m_k\}\) is closed. By induction on k, we assume that \(\textrm{span}\{m_1,\dots ,m_{k-1}\}\) is closed. We also may assume that \(m_k\notin \textrm{span}\{m_1,\dots ,m_{k-1}\}\). Since M is strongly torsionless, there exists \(m^*\in M^*\) with \(m^*(m_k)\ne 0\) and \(m^*\left( \textrm{span}\{m_1,\dots ,m_{k-1}\}\right) =\{0\}\). Next, take a net \((r_{1i} m_1+\cdots + r_{ki}m_k)_{i\in I}\) of \(\textrm{span}\{m_1,\dots ,m_{k}\}\) converging to some \(n\in M\). The net \(\left( r_{ki}m^*(m_k)\right) _{i\in I}\) converges to \(m^*(n)\), hence \((r_{ki})_{i\in I}\) converges to \(m^*(n)m^*(m_k)^{-1}\). As a consequence, \((r_{ki}m_k)_{i\in I}\) converges to \(m^*(n)m^*(m_k)^{-1}m_k\). Then \((r_{1i} m_1+\cdots + r_{k-1i}m_k)_{i\in I}\) converging to \(n-m^*(n)m^*(m_k)^{-1}m_k\), in other words, \(n-m^*(n)m^*(m_k)^{-1}m_k\in \textrm{span}\{m_1,\dots ,m_{k-1}\}\), meaning that \(n\in \textrm{span}\{m_1,\dots ,m_k\}\). As a consequence, \(\textrm{span}\{m_1,\dots ,m_k\}\) is closed. \(\square\)
Let R be a topological ring and M a topological R-module. A biorthogonal system in M is a family of pairs \(\left( e_i,e_i^*\right) _{i\in I}\subseteq M\times M^*\) such that \(e_i^*(e_j)=\delta _{ij}\) for all \(i,j\in I\). Next theorem provides a sufficient condition on a topological module to assure the existence of a biorthogonal system. Within its proof, bear in mind that if M is a left R-module, then \(M^*\) is a right R-module, hence elements of \(M^*\) will be multiplied from the right by elements of the ring R, like \(m^*r\).
Theorem 7
Let R be a Hausdorff topological division ring and M a Hausdorff topological R-module. If M is strongly torsionless and linearly spanned by a countable subset, that is, \(M=span(G)\) for a countable subset G of M, then there exists a countable biorthogonal system \(\left( e_i,e_i^*\right) _{i\in N}\), with \(\left( e_i,e_i^*\right) \in M\times M^*\) for all \(i\in N\), such that \(M=\textrm{span}\left\{ e_i:i\in N\right\}\). If, in addition, M is \(w^*\)-strongly torsionless, then \(M^*=\overline{\textrm{span}}^{\hspace{.1cm}\omega ^*}\left\{ e^*_i:i\in N\right\}\).
Proof
Since R is a division ring, Zorn’s Lemma assures the existence of a countable basis \(\left( u_i\right) _{i\in N}\) in M in the sense that it is linearly independent and spans M, that is, \(M=\textrm{span}\{u_i:i\in N\}\) (in fact, \(\left( u_i\right) _{i\in N}\) can be chosen to be contained in G). According to Theorem 6, the finitely spanned submodules of M are closed. Therefore, the upcoming sequences can be recursively constructed following a Gram-Schmidt process: \(e_1:=u_1\) and \(e_1^*:=u_1^*u^*_1(e_1)^{-1}\), where \(u_1^*\in \{0\}^\perp \setminus \{e_1\}^\perp\), that is, \(u_1^*\in M^*\) and \(u_1^*(e_1)\ne 0\), and for \(i\ge 2\),
where \(u_i^*\in \left( \textrm{span}\{e_1,\dots ,e_{i-1}\}\right) ^\perp \setminus \{e_i\}^\perp\) due to the fact that \(\textrm{span}\{e_1,\dots ,e_{i-1}\}\) is closed and M is strongly torsionless. Observe that \(\left( e_i,e_i^*\right) _{i\in N}\) is a biorthogonal system such that \(M=\textrm{span}\left\{ e_i:i\in N\right\}\) because \(\textrm{span}\left\{ e_1,\dots ,e_i\right\} =\textrm{span}\left\{ u_1,\dots ,u_i \right\}\) for all \(i\in N\). Finally, let us assume that M is \(w^*\)-strongly torsionless. According to [19, Lemma 5] and by bearing in mind that \(M=\textrm{span}\left\{ e_i:i\in N\right\}\), we conclude that
\(\square\)
In accordance with [38, Definition 1.4.1], the notion “countably generated” means that a module is the closure of the linear span of a countable subset. Under the settings of Theorem 7, if M is assumed to be countably generated, that is, \(M=\overline{\textrm{span}}(G)\) for a countable subset G of M, then the constructed countable biorthogonal system \(\left( e_i,e_i^*\right) _{i\in N}\) verifies that \(M=\overline{\textrm{span}}\left\{ e_i:i\in N\right\}\) since \(\textrm{span}\{e_1,\dots ,e_i\}=\textrm{span}\{u_1,\dots ,u_i\}\) for all \(i\in N\).
The assumptions in Theorem 7 that R is a division ring and that every finitely spanned submodule of M is closed seem to be quite strong in order to assure the existence of countable biorthogonal systems. Indeed, if A is a unital \(C^*\)-algebra and if we consider the Hilbert A-module \(\ell _2(A)\), then this module satisfies that A is not a division ring and its finitely spanned submodules are not necessarily closed, however \(\ell _2(A)\) has a natural orthonormal basis [38].
Metric modules
An old problem in Geometry of Banach Spaces [39, 42] consists on determining the best translation possible that turns a convex set into the most symmetric possible. Motivated by this problem, we show the existence of convex sets which are not symmetric translates, that is, no translate of the convex set is symmetric.
Lemma 3
Let M be a pseudometric module over a ring R. For every \(p,q\in M\) and every \(n\in \mathbb {N}\), \(d(np,nq)\le nd(p ,q)\).
Proof
We will prove it first for \(q=0\). Note that \(d(m+m,0)\le d(m+m,m)+d(m,0)=d(m,0)+d(m,0)=2d(m,0).\) By induction, we obtain the desired result for \(q=0\). Finally, for any \(p,q\in M\), \(d(np,nq)=d(n(p-q),0)\le nd(p -q,0)=nd(p,q)\).
Notice that, under the settings of Lemma 3, if \(d(np,0)=nd(p,0)\) for all \(p\in M\) and all \(n\in \mathbb {N}\), then \(d(np,nq)= nd(p ,q)\) for every \(p,q\in M\) and every \(n\in \mathbb {N}\). A pseudometric d satisfying that \(d(np,nq)= nd(p ,q)\) for every \(p,q\in M\) and every \(n\in \mathbb {N}\) will be called a homogeneous pseudometric.
Theorem 8
Let R be a ring and M a homogeneous pseudometric R-module. If \(A\subseteq M\) is bounded and symmetric and \(0\in A\), then \(A_{\textrm{c}}\supseteq \textsf{B}_A(0,0)\) and \(\textrm{r}(A)=\frac{1}{2}\textrm{d}(A)\).
Proof
We will first prove that \(\textrm{r}_0(A)\le \textrm{r}_a(A)\) for every \(a\in A\). Indeed, fix an arbitrary \(a\in A\). Take any \(b\in A\). If \(d(a,b)\le d(0,b)\), then
meaning that \(d(0,b)\le d(-b,a)\le \textrm{r}_a(A)\). Otherwise, \(d(0,b)< d(a,b)\le \textrm{r}_a(A)\). In any case, \(d(0,b)\le \textrm{r}_a(A)\), hence \(\textrm{r}_0(A)\le \textrm{r}_a(A)\). As a consequence, \(\textrm{r}(A)=\textrm{r}_0(A)\) and \(0\in A_{\textrm{c}}\). Next, notice that if a in metric space X two elements \(x,y\in X\) satisfy that \(d(x,y)=0\), then \(d(x,z)=d(y,z)\) for all \(z\in X\), therefore, \(\textrm{r}_x(X)=\textrm{r}_y(X)\) if X is bounded. As a consequence, \(\textsf{B}_A(0,0)\subseteq A_{\textrm{c}}\). Moreover, for every \(\varepsilon >0\) we can find \(b\in A\) such that \(\textrm{r}_0(A)<d(0,b)+\varepsilon\), meaning that
which implies that \(\textrm{r}(A)\le \frac{1}{2}\textrm{d}(A)\). Finally, simply note that the reverse inequality, \(\textrm{r}(A)\ge \frac{1}{2}\textrm{d}(A)\), holds in any bounded pseudometric space as highlighted in the Introduction, reaching the desired result. \(\square\)
Corollary 2
Let R be a ring and M a homogeneous pseudometric R-module. If \(A\subseteq M\) is bounded and there exists \(m\in M\) such that \(m+A\) is symmetric and \(0\in m+A\), then \(-m \in A_{\textrm{c}}\).
Proof
In accordance with Theorem 8, \(0 \in (m+A)_{\textrm{c}}=m+A_{\textrm{c}}\), hence \(-m\in A_{\textrm{c}}\). \(\square\)
We will apply the previous results to find a compact convex subset of a Hilbert space which is not a symmetric translate. Recall that a convex subset of a real vector space is symmetric if and only if it is balanced. We refer the reader to Appendix A for the related basic notions.
Example 1
Let X be a real Hilbert space of \(\dim (X)\ge 2\). Let \(T:=\textrm{co}\{x,y,z\}\) where \(x,y,z\in X\) are different, not aligned, and equidistant, that is, \(\Vert x-y\Vert =\Vert x-z\Vert =\Vert y-z\Vert\). It is trivial to observe that \(T_{\textrm{c}}=\{b\}\), where b is the centroid of the equilateral triangle T, that is, \(b=\frac{1}{3}z+\frac{2}{3}\left( \frac{1}{2}x+\frac{1}{2}y\right)\). If there exists \(h\in X\) such that \(h+T\) is balanced, then \(0\in (h+T)_{\textrm{c}}=h+T_{\textrm{c}}=h+\{b\}=\{h+b\}\), hence \(0=h+b\), so \(h=-b\). Note that \(-b+T=\textrm{co}(\{x-b,y-b,z-b\})\). By assumption, \(b-z\in -b+T\) because \(-b+T\) is symmetric, in other words, \(b-z= \lambda _1(x-b)+\lambda _2(y-b)+\lambda _3(z-b)\) for some \(\lambda _1,\lambda _2,\lambda _3\ge 0\) with \(\lambda _1+\lambda _2+\lambda _3=1\), meaning that \(b-z= \lambda _1 x+\lambda _2 y+\lambda _3z-b\), hence \(2b=\lambda _1 x+\lambda _2 y +(\lambda _3+1) z\). On the other hand, observe that \(3b=x+y+z\). Then
from which we obtain that
Finally, it only suffices to notice that
reaching the contradiction that x, y, z are aligned.
Bishop-Phelps property
Let M be a topological module over a topological ring R and I a nonempty set. The set of all maps from I to M, \(M^I\), acquires structure of R-module. Every submodule F of \(M^I\) can be endowed with a module topology called “convergence linear topology”. Indeed, take \(\mathcal {G}\subseteq \mathcal {P}(I)\) upward directed (like, for instance, a bornology on I) satisfying that f(G) is bounded in M for all \(G\in \mathcal {G}\) and all \(f\in F\). For every \(G\in \mathcal {G}\) and every 0-neighbourhood \(U\subseteq M\), the sets \(\mathcal {U}(G,U):=\left\{ f\in F: f(G)\subseteq U\right\}\) form a basis of 0-neighbourhoods for a module topology on F called the convergence linear topology of F generated by \(\mathcal {G}\). Observe that if \(\mathcal {G}\) is the set of finite subsets of I, then we obtain the pointwise convergence topology on F or, equivalently, the inherited product topology on F. The dual module of M, \(M^*\), which is a right R-module, can be endowed with a convergence linear topology since \(M^*\subseteq R^M\). For instance, if R is a practical topological ring, in other words, \(0\in \textrm{cl}(\mathcal {U}(R))\), then every finite subset of M is bounded (see Appendix B ), hence the set of finite subsets of M defines a convergence linear topology on \(M^*\) which is the pointwise convergence topology on \(M^*\), also known as the \(w^*\)-topology. If we take the family \(\mathcal{B}\mathcal{o}_M\) of all bounded subsets of M, then we obtain a stronger convergence linear topology on \(M^*\) called the \(\mathcal{B}\mathcal{o}_M\)-topology.
Remark 1
Let M be a topological module over a topological ring R, I a nonempty set and \(\mathcal {G} \subseteq \mathcal {P}(I)\) upward directed. If \(E\subseteq F\subseteq M^I\) are submodules such that f(G) is bounded for every \(G \in \mathcal {G}\) and every \(f\in F\), then the inherited convergence linear topology of E from F is precisely the convergence linear topology of E in view of the fact that \(\mathcal {U}_E(G,U)=\mathcal {U}_F(G,U)\cap E\) for all \(G\in \mathcal {G}\) and all \(U\in \mathcal {N}_0(M)\). On the other hand, let \(\mathcal {G}_1, \mathcal {G}_2\subseteq \mathcal {P}(I)\) be upward directed. If \(\mathcal {G}_1\subseteq \mathcal {G}_2\), then the convergence linear topology generated by \(\mathcal {G}_1\) is clearly coarser than the convergence linear topology generated by \(\mathcal {G}_2\). If for every \(G_2\in \mathcal {G}_2\) there exists \(G_1\in \mathcal {G}_1\) such that \(G_2\subseteq G_1\), then the convergence linear topology generated by \(\mathcal {G}_1\) is finer than the convergence linear topology generated by \(\mathcal {G}_2\).
Next notion is borrowed from Metric Fixed-Point Theory [5], particularly from the notion of convexity structure.
Definition 3
(Structure) Let R be a topological ring and M a topological R-module. A nonempty subset \(\mathcal {G}\) of \(\mathcal {P}(M)\setminus \{\varnothing \}\) is said to be a structure on M provided that \(\mathcal {G}\) is upward directed, closed under nonempty intersections, and every element of \(\mathcal {G}\) is bounded and closed. The convergence linear topology on \(M^*\) generated by \(\mathcal {G}\) is called the \(\mathcal {G}\)-topology.
Notice that if R is practical topological ring and M is Hausdorff topological module, then the set of finite subsets of M is a structure. The following notion is borrowed from the Banach Space Geometry Theory [9, 6] and relies on the topological notion of semiopenness and semicontinuity. Levine [32] introduced the concept of semiopen sets and semicontinuity in general topological spaces, and they are now the research topics of many topologists worldwide, such as the semiseparation axioms and the binary topological spaces [24, 1, 47, 32]. A subset A of a topological space X is said to be semiopen [32] if there exists an open set U such that \(U\subseteq A\subseteq \textrm{cl}(U)\). Obviously, any open set is semiopen, but the converse does not hold in general. The complement of a semiopen set is said to be semiclosed. A topological space is called semicompact [51] provided that any cover of semiopen sets has a finite subcover. This notion of semicompactness is different from an earlier one provided by Zippin [51]. We will stick with Ganster semicompactness to introduce the Bishop-Phelps property.
Definition 4
(Bishop-Phelps property) A topological module M over a topological ring R is said to have the Bishop-Phelps property with respect to a structure \(\mathcal {G}\subseteq \mathcal {P}(M)\setminus \{\varnothing \}\) if for every \(G\in \mathcal {G}\), the set \(\textsf{SA}(G):=\{f\in M^*: f(G)\text {is semiclosed and semicompact in }R\}\) is dense in \(M^*\) for the \(\mathcal {G}\)-topology (convergence linear topology on \(M^*\) generated by \(\mathcal {G}\)).
Next theorem shows that the Bishop-Phelps property is hereditary to closed complemented submodules (keep in mind that, in non-Hausdorff topological modules, the range of a continuous linear projection does not need to be closed). Observe that if \(\mathcal {G}\subseteq \mathcal {P}(M)\setminus \{\varnothing \}\) is a structure in a topological module M, then \(\mathcal {G}_N:=\{G\cap N: G\in \mathcal {G}, G\cap N\ne \varnothing \}\) is a structure in any submodule N of M provided that \(\mathcal {G}_N\ne \varnothing\).
Theorem 9
Let M be a topological module over a topological ring R. Let N be a closed complemented submodule of M. Let \(\mathcal {G}\subseteq \mathcal {P}(M)\setminus \{\varnothing \}\) be a structure in M containing \(\mathcal {G}_N\ne \varnothing\). If M has the Bishop-Phelps property with respect to \(\mathcal {G}\), then so does N with respect to \(\mathcal {G}_N\).
Proof
Take any \(G\in \mathcal {G}\). We will show that \(\textsf{SA}_{N^*}\left( G\cap N\right)\) is dense in \(N^*\) for the \(\mathcal {G}_N\)-topology. Indeed, fix an arbitrary \(H\in \mathcal {G}\), an arbitrary 0-neighbourhood \(U\subseteq R\), and an arbitrary \(n^*\in N^*\). We will prove that \(\textsf{SA}_ {N^*}(G\cap N)\cap \left[ n^*+\mathcal {U}_{N^*}(H\cap N,U)\right] \ne \varnothing\). Indeed, by hypothesis, \(G\cap N\in \mathcal {G}\), hence \(\textsf{SA}_{M^*}\left( G\cap N\right)\) is dense in \(M^*\) for the \(\mathcal {G}\)-topology, that is, at \(\textsf{SA}_{M^*}(G\cap N)\cap \left[ m^*+\mathcal {U}_{M^*}(H,U)\right] \ne \varnothing\), where \(m^*:=P^*(n^*)=n^*\circ P\) and \(P:M\rightarrow N\) is a continuous linear projection of M onto N. Take \(f\in \textsf{SA}_{M^*}(G\cap N)\cap \left[ m^*+\mathcal {U}_{M^*}(H,U)\right]\). Observe that \(f|_N(h)-n^*(h) = f(h)-m^*(h) \in U\) for every \(h\in H\cap N\), meaning that \(f|_N\in n^*+\mathcal {U}_{N^*}(H,U)\). It only remains to show that \(f|_N\in \textsf{SA}_{N^*}(G\cap N)\) which is immediate since \(f\in \textsf{SA}_{M^*}(G\cap N)\). \(\square\)
Conclusion
The transportation of classical properties and notions of Operator Theory and Geometry of Banach Spaces to the scope of topological rings and algebras is an ongoing and successful trend that is enriching the literature of Functional Analysis. This manuscript adds up to that trend by considering extremal and geometric properties of neighbourhoods of zero and by relating effect algebras with \(C^*\)-algebras.
Data Availibility Statement
This manuscript does not use any data from any repository.
References
Al-shami TM, Abo-Tabl EA, Asaad BA, et al. (2020) Limit points and separation axioms with respect to supra semi-open sets. Eur J Pure Appl Math 13(3):427–443. https://doi.org/10.29020/nybg.ejpam.v13i3.3743
Arnautov VI, Vodinchar MI, Glavatskiĭ ST, et al. (1988) Constructions of topological rings and modules. “Shtiintsa”, Kishinev
Bandyopadhyay P, Lin BL (2001) Some properties related to nested sequence of balls in Banach spaces. vol 5. p 19–34, https://doi.org/10.11650/twjm/1500574887, https://doi-org.bibezproxy.uca.es/10.11650/twjm/1500574887, international Conference on Mathematical Analysis and its Applications (Kaohsiung, 2000)
Bandyopadhyay P, Huang D, Lin BL, et al. (2000) Some generalizations of locally uniform rotundity. J Math Anal Appl 252(2):906–916. https://doi.org/10.1006/jmaa.2000.7169, https://doi-org.bibezproxy.uca.es/10.1006/jmaa.2000.7169
Belluce LP, Kirk WA, Steiner EF (1968) Normal structure in Banach spaces. Pacific J Math 26:433–440. http://projecteuclid.org/euclid.pjm/1102985731
Bishop E, Phelps RR (1963) The support functionals of a convex set. In: Proc. Sympos. Pure Math., Vol. VII. Amer. Math. Soc., Providence, R.I., pp 27–35
Brodskiĭ MS, Milman DP (1948) On the center of a convex set. Doklady Akad Nauk SSSR (NS) 59:837–840
Cudia DF (1964) The geometry of Banach spaces. Smoothness. Trans Amer Math Soc 110:284–314. https://doi.org/10.2307/1993705, https://doi-org.bibezproxy.uca.es/10.2307/1993705
Day MM (1973) Normed linear spaces, 3rd edn. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 21, Springer-Verlag, New York-Heidelberg
Del-Vecchio RR, Pombo DPJr., Vinagre CTM (2007) Topics on topological modules, Instituto de Matemática. Relatório de Pesquisa [Institute of Mathematics. Research Report], vol 3. Editora da Universidade Federal Fluminense, Niterói
Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures, Mathematics and its Applications, vol 516. Kluwer Academic Publishers, Dordrecht, Ister Science, Bratislava. https://doi.org/10.1007/978-94-017-2422-7, https://doi-org.bibezproxy.uca.es/10.1007/978-94-017-2422-7
Foulis DJ, Bennett MK (1994) Effect algebras and unsharp quantum logics. Found Phys 24(10), 1331–1352. https://doi.org/10.1007/BF02283036
Ganster M (1987) Some remarks on strongly compact spaces and semi-compact spaces. Bull Malaysian Math Soc (2) 10(2):67–70
García-Pacheco FJ (2015) Convex components and multi-slices in real topological vector spaces. Ann Funct Anal 6(3):73–86. https://doi.org/10.15352/afa/06-3-7, https://doi-org.bibezproxy.uca.es/10.15352/afa/06-3-7
García-Pacheco FJ (2022) Abstract calculus—a categorical approach. Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL
García-Pacheco FJ, Piniella P (2015) Unit neighborhoods in topological rings. Banach J Math Anal 9(4):234–242. https://doi.org/10.15352/bjma/09-4-12, https://doi-org.bibezproxy.uca.es/10.15352/bjma/09-4-12
García-Pacheco FJ, Piniella P (2017) Linear topologies and sequential compactness in topological modules. Quaest Math 40(7):897–908. https://doi.org/10.2989/16073606.2017.1334716, https://doi-org.bibezproxy.uca.es/10.2989/16073606.2017.1334716
García-Pacheco FJ, Piniella P (2019) Geometry of balanced and absorbing subsets of topological modules. J Algebra Appl 18(6):1950119, 13. https://doi.org/10.1142/S0219498819501196, https://doi-org.bibezproxy.uca.es/10.1142/S0219498819501196
García-Pacheco FJ, Sáez-Martínez S (2020) Normalizing rings. Banach J Math Anal 14(3):1143–1176. https://doi.org/10.1007/s43037-020-00055-0, https://doi-org.bibezproxy.uca.es/10.1007/s43037-020-00055-0
García-Pacheco FJ, Seoane-Sepúlveda JB (2007) The stereographic projection in Banach spaces. Rocky Mountain J Math 37(4):1167–1172. https://doi.org/10.1216/rmjm/1187453103, https://doi-org.bibezproxy.uca.es/10.1216/rmjm/1187453103
García-Pacheco FJ (2023) The stereographic projection in topological modules. Axioms 12(2):225.https://doi.org/10.3390/axioms12020225
García-Pacheco FJ, Moreno-Pulido S, Naranjo-Guerra E, et al. (2021) Non-linear inner structure of topological vector spaces. Mathematics 9(5):466. https://doi.org/10.3390/math9050466
Goebel K, Kirk WA (1990) Topics in metric fixed point theory, Cambridge Studies in Advanced Mathematics, vol 28. Cambridge University Press, Cambridge,. https://doi.org/10.1017/CBO9780511526152 , https://doi-org.bibezproxy.uca.es/10.1017/CBO9780511526152
Granados C (2021) On binary semi-open sets and binary semi-\(\omega\)-open sets in binary topological spaces. Trans A Razmadze Math Inst 175(3), 365–373
Granero AS, Jiménez-Sevilla M, Moreno JP (2004) Intersections of closed balls and geometry of Banach spaces. Extracta Math 19(1):55–92
Granero AS, Moreno JP, Phelps RR (2004) Convex sets which are intersections of closed balls. Adv Math 183(1):183–208. https://doi.org/10.1016/S0001-8708(03)00086-0 , https://doi-org.bibezproxy.uca.es/10.1016/S0001-8708(03)00086-0
Ivković S (2019) Semi-Fredholm theory on Hilbert \(C^*\)-modules. Banach J Math Anal 13(4):989–1016. https://doi.org/10.1215/17358787-2019-0022
Ivković S (2023) Semi-Fredholm theory in \(C^*\)-algebras. Banach J Math Anal 17(3):Paper No. 51, 19. https://doi.org/10.1007/s43037-023-00277-y
Khedr FH (1984) On semi compact spaces. Delta J Sci 8(2), 421–430
Kirk WA (1965) A fixed point theorem for mappings which do not increase distances. Amer Math Monthly 72:1004–1006. https://doi.org/10.2307/2313345, https://doi-org.bibezproxy.uca.es/10.2307/2313345
Krein M, Milman D (1940) On extreme points of regular convex sets. Studia Math 9:133–138. https://doi.org/10.4064/sm-9-1-133-138, https://doi-org.bibezproxy.uca.es/10.4064/sm-9-1-133-138
Levine N (1963) Semi-open sets and semi-continuity in topological spaces. Amer Math Monthly 70:36–41. https://doi.org/10.2307/2312781
Loebl RI, Paulsen VI (1981) Some remarks on \(C^{\ast }\)-convexity. Linear Algebra Appl 35:63–78. https://doi.org/10.1016/0024-3795(81)90266-4, https://doi-org.bibezproxy.uca.es/10.1016/0024-3795(81)90266-4
Ludwig G (1983) Foundations of quantum mechanics. I. Texts and Monographs in Physics, Springer-Verlag, New York, https://doi.org/10.1007/978-3-642-86751-4, https://doi-org.bibezproxy.uca.es/10.1007/978-3-642-86751-4, translated from the German by Carl A. Hein
Ludwig G (1985a) An axiomatic basis for quantum mechanics. Vol. 1. Springer-Verlag, Berlin, https://doi.org/10.1007/978-3-642-70029-3, https://doi-org.bibezproxy.uca.es/10.1007/978-3-642-70029-3, derivation of Hilbert space structure, Translated from the German manuscript by Leo F. Boroń
Ludwig G (1985b) Foundations of quantum mechanics. II. Texts and Monographs in Physics, Springer-Verlag, New York, translated from the German by Carl A. Hein
Ludwig G (1987) An axiomatic basis for quantum mechanics. Vol. 2. Springer-Verlag, Berlin, https://doi.org/10.1007/978-3-642-71897-7, https://doi-org.bibezproxy.uca.es/10.1007/978-3-642-71897-7, quantum mechanics and macrosystems, Translated from the German manuscript by Kurt Just
Manuilov VM, Troitsky EV (2005) Hilbert \(C^*\)-modules, Translations of Mathematical Monographs, vol 226. American Mathematical Society, Providence, RI,. https://doi.org/10.1090/mmono/226, translated from the 2001 Russian original by the authors
van Mill J, Reed GM (eds) (1990) Open problems in topology. North-Holland Publishing Co., Amsterdam
Miščenko AS, Fomenko AT (1979) The index of elliptic operators over \(C^{\ast }\)-algebras. Izv Akad Nauk SSSR Ser Mat 43(4):831–859, 967
Moreno-Pulido S (2019) Generalizations of classical properties of Measure Theory to effect algebras, eBooks on Mathematics and Physics applied to Engineering, vol 2. Editorial UCA, Cádiz
Pearl E (ed) (2007) Open problems in topology. II. Elsevier B. V., Amsterdam
Piniella P (2017) Existence of non-trivial complex unit neighborhoods. Carpathian J Math 33(1), 107–114
Prugovečki E, Prugovecki M (1984) Stochastic quantum mechanics and quantum spacetime: a consistent unification of relativity and quantum theory based on stochastic spaces, vol 4. Springer Science & Business Media
Sakurai JJ, Commins ED (1995) Modern quantum mechanics, revised edition
Stone MH (1936) The theory of representations for Boolean algebras. Trans Amer Math Soc 40(1):37–111. https://doi.org/10.2307/1989664, https://doi-org.bibezproxy.uca.es/10.2307/1989664
Tyagi BK, Chauhan HVS (2019) On semi-open sets and feebly open sets in generalized topological spaces. Proyecciones 38(5), 875–896
Vladimirov DA (2002) Boolean algebras in analysis, Mathematics and its Applications, vol 540. Kluwer Academic Publishers, Dordrecht, https://doi.org/10.1007/978-94-017-0936-1, https://doi-org.bibezproxy.uca.es/10.1007/978-94-017-0936-1, translated from the Russian manuscript, With a foreword and appendix by S. S. Kutateladze
Warner S (1989) Topological fields, North-Holland Mathematics Studies, vol 157. North-Holland Publishing Co., Amsterdam, notas de Matemática [Mathematical Notes], 126
Warner S (1993) Topological rings, North-Holland Mathematics Studies, vol 178. North-Holland Publishing Co., Amsterdam
Zippin L (1935) On semicompact spaces. American Journal of Mathematics 57(2):327–341. http://www.jstor.org/stable/2371210
Acknowledgements
The author would like to thank the reviewers for valuable comments and suggestions.
Funding
Funding for open access publishing: Universidad de Cádiz/CBUA. This research was funded by Consejería de Universidad, Investigación e Innovación de la Junta de Andalucía: ProyExcel00780 (Operator Theory: An interdisciplinary approach), and ProyExcel01036 (Multifísica y optimización multiobjetivo de estimulación magnética transcraneal).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The author declares no conflict of interest.
Appendices
Appendix A The centroid of a triangle
Let X be a real vector space of dimension at least 2. Let \(x,y,z\in X\) be different and not aligned. Consider the triangle \(T:=\textrm{co}\{x,y,z\}\). The centroid of T is algebraically defined as \(b=\frac{1}{3}z+\frac{2}{3}\left( \frac{1}{2}x+\frac{1}{2}y\right) \in T\). Notice that \(3b=z+x+y\), hence \(b=\frac{1}{3}x+\frac{2}{3}\left( \frac{1}{2}y+\frac{1}{2}z\right) =\frac{1}{3}y+\frac{2}{3}\left( \frac{1}{2}x+\frac{1}{2}z\right)\). Suppose now that X is normed. We can consider the number \(r:=\max \{\Vert x-b\Vert ,\Vert y-b\Vert ,\Vert z-b\Vert \}\). Consider the closed ball \(\textsf{B}_X(b,r)\) of center b and radius r. We will show that \(T\subseteq \textsf{B}_X(b,r)\). Since \(\textsf{B}_X(b,r)\) is convex, it only suffices to prove that \(x,y,z\in \textsf{B}_X(b,r)\), which is immediate by the choice of r. As a consequence, if \(t\in T\), then \(\Vert t-b\Vert \le r\) because \(T\subseteq \textsf{B}_X(b,r)\), meaning that \(\textrm{r}_b(T)=r\).
Appendix B Boundedness over practical rings
Let M be a topological module over a topological ring R. A subset \(A\subseteq X\) is said to be bounded if for each 0-neighbourhood U in M there is an invertible \(u\in \mathcal {U}(R)\) such that \(A\subseteq uU\). The collection of all bounded subsets of a topological module M over a topological ring is usually denoted by \(\mathcal {B}_{\texttt{0}}(M)\).
Lemma 4
Let R be a practical topological ring and M a topological R-module. Let \(A,B\subseteq M\) bounded and \(\{m_1,\dots ,m_k\}\subseteq M\). Then:
-
1.
\(\{m_1,\dots ,m_k\}\) is bounded.
-
2.
\(A+B\) is bounded.
-
3.
\(A\cup B\) is bounded.
Proof
-
1.
Fix an arbitrary 0-neighbourhood \(U\subseteq M\). For every \(i\in \{1,\dots ,k\}\), there exists a 0-neighbourhood \(V_i\subseteq R\) such that \(V_im_i\subseteq M\). Take \(V:=V_1\cap \cdots \cap V_k\). Since R is practical, there exists an invertible \(v\in V\cap \mathcal {U}(R)\). Then \(vm_i\in V_im_i\subseteq U\) for every \(i\in \{1,\dots ,k\}\), meaning that \(m_i\in v^{-1}U\) for every \(i\in \{1,\dots ,k\}\).
-
2.
Fix an arbitrary 0-neighbourhood U in M. Take V a 0-neighbourhood in M with \(V+V\subseteq U\). There are neighbourhoods \(W_1,W_2\) of 0 in R and M, respectively, such that \(W_1W_2\subseteq V.\) Since A, B are bounded, we can find invertibles \(r,s\in R\) with \(A\subseteq rW_2\) and \(B\subseteq sW_2\). Next, there exist neighbourhoods E, F of 0 in R such that \(Er\subseteq W_1\) and \(Fs\subseteq W_1\). Since R is practical, there exists \(t\in \mathcal {U}(R)\) with \(t\in E\cap F\). Then \(tr\in Er\subseteq W_1\) and \(ts \in Fs\subseteq W_1\). This means that
$$t(rW_2+sW_2)=(tr)W_2+(ts)W_2\subseteq W_1W_2+W_1W_2\subseteq V+V\subseteq U,$$in other words,
$$A+B\subseteq rW_2+sW_2\subseteq t^{-1}U.$$This proves that \(A+B\) is bounded.
-
3.
Observe that \(A\cup \{0\}\) and \(B\cup \{0\}\) are trivially bounded. Next, \(A\cup B\subseteq \left( A\cup \{0\}\right) +\left( B\cup \{0\}\right)\) and \(\left( A\cup \{0\}\right) + \left( B\cup \{0\}\right)\) is bounded. \(\square\)
Let R be a practical topological ring and M a nontrivial topological R-module. The set of all bounded subsets of M, \(\mathcal {B}_{\texttt{0}}(M)\), is a bornology of \(\mathcal {P}(M)\) in view of Lemma 4. The collection
is clearly a bornology base of \(\mathcal {B}_{\texttt{0}}(M)\) provided that it is nonempty. In fact, if there exists \(V\in \mathcal {N}_0(M)\cap \mathcal {B}_{\texttt{0}}(M)\), then \(\{uV:u\in \mathcal {U}(R)\}\) is both a base of the filter \(\mathcal {N}_0(M)\) and a base of the bornology \(\mathcal {B}_{\texttt{0}}(M)\).
Appendix C The center of \(\mathcal {B}(H)\)
It is a well-known result in Operator Theory that if a bounded operator on a complex Hilbert space H commutes with all orthogonal projections of one-dimensional range, then such operator is central, that is, belongs to the center of \(\mathcal {B}(H)\), hence it commutes with all elements of \(\mathcal {B}(H)\) and thus it must be a multiple of the identity. This fact strongly relies on the Hahn-Banach Theorem. Since the Hahn-Banach Theorem also works on Hausdorff locally convex topological vector spaces, a similar result can be accomplished for continuous linear operators on Hausdorff locally convex topological vector spaces. For the sake of completeness, we include a summary of the proof.
Remark 2
Let X be a Hausdorff locally convex topological vector space. If \(T\in \mathcal {B}(X)\) commutes with all rank-one projections, then T is a multiple of the identity. Indeed, fix arbitrary elements \(x\in X\setminus \{0\}\) and \(y\in X\). There exists \(x^*\in X^*\) satisfying that \(x^*(x)=1\) in view of the Hahn-Banach Theorem. Consider the rank-one projection \(\pi _{\mathbb {K}x}\) of X onto \(\mathbb {K}x\) along \(\ker (x^*)\) given by \(\pi _{\mathbb {K}x}(z):= x^*(z)x\) for all \(z\in X\). By hypothesis
In particular, if \(x=y\), then \(T(x)=x^*(T(x))x\). This means that every nonzero vector of X is an eigenvector of T. As a consequence, T is a multiple of the identity.
Appendix D Effect algebras vs. \(C^*\)-algebras
Effect algebras and Boolean algebras are examples of universal algebras which are in between Group Theory and Order Theory. They have diverse origins. For example, Boolean algebras have historically been involved in Measure Theory, Electronics, Computer Sciences, etc. However, effect algebras were originated from Quantum Mechanics. We refer the reader to [46, 48, 41] for a wide perspective on effect algebras and Boolean algebras. Effect algebras were introduced for the first time in [12] in the context of Quantum Mechanics.
Definition 5
(Effect algebra) An effect algebra is a universal algebra \((L,\oplus ,0,1,{\;}^{\perp })\), where
is a partially defined binary internal operation,
is a unary internal operation (called orthocomplementation), and
are nullary internal operations satisfying the following conditions for all \(p,q,r\in L\):
-
Commutativity: \(\Sigma\) is a symmetric binary relation on L and if \((p, q)\in \Sigma\), then \(p\oplus q= q\oplus p\).
-
Associativity: If \((q, r),(p, q\oplus r)\in \Sigma\), then \((p, q),(p\oplus q, r)\in \Sigma\) and \((p\oplus q)\oplus r=p\oplus (q\oplus r)\).
-
Orthocomplementation: \(p^{\perp }\) is the only element in L such that \(\left( p, p^{\perp }\right) \in \Sigma\) and \(p\oplus p^{\perp }=1\).
-
Zero-One Law: \(1\ne 0\) and 0 is the only element in L such that \((1, 0)\in \Sigma\).
The first example of effect algebra [12], which also motivated the above definition, is given by the set of positive selfadjoint bounded operators on a complex Hilbert space.
Example 2
Let H be a complex Hilbert space. Then \((\mathcal {E}(H), \oplus , 0, I, {\;}^{\perp })\) is an effect algebra, where \(\mathcal {E}(H):=\{T\in \mathcal {B}(H):T=T^*,\; 0\le T \le I\}\) and the partially defined binary internal operation is given by \(T\oplus S:=T+S\Leftrightarrow 0\le T+S\le I\) and orthocomplementation defined by \(T^{\perp }:=I-T\).
The idea behind all of these is the First Postulate of Quantum Mechanics [34, 44, 36, 35, 37, 45, 11], which establishes that a quantum mechanical system is represented by an infinite dimensional separable complex Hilbert space H. The observable measurements or magnitudes are given by the (bounded or unbounded) selfadjoint operators on H. The unsharp measurements, also called effects, are represented by the positive selfadjoint bounded operators lying below the identity. If an observable magnitude is represented by a selfadjoint bounded operator T, then \(\Vert T\Vert\) represents the intensity of the magnitude. The quantum bits are the unit vectors of the Hilbert space H and the quantum states are the complex rays spanned by the quantum bits. There are two main universal algebras involved in this frame: \(C^*\)-algebras and effect algebras. \(C^*\)-algebras model the behavior of observable measurements. Effect algebras model the behavior of unsharp measurements.
Our next remark is the expected result that the set of positive selfadjoint elements of a unital \(C^*\)-algebra that are less than or equal to the unity acquires structure of effect algebra. An element a of a \(C^*\)-algebra A is called selfadjoint provided that \(a=a^*\). The subset of selfadjoint elements of A is denoted by \(A_{\texttt{sa}}\). If A is unital, then a selfadjoint element \(a\in A\) is called positive provided that \(\sigma (a)\subseteq [0,\infty )\). If a is positive, then it is commonly written that \(a\ge 0\) and \(A^+:=\{a\in A:a\ge 0\}\). The binary internal relation on \(A_{\texttt{sa}}\) given by \(a\le b\) if and only if \(b-a\ge 0\) is a partial order relation on \(A_{\texttt{sa}}\). Observe that \(A_{\texttt{sa}}\) is a real vector subspace of A and the previous order relation is compatible with addition and multiplication by positive scalars.
Remark 3
If A is a unital \(C^*\)-algebra, then \(\mathcal {E}(A):=\{a\in A^*:a=a^* \text { and }0\le a \le 1\}\) is an effect algebra with the partially defined binary internal operation given by \(a\oplus b:=a+b\Leftrightarrow 0\le a+b\le 1\) and orthocomplementation given by \(a^\perp :=1-a\). Indeed, notice that \(\oplus\) is clearly associative whenever it is defined. Indeed, let \(a,b,c\in \mathcal {E}(A)\) with \(b+c\in \mathcal {E}(A)\) and \(a+(b+c)\in \mathcal {E}(A)\). We have to show that \(a+b\in \mathcal {E}(A)\). On the one hand, \(a+b\ge 0\) because \(a,b\ge 0\). On the other hand, \((a+b)+c =a+(b+c)\in \mathcal {E}(A)\) so \((a+b)+c\le 1\), that is, \(1-[(a+b)+c]\ge 0\), so by compatibility with addition \(1-(a+b)=1-[(a+b)+c]+c\ge c\ge 0\), in other words, \(a+b \in \mathcal {E}(A)\). In a similar way, \(\oplus\) is commutative whenever it is defined. The uniqueness of the orthocomplement is also inferred from the uniqueness of the opposite. Finally, the Zero-One Law is also trivially verified.
Remark 3 can be easily generalized to ordered modules over ordered rings. An ordered ring is a ring endowed with a partial order compatible with addition and multiplication by positive elements. An ordered module over an ordered ring is a module over an ordered ring endowed with a partial order compatible with addition and multiplication by positive elements of the ring.
Theorem 10
If M is an ordered module over a unital ordered ring R and \(m\in M\) is so that \(m>0\), then [0, m] is an effect algebra with the partially defined binary internal operation given by \(p\oplus q:=p+q\Leftrightarrow p+q\le m\) for all \(p,q\in [0,m]\) and orthocomplementation given by \(p^\perp :=m-p\) for all \(p\in [0,m]\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
García-Pacheco, F.J. TOPOLOGICAL MODULES GEOMETRY. J Math Sci 280, 117–130 (2024). https://doi.org/10.1007/s10958-023-06806-2
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-023-06806-2