Related papers: The Brouwer fixed point theorem and the Borsuk--Ul…

We present some results and conjectures on a generalization to the noncommutative setup of the Brouwer fixed-point theorem from the Borsuk-Ulam theorem perspective.

A generalization of the classical Leray-Schauder fixed point theorem, based on the in finite- dimensional Borsuk-Ulam type antipode construction, is proposed. Two completely different proofs based on the projection operator approach and on…

We give a remarkably elementary proof of the Brouwer fixed point theorem. The proof is verifiable for most of the mathematicians.

We give an essentially self-contained proof of Guth's recent endpoint multilinear Kakeya theorem which avoids the use of somewhat sophisticated algebraic topology, and which instead appeals to the Borsuk-Ulam theorem.

We present a solution of Exercise 1.2.1 of [2] which yields a short new proof of a key step in one of proofs of Brouwer's fixed point theorem, 1910. A few people asked the author about the details of the solution and they might be…

In this paper some results on the topology of the space of $k$-flats in $\mathbb R^n$ are proved, similar to the Borsuk-Ulam theorem on coverings of sphere. Some corollaries on common transversals for families of compact sets in $\mathbb…

In this paper we study the problems of the following kind: For a pair of topological spaces $X$ and $Y$ find sufficient conditions that under every continuous map $f : X\to Y$ a pair of sufficiently distant points is mapped to a single…

Borsuk-Ulam's theorem is a useful tool of algebraic topology. It states that for any continuous mapping $f$ from the $n$-sphere to the $n$-dimensional Euclidean space, there exists a pair of antipodal points such that $f(x)=f(-x)$. As for…

We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of…

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal…

Brouwer's fixed point theorem from 1911 is a basic result in topology - with a wealth of combinatorial and geometric consequences. In these lecture notes we present some of them, related to the game of HEX and to the piercing of multiple…

In this paper we present a Kakutani type theorem that is equivalent to the Borsuk--Ulam theorem for manifolds.

We first establish a general random Sperner lemma by presenting a completely new approach for the theory of $L^{0}$-simplicial subdivisions of $L^{0}$-simplexes. Based on this, we are able to achieve a new complete proof of the random…

In this paper, we present a new qualitative extension of the Hopf theorem (and a generalization of Borsuk-Ulam theorem), concerning continuous maps $f$ from a compact Riemannian manifold $M$ of dimension $n$ to $\mathbb{R}^n$. We remove the…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

The proof of Brouwer's fixed-point theorem based on Sperner's lemma is often presented as an elementary combinatorial alternative to advanced proofs based on algebraic topology. The goal of this note is to show that: (i) the combinatorial…

We present a constructive proof of Brouwer's fixed point theorem for uniformly continuous and sequentially locally non-constant functions based on the existence of approximate fixed points. And we will show that Brouwer's fixed point…

We prove a generalization of the classical Borsuk--Ulam Theorem under small perturbations (shaking) of the sphere. We show that for a generic perturbation of a continuous map $f : S^2 \to \mathbb{R}^2$, the number of points $x \in S^2$ such…

In this paper we consider several generalizations of the Borsuk-Ulam theorem for G-spaces and apply these results to Tucker type lemmas for G-simplicial complexes and PL-manifolds.

Many versions of the Stokes theorem are known. More advanced of them require complicated mathematical machinery to be formulated which discourages the users. Our theorem is sufficiently simple to suit the handbooks and yet it is pretty…