Abstract
It is shown that the Banach algebra \(C_{ub}(X,d)\) of bounded uniformly \({{\mathbb {K}}}\)-valued continuous functions on a metric space (X, d) is coherent if and only if d is a uniformly discrete metric, or equivalently, if X does not contain twin sequences. The proof is based on Neville’s result that \(C(X, {\mathbb {R}})\) for a Tychonov space is coherent if and only if X is basically disconnected. Since \(C_{ub}(X,d)\) is self-adjoint, we also include in the survey part some general results on the spectrum M(A) of general self-adjoint Banach function algebras which we need for the special case here.
Similar content being viewed by others
Notes
Writing \(C(X,{{\mathbb {K}}})\) here would be too restrictive here, as we need to consider real algebras of complex-valued functions. Note that in our notation, the \({{\mathbb {C}}}\) in \(C(X,{{\mathbb {C}}})\) just denotes the target space of the functions and not the underlying field of scalars on which \(C(X,{{\mathbb {C}}})\) operates.
The first line in the displayed formula is only a formal expression, since complex scalars are not necessarily elements of \({\mathcal {R}}\)
We do not assume that singletons are closed.
For instance, we may take \({\mathcal {F}}=C(X, {\mathbb {R}})\).
Note that the elements in \(X/_\sim \) are subsets of X.
Recall that \(x^*=x\) is possible.
Note that when defining \(f(E):=\{f(x):x\in E\}\), we have \(\pi (E)=\bigcup _{x\in E} \{\pi (x)\}\subseteq X/_\sim \), which is of course different from \(\underline{\pi }(E)=\bigcup _{x\in E} \underline{ \pi }(\{x\})= \bigcup _{x\in E} \pi (x)\subseteq X\).
This property is motivated by [23, Definition 32.120] introducing L-sets, or \({\mathcal {R}}\)-rationally convex sets in real Banach algebras.
Attention: in the second case \({\mathcal {H}}(x_0)\) is not necessarily a subset of L since L is assumed to contain only the real constants.
This is in [31] for complex algebras.
Without this condition, the algebra \(A(\varvec{D})_\mathrm{sym}|_{[-1,1]}\) considered above, yields a counter-example (here \(\tau (x)=x\) for \(x\in [-1,1]\)).
By the way, (2) \(\Longrightarrow \) (1) is much easier to prove than (3) \(\Longrightarrow \) (1).
This is a method presented in [23, Theorem 8.55]. For sequences we would simply have \(x_1,y_1,x_2,y_2,\ldots \)
In German: “maximale Rückspiegelung”; a terminology coined in [11] when studying closures of Gleason parts in \(H^\infty ({{\mathbb {D}}})\).
If \(B=A\) then we may also use (1.3) to conclude that \(\iota \) is a homeomorphism onto \(\Delta \).
See [23, Def. 1.258] for the definition used here.
Which we identify with X if X is compact.
The equivalence of (1) with (2) may be viewed as a very special case of [23, Theorem 8.30].
More precisely \(\overline{\iota _A(E)}^{M(A)}\cap \; \overline{\iota _A(F)}^{M(A)}=\emptyset \).
In particular, this holds if X is a compact metric space.
Use that \(L:=I\cap J=(da)\cap (db)\) with \(1=ua+vb\) for some u, v and that \(ax=by\) implies that b divides a ([23, Lemma 19.36]), to prove that \(L=(dab)\).
This is from [4], where it is claimed without proof.
References
Amar, E.: Non cohérence de certains anneaux de fonctions holomorphes. Illinois J. Math. 25(1), 68–73 (1981)
Atsuji, M.: Uniform continuity of continuous functions of metric spaces. Pac. J. Math. 8, 11–16 (1958)
Browder, A.: Introduction to Function Algebras. W.A. Benjamin Inc, New York (1969)
Brudnyi, A.: Topology of the maximal ideal space of \(H^\infty \). J. Funct. Anal. 189, 21–52 (2002)
Gamelin, T.W.: Uniform Algebras. Chelsea, New York (1984)
Garcia, S.R., Mashreghi, J., Ross, W.T.: Finite Blaschke Products and Their Connections. Springer, Berlin (2018)
Garnett, J.B.: Bounded Analytic Functions. Academic Press, New York (1981)
Gillman, L., Jerison, M.: Rings of Continuous Functions. Springer, New York (1976)
Glaz, S.: Commutative coherent rings Lecture Notes in Math. 1371, Springer, Berlin (1989)
Glaz, S.: Commutative coherent rings: Historical perspective and current developments. Nieuw Arch. Wiskd. IV. Ser. 10(1–2), 37–56 (1992)
Gorkin, P., Lingenberg, H.-M., Mortini, R.: Homeomorphic disks in the spectrum of \(H^\infty \). Indiana Univ. Math. J. 39, 961–983 (1990)
Gutev, V.: Simultaneous extension of continuous and uniformly continuous functions, preprint. https://arxiv.org/pdf/2010.02955.pdf
Hewitt, E.: Rings of real-valued continuous functions I. Trans. Am. Math. Soc. 64, 45–99 (1948)
Hickel, M.: Noncohérence de certains anneaux de fonctions holomorphes. Illinois J. Math. 34(3), 515–525 (1990)
Hoffman, K.: Bounded analytic functions and Gleason parts. Ann. Math. 2(86), 74–111 (1967)
Kulkarni, S.H., Limaye, B.V.: Real Function Algebras. Marcel Dekker, New York (1992)
Leibowitz, G.: Lectures on Complex Function Algebras Scott. Forseman and Co., Glenview (1970)
Mandelkern, M.: On the uniform continuity of Tietze extensions. Arch. Math. (Basel) 55, 387–388 (1990)
McShane, E.J.: Extension of range of functions. Bull. Am. Math. Soc. 40, 837–842 (1934)
McVoy, W.S., Rubel, L.A.: Coherence of some rings of functions. J. Funct. Anal. 21, 76–87 (1976)
Mortini, R.: Noncoherent uniform algebras in \(\mathbb{C}^n\). Studia Math. 234, 83–95 (2016)
Mortini, R., Rupp, R.: Stable ranks for the real function algebra \(C(X,\tau )\). Indiana Univ. Math. J. 60, 269–284 (2011)
Mortini, R., Rupp, R.: Extension Problems and Stable Ranks, a Space Odyssey. Birkhäuser, Cham (2021)
Mortini, R., von Renteln, M.: Ideals in the Wiener algebra \(W^+\). J. Aust. Math. Soc. Ser. A 46, 220–228 (1989)
Mortini, R., Sasane, A.: Noncoherence of some rings of holomorphic functions in several variables as an easy consequence of the one-variable case. Archiv Math. 101, 525–529 (2013)
Nadler, S.B.: Pointwise products of uniformly continuous functions. Sarajevo J. Math. 1, 117–127 (2005)
Nadler, S.B., Zitney, D.M.: Pointwise products of uniformly continuous functions on sets in the real line. Am. Math. Mon. 114, 160–163 (2007)
Neville, C.W.: When is \(C(X)\) a coherent ring? Proc. Am. Math. Soc. 110, 505–508 (1990)
Rainwater, J.: Spaces whose finest uniformity is metric. Pac. J. Math. 90, 567–570 (1959)
Remmert, R.: Funktionentheorie II. Springer, Berlin (1991)
Royden, H.L.: Function algebras. Bull. Am. Math. Soc. 69, 281–298 (1963)
Woods, R.G.: The minimum uniform compactification of a metric space. Fund. Math. 147, 39–59 (1995)
Acknowledgements
The authors thank Amol Sasane for some initial thoughts on Sect. 4 and Alexander Brudnyi for some information on \(C_{ub}({{\mathbb {D}}},\psi )\).
Funding
Not applicable.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Mortini , R., Rupp, R. A Characterization of Coherence of the Algebra of Bounded Uniformly Continuous Functions on a Metric Space and the Spectrum of General Self-Adjoint Banach Function Algebras. Results Math 76, 210 (2021). https://doi.org/10.1007/s00025-021-01523-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-021-01523-1