Abstract
In this paper, we prove an analogue of the uniqueness theorems of Führer [15] and Amann and Weiss [1] to cover the degree of Fredholm operators of index zero constructed by Fitzpatrick, Pejsachowicz and Rabier [13], whose range of applicability is substantially wider than for the most classical degrees of Brouwer [5] and Leray–Schauder [22]. A crucial step towards the axiomatization of this degree is provided by the generalized algebraic multiplicity of Esquinas and LópezGómez [8, 9, 25], \(\chi \), and the axiomatization theorem of MoraCorral [28, 32]. The latest result facilitates the axiomatization of the parity of Fitzpatrick and Pejsachowicz [12], \(\sigma (\cdot ,[a,b])\), which provides the key step for establishing the uniqueness of the degree for Fredholm maps.
Introduction
The Leray–Schauder degree was introduced in [22] to get some rather pioneering existence results on Nonlinear Partial Differential Equations. It refines, very substantially, the finitedimensional degree introduced by Brouwer [5] to prove his celebrated fixed point theorem. The Leray–Schauder degree is a generalized topological counter of the number of zeros that a continuous map, f, can have on an open bounded subset, \(\Omega \), of a real Banach space, X. To be defined, f must be a compact perturbation of the identity map. Although this always occurs in finitedimensional settings, it fails to be true in many important applications where the involved operators are not compact perturbations of the identity map but Fredholm operators of index zero between two real Banach spaces X and Y. For Fredholm maps, it is available the degree of Fredholm maps of Fitzpatrick, Pejsachowicz and Rabier [13], a refinement of the Elworthy and Tromba degree, [7], based on the topological concepts of parity and orientation discussed by Fitzpatrick and Pejsachowicz in [12]. Very recently, the authors of this article established in [29] the hidden relationships between the degree for Fredholm maps of [13] and the concept of generalized algebraic multiplicity of Esquinas and LópezGómez in [8, 9, 25], in a similar manner as the Leray–Schauder formula relates the Leray–Schauder degree to the classic algebraic multiplicity. The main goal of this paper is axiomatizing the Fitzpatrick–Pejsachowicz–Rabier degree in the same vein as the Brouwer and Leray–Schauder degrees were axiomatized by Führer [15] and Amann and Weiss [1], respectively. In other words, we will give a minimal set of properties that characterize the topological degree of Fitzpatrick, Pejsachowicz and Rabier.
Throughout this paper, for any given pair of real Banach spaces X, Y with \(X\subset Y\), we denote by \(\mathcal {L}_c(X,Y)\) the set of linear and continuous operators, \(L \in \mathcal {L}(X,Y)\), that are a compact perturbation of the identity map, \(L=I_XK\). Then, the linear group, GL(X, Y) is defined as the set of linear isomorphisms \(L\in \mathcal {L}(X,Y)\). Similarly, the compact linear group, \(GL_c(X,Y)\), is defined as \(GL(X,Y)\cap \mathcal {L}_c(X,Y)\). For any \(L \in \mathcal {L}(X,Y)\), the sets N[L] and R[L] stand for the null space (kernel) and the range (image) of L, respectively. An operator \(L \in \mathcal {L}(X,Y)\) is said to be a Fredholm operator if
In such case, R[L] must be closed and the index of L is defined by
In this paper, the set of Fredholm operators of index zero, \(L \in \mathcal {L}(X,Y)\), is denoted by \(\Phi _0(X,Y)\), and we set \(\Phi _0(X):=\Phi _0(X,X)\). Moreover, a map \(f:\overline{\Omega }\subset X\rightarrow Y\) is said to be compact if it sends bounded subsets of \(\overline{\Omega }\) into relatively compact sets of Y.
In the context of the Leray–Schauder degree, for any real Banach space X, any open and bounded domain \(\Omega \subset X\) and any map \(f:\overline{\Omega }\subset X \rightarrow X\), it is said that \((f,\Omega )\) is an admissible pair if

(i)
\(f\in \mathcal {C}(\overline{\Omega },X)\);

(ii)
f is a compact perturbation of the identity map \(I_X\);

(iii)
\(0\notin f(\partial \Omega )\).
The class of admissible pairs will be denoted by \(\mathscr {A}_{LS}\). Note that \((I_X,\Omega )\in \mathscr {A}_{LS}\) for every open and bounded subset \(\Omega \subset X\), such that \(0\notin \partial \Omega \). Actually, \((I_X,\Omega )\in \mathscr {A}_{LS,GL_c}\), where \(\mathscr {A}_{LS,GL_c}\) stands for the set of admissible pairs \((L,\Omega )\in \mathscr {A}_{LS}\), such that \(L\in GL_c(X)\). A homotopy \(H\in \mathcal {C}([0,1]\times \overline{\Omega }, X)\) is said to be admissible if \(0\notin H([0,1]\times \partial \Omega )\) and \(H(t,x)=xC(t,x)\), where \(C:[0,1]\times \Omega \rightarrow X\) is a compact map. The class of admissible homotopies \((H,\Omega )\) will be denoted by \(\mathscr {H}_{LS}\). The next fundamental theorem establishes the existence and the uniqueness of the Leray–Schauder degree. The existence goes back to Leray and Schauder [22] and the uniqueness is attributable to Amann and Weiss [1], though Führer [15] had already proven the uniqueness of the Brouwer degree when [1] was published.
Theorem 1.1
For any real Banach space X, there exists a unique integervalued map, \(\deg _{LS}:\mathscr {A}_{LS} \rightarrow \mathbb {Z}\), satisfying the following properties:

(N)
Normalization: \(\deg _{LS}(I_X,\Omega )=1\) if \(0\in \Omega \).

(A)
Additivity: For every \((f,\Omega )\in \mathscr {A}_{LS}\) and any pair of open disjoint subsets, \(\Omega _{1}\) and \(\Omega _{2}\), of \(\Omega \), such that \(0\notin f(\overline{\Omega }\backslash (\Omega _{1}\uplus \Omega _{2}))\)
$$\begin{aligned} \deg _{LS}(f,\Omega )=\deg _{LS}(f,\Omega _{1})+\deg _{LS}(f,\Omega _{2}). \end{aligned}$$(1.1) 
(H)
Homotopy Invariance: For every admissible homotopy \((H,\Omega )\in \mathscr {H}_{LS}\)
$$\begin{aligned} \deg _{LS}(H(0,\cdot ),\Omega )=\deg _{LS}(H(1,\cdot ),\Omega ). \end{aligned}$$
Moreover, for every \((L,\Omega )\in \mathscr {A}_{LS,GL_c}\) with \(0\in \Omega \)
where
The map \(\deg _{LS}\) is refereed to as the Leray–Schauder degree. In (1.2), setting \(K:= I_XL\), for any eigenvalue \(\mu \in {{\,\mathrm{Spec}\,}}(K)\), we have denoted by \(\mathfrak {m}_\mathrm {alg}[K;\mu ]\) the classical algebraic multiplicity of \(\mu \), that is
where \(\nu (\mu )\) is the algebraic ascent of \(\mu \), i.e., the minimal integer, \(\nu \ge 1\), such that
In Theorem 1.1, the axiom (N) is called the normalization property, because, for every \(n\in \mathbb {Z}\), the map \(n\, \mathrm {deg}_{LS}\) also satisfies the axioms (A) and (H), though not (N). Thus, the axiom (N) normalizes the degree so that, for the identity map, it provides us with its exact number of zeroes. The axiom (A) packages three basic properties of the Leray–Schauder degree. Indeed, by choosing \(\Omega =\Omega _1=\Omega _2=\emptyset \), it becomes apparent that
so establishing that no continuous map can admit a zero in the empty set. Moreover, in the special case, when \(\Omega = \Omega _{1}\uplus \Omega _{2}\), (1.2) establishes the additivity property of the degree. Finally, in the special case, when \(\Omega _2=\emptyset \), it follows from (1.2) and (1.3) that:
which is usually refereed to as the excision property of the degree. If, in addition, also \(\Omega _1=\emptyset \), then
Therefore, for every \((f,\Omega )\in \mathscr {A}_{LS}\), such that \(\deg _{LS}(f,\Omega )\ne 0\), the equation \(f(x)=0\) admits, at least, a solution in \(\Omega \). This key property is refereed to as the fundamental, or solution, property of the degree.
The axiom (H) establishes the invariance by homotopy of the degree. It allows to calculate the degree in the practical situations of interest from the point of view of the applications. Not surprisingly, when dealing with analytic maps, f, in \(\mathbb {C}\), it provides us with the exact number of zeroes of f, counting orders, in \(\Omega \) (see, e.g., Chapter 11 of [24]).
From a geometrical point of view, the construction of the Leray–Schauder degree relies on the concept of orientation, that is, on the fact that \(GL_{c}(X)\) consists of two path connected components. Let \(\mathfrak {L}\in \mathcal {C}([0,1], GL_{c}(X))\) be a continuous operator curve on \(GL_{c}(X)\). Since \(\mathfrak {L}\) can be regarded as the admissible homotopy \(H\in \mathcal {C}([0,1]\times \overline{\Omega },X)\) with \((H(t,\cdot ),\Omega )\in \mathscr {A}_{LS,GL_c}\) for each \(t\in [0,1]\) defined by \(H(t,\cdot ):=\mathfrak {L}(t)\), \(t\in [0,1]\), by the axiom (H), the integer \(\deg _{LS}(\mathfrak {L}(t),\Omega )\) is constant for all \(t\in [0,1]\). This introduces an equivalence relation between the operators of \(GL_c(X)\). Indeed, for every pair of operators \(L_0\), \(L_1\in GL_c(X)\), it is said that \(L_0 \sim L_1\) if \(L_0\) and \(L_1\) are homotopic in \(\mathscr {A}_{LS,GL_c}\) in the sense that \(L_0=\mathfrak {L}(0)\) and \(L_1= \mathfrak {L}(1)\) for some curve \(\mathfrak {L}\in \mathcal {C}([0,1], GL_{c}(X))\). This equivalence relation divides \(GL_{c}(X)\) into two pathconnected components, \(GL^{+}_{c}(X)\) and \(GL^{}_{c}(X)\), separated away by \(\mathcal {S}(X)\cap GL_c(X)\), where
This allows us to define a map
verifying the three axioms of the Leray–Schauder degree in the class \(\mathscr {A}_{LS,GL_c}\) and, in particular, the homotopy invariance. Once defined the degree in \(\mathscr {A}_{LS,GL_c}\), one can extend this restricted concept of degree to the regular pairs \((f,\Omega )\) through the identity
A pair \((f,\Omega )\) is said to be regular if 0 is a regular value of \(f:\overline{\Omega }\subset X\rightarrow X\), i.e., if \(Df(x)\in GL_{c}(X)\) for each \(x\in f^{1}(0)\cap \Omega \). Finally, according to the Sard–Smale theorem and the homotopy invariance property, it can be extended to be defined for general admissible pairs, \((f,\Omega )\in \mathscr {A}_{LS}\). A crucial feature that facilitates this construction of the degree is the fact that the space \(GL_{c}(X)\) consists of two pathconnected components. This fails to be true in the general context of Fredholm operators of index zero, which makes the mathematical analysis of this paper much more sophisticated technically.
The main goal of this paper is establishing an analogous of Theorem 1.1 for Fredholm Operators of index zero within the context of the degree for Fredholm maps of Fitzpatrick, Pejsachowicz and Rabier [13]. Let \(\Omega \) be an open and bounded subset of a real Banach space X. Then, an operator \(f:\overline{\Omega }\subset X \rightarrow Y\) is said to be \(\mathcal {C}^{1}\)Fredholm of index zero if
In this paper, the set of all these operators is denoted by \(\mathscr {F}^{1}_{0}(\Omega ,Y)\). A given operator \(f\in \mathscr {F}^{1}_{0}(\Omega ,Y)\) is said to be orientable when \(Df:\Omega \rightarrow \Phi _{0}(X,Y)\) is an orientable map (see Sect. 3 for the concept of orientability of maps). Moreover, for any open and bounded subset, \(\Omega \), of X and any map \(f:\overline{\Omega }\subset X \rightarrow Y\) satisfying

