Research  Open  Published:
Rakotch type contractive maps, square roots and uniform convexity
Fixed Point Theory and Applicationsvolume 2015, Article number: 225 (2015)
Abstract
In this paper we introduce a family of weakly contractive maps on the space $B(S)$ of bounded real valued functions and use it to show that a fundamental step in the proof of the wellknown StoneWeierstrass approximation theorem can be achieved via Rakotch’s fixed point theorem for weakly contractive maps. With the same technique, we obtain Zemanek’s theorem on the existence of square roots in certain Banach subalgebras of $B(S)$, and, finally, in the context of abstract Banach algebras, we exhibit some relationship between weakly contractive maps on the closed unit ball and the geometry of the spheres.
Introduction and preliminary results on weakly contractive maps
If $(X,d)$ is a metric space and D is a nonempty subset of X, then we say that $T:D\rightarrow X$ is contractive if there exists $\alpha \in[0,1)$ such that
for all $x,y\in X$. The famous BanachCaccioppoli theorem [1, 2] asserts that if $(X,d)$ is complete and $T:X\rightarrow X$ is contractive, then T has a unique fixed point $x^{*}\in X$ and, for any $x_{0}\in X$, the sequence $\{T^{n}(x_{0})\}$ converges to $x^{*}$.
After this theorem, some authors tried to generalize it keeping the conclusions on the existence and uniqueness under more general hypotheses, and in many cases the maps satisfying the new conditions have been named weakly contractive. In this section we will be concerned with three of these conditions, due to Rakotch [3], Krasnosel’skii et al. [4] and Dugundji and Granas [5], which will be shown to be equivalent formulations of the same concept. There are some other conditions which are worth mentioning; for instance, the one introduced by Geraghty [6], which is still object of generalizations (see, for instance, Karapinar [7]), but they are not the subject of study in this paper.
As far as we know, the first result in this direction was given by Rakotch [3] in 1961, who replaced the constant α by a function $\alpha=\alpha(d(x,y))$, allowing it to approach 1 exceptionally: we say that $T:D\subset X\rightarrow X$ is weakly contractive in the sense of Rakotch if for every $x,y\in D$, we have
where $\alpha: [0,\infty)\rightarrow[0,1]$ is a map that is compactly less than 1, that is α is a map such that, for all $0< a\le b$,
In a subsequent work, Krasnosel’skii et al. (see [4], p.51) proved that the function $\alpha=\alpha(d(x,y))$ that appears in Rakotch’s theorem could be replaced by a more general function $\alpha=\alpha (x,y)$ satisfying the property of being compactly less than 1, that is, a function $\alpha:D\times D\rightarrow[0,1]$ such that, for every $x,y\in D$,
and, for every $a,b\in\mathbb{R}$ with $0< a\le b$,
Another condition, which looks different from (K) and that can substitute (1) in BanachCaccioppoli’s theorem, was introduced in 1978 by Dugundji and Granas [5] and reads as follows: there exists $\gamma:D\times D\rightarrow [0, \infty)$ such that
for every $0< a\le b$ and such that
for all $x,y\in D$. In the same paper, Dugundji and Granas proved that condition (DG) is equivalent to condition (K) and, obviously, (R) implies (K); hence, the three conditions would be equivalent if the implication (K) ⇒ (R) were true. Next, we shall show that this is the case, that is, we shall prove that the three conditions are equivalent. We state this as a theorem.
Theorem 1
Let $(X,d)$ be a metric space, and D a nonempty subset of X. Then, for any map $T:D\rightarrow X$, conditions (R), (K) and (DG) are equivalent.
Proof
As we have previously noticed, we only need to show that (K) implies (R). For that, start supposing that a map $T:D\rightarrow X$ satisfies condition (K), which means the existence of a map $\alpha:D\times D\rightarrow[0,1]$ with α compactly less than 1 and satisfying inequality (K). Define $\overline{\alpha}:[0,\infty)\rightarrow[0,1]$ as
if there exist $x,y\in D$ with $d(x,y)=t$ and $\overline{\alpha} (t)=\frac{1}{2}$ otherwise. Then, α̅ is compactly less than 1 because, for $0< a\le t\le b$ and $x,y\in D$ with $d(x,y)=t$, we have $\alpha(x,y)\le\Theta_{\alpha}(a,b)$, from which $\overline{\alpha}(t)\le\Theta_{\alpha}(a,b)$, and, consequently, for every $a,b\in\mathbb{R}$ with $0< a\le b$,
Observe also that inequality (R) is satisfied with the function α̅ because for any $x,y\in D$, we have $\alpha(x,y)\le\overline{\alpha}(d(x,y))$, and T satisfies condition (K) with the function α. Hence, T satisfies condition (R). □
The previous result allows us to say that $T:D\subset X\rightarrow X$ is weakly contractive if it satisfies some (hence, all) of conditions (R), (K) or (DG). Rakotch’s theorem [3] states that if $(X,d)$ is a complete metric space and $T:X\rightarrow X$ is weakly contractive, then T has a unique fixed point in X, say $x^{*}$, and for each $x_{0}\in X$, the sequence of iterates $\{ T^{n}(x_{0})\}$ converges to $x^{*}$. Also, we can see that this theorem is a strict generalization of BanachCaccioppoli’s theorem just considering the space $X=[0,1]$ with the usual metric $d(x,y)=\vert xy\vert$ and the map $T:X\rightarrow X$ given as $T(x)=\sin(x)$, which is weakly contractive but not contractive.
In Section 2 we introduce a family of weakly contractive maps on the space $B(S)$ of bounded real functions and show that Rakotch’s theorem can be used to prove a result of Zemanek [8] about the existence of square roots in some Banach subalgebras of $B(S)$, a result which is a fundamental step in the proof of the wellknown StoneWeierstrass approximation theorem [9]. The use of Rakotch’s theorem in the proof of this theorem is also interesting because, for weakly contractive maps, it can be given a rate of convergence of the sequence of iterates (see [10]).
In Section 3 we show that there are some connections between weakly contractive maps, square roots in abstract algebras and the geometry of the unit ball.
Weakly contractive maps and square roots in $B(S)$
As we mentioned in the introduction, there are simple examples of maps that are weakly contractive and not contractive. In this section we provide a new example of this type, which is interesting because it existed before Rakotch’s theorem and appears in some proofs of the famous StoneWeierstrass approximation theorem [9]. The aforementioned example is the map T defined on certain subset of the space $\mathcal{C}([0,1])$ by $T(f)(x)=\frac{1}{2}[1x+f^{2}(x)]$, which is used in [11] to prove that the function $\varphi(x)=\sqrt{x}$ can be uniformly approximated by polynomials (using Dini’s test for uniform convergence). In fact, a slight modification of this example will allow us to obtain the result of Zemanek [8] about the existence of square roots in certain Banach algebras. In the first place, we recall some notation and results that are necessary to understand the context which we shall work at.
If S is any nonempty set, then $B(S)$ denotes the set of all bounded functions $f:S\rightarrow\mathbb{R}$, which is known to be a Banach algebra with the pointwise multiplication and the norm $\Vert\cdot \Vert_{\infty}$ (see, for instance, [11]). We also use the notation $B^{+}(S)=\{ f\in B(S) : f(x)\ge0 \text{ for all } x\in S\}$ and, for a nonempty subset $J\subset\mathbb{R}$, $B(S,J)=\{ f\in B(S): f(x)\in J \text{ for all } x\in S\}$.
If S is a compact topological space, then it is also known that the space of continuous real functions $\mathcal{C}(S)$ with its usual norm $\Vert\cdot\Vert_{\infty}$ is a Banach subalgebra of $B(S)$. Notice that, by elementary rules of calculus, the subalgebra $\mathcal{C}(S)$ has the following property: for any $f\in B^{+}(S)\cap\mathcal {C}(S)$, we have $\sqrt{f} \in\mathcal{C}(S)$. The question of whether this property could be extended to abstract subalgebras of $B(S)$ was answered by Zemanek [8] in 1977 by showing that the aforementioned property is satisfied by those subalgebras $\mathcal{A}$ of $B(S)$ that are complete and contain the constant functions. We obtain this result in Theorem 2 by using Rakotch’s theorem, and this will provide us with an extra information about how to obtain $\sqrt{f}$ as a uniform limit of functions of $\mathcal{A}$.
As a first step, in Lemma 1 we introduce a family of weakly contractive maps that will be used in Theorem 2.
Lemma 1
Let $G:S\times J\rightarrow\mathbb{R}$ be a bounded map, where S and $J\subset\mathbb{R}$ are nonempty sets, suppose that $D\subset B(S,J)$ is nonempty and define $T: D\rightarrow B(S)$ as $T(f)(x)=G(x,f(x))$. Then, if D contains the constant functions of $B(S,J)$, then we have that

(a)
T is weakly contractive on D if, and only if, there exists a function $\alpha:J\times J\rightarrow[0,1]$ compactly less than 1 such that
$$ \bigl\vert G(x,u)G(x,v)\bigr\vert \le\alpha(u,v)\vert uv \vert $$(2)for every $u,v\in J$ and every $x\in S$;

(b)
T is contractive if, and only if, there exists $\alpha \in[0,1)$ such that
$$ \bigl\vert G(x,u)G(x,v)\bigr\vert \le\alpha \vert uv\vert $$for every $u,v\in J$ and every $x\in S$.
Proof
We shall only prove part (a), and the proof of part (b) is left to the reader. To prove (a), suppose first that there exists $\alpha: J\times J\rightarrow[0,1]$ compactly less than 1 and satisfying (2). Then, we know that for any two real numbers a and b with $0< a\le b$, we have
We need to show the existence of a function $\beta:D\times D\rightarrow[0,1]$ with β compactly less than 1 and satisfying $\Vert T(f)T(g)\Vert_{\infty}\le\beta(f,g)\Vert fg\Vert _{\infty}$ for every $f,g\in D$. Indeed, we shall see that the function β defined as $\beta (f,f)=0$ and
for $f\neq g$ satisfies all our requirements. Obviously, β takes values in $[0,1]$, and, for all real numbers $0< a\le b$, we have
which shows that β is compactly less than 1. Now, observe that for $f,g\in D$ and $x\in S$, we have
and argue as follows: if $\vert f(x)g(x)\vert\le\frac{1}{2}\Vert fg\Vert_{\infty}$, then use that $0\le\alpha(f(x),g(x))\le1$ together with (3) to obtain $\vert T(f)(x)T(g)(x)\vert\le\frac{1}{2}\Vert fg\Vert_{\infty}$; otherwise, that is, if $\frac{1}{2}\Vert fg\Vert_{\infty}<\vert f(x)g(x)\vert\le\Vert fg\Vert_{\infty}$, then use that $\alpha (f(x),g(x))\le\Theta_{\alpha}(\frac{1}{2}\Vert fg\Vert_{\infty},\Vert fg\Vert_{\infty})$ to obtain
Hence, we have proved that $\Vert T(f)T(g)\Vert_{\infty}\le\beta (f,g)\Vert fg\Vert_{\infty}$.
For the converse, suppose that T is weakly contractive, that is, there exists $\beta:D\times D\rightarrow[0,1]$ compactly less than 1 and satisfying $\Vert T(f)T(g)\Vert_{\infty}\le\beta(f,g)\Vert fg\Vert_{\infty}$ for all $f,g\in D$, and define $\alpha:J\times J\rightarrow[0,1]$ as $\alpha(u,v)=\beta(f_{u},f_{v})$, where, for each $w\in J$, $f_{w}:S\rightarrow J$ denotes the constant function $f_{w}(x)=w$. We have to show that α is compactly less than 1 and satisfies (2); for the former, just observe that for any two real numbers $0< a\le b$, we have
For the latter, suppose that $x\in S$ and $u,v\in J$ and obtain
□
Theorem 2
Let $\mathcal{A}$ be a complete subalgebra of $B(S)$ that contains the constant functions. Then, for each $g^{*}\in B^{+}(S)\cap\mathcal{A}$ with $M=\Vert g^{*}\Vert_{\infty}>0$, we have:

