Schauder-Type Fixed Point Theorem in Generalized Fuzzy Normed Linear Spaces

Abstract

In the present article, the Schauder-type fixed point theorem for the class of fuzzy continuous, as well as fuzzy compact operators is established in a fuzzy normed linear space (fnls) whose underlying t-norm is left-continuous at $(1,1)$. In the fuzzy setting, the concept of the measure of non-compactness is introduced, and some basic properties of the measure of non-compactness are investigated. Darbo’s generalization of the Schauder-type fixed point theorem is developed for the class of $\psi$-set contractions. This theorem is proven by using the idea of the measure of non-compactness.

1. Introduction

In 1930, Schauder established an important theorem in the field of fixed point theory. The theorem stated that “If B is a compact, convex subset of a Banach space X and $f:B\to B$ is a continuous function then f has a fixed point.” However, to develop more results in functional analysis, Schauder relaxed the compactness by closedness. The theorem has an enormous influence on the theory of differential equations. At first, the Schauder-type fixed point theorem was applied to Peano’s existence theorem for the first order differential equations. After that, many interesting applications of this theorem were given to differential equations. For example, in 2007, Chu and Torres [1] proved the existence of positive solutions to the second order singular differential equations with the help of this fixed point theorem. In 2009, A. F. Dizaji et al. [2] determined the sufficient condition for the existence of periodic solution of the initial value problems, which correspond to the Duffing’s oscillator with time varying coefficients as an application of the Schauder-type fixed point theorem. Recently, in 2019, Shengjun Li et al. [3] established the existence of the periodic orbits of rapidly symmetric systems with a repulsive singularity. The line of proof of this existence problem is based on the use of Schauder’s fixed point theorem. Moreover, the global existence of the solution for a class of functional equations is also studied using the Schauder fixed point theorem, which arises in various types of neural networks such as the Hopfield neural network, the Cohen–Grossberg neural network, cellular networks, etc. For the references, please see [4,5,6].

Due to its huge application in real-life problems, much scientific attention has been drawn towards the generalization of this theorem. In 1935, A. N. Tychonoff [7] extended Schauder’s theorem to locally convex spaces. In 1950, M. Hukuhara [8] unified both the theorem of Schauder and Tychonoff. In 1955 [9], G. Darbo extended the Schauder theorem to a more general class of mappings, the so-called $\alpha$-set contractions, which contain compact, as well as continuous mappings. Darbo proved this theorem using the concept of Kuratowski’s measure of non-compactness. In 1961 [10], Ky Fan generalized both Schauder’s and Tychonoff’s theorem for the class of continuous set-valued mappings. In recent years, a significant contribution has been made towards the generalization of Schauder’s fixed point theorem. For example, in 2012, R. L. Pouso [11] introduced a new version of Schauder’s theorem for the class of discontinuous operators. In 2013, R. P. Agarawal et al. [12] established this theorem in semilinear Banach spaces. In 2016, Wei-Shih Du [13] generalized this theorem in an another direction, i.e., the compactness assumption is replaced by the finite open cover, and the continuity condition is totally removed.

On the other hand, several authors, viz. Xio and Zhu, Bag and Samanta, and Zhang and Guo, have played important roles in the process of the formulation of the Schauder-type fixed point theorem in the fuzzy setting. For the references, please see [14,15,16]. However, all of them considered the underlying t-norm as the continuous t-norm. Therefore, naturally, a question may arise: Is it possible to prove the Schauder-type fixed point theorem in a fuzzy normed linear space (fnls) w.r.t. the general t-norm?

In this paper, we try to give an affirmative answer to this question.

In this paper, we develop the Schauder-type fixed point theorem for a fuzzy continuous, as well as a fuzzy compact operator in an fnls whose underlying t-norm is left-continuous only at $(1,1).$ We also establish Darbo’s generalization of the Schauder-type fixed point theorem in the fuzzy setting for the class of $\psi$-set contraction mappings using the properties of the measure of non-compactness.

This article is divided into three parts. Section 2 deals with preliminary results, which are used in the subsequent sections. In Section 3, the Schauder-type fixed point theorem for the class of fuzzy continuous, as well as fuzzy compact mappings is established in generalized fnls. In Section 4, the definition of the measure of non-compactness is given, and some basic properties are studied to prove Darbo’s generalization of the Schauder-type fixed point theorem.

2. Preliminaries

Definition 1

([17]). Let X be a linear space over the field $\mathcal{F}$ ($\mathbb{C}or\mathbb{R}$). A fuzzy subset N of $X\times \mathbb{R}$ ($\mathbb{R}$ is the set of all real numbers) is called a fuzzy norm on X if:

(N1)$\forall t\in \mathbb{R}witht\le 0,N(x,t)=0;$

(N2)$(\forall t\in \mathbb{R},t>0,N(x,t)=1)iffx=\theta ;$

(N3)$\forall t\in \mathbb{R},t>0,N(cx,t)=N(x,\frac{t}{\left|c\right|})ifc\ne 0;$

(N4)$\forall s,t\in \mathbb{R};x,u\in X;N(x+u,s+t)\ge N(x,s)\ast N(u,t);$

(N5)$N(x,.)$ is a non-decreasing function of $\mathbb{R}$ and $\underset{t\to \infty }{\lim }N(x,t)=1.$

The triplet $(X,N,\ast )$ is referred to as an fnls.

Throughout the paper, we assume the following conditions:

• For each $x\ne \theta ,$ $N(x,t)$ is a left-continuous function w.r.t. $t.$
• The t-norm ∗ is left-continuous at one with respect to the first or second component.

Theorem 1

([17]). Let $(X,N,\ast )$ be a finite-dimensional fnls in which the underlying t-norm ∗ is continuous at $(1,1).$ Then, a subset A is compact iff A is closed and bounded.

Lemma 1

([18]). Let $(X,N,\ast )$ be an fnls. Then:

$$\underset{n\to \infty }{\lim }N(x_n-x,t)=1\forall t>0\iff \underset{n\to \infty }{\lim }\wedge \{t>0:N(x_n-x,t)>1-\alpha \}=0\forall \alpha \in (0,1)$$

Proposition 1

([18]). Let $(X,N,\ast )$ be an fnls. Then, the function $M:X\times X\times [0,\infty )\to [0,1]$ defined by $M_N(x,y,t)=N(x-y,t)$ is a fuzzy metric space defined by H. Wu [19]. Thus, the family $\mathcal{B}$ (the collection of all $(\alpha ,t)$ neighborhoods $B_N(x,\alpha ,t),x\in X,0<\alpha <1,t>0$) induces a Hausdorff topology τ such that $\mathcal{B}$ is a base for τ and τ also satisfies the first countability axiom, where $B_N(x,\alpha ,t)=\{y\in X:N(x-y,t)>1-\alpha \}.$

Definition 2

([20]). A fuzzy metric space $(X,M,\ast )$ is called compact if $(X,{\tau }_M)$ is compact.

Theorem 2

([20]). A fuzzy metric space $(X,M,\ast )$ is fuzzy totally bounded iff every sequence has a Cauchy subsequence.

Note 1.

The above result is also true if$(X,M,\ast )$is the H. Wu-type fuzzy metric space.

Definition 3

([21]). Let $(X,N,\ast )$ be an fnls. Let $\left\{x_n\right\}$ be a sequence in $X.$ Then, $\left\{x_n\right\}$ is said to be convergent if $\exists x\in X$ such that:

$$\begin{array}{c}\hfill \underset{n\to \infty }{\lim }N(x_n-x,t)=1\forall t>0.\end{array}$$

In that case, x is called the limit of the sequence $\left\{x_n\right\}$ and is denoted by $lim{x}_n.$

Definition 4

([21]). A subset A of an fnls is said to be fuzzy bounded if for each $\alpha ,$$0<\alpha <1\exists t\left(\alpha \right)>0$ such that $N(x,t)>1-\alpha \forall x\in A.$

Definition 5

([21]). Let $(X,N,\ast )$ be an fnls. A subset F of X is said to be closed if for any sequence $\left\{x_n\right\}$ in F, it converges to x, i.e.,

$$\begin{array}{c}\hfill \underset{n\to \infty }{\lim }N(x_n-x,t)=1\forall t>0\end{array}$$

implies that $x\in F.$

Definition 6

([21]). Let $(X,N,\ast )$ be an fnls. A subset B of X is said to be the closure of F if for any $x\in B,$∃, a sequence $\left\{x_n\right\}$ in F such that:

$$\begin{array}{c}\hfill \underset{n\to \infty }{\lim }N(x_n-x,t)=1\forall t>0.\end{array}$$

We denote the set B by $\overline{F}.$

Definition 7

([21]). Let $(X,N,\ast )$ be an fnls. A subset A of X is said to be compact if any sequence $\left\{x_n\right\}$ in A has a subsequence converging to an element of $A.$

Definition 8

([21]). A sequence $\left\{x_n\right\}$ is said to be Cauchy if $\underset{n\to \infty }{\lim }N(x_n-x_{n+p},t)=1,\forall t>0,p=1,2,3\dots$

This definition of a Cauchy sequence is equivalent to $\underset{n,m\to \infty }{\lim }N(x_n-x_m,t)=1,\forall t>0.$ Throughout the paper, we use this as the definition of the Cauchy sequence.

Lemma 2

([22]). Let $(X,N,\ast )$ be an fnls. If $A\subseteq X$ is fuzzy bounded, then $\overline{A}$ is also.

Definition 9