(1)
\(f\in \mathscr {F}^{1}_{0}(\Omega ,Y)\) is orientable with orientation \(\varepsilon \),

(2)
f is proper in \(\overline{\Omega }\), i.e., \(f^{1}(K)\) is compact for every compact subset \(K\subset Y\),

(3)
\(0\notin f(\partial \Omega )\),
it will be said that \((f,\Omega ,\varepsilon )\) is a Fredholm admissible triple. The set of all Fredholm admissible triples in the context of Fitzpatrick, Pejsachowicz and Rabier [13] is denoted by \(\mathscr {A}\). Given \((f,\Omega ,\varepsilon )\in \mathscr {A}\), it is said that \((f,\Omega ,\varepsilon )\) is a regular triple if 0 is a regular value of f, i.e., \(Df(x)\in GL(X,Y)\) for all \(x \in f^{1}(0)\). The set of regular triples is denoted by \(\mathscr {R}\). Finally, a map \(H\in \mathcal {C}^{1}([0,1]\times \overline{\Omega },Y)\) is said to be a \(\mathcal {C}^{1}\)Fredholm homotopy if \(D_{x}H(t,x)\in \Phi _{0}(X,Y)\) for each \((t,x)\in [0,1]\times \Omega \), and it is called orientable if \(D_{x}H:[0,1]\times \Omega \rightarrow \Phi _{0}(X,Y)\) is an orientable map. The main theorem of this paper reads as follows.
Theorem 1.2
There exists a unique integervalued map \(\deg : \mathscr {A}\rightarrow \mathbb {Z}\) satisfying the next properties:

(N)
Normalization: \(\deg (L,\Omega ,\varepsilon )=\varepsilon (0)\) for all \(L\in GL(X,Y)\) if \(0\in \Omega \).

(A)
Additivity: For every \((f,\Omega ,\varepsilon )\in \mathscr {A}\) and any pair of disjoint open subsets \(\Omega _{1}\) and \(\Omega _{2}\) of \(\Omega \) with \(0\notin f(\Omega \backslash (\Omega _{1}\uplus \Omega _{2}))\)
$$\begin{aligned} \deg (f,\Omega ,\varepsilon )=\deg (f,\Omega _{1},\varepsilon )+\deg (f,\Omega _{2},\varepsilon ). \end{aligned}$$ 
(H)
Homotopy Invariance: For each proper \(\mathcal {C}^{1}\)Fredholm homotopy \(H\in \mathcal {C}^{1}([0,1]\times \overline{\Omega }, Y)\) with orientation \(\varepsilon \) and \((H(t,\cdot ),\Omega ,\varepsilon _{t})\in \mathscr {A}\) for each \(t\in [0,1]\)
$$\begin{aligned} \deg (H(0,\cdot ),\Omega ,\varepsilon _{0})=\deg (H(1,\cdot ),\Omega ,\varepsilon _{1}). \end{aligned}$$
Moreover, given \((f,\Omega ,\varepsilon )\in \mathscr {R}\) with \(\Omega \) connected and \(\mathcal {R}_{Df}\ne \emptyset \), for each \(p\in \mathcal {R}_{Df}\)
where \(\mathfrak {L}_{\omega ,x}\in \mathscr {C}^\omega ([a,b],\Phi _{0}(X,Y))\) is any analytic curve \(\mathcal {A}\)homotopic to \(Df\circ \gamma \) (see Sect. 3 for the precise meaning), for some \(\gamma \in \mathcal {C}([a,b],\Omega )\), such that \(\gamma (a)=p\), \(\gamma (b)=x\), and
where \(\chi \) is the generalized algebraic multiplicity introduced by Esquinas and LópezGómez in [8, 9, 25] (see Sect. 2 for its definition and main properties).
As in the context of the Leray–Schauder degree, the axiom (A) packages three fundamental properties of the degree. Namely, the additivity and excision properties, as well as the existence property, that is, whenever \((f,\Omega ,\varepsilon )\in \mathscr {A}\) satisfies \(\deg (f,\Omega ,\varepsilon )\ne 0\), there exists \(x\in \Omega \), such that \(f(x)=0\).
The existence of the map \(\deg \) was established by Fitzpatrick, Pejsachowicz and Rabier in [13] in the \(\mathcal {C}^{2}\) case based on the concept of orientability introduced by Fitzpatrick and Pejsachowicz [12] and later generalized to cover the \(\mathcal {C}^{1}\) setting by Pejsachowicz and Rabier in [35]. The identity (1.5) is a substantial sharpening of the classical Leray–Schauder formula in the context of the degree for Fredholm maps; it was proven by the authors in [29] and, by the sake of completeness, it will be proved in this article again in Sect. 5. Thus, the main novelty of Theorem 1.2 is establishing the uniqueness of \(\deg \) as a direct consequence of (1.5); so, establishing an analogue of Theorem 1.1.
Benevieri and Furi [4] have established the uniqueness of another formulation of the topological degree for Fredholm operators [2, 3]. In particular, using different techniques, they introduced another concept of orientability for continuous maps \(h:\Lambda \rightarrow \Phi _{0}(X,Y)\) on a topological space \(\Lambda \). When h has a regular point, that is
the two notions coincide in the sense that \(h:\Lambda \rightarrow \Phi _{0}(X,Y)\) is orientable in the Benivieri–Furi sense (BForientable for short) if and only if it is Fitzpatrick–Pejsachowicz orientable (FPorientable for short). However, when \(\mathcal {R}_{h}=\emptyset \), these two concepts are different. Although the singular maps (with \(\mathcal {R}_{h}=\emptyset \)) are orientable adopting the FPorientation, there are examples of singular h’s that are not BForientable. More precisely, given a Banach space X of Kuiper type, i.e., such that GL(X) is contractible, consider the map defined by
where \(\mathbb {S}^{1}\) stands for the unit circle, the matrix decomposition is given through the canonical projections
and \(\mathfrak {L}:\mathbb {S}^{1}\rightarrow \Phi _{0}(X)\) is some BFnonorientable map, whose existence is guaranteed by [4, Th. 3.15]. Then, clearly, \(\mathfrak {S}\) is singular, i.e., \(\mathcal {R}_{\mathfrak {S}}=\emptyset \), and hence, it is FPorientable, thought, owing to [4, Pr. 3.8], \(\mathfrak {S}\) is not BForientable.
Based on this fact, the degree constructed by Benevieri and Furi does not coincide with the degree of Fitzpatrick, Pejsachowicz and Rabier, because there are admissible triples \((f,\Omega ,\varepsilon )\), such that \(Df:\Omega \rightarrow \Phi _{0}(X,Y)\) is not BForientable. Thus, although Benevieri and Furi proved in [4] an uniqueness result for their degree, our Theorem 1.2 here is independent of their main uniqueness result. Actually, both uniqueness results are independent in the sense that no one implies the other, though in some important applications, both degrees coincide. However, since the algebraic multiplicity \(\chi \) is defined for Fredholm operator curves \(\mathfrak {L}:[a,b]\rightarrow \Phi _{0}(X,Y)\) and the orientability notion of Fitzpatrick and Pejsachowicz is defined through the use of this type of curves by means of their notion of parity, we see far more natural the degree of Fitzpatrick, Pejsachowicz and Rabier for delivering an analogue of the uniqueness theorem of Amann and Weiss through (1.5), within the same vein as in the classical context of the Leray–Schauder degree.
This paper is organized as follows. Section 2 contains some necessary preliminaries on the Leray–Schauder degree and the generalized algebraic multiplicity, \(\chi \), used in the generalized Leray–Schauder formula (1.5). Section 3 introduces the concepts of parity and orientation of Fitzpatrick and Pejsachowicz [12] and collects some of the findings of the authors in [29], where the Fitzpatrick–Pejsachowicz parity, \(\sigma \), was calculated through the generalized algebraic multiplicity \(\chi \). These results are needed for axiomatizing the parity \(\sigma \) in Sect. 4. The main result of Sect. 4 is Theorem 4.2, which characterizes \(\sigma \) through a normalization property, a product formula, and its invariance by homotopy, by means of the algebraic multiplicity \(\chi \). This result is reminiscent of the uniqueness theorem of MoraCorral [32] for the multiplicity \(\chi \) (see also Chapter 6 of [28]). Finally, based on these results, the proof of Theorem 1.2 is delivered in Sect. 5 after revisiting, very shortly, the main concepts of the Fitzpatrick–Pejsachowicz–Rabier degree.
Generalized algebraic multiplicity
As the generalized algebraic multiplicity introduced by Esquinas and LópezGómez in [8, 9, 25] is a pivotal technical device in the proof of Theorem 1.2 through the formula (1.5), we will collect some of its most fundamental properties, among them the uniqueness theorem of MoraCorral [28, 32].
Given two Banach spaces, X and Y, by a Fredholm path, or curve, it is meant any map \(\mathfrak {L}\in \mathcal {C}([a,b],\Phi _{0}(X,Y))\). Given a Fredholm path, \(\mathfrak {L}\), it is said that \(\lambda \in [a,b]\) is an eigenvalue of \(\mathfrak {L}\) if \(\mathfrak {L}(\lambda )\notin GL(X,Y)\). Then, the spectrum of \(\mathfrak {L}\), \(\Sigma (\mathfrak {L})\), consists of the set of all these eigenvalues, that is
According to Lemma 6.1.1 of [25], \(\Sigma (\mathfrak {L})\) is a compact subset of [a, b], though, in general, one cannot say anything more about it, because for any given compact subset of [a, b], J, there exists a continuous function \(\mathfrak {L}:[a,b]\rightarrow \mathbb {R}\), such that \(J=\mathfrak {L}^{1}(0)\). Next, we will deliver a concept introduced in [25] to characterize whether, or not, the algebraic multiplicity of Esquinas and LópezGómez [8, 9, 25] is well defined. Let \(\mathfrak {L}\in \mathcal {C}([a,b], \Phi _{0}(X,Y))\) and \(k\in \mathbb {N}\). An eigenvalue \(\lambda _{0}\in \Sigma (\mathfrak {L})\) is said to be a kalgebraic eigenvalue if there exits \(\varepsilon >0\), such that

(a)
\(\mathfrak {L}(\lambda )\in GL(X,Y)\) if \(0<\lambda \lambda _0<\varepsilon \);

(b)
There exits \(C>0\), such that
$$\begin{aligned} \Vert \mathfrak {L}^{1}(\lambda )\Vert<\frac{C}{\lambda \lambda _{0}^{k}}\quad \hbox {if}\;\; 0<\lambda \lambda _0<\varepsilon ; \end{aligned}$$(2.1) 
(c)
k is the least positive integer for which (2.1) holds.
The set of algebraic eigenvalues of \(\mathfrak {L}\) or order k will be denoted by \({{\,\mathrm{Alg}\,}}_k(\mathfrak {L})\). Thus, the set of algebraic eigenvalues can be defined by
By Theorems 4.4.1 and 4.4.4 of [25], when \(\mathfrak {L}(\lambda )\) is real analytic in [a, b], i.e., \(\mathfrak {L}\in \mathcal {C}^{\omega }([a,b], \Phi _{0}(X,Y))\), then either \(\Sigma (\mathfrak {L})=[a,b]\), or \(\Sigma (\mathfrak {L})\) is finite and \(\Sigma (\mathfrak {L})\subset {{\,\mathrm{Alg}\,}}(\mathfrak {L})\). According to [28, Ch. 7], \(\lambda _0\in {{\,\mathrm{Alg}\,}}(\mathfrak {L})\) if, and only if, the lengths of all Jordan chains of \(\mathfrak {L}\) at \(\lambda _0\) are uniformly bounded above, which allows to characterize whether, or not, \(\mathfrak {L}(\lambda )\) admits a local Smith form at \(\lambda _0\) (see Rabier [28, 36]). The next concept allows to introduce a generalized algebraic multiplicity, \(\chi [\mathfrak {L},\lambda _0]\), in a rather natural manner. It goes back to [9]. Subsequently, we will denote
if these derivatives exist. Given a path \(\mathfrak {L}\in \mathcal {C}^{r}([a,b],\Phi _{0}(X,Y))\) and an integer \(1\le k \le r\), a given eigenvalue \(\lambda _{0}\in \Sigma (\mathfrak {L})\) is said to be a ktransversal eigenvalue of \(\mathfrak {L}\) if
For these eigenvalues, the algebraic multiplicity of \(\mathfrak {L}\) at \(\lambda _{0}\), \(\chi [\mathfrak {L},\lambda _0]\), is defined through
By Theorems 4.3.2 and 5.3.3 of [25], for every \(\mathfrak {L}\in \mathcal {C}^{r}([a,b], \Phi _{0}(X,Y))\), \(k\in \{1,2,...,r\}\) and \(\lambda _{0}\in {{\,\mathrm{Alg}\,}}_{k}(\mathfrak {L})\), there exists a polynomial \(\Phi : \mathbb {R}\rightarrow \mathcal {L}(X)\) with \(\Phi (\lambda _{0})=I_{X}\), such that \(\lambda _{0}\) is a ktransversal eigenvalue of the path
Moreover, \(\chi [\mathfrak {L}^{\Phi };\lambda _{0}]\) is independent of the curve of trasversalizing local isomorphisms \(\Phi \) chosen to transversalize \(\mathfrak {L}\) at \(\lambda _0\) through (2.3), regardless \(\Phi \) is a polynomial or not. Therefore, the next generalized concept of algebraic multiplicity is consistent
This concept of algebraic multiplicity can be easily extended by setting
and
Thus, \(\chi [\mathfrak {L};\lambda ]\) is well defined for all \(\lambda \in (a,b)\) of any smooth path \(\mathfrak {L}\in \mathcal {C}^{\infty }([a,b],\Phi _{0}(X,Y))\) and, in particular, for any analytical curve \(\mathfrak {L}\in \mathcal {C}^{\omega }([a,b],\Phi _{0}(X,Y))\). In other words, \(\chi \) can be viewed for each \(\lambda \in (a,b)\) as a map
The next uniqueness result goes back to MoraCorral [32] and [28, Ch. 6].
Theorem 2.1
Let U be a nonzero real Banach space, \(\lambda _{0}\in \mathbb {R}\), and let \(\mathfrak {I}(U)\) be a set of Banach spaces isomorphic to U, such that \(U\in \mathfrak {I}(U)\). Then, for every \(\varepsilon >0\), the algebraic multiplicity \(\chi \) is the unique map
satisfying the next two axioms

(P)
If \(X, Y, Z\in \mathfrak {I}(U)\) with
$$\begin{aligned} \mathfrak {L}\in \mathcal {C}^{\infty }((\lambda _{0}\varepsilon ,\lambda _{0}+\varepsilon ), \Phi _{0}(X,Y)), \quad \mathfrak {M}\in \mathcal {C}^{\infty }((\lambda _{0}\varepsilon ,\lambda _{0}+\varepsilon ); \Phi _{0}(Y,Z)) \end{aligned}$$then, the next product formula holds
$$\begin{aligned} \chi [\mathfrak {M}\circ \mathfrak {L};\lambda _{0}] =\chi [\mathfrak {L};\lambda _{0}]+\chi [\mathfrak {M};\lambda _{0}]. \end{aligned}$$ 
(N)
There exits a rank one projection \(P_{0}\in \mathcal {L}(U)\), such that
$$\begin{aligned} \chi [(\lambda \lambda _{0})P_{0}+I_{U}P_{0};\lambda _{0}]=1. \end{aligned}$$
The axiom (P) is the product formula and the axiom (N) is a normalization property for establishing the uniqueness of the algebraic multiplicity. From these axioms, one can derive all the remaining properties of the generalized algebraic multiplicity \(\chi \). Among them, that it equals the classical algebraic multiplicity when
for some compact operator K. Indeed, according to [25] and [28], for every smooth path \(\mathfrak {L}\in \mathcal {C}^{\infty }((\lambda _{0}\varepsilon ,\lambda _{0}+\varepsilon ),\Phi _{0}(X,Y))\), the following properties hold:

\(\chi [\mathfrak {L};\lambda _{0}]\in \mathbb {N}\uplus \{+\infty \}\);

\(\chi [\mathfrak {L};\lambda _{0}]=0\) if, and only if, \(\mathfrak {L}(\lambda _0) \in GL(X,Y)\);

\(\chi [\mathfrak {L};\lambda _{0}]<\infty \) if, and only if, \(\lambda _0 \in {{\,\mathrm{Alg}\,}}(\mathfrak {L})\).

If \(X=Y =\mathbb {R}^N\), then, in any basis
$$\begin{aligned} \chi [\mathfrak {L};\lambda _{0}]= \mathrm {ord}_{\lambda _{0}}\det \mathfrak {L}(\lambda ). \end{aligned}$$ 
Let \(L\in \mathcal {L}(X)\) be such that \(\lambda I_XL\in \Phi _0(X)\). Then, for every \(\lambda _0\in {{\,\mathrm{Spec}\,}}(L)\), there exists \(k\ge 1\), such that
$$\begin{aligned} \begin{aligned} \chi [\lambda I_XL;\lambda _{0}]&=\underset{n\in \mathbb {N}}{\sup } \dim {{\,\mathrm{Ker}\,}}[(\lambda _{0}I_{X}L)^{n}] \\&= \dim {{\,\mathrm{Ker}\,}}[(\lambda _{0}I_{X}L)^{k}]=\mathfrak {m}_\mathrm {alg}[L;\lambda _0]. \end{aligned} \end{aligned}$$(2.4)
Therefore, \(\chi \) extends, very substantially, the classical concept of algebraic multiplicity.
Parity and orientability
This section collects some very recent findings of the authors in [29] in connection with the concepts of parity and orientability introduced by Fitzpatrick and Pejsachowicz in [12]. We begin by recalling some important features concerning the structure of the space of linear Fredholm operators of index zero, \(\Phi _{0}(X,Y)\), which is an open pathconnected subset of \(\mathcal {L}(X,Y)\); in general, \(\Phi _{0}(X,Y)\) is not linear. Subsequently, for every \(n\in \mathbb {N}\), we denote by \(\mathcal {S}_{n}(X,Y)\) the set of singular operators of order n
Thus, the set of singular operators is given through
According to [11], for every \(n\in \mathbb {N}\), \(\mathcal {S}_{n}(X,Y)\) is a Banach submanifold of \(\Phi _{0}(X,Y)\) of codimension \(n^{2}\). This feature allows us to view \(\mathcal {S}(X,Y)\) as a stratified analytic set of codimension 1 of \(\Phi _{0}(X,Y)\). By Theorem 1 of Kuiper [19], the space of isomorphisms, GL(H), of any separable infinitedimensional Hilbert space, H, is path connected. Thus, it is not possible to introduce an orientation in GL(X, Y) for general Banach spaces X, Y, since, in general, GL(X, Y) is path connected. This fact reveals a fundamental difference between finite and infinitedimensional normed spaces, because, for every \(N\in \mathbb {N}\), the space \( GL(\mathbb {R}^{N}) \) is divided into two path connected components, \(GL^\pm (\mathbb {R}^N)\).
A key technical tool to overcome this difficulty to define a degree in \(\Phi _0(X,Y)\) is provided by the concept of parity introduced by Fitzpatrick and Pejsachowicz [12]. The parity is a generalized local detector of the change of orientability of a given admissible path. Subsequently, a Fredholm path \(\mathfrak {L}\in \mathcal {C}([a,b],\Phi _{0}(X,Y))\) is said to be admissible if \(\mathfrak {L}(a), \mathfrak {L}(b)\in GL(X,Y)\), and we denote by \(\mathscr {C}([a,b],\Phi _{0}(X,Y))\) the set of admissible paths. Moreover, for every \(r\in \mathbb {N}\uplus \{+\infty ,\omega \}\), we set
The fastest way to introduce the notion of parity consists in defining it for \(\mathscr {C}\)transversal paths and then for general admissible curves through the density of \(\mathscr {C}\)transversal paths in \(\mathscr {C}([a,b],\Phi _{0}(X,Y))\), already established in [11]. A Fredholm path, \(\mathfrak {L}\in \mathcal {C}([a,b],\Phi _{0}(X,Y))\), is said to be \(\mathscr {C}\)transversal if

(i)
\(\mathfrak {L}\in \mathscr {C}^{1}([a,b],\Phi _{0}(X,Y))\);

(ii)
\(\mathfrak {L}([a,b])\cap \mathcal {S}(X,Y)\subset \mathcal {S}_{1}(X,Y)\) and it is finite;

(iii)
\(\mathfrak {L}\) is transversal to \(\mathcal {S}_{1}(X,Y)\) at each point of \(\mathfrak {L}([a,b])\cap \mathcal {S}(X,Y)\).
The path \(\mathfrak {L}\in \mathcal {C}^{1}([a,b],\Phi _{0}(X,Y))\) is said to be transversal to \(\mathcal {S}_{1}(X,Y)\) at \(\lambda _{0}\) if
where \(T_{\mathfrak {L}(\lambda _{0})}\mathcal {S}_{1}(X,Y)\) stands for the tangent space to the manifold \(\mathcal {S}_{1}(X,Y)\) at \(\mathfrak {L}(\lambda _{0})\).
When \(\mathfrak {L}\) is \(\mathscr {C}\)transversal, the parity of \(\mathfrak {L}\) in [a, b] is defined by
where \(k\in \mathbb {N}\) equals the cardinal of \(\mathfrak {L}([a,b])\cap \mathcal {S}(X,Y)\). Thus, the parity of a \(\mathscr {C}\)transversal path, \(\mathfrak {L}(\lambda )\), is the number of times, mod 2, that \(\mathfrak {L}(\lambda )\) intersects transversally the stratified analytic set \(\mathcal {S}(X,Y)\).
The fact that the \(\mathscr {C}\)transversal paths are dense in the set of all admissible paths, together with the next stability property: for any \(\mathscr {C}\)transversal path \(\mathfrak {L}\in \mathcal {C}([a,b],\Phi _{0}(X,Y))\), there exists \(\varepsilon >0\), such that
for all \(\mathscr {C}\)transversal path \(\tilde{\mathfrak {L}}\in \mathcal {C}([a,b],\Phi _{0}(X,Y))\) with \(\Vert \mathfrak {L}\tilde{\mathfrak {L}}\Vert _{\infty }<\varepsilon \) (see [11]); allows us to define the parity for a general admissible path \(\mathfrak {L}\in \mathscr {C}([a,b],\Phi _{0}(X,Y))\) through
where \(\tilde{\mathfrak {L}}\) is any \(\mathscr {C}\)transversal curve satisfying \(\Vert \mathfrak {L}\tilde{\mathfrak {L}}\Vert _{\infty }<\varepsilon \) for sufficiently small \(\varepsilon >0\).
Subsequently, a given homotopy \(H\in \mathcal {C}([0,1]\times [a,b],\Phi _{0}(X,Y))\) is said to be admissible if \(H([0,1]\times \{a,b\})\subset GL(X,Y)\). Moreover, two given paths, \(\mathfrak {L}_{1}\) and \(\mathfrak {L}_{2}\), are said to be \(\mathcal {A}\)homotopic if they are homotopic through an admissible homotopy. A fundamental property of the parity is its invariance under admissible homotopies, which was established in [12].
The next result, proven by the authors in [29], establishes that, as soon as the Fredholm path \(\mathfrak {L}(\lambda )\) is defined in \(\mathcal {L}_{c}(X)\), every transversal intersection with \(\mathcal {S}(X)\) induces a change of orientation, i.e., a change of pathconnected component.
Theorem 3.1
Let \(\mathfrak {L}\in \mathscr {C}([a,b],\mathcal {L}_{c}(X))\) be an admissible curve with values in \(\mathcal {L}_{c}(X)\). Then, \(\sigma (\mathfrak {L},[a,b])=1\) if, and only if, \(\mathfrak {L}(a)\) and \(\mathfrak {L}(b)\) lie in different pathconnected components of \(GL_{c}(X)\).
Theorem 3.1 motivates the geometrical interpretation of the parity as a local detector of the change of orientation of the operators of a Fredholm path. As illustrated by Fig. 1, each transversal intersection of the path \(\mathfrak {L}(\lambda )\) with \(\mathcal {S}(X)\) can be viewed as a change of pathconnected component.
The next result, proven by the authors in [29], shows how the parity of any admissible Fredholm path \(\mathfrak {L}\in \mathscr {C}([a,b], \Phi _{0}(X,Y))\) can be computed through the algebraic multiplicity \(\chi \). This result is important from the point of view of the applications.
Theorem 3.2
Any continuous path \(\mathfrak {L}\in \mathscr {C}([a,b],\Phi _{0}(X,Y))\) is \(\mathcal {A}\)homotopic to an analytic Fredholm curve \(\mathfrak {L}_{\omega }\in \mathscr {C}^{\omega }([a,b],\Phi _{0}(X,Y))\). Moreover, for any of these analytic paths
where
Subsequently, we consider \(\mathfrak {L}\in \mathcal {C}([a,b],\Phi _{0}(X,Y))\) and an isolated eigenvalue \(\lambda _{0}\in \Sigma (\mathfrak {L})\). Then, the localized parity of \(\mathfrak {L}\) at \(\lambda _{0}\) is defined through
As a consequence of Theorem 3.2, the next result, going back to [29], holds.
Corollary 3.3
Let \(\mathfrak {L}\in \mathcal {C}^{r}([a,b],\Phi _{0}(X,Y))\) with \(r\in \mathbb {N}\uplus \{\infty ,\omega \}\) and \(\lambda _{0}\in {{\,\mathrm{Alg}\,}}_{k}(\mathfrak {L})\) for some \(1\le k \le r\). Then
The identity (3.1) establishes the precise relationship between the topological notion of parity and the algebraic concept of multiplicity. The importance of Corollary 3.3 relies on the fact that, since the localized parity detects any change of orientation, (3.1) makes intrinsic to the concept of algebraic multiplicity any change of the local degree.
As the principal difficulty to introduce a topological degree for Fredholm operators of index zero is the absence of orientation in the space of linear isomorphisms \(GL(X,Y)\subset \Phi _{0}(X,Y)\), the notion introduced in the next definition, going back to Fitzpatrick, Pejsachowicz and Rabier [13], restricts the admissible maps to the ones where is possible to introduce a notion of orientability. In the sequel, the notation \(\Lambda \) stands for a fixed topological space, and \(\mathcal {R}_{h}\) is defined through (1.6).
Definition 3.4
A continuous map \(h:\Lambda \rightarrow \Phi _{0}(X,Y)\) is said to be orientable if there exists a map \(\varepsilon :\mathcal {R}_{h}\rightarrow \mathbb {Z}_{2}\), called orientation, such that
for each curve \(\gamma \in \mathcal {C}([a,b],\Lambda )\) with \(\gamma (a),\gamma (b)\in \mathcal {R}_{h}\). A subset \(\mathcal {O}\subset \Phi _{0}(X,Y)\) is said to be orientable if the inclusion map \(i:\mathcal {O}\hookrightarrow \Phi _{0}(X,Y)\) is orientable, i.e., if there exists a map \(\varepsilon : \mathcal {O}\cap GL(X,Y) \rightarrow \mathbb {Z}_{2}\), such that
Observe that if \(\mathcal {R}_{h}=\emptyset \), then h is trivially orientable. Since the parity of a Fredholm curve \(\mathfrak {L}\) can be regarded as a generalized local detector of any change of orientation, it is natural to define an orientation \(\varepsilon \) of a subset \(\mathcal {O}\) of \(\Phi _{0}(X,Y)\) as a map satisfying (3.3). Indeed, owing to (3.3), \(\sigma (\mathfrak {L},[a,b])=1\) if \(\varepsilon (\mathfrak {L}(a))\) and \(\varepsilon (\mathfrak {L}(b))\) have contrary sign. Also, note that if \(\mathcal {O}\) is an orientable subset of \(\Phi _{0}(X,Y)\) with orientation \(\varepsilon \), then \(\varepsilon \) is locally constant, i.e., \(\varepsilon \) is constant on each path connected component of \(\mathcal {O} \cap GL(X,Y)\). This is a rather natural property of an orientation. The same is true for maps h; the map \(\varepsilon :\mathcal {R}_{h}\rightarrow \mathbb {Z}_{2}\) is constant in each pathconnected component of \(\mathcal {R}_{h}\).
An orientable map \(h:\Lambda \rightarrow \Phi _{0}(X,Y)\) with \(\Lambda \) path connected and \(\mathcal {R}_{h}\ne \emptyset \), admits, exactly, two different orientations. Precisely, given \(p\in \mathcal {R}_{h}\), the two orientations of h are defined through
where \(\gamma \in \mathcal {C}([a,b],\Lambda )\) is an arbitrary path linking p with q, and the sign ± determines the orientation of the pathconnected component of p in \(\mathcal {R}_{h}\), i.e., if we choose \(\varepsilon ^+\), then the orientation of the path connected component of p is 1, whereas it is \(1\) if \(\varepsilon ^\) is chosen. Finally, note that if \(\Lambda '\) is any subspace of \(\Lambda \), then the restriction of an orientation to \(\mathcal {R}_{h}\cap \Lambda '\) gives an orientation for \(h_{\Lambda '}\).
According to [13], if \(\Lambda \) is simply connected, any \(h:\Lambda \rightarrow \Phi _{0}(X,Y)\) is orientable. Therefore, the set of orientable maps is really large. More generally, \(h:\Lambda \rightarrow \Phi _{0}(X,Y)\) is orientable if the \(\mathbb {Z}_{2}\)cohomology group \(H^{1}(\Lambda ,\mathbb {Z}_{2})\) is trivial.
The next result, going back to [29], justifies the geometrical interpretation of the parity as a local detector of change of orientation for the operators of a Fredholm path.
Proposition 3.5
Let \(\mathcal {O}\) be an orientable subset of \(\Phi _{0}(X,Y)\) and \(\mathfrak {L}\in \mathscr {C}([a,b],\mathcal {O})\). Then, \(\sigma (\mathfrak {L},[a,b])=1\) if, and only if, \(\mathfrak {L}(a)\) and \(\mathfrak {L}(b)\) lye in different path connected components of \(\mathcal {O}\cap GL(X,Y)\) with opposite orientations.
Finally, the next result, going back as well to [29], reduces the problem of detecting any change of orientation to the problem of the computation of the local multiplicity. It allows to interpret the algebraic multiplicity as a local detector of change of orientation for the operators of a Fredholm path. Given \(\mathfrak {L}\in \mathcal {C}([a,b],\Phi _{0}(X,Y))\) and \(\delta >0\), an isolated eigenvalue \(\lambda _{0}\in \Sigma (\mathfrak {L})\) is said to be \(\delta \)isolated if
Theorem 3.6
Suppose that \(\mathcal {O}\subset \Phi _{0}(X,Y)\) is an orientable subset, \(\mathfrak {L}\in \mathcal {C}([a,b],\mathcal {O})\) is a Fredholm curve and \(\lambda _{0}\in \Sigma (\mathfrak {L})\) a \(\delta \)isolated eigenvalue. Then, the next assertions are equivalent:

(a)
\(\sum _{\lambda \in \Sigma (\mathfrak {L}_{\omega })}\chi [\mathfrak {L}_{\omega };\lambda _{0}]\) is odd for any analytical path \(\mathfrak {L}_{\omega }\in \mathscr {C}^{\omega }([\lambda _{0}\delta ,\lambda _{0}+\delta ],\Phi _{0}(X,Y))\), such that \(\mathfrak {L}\vert _{[\lambda _{0}\delta ,\lambda _{0}+\delta ]}\) and \(\mathfrak {L}_\omega \) are \(\mathcal {A}\)homotopic.

(b)
\(\mathfrak {L}(\lambda _{0}\delta )\) and \(\mathfrak {L}(\lambda _{0}+\delta )\) live in different pathconnected components of \(\mathcal {O}\cap GL(X,Y)\) with opposite orientations.
Axiomatization and uniqueness of the parity
The aim of this section is axiomatizing the concept of parity. Therefore, establishing its uniqueness. Our axiomatization is based on Theorem 2.1 and Corollary 3.3. Thanks to this axiomatization, we are establishing the uniqueness of a local detector of change of orientability. We will begin by axiomatizing the parity as a local object. Then, we will do it in a global setting.
Subsequently, for any interval \(\mathcal {I}\subset \mathbb {R}\) and \(\lambda _{0}\in \text {Int\,}\mathcal {I}\), we will denote by \(\mathcal {C}^{\omega }_{\lambda _{0}}(\mathcal {I},\Phi _{0}(X,Y))\) the space of all the analytic paths \(\mathfrak {L}\in \mathcal {C}^{\omega }(\mathcal {I},\Phi _{0}(X,Y))\), such that \(\mathfrak {L}(\lambda )\in GL(X,Y)\) for all \(\lambda \in \mathcal {I}\setminus \{\lambda _0\}\).
Theorem 4.1
For every \(\varepsilon >0\) and \(\lambda _{0}\in \mathbb {R}\), there exists a unique \(\mathbb {Z}_{2}\)valued map
such that

(N)
Normalization: \(\sigma (\mathfrak {L},\lambda _{0})=1\) if \(\mathfrak {L}(\lambda _{0})\in GL(X)\), and there exists a rank one projection \(P_{0}\in \mathcal {L}(X)\), such that \(\sigma (\mathfrak {E},\lambda _{0})=1\) where
$$\begin{aligned} \mathfrak {E}(\lambda ):=(\lambda \lambda _{0})P_{0}+I_{X}P_{0}. \end{aligned}$$ 
(P)
Product Formula: For every \(\mathfrak {L}, \mathfrak {M}\in \mathcal {C}^{\omega }_{\lambda _{0}}\),
$$\begin{aligned} \sigma (\mathfrak {L}\circ \mathfrak {M},\lambda _{0})=\sigma (\mathfrak {L},\lambda _{0}) \cdot \sigma (\mathfrak {M},\lambda _{0}). \end{aligned}$$
Moreover, for every \(\mathfrak {L}\in \mathcal {C}^{\omega }_{\lambda _{0}}\), the parity map is given by
Proof
First, we will prove that, for every rank one projection \(P\in \mathcal {L}(X)\), setting
one has that
Indeed, by Lemma 6.1.1 of [28], there exists \(T\in GL(X)\), such that \(P=T^{1}P_{0}T\). Thus
and hence, by axioms (P) and (N)
On the other hand, for any given \(\mathfrak {L}\in \mathcal {C}^{\omega }_{\lambda _{0}}\), by Corollary 5.3.2(b) of [28], which goes back to the proof of Theorem 5.3.1 of [25], there exist k finiterank projections \(\Pi _{0},\Pi _{2},\dots ,\Pi _{k1}\in \mathcal {L}(X)\) and a (globally invertible) path \(\mathfrak {I}\in \mathcal {C}^{\omega }((\lambda _{0}\varepsilon ,\lambda _{0}+\varepsilon ),GL(X))\), such that setting
one has that
Moreover, for every \(i\in \{0,1,...,k1\}\), there are \(r_{i}=\text {rank}\,\Pi _{i}\) projections of rank one, \(P_{j,i}\), \(1\le j \le r_{i}\), such that
Consequently, we find from the axiom (P) and (4.1) that
and, therefore, applying again the axiom (P) yields
Finally, since owing to Corollary 5.3.2 of [28], we have that
it becomes apparent that
This concludes the proof. \(\square \)
Once the local parity is determined, we will give the global axiomatization. A pair \((\mathfrak {L},[a,b])\) is said to be admissible if \(\mathfrak {L}\in \mathscr {C}([a,b],\Phi _{0}(X))\). The set of admissible pairs will be denoted by \(\mathscr {A}\).
Theorem 4.2
There exists a unique \(\mathbb {Z}_{2}\)valued map \(\sigma :\mathscr {A}\rightarrow \mathbb {Z}_{2}\), such that

(N)
Normalization: For every \(\mathfrak {L}\in \mathcal {C}^{\omega }_{\lambda _0}([\lambda _{0}\eta ,\lambda _{0}+\eta ],\Phi _{0}(X))\),
$$\begin{aligned} \sigma (\mathfrak {L},[\lambda _{0}\eta ,\lambda _{0}+\eta ])=(1)^{\chi [\mathfrak {L};\lambda _{0}]}. \end{aligned}$$ 
(P)
Product Formula: For every \((\mathfrak {L},[a,b])\in \mathscr {A}\) and \(c\in (a,b)\), such that \(c\notin \Sigma (\mathfrak {L})\)
$$\begin{aligned} \sigma (\mathfrak {L},[a,b])=\sigma (\mathfrak {L},[a,c])\cdot \sigma (\mathfrak {L},[c,b]). \end{aligned}$$ 
(H)
Homotopy Invariance: For every homotopy \(H\in \mathcal {C}([0,1]\times [a,b],\Phi _{0}(X))\) such that \((H(t,\cdot ),[a,b])\in \mathscr {A}\) for all \(t\in [0,1]\)
$$\begin{aligned} \sigma (H(0,\cdot ),[a,b])=\sigma (H(1,\cdot ),[a,b]). \end{aligned}$$
Moreover, \(\sigma (\mathfrak {L},[a,b])\) equals the parity map of Fitzpatrick and Pejsachowitz [12].
Proof
Pick \((\mathfrak {L},[a,b])\in \mathscr {A}\). By Theorem 3.2, we already know that there exists an analytic curve \(\mathfrak {L}_{\omega }\in \mathscr {C}^{\omega }([a,b],\Phi _{0}(X))\) \(\mathcal {A}\)homotopic to \(\mathfrak {L}\), i.e., there exists \(H\in \mathcal {C}([0,1]\times [a,b],\Phi _{0}(X))\), such that \(H([0,1]\times \{a,b\})\subset GL(X)\)
Then, by the axiom (H)
Suppose that \(\Sigma (\mathfrak {L}_{\omega })\cap [a,b]=\emptyset \) and pick any \(\lambda _0\in (a,b)\). Then, since \(\chi [\mathfrak {L}_\omega ;\lambda _0]=0\), it follows from (N) that:
Therefore, (4.2) implies that
Now, suppose that \(\Sigma (\mathfrak {L}_{\omega })\ne \emptyset \). Since \(\mathfrak {L}_\omega (a)\in GL(X)\), it follows from Theorems 4.4.1 and 4.4.4 of [25] that \(\Sigma (\mathfrak {L}_{\omega })\) is discrete. Thus
for some
Let \(\varepsilon >0\) be sufficiently small, so that \(\lambda _i\) is \(\varepsilon \)isolated for all \(i\in \{1,...,n\}\). Then, by the axioms (P) and (N), we find that
Therefore, by (4.2), it becomes apparent that
Consequently, owing to Theorem 3.2, the map \(\sigma :\mathscr {A}\rightarrow \mathbb {Z}_{2}\) is the parity defined by Fitzpatrick and Pejsachowitz in [12]. This concludes the proof. \(\square \)
Note that the normalization property (N) in Theorem 4.2 is determined by the local uniqueness of the parity provided by Theorem 4.1.
Axiomatization and uniqueness of the topological degree
The aim of this section is delivering the proof of Theorem 1.2. We begin by recalling our main theorem. As already discussed in Sect. 1, for any open and bounded subset, \(\Omega \), of a Banach space X, an operator \(f:\overline{\Omega }\subset X \rightarrow Y\) is said to be \(\mathcal {C}^{1}\)Fredholm of index zero if \(f\in \mathcal {C}^{1}(\overline{\Omega },Y)\) and \(Df\in \mathcal {C}(\Omega ,\Phi _{0}(X,Y))\), and the set of all these operators is denoted by \(\mathscr {F}^{1}_{0}(\Omega ,Y)\). An operator \(f\in \mathscr {F}^{1}_{0}(\Omega ,Y)\) is said to be orientable when \(Df:\Omega \rightarrow \Phi _{0}(X,Y)\) is an orientable map. Moreover, for any open and bounded subset, \(\Omega \), of a Banach space X and any operator \(f:\overline{\Omega }\subset X \rightarrow Y\) satisfying

(1)
\(f\in \mathscr {F}^{1}_{0}(\Omega ,Y)\) is orientable with orientation \(\varepsilon :\mathcal {R}_{Df}\rightarrow \mathbb {Z}_{2}\),

(2)
f is proper in \(\overline{\Omega }\), i.e., \(f^{1}(K)\) is compact for every compact subset \(K\subset Y\),

(3)
\(0\notin f(\partial \Omega )\),
it is said that \((f,\Omega ,\varepsilon )\) is a Fredholm admissible triple. The set of all Fredholm admissible triples is denoted by \(\mathscr {A}\). Given \((f,\Omega ,\varepsilon )\in \mathscr {A}\), it is said that \((f,\Omega ,\varepsilon )\) is a regular triple if 0 is a regular value of f, i.e., \(Df(x)\in GL(X,Y)\) for all \(x \in f^{1}(0)\). The set of regular triples is denoted by \(\mathscr {R}\). Finally, a map \(H\in \mathcal {C}^{1}([0,1]\times \overline{\Omega },Y)\) is said to be \(\mathcal {C}^{1}\)Fredholm homotopy if \(D_{x}H(t,x)\in \Phi _{0}(X,Y)\) for each \((t,x)\in [0,1]\times \Omega \) and it is called orientable if \(D_{x}H:[0,1]\times \Omega \rightarrow \Phi _{0}(X,Y)\) is an orientable map. Henceforth, the notation \(\varepsilon _{t}\) stands for the restriction
for each \(t\in [0,1]\), where \(H_{t}(\cdot )=H(t,\cdot )\). Theorem 1.2 reads as follows.
Theorem 5.1
There exists a unique integervalued map \(\deg : \mathscr {A}\rightarrow \mathbb {Z}\) satisfying the next properties

(N)
Normalization: \(\deg (L,\Omega ,\varepsilon )=\varepsilon (0)\) for all \(L\in GL(X,Y)\) if \(0\in \Omega \).

(A)
Additivity: For every \((f,\Omega ,\varepsilon )\in \mathscr {A}\) and any pair of disjoint open subsets \(\Omega _{1}\) and \(\Omega _{2}\) of \(\Omega \) with \(0\notin f(\Omega \backslash (\Omega _{1}\uplus \Omega _{2}))\),
$$\begin{aligned} \deg (f,\Omega ,\varepsilon )=\deg (f,\Omega _{1},\varepsilon )+\deg (f,\Omega _{2},\varepsilon ). \end{aligned}$$ 
(H)
Homotopy Invariance: For each proper \(\mathcal {C}^{1}\)Fredholm homotopy \(H\in \mathcal {C}^{1}([0,1]\times \overline{\Omega }, Y)\) with orientation \(\varepsilon \) and \((H(t,\cdot ),\Omega ,\varepsilon _{t})\in \mathscr {A}\) for each \(t\in [0,1]\)
$$\begin{aligned} \deg (H(0,\cdot ),\Omega ,\varepsilon _{0})=\deg (H(1,\cdot ),\Omega ,\varepsilon _{1}). \end{aligned}$$
Moreover, given \((f,\Omega ,\varepsilon )\in \mathscr {R}\) with \(\Omega \) connected and \(\mathcal {R}_{Df}\ne \emptyset \), for each \(p\in \mathcal {R}_{Df}\)
where \(\mathfrak {L}_{\omega ,x}\in \mathscr {C}^\omega ([a,b],\Phi _{0}(X,Y))\) is any analytic curve \(\mathcal {A}\)homotopic to \(Df\circ \gamma \), for some \(\gamma \in \mathcal {C}([a,b],\Omega )\), such that \(\gamma (a)=p\) and \(\gamma (b)=x\), and
Observe that the righthand side of (5.1) is well defined, because every open and connected set, \(\Omega \), in a locally convex topological space, X, is path connected. Thus, it always exists a path \(\mathfrak {L}_{x}\in \mathcal {C}([a,b],\Omega )\) joining p and x. The existence of the analytic \(\mathcal {A}\)homotopic curve was established in [29]. The righthand side of (5.1) is taken as zero if \(f^{1}(0)\cap \Omega =\emptyset \).
Applying axiom (A) with \(\Omega _1=\Omega _2=\Omega =\emptyset \), it becomes apparent that \(\mathrm {deg}(f,\emptyset ,\varepsilon )=0\). If \((f,\Omega ,\varepsilon )\in \mathscr {A}\) and \(f^{1}(0)\cap \Omega =\emptyset \). Applying again (A) with \(\Omega _1=\Omega _2=\emptyset \), we find that \(\mathrm {deg}(f,\Omega ,\varepsilon )=0\). Equivalently, f admits a zero in \(\Omega \) if \(\mathrm {deg}(f,\Omega ,\varepsilon )\ne 0\).
As already commented in Sect. 1, since the existence of \(\deg \) goes back to Fitzpatrick, Pejsachowicz and Rabier [13], and the formula (5.1) was proven by the authors in [29], Theorem 5.1 actually establishes the uniqueness of \(\deg \).
To prove the uniqueness, it is appropriate to sketch briefly the construction of \(\deg \) carried over in [13] and [35]. Let \((f,\Omega ,\varepsilon )\in \mathscr {A}\). By definition, \(f\in \mathscr {F}^{1}_{0}(\Omega ,Y)\) is \(\mathcal {C}^{1}\)Fredhom of index zero and it is \(\varepsilon \)orientable, i.e., \(Df:\Omega \rightarrow \Phi _{0}(X,Y)\) is an orientable map with orientation
Once an orientation has been introduced, the degree \(\deg \) can be defined as the Leray–Schauder degree \(\deg _{LS}\) as soon as 0 is a regular value of f, because since in such case, \(f^{1}(0)\cap \Omega \) is finite, possibly empty, one can define, in complete agreement with the axioms (N), (A), and (H)
If \(f^{1}(0)\cap \Omega =\emptyset \), as we already mentioned, \(\mathrm {deg}(f,\Omega ,\varepsilon )=0\). When 0 is not a regular value, then, by definition
where \(x_{0}\) is any regular value of f belonging to a sufficiently small neighborhood of 0. The existence of such regular values is guaranteed by a theorem of Quinn and Sard [34], a version of the Sard–Smale Theorem, [40], not requiring the separability of the involved Banach spaces.
Once introduced the Leray–Schauder degree, many experts generalized it to cover more general operators than compact perturbations of the identity. It is worth mentioning that the degree of Fitzpatrick, Pejsachowicz and Rabier covers most of them under the notion of the degree for \(\mathcal {F}\)maps, where \(\mathcal {F}\) is a fixed orientable subset of \(\Phi _{0}(X,Y)\). A map \(f\in \mathscr {F}^{1}_{0}(\Omega ,Y)\) is called an \(\mathcal {F}\)map if \(Df(\Omega )\subset \mathcal {F}\). Clearly, an \(\mathcal {F}\)map \(f:\Omega \subset X\rightarrow Y\) inherits a unique orientation induced by the given orientation on \(\mathcal {F}\). Indeed, if \(\varepsilon :\mathcal {F}\cap GL(X,Y)\rightarrow \mathbb {Z}_{2}\) denotes the orientation of \(\mathcal {F}\), then
defines an orientation for f. Many of the existing degrees can be viewed as special cases of the degree for \(\mathcal {F}\)maps. For instance, \(\deg \) extends \(\deg _{LS}\) to this more general setting if we restrict ourselves to consider Leray–Schauder admissible pairs of class \(\mathcal {C}^{1}\). Indeed, \(\mathcal {L}_{c}(X)\) is simply connected and, hence, according to [13], orientable. Choose \(\mathcal {F}=\mathcal {L}_{c}(X)\) and the orientation \(\varepsilon : GL_{c}(X)\rightarrow \mathbb {Z}_{2}\) defined by
where the righthand side of (5.3) is defined by (1.4). Then, for every \(\mathcal {C}^{1}\) Leray–Schauder regular pair \((f,\Omega )\), one has that \((f,\Omega ,\varepsilon _{f})\in \mathscr {R}\) and, thanks to (5.2) and (5.3)
Therefore
Many others, like the Nussbaum–Sadovkii degree, [33, 39], the Laloux–Mawhin coincidence degree [20, 21, 31], the Tromba degree for Röthe maps [41], the Isnard degree [17], and the Fenske degree [10], can be also regarded as special cases of the degree for \(\mathcal {F}\)maps for a suitable choice of \(\mathcal {F}\). The interested reader is sent to Sect. 2 of Fitzpatrick, Pejsachowicz and Rabier [13] for any further details.
Before proving the uniqueness, it is convenient to illustrate the theory by establishing the generalized Schauder formula (5.1), as it was done in [29].
Proof of (5.1)
Take \((f,\Omega ,\varepsilon )\in \mathscr {R}\) with \(\Omega \) connected and \(\mathcal {R}_{Df}\ne \emptyset \) and choose \(p\in \mathcal {R}_{Df}\). By (5.2), it follows that:
Fix \(x\in f^{1}(0)\cap \Omega \). According to (3.2)
where \(\gamma \in \mathcal {C}([a,b],\Omega )\) is a path linking x with p. By Theorem 3.2, for any analytic curve \(\mathfrak {L}_{\omega ,x}\in \mathscr {C}^{\omega }([a,b],\Phi _{0}(X,Y))\) \(\mathcal {A}\)homotopic to \(Df\circ \gamma \), we have that
where
Therefore, by (5.4)
which ends the proof. \(\square \)
We have all necessary ingredients to prove Theorem 5.1. Naturally, it suffices to prove the uniqueness.
Proof of the uniqueness
We first prove that, for every \((f,\Omega ,\varepsilon )\in \mathscr {R}\), the topological degree is given by (5.1) in each connected component of \(\Omega \), if \(\mathcal {R}_{Df}\ne \emptyset \) and \(\deg (f,\Omega ,\varepsilon )=0\) if \(\mathcal {R}_{Df}=\emptyset \). Pick \((f,\Omega ,\varepsilon )\in \mathscr {R}\). Then, \(f^{1}(0)\cap \Omega \) is finite, possibly empty. If it is empty, then, applying axiom (A) with \(\Omega _1=\Omega _2=\Omega =\emptyset \), it becomes apparent that \(\mathrm {deg}(f,\emptyset ,\varepsilon )=0\). Thus, applying again (A) with \(\Omega _1=\Omega _2=\emptyset \), we find that
If \(\mathcal {R}_{Df}=\emptyset \), necessarily \(f^{1}(0)\cap \Omega =\emptyset \) and, therefore, \(\deg (f,\Omega ,\varepsilon )=0\) as required. Now, suppose that, for some \(n\ge 1\) and \(x_i\in \Omega \), \(i\in \{1,...,n\}\)
By the finiteness of \(f^{1}(0)\cap \Omega \) and the additivity property (A), we can suppose that \(\Omega \) is connected. Indeed, let us denote by \(\mathscr {O}:=\{D_{j}\}_{j=1}^{m}\), \(m\le n\), the connected components of \(\Omega \) with \(f^{1}(0)\cap D_{j}\ne \emptyset \). Since \(0\notin f(\Omega \backslash \uplus _{j=1}^{m} D_{j})\), where \(\uplus \) stands for the disjoint union, applying (A) with \(\Omega _{1}=\uplus _{j=1}^{m} D_{j}\) and \(\Omega _{2}=\emptyset \), we can infer that
where the second equality follows by an inductive application of the additivity property (A). Thus, without loss of generality, we can assume that \(\Omega \) is connected. Since 0 is a regular value of f, by the inverse function theorem, \(f\vert _{B_{\eta _{i}}(x_{i})}\) is a diffeomorphism for each \(i\in \{1,2,...,n\}\) for sufficiently small \(\eta _{i}>0\) and therefore by axiom (A)
Subsequently, we fix \(i\in \{1,2,...,n\}\) and consider the homotopy \(H_{i}\) defined by
The next result of technical nature holds. \(\square \)
Lemma 5.2
\(H_{i}\in \mathcal {C}^{1}([0,1]\times \overline{B_{\tau _i}(x_i)},Y)\) and it is proper for sufficiently small \(\tau _i>0\).
Proof
Obviously, \(H_{i}\in \mathcal {C}^{1}([0,1]\times B_{\eta _{i}}(x_{i}),Y)\) and
Since \(Df\in \mathcal {C}(\Omega ,\Phi _{0}(X,Y))\), \(Df(x_{i})\in GL(X,Y)\), and GL(X, Y) is open, we have that, for sufficiently small \(\eta _i>0\)
In particular, \(D_{x}H_{i}(t,x)\in \Phi _0(X,Y)\) for all \((t,x)\in [0,1]\times B_{\eta _{i}}(x_{i})\). Thus, by definition, \(H_{i}(t,\cdot )\in \mathscr {F}^{1}_{0}(\Omega ,Y)\) for all \(t\in [0,1]\). This also entails that \(DH_{i}\) is a Fredholm operator of index one from \(\mathbb {R}\times X\) to Y. Thus, by Theorem 1.6 of Smale [40], \(H_{i}\) is locally proper, i.e., for every \(t\in [0,1]\), there exists an open interval containing t, \(\mathcal {I}(t)\subset [0,1]\), and an open ball centered in \(x_{i}\) with radius \(\delta _{t}\), \(B_{\delta _t}(x_i)\), such that \(H_{i}\) is proper in \(\overline{\mathcal {I}(t)}\times \overline{B_{\delta _t}(x_i)}\). In particular
Since \([0,1]\times \{x_{i}\}\) is compact, there exists a finite subset \(\{t_{1},t_{2},...,t_{n}\}\subset [0,1]\), such that
as illustrated in Fig. 2. Let
Then
Let \(\tau _{i}<\min \{\eta _{i},\delta _{i}\}\). Then, \(H_{i}\) is proper in \(\overline{\mathcal {I}(t)}\times \overline{B_{\tau _{i}}(x_{i})}\), since the restriction of a proper map to a closed subset is also proper. On the other hand, since
and each \(\overline{\mathcal {I}(t_{i})}\times \overline{B_{\tau _{i}}(x_{i})}\) is closed, necessarily \(H_{i}\) is proper on \([0,1]\times \overline{B_{\tau _{i}}(x_{i})}\). Therefore
and it is proper. The proof is complete. \(\square \)
Lemma 5.3
\(0\notin H_{i}(t,\partial B_{\tau _{i}}(x_i))\) for each \(t\in [0,1]\) and sufficiently small \(\tau _i>0\).
Proof
On the contrary, assume that \(0\in H_{i}(t,\partial B_{\tau _{i}}(x_i))\) for some \(t\in [0,1]\) and \(\tau _i<\eta _i\), i.e., there exists \(x\in \partial B_{\tau _{i}}(x_i)\), such that \(H_{i}(t,x)=0\). Thus
Necessarily, \(t>0\), because \(t=0\) implies \(Df(x_{i})(xx_{i})=0\), and in such case, \(Df(x_i)\) cannot be an isomorphism. Therefore, dividing (5.7) by t yields
Taking norms and dividing by \(\Vert xx_{i}\Vert >0\), we obtain that
Since \(Df(x_{i})\in GL(X,Y)\) and \(\partial B_{1}(x_i)\) is closed, \(Df(x_{i})(\partial B_{1}(x_i))\) is closed. Hence
is attained and, since \(0\notin Df(x_{i})(\partial B_{1}(x_i))\), we find that \(m>0\), and therefore, it follows from (5.8) that:
On the other hand, since f is differentiable at \(x_i\) and \(f(x_{i})=0\)
Thus, for sufficiently small \(\tau _{i}>0\), we have that
which contradicts (5.9) and ends the proof. \(\square \)
By construction, \(f\vert _{B_{\eta _{i}}(x_{i})}\) is a diffeomorphism. Thus, \(Df(B_{\eta _{i}}(x_{i}))\) is a path connected subset of GL(X, Y), and hence, \(B_{\eta _{i}}(x_{i})\subset \mathcal {R}_{Df}\). Since the orientation
is always constant in each pathconnected component of its domain, it is actually constant. Denote its constant value by \(\varepsilon _{0}\). Subsequently, we consider the map
Note that, thanks to (5.6), for each \(t\in [0,1]\)
Consequently, \(D_xH_i([0,1]\times B_{\eta _{i}}(x_{i}))\) is a path connected subset of GL(X, Y) and \([0,1]\times B_{\eta _{i}}(x_{i})=\mathcal {R}_{D_{x}H_{i}}\). Hence, \(\varepsilon ^{H_{i}}\) provides us with an orientation of \(H_{i}\). Therefore, thanks to Lemmas 5.2 and 5.3, it becomes apparent that \(H_{i}\) is a proper \(\mathcal {C}^{1}\)Fredholm homotopy with orientation \(\varepsilon ^{H_{i}}\) and \(0\notin H_{i}([0,1]\times \partial B_{\tau _{i}}(x_{i}))\) for sufficiently small \(\tau _i>0\). Moreover, \(\varepsilon ^{H_{i}}_{t}(\equiv \varepsilon _{0})\) provides us with an orientation of the section \(H_{i}(t,\cdot )\) and, therefore, \((H_{i}(t,\cdot ),\Omega ,\varepsilon ^{H_{i}}_{t})\in \mathscr {A}\) for each \(t\in [0,1]\). By the axiom (H), and taking into account that \(\varepsilon ^{H_{i}}_{j}= \varepsilon _{B_{\eta _{i}}(x_{i})}(\equiv \varepsilon _{0})\) for each \(j\in \{0,1\}\)
To remove the affine term in (5.11), we consider the homotopy
where \(\Pi =\bigcup _{t\in [0,1]}B_{\tau _{i}}(tx_{i})\). Obviously, \(G_{i}\in \mathcal {C}^{1}([0,1]\times \overline{\Pi },Y)\). Moreover, since, for every \(t\in [0,1]\), \(G_{i}(t,\cdot )=Df(x_{i})(\cdot t x_{i})\) is a diffeomorphism, we have that \(G_{i}(t,\cdot )\) is proper for each \(t\in [0,1]\). Therefore, since \(G_{i}\) is uniformly continuous in t, it follows from Theorem 3.9.2 of [42] that \(G_{i}\) is proper.
As \(G_{i}(t,\cdot )=Df(x_{i})(\cdot tx_{i})\) is a diffeomorphism for each \(t\in [0,1]\) and \(G_{i}(t,tx_{i})=0\), it is obvious that
Moreover, since, for every \(t\in [0,1]\)
it is apparent that
and if we choose the orientation
to be \(\varepsilon ^{G_{i}}\equiv \varepsilon _{0}\), \(G_{i}\) is a proper \(\mathcal {C}^{1}\)Fredholm homotopy with orientation \(\varepsilon ^{G_{i}}\), such that \(0\notin G_{i}([0,1]\times \partial \Pi )\). Moreover, since \(D_{x}G_{i}(\{t\}\times \Pi )\cap GL(X,Y)=\{Df(x_{i})\}\ne \emptyset \) for each \(t\in [0,1]\), \(\varepsilon ^{G_{i}}_{t}(\equiv \varepsilon _{0})\) provides us with an orientation of the section \(G_{i}(t,\cdot )\) and, therefore, \((G_{i}(t,\cdot ),\Pi ,\varepsilon ^{G_{i}}_{t})\in \mathscr {A}\) for each \(t\in [0,1]\). Thanks to the axiom (H), we find that
Since
is a diffeomorphism for each \(t\in \{0,1\}\) and \(F_{t}(tx_{i})=0\), we have that \(0\notin F_{t}(\Pi \backslash B_{\tau _{i}}(tx_{i}))\). Thus, applying the axiom (A) with \(\Omega =\Pi \), \(\Omega _1=B_{\tau _i}(tx_i)\) and \(\Omega _2=\emptyset \), it becomes apparent that
and
Therefore, by (5.12), we infer that
Observe that \(\varepsilon ^{G_{i}}_{1}_{B_{\tau _{i}}(x_{i})}=\varepsilon _{B_{\tau _{i}}(x_{i})}\) and that
where \(T:B_{\tau _{i}}(0)\rightarrow B_{\tau _{i}}(x_{i})\) is the translation given by \(T(x)=x+x_{i}\). Consequently, by the axiom (N)
Thus, combining the last identity with (5.11) yields
and therefore, by (5.5)
Now, since \(f^{1}(0)\cap \Omega \ne \emptyset \) and 0 is a regular value, necessarily \(\mathcal {R}_{Df}\ne \emptyset \). Take \(p\in \mathcal {R}_{Df}\). Then, according to (3.2), we have
where \(\gamma _{x_{i}}\in \mathcal {C}([a,b],\Omega )\) is a path linking \(x_{i}\) with p. By Theorem 3.2, for any analytical curve \(\mathfrak {L}_{\omega ,x_{i}}\in \mathscr {C}^{\omega }([a,b],\Phi _{0}(X,Y))\) \(\mathcal {A}\)homotopic to \(Df\circ \gamma _{x_{i}}\), we have
where
Therefore, by (5.13)
which ends the proof of the theorem in the regular case. We have actually proven that in the regular case, any map satisfying the axioms (N), (A), and (N) must coincide with the degree of Fitzpatrick, Pejsachowicz and Rabier [13].
If the general case, when \((f,\Omega ,\varepsilon )\notin \mathscr {R}\), for every \(\eta >0\), by a theorem of Quinn and Sard, [34], there exists a regular value \(x_{0}\), such that \(\Vert x_{0}\Vert <\eta \). Let H be the homotopy defined by
Then, \(H\in \mathcal {C}^{1}([0,1]\times \overline{\Omega },Y)\) and it is proper. Obviously \(H\in \mathcal {C}^{1}([0,1]\times \overline{\Omega },Y)\) and
First, we will prove that \(H(t,\cdot )\) is proper for each \(t\in [0,1]\). By the definition of H, for any compact subset, K, of Y
is compact, because \(K+tx_{0}\) is compact and f proper. Therefore, as the map H is uniformly continuous in t, as above, it follows from Theorem 3.9.2 of [42] that H is proper.
Now, we will show that \(0\notin H(t,\partial \Omega )\) for each \(t\in [0,1]\). On the contrary, suppose that \(0\in H(t,\partial \Omega )\) for some \(t\in [0,1]\). Then, there exists \(x\in \partial \Omega \), such that \(f(x)=tx_{0}\). In particular, \(tx_{0}\in f(\partial \Omega )\). Since f is proper, by Lemma 3.9.1 of [42], f is a closed map, and since \(\partial \Omega \) is closed, \(f(\partial \Omega )\) is closed. Since \(0\notin f(\partial \Omega )\) and \(f(\partial \Omega )\) is closed, there exists \(\eta >0\), such that \(B_{\eta }(0)\cap f(\partial \Omega )=\emptyset \). As we have already taken \(\Vert x_{0}\Vert <\eta \), we also have that \(tx_{0}\in B_{\eta }(0)\) and, therefore, \(tx_{0}\notin f(\partial \Omega )\). This contradicts \(tx_{0}\in f(\partial \Omega )\).
Since \(D_xH(\{t\}\times \Omega )=Df(\Omega )\) for each \(t\in [0,1]\), \(\mathcal {R}_{D_{x}H}=[0,1]\times \mathcal {R}_{Df}\) and if we define
where \(\varepsilon \) is the orientation of Df, then H is a proper \(\mathcal {C}^{1}\)Fredholm homotopy with orientation \(\varepsilon ^{H}\) and \(0\notin H([0,1]\times \partial \Omega )\). Observe that in this case, the domain is the whole \(\Omega \) and, therefore, the orientation \(\varepsilon \) might not be, in general, constant. Moreover, since \(D_xH(t,\cdot )=Df(\cdot )\) and Df is orientable with orientation \(\varepsilon (=\varepsilon ^{H}_{t})\) for each \(t\in [0,1]\), necessarily \((H(t,\cdot ),\Omega ,\varepsilon ^{H}_{t})\in \mathscr {A}\) for each \(t\in [0,1]\). Owing to the axiom (H) and taking into account that \(\varepsilon ^{H}_{j}=\varepsilon \) for each \(j\in \{0,1\}\)
Since \(x_{0}\) is a regular value of f, we have that 0 is a regular value of \(fx_{0}\) and \((fx_{0},\Omega ,\varepsilon )\in \mathscr {R}\). This reduces the case to the regular one discussed previously and proves that the map \(\deg :\mathscr {A}\rightarrow \mathbb {Z}\) coincides with the one constructed by Fitzpatrick, Pejsachowicz and Rabier [13]. This concludes the proof. \(\square \)
References
Amann, H., Weiss, S.A.: On the uniqueness of the topological degree. Math. Z. 130, 39–54 (1973)
Benevieri, P., Furi, M.: A simple notion of orientability for Fredholm maps of index zero between Banach manifolds and degree theory. Ann. Sci. Math. Quebec 22, 131–148 (1998)
Benevieri, P., Furi, M.: On the concept of orientability for Fredholm maps between real Banach manifolds. Topol. Methods Nonlinear Anal. 16, 279–306 (2000)
Benevieri, P., Furi, M.: On the uniqueness of the degree for nonlinear Fredholm maps of index zero between Banach manifolds. Commun. Appl. Anal. 15, 203–216 (2011)
Brouwer, L.E.J.: Über Abbildung von Mannigfaltigkeiten. Math. Ann. 71, 97–115 (1911)
Crandall, M.G., Rabinowitz, P.H.: Bifurcation from simple eigenvalues. J. Funct. Anal. 8, 321–340 (1971)
Elworthy,K. D., Tromba,A. J.: Degree theory on Banach manifolds. In Nonlinear Functional Analysis (Proc. Sympos. Pure Math., Vol. XVIII, Part 1, Chicago, Ill., 1968) pp. 86–94 Amer. Math. Soc., Providence, R.I. (1970)
Esquinas, J.: Optimal multiplicity in local bifurcation theory, II: General case. J. Differ. Equ. 75, 206–215 (1988)
Esquinas, J., LópezGómez, J.: Optimal multiplicity in local bifurcation theory, I: Generalized generic eigenvalues. J. Differ. Equ. 71, 72–92 (1988)
Fenske, C.C.: Extensio gradus ad quasdam applicationes Fredholmii. Mitt. Math. Sem. Giessen 121, 65–70 (1976)
Fitzpatrick, P.M., Pejsachowicz, J.: Parity and generalized multiplicity. Trans. Am. Math. Soc. 326, 281–305 (1991)
Fitzpatrick,P. M., Pejsachowicz,J.: Orientation and the Leray–Schauder theory for fully nonlinear elliptic boundary value problems. Mem. Am. Math. Soc. 483 Providence (1993)
Fitzpatrick, P.M., Pejsachowicz, J., Rabier, P.J.: Orientability of Fredholm families and topological degree for orientable nonlinear Fredholm mappings. J. Funct. Anal. 124, 1–39 (1994)
Fredholm, E.I.: Sur une classe d’equations fonctionnelles. Acta Math. 27, 365–390 (1903)
Führer, L.:Theorie des Abbildungsgrades in endlichdimensionalen Räumen, Ph. D. Dissertation, Frei Univ. Berlin (1971)
Göhberg ,I. C., Sigal,E. I.: An Operator Generalization of the Logarithmic Residue Theorem and the Theorem of Rouché, Math. Sbornik84(126), 607–629 (1971). English Trans.: Math. USSR Sbornik13, 603–625 (1971)
Isnard, C.A.S.: The Topological Degree on Banach Manifolds, Global Analysis and Its Applications 2. International Atomic Energy Agency, Vienna (1974)
Ize,J.: Bifurcation Theory for Fredholm Operators, Mem. Amer. Math. Soc.174, Providence, (1976)
Kuiper, N.: The homotopy type of the unitary group of Hilbert space. Topology 3, 19–30 (1965)
Laloux, B., Mawhin, J.: Coincidence index and multiplicity. Trans. Am. Math. Soc. 217, 143–162 (1976)
Laloux, B., Mawhin, J.: Multiplicity, Leray–Schauder formula and bifurcation. J. Differ. Equ. 24, 309–322 (1977)
Leray, J., Schauder, J.: Topologie et équations fonctionelles. Ann. Sci. École Norm. Sup. Sér. 3(51), 45–78 (1934)
Lloyd, N. G.:Degree Theory. Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge (1978)
LópezGómez, J.: Ecuaciones diferenciales y variable compleja, con teoría espectral y una introducción al grado topológico de Brouwer. Prentice Hall, Madrid (2001)
LópezGómez, J.: Spectral Theory and Nonlinear Functional Analysis. CRC Press, Chapman and Hall RNM 426, Boca Raton (2001)
LópezGómez, J.: Global bifurcation for Fredholm operators. Rend. Istit. Mat. Univ. Trieste 48, 539–564 (2016). https://doi.org/10.13137/24648728/13172
LópezGómez, J., MoraCorral, C.: Counting zeroes of \(\cal{C}^1\)Fredholm maps of index zero. Bull. Lond. Math. Soc. 37, 778–792 (2005)
LópezGómez, J., MoraCorral, C.: Algebraic Multiplicity of Eigenvalues of Linear Operators, Operator Theory, Advances and Applications, vol. 177. Birkhäuser, Basel (2007)
LópezGómez,J., Sampedro, J.C.: Algebraic Multiplicity and Topological Degree for Fredholm Operators. Nonlinear Anal.201, 1–28, 112019 (2020)
Magnus, R.J.: A generalization of multiplicity and the problem of bifurcation. Proc. Lond. Math. Soc. 32, 251–278 (1976)
Mawhin, J.: Topological Degree Methods in Nonlinear Boundary Value Problems. In: Conf. Board Math. Sci. 40, Amer. Math. Soc., Providence, RI (1977)
MoraCorral, C.: On the uniqueness of the algebraic multiplicity. J. Lond. Math. Soc. 69, 231–242 (2004)
Nussbaum, R.D.: Degree theory for local condensing maps. J. Math. Anal. Appl. 37, 741–766 (1972)
Quinn, F., Sard, A.: Hausdorff–Conullity of critical images of Fredholm maps. Am. J. Math. 94, 1101–1110 (1972)
Pejsachowicz, J., Rabier, P.J.: Degree theory for \(C^{1}\) Fredholm mappings of index 0. J. Anal. Math. 76, 289–319 (1998)
Rabier, P.J.: Generalized Jordan chains and two bifurcation theorems of Krasnoselskii. Nonlinear Anal. TMA 13, 903–934 (1989)
Rabinowitz, P.H.: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 7, 487–513 (1971)
Sadovskii, B.N.: Application of topological methods to the theory of periodic solutions of nonlinear differentialoperator equations of neutral type (Russian). Dokl. Akad. Nauk SSSR 200, 1037–1040 (1971)
Sard, A.: The measure of the critical values of differentiable maps. Bull. Am. Math. Soc. 48, 883–890 (1942)
Smale, S.: An infinite dimensional version of Sard’s theorem. Am. J. Math. 87, 861–866 (1965)
Tromba, A.J.: The Euler characteristic of vector fields on Banach manifolds as a globalization of the LeraySchauder degree. Adv. Math. 28, 148–173 (1978)
Zvyagin, V.G., Ratiner, N.M.: Oriented degree of fredholm maps. Finitedimensional reduction method. J. Math. Sci. 204, 543–714 (2015)
Acknowledgements
The authors express their deepest gratitude to the two (anonymous) reviewers of this paper for their truly professional work; very specially to the second one, whose technical comments have greatly helped them to improve, in a truly substantial way, the presentation of this paper.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding provided thanks to the CRUECSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors have been supported by the Research Grant PGC2018097104BI00 of the Spanish Ministry of Science, Technology and Universities and by the Institute of Interdisciplinar Mathematics of Complutense University. The second author has been also supported by PhD Grant PRE2019_1_0220 of the Basque Country Government.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
LópezGómez, J., Sampedro, J.C. Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier. J. Fixed Point Theory Appl. 24, 8 (2022). https://doi.org/10.1007/s11784021009167
Accepted:
Published:
DOI: https://doi.org/10.1007/s11784021009167
Mathematics Subject Classification
 47H11
 47A53
 55M25
Keywords
 Degree for Fredholm maps
 Uniqueness
 Axiomatization
 Normalization
 generalized additivity
 Homotopy invariance
 Generalized algebraic multiplicity
 Parity
 Orientability