Related papers: A Borsuk--Ulam theorem for well separated maps

A classical result from topology called Uryshon's lemma asserts the existence of a continuous separator of two disjoint closed sets in a sufficiently regular topological space. In this work we make a search for this separator constructive…

It is proved that if we partition a $d$-dimensional cube into $n^d$ small cubes and color the small cubes into $m+1$ colors then there exists a monochromatic connected component consisting of at least $f(d, m) n^{d-m}$ small cubes.

Our starting point is a theorem of de Leeuw and Rudin that describes the extreme points of the unit ball in the Hardy space $H^1$. We extend this result to subspaces of $H^1$ formed by functions with smaller spectra. More precisely, given a…

Let \phi((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:R^2 -> C^2 preserves distance d>=0 if for each x,y \in R^2 \phi(x,y)=d^2 implies \phi(f(x),f(y))=d^2. We prove that if x,y \in R^2 and |x-y|=(2\sqrt{2}/3)^k \cdot…

It is presented the simplest known disproof of the Borsuk conjecture stating that if a bounded subset of n-dimensional Euclidean space contains more than n points, then the subset can be partitioned into n+1 nonempty parts of smaller…

Let K be a number field and let S be a finite set of places of K which contains all the Archimedean places. For any f(z) in K(z) of degree d at least 2 which is not a d-th power in \bar{K}(z), Siegel's theorem implies that the image set…

We introduce the (T)-property, and prove that every Banach space with the (T)-property has the Mazur-Ulam property (briefly MUP). As its immediate applications, we obtain that almost-CL-spaces admitting a smooth point(specially, separable…

We prove a discrete Jordan-Brouwer-Schoenflies separation theorem telling that a (d-1)-sphere H embedded in a d-sphere G defines two different connected graphs A,B in G such a way that the intersection of A and B is H and the union is G and…

Let g be an integer greater than 1. A uniform version of the Parshin-Arakelov theorem on the finiteness of the set of non-isotrivial curves of genus g over a function field, with fixed degeneracy locus, is proved. This is applied to obtain…

In [22] Milnor proved that a real analytic map $f\colon (R^n,0) \to (R^p,0)$, where $n \geq p$, with an isolated critical point at the origin has a fibration on the tube $f|\colon B_\epsilon^n \cap f^{-1}(S_\delta^{p-1}) \to…

It is proved that the suspension of a closed n-dimensional manifold M, $n\ge1$, does not embed in a product of n+1 curves. In fact, the ultimate result will be proved in a much more general setting. This is a far-reaching generalization the…

A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…

This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…

We prove the following: there is a primitive recursive function f_-^*(-,-), in the three variables, such that: for every natural numbers t,n>0, and c, for any natural number k>=f^*_t(n,c) the following holds. Assume L is an alphabet with…

Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to…

We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such…

The linear fractional map $ f(z) = \frac{az+ b}{cz + d} $ on the Riemann sphere with complex coefficients $ ad-bc \neq 0 $ is called M\"obius map. If $ f $ satisfies $ ad-bc=1 $ and $ -2<a+d<2 $, then $ f $ is called $\textit{elliptic}$…

We prove the following version of the Loebl-Komlos-Sos Conjecture: For every alpha>0 there exists a number M such that for every k>M every n-vertex graph G with at least (0.5+alpha)n vertices of degree at least (1+alpha)k contains each tree…

The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously…

Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular…