# Fixed point theorems for a class of maps in normed Boolean vector spaces

- Swaminath Mishra
^{1}, - Rajendra Pant
^{1}Email author and - Venkat Murali
^{2}

**2012**:47

https://doi.org/10.1186/1687-1812-2012-47

© Mishra et al; licensee Springer. 2012

**Received: **16 July 2011

**Accepted: **23 March 2012

**Published: **23 March 2012

## Abstract

In this article, we obtain some fixed and common fixed point theorems for a class of maps on normed Boolean vector spaces satisfying the *property* (*E.A*) without using continuity. Our results extend and unify some known results.

**2000 Mathematics Subject Classification:** Primary 06E30.

## Keywords

*E.A*)fixed point

## 1 Introduction and preliminaries

Fixed point theory of Boolean functions has many potential applications to error-correcting codes, to switching circuits and to the relationship between the consistency of a Boolean equation, cryptography, convergence of some recursive parallel array processes in Boolean arrays and many others. However, there are only a limited number of results available in literature dealing with fixed point theory for Boolean valued functions (see, for instance, Ghilezan [1] and Rudeanu [2]). In addition, most of these results are in finite dimensional spaces. Recently, Rao and Pant [3] obtained some fixed and common fixed point theorems for asymptotically regular maps on finite dimensional normed Boolean vector spaces (for details of Boolean vector spaces, we refer to Subrahmanyam [4, 5]). The purpose of this article is to obtain some coincidence and common fixed point theorems in infinite dimensional normed Boolean vector spaces for certain classes of maps without using continuity conditions. These maps satisfy the *property* (*E.A*) introduced and studied by Aamri and Moutawakil [6] for the first time. It is interesting to note that the above property presents a nice generalization of non-compatible maps. Results obtained herein extend certain results of [6, 7] among others to normed Boolean vector spaces.

**Definition 1.1**. [6] Let

*X*be a metric space and

*S, T*:

*X*→

*X*. Then the maps

*S*and

*T*are said to satisfy the property (

*E.A*) if there exits a sequence {

*x*

_{ n }} in

*X*such that

When *T* = *I*, the identity map on *X*, we obtain the corresponding definition for a single map satisfying the property (*E.A*) (see [7]).

**Example 1.2**. [6]. Let *X* = [0, ∞) endowed with the usual metric. Define *S, T* : *X* → *X* by $Sx=\frac{x}{4}$ and $Tx=\frac{3x}{4}$ for all *x* ∈ *X*. Consider a sequence ${x}_{n}=\frac{1}{n}$. Clearly $\underset{n\to \infty}{\text{lim}}S{x}_{n}=\underset{n\to \infty}{\text{lim}}T{x}_{n}=0$, and *S* and *T* satisfy the property (*E.A*).

There are maps which do not satisfy the property (*E.A*).

**Example 1.3**. [6]. Let *X* = [2, ∞) endowed with the usual metric. Define *S, T* : *X* → *X* by *Sx* = *x*+1 and *Tx* = 2*x*+1, for all *x* ∈ *X*. Suppose *S* and *T* satisfy the property (*E.A*), then there exists a sequence {*x*_{
n
} } in *X* satisfying $\underset{x\to \infty}{\text{lim}}S{x}_{n}=\underset{x\to \infty}{\text{lim}}T{x}_{n}=t$, for some *t* ∈ *X*. Therefore $\underset{x\to \infty}{\text{lim}}{x}_{n}=t-1$ and $\underset{x\to \infty}{\text{lim}}{x}_{n}=\frac{t-1}{2}$. Then *t* = 1, which is a contradiction since 1 ∉ *X*. Hence *S* and *T* do not satisfy the property (*E.A*).

The class of maps satisfying property (*E.A*) contains the class of the well-known compatible maps (see Jungck [8]) as well as the class of non-compatible maps. The property (*E.A*) is very useful in the study of fixed points of nonexpansive maps. In fact the property (*E.A*) ensure the existence of a coincidence point for a pair of nonexpansive type maps in a metric space [7].

For the completeness, we recall the certain definitions and examples from [4].

**Definition 1.4**. [4]. Let $\mathfrak{V}=\left(\mathfrak{V},+\right)$ be an additive abelian group and $\mathcal{B}=\left(\mathcal{B},+,.{,}^{\prime}\right)$ a Boolean algebra. The set
with two operations namely 'addition' and 'scalar multiplication' is said to be a Boolean vector space over
(or simply, a $\mathcal{B}-\text{vector}$ space) if for all $x,y\in \mathfrak{V}$ and $a,b\in \mathcal{B}$,

**(i)** *a*(*x* + *y*) = *ax* + *ay*;

**(ii)** (*ab*)*x* = *a*(*bx*) = *b*(*ax*);

**(iii)** 1*x* = *x*; and

**(iv)** if *ab* = 0, then (*a* + *b*)*x* = *ax* + *bx*.

The elements of
and
will be denoted respectively, by *x, y, z* and *a, b, c* (with or without indices); the zero of
and also null-element of
will both be denoted by 0, while the universal element (= 0') of
will be denoted by 1.

**Example 1.5**. [4]. Let
be any Boolean algebra and
be the additive group of the corresponding Boolean ring; then
is a $\mathcal{B}-\text{vector}$ space if we define: For $a\in \mathcal{B}$ and $x\in \mathfrak{V}$, *ax* = the (*Boolean*) product of *a* and *x* in
.

**Example 1.6**. [4]. Let *R* be any Ring with unity element 1 and let
denotes the set of all the central idempotents of *R*; then it is known that $\left(\mathcal{B},\cup ,\cap {,}^{\prime}\right)$ is a Boolean algebra, where, by definition, *a* ∪ *b* = *a* + *b - ab, a ∩ b* = *ab* and *a'* = 1 *- a*. If
is the additive group of the ring *R*, and for $a\in \mathcal{B}$ and $x\in \mathfrak{V}$, *ax* = the product of *a* and *x* in *R*, then
is a Boolean vector space over $\left(\mathcal{B},\cup ,\cap {,}^{\prime}\right)$.

**Definition 1.7**. [4]. A Boolean vector space over a Boolean algebra is said to be -normed (or simply, normed) if and only if there exists a map

*║*.║ (called norm): $\mathfrak{V}\to \mathcal{B}$ such that

- (i)
*║x*║ = 0 if and only if*x*= 0, and - (ii)
*║ax*║ =*a║x*║ for all $a\in \mathcal{B}$ and $x\in \mathfrak{V}$.

In view of [[4], Corollary 3.2] we note the following.

*d*(

*x, y*) =

*║x*-

*y║*defines a Boolean metric on , i.e.,

- (i)
*d*(*x, y*) = 0 if and only if*x*=*y*; - (ii)
*d*(*x, y*) =*d*(*y, x*) and - (iii)
*d*(*x, z*) <*d*(*x, y*) +*d*(*y, z*).

**Definition 1.8**. [4]. Let be a

*σ*-complete (= countably complete) Boolean algebra. If {

*a*

_{ n }} is a sequence of elements of , we define:

then we say that *a*_{
n
} converges to *a*, and will be written as *a*_{
n
} → *a*. A sequence {*a*_{
n
} } in
is a Cauchy sequence if and only if *d**(*a*_{
n
}*, a*_{
m
} ) → 0, where *d** is the Boolean metric on
defined by *d**(*a, b*) = *a'b* + *ab*'.

**Definition 1.9**. [4]. If {*x*_{
n
} } is a sequence of elements of
, we say that *x*_{
n
} *→ x*$\left(x\in \mathfrak{V}\right)$ if and only if ║*x*_{
n
} *- x*║ → 0; and a sequence {*x*_{
n
} } in
is Cauchy if and only if ║*x*_{
n
} *- x*_{
m
} ║ → 0.

The following definition is the consequence of Definitions 1.1 and 1.4.

**Definition 1.10**. Let be a normed Boolean vector space and $S,T:\mathfrak{V}\to \mathfrak{V}$. Then the maps

*S*and

*T*are said to satisfy the property (

*E.A*) if there exits a sequence {

*x*

_{ n }} in such that

## 2 Main results

Let
be a normed Boolean vector space and $T:\mathfrak{V}\to \mathfrak{V}$. A point $z\in \mathfrak{V}$ is called a fixed point of *T*, if *Tz* = *z*. The point *z* is called a coincidence point of $S,T:\mathfrak{V}\to \mathfrak{V}$, if *Sz* = *Tz* and a common fixed point, if *z* = *Sz* = *Tz*.

Let Φ denotes the class of all functions $\psi :\mathcal{B}\to \mathcal{B}$ satisfying:

**(i)** *ψ* is continuous;

**(ii)** *ψ*(*a*) < *a'*.

**Example 2.1**. Let

*A*be a non-empty set and the class of all subsets of

*A*with three set operation ∩, ∪, ' (union, intersection, and complement). Then defines a Boolean algebra. Now, let $\phi :\mathcal{B}\to \mathcal{B}$ be the function defined by

where 1 denotes the universal element of
. Then *φ* ∈ Φ.

Now we obtain a coincidence theorem for a pair of self-maps on a normed Boolean vector space.

**Theorem 2.2**. *Let*
*be a normed Boolean vector space and*$S,T:\mathfrak{V}\to \mathfrak{V}$*such that*

**(A)**
$S\mathfrak{V}\subseteq T\mathfrak{V}$

**(B)** *the maps S and T satisfy the property* (*E.A*);

**(C)** *d*(*Sx, Sy*) = *ψ*(*M*(*x, y*)) *for all*$x,y\in \mathfrak{V}$, *where ψ* ∈ Φ.

*If* $S\mathfrak{V}$ or $T\mathfrak{V}$ is a complete subspace of
*then S and T have a coincidence in*
.

*Further, S and T have a unique common fixed point provided that SSu = Su and S and T commute at the coincidence point*.

*Proof*. Since the maps

*S*and

*T*satisfy the property (

*E.A*) there exits a sequence {

*x*

_{ n }} in such that

Suppose $T\mathfrak{V}$ is a complete subspace of
then there exists a point $u\in \mathfrak{V}$ such that *Tu* = *t*.

Making *n* → ∞, we obtain *d*(*Su, Tu*) = *ψ*(*d*(*Su, Tu*)) < (*d*(*Su, Tu*))'. Which follows that *Su* = *Tu* and *u* is a coincidence point of *S* and *T*.

Further, if *SSu* = *Su*, and the maps *S* and *T* commute at their coincidence point *u* then *Su* = *STu* = *TSu* and *Su* is a common fixed point of *S* and *T*.

The case in which $S\mathfrak{V}$ is a complete subspace of
, the condition $S\mathfrak{V}\subseteq T\mathfrak{V}$ implies that there exists a point $u\in \mathfrak{V}$ such that *Tu* = *t* and the previous proof works.

*z*

_{1},

*z*

_{2}are two common fixed points of

*S*and

*T*. Then

*Sz*

_{1}=

*Tz*

_{1}=

*z*

_{1}and

*Sz*

_{2}=

*Tz*

_{2}=

*z*

_{2}. Using the condition (C)

Which follows that *z*_{1} = *z*_{2}. □

**Corollary 2.3**. *Let*
*be a complete normed Boolean vector space and* $S:\mathfrak{V}\to \mathfrak{V}$ *such that*

**(I)** *S satisfies the property* (*E.A*)

**(II)** *d*(*Sx, Sy*) = *ψ*(*m*(*x, y*)) *for all*$x,y\in \mathfrak{V}$, *where ψ* ∈ Φ.

*Then S has a unique fixed point*.

*Proof*. This comes from Theorem 2.2 when *T* is an identity map on
. □

**Theorem 2.4**. *Let*
*be a normed Boolean vector space and*$S,T:\mathfrak{V}\to \mathfrak{V}$*such that*

**(A)**
$S\mathfrak{V}\subseteq T\mathfrak{V}$

**(B)** *the maps S and T satisfy the property* (*E.A*);

**(C)** *d*(*Sx, Sy*) = *ψ*(*G*(*x, y*)) *for all*$x,y\in \mathfrak{V}$, *where ψ* ∈ Φ.

*If* $S\mathfrak{V}$ or $T\mathfrak{V}$ *is a complete subspace of*
*then S and T have a coincidence in*
.

*Further, S and T have a unique common fixed point provided that SSu* = *Su and S and T commute at the coincidence point*.

*Proof*. Since the maps

*S*and

*T*satisfy the property (

*E.A*) there exits a sequence {

*x*

_{ n }} in such that

Suppose $T\mathfrak{V}$ is a complete subspace of
then there exists a point $u\in \mathfrak{V}$ such that *Tu* = *t*.

Making *n* → ∞, we obtain *d*(*Su, Tu*) = *ψ*(*d*(*Su, Tu*)) < (*d*(*Su, Tu*))'. Which follows that *Su* = *Tu* and *u* is a coincidence point of *S* and *T*.

Further, if *SSu* = *Su*, and the maps *S* and *T* commute at their coincidence point *u* then *Su* = *STu* = *TSu* and *Su* is a common fixed point of *S* and *T*.

The case in which $S\mathfrak{V}$ is a complete subspace of
, the condition $S\mathfrak{V}\subseteq T\mathfrak{V}$ implies that there exists a point $u\in \mathfrak{V}$ such that *Tu* = *t* and the previous proof works.

*z*

_{1},

*z*

_{2}are two common fixed points of

*S*and

*T*. Then

*Sz*

_{1}=

*Tz*

_{1}=

*z*

_{1}and

*Sz*

_{2}=

*Tz*

_{2}=

*z*

_{2}. Using the condition (C)

Which follows that *z*_{1} = *z*_{2}. □

**Corollary 2.5**. *Let*
*be a complete normed Boolean vector space and* $S:\mathfrak{V}\to \mathfrak{V}$ *such that*

**(I)** *S satisfies the property* (*E.A*);

**(II)** *d*(*Sx, Sy*) = *ψ*(*g*(*x, y*)) *for all*$x,y\in \mathfrak{V}$, *where ψ* ∈ Φ.

*Then S has a unique fixed point*.

*Proof*. This comes from Theorem 2.4 when *T* is an identity map on
. □

Now we present an example to illustrate our results.

**Example 2.6**. Let *A* be a non-empty set and
the class of all subsets of *A*. Then the class
with three set operation +, •, ' (union, intersection, and complement) defines a Boolean algebra. Further, this class
with the set operation "exclusive-or addition" ⊕ (symmetric difference of sets) defines a Boolean ring. Let $\mathfrak{V}=\left(\mathfrak{V},\oplus \right)$ be the additive abelian group of this Boolean ring. For *a* in
and *x* in
, we define *ax* = *a • x* (the Boolean) product of *a* and *x* in
. Then
is a Boolean vector space over
.

Let $\psi :\mathcal{B}\to \mathcal{B}$ defined by *φ*(*a*) = *a -* 1 for all $a\in \mathcal{B}$, where '1' is the universal element of
.

*x*

_{ n }} in defined by

