Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
0 of .
Results for:
P. 1
On Ultra Metric Space

On Ultra Metric Space

Ratings:

4.0

(1)
|Views: 102|Likes:

Availability:

See more
See less

06/16/2009

pdf

text

original

69
Novi Sad J. Math.Vol. 31, No. 2, 2001, 69-71
ON ULTRAMETRIC SPACE
Ljiljana Gaji´c
1
Abstract.
Using well-known result about ultrametric spaces (see [3])the ﬁxed point theorem for a class of generalized contractive mapping onultrametric space is proved.
AMS Mathematics Subject Classiﬁcation (1991):
47H10
Key words and phrases:
ultrametric space, spherically complete, ﬁxedpoint
1. Introduction
Let (
X,d
) be a metric space. If the metric
d
satisﬁes strong triangle inequal-ity: for all
x,y,z
d
(
x,y
)
max
{
d
(
x,z
)
,d
(
z,y
)
}
it is called
ultrametric
on
[2].Pair (
X,d
) now is
ultrametric space.Remark.
Let
=
,
metric
d
being deﬁned on
by
d
(
x,y
) =
0
,
if
x
=
y
1
,
if
x
=
y,
so-called discrete metric is ultrametric.
Example
For
a
R
let [
a
] be the entire part of
a.
By
d
(
x,y
) = inf
{
2
n
:
n
Z
,
[2
n
(
x
e
)] = [2
n
(
y
e
)]
}
(here
e
is any irrational number) an ultrametric
d
on
Q
is deﬁned which deter-mines the usual topology on
Q
.
2. Result
In [1] the authors proved a generalization of a result from [2] for multivaluedcontractive function. We are going to generalize the result from [2] for singlevalued generalized contraction.
1

70
Lj. Gaji´
Theorem 1.
Let
(
X,d
)
be spherically complete ultrametric space. If
:
is a mapping such that for every
x,y
X, x
=
y,
(1)
d
(
Tx,Ty
)
<
max
{
d
(
x,Tx
)
,d
(
x,y
)
,d
(
y,Ty
)
}
then
has a unique ﬁxed point.Proof.
Let
B
a
=
B
(
a
;
d
(
a,Ta
)) denote the closed spheres centered at
a
d
(
a,Ta
)
,
and let
A
be the collection of these spheres for all
a
X.
The relation
B
a
B
b
iﬀ
B
b
B
a
is a partial order on
A
.
Now, consider a totally ordered subfamily
A
1
of
A
.
Since (
X,d
) is sphericallycomplete we have that
B
a
∈A
1
B
a
=
B
=
.
Let
b
B
and
B
a
A
1
.
Let
x
B
b
.
Then(2)
d
(
x,b
)
d
(
b,Tb
)
max
{
d
(
b,a
)
,d
(
a,Ta
)
,d
(
Ta,Tb
)
}
= max
{
d
(
a,Ta
)
,d
(
Ta,Tb
)
}
.
For
d
(
Ta,Tb
)
d
(
a,Ta
) implies that
d
(
x,b
)
d
(
a,Ta
)
.
In opposite case,
d
(
Ta,Tb
)
> d
(
a,Ta
)
,
and from (2) follows that
d
(
x,b
)
d
(
b,Tb
)
d
(
Ta,Tb
)
<
max
{
d
(
a,Ta
)
,d
(
a,b
)
,d
(
b,Tb
)
}
= max
{
d
(
a,Ta
)
,d
(
b,Tb
)
}
Now for
d
(
b,Tb
)
d
(
a,Ta
) we have
d
(
x,b
)
d
(
a,Ta
)
.
The inequality
d
(
b,Tb
)
> d
(
a,Ta
) implies that
d
(
b,Tb
)
< d
(
b,Tb
) which isa contradiction.So we have proved that for
x
B
b
(3)
d
(
x,b
)
d
(
a,Ta
)
.
Now we have that
d
(
x,a
)
d
(
a,Ta
)
.
So
x
B
a
and
B
b
B
a
for any
B
a
A
1
.
Thus
B
b
is the upper bound for thefamily
A
.
By Zorn’s lemma
A
has a maximal element, say
B
z
, z
X.
We aregoing to prove that
z
=
Tz.