×

Brouwer’s degree without properness. (English) Zbl 1149.55002

It is known that the Brouwer degree for each continuous function \(f: \overline{\Omega} \to \mathbb R^N\) where \(\Omega\) is a bounded open set in \(\mathbb R^N\) can be extended to the case when \(\Omega\) is unbounded provided that \(f\) is proper. However, difficulties arise when \(\Omega\) is unbounded but \(f\) is not proper. In the present paper, a degree for every continuous function \(f: \mathbb R^N \to \mathbb R^N\) is defined
\[ \deg (f,y):= \deg(f,B_r,y) \quad \text{for \(r\) large enough} \]
where the degree in the right-hand side is Brouwer’s degree and \(B_r\) denotes the open ball in \(\mathbb R^N\) with center \(0\) and radius \(r\), provided that \(y\) is restricted to the complement of some closed subset \(A(f)\) of “asymptotic” values
\[ A(f):=\{y\in \mathbb R^N : y=\lim f(x_n) \text{ with }(x_n)\subset \mathbb R^N, \;\lim| x_n|=\infty\}. \]
This degree possesses some basic properties of the Brouwer degree. Moreover, sufficient conditions are given for \(A(f)\) to be nowhere dense, so that \(\deg(f,y)\) is defined for \(y\) in an open dense subset of \(\mathbb R^N\). It is also shown that, in the opposite direction, \(A(f)\) having nonempty interior has a direct impact on the solvability of the equation \(f(x)=y\), which cannot be discovered by degree arguments.

MSC:

55M25 Degree, winding number
54E52 Baire category, Baire spaces
Full Text: DOI

References:

[1] Benedetti, R.; Risler, J.-J., Real Algebraic and Semi-Algebraic Sets, Actualités Math. (1990), Hermann: Hermann Paris · Zbl 0694.14006
[2] Bochnak, J.; Coste, M.; Roy, M.-F., Géométrie algébrique réelle, Ergeb. Math. Grenzgeb., vol. 12 (1987), Springer-Verlag: Springer-Verlag Berlin · Zbl 0633.14016
[3] Deimling, K., Nonlinear Functional Analysis (1985), Springer-Verlag: Springer-Verlag Berlin · Zbl 0559.47040
[4] Fonseca, I.; Gangbo, W., Degree Theory in Analysis and Applications (1995), Clarendon Press: Clarendon Press Oxford · Zbl 0852.47030
[5] Jelonek, Z., The set of points at which a polynomial map is not proper, Ann. Polon. Math., 58, 259-266 (1993) · Zbl 0806.14009
[6] Jelonek, Z., Geometry of real polynomial mappings, Math. Z., 239, 321-333 (2002) · Zbl 0997.14017
[7] Jelonek, Z.; Kurdyka, K., Quantitative generalized Bertini-Sard theorem for smooth affine varieties, Discrete Comput. Geom., 34, 659-678 (2005) · Zbl 1083.14069
[8] Kurdyka, K.; Orro, P.; Simon, S., Semialgebraic Sard theorem for generalized critical values, J. Differential Geom., 56, 67-92 (2000) · Zbl 1067.58031
[9] Lloyd, N. G., Degree Theory, Cambridge Tracts in Math., vol. 73 (1978), Cambridge Univ. Press: Cambridge Univ. Press Cambridge · Zbl 0367.47001
[10] Szafraniec, Z., Topological degree and quadratic forms, J. Pure Appl. Algebra, 141, 299-314 (1999) · Zbl 0949.14035
[11] Whitney, H., Analytic extensions of differentiable functions defined in closed sets, Trans. Amer. Math. Soc., 36, 63-89 (1934) · JFM 60.0217.01
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.