International audienceLet $K$ be an ultrametric complete field and let $E$ be an ultrametric space. Let $A$ be the Banach $K$-algebra of bounded continuous functions from $E$ to $K$ and let $B$ be the Banach $K$-algebra of bounded uniformly continuous functions from $E$ to $K$. Maximal ideals and continuous multiplicative semi-norms on $A$ (resp. on $B$) are studied by defining relations of stickness and contiguousness on ultrafilters that are equivalence relations. So, the maximal spectrum of $A$ (resp. of $B$) is in bijection with the set of equivalence classes with respect to stickness (resp. to contiguousness). Every prime ideal of $A$ or $B$ is included in a unique maximal ideal and every prime closed ideal of $A$ (resp. of $B$) is a maximal ideal, hence every continuous multiplicative semi-norms on $A$ (resp. on $B$) has a kernel that is a maximal ideal. If $K$ is locally compact, every maximal ideal of $A$, (resp. of $B$) is of codimension $1$. Every maximal ideal of $A$ or $B$ is the kernel of a unique continuous multiplicative semi-norm and every continuous multiplicative semi-norm is defined as the limit along an ultrafilter on $E$. Consequently, on $A$ as on $B$ the set of continuous multiplicative semi-norms defined by points of $E$ is dense in the whole set of all continuous multiplicative semi-norms. Ultrafilters show bijections between the set of continuous multiplicative semi-norms of $A , \ Max(A)$ and the Banaschewski compactification of $E$ which is homeomorphic to the topological space of continuous multiplicative semi-norms. The Shilov boundary of $A$ (resp. $B$) is equal to the whole set of continuous multiplicative semi-norms
Let IK be an ultrametric complete field and let E be an open subset of IK of strictly positive codiameter. Let D(E) be the Banach IK-algebra of bounded strictly differentiable functions from E to IK, a notion whose definition is detailed. It is shown that all elements of D(E) have a derivative that is continuous in E. Given a positive number r > 0, all functions that are bounded and are analytic in all open disks of diameter r are strictly differentiable. Maximal ideals and continuous multiplicative semi-norms on D(E) are studied by recalling the relation of contiguity on ultrafilters: an equivalence relation. So, the maximal spectrum of D(E) is in bijection with the set of equivalence classes with respect to contiguity. Every prime ideal of D(E) is included in a unique maximal ideal and every prime closed ideal of D(E) is a maximal ideal, hence every continuous multiplicative semi-norm on D(E) has a kernel that is a maximal ideal. If IK is locally compact, every maximal ideal of D(E) is of codimension 1. Every maximal ideal of D(E) is the kernel of a unique continuous multiplicative semi-norm and every continuous multiplicative semi-norm is defined as the limit along an ultrafilter on E. Consequently, the set of continuous multiplicative semi-norms defined by points of E is dense in the whole set of all continuous multiplicative semi-norms. The Shilov boundary of D(E) is equal to the whole set of continuous multiplicative semi-norms. Many results are similar to those concerning algebras of uniformly continuous functions but some specific proofs are required.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.