([22]). Let $(X,N_1,{\ast }_1)$ and $(Y,N_2,{\ast }_2)$ be two fnlss. A linear operator $T:(X,N_1,{\ast }_1)\to (Y,N_2,{\ast }_2)$ is called a fuzzy compact linear operator if for every fuzzy bounded subset M of X, the subset $T\left(M\right)$ of Y is relatively compact, i.e., $\overline{T\left(M\right)}$ is a compact set w.r.t. ${\tau }_{N_2}$.

Theorem 3

([22]). Let $T:(X,N_1,{\ast }_1)\to (Y,N_2,{\ast }_2)$ be a linear operator and ${\ast }_2$ be continuous at $(1,1).$ Then, T is a fuzzy compact linear operator iff it maps every bounded sequence $\left\{x_n\right\}$ in $(X,N_1,{\ast }_1)$ onto a sequence $\left\{T\left(x_n\right)\right\}$ in $(Y,N_2,{\ast }_2)$, which has a convergent subsequence.

Lemma 3

([23]). A fuzzy metric space $(X,M,\ast )$ is sequentially compact iff it is compact.

Note 2.

By Lemma 3, in an fnls, Definition 2 and Definition 7 are equivalent.

Theorem 4

([24]). In an fnls $(X,N,\ast )$, a subset A of X is fuzzy bounded iff A is bounded in topology ${\tau }_N.$

Theorem 5

([24]). In an fnls $(X,N,\ast ),$ the following statements are equivalent:

(i)

A is fuzzy totally bounded.

(ii)

$\forall \alpha \in (0,1),\forall t>0\exists \{x_1,x_2,\cdots x_n\}\subseteq A:A\subseteq \underset{i=1}{\stackrel{n}{\cup }}(x_i+B(\theta ,\alpha ,t))$

Theorem 6

([24]). Let $(X,N,\ast )$ be an fnls and $K\subseteq X$ be a compact set in $(X,{\tau }_N).$ Then, K is fuzzy totally bounded.

Definition 10

([25]). An fnls $(X,N)$ is a fuzzy Banach space if its induced fuzzy metric is complete.

Definition 11

([26]). A subset A of an fnls $(X,N,\ast )$ is called fuzzy totally bounded if:

$$\begin{array}{c}\hfill \forall \alpha \in (0,1),\exists \{x_1,x_2,\cdots x_n\}\subseteq X:A\subseteq \underset{i=1}{\stackrel{n}{\cup }}(x_i+B(\theta ,\alpha ,\alpha )).\end{array}$$

Theorem 7

([26]). Let $T:(X,N_1)\to (Y,N_2)$ be a mapping where $(X,N_1)$ and $(Y,N_2)$ are fnlss. Then, the following statements are equivalent:

(i)

T is fuzzy continuous on $X.$

(ii)

T is continuous on $X.$

(iii)

T maps a fuzzy bounded set to a fuzzy bounded set.

Theorem 8.

In a fuzzy Banach space $(X,N,\ast ),$ if a subset A of X is fuzzy totally bounded, then it is compact in $(X,{\tau }_N).$

Proof. 

Consider a sequence $\left\{x_n\right\}$ in $A.$ By Theorem 2, $\left\{x_n\right\}$ has a Cauchy subsequence. Since $(X,N,\ast )$ is fuzzy Banach space, then the Cauchy subsequence of $\left\{x_n\right\}$ is convergent in $(X,N,\ast ).$ Therefore, by Definition 7, A is compact in $(X,N,\ast ).$ □

Definition 12

([27]). (Fuzzy continuous) A mapping T from $(X,N_1)$ to $(Y,N_2)$ is said to be fuzzy continuous at $x_0\in X$ if for given $ϵ>0,\alpha \in (0,1)\exists \delta (\alpha ,ϵ)>0,\beta (\alpha ,ϵ)\in (0,1)$ such that $\forall x\in X$:

$$\begin{array}{c}\hfill N_1(x-x_0,\delta )>\beta \Rightarrow N_2(Tx-T{x}_0,ϵ)>\alpha \end{array}$$

If T is fuzzy continuous at each,

$x\in X$, then T is fuzzy continuous on $X.$

Definition 13

([27]). (Sequentially fuzzy continuous) A mapping T from $(X,N_1)$ to $(Y,N_2)$ is said to be sequentially fuzzy continuous at $x_0\in X$ if for any sequence $\left\{x_n\right\},x_n\in X$ with $x_n\to x_0$ implies $T{x}_n\to T{x}_0,$ i.e., $\underset{n\to \infty }{\lim }{N}_1(x_n-x_0,t)=1\forall t>0,\Rightarrow \underset{n\to \infty }{\lim }{N}_2(T{x}_n-T{x}_0,t)=1\forall t>0$

Theorem 9

([27]). Let $T:(X,N_1)\to (Y,N_2)$ be a mapping where $(X,N_1)$ and $(Y,N_2)$ are fnlss. Then, T is fuzzy continuous iff it is sequentially fuzzy continuous.

Note 3.

From Definition 9, it is clear that if T is a fuzzy compact linear operator, then T maps bounded sets of X to bounded sets of Y by Theorem 4. Thus, T is a continuous mapping from $(X,{\tau }_{N_1})$ to $(Y,{\tau }_{N_2}).$

3. Schauder-Type Fixed Point Theorem

In this section, we first define the uniformly fuzzy convergence and pointwise fuzzy convergence for a sequence of functions and investigate the relation between them. After that, we propound three types of Schauder-type fixed point theorems for the fuzzy compact class, as well as the fuzzy continuous linear operator in a generalized fnls and try to prove them.

Definition 14.

Let $f_n:(X,N_1,{\ast }_1)\to (Y,N_2,{\ast }_2)$ be a family of functions.

(i)

$\left\{f_n\right\}$ is said to be uniformly fuzzy convergent to a function f on a subset A of X if for each $\alpha \in (0,1),$

$$\underset{n\to \infty }{\lim }\underset{x\in A}{\vee }\wedge \{t>0:N_2(f_n\left(x\right)-f\left(x\right),t)>1-\alpha \}=0$$

i.e., for each $\alpha \in (0,1)$ and for each $ϵ>0\exists N_0(\alpha ,ϵ)\in \mathbb{N}$ such that:

$$\underset{x\in A}{\vee }\wedge \{t>0:N_2(f_n\left(x\right)-f\left(x\right),t)>1-\alpha \}<ϵ\forall n\ge N_0$$

(ii)

$\left\{f_n\right\}$ is said to be pointwise fuzzy convergent to a function f on a subset A of X if for each $\alpha \in (0,1),$ for each $x\in Y\exists N_0(\alpha ,ϵ,x)\in \mathbb{N}$ such that:

$$\begin{array}{c}\hfill \wedge \{t>0:N_2(f_n\left(x\right)-f\left(x\right),t)>1-\alpha \}<ϵ\forall n\ge N_0\end{array}$$

From the definition, it is obvious that $\left(i\right)$ implies $\left(ii\right)$, but $\left(ii\right)$ does not imply $\left(i\right).$ We verify this by the following example.

Example 1.

Let us consider a real nls (normed linear space) $(\mathbb{R},\parallel \parallel ),$ where $\mathbb{R}$ is the set of all real numbers and $\parallel x\parallel =\left|x\right|,\forall x\in \mathbb{R}.$ Define two functions as follows:

