Related papers: Some classical analysis results for continuous def…
We establish the following result: if the graph of a (nonsmooth) real-extended-valued function $f:\mathbb{R}^{n}\to \mathbb{R}\cup\{+\infty\}$ is closed and admits a Whitney stratification, then the norm of the gradient of $f$ at…
In this paper, we prove that the product of strongly quasi-nonexpansive $\Delta$-demiclosed mappings is also a strongly quasi-nonexpansive orbital $\Delta$-demiclosed mapping in Hadamard spaces. Additionally, we establish the…
We prove an analog of the Szemer\'edi-Trotter theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field $\mathrm{R}$. One new ingredient in the proof is an extension of the well…
Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of…
Fedorchuk's fully closed (continuous) maps and resolutions are applied in constructions of non-metrizable higher-dimensional analogues of Anderson, Choquet, and Cook's continua. Certain theorems on dimension-lowering maps are proved for…
We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and…
A parametric version of Brouwer's Fixed Point Theorem, which is proven using the fixed-point index, states that for every continuous mapping $f : (X \times Y) \to Y$, where $X$ is nonempty, compact, and connected subset of a Hausdorff…
In these notes, we present a general result concerning the Lipschitz regularity of a certain type of set-valued maps often found in constrained optimization and control problems. The class of multifunctions examined in this paper is…
Local normal form theorems for smooth equivariant maps between infinite-dimensional manifolds are established. These normal form results are new even in finite dimensions. The proof is inspired by the Lyapunov-Schmidt reduction for…
A generalized definition of the determinant of matrices is given, which is compatible with the usual determinant for square matrices and keeps many important properties, such as being an alternating multilinear function, keeping…
We give a necessary and sufficient smoothness condition for the scheme parameterizing the n-dimensional representations of a finitely generated associative algebra over an algebraically closed field of characteristic zero. In particular,…
We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem…
Hadamard's global inverse theorem provides conditions for a function to be globally invertible on Rn. In this note we show that the conditions are robust enough for the conclusion to hold even if we relax the conditions by removing the…
The main aim of this paper is the construction of a smooth (sometimes called differential) extension \hat{MU} of the cohomology theory complex cobordism MU, using cycles for \hat{MU}(M) which are essentially proper maps W\to M with a fixed…
We define the notion of {\em rational presentation of a complete metric space} in order to study metric spaces from the algorithmic complexity point of view. In this setting, we study some presentations of the space $\czu$ of uniformly…
A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working…
In this paper, we prove the existence of fixed points of mappings satisfying the condition (Da), a kind of generalized nonexpansive mappings, on a weakly compact convex subset in a Banach space satisfying Opial's condition. And we use…
Let $f:S^1\times [0,1]\to S^1\times [0,1]$ be a real-analytic annulus diffeomorphism which is homotopic to the identity map and preserves an area form. Assume that for some lift $\tilde {f}:\mathbb{R}\times [0,1]\rightarrow \mathbb{R}\times…
We introduce "logically contractive mappings" nonexpansive self-maps that contract along a subsequence of iterates and prove a fixed-point theorem that extends Banach's principle. We obtain event-indexed convergence rates and, under bounded…
The purpose of this paper is to study a complete orientable minimal hypersurface with finite index in an $(n+1)$-dimensional Riemannian manifold $N$. We generalize Theorems 1.5-1.6 (\cite{Seo14}). In 1976, Schoen and Yau proved the…