Table of Contents
Fetching ...

Borsuk-Ulam Type Theorems and Mountain Climbing Problem

Ilya M. Shirokov, Andrey V. Malyutin, Alisa Volkova

Abstract

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 assumption of a Riemannian structure and instead consider closed triangulable manifolds $M$ equipped with a topological notion of 'distant' points. We show that for any continuous map $f \colon M \to \mathbb{R}^n$, there exists a connected component in the space of $f$-neighbors (where a pair of points $a, b$ are $f$-neighbors if $f(a) = f(b)$) that contains both a pair of 'distant' points and a pair of identical points. This result yields further consequences for Lusternik-Schnirelmann and Tucker-type theorems, as well as a multidimensional extension of the mountain-climbing lemma, which in the special case of the standard Euclidean $2$-sphere, may be stated informally as follows. For any continuous distribution of temperature and pressure on Earth (assumed time-independent), there exists a pair of antipodal points with identical values such that travelers starting from these points can move and meet while, at each moment of their journey, experiencing matching 'climatic conditions' up to an arbitrarily small constant.

Borsuk-Ulam Type Theorems and Mountain Climbing Problem

Abstract

In this paper, we present a new qualitative extension of the Hopf theorem (and a generalization of Borsuk-Ulam theorem), concerning continuous maps from a compact Riemannian manifold of dimension to . We remove the assumption of a Riemannian structure and instead consider closed triangulable manifolds equipped with a topological notion of 'distant' points. We show that for any continuous map , there exists a connected component in the space of -neighbors (where a pair of points are -neighbors if ) that contains both a pair of 'distant' points and a pair of identical points. This result yields further consequences for Lusternik-Schnirelmann and Tucker-type theorems, as well as a multidimensional extension of the mountain-climbing lemma, which in the special case of the standard Euclidean -sphere, may be stated informally as follows. For any continuous distribution of temperature and pressure on Earth (assumed time-independent), there exists a pair of antipodal points with identical values such that travelers starting from these points can move and meet while, at each moment of their journey, experiencing matching 'climatic conditions' up to an arbitrarily small constant.

Paper Structure

This paper contains 3 sections, 8 theorems.

Key Result

Theorem 1

Let $n$ be a positive integer, let $M$ be a compact Riemannian manifold of dimension $n$, and let $f\colon M \to \mathbb{R}^n$ be a continuous map. Then for any prescribed $\delta > 0$, there exists a pair $\{x,y\} \in M \times M$ such that $f(x) = f(y)$ and $x$ and $y$ are joined by a geodesic of l

Theorems & Definitions (18)

  • Theorem 1: H. Hopf Hopf
  • Definition 1: Distant points
  • Example 1
  • Definition 2: Complex of $f$-neighbors
  • Lemma 1
  • proof
  • Theorem 2
  • proof
  • Theorem 3
  • proof
  • ...and 8 more