Displaying similar documents to “Simplicial approximation of antipodal maps”

A Non-standard Version of the Borsuk-Ulam Theorem

Carlos Biasi, Denise de Mattos (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

E. Pannwitz showed in 1952 that for any n ≥ 2, there exist continuous maps φ:Sⁿ→ Sⁿ and f:Sⁿ→ ℝ² such that f(x) ≠ f(φ(x)) for any x∈ Sⁿ. We prove that, under certain conditions, given continuous maps ψ,φ:X→ X and f:X→ ℝ², although the existence of a point x∈ X such that f(ψ(x)) = f(φ(x)) cannot always be assured, it is possible to establish an interesting relation between the points f(φ ψ(x)), f(φ²(x)) and f(ψ²(x)) when f(φ(x)) ≠ f(ψ(x)) for any x∈ X, and a non-standard version of the...

Brouwer Fixed Point Theorem for Simplexes

Karol Pąk (2011)

Formalized Mathematics

Similarity:

In this article we prove the Brouwer fixed point theorem for an arbitrary simplex which is the convex hull of its n + 1 affinely indepedent vertices of εn. First we introduce the Lebesgue number, which for an arbitrary open cover of a compact metric space M is a positive real number so that any ball of about such radius must be completely contained in a member of the cover. Then we introduce the notion of a bounded simplicial complex and the diameter of a bounded simplicial complex....

Sperner's Lemma

Karol Pąk (2010)

Formalized Mathematics

Similarity:

In this article we introduce and prove properties of simplicial complexes in real linear spaces which are necessary to formulate Sperner's lemma. The lemma states that for a function ƒ, which for an arbitrary vertex υ of the barycentric subdivision B of simplex K assigns some vertex from a face of K which contains υ, we can find a simplex S of B which satisfies ƒ(S) = K (see [10]).

Combinatorial lemmas for polyhedrons

Adam Idzik, Konstanty Junosza-Szaniawski (2005)

Discussiones Mathematicae Graph Theory

Similarity:

We formulate general boundary conditions for a labelling to assure the existence of a balanced n-simplex in a triangulated polyhedron. Furthermore we prove a Knaster-Kuratowski-Mazurkiewicz type theorem for polyhedrons and generalize some theorems of Ichiishi and Idzik. We also formulate a necessary condition for a continuous function defined on a polyhedron to be an onto function.

Hyers-Ulam constants of Hilbert spaces

Taneli Huuskonen, Jussi Väısälä (2002)

Studia Mathematica

Similarity:

The best constant in the Hyers-Ulam theorem on isometric approximation in Hilbert spaces is equal to the Jung constant of the space.

Simplicial nonpositive curvature

Tadeusz Januszkiewicz, Jacek Świątkowski (2006)

Publications Mathématiques de l'IHÉS

Similarity:

We introduce a family of conditions on a simplicial complex that we call local -largeness (≥6 is an integer). They are simply stated, combinatorial and easily checkable. One of our themes is that local 6-largeness is a good analogue of the non-positive curvature: locally 6-large spaces have many properties similar to non-positively curved ones. However, local 6-largeness neither implies nor is implied by non-positive curvature of the standard metric. One can think of these results as...