*x*

_{ n }=

*ξ*for all

*n*= 1, 2,..., such that

where *║*•║ is any norm defined on
. Thus all the hypotheses of Theorem 2.2 are satisfied and *ξ* is a common fixed point of *S* and *T*.

## Declarations

### Acknowledgements

The authors would like to thank the referees for their constructive comments and useful suggestions.

## Authors’ Affiliations

## References

- Ghilezan C: Some fixed point theorems in Boolean Algebra.
*Publ Inst Math (Beograd)*1980, 28(42):77–82.MathSciNetGoogle Scholar - Rudeanu S: Boolean transformations with unique fixed points.
*Math Slovaca*2007, 57: 1–10. 10.2478/s12175-007-0010-yMATHMathSciNetView ArticleGoogle Scholar - Rao DPRVS, Pant R: Fixed point theorems in Boolean vector spaces.
*Nonlinear Anal*2011, 74: 5383–5387. 10.1016/j.na.2011.05.021MATHMathSciNetView ArticleGoogle Scholar - Subrahmanyam NV: Boolean vector spaces-I.
*Math Z*1964, 83: 422–433. 10.1007/BF01111003MathSciNetView ArticleGoogle Scholar - Subrahmanyam NV: Boolean vector spaces-II.
*Math Z*1965, 87: 401–419. 10.1007/BF01111721MATHMathSciNetView ArticleGoogle Scholar - Aamri M, Moutawakil DEl: Some new fixed point theorem under strict contractive conditions.
*J Math Anal Appl*2002, 270: 181–188. 10.1016/S0022-247X(02)00059-8MATHMathSciNetView ArticleGoogle Scholar - Pant RP: Fixed points of nonexpansive mappings and a generalized notion of compactness.
*Bull Cal Math Soc*2007, 99(1):45–52.MATHMathSciNetGoogle Scholar - Jungck G: Compatible mappings and common fixed points.
*Internat J Math Math Sci*1986, 9(4):771–779. 10.1155/S0161171286000935MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.