AN APPLICATION OF FIXED POINT
THEOREM FOR S-CONVEX FUNCTION
D.B.OJHA
Department of Mathematics, R.K.G.I.T.U.P.T.U., Delhi-Meerut Road,
Ghaziabad, U.P./201003, INDIA
MANISH KUMAR MISHRA
Research Scholar Singhania University)
Department of mathematics R.K.G.I.T. U.P.T.U Delhi-Meerut road Ghaziabad, U.P./201003, INDIA
Abstract :
In this paper, we showed an application of fixed point theorem in game theory with s-convex function.
.
Keywords: s-convex functions, fixed point.
1. Introduction
Kakutani 1941[4] proved an extension of Brouwer’s fixed point theorem to upper semi-continuous set-valued mappings defined on compact convex subsets of
n, which was extended to Banach spaces by H. F. Bohnenblust and S. Karlin 1950[1], and to locally convex spaces by Glicksberg 1952[3]. Nikaido 1968[6] gave a new proof of Kakutani’s theorem (in the case
n) based on the method of Schauder’s mappings. This proof is extended to Banach spaces in L. V. Kantorovich and G. P. Akilov 1964[5].A locally convex space is a topological vector space
X
,
admitting a neighbourhood basis at 0 formed by convex sets. It follows that every point in X admits a neighbourhood basis formed of convex sets and there is aneighbourhood basis at 0 formed by open convex symmetric sets. Let P be a family of semi norms on a vector space X and let
F P
:
f
P f nonempty and finite
:
. Forf
f P and r
0,
let
'
,
'
:
,
'
f
w
x r
x
X
p
f p x
x
r
,
'
:
,
'
f
w
x r
x
X
p
f p x
x
r
1.1If
f
p
,
then we use the notationw
p
x r
,
andw
p
x r
,
to designate the open, respectively closed, p-ball. The family of sets
' '
, :
0
f
W
x
w
x r
f
F P and r
1.2 forms a neighborhood basis of a locally convex topology
p
on X.The family of sets
f
, :
0
W x
w
x r
f
F P and r
1.3 is also a neighbourhood basis at x for
p
. If B is a convex symmetric absorbing subset of a vector space X, then theMinkowski functional
p
w:
X
0,
defined by
inf
0 :
,
w
p
x
x
w
x
X
1.4is a semi norm on X and
If X is a topological vector space and ‘w’ is an open convex symmetric neighbourhood of 0, then the semi norm
p
w is continuous,
:
w1 ,
:
w
1 .
w
x
X p
x
cl w
x
X p
x
1.6If is a neighbourhood basis at 0 of a locally convex space
X
,
, formed by open convex symmetric neighbourhoods of 0, thenP
p
w:
w W
is a directed family of semi norms generating the topology
in the way described above. Therefore, there are two equivalent ways of defining a locally convex space—as a topological vector space
X
,
such that 0 admits a neighbourhood basis formed by convex sets, or as a pair
X P
,
where P is a family of semi norms on X generating a locally convex topology on X. We consider only realvector spaces.
A directed set is a partially ordered set
I
,
such that for everyi i
1,
2
I
there existsi
I
withi
i
1, and2
i
i
. A net in a set Z is a mapping
:
I
Z
.
. If
J
,
is another directed set and there exists a non-decreasing mapping
:
I
Z
.
such that for everyi
I
there existsj
J
with
j
i
, then we say that
:
J
Z
is a subnet of the net . One uses also the notation
z i
i:
I
, wherez
i
i
,
to designate the net and
z
j:
j
J
for a subnet. It is known that a subset K of a topological space T is compact if and only if every netin K admits a subnet converging to an element of K (see R. Engelking 1989)[2].
If
W x
is a neighbourhood basis of a point x of a topological space
X
,
then it becomes a directed set with respect to the orderw
1
w
2
w
2
w
1.
. Ifx
B
X B W
,
,
then
x
w:
w W x
,
is a net in X. We denoteby
V x
the family of all neighbourhoods of a pointx
X
, andcl Z
by the closure of a subset Z of X .It is a well known fact that convexity and its generalization plays important role in different part of mathematics, mainly in optimization theory. In our paper we deal with a common generalization of s-convexity, approximate convexity, and results of Bernstein and Doetsch 1915[7]. The concept of s-convexity and rational s-convexity was introduced by Breckner 1978[8]. In 1978 Breckner[8] and H. Hudzik and L. Maligranda 1994[9] it was proved that s-convex functions are nonnegative, when
0
s
1
, moreover the set of s-convex functions increases as s decreases.In the paper 1994 H. Hudzik and L. Maligranda[9] discussed a few results connecting with s-convex functions in
second sense and some new results about Hadamard’s inequality for s-convex functions are discussed in (M.
Alomari and M. Darus 1977-1989[10], 2008[11], U. S. Kirmaci 2007[13]), In 1999, S. S. Dragomir[12] et al. proved a variant of Hermite-Hadamard’s inequality for s-convex functions in second sense
2.Preliminaries:
A game is a triple
U V W
, ,
where U,V are nonempty sets, whose elements are called strategies, and:
the player
when he chooses the strategyx U
and the playerD
chooses the strategyy V
. The quantity
,
W x y
represents the gain of the playerD
in the same situation. The target of the playerC
is to maximize his gain when the playerD
chooses a strategy that is the worst for α, that is, to choosex
0
U
such that
inf
0,
max inf
,
y V
W x y
x U y VW x y
2.1 Similarly, the playerD
choosesy
0
V
such that
sup
,
0
min sup
,
y Vx U x U
W x y
W x y
2.2 it follows
0
0 0
0
sup inf
,
inf
,
,
sup
,
inf sup
,
.
y V y V y V
x U x U x U
W x y
W x y
W x y
W x y
W x y
2.3note that in general
sup inf
,
inf sup
,
y V y V
x U x U
W x y
W x y
2.4
If the equality holds in 2.4 , then, by 2.2
0 0
supinf
,
,
inf sup
,
.
y V y V
x U x U
W x y
W x y
W x y
2.5The common value in 2.5 is called the value of the game,
x y
0,
0
U V
a solution of the game andx
0 and0
y
winning strategies. It follows that to prove the existence of a solution of a game we have to prove equality 2.4, that is, to prove a minimax theorem.2.1 Lemma:
If U, V are compact Hausdorff topological spaces and
W U V
:
is continuous, then the functions
: min
,
min
,
,
,
y V
x
W x y
W x V
x U
: max
,
max
,
,
,
x Uy
W x y
W U y
y
V
are continuous too. 2.6The minimax result for s- convex function we will prove it the following.
2.2 Proposition:
Let X, Y be topological spaces and
F X
:
Y
a set-valued mapping.(a) If Y is regular, F is usc and for every
x
X
the set F(x) is nonempty and closed, then F has closed graph. (b) Conversely, if the space Y is compact Hausdorff and F is with closed graph, then F is usc.S.Cobzas 2006 [14] states and prove the Kakutani theorem in the locally convex case. An element
x
X
is called a fixed point of a set-valued mappingF X
:
Y
ifx
F x
. If F is single valued then the usual notion of fixed point.
3.Main Result:
3.1 Theorem:
let
X P
,
and
Y Q
,
be Housdoroff locally convex spaces andU
X V
,
Y
nonempty compact convex sets.Suppose that
W U V
:
is continuous andI. For every
x U
the functionW x
,.
is s-convex andII. For every
y V
the functionW
.,
y
is s-convex. Thenmin max
,
max min
,
and the game
U V W
, ,
has a solution.Proof :
Let functions
x
min
W x V and
y
min
W U
y
be as in lemma and let
:
,
,
:
,
,
x y
M
y
V W x y
x
N
x U W x y
y
3.2for
x U
andy V
. Since U,V are Housdorff compact spaces and the functionsW
, ,
are continuous, the setsM
x andN
y are nonempty and closed, for every
x y
,
U V
.We will show that they are s-convex too. Let
y y
1,
2
M t
x,
0,1
and y
1
t y
1
ty
2.
Then, by (i)
,
1
,
1
,
2
1
s s s s
x
W x y
t W x y
t W x y
t
x
t
x
x
3.3showing that
W x y
,
x
, that is,y
M
x. Similarly,x x
1,
2
N and t
y,
0,1 ,
we have by (ii),
,
1
1,
2,
1
s s s s
y
W x y
t W x y
t W x y
t
y
t
y
y
3.4showing that
W x y
,
x
, that is,x
N
yLet
C
U V
and defineF C
:
C by F x y
,
N
y
M
x, ,
x y
C
.
it follows thatF x y
,
is a nonempty closed convex subset of C for every
x y
,
C
. If we show that F has closed graph, then by Section 2.2 it is usc, so that, by Section 2.3 (S. COBZAS 2006) F has a fixed point
x y
0,
0
. We have
0 0
0
,
0 0,
0 0 y,
0 xx y
F x y
x
N
y
M
3.5But
0
0 y 0
,
0x
N
W x y
max
,
0
inf max
,
.
y V
x U
W x y
x UW x y
0
0 x 0
,
0y
M
W x y
max
0,
sup min
,
.
y V
y U
W x y
x U W x y
3.6 Taking into account these last two inequalities and 11,we get
0,
0
W x y
sup min
,
x U y V
W x y
inf max
x U y VW x y
,
W x y
0,
0
3.7 implying
max min
,
y V
x U
W x y
W x y
0,
0
min max
y V x UW x y
,
3.8 It remained to show that the graphG
F of F, given by
, , ,
2: ,
,
,
F
G
x y u v
C
u v
F x y
3.9is closed in
C
2 . Suppose that
x y
i,
i
:
i
I
is a net in C converging to
x y
,
C
, and
u v
i,
i
F x y
i,
i
:
i
I
, are such that the net
u v
i,
i
:
i
I
converges to
u v
,
C
. We have to show that
u v
,
F x y
,
.We have
u v
i,
i
F x y
i,
i
K u y
i,
i
y
i,
K x v
i,
i
x
i 3.10and , we get
W u y
,
y
,
and W x v
,
x
, that is,F u v
,
N
y
M
x
F x y
,
.
The proof is complete.4.Conclusion:
If the gain function with two strategies for a game is non empty compact s-convex set on Hausdorff locally convex spaces with minmax equal to maxmin condition , then game has a solution. Which showed as an application of the Kakutani fixed point theorem is to game theory for s-convex function.
5. References
[1] H. F. Bohnenblust and S. Karlin 1950, On a theorem of Ville, Contributions to the Theory of Games,Annals of Mathematics Studies, no. 24, Princeton University Press, New Jersey, 1950, pp. 155–160
[2] R. Engelking 1989, General Topology, 2nd ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann, Berlin, 1989.
[3] L. Glicksberg 1952, A further generalization of the Kakutani fixed point theorem, with application to Nash equilibrium points, Proceedings of the American Mathematical Society 3 (1952), no. 1,170–174.
[4] S. Kakutani 1941, A generalization of Brouwer’s fixed point theorem, Duke Mathematical Journal 8 (1941), 457–459.
[5] L. V. Kantorovich and G. P. Akilov 1964, Functional Analysis, 3rd ed., Nauka, Moscow, 1984, Englishtranslation of the 1959 edition: Macmillan, New York 1964.
[6] H. Nikaid ˆo 1968, Convex Structures and Economic Theory, Mathematics in Science and Engineering,vol. 51, Academic Press, New York, 1968
[7] Bernstein F. and G. Doetsch 1915, Zur Theorie der konvexen Funktionen, Math. Annalen 76 , 514–526.
[8] Breckner W. W. and G. Orb´an 1978, Continuity properties of rationally s-convex mappings with values in ordered topological liner space, ”Babes-Bolyai” University, Kolozsv´ar,
[9] Hudzik H. and L. Maligranda 1994, Some remarks on si-convex functions, Aequationes Math. 48 ,100–111 [10] Alomari M. and M. Darus 2008, On Co-ordinated s¡convex functions, Inter. Math. Forum, 3(40) (2008) 1977-1989. [11] Alomari M. and M. Darus 2008, Hadamard-type inequalities for s¡convex functions, Inter. Math. Forum, 3(40) 1965-1970.
[12] Dragomir S. S. 1999, S. Fitzpatrick, The Hadamard’s inequality for s¡convex functions in the second sense,Demonstratio Math. 32 (4)
(1999) 687-696.
[13] Kirmaci U. S. 2007 et al., Hadamard-type inequalities for s-convex functions, Appl. Math. Comp., 193,26-35.