Related papers: Browder's Theorem with General Parameter Space
In this paper, we study functions of bounded variation on a complete and connected metric space with finite one-dimensional Hausdorff measure. The definition of BV functions on a compact interval based on pointwise variation is extended to…
For a compactification $\alpha X$ of a Tychonoff space $X$, the algebra of all functions $f\in C(X)$ that are continuously extendable over $% \alpha X$ is denoted by $C_{\alpha}(X)$. It is shown that, in a model of $\textbf{ZF}$, it may…
It is known that there are complete, Hausdorff and regular convergence vector spaces X and Y such that Lc(X,Y), the space of continuous linear mappings from X into Y equipped with the continuous convergence structure, is not complete. In…
We study the Bishop-Phelps-Bollob\'as property (BPBp for short) for compact operators. We present some abstract techniques which allows to carry the BPBp for compact operators from sequence spaces to function spaces. As main applications,…
We define boundedness properties on the contractible fixed points set of the time-one map of an identity isotopy on a closed oriented surface with genus $g\geq1$. In symplectic geometry, a classical object is the notion of action function,…
In this article, we continue our study of Baire one functions on a topological space $X$, denoted by $B_1(X)$ and extend the well known M. H. Stones's theorem from $C(X)$ to $B_1(X)$. Introducing the structure space of $B_1(X)$, it is…
We prove a fixed point theorem for closed-graphed, decomposable-valued correspondences whose domain and range is a decomposable set of functions from an atomless measure space to a topological space. One consequence is an improvement of the…
Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…
It is a classical theorem of Alexandroff that a locally compact Hausdorff space has a one-point Hausdorff compactification if and only if it is non-compact. The one-point Hausdorff compactification is indeed obtained by adding the so called…
If $f:[a,b]\to \mathbb{R}$, with $a<b$, is continuous and such that $a$ and $b$ are mapped in opposite directions by $f$, then $f$ has a fixed point in $I$. Suppose that $f:\mathbb{C}\to\mathbb{C}$ is map and $X$ is a continuum. We extend…
A uniform approach to computing with infinite objects like real numbers, tuples of these, compacts sets, and uniformly continuous maps is presented. In work of Berger it was shown how to extract certified algorithms working with the signed…
In this work, using a new geometrical approach we study to the existence of the fixed-point of mappings that independence of the smoothness, and also of their single-values or multi-values. This work proved the theorems that generalize in…
A new generalization of the Browder's degree for the mappings of the type $(S)_+$ is presented. The main idea is rooted in the observation that the Browder's degree remains unchanged for the mappings of the form $A: Y\to X^*$, where $Y$ is…
We find necessary and sufficient conditions for a Banach space operator T to satisfy the generalized Browder's theorem, and we obtain new necessary and sufficient conditions to guarantee that the spectral mapping theorem holds for the…
In this paper we study variations of the Hopf theorem concerning continuous maps $f$ of a compact Riemannian manifold $M$ of dimension $n$ to $\mathbb{R}^n$. We investigate the case when $M$ is a closed convex $n$-dimensional surface and…
A topological space is locally equiconnected if there exists a neighborhood $U$ of the diagonal in $X\times X$ and a continuous map $\lambda:U\times[0,1]\to X$ such that $\lambda(x,y,0)=x$, $\lambda(x,y,1)=y$ et $\lambda(x,x,t)=x$ for…
A general fixed point theorem for isometries in terms of metric functionals is proved under the assumption of the existence of a conical bicombing. It is new even for isometries of Banach spaces as well as for non-locally compact…
We say that a metric space $(X,d)$ possesses the \emph{Banach Fixed Point Property (BFPP)} if every contraction $f:X\to X$ has a fixed point. The Banach Fixed Point Theorem says that every complete metric space has the BFPP. However, E.…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
We characterize all compact and Hausdorff spaces $X$ which satisfy that for every multiplicative bijection $\phi$ on $C(X, I)$, there exist a homeomorphism $\mu : X \to X$ and a continuous map $p: X \to (0, +\infty)$ such that $$\phi (f)…