$N_1(x,t)=\left\{\begin{array}{c}\frac{t}{t+\parallel x\parallel },t>0\hfill \\ 0,t\le 0\hfill \end{array}\right.$$N_2(x,t)=\left\{\begin{array}{c}1,t\ge \parallel x\parallel \hfill \\ 0,t<\parallel x\parallel \hfill \end{array}\right.$

Define $f_n:(\mathbb{R},N_1,\wedge )\to (\mathbb{R},N_2,\wedge )$ by $f_n\left(x\right)=x^n.$ Now, if we consider $f_n:[0,1]\to [0,1]$, then $f_n$ is pointwise fuzzy convergent, but not uniformly fuzzy convergent.

Lemma 4.

Let f be self-mapping defined on a fuzzy Banach space $(X,N,\ast )$ and f also be a fuzzy compact linear operator on a subset M of $X.$ Then, there exists a sequence of continuous mappings $\left\{f_n\right\}$ such that:

(i)

$\left\{f_n\right\}$ is uniformly fuzzy convergent to $f.$

(ii)

$\left\{f_n\left(M\right)\right\}$ generates a finite-dimensional subspace of $X.$

Proof. 

Since f is a fuzzy compact linear operator, thus the set $\left\{\overline{f\left(x\right);x\in M}\right\}$ is a fuzzy compact set, i.e., $\left\{\overline{f\left(x\right);x\in M}\right\}$ is a compact set w.r.t. ${\tau }_N.$ Now, by Theorem 6, $\left\{\overline{f\left(x\right);x\in M}\right\}$ is fuzzy totally bounded. Let ${\alpha }_0\in (0,1)$ and $\left\{t_n\right\}$ be a strictly decreasing sequence that tends to $0.$ Then, for each $t_n$, we can find a finite No. of elements $y_1^n,y_2^n,\cdots y_m^n\in f\left(M\right)$ such that:

$$\begin{array}{cc}\hfill & f\left(M\right)\subseteq \underset{i=1}{\stackrel{m}{\cup }}{y}_i^n+B_N(\theta ,{\alpha }_0,t_n)\hfill \\ \hfill & \Rightarrow N(f\left(x\right)-y_i^n,t_n)>1-{\alpha }_0\forall x\in M\hfill \\ \hfill & \Rightarrow \wedge \{t>0:N(f\left(x\right)-y_i^n,t)>1-{\alpha }_0\}\le t_n\hfill \end{array}$$

(1)

We now define $f_n$ on $f\left(M\right)$ for each $y\in f\left(M\right),$ by:

$$\begin{array}{cc}\hfill & f_n\left(y\right)=\underset{i=1}{\sum ^m}{g}_i^n\left(y\right)y_i^n/\underset{i=1}{\sum ^m}{g}_i^n\left(y\right)\hfill \\ \hfill & where{g}_i^n\left(y\right)=max\{0,t_n-\wedge \{t>0:N(y-y_i^n,t)>1-{\alpha }_0\}\}\hfill \end{array}$$

Since the family $\wedge \{t>0:N(x,t)>1-\alpha \}$ is a continuous function on X for each $\alpha \in (0,1)$ and f is continuous on M by Note 3, so $g_i^n\left(x\right)$ is continuous on $M.$ Thus, each $f_n$ is a continuous function on $f\left(M\right).$ Now,

$$\begin{array}{cc}\hfill & \wedge \{t>0:N(f_n\left(y\right)-y,t)>1-{\alpha }_0\}\hfill \\ \hfill & =\wedge \{t>0:N(\underset{i=1}{\sum ^m}{g}_i^n\left(y\right)y_i^n/\underset{i=1}{\sum ^m}{g}_i^n\left(y\right)-y,t)>1-{\alpha }_0\}\hfill \\ \hfill & =\frac{1}{{\displaystyle \underset{i=1}{\sum ^m}}{g}_i^n\left(y\right)}\wedge \{t>0:N({\displaystyle \underset{i=1}{\sum ^m}}{g}_i^n\left(y\right)\{y_i^n-y\},t)>1-{\alpha }_0\}\hfill \\ \hfill & =\frac{{\displaystyle \underset{i=1}{\sum ^m}}{g}_i^n\left(y\right)}{{\displaystyle \underset{i=1}{\sum ^m}}{g}_i^n\left(y\right)}\wedge \{\frac{t}{{\displaystyle \underset{i=1}{\sum ^m}}{g}_i^n\left(y\right)}>0:N(y_i^n-y,\frac{t}{{\displaystyle \underset{i=1}{\sum ^m}}{g}_i^n\left(y\right)})>1-{\alpha }_0\}\hfill \\ \hfill & =\wedge \{t^{{}^{\prime }}>0:N(y_i^n-y,t^{{}^{\prime }})>1-{\alpha }_0\}\le t_n\hfill \end{array}$$

(2)

Now, define $\widetilde{f_n}:M\to M$ by $\widetilde{f_n}\left(x\right)=f_n\left(f\left(x\right)\right).$ Thus, by Inequality (1),

$$\begin{array}{cc}\hfill & \wedge \{t>0:N(f_n\left(f\left(x\right)\right)-f\left(x\right),t)>1-{\alpha }_0\}\le t_n\forall x\in M\hfill \\ \hfill & \Rightarrow \underset{x\in M}{\vee }\wedge \{t>0:N(f_n\left(f\left(x\right)\right)-f\left(x\right),t)>1-{\alpha }_0\}\le t_n\hfill \end{array}$$

Thus, $\underset{n\to \infty }{\lim }\underset{x\in M}{\vee }\wedge \{t>0:N(f_n\left(f\left(x\right)\right)-f\left(x\right),t)>1-{\alpha }_0\}=0.$

Since ${\alpha }_0\in (0,1)$ is arbitrary, then the above relation is true for each ${\alpha }_0\in (0,1).$ Thus, $\widetilde{f_n}$ uniformly fuzzy converges to $f.$ Condition $\left(ii\right)$ is automatically valid by the construction of $f_n.$ □

Remark 1.

In Lemma 4, each $\left\{f_n\right\}$ contains a fixed point, say $x_n.$ This can be shown in the following way:

Now, the sequence $\left\{f_n\right\}$, which is uniformly fuzzy convergent to f, is of the form:

$$\begin{array}{cc}\hfill & f_n\left(x\right)=\underset{i=1}{\sum ^m}{g}_i^n\left(f\left(x\right)\right)y_i^n/\underset{i=1}{\sum ^m}{g}_i^n\left(f\left(x\right)\right)\hfill \\ \hfill & where{g}_i^n\left(f\left(x\right)\right)=max\{0,t_n-\wedge \{t>0:N(f\left(x\right)-y_i^n,t)>1-{\alpha }_0\}\}\hfill \end{array}$$

Now, if we choose $C_n=\overline{Co}{\left\{y_i^n\right\}}_{i=1}^m$ (convex closure of ${\left\{y_i^n\right\}}_{i=1}^m$), $Y_n=Span{\left\{y_i^n\right\}}_{i=1}^m$, then $C_n$ is a closed, bounded, convex subset of the finite-dimensional subspace $Y_n$ of X and $f_n\left(C_n\right)\subseteq C_n$ (by the definition of $f_n$). Each $f_n$ is continuous. Now, by the Brouwer fixed point theorem, ∃ a point $x_n\in C_n$ such that $f_n\left(x_n\right)=x_n.$

Remark 2.

If $\left\{f_n\right\}$ is uniformly fuzzy convergent to f on X, then for each $x\in X,$

$$\begin{array}{c}\hfill \underset{n\to \infty }{\lim }{N}_2(f_n\left(x\right)-f\left(x\right),t)=1\forall t>0.\end{array}$$

Proof. 

Since $\left\{f_n\right\}$ is uniformly fuzzy convergent to f, then $\left\{f_n\right\}$ pointwise fuzzy converges to $f.$ Thus:

$$\begin{array}{c}\hfill \underset{n\to \infty }{\lim }\wedge \{t>0:N_2(f_n\left(x\right)-f\left(x\right),t)>1-\alpha \}=0\forall x\in X,\forall \alpha \in (0,1).\end{array}$$

Now, from Lemma 1, the required result follows immediately. □

Lemma 5.

Let $\left\{T_n\right\}$ be a sequence of fuzzy compact linear operators defined on $E\subseteq X,$ where $(X,N,\ast )$ is an fnls. Again, $\left\{T_n\right\}$ is uniformly fuzzy convergent on $E.$ Then, the set $\tilde{E}=\underset{i=1}{\stackrel{\infty }{\cup }}\overline{T_{i}E}$ is a fuzzy compact set, i.e., compact w.r.t. the topology ${\tau }_N.$

Proof. 

We show that $\tilde{E}$ is fuzzy totally bounded. Then, by Theorem 8, the assertion of the lemma is automatically valid. Let $ϵ>0$ be an arbitrary No. and ${\alpha }_0\in (0,1)$ be given. Then, by the left-continuity of ∗ at $(1,1)$$\exists {\beta }_0\in (0,1)$ such that:

$$\begin{array}{c}\hfill (1-{\beta }_0)\ast (1-{\beta }_0)\ast (1-{\beta }_0)>1-{\alpha }_0\end{array}$$

Since $\left\{T_n\right\}$ uniformly fuzzy converges to T, then $\exists N_0(ϵ/4,{\beta }_0)\in \mathbb{N}$ such that:

$$\begin{array}{cc}\hfill & \underset{x\in E}{\vee }\wedge \{t>0:N(T_n\left(x\right)-T\left(x\right),t)>1-{\beta }_0\}<ϵ/4\forall n\ge N_0\hfill \\ \hfill & \Rightarrow \wedge \{t>0:N(T_n\left(x\right)-T\left(x\right),t)>1-{\beta }_0\}<ϵ/4\forall n\ge N_0,\forall x\in E\hfill \\ \hfill & \Rightarrow N(T_n\left(x\right)-T\left(x\right),ϵ/4)>1-{\beta }_0\forall n\ge N_0,\forall x\in E\hfill \end{array}$$

(3)

Again, the sets $\overline{T_{0}E},\overline{T_{1}E},\cdots ,\overline{T_{N_0}E}$ are fuzzy compact sets, i.e., compact w.r.t ${\tau }_N$ by the definition of the fuzzy compact linear operator. Therefore, $\underset{i=0}{\stackrel{N_0}{\cup }}\overline{T_{i}E}$ is compact w.r.t. ${\tau }_N.$ By Theorem 6, $\underset{i=0}{\stackrel{N_0}{\cup }}\overline{T_{i}E}$ is fuzzy totally bounded. Now, by the definition of the fuzzy total boundedness, we can find $y_1,y_2,\cdots ,y_n$ such that:

$$\begin{array}{c}\hfill T_j\left(x\right)\in \underset{i=0}{\stackrel{n}{\cup }}{B}_N(y_i,ϵ/2,{\beta }_0)\forall T_j\left(x\right)\in \underset{i=0}{\stackrel{N_0}{\cup }}\overline{T_{i}E}\end{array}$$

Now, for any $T_m\left(x\right)\in \underset{i=0}{\stackrel{\infty }{\cup }}\overline{T_{i}E},$ if $m\le N_0$, we have:

$$\begin{array}{c}\hfill T_m\left(x\right)\in \underset{i=0}{\stackrel{n}{\cup }}{B}_N(y_i,ϵ/2,{\beta }_0)\subseteq \underset{i=0}{\stackrel{n}{\cup }}{B}_N(y_i,ϵ,{\alpha }_0)\end{array}$$

(4)

If $m>N_0$, then:

$$\begin{array}{cc}\hfill N(T_m\left(x\right)-y_i,ϵ)& \ge N(T_m\left(x\right)-T\left(x\right),ϵ/4)\ast N(T\left(x\right)-T_{N_0}\left(x\right),ϵ/4)\ast N(T_{N_0}\left(x\right)-y_i,ϵ/2)\hfill \\ \hfill & \ge (1-{\beta }_0)\ast (1-{\beta }_0)\ast (1-{\beta }_0)>(1-{\alpha }_0)\hfill \\ \hfill \therefore T_m\left(x\right)\in \underset{i=0}{\stackrel{n}{\cup }}{B}_N(y_i,ϵ,{\alpha }_0)\end{array}$$

(5)

Thus, $\underset{i=0}{\stackrel{\infty }{\cup }}\overline{T_{i}E}$ is fuzzy totally bounded. This completes the proof. □

Lemma 6.

Let T be a continuous self-mapping on $(X,N,\ast )$ and dim $T\left(X\right)<\infty .$ Then, T is a fuzzy compact linear operator.

Proof. 

Let $\left\{y_n\right\}$ be a fuzzy bounded sequence. Then, by Theorem 7, $\left\{T{y}_n\right\}$ is a fuzzy bounded sequence. Again, the range set of $\left\{T{y}_n\right\}$ say $R(T{y}_n:n\in \mathbb{N})$ is fuzzy bounded. Now, by Lemma 2, $\overline{R(T{y}_n:n\in \mathbb{N})}$ is fuzzy bounded. Since $T\left(X\right)$ is finite-dimensional, thus $\overline{R(T{y}_n:n\in \mathbb{N})}$ is fuzzy compact. Therefore, $\left\{T{y}_n\right\}$ has a fuzzy convergent subsequence. Thus, T is a fuzzy compact linear operator by Theorem 3. □

Lemma 7.

Let $(X,N,\ast )$ be an fnls. For each $\alpha \in (0,1)\exists \beta \in (0,\alpha /3)$ such that:

$$\begin{array}{c}\hfill B(\theta ,\beta ,\beta )+B(\theta ,\beta ,\beta )+B(\theta ,\beta ,\beta )\subseteq B(\theta ,\alpha ,\alpha )\end{array}$$

Proof. 

Suppose ${\alpha }_0\in (0,1).$ Then, ${\alpha }_0/3$ also belongs to $(0,1).$ By the left-continuity of $‘{\ast }^{’}$ at $(1,1),$$\exists {\beta }_0\in (0,\alpha /3]$ such that:

$$\begin{array}{c}\hfill (1-{\beta }_0)\ast (1-{\beta }_0)\ast (1-{\beta }_0)>1-{\alpha }_0/3\end{array}$$

Let $y\in B(\theta ,{\beta }_0,{\beta }_0)+B(\theta ,{\beta }_0,{\beta }_0)+B(\theta ,{\beta }_0,{\beta }_0).$ Thus, $y=y_1+y_2+y_3,$ where $y_1,y_2,y_3\in B(\theta ,{\beta }_0,{\beta }_0).$ Now:

$$\begin{array}{cc}\hfill & N(y,{\alpha }_0)\hfill \\ & \ge N(y_1,{\alpha }_0/3)\ast N(y_2,{\alpha }_0/3)\ast N(y_3,{\alpha }_0/3)\hfill \\ \hfill & \ge N(y_1,\beta )\ast N(y_2,\beta )\ast N(y_3,\beta )\hfill \\ \hfill & \ge (1-\beta )\ast (1-\beta )\ast (1-\beta )\hfill \\ \hfill & >(1-{\alpha }_0)\hfill \\ \hfill & \therefore y\in B(\theta ,{\alpha }_0,{\alpha }_0)\hfill \end{array}$$

This completes the proof. □

Theorem 10.

(Schauder-type fixed point theorem) Let $(X,N,\ast )$ be an fnls, C be a bounded, closed, convex subset in X w.r.t. ${\tau }_N$, and $f:C\to C$ be a fuzzy compact linear operator. Then, there exists a point $x_0\in C$ such that $f\left(x_0\right)=x_0.$

Proof. 

Since f is a fuzzy compact linear operator, then by Lemma 4 and Remark 1, there exists a sequence of continuous mappings $\left\{f_n\right\}$, which is uniformly fuzzy convergent to f, and each $\left\{f_n\right\}$ contains a fixed point, say $x_n$, i.e., $f_n\left(x_n\right)=x_n,\forall n\in \mathbb{N}.$

Since each $x_n\in \tilde{C}$, then by Lemma 5, $\left\{x_n\right\}$ has a fuzzy convergent subsequence, say $\left\{x_{n_k}\right\}$, i.e., $x_{n_k}\to x_0.$ Now, for any $t>0,{\alpha }_0\in (0,1)$ with $(1-{\beta }_0)\ast (1-{\beta }_0)\ast (1-{\beta }_0)>1-{\alpha }_0,$ we have:

$$\begin{array}{cc}\hfill N(f\left(x_0\right)-x_0,t)\ge & N(f\left(x_0\right)-f_{n_k}\left(x_0\right),t/4)\ast N(f_{n_k}\left(x_0\right)-f_{n_k}\left(x_{n_k}\right),t/4)\ast \hfill \\ \hfill & N(f_{n_k}\left(x_{n_k}\right)-x_{n_k},t/4)\ast N(x_{n_k}-x_0,t/4)\hfill \end{array}$$

(6)

Since $\left\{f_{n_k}\right\}$ uniformly fuzzy converges to f, then by Remark 2, for $x_0\in X,$

$$\begin{array}{c}\hfill \underset{k\to \infty }{\lim }N(f\left(x_0\right)-f_{n_k}\left(x_0\right),t/4)=1\end{array}$$

Again, each $\left\{f_{n_k}\right\}$ is continuous, so $x_{n_k}\to x_0\Rightarrow f_{n_k}\left(x_{n_k}\right)\to f_{n_k}\left(x_0\right)$,

$$\begin{array}{c}\hfill i.e.,\underset{k\to \infty }{\lim }N(f_{n_k}\left(x_0\right)-f_{n_k}\left(x_0\right),t/4)=1\end{array}$$

Taking $limk\to \infty$ in both sides of Inequality 6, we get,

$$\begin{array}{cc}\hfill & N(f\left(x_0\right)-x_0,t)\ge 1\hfill \\ \hfill & \Rightarrow N(f\left(x_0\right)-x_0,t)=1\forall t>0\hfill \\ \hfill & \Rightarrow f\left(x_0\right)=x_0\left(byN2\right)\hfill \end{array}$$

This completes the proof. □

Theorem 11.

Let $(X,N,\ast )$ be an fnls. Let C be a convex, compact subset of X and f be a continuous operator from C into $C.$ Then, there exists $x_0\in C$ such that $f\left(x_0\right)=x_0.$

Proof. 

Since C is compact w.r.t. ${\tau }_N$, thus by Theorem 6, C is fuzzy totally bounded. Now, consider a strictly decreasing sequence $\left\{{\alpha }_n\right\}$ with ${\alpha }_n\to 0,$ then $\exists \{x_n^1,x_n^2,\cdots x_n^m\}\subseteq C$ such that,

$$\begin{array}{c}\hfill C\subseteq \underset{i=1}{\stackrel{m}{\cup }}\left\{x_n^i\right\}+B(\theta ,{\alpha }_n,{\alpha }_n)\end{array}$$

Now, define a family of functions such that:

$$\begin{array}{c}\hfill f_n\left(x\right)=\frac{{\sum }_{i=1}^m{\beta }_n^i\left(x\right)x_n^i}{{\sum }_{i=1}^m{\beta }_n^i\left(x\right)}\end{array}$$

where ${\sum }_{i=1}^m{\beta }_n^i\left(x\right)=max\{0,{\alpha }_n-\wedge \{t>0:N(f\left(x\right)-x_n^i,t)>1-{\alpha }_n\}\}$

Let $x\in C$ and ${\alpha }_0\in (0,1).$

Since ${\alpha }_n\to 0,$ so $\exists N_0\in \mathbb{N}$ such that ${\alpha }_n<{\alpha }_0\forall n\ge N_0.$ Now:

$$\begin{array}{cc}\hfill & \wedge \{t>0:N(f_n\left(x\right)-f\left(x\right),t)>1-{\alpha }_0\}\hfill \\ \hfill & =\wedge \{t>0:N(\frac{{\sum }_{i=1}^m{\beta }_n^i\left(x\right)x_n^i}{{\sum }_{i=1}^m{\beta }_n^i\left(x\right)}-f\left(x\right),t)>1-{\alpha }_0\}\hfill \\ \hfill & =\wedge \{t>0:N(x_n^i-f\left(x\right),t)>1-{\alpha }_0\}\hfill \\ \hfill & \le \wedge \{t>0:N(x_n^i-f\left(x\right),t)>1-{\alpha }_n\}\le {\alpha }_n\forall n\ge N_0\hfill \\ \hfill & \Rightarrow \underset{x\in C}{\vee }\wedge \{t>0:N(f_n\left(x\right)-f\left(x\right),t)>1-{\alpha }_0\}\le {\alpha }_n\forall n\ge N_0\hfill \\ \hfill & \Rightarrow \underset{x\in C}{\vee }\wedge \{t>0:N(f_n\left(x\right)-f\left(x\right),t)>1-{\alpha }_0\}\to 0asn\to \infty \hfill \end{array}$$

Since ${\alpha }_0\in (0,1)$ is arbitrary, thus $\left\{f_n\right\}$ uniformly fuzzy converges to $f.$ Again, $\left\{f_n\right\}$ is a family of continuous functions from $(X,{\tau }_N)$ to itself. For each $n\in \mathbb{N},$$f_n$ maps from C to the closed convex hull $C_n$ of $\{x_n^i,i=1,2,3,\cdots \}.$ Since C is convex, then $C_n\subseteq C.$ We constrict the restricted mapping $f_n:C_n\to C_n,$ and it turns out that it maps the compact, convex subset of a finite-dimensional set $C_n$ of $Y_n=$ the span of $\{x_n^i,i=1,2,\cdots ,m\left(n\right)\}$ into itself. Thus, by the Browder fixed point theorem, $\exists x_n\in C_n\subseteq C$ such that $f_n\left(x_n\right)=x_n,\forall n\in \mathbb{N}.$ Since C is compact w.r.t. ${\tau }_N,$$\left\{x_n\right\}$ has a convergent subsequence, say $\left\{x_{n_k}\right\}$ w.r.t. fuzzy norm N and $\left\{x_{n_k}\right\}\to x_0.$ Now, consider $t_0(>0)\in \mathbb{R}.$

$$\begin{array}{cc}\hfill \mathrm{We}\mathrm{have}& N(f\left(x_0\right)-x_0,t_0)\hfill \\ \hfill & \ge N(f\left(x_0\right)-f\left(x_{n_k}\right),t_0/3)\ast N(f\left(x_{n_k}\right)-x_{n_k},t_0/3)\ast N(x_{n_k}-x_0,t_0/3)\hfill \end{array}$$

Taking $k\to \infty$ on both sides, we get $N(f\left(x_0\right)-x_0,t_0)=1.$ Again, $t_0>0$ is arbitrary.

$$\begin{array}{cc}\hfill \mathrm{So},& N(f\left(x_0\right)-x_0,t)=1,\forall t>0\hfill \\ \hfill & \Rightarrow f\left(x_0\right)=x_0.\hfill \end{array}$$

□

Theorem 12.

Let $(X,N,\ast )$ be a fuzzy Banach space, C be a closed and convex subset of X, and $f:C\to C$ be a continuous mapping such that the image of C is contained ina compact set. Then, $\exists x_0\in C$ such that $f\left(x_0\right)=x_0.$

Proof. 

Let $B=f\left(C\right).$ Consider $K=\overline{Co\left(f\right(C\left)\right)}$ (where $Co\left(f\right(C\left)\right)$ is the convex combination of the element of $f\left(C\right)$). It is clear that K is a convex subset of $X.$ We show that K is compact w.r.t. ${\tau }_N.$ We have $B(\subseteq C),$ a compact subset of X w.r.t. ${\tau }_N.$ Therefore, B is fuzzy totally bounded.

Let ${\alpha }_0\in (0,1).$ Then, $\exists {\beta }_0\in (0,{\alpha }_0/3)$ such that $(1-{\beta }_0)\ast (1-{\beta }_0)\ast (1-{\beta }_0)>(1-{\alpha }_0).$ Again, since ${\beta }_0\in (0,1),\exists \{x_1,x_2,\cdots ,x_n\}\subseteq B$ such that:

$$\begin{array}{c}\hfill B\subseteq \underset{i=1}{\stackrel{n}{\cup }}\left\{x_i\right\}+B(\theta ,{\beta }_0,{\beta }_0)\end{array}$$

(7)

Let $x\in Co\left(B\right).$ Thus, x is of the form ${\sum }_{j=1}^m{\alpha }_j{y}_j,$ where ${\sum }_{j=1}^m{\alpha }_j=1.$ Again, each $y_j\in \underset{i=1}{\stackrel{n}{\cup }}\left\{x_i\right\}+B(\theta ,{\beta }_0,{\beta }_0),j=\{1,2,\cdots ,m(\le )n\}$, Therefore, for each $y_j,\exists x_i$ for some $i\in \{1,2,\cdots ,n\}$ such that:

$$\begin{array}{c}\hfill N(x_i-y_j,{\beta }_0)>1-{\beta }_0\end{array}$$

Here:

$$\begin{array}{cc}\hfill & N(\sum _{j=1}^m{\alpha }_j{x}_j-\sum _{j=1}^m{\alpha }_j{y}_j,{\beta }_0)\hfill \\ \hfill & =N(x_j-y_j,{\beta }_0)>1-{\beta }_0\hfill \\ \hfill & \therefore x\in \sum _{j=1}^m{\alpha }_j{x}_j+B(\theta ,{\beta }_0,{\beta }_0)\hfill \end{array}$$

$\therefore x\in C_j+B(\theta ,{\beta }_0,{\beta }_0),$ where $C_j={\sum }_{j=1}^m{\alpha }_j{x}_j.$ Since each fnls is a topological vector space:

$$\begin{array}{c}\hfill \mathrm{so},\overline{Co\left(B\right)}=\underset{\alpha \in (0,1)}{\cap }Co\left(B\right)+B(\theta ,\alpha ,\alpha )\end{array}$$

Thus:

$$\begin{array}{cc}\hfill \overline{Co\left(B\right)}& \subseteq Co\left(B\right)+B(\theta ,{\beta }_0,{\beta }_0)\hfill \\ \hfill & \subseteq C_j+B(\theta ,{\beta }_0,{\beta }_0)+B(\theta ,{\beta }_0,{\beta }_0)\hfill \\ \hfill & \subseteq \overline{C_j}+B(\theta ,{\beta }_0,{\beta }_0)+B(\theta ,{\beta }_0,{\beta }_0)\hfill \end{array}$$

Here, $\overline{C_j}$ is a closed bounded subset of $Y_j=Span{\left\{x_j\right\}}_{j=1}^m.$ Therefore, $\overline{C_j}$ is compact w.r.t. ${\tau }_N.$ Thus, $\exists {\left\{p_k\right\}}_{k=1}^r\in \overline{C_j}\subseteq \overline{Co\left(B\right)}$ such that:

$$\begin{array}{c}\hfill \overline{C_j}\subseteq \underset{k=1}{\stackrel{r}{\cup }}\left\{p_k\right\}+B(\theta ,{\beta }_0,{\beta }_0)\end{array}$$

$$\begin{array}{cc}\hfill \therefore \overline{Co\left(B\right)}& \subseteq \underset{k=1}{\stackrel{r}{\cup }}\left\{p_k\right\}+B(\theta ,{\beta }_0,{\beta }_0)+B(\theta ,{\beta }_0,{\beta }_0)+B(\theta ,{\beta }_0,{\beta }_0)\hfill \\ \hfill & \subseteq \underset{k=1}{\stackrel{r}{\cup }}\left\{p_k\right\}+B(\theta ,\alpha ,\alpha )\hfill \end{array}$$

Thus, we get that $K=\overline{Co\left(B\right)}$ is totally bounded and complete, i.e., compact w.r.t. ${\tau }_N.$ Again, $f\left(K\right)\subseteq f\left(C\right)\subseteq K.$ By theorem 11, $\exists x_0\in K$ such that $f\left(x_0\right)=x_0.$

4. Darbo’s Generalization of the Schauder-Type Fixed Point Theorem Using the Concept of the Measure of Non-Compactness

In this section, we first consider two types of fuzzy bounded subsets of a KM-type fuzzy metric space (i.e., M is a left-continuous function w.r.t. t, and ∗ is left-continuous at $(1,1)$). We renamed them as strongly and weakly and studied the relation between them. After that, the measure of the non-compactness of a strongly fuzzy bounded subset of the fuzzy metric space is defined. Using this concept, a family of $\psi$-set contraction mapping is specified, and Darbo’s generalization of the Schauder-type fixed point theorem is established for these types of contraction mappings.

Theorem 15.

(Strongly fuzzy boundedness) Let $(X,M,\ast )$ be a fuzzy metric space. A subset Q of X is said to be strongly fuzzy bounded if $\exists t>0$ such that for each $\alpha \in (0,1)$:

$$\begin{array}{c}\hfill x\in B_M(y,\alpha ,t)\forall x,y\in Q\end{array}$$

i.e., fuzzy diameter of Q ($f-\delta \left(Q\right)$) less than ∞ where

$f-\delta \left(Q\right)=\underset{\alpha \in (0,1)}{\vee }\underset{x,y\in Q}{\vee }\wedge \{t>0:M(x,y,t)>1-\alpha \}$ (defined by Bag and Samanta in the paper [28].)

An example is presented to understand the strongly fuzzy boundedness more clearly.

Example 2.

Let $X={\mathbb{R}}^2$ (the set of all ordered pairs of the elements of the set of all real numbers) and ${\parallel x\parallel }^{{}^{\prime }}=|x_1|+|x_2{|,\parallel x\parallel }^{{}^{″}}=\left(\right|x_1{|}^2+|x_2{{|}^2)}^{1/2},$ where $x=(x_1,x_2)$ are two norms on $X.$ Clearly, ${\parallel x\parallel }^{{}^{\prime }}\ge {\parallel x\parallel }^{{}^{″}},\forall x\in X.$ Define a function $M:X\times X\times \mathbb{R}\to [0,1]$ by:

$$M(x,y,t)=\left\{\begin{array}{c}1,t\ge {\parallel x-y\parallel }^{{}^{\prime }}\hfill \\ {1/2,\parallel x-y\parallel }^{{}^{″}}\le t<{\parallel x-y\parallel }^{{}^{\prime }}\hfill \\ {0,t<\parallel x-y\parallel }^{{}^{″}}\hfill \end{array}\right.$$

Then, M is a fuzzy metric on X w.r.t. the min t-norm. Clearly,

$$\wedge \{t>0:M(x,y,t)>1-\alpha \}=\left\{\begin{array}{c}{\parallel x-y\parallel }^{{}^{\prime }},0<\alpha <1/2\hfill \\ {\parallel x-y\parallel }^{{}^{″}},1/2\le \alpha <1\hfill \end{array}\right.$$

Consider $A=B(0,1).$ Now:

$$\begin{array}{cc}\hfill f-\delta \left(A\right)& =\underset{\alpha \in (0,1)}{\vee }\underset{x,y\in A}{\vee }\wedge \{t>0:M(x,y,t)>1-\alpha \}\hfill \\ \hfill & ={diamAw.r.t.\parallel \parallel }^{{}^{\prime }}\hfill \\ \hfill & =1<\infty \hfill \end{array}$$

∴A is strongly fuzzy bounded.

The fuzzy boundedness defined in Definition 4 is renamed as the weakly fuzzy bounded subset of a fuzzy metric space $(X,M,\ast ).$ From the two definitions, it is clear that strongly fuzzy bounded implies the weakly fuzzy boundedness, but the converse may not be. This can be justified by the following example.

Example 3.

Consider the fuzzy metric:

$$M(x,y,t)=\left\{\begin{array}{c}\frac{t}{t+|x-y|},t>|x-y|\hfill \\ 0,t\le |x-y|\hfill \end{array}\right.$$

Now, $\wedge \{t>0:M(x,y,t)>1-\alpha \}=\frac{\alpha }{1-\alpha }|x-y|.$ Let $A=[0,1].$ Since $|x-y|\le 1<2,$ so A is weakly fuzzy bounded. However, $\underset{\alpha \in (0,1)}{\vee }\frac{\alpha }{1-\alpha }=\infty .$ Thus, A is not strongly fuzzy bounded.

The weakly fuzzy bounded subset of a fuzzy metric space can also be defined as if $\beta \left(A\right)=1$, then A is weakly fuzzy bounded where $\beta \left(A\right)=\underset{t>0}{Sup}\underset{x,y\in A}{inf}M(x,y,t).$ The equivalence between these two definitions was already proved in the paper [29].

Definition 16.

(Kuratowski’s measure of non-compactness) Let $(X,M,\ast )$ be a fuzzy metric space and Q be a strongly fuzzy bounded subset of $X.$ Then, Kuratowski’s measure of the non-compactness of Q denoted by $\psi \left(Q\right)$ is defined as:

$$\begin{array}{c}\hfill \psi \left(Q\right)=inf\{ϵ>0;Q\subseteq \underset{i=1}{\stackrel{n}{\cup }}{S}_i,S_i\subseteq X,f-\delta \left(S_i\right)<ϵ\forall i\in \{1,2,\cdots ,n\}\}\end{array}$$

From the definition, it is clear that $\psi \left(Q\right)<f-\delta \left(Q\right),$ for each strongly fuzzy bounded subset Q of $X.$

Definition 17.

(α-level Kuratowski measure of non-compactness) Let $(X,M,\ast )$ be a fuzzy metric space and Q be a weakly fuzzy bounded subset (or strongly fuzzy bounded subset) of $X.$ Then, for each $\alpha \in (0,1)$, the α-level Kuratowski measure of the non-compactness of Q denoted by ${\psi }_{\alpha }\left(Q\right)$ is defined as:

$$\begin{array}{c}\hfill {\psi }_{\alpha }\left(Q\right)=inf\{ϵ>0;Q\subseteq \underset{i=1}{\stackrel{n}{\cup }}{S}_i,S_i\subseteq X,\alpha -\delta \left(S_i\right)<ϵ\forall i\in \{1,2,\cdots ,n\}\}\end{array}$$

where $\alpha -\delta \left(S_i\right)=\underset{x,y\in S_i}{\vee }\wedge \{t>0:M(x,y,t)>1-\alpha \},$ defined by Bag and Samanta [28].

From the definition of $\psi \left(Q\right)$ and ${\psi }_{\alpha }\left(Q\right),$ it is clear that if Q is a strongly fuzzy bounded subset, then ${\psi }_{\alpha }\left(Q\right)\le \psi \left(Q\right)\forall \alpha \in (0,1)$, i.e., $\underset{\alpha \in (0,1)}{\vee }{\psi }_{\alpha }\left(Q\right)\le \psi \left(Q\right).$

Lemma 8.

Let $Q,Q_1,Q_2$ be strong fuzzy bounded subsets of a complete fuzzy metric space $(X,M,\ast ).$ Then:

(i)

$\psi \left(Q\right)=0\iff \overline{Q}$ is compact w.r.t. ${\tau }_M.$

(ii)

$\psi \left(Q\right)=\psi \left(\overline{Q}\right)$

(iii)

$Q_1\subseteq Q_2\Rightarrow \psi \left(Q_1\right)\le \psi \left(Q_2\right)$

(iv)

$\psi (Q_1\cup Q_2)=max\{\psi \left(Q_1\right),\psi \left(Q_2\right)\}$

Again, if $(X,N,\ast )$ is an fnls, then the followings properties also hold.

(v)

$\psi (Q_1+Q_2)\le \psi \left(Q_1\right)+\psi \left(Q_2\right)$

(vi)

$\psi (Q+x_0)=\psi \left(Q\right)$

(vii)

$\psi \left(r{Q}_1\right)=\left|r\right|\psi \left(Q_1\right)$

(viii)

$\psi \left(ConvQ\right)=\psi \left(Q\right)$

Proof. 

(i) First, we suppose that $\psi \left(Q\right)=0.$ Then, for each $ϵ>0\exists {\left\{S_i\right\}}_{i=1}^n$ with $f-\delta \left(S_i\right)<ϵ$ such that $Q\subseteq \underset{i=1}{\stackrel{n}{\cup }}{S}_i.$ Now, if Q is totally bounded, then $\overline{Q}$ is also, and we get the required result. Let ${\alpha }_0\in (0,1)$ and ${ϵ}_0>0.$ Consider a fixed $x_i\in S_i$ for each $i=\{1,2,\cdots ,n\}.$ Then, it is clear that $S_i\subseteq B_M(x_i,{\alpha }_0,{ϵ}_0).$

$$\begin{array}{c}\hfill \therefore Q\subseteq \underset{i=1}{\stackrel{n}{\cup }}{S}_i\subseteq \underset{i=1}{\stackrel{n}{\cup }}{B}_M(x_i,{\alpha }_0,{ϵ}_0)\end{array}$$

Thus, Q is totally bounded. Conversely, suppose that $\overline{Q}$ is compact w.r.t. ${\tau }_M.$ Then, Q is totally bounded. Let $ϵ>0$ be given. Then, for any $\alpha \in (0,1)$, and for, $ϵ>0,$$\exists \{x_1,x_2,\cdots ,x_n\}$ such that $Q\subseteq \underset{i=1}{\stackrel{n}{\cup }}{B}_M(x_i,\alpha ,ϵ/2).$ Consider:

$$S_i=\underset{\alpha \in (0,1)}{\vee }\{y\in X,\wedge \{t>0:M(x_i,y,t)>1-\alpha <ϵ/2\},\forall i=\{1,2,\cdots ,n\}.$$

Then, $Q\subseteq \underset{i=1}{\stackrel{n}{\cup }}{S}_i,$ where $f-\delta \left(S_i\right)<ϵ$ for each $i=\{1,2,\cdots ,n\}.$ Since $ϵ>0$ is arbitrary, thus $\psi \left(Q\right)=0.$

(ii) We first prove that $f-\delta \left(Q\right)=f-\delta \left(\overline{Q}\right).$ Then, the required result follows immediately. Obviously, $f-\delta \left(Q\right)\le f-\delta \left(\overline{Q}\right).$ For the reverse part, let $x,y\in \overline{Q}.$ Then, $\exists \left\{x_n\right\}$ and $\left\{y_n\right\}$ in Q such that:

$$\begin{array}{c}\hfill \underset{n\to \infty }{\lim }M(x_n,x,t)=1\forall t>0\\ \hfill \underset{n\to \infty }{\lim }M(y_n,y,t)=1\forall t>0\end{array}$$

Here:

$$\begin{array}{cc}\hfill & \wedge \{t>0:M(x,y,t)>1-\alpha \}\hfill \\ \hfill & \le \wedge \{t>0:M(x,x_n,t)>1-\beta \}+\wedge \{t>0:M(x_n,y_n,t)>1-\beta \}+\wedge \{t>0:M(y_n,y,t)>1-\beta \}\hfill \\ \hfill & (\beta \le \alpha )\hfill \\ \hfill & \Rightarrow \wedge \{t>0:M(x,y,t)>1-\alpha \}\le \underset{n\to \infty }{lim\; inf}\wedge \{t>0:M(x_n,y_n,t)>1-\beta \}\le f-\delta \left(Q\right)\hfill \\ \hfill & \therefore f-\delta \left(\overline{Q}\right)\le f-\delta \left(Q\right)\hfill \end{array}$$

Thus, we arrive at the required conclusion.

(iii) For $Q_1\subseteq Q_2,$ the set $\{ϵ>0;Q_2\subseteq \underset{i=1}{\stackrel{n}{\cup }}{S}_i,S_i\subseteq X,f-\delta \left(S_i\right)<ϵ\hspace{1em}\forall i\in \{1,2,\cdots ,n\}\}\subseteq \{ϵ>0;Q_1\subseteq \underset{i=1}{\stackrel{n}{\cup }}{S}_i,S_i\subseteq X,f-\delta \left(S_i\right)<ϵ\hspace{1em}\forall i\in \{1,2,\cdots ,n\}\}.$ $\therefore \psi \left(Q_1\right)\le \psi \left(Q_2\right).$

(iv) From (iii), $\psi (Q_1\cup Q_2)\le max\{\psi \left(Q_1\right),\psi \left(Q_2\right)\}$ follows. The reverse part is similar to a crisp set. For the references, please see [30].

For (v), (vi), (vii), and (viii), we first prove that in an fnls, the following properties hold.

(1)

$f-\delta (Q_1+Q_2)\le f-\delta \left(Q_1\right)+f-\delta \left(Q_2\right).$

(2)

$f-\delta (Q+x_0)=f-\delta \left(Q\right)$

(3)

$f-\delta \left(rQ\right)=\left|r\right|f-\delta \left(Q\right)$

(4)

$f-\delta \left(ConvQ\right)=f-\delta \left(Q\right)$

Then rest of the proof of (v), (vi), (vii), and (viii) is similar to the classical version of this theorem.

(1) Now:

$$\begin{array}{cc}\hfill f-\delta (Q_1+Q_2)& =\underset{\alpha \in (0,1)}{\vee }\underset{x,y\in Q_1+Q_2}{\vee }\wedge \{t>0:N(x-y,t)>1-\alpha \}\hfill \\ \hfill & =\underset{\alpha \in (0,1)}{\vee }\underset{x_1,x_2\in Q_1,y_1,y_2\in Q_2}{\vee }\wedge \{t>0:N(x_1+y_1-x_2-y_2,t)>1-\alpha \}\hfill \\ \hfill & \le \underset{\alpha \in (0,1)}{\vee }\underset{x_1,x_2\in Q_1}{\vee }\wedge \{t>0:N(x_1-x_2,t)>1-\alpha \}\hfill \\ \hfill & +\underset{\alpha \in (0,1)}{\vee }\underset{y_1,y_2\in Q_2}{\vee }\wedge \{t>0:N(y_1-y_2,t)>1-\alpha \}\hfill \\ \hfill & =f-\delta \left(Q_1\right)+f-\delta \left(Q_2\right)\hfill \end{array}$$

(2) Again:

$$\begin{array}{cc}\hfill f-\delta \left(Q\right)& =\underset{\alpha \in (0,1)}{\vee }\underset{x,y\in Q}{\vee }\wedge \{t>0:N(x-y,t)>1-\alpha \}\hfill \\ \hfill & =\underset{\alpha \in (0,1)}{\vee }\underset{x,y\in Q}{\vee }\wedge \{t>0:N(x+x_0-y-x_0,t)>1-\alpha \}\hfill \\ \hfill & =f-\delta (Q+x_0)\hfill \end{array}$$

(3)

$$\begin{array}{cc}\hfill f-\delta \left(rQ\right)=& \underset{\alpha \in (0,1)}{\vee }\underset{x,y\in rQ}{\vee }\wedge \{t>0:N(x-y,t)>1-\alpha \}\hfill \\ \hfill & =\underset{\alpha \in (0,1)}{\vee }\underset{x_1,y_1\in Q}{\vee }\wedge \{t>0:N(r{x}_1-r{y}_1,t)>1-\alpha \}\hfill \\ \hfill & =\underset{\alpha \in (0,1)}{\vee }\underset{x_1,y_1\in Q}{\vee }\wedge \left\{\right|r|t/\left|r\right|>0:N(x_1-y_1,t/\left|r\right|)>1-\alpha \}\hfill \\ \hfill & =\left|r\right|\underset{\alpha \in (0,1)}{\vee }\underset{x_1,y_1\in Q}{\vee }\wedge \{t>0:N(x_1-y_1,t)>1-\alpha \}\hfill \\ \hfill & =\left|r\right|f-\delta \left(Q\right)\hfill \end{array}$$

(4) $f-\delta \left(Q\right)\le f-\delta \left(ConvQ\right)$ is obvious as $Q\subseteq ConvQ.$ We only show that for a fixed ${\alpha }_0\in (0,1)$ and for a fixed $x_0(\ne \theta )\in X,$

$\underset{y\in Conv\left(Q\right)}{\vee }\wedge \{t>0:N(x_0-y,t)>1-{\alpha }_0\}=\underset{y\in Q}{\vee }\wedge \{t>0:N(x_0-y,t)>1-{\alpha }_0\}.$

Since ${\alpha }_0$ and $x_0$ are arbitrary, thus

$f-\delta \left(ConvQ\right)\le f-\delta \left(Q\right).$ Consider $y\in Conv\left(Q\right).$ Thus, $y={\sum }_{i=1}^n{\lambda }_i{x}_i,x_i\in Q,{\sum }_{i=1}^n{\lambda }_i=1.$

$$\begin{array}{cc}\hfill & \therefore \underset{y\in Conv\left(Q\right)}{\vee }\wedge \{t>0:N(x_0-y,t)>1-{\alpha }_0\}\hfill \\ \hfill & =\underset{x_i\in Q}{\vee }\wedge \{t>0:N(\sum _{i=1}^n{\lambda }_i{x}_0-\sum _{i=1}^n{\lambda }_i{x}_i,t)>1-\alpha \}\hfill \\ \hfill & =\underset{x_i\in Q}{\vee }\wedge \{t>0:N(x_0-x_i,t/\sum _{i=1}^n{\lambda }_i)>1-\alpha \}\hfill \\ \hfill & =\underset{x_i\in Q}{\vee }\wedge \{t>0:N(x_0-x_i,t)>1-\alpha \}\hfill \\ \hfill & \le \underset{y\in Q}{\vee }\wedge \{t>0:N(x_0-y,t)>1-\alpha \}\hfill \end{array}$$

∴ we arrive at the required conclusion. □

Definition 18.

(Axiomatic approach) Let $(X,M,\ast )$ be a complete fuzzy metric space and $\mathcal{B}$ the family of strongly fuzzy bounded subsets of $X.$ A map $\psi :\mathcal{B}\to [0,\infty )$ is called a measure of non-compactness if it satisfies the following properties:

(1)

$\psi \left(B\right)=0\iff B$ is fuzzy totally bounded, $\forall B\in \mathcal{B}.$

(2)

$\psi \left(B\right)=\psi \left(\overline{B}\right),$$\forall B\in \mathcal{B}.$

(3)

$\psi (B_1\cup B_2)=max\{\psi \left(B_1\right),\psi \left(B_2\right)\},$$\forall B_1,B_2\in \mathcal{B}$

Using this axiomatic approach, we give some examples of the measure of the non-compactness in a fuzzy metric space.

Example 4.

Let $X={\mathbb{R}}^2$ (the set of all ordered pairs of the elements of the set of all real numbers) and ${\parallel x\parallel }^{{}^{\prime }}=|x_1|+|x_2{|,\parallel x\parallel }^{{}^{″}}=\left(\right|x_1{|}^2+|x_2{{|}^2)}^{1/2},$ where $x=(x_1,x_2)$ are two norms on $X.$ Clearly, ${\parallel x\parallel }^{{}^{\prime }}\ge {\parallel x\parallel }^{{}^{″}},\forall x\in X.$ Define a function $M:X\times X\times \mathbb{R}\to [0,1]$ by:

$$M(x,y,t)=\left\{\begin{array}{c}1,t\ge {\parallel x-y\parallel }^{{}^{\prime }}\hfill \\ {1/2,\parallel x-y\parallel }^{{}^{″}}\le t<{\parallel x-y\parallel }^{{}^{\prime }}\hfill \\ {0,t<\parallel x-y\parallel }^{{}^{″}}\hfill \end{array}\right.$$

Then, M is a fuzzy metric on X w.r.t. the min t-norm. Clearly,

$$\wedge \{t>0:M(x,y,t)>1-\alpha \}=\left\{\begin{array}{c}{\parallel x-y\parallel }^{{}^{\prime }},0<\alpha <1/2\hfill \\ {\parallel x-y\parallel }^{{}^{″}},1/2\le \alpha <1\hfill \end{array}\right.$$

Define functions ${\psi }_1$ and ${\psi }_2$ from the set of all strongly fuzzy bounded subsets of X to $[0,\infty )$ by:

$${\psi }_1\left(B\right)=\left\{\begin{array}{cc}0,\hfill & ifB\mathrm{is}\mathrm{totally}\mathrm{fuzzy}\mathrm{bounded}\hfill \\ 1,\hfill & otherwise\hfill \end{array}\right.$$

and ${\psi }_2\left(B\right)=f-\delta \left(B\right).$

Both ${\psi }_1$ and ${\psi }_2$ satisfy all the conditions of Definition 18. Therefore, both are the measure of the non-compactness of fuzzy metric space $(X,M,min).$

Theorem 13.

Let $(X,M,\ast )$ be a complete fuzzy metric space. If $\left\{F_n\right\}$ is a decreasing sequence of non-empty closed, strongly fuzzy bounded subsets of X such that $\underset{n\to \infty }{\lim }\psi \left(F_n\right)=0,$ then the intersection $F_{\infty }=\underset{n=1}{\stackrel{\infty }{\cap }}{F}_n$ is a non-empty compact subset of X w.r.t. ${\tau }_M.$

Proof. 

Here, $\psi \left(F_{\infty }\right)\le \underset{n\to \infty }{\lim }\psi \left(F_n\right)=0.$ Thus, by Lemma 8, $F_{\infty }$ is compact w.r.t. ${\tau }_M,$ as $F_{\infty }$ is closed. Now, we will show that $F_{\infty }$ is non-empty. Since $\underset{n\to \infty }{\lim }\psi \left(F_n\right)=0,$ so $\underset{n\to \infty }{\lim }{\psi }_{\alpha }\left(F_n\right)=0,\forall \alpha \in (0,1).$ Let $\left\{x_n\right\}\subseteq X$ and $x_n\in F_n,$ i.e., $\left\{x_n\right\}\in F_1;{\left\{x_n\right\}}_{n=2}^{\infty }\in F_2$, and so on. Consider ${\alpha }_0\in (0,1).$ Thus, $\underset{n\to \infty }{\lim }{\psi }_{{\alpha }_0}\left(F_n\right)=0.$

By Definition 17, for every $n\in \mathbb{N},$$F_n\subseteq \underset{i=1}{\stackrel{k_n}{\cup }}{F}_i^n$ such that ${\alpha }_0-\delta \left(F_i^n\right)<{\psi }_{{\alpha }_0}\left(F_n\right)+1/n.$ Since $\left\{x_n\right\}\subseteq F_1\exists \left\{x_n^1\right\}\subseteq F_i^1\cap F_2\subseteq F_1$ for some $i=\{1,2,\cdots ,k_n\}$, so ${\alpha }_0-\delta \left(x_n^1\right)<{\psi }_{{\alpha }_0}\left(F_1\right)+1.$ Consider a subsequence $\left\{x_n^2\right\}$ of $\left\{x_n^1\right\}$ with $\left\{x_n^1\right\}\subseteq F_i^2\cap F_2,$ for some $i=\{1,2,\cdots ,k_n\}.$ Thus, ${\alpha }_0-\delta \left(x_n^2\right)<{\psi }_{{\alpha }_0}\left(F_2\right)+1/2.$

Similarly, we get a subsequence of $\left\{x_n^j\right\}$ of $\left\{x_n^{j-1}\right\}$ with ${\alpha }_0-\delta \left(x_n^j\right)<{\psi }_{{\alpha }_0}\left(F_j\right)+1/j,$ i.e., $\underset{j\to \infty }{\lim }{\alpha }_0-\delta \left(x_n^j\right)=0.$ This is true for any ${\alpha }_0\in (0,1).$

Thus, $\underset{j\to \infty }{\lim }\alpha -\delta \left(x_n^j\right)=0,\forall \alpha \in (0,1).$

For any $\alpha \in (0,1)$ and $ϵ>0\forall j_1,j_2\in \mathbb{N},\exists N_0(\alpha ,ϵ)\in \mathbb{N}$ such that:

$$\begin{array}{cc}\hfill & \wedge \{t>0:M(x_n^{j_1},x_n^{j_2},t)>1-\alpha \}<ϵ\forall j_1,j_2>N_0\hfill \\ \hfill & \Rightarrow M(x_n^{j_1},x_n^{j_2},ϵ)>1-\alpha \forall j_1,j_2>N_0\hfill \\ \hfill & \Rightarrow \underset{j_1,j_2\to \infty }{\lim }M(x_n^{j_1},x_n^{j_2},t)=1\forall t>0.\hfill \end{array}$$

$\therefore {\left\{x_n^j\right\}}_j$ is a Cauchy sequence w.r.t. $(X,M,\ast ),$ i.e., converges to $x\in F_n\forall n\in \mathbb{N}.$ i.e. $x\in \underset{n=1}{\stackrel{\infty }{\cap }}{F}_n=F_{\infty }.$ Thus, $F_{\infty }$ is non-empty. □

Definition 19.

Let $(X,M,\ast )$ be a complete fuzzy metric space and $f:X\to X$ be a fuzzy continuous mapping. Then, f is called a ψ-set contraction if there exists $k\in [0,1)$ such that for all strongly fuzzy bounded subsets C of $X,$ the following relation holds, $\psi \left(f\right(C\left)\right)\le k\psi \left(C\right),$ where ψ is the measure of the noncompactness of $C.$

This definition is inspired by the $\alpha$-set contraction in the classical set theory. For the references, please see the book [9].

Theorem 14.

(Darbo’s generalization of the Schauder-type fixed point theorem) Let $(X,N,\ast )$ be a fuzzy Banach space and C be a closed, strongly fuzzy bounded, and convex subset of $X.$ If $f:C\to C$ is a ψ-set contraction, then f has a fixed point in $C.$

Proof. 

For each $n\in \mathbb{N},$ consider $C_n=\overline{Convf\left(C_{n-1}\right)}.$ Clearly, $C_{n+1}\subseteq C_n\forall n.$ Now, $C_{\infty }=\underset{n=1}{\stackrel{\infty }{\cap }}{C}_n,$ which is a closed and convex set, and $\psi \left(C\right)\le \underset{n\to \infty }{\lim }\psi \left(C_n\right).$ Again, $\underset{n\to \infty }{\lim }\psi \left(C_n\right)=0(\because \psi \left(f\left(C_n\right)\right)\le k^n\psi \left(C\right)).$

Furthermore, $f\left(C_{\infty }\right)=f\left(\underset{n=1}{\stackrel{\infty }{\cap }}{C}_n\right)\subseteq \underset{n=1}{\stackrel{\infty }{\cap }}f\left(C_n\right)\subseteq \underset{n=1}{\stackrel{\infty }{\cap }}{C}_{n+1}=C_{\infty }.$ By Theorem 13, $C_{\infty }$ is compact and non-empty. Thus, $f:C_{\infty }\to C_{\infty }$ is a continuous mapping from a compact, convex set to itself. Thus, by Theorem 11, $\exists x_0\in C_{\infty }$ such that $f\left(x_0\right)=x_0.$ This completes the proof. □

Example 5.

Let $X=C[0,1]$ (the set of all continuous functions over [0,1]) and $\parallel x\parallel {}^{\prime }=\underset{0\le t\le 1}{Sup}{\left|x\left(t\right)\right|,\parallel x\parallel }^{{}^{″}}={\int }_0^1\left|x\left(t\right)\right|dt$ be two norms on $X.$ Clearly, ${\parallel x\parallel }^{{}^{\prime }}\ge {\parallel x\parallel }^{{}^{″}},\forall x\in X.$

Define a function $N:X\times \mathbb{R}\to [0,1]$ by:

$$N(x,t)=\left\{\begin{array}{c}1,t\ge {\parallel x\parallel }^{{}^{\prime }}\hfill \\ 1/{2,\parallel x\parallel }^{{}^{″}}\le t<{\parallel x\parallel }^{{}^{\prime }}\hfill \\ {0,t<\parallel x\parallel }^{{}^{″}}\hfill \end{array}\right.$$

Then, $(X,N,min)$ is fuzzy Banach space. Clearly,

$$\wedge \{t>0:N(x,t)>1-\alpha \}=\left\{\begin{array}{c}{\parallel x\parallel }^{{}^{\prime }},0<\alpha <1/2\hfill \\ {\parallel x\parallel }^{{}^{″}},1/2\le \alpha <1\hfill \end{array}\right.$$

Define a function $f:\overline{B(\theta ,1/2,1)}\to \overline{B(\theta ,1/2,1)}$ with ${\parallel f\left(x\right)-f\left(y\right)\parallel }^{{}^{\prime }}\le k{\parallel x-y\parallel }^{{}^{″}},\forall x,y\in \overline{B(\theta ,1/2,1)}$ and $\psi \left(C\right)=f-\delta \left(C\right)=\underset{x,y\in C}{\vee }{\parallel x-y\parallel }^{{}^{\prime }},$ where C is a strongly fuzzy bounded subset of $\overline{B(\theta ,1/2,1)}.$ Clearly, $\psi \left(f\left(C\right)\right)=\underset{x,y\in C}{\vee }{\parallel f\left(x\right)-f\left(y\right)\parallel }^{{}^{\prime }}\le k\underset{x,y\in C}{\vee }{\parallel x-y\parallel }^{{}^{″}}\le k\underset{x,y\in C}{\vee }{\parallel x-y\parallel }^{{}^{\prime }}=k\psi \left(C\right).$

∴f is a ψ-set contraction mapping. By Theorem 14, f has a fixed point in $C.$

Remark 3.

In Example 5, $\overline{B(\theta ,1/2,1)}={\{y\in X,\parallel x-y\parallel }^{{}^{″}}\le 1\}.$ It is a closed, convex, bounded subset in $(X,\parallel {\parallel }^{{}^{″}}),$ where ${\parallel x\parallel }^{{}^{″}}={\int }_0^1\left|x\left(t\right)\right|dt.$ However, $(X,\parallel {\parallel }^{{}^{″}})$ is not a Banach space. Therefore, the classical version of Darbo’s generalization of the Schauder-type fixed point theorem will not be able to give the existence result of a fixed point of $f,$ which is defined in Example 5. In this scene, our theorem is more general than its classical form.

5. Conclusions

Schauder’s fixed point theorem and its generalizations play a pivotal role in this context of nonlinear functional analysis. The aim of this paper is to study different types of Schauder’s fixed point theorems in the context of fuzzy settings. For this reason, two types of fuzzy convergence are defined for a sequence of linear operators whose domain and range space are the fnlss. Moreover, the notion of two types of fuzzy bounded subsets of a fuzzy metric space is formulated, and the relation between them is studied. Further, the concept of Kuratowski’s measure of non-compactness in a fuzzy metric and an fnls are introduced for both fuzzy bounded subsets. This concept is used as a tool to prove Darbo’s generalization of the Schauder-type fixed point theorem. This is the first instance of studying the measure of the non-compactness in fuzzy settings. There is a huge scope of further research in this area, and many fixed point theorems can be developed by using these types of measures of non-compactness. Schauder’s fixed point theorem has various applications in the theory of differential equations such as Peano’s existence theorem for the first-order differential equations, the existence of the positive solution to the second-order singular differential equations, the existence of periodic orbits of rapidly symmetric systems, and so on. The theorems developed in this manuscript will promote future studies on the fuzzified area of the above-mentioned differential equations, as well as in the fuzzy neural networks.