In recent years, the fuzzy theory has emerged as the most active area of research in many branches of mathematics and engineering. Fuzzy set theory is a powerful hand set for modelling uncertainty and vagueness in various problems arising the field of science and engineering. Now a large number of research papers appear by using the concept of fuzzy set/numbers, and fuzzification of many classical theories has also been made. It has also very useful applications in various fields, for example, nonlinear operator , stability problem [2, 3], and so forth. The fuzzy topology [4–8] proves to be a very useful tool to deal with such situations where the use of classical theories breaks down. One of the most important problems in fuzzy topology is to obtain an appropriate concept of an intuitionistic fuzzy metric space and an intuitionistic fuzzy normed space. These problems have been investigated by Park  and Saadati and Park , respectively, and they introduced and studied a notion of an intuitionistic fuzzy normed space. The topic of fuzzy topology has important applications as quantum particle physics. On the other hand, these problems are also important in modified fuzzy spaces [11–14].
There are many situations where the norm of a vector is not possible to find and the concept of intuitionistic fuzzy norm [10, 15–17] seems to be more suitable in such cases, that is, we can deal with such situations by modelling the inexactness through the intuitionistic fuzzy norm.
Schauder  introduced the fixed point theorem, and since then several generalizations of this concept have been investigated by various authors, namely, Kirk , Baillon , Browder [21, 22] and many others. Recently, fuzzy version of various fixed point theorems was discussed in [18, 23–28] and also its relations were investigated in [7, 29].
Quite recently the concepts of -intuitionistic fuzzy compact set and strongly intuitionistic fuzzy uniformly convex normed space are studied, and Schauder fixed point theorem in intuitionistic fuzzy normed space is proved in . As a consequence of Theorem 4.1  and Browder's theorems [26, 27] in crisp normed linear space we have Browder's theorems in intuitionistic fuzzy normed space. Also we give relation between an intuitionistic fuzzy uniformly convex normed space and a strongly intuitionistic fuzzy uniformly convex normed space. Furthermore, we construct an example to show that intuitionistic fuzzy uniformly convex normed space does not imply strongly intuitionistic fuzzy uniformly convex.
A binary operation is said to be a continuous -norm if it satisfies the following conditions:
(a) is associative and commutative; (b) is continuous; (c) for all ; (d) whenever and for each .
A binary operation is said to be a continuous -conorm if it satisfies the following conditions:
is associative and commutative; is continuous; for all ; whenever and for each . Using the notions of continuous -norm and -conorm, Saadati and Park  have recently introduced the concept of intuitionistic fuzzy normed space as follows.
The five-tuple is said to be intuitionistic fuzzy normed spaces (for short, IFNS) if is a vector space, is a continuous -norm, is a continuous -conorm, and are fuzzy sets on satisfying the following conditions. For every and , (i) , (ii), (iii) if and only if , (iv) for each , (v) , (vi) is continuous, (vii) and , (viii) , (ix) if and only if , (x) for each , (xi) , (xii) is continuous and (xiii) and . In this case is called an intuitionistic fuzzy norm.
The concepts of convergence and Cauchy sequences in an intuitionistic fuzzy normed space are studied in .
Let be an IFNS. Then, a sequence is said to be intuitionistic fuzzy convergent to if and for all . In this case we write or as .
Let be an IFNS. Then, is said to be intuitionistic fuzzy Cauchy sequence if and for all and .
Let be an IFNS. Then is said to be complete if every intuitionistic fuzzy Cauchy sequence in is intuitionistic fuzzy convergent in .
Definition 1.7 (see ).
Let be an IFNS with the condition
Let , for all . Then is an ascending family of norms on . These norms are called -norms on corresponding to intuitionistic fuzzy norm .
It is easy to see the following.
Let be an IFNS satisfying (1.1), and let be a sequence in . Then and if and only if for all .
Proposition 1.9 (see ).
Let be an IFNS satisfying (1.1). Then a subset of is -intuitionistic fuzzy bounded if and only if is bounded with respect to , for all , where denotes the -norm of .
Recently, [1, 29] introduced the concept of strong and weak intuitionistic fuzzy continuity as well as strong and weak intuitionistic fuzzy convergent.
Some notations and results which will be used in this paper  are given below.
(i)The linear space and is an intuitionistic fuzzy normed space with respect to the intuitionistic fuzzy norm defined as
satisfying (1.1) condition and , for all .
(ii)If is a intuitionistic fuzzy normed space, then denotes the set of all linear functions from to which are bounded as linear operators from to , where and denote -norms of and , respectively.
(iii) is clearly the first dual space of for .
Let be an intuitionistic fuzzy normed space satisfying (1.1), and let be the intuitionistic fuzzy normed space defined in the above remark. A sequence is said to be -intuitionistic fuzzy weakly convergent and converges to if for all and for all (dual space with respect to ), , that is
Definition 1.11 (see ).
Let be an IFNS. A mapping is said to be intuitionistic nonexpansive if
for all , for all .