ISSN(Print): 2333-1100
ISSN(Online): 2333-1232

Article Versions

Export Article

Cite this article

- Normal Style
- MLA Style
- APA Style
- Chicago Style

Research Article

Open Access Peer-reviewed

Nisha Sharma, Vishnu Narayan Mishra^{ }, and Arti Saxena

Received September 21, 2017; Revised November 11, 2017; Accepted March 19, 2018

We explain the popularized concept of G-metric space and some current common properties of functions like compatibility and others. Particularly two self functions are specified and some most achieved fixed point theorems are generalized using some rational inequalities.

Fixed point theory is a theory with enormous applications in multi branches of mathematics. Pioneering research work of this standard theory is published in 1922 by Stefan Banach ^{ 1}, and iterative method was used to fix the unique fixed points. This theory is very interesting to understand and is applicable in almost all fields of mathematics especially in ordinary differential equations. In 2004, Mustafa and Sims ^{ 6} introduced the concept of generalized metric space which is generalization of the ordinary metric space. It was sturdy generalization of metric spaces. The following concept of Ԍ-metric space and some basic definitions of Ԍ-metric space is given by some mathematicians (see, for example, ^{ 2, 3, 5, 6, 7, 8}).

**Definition 1.1****.** Let be a set and : x x → [0, ∞) be a function satisfying the following axioms:

(Ԍ1) Ԍ(x, y, z) =0 if x = y = z,

(Ԍ2) 0 < Ԍ (x ,x, y) for all x, y ∈ X with x ≠ y

(Ԍ3) Ԍ (x, x, y) ≤ Ԍ (x, y, z), for all x, y, z ∈ with z ≠ y

(Ԍ4) Ԍ (x, y, z)= Ԍ (x, z, y)= Ԍ (y, z, x)

(symmetry in all three variables),

(Ԍ5) Ԍ (x, y, z)= Ԍ (x, a, a)+ Ԍ (a, y, z)

for all x, y, z, a ∈ , (rectangle inequality)

then the function Ԍ is called a generalized metric, or specifically a Ԍ -metric on and the pair (, Ԍ) is called a Ԍ -metric Space.

* Definition 1.2.* Let (, Ԍ) be a Ԍ-metric space and let {x

**Proposition 1.1.** For a Ԍ-metric space (,Ԍ), the following are equivalent:

i. {x_{n}} is Ԍ-convergent to x,

ii. Ԍ(x_{n}, x_{n}, x) 0 as n ,

iii. Ԍ(x_{n}, x, x) 0 as n ,

iv. Ԍ(x_{m}, x_{n}, x) 0 as m, n .

**Definition 1.3.** Let ((, Ԍ), Ԍ) be a Ԍ-metric space. A sequence {x_{n}} is called Ԍ-Cauchy if, for each ε > 0, there exists a positive integer N such that

1. Ԍ(x_{n}, x_{m}, x_{l}) < ε, for all n, m, l N, i.e., if

2. Ԍ(x_{n}, x_{m}, x_{l}) 0 as n, m, l .

**Definition 1.4.** If (, Ԍ) and (^{’}, Ԍ^{’}) be two Ԍ-metric space and let *f : *(, Ԍ) (^{’}, Ԍ^{’}) be a function, then f is said to be Ԍ-continuous at a point* **x*_{0} if for given ε > 0, there exists > 0 such that for *x, y * and *Ԍ**(x*_{0}*, x, y) <* implies *Ԍ**(f(x*_{0}*), f(x), f(y)) < ε*. A function f is *Ԍ*-continuous at if and only if it is *Ԍ**-*continuous at all *x*_{0}* *or function *f *is said to be Ԍ-continuous at a point *x*_{0}* * if and only if it is Ԍ-sequentially continuous at *x*_{0}, that is, whenever *{x*_{n}*}* is Ԍ-convergent to x_{0}, *{ f(x*_{n}*) }* is Ԍ-convergent to *f(x*_{0}*).*

**Definition 1.5.** A *Ԍ**-*metric space (, Ԍ) is said to be Ԍ-complete if every *Ԍ**-*Cauchy sequence in (, Ԍ) is *Ԍ*-convergent in .

**Proposition 1.2.*** A **Ԍ**-metric space** (**, **Ԍ**) is said to be **Ԍ**-complete if and only if (**, d*_{Ԍ}*) is a complete metric space*.

**Proposition 1.3.** Let (, Ԍ) be a *Ԍ*-metric space. Then, for any *x, y, z *and *a* in , it follows that:

(i) if Ԍ(x, y, z) = 0, then x = y = z,

(ii) Ԍ(x, y, z) Ԍ(x, x, y) + Ԍ(x, x, z),

(iii) Ԍ(x, y, y) 2Ԍ(y, x, x),

(iv) Ԍ(x, y, z)Ԍ(x, a, z) + Ԍ(a, y, z),

(v) Ԍ(x, y, z) (Ԍ(x, y, a) + Ԍ(x, a, z) + Ԍ(a, y, z)),

(vi) Ԍ(x, y, z) Ԍ(x, a, a) + Ԍ(y, a, a) + Ԍ(z, a, a).

**Definition 1.6.** Let *f* and *g* be two self mappings on a metric space (,* **Ԍ*). The mappings *f *and *g* are said to be compatible if there exist a sequence *{**}* such that *=0,** *or =0, whenever {x_{n}} is a sequence in such that

**Definition 1.****7****.** Let *f* and *g* be two self mappings on a metric space (, *Ԍ*). The mappings *f* and *g* are said to satisfy the property (*E.A*), if there exist a sequence *{x*_{n}*}* in such that

for some *x * *.*

**Definition 1.****8*** .* Let

* Definition 1.9.* Two maps are said to be weakly compatible if they commute at coincidence points.

This is the result for unique fixed point for pair of weak compatible maps.

* Theorem 2.1.* Let (,

(1.1) f() Ԍ()

(1.2) f or g is continuous,

(1.3)

for all *x, y, z ** **, *where 0 ≤ < Including the fact that f and g are compatible maps then f and g have a unique common fixed point in

**Proof***.* Let *x*_{0} be a random selection, then by *(1.1),* there may exist one point or one may choose some point *x*_{1} such that *fx*_{0}*=gx*_{1}_{. }In general one can choose *x*_{n+1} such that

*y*_{n }*= fx*_{n }*= gx*_{n+1}*, n=0, 1, 2, 3*.

From (1.3), we have

Using the preposition Ԍ(x, y, y) 2Ԍ(y, x, x), we have

**Case 1.**

If the max is taken as,

Then using (1.3), we Ԍet

Repetitively we have

Hence for every natural n and m where n < m, we have

For limiting values of n and m as infinity, we have *= 0.* Therefore {} is a Ԍ-Cauchy sequence.

**Case 2. **

If

Then (1.3) becomes,

Which is a contradiction because 0 ≤ <

Hence the sequence is again a G-Cauchy sequence.

**Case ****3****.**

If the max is taken as,

Then using (1.3), we Ԍet

Where , it is obvious that p < 1. Also

0 ≤ <

It is clear from case 1 that it is again a G-Cauchy sequence in G-metric space.

For all the cases we have G-Cauchy sequence, also it is mentioned that the given G-metric space is complete.

Therefore the Cauchy sequence is convergent and the point of convergence belongs to the given metric space.

i.e.

We have

Because of the continuity of one of the two maps f or g, let us assume that the map g is continuous and hence we have,

Additionally, f and g are compatible, hence

gives

Now, from (2.1), we have

taking n approaches to infinity,

**Case** **1**

It is a contradiction since

**Case** **2**

which is a contradiction since

Hence =, next we are to show that g μ =f μ = μ, to prove this substitute x =, y = z = μ in (1.3)

If n approaches to infinity,

*Ԍ**(**,f**,f**)**=*, a contradiction as

.

Hence =. Thus is a fixed point of f and g. by the compatibility of f and g, it is obvious that fg= gf=.

Uniqueness

It is to be assume that that are two distinct fixed points

of f and g then from (1.3). we have

hence since <

**Theorem 2.2.** Let (, Ԍ) be a complete Ԍ-metric space and f, g : be weakly compatible self mapping on (,Ԍ) satisfying (1.1) and (1.3) also

(1.4) one of the subspace f(X) or g(X) is complete then f and g have unique common fixed point.

proof

it is clear from theorem (2.1) that {}is G-Cauchy sequence, without loss of generality it can be assumed that g(X) is complete. Then the subsequence is going to have a limit in g(X). let it be .let then

g=. Since {} is G-Cauchy sequence, containing a convergent subsequence therefore the sequence is also

convergent. It is to prove that =.

Let x=, y=and z=

From (1.3), we have

Taking n approaches to infinity, we have

= as < ,

i.e., now. It is to be shown that = . Suppose that now put on setting x= y = z =in (1.3), we have

Using the prepositions (1.3) and using the fact that f =g, we have

Clearly we have,

It proves that , i.e., is a common fixed point. Uniqueness is confirmed by the uniqueness of theorem 2.1.

* Theorem 2.3.* Let (, Ԍ) be a complete Ԍ-metric space and

(1.6) f and g satisfy property (E.A)

(1.5) g() is complete subspace of

Then f and Ԍ have a unique common fixed point in provided f and Ԍ are compatible maps.

* Proof.* Since e property (E.A) is satisfied by f and g, therefore, there exists one sequence in . Such that

for some . By the closeness of g() in . = for some* *

implies * =**.*

We declare that

Using the equation (1.3)

which is a contradiction because of range of hence

Hence is a fixed point of f and g.

**Theorem 2.****4****.** Let (, Ԍ) be a complete Ԍ-metric space and *f, g: ** ** * be the self mapping on (, Ԍ) satisfying the following conditions (1.2) and (1.3) and the condition

(1.4) any one of the subspaces f () or g() is complete.

* Proof.* Since the self maps

for some* ** ** *.

We declare that f=g= using the equation (1.3) and taking limiting value of n as infinity, we have

This equation is a contradiction because of the values of , hence

Thus is a common fixed point of f and g.

[1] | Banach, Sur les operations dan s les ensembles abstraits et leur application aux equation integrales Fund. Math. 3 (1922), 133-181 | ||

In article | View Article | ||

[2] | B.C Dhage,”Generalized Metric Spaces and Mappings with Fixed points,” Bulletein Of Calcutta mathematical Society, vol. 84. 1992, pp.329-336. | ||

In article | |||

[3] | H. Aydi, W. Shatanawi, “On Ԍeneralized weakly Ԍ-contraction mappinԌ in Ԍ-metric Spaces,” Comput. Math. Appl. 62 (2011) 4222-4229. | ||

In article | View Article | ||

[4] | Ԍ. Jungck, “Commuting mappings and fixed point,” Amer. Math. Monthly, 83 (1976), 261-263. | ||

In article | View Article | ||

[5] | Ԍ. Jungck, “Compatible Mappings and common Fixed Points theorems,” International Journal of Mathematics and Mathematical Sciences, Vol. 9, No. 4, 1986, pp. 771-779. | ||

In article | View Article | ||

[6] | Z. Mustafa and B. Sims, A new approach to Ԍeneralized metric spaces, Journal of Nonlinear Convex Analysis, 7 (2006), 289-297. | ||

In article | |||

[7] | Z. Mustafa, H. Obiedat and F. Awawdeh, “Some fixed point theorem for mapping on complete Ԍ-metric spaces,” Fixed Point Theory and Applications, Volume 2008, Article ID 189870. | ||

In article | View Article | ||

[8] | Z. Mustafa and B. Sims, “Fixed point theorems for contractive mappings in complete Ԍ-metric spaces, Fixed Point Theory and Applications, Volume 2009, Article ID 917175. | ||

In article | View Article | ||

[9] | H.K. Pathak, R. Rodrigue-Lopez and R.K. Vwerma, “A Common Fixed Point Theorem Using Implicit Relation and E.A Property in Metric Spaces,” Filomat, Vol.21, No.2, 2007, pp. 211-234. | ||

In article | View Article | ||

Published with license by Science and Education Publishing, Copyright © 2018 Nisha Sharma, Vishnu Narayan Mishra and and Arti Saxena

This work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Nisha Sharma, Vishnu Narayan Mishra, and Arti Saxena. Rational Inequalities Using Compatibility, Weak Compatibility and Common Properties in Ԍ-Metric Space. *Turkish Journal of Analysis and Number Theory*. Vol. 6, No. 1, 2018, pp 34-39. http://pubs.sciepub.com/tjant/6/1/5

Sharma, Nisha, Vishnu Narayan Mishra, and and Arti Saxena. "Rational Inequalities Using Compatibility, Weak Compatibility and Common Properties in Ԍ-Metric Space." *Turkish Journal of Analysis and Number Theory* 6.1 (2018): 34-39.

Sharma, N. , Mishra, V. N. , & Saxena, A. A. (2018). Rational Inequalities Using Compatibility, Weak Compatibility and Common Properties in Ԍ-Metric Space. *Turkish Journal of Analysis and Number Theory*, *6*(1), 34-39.

Sharma, Nisha, Vishnu Narayan Mishra, and and Arti Saxena. "Rational Inequalities Using Compatibility, Weak Compatibility and Common Properties in Ԍ-Metric Space." *Turkish Journal of Analysis and Number Theory* 6, no. 1 (2018): 34-39.

Share

[1] | Banach, Sur les operations dan s les ensembles abstraits et leur application aux equation integrales Fund. Math. 3 (1922), 133-181 | ||

In article | View Article | ||

[2] | B.C Dhage,”Generalized Metric Spaces and Mappings with Fixed points,” Bulletein Of Calcutta mathematical Society, vol. 84. 1992, pp.329-336. | ||

In article | |||

[3] | H. Aydi, W. Shatanawi, “On Ԍeneralized weakly Ԍ-contraction mappinԌ in Ԍ-metric Spaces,” Comput. Math. Appl. 62 (2011) 4222-4229. | ||

In article | View Article | ||

[4] | Ԍ. Jungck, “Commuting mappings and fixed point,” Amer. Math. Monthly, 83 (1976), 261-263. | ||

In article | View Article | ||

[5] | Ԍ. Jungck, “Compatible Mappings and common Fixed Points theorems,” International Journal of Mathematics and Mathematical Sciences, Vol. 9, No. 4, 1986, pp. 771-779. | ||

In article | View Article | ||

[6] | Z. Mustafa and B. Sims, A new approach to Ԍeneralized metric spaces, Journal of Nonlinear Convex Analysis, 7 (2006), 289-297. | ||

In article | |||

[7] | Z. Mustafa, H. Obiedat and F. Awawdeh, “Some fixed point theorem for mapping on complete Ԍ-metric spaces,” Fixed Point Theory and Applications, Volume 2008, Article ID 189870. | ||

In article | View Article | ||

[8] | Z. Mustafa and B. Sims, “Fixed point theorems for contractive mappings in complete Ԍ-metric spaces, Fixed Point Theory and Applications, Volume 2009, Article ID 917175. | ||

In article | View Article | ||

[9] | H.K. Pathak, R. Rodrigue-Lopez and R.K. Vwerma, “A Common Fixed Point Theorem Using Implicit Relation and E.A Property in Metric Spaces,” Filomat, Vol.21, No.2, 2007, pp. 211-234. | ||

In article | View Article | ||