(a)
$\sqrt{ g^{*}}\in\mathcal{A}$, and

(b)
the sequence of functions $\{ g_{n}\}$ given as $g_{0}(x)=0$ and
$$ g_{n}(x)= g_{n1}(x)+\frac{1}{2\sqrt{M}} \bigl[ g^{*}(x)g_{n1}^{2}(x) \bigr],\quad n\ge1 , $$is a sequence in $\mathcal{A}$ that converges uniformly on S to $\sqrt{g^{*}}$.
Proof
Suppose that $g^{*}\in B^{+}(S)\cap\mathcal{A}$ with $M=\Vert g^{*}\Vert_{\infty}>0$. Observe that since $\mathcal{A}$ contains the constant functions, $\sqrt {g^{*}}$ belongs to A if, and only if, the function $f^{*}$ given as $f^{*}(x)=\sqrt{M} \sqrt{g^{*}(x)}$ is in $\mathcal{A}$. It is also obvious that the sequence $\{ g_{n}\}$ is in $\mathcal{A}$ and converges uniformly to $\sqrt{g^{*}}$ if, and only if, the sequence $\{ f_{n}\}$ defined as $f_{n}=\sqrt{M}  g_{n}$ is in $\mathcal{A}$ and converges uniformly to $f^{*}$.
Hence, we only need prove that $f^{*}\in\mathcal{A}$ and that the sequence $\{ f_{n}\}$ is in $\mathcal{A}$ and converges uniformly to $f^{*}$. For that purpose, observe first that the sequence $\{ f_{n}\}$ can be expressed as $f_{0}(x)=\sqrt{M}$ and, for $n\ge1$,
Then, consider the set $K=\mathcal{A}\cap B(S, [0,\sqrt{M}])$, define $T:K\rightarrow B(S)$ by
and observe that $f^{*}$ is the unique fixed point for T in the set $B(S, [0,\sqrt{M}])$. Observe also that $\{ f_{n}\}$ is the sequence of iterates for T with starting point $f_{0}(x)=\sqrt{M}$, so that the proof of (a) and (b) will follow from Rakotch’s theorem [3] once we see that T is weakly contractive and that K is closed and invariant under T.
It is easily seen that K is closed using that $\mathcal{A}$ is closed and that the uniform convergence implies pointwise convergence, and it is easily shown that $T(K)\subset K$ using both that $\mathcal{A}$ is a subalgebra that contains the constant functions and that $0\le T(f)(x)\le\sqrt{M}$ whenever $0\le f(x)\le\sqrt{M}$. Finally, to check that T is weakly contractive, we shall use part (a) of Lemma 1. For that, observe that T can be written as $T(f)(x)= G(x,f(x))$, where $J=[0,\sqrt{M} ]$, $D=K$ and $G:S\times J\rightarrow \mathbb{R}$ is defined by
Obviously, G is bounded, D contains the constant functions of $B(S,J)$, and, for $x\in S$ and $u,v\in J$, we have
where $\alpha:J\times J\rightarrow[0,1]$ is the map given as $\alpha (u,v)= \frac{u+v}{2\sqrt{M}}$.
To see that α is compactly less than 1, just observe that, for $0< a\le b$,
Hence, by Rakotch’s theorem [3], T has a unique fixed point in K, and, for any $h\in K$, the sequence of iterates $\{ T^{n}(h)\}$ converges uniformly on S to this fixed point. Since $K\subset B(S,J)$ and $f^{*}$ is the unique fixed point for T in $B(S,J)$, we conclude that $f^{*}\in K$. Also, starting with $h=f_{0}\in K$, the sequence $\{ T^{n}(h)\}$ is just $\{ f_{n}\}$, and so it converges uniformly to $f^{*}$. □
Notice that Theorem 2 generalizes the following wellknown result, which our operator T is inspired on.
Corollary 1
(Dieudonné [11])
The sequence $\{ g_{n}\}$ in $\mathcal{C}([0,1])$ given as $g_{0}(x)=0$ and
is a sequence of polynomials that converges uniformly to the function $\varphi(x)=\sqrt{x}$ on the interval $[0,1]$.
The map $T:K\rightarrow B(S)$ appearing in the previous theorem is of the form $T(f)(x)=a(x)+F(f(x))$, where in our case $a(x)=\frac {Mg^{*}(x)}{2\sqrt{M}}$ and $F(u)=\frac{1}{2\sqrt{M}}u^{2}$. Applying Lemma 1, we obtained that T is weakly contractive on K if, and only if, F is weakly contractive on the interval J, which suggests the following question.
Question 1
Find an easytocheck characterization of weakly contractive maps on the real line.
Weakly contractive maps and the geometry of spheres in abstract algebras
As we mentioned before, Zemanek [8] proved that if $\mathcal{A}$ is a complete subalgebra of $B(S)$ that contains the constant functions, then for any $g\in B^{+}(S)\cap\mathcal{A}$, we have $\sqrt{g} \in\mathcal{A}$. In his proof, Zemanek used the BanachCaccioppoli theorem and was inspired by a previous paper by Bonsall and Stirling [12] about the existence of square roots in abstract algebras. Specifically, the following result was proved in [12]: if $\mathcal{A}$ is a real or complex Banach algebra, then for each $a\in \mathcal{A}$ with $\Vert a\Vert<1$, there exists a unique $x\in \mathcal{A}$ such that $\Vert x\Vert<1$ and $x=\frac{1}{2}(a+x^{2})$. The proof of this fact is easy if we additionally assume that $\mathcal{A}$ is commutative: just consider a positive number d with $\Vert a\Vert\le d<1$ and check that the map $T:\overline{B}(0,d)\rightarrow \overline{B}(0,d)$ given as $T(x)=\frac{1}{2}(a+x^{2})$ is contractive.
Hence, it is natural to ask whether Bonsall and Stirling’s result is true for $\Vert a\Vert=1$. If we wanted to prove that the answer is yes, a possible strategy could be repeating the previous argument with $d=1$, that is, we would need to prove that the map $T:\overline{B}(0,1)\rightarrow\overline{B}(0,1)$ defined by $T(x)=\frac {1}{2}(a+x^{2})$ has a fixed point in $\overline{B}(0,1)$. Unfortunately, this map needs not be contractive, as it can be seen by considering $\mathcal{A} =\mathbb{R}$ and $a=1$. More generally, if $\mathcal{A}$ is an abstract algebra containing an element b with $\Vert b\Vert= \Vert b^{2}\Vert= 1$, then T is not contractive. To see this, consider the sequences $\{ x_{n}\}$ and $\{ y_{n}\}$ in $\overline{B}(0,1)$ given as $x_{n}=b$ and $y_{n}=(1\frac{1}{n}) b$, $n\ge1$, and check that
In view of the above, it is natural to ask whether T is weakly contractive. In the next theorem we show that the answer is yes if $\mathcal{A}$ is commutative and the norm on $\mathcal{A}$ is a uniformly convex norm (that is, for each $\varepsilon\in(0,2]$, there exists $\delta>0$ such that for any $x,y\in\overline{B}(0,1)$ with $\Vert xy\Vert\ge\varepsilon$, we have $\Vert\frac{1}{2}(x+y)\Vert\le 1\delta$). Before that, we shall show that the notion of a function compactly less than 1 can be used to characterize the uniform convexity of a Banach space.
Lemma 2
A Banach space $(X,\Vert\cdot\Vert)$ is uniformly convex if, and only if, the map $\alpha: \overline{B}(0,1)\times\overline{B}(0,1)\rightarrow[0,1]$ given as $\alpha(x,y)=\Vert \frac {x+y}{2}\Vert $ is compactly less than 1.
Proof
We start supposing that $(X,\Vert\cdot\Vert)$ is uniformly convex and prove that α is compactly less than 1. Indeed, for $0< a\le b$, we have
For the converse, assume that α is compactly less than 1 and prove that $(X,\Vert\cdot\Vert)$ is uniformly convex. Hence, let $\varepsilon\in(0,2]$ and choose $\delta= 1\Theta_{\alpha}(\varepsilon, 2) $. Then we have $\delta>0$ and, for every $x,y\in \overline{B}(0,1)$ with $\Vert xy\Vert\ge\varepsilon$,
□
Theorem 3
If $\mathcal{A}$ is a commutative Banach algebra and the norm on $\mathcal{A}$ is a uniformly convex norm, then for each $a\in\overline{B}(0,1)$, the map $T:\overline{B}(0,1)\rightarrow\overline{B}(0,1)$ given as $T(x)=\frac{1}{2}(a+x^{2})$ is weakly contractive.
Proof
If $x,y\in\overline{B}(0,1)$, then using the commutativity of $\mathcal{A}$, we obtain
Then, since the norm $\Vert\cdot\Vert$ is an algebra norm, we conclude that
where $\alpha: \overline{B}(0,1)\times\overline{B}(0,1)\rightarrow [0,1]$ is given as $\alpha(x,y)=\Vert \frac{x+y}{2}\Vert $.
Finally, α is compactly less than 1 by Lemma 2. □
The converse of the theorem is not true, even under the presence of commutativity, as the following example shows.
Example 1
Consider the algebra $\mathcal{A}=\mathcal{C}([0,1])$ with the pointwise multiplication and its usual norm $\Vert\cdot\Vert _{\infty}$. Then, $\mathcal{A}$ is a commutative Banach algebra whose norm is not uniformly convex, but, for any $f_{0}\in\mathcal{A}$, the map $T:\overline{B}(0,1)\rightarrow\mathcal{A}$ given as $T(f)=\frac {1}{2}(f_{0}+f^{2})$ is weakly contractive.
It is well known that $\mathcal{A}$ is a commutative Banach algebra and also that its norm is not uniformly convex. To see that T is weakly contractive on $\overline{B}(0,1)$, we define $\beta: \overline{B}(0,1)\times\overline{B}(0,1) \rightarrow[0,1]$ by $\beta(f,g)=\max \{ \frac{1}{2} , 1\frac{1}{4}\Vert fg\Vert_{\infty}\}$ and prove that β is compactly less than 1 and also satisfies
for every $f,g\in\overline{B}(0,1)$.
First, β is compactly less than 1 because for all real numbers a and b with $0< a\le b$, we have
Second, in order to check inequality (5), suppose that $f,g\in\overline{B}(0,1)$ and $x\in[0,1]$ and argue as follows: if $\vert f(x)g(x)\vert\le\frac{1}{2}\Vert fg\Vert_{\infty}$, then, since $\vert f(x)+g(x)\vert\le2$, we have
Otherwise, we would have $\vert f(x)+g(x)\vert\le2\frac{1}{2}\Vert fg\Vert_{\infty}$, and then
Then, we have that $\vert T(f)(x)T(g)(x)\vert\le\beta(f,g)\Vert fg\Vert_{\infty}$, and since x is arbitrary in $[0,1]$, (5) is satisfied.
Remark 1
Notice that, although the map T in the example is weakly contractive, the function $\alpha(f,g)=\Vert \frac{1}{2}(f+g)\Vert $ is not compactly less than 1 on $\overline{B}(0,1)\times\overline{B}(0,1)$, as it can be seen either directly or using Lemma 2.
We end this paper with some natural questions related to Theorem 3:
Question 2
Can we remove the commutativity assumption?
Question 3
Can we replace the uniform convexity by a weaker geometrical property?
Question 4
Which consequences (geometrical or not) can we obtain from the fact that the map T is weakly contractive?
Question 5
Can we extend Theorem 3 to the context of Banach spaces (using a different map T)?
References
 1.
Banach, S: Sur les operations dans les ensembles abstraits et leur applications aux équations intégrales. Fundam. Math. 3, 133181 (1922)
 2.
Caccioppoli, R: Un teorema generale sull’esistenza di elementi uniti in una transformazione funzionale. Atti Accad. Naz. Lincei (6) 11, 794799 (1930)
 3.
Rakotch, E: On εcontractive mappings. Bull. Res. Counc. Isr., Sect. F 10F, 5358 (1961)
 4.
Krasnosel’skii, MA, Vainikko, GM, Zabreiko, PP, Rutitskii, YB, Stetsenko, VY: Approximate Solution of Operator Equations. WoltersNoordhoff, Groningen (1972) (translated from the Russian by D Louvish)
 5.
Dugundji, J, Granas, A: Weakly contractive maps and elementary domain invariance theorem. Bull. Soc. Math. Grece 19, 141151 (1978)
 6.
Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604608 (1973)
 7.
Karapinar, E: αΨGeraghty contraction type mappings and some related fixed point results. Filomat 28, 3748 (2014)
 8.
Zemanek, J: A simple proof of the WeierstrassStone theorem. Comment. Math. Prace Mat. 20, 495497 (1977/78)
 9.
Stone, MH: The generalized Weierstrass approximation theorem. Math. Mag. 21, 167184 (1948)
 10.
ArizaRuiz, D, Martol Briseid, E, JiménezMelado, A, LópezAcedo, G: Rate of convergence under weak contractiveness conditions. Fixed Point Theory 14, 1127 (2013)
 11.
Dieudonné, J: Foundations of Modern Analysis. Academic Press, New York (1960)
 12.
Bonsall, FF, Stirling, DSG: Square roots in Banach ∗algebras. Glasg. Math. J. 13, 74 (1972)
Acknowledgements
The work was partially supported by the Spanish (Grant MTM201452865P) and regional Andalusian (Grants FQM210 and P06FQM01504) Governments.
Author information
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
MSC
 47H09
 46J10
 46B20
Keywords
 weakly contractive
 Rakotch type contraction
 StoneWeierstrass
 Banach algebras
 square root