Novi Sap J. Mata. 111 VoL. 26, No. 2, 1996, 111-115 A MULTIVALUED FIXED POINT THEOREMS IN NON-ARCHIMEDEAN VECTOR SPACES I. Kubiaczyk, N. Mostafa Ali Adam Mickiewica University, Matejki 48/49, Poznasi, Poland Abstract We prove that every multivalued contractive mapping on a spheri- cally complete non-Archimedean normed space has a fixed point. Also for nonexpansive multivalued mapping, some fixed point theorem are proved AMS Mathematics Subject Classification (1991): 54125, 47H10 Key words and phrases: fixed point theorems, contractive mappings, non-Archimedean space 1. Introduction Let (X, |] |]) be a non-Archimedean normed space (for the definition see [4]). We say that (X,|| ||) is spherically complete if every shrinking collection of balls in X has a nonempty intersection. If T:X —> comp(X) (the space of all compact subsets of X with the Hausdorff distance 1), then T is said to be a multivalued contractive (nonexpansive) mapping if H(Tz,Ty) < ||z — yl| for any distinct points in X (A(Tz,Ty) < ||z —yl| for any x,y € X).112 I. Kubiacayk N. Mostafa Ali It is known that a contractive mapping in a complete metric space need not to have a fixed point (see for example ((1], [2], (3])). In [2], the authors proved that in a non-Archimedean spherically com- plete normed space (X,|| {) every contractive mapping has a unique fixed point. We extend this result for a multivalued mapping. 2. Main results Theorem 2.1. Let X be a non-Archimedean spherically complete normed space. If T: X + comp(X) is @ mapping such that H(Tx,Ty) < |e —y|| for any distinct points z and y in X. Then T has a fixed point. Proof. Let Bs = Bla, d(a,Ta)] denote the closed spheres centered at a with the radius d(a,Ta), and let A be the collection of these spheres for all a € X. The relation Ba < By iff Be C By is a partial order. Consider a totally ordered subfamily A, of A. From the spherical completeness of X, we have (| B= B #0. Ba€Ay Let 6 € B and By € Aj. Using [lz — al] < max{[ja — Of {0 - 2) we shall prove that B, © Ba, for every Ba € Ay. Since {ja — b|| < d(a,Ta), because b€ By and _ as ~ al la~ a in, ld ~ el), where d € Ta be such that |[a |] = d(a,Ta) (such point exists as Ta is compact). Therefore llz— bl] << max{d(a,Ta),d(d,76)} < < < max{d(a,Ta), H(Ta,Tb)} < d(a,Ta).A Multivalued fixed point theorems ... 113 Hence \|z - al] < d(a,Ta). So z € B, and By C By for every By € A,. Thus By is the upper bound in A for the family A). By Zorn’s lemma .A has a maximal element, say B,, for some z € B. We claim that z € Tz. Let z ¢ Tz,% € Tz (z # Z) be such that ||z — 2] = d(z,Tz) (such point exists as Tz is compact). Now we will show that Bz C B,. If y € Bg then || — yl] < (z,T2). Since Z € Tz, we have 2 - yll < d(@, Tz) < A(Tz,T2) < ||z- 3 = d(z,T2). Also lly — 2|| < max{lly — 2), ]2 - 21I} < a(z, 72). This means that y € By. So Bz C B,. But as lz - 2] > H(Tz, Tz) > d(z,T2). Hence z ¢ Bz but z € Bz. Therefore By C Bz, and this contradicts the maximality of B,. Thus, T has a fixed point. Theorem 2.2. Suppose X is a spherically complete non-Archimedean normed space and T: X —+ comp(X) is a mapping such that @) H(T2,Ty) < ||z— yl. Then, either T has at least one fized point, or there exists a sphere B of a radius 7 > such that d(b, Tb) = 7 for each b€ B. Proof. Defining B, and A as in the proof of Theorem 2.1, we find similarly a maximal element B, of A. For any 6 € B., we have (6,70) = inf, Ib Bi) < IA max{i\b— 2, 2 — ZI], inf || ~ Bll} bers