Displaying similar documents to “Brouwer Fixed Point Theorem for Simplexes”

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]).

Abstract Simplicial Complexes

Karol Pąk (2010)

Formalized Mathematics

Similarity:

In this article we define the notion of abstract simplicial complexes and operations on them. We introduce the following basic notions: simplex, face, vertex, degree, skeleton, subdivision and substructure, and prove some of their properties.

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...

Combinatorial lemmas for polyhedrons I

Adam Idzik, Konstanty Junosza-Szaniawski (2006)

Discussiones Mathematicae Graph Theory

Similarity:

We formulate general boundary conditions for a labelling of vertices of a triangulation of a polyhedron by vectors to assure the existence of a balanced simplex. The condition is not for each vertex separately, but for a set of vertices of each boundary simplex. This allows us to formulate a theorem, which is more general than the Sperner lemma and theorems of Shapley; Idzik and Junosza-Szaniawski; van der Laan, Talman and Yang. A generalization of the Poincaré-Miranda theorem is also...

A note on intersections of simplices

David A. Edwards, Ondřej F. K. Kalenda, Jiří Spurný (2011)

Bulletin de la Société Mathématique de France

Similarity:

We provide a corrected proof of [1, Théorème 9] stating that any metrizable infinite-dimensional simplex is affinely homeomorphic to the intersection of a decreasing sequence of Bauer simplices.

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.

On simplicial red refinement in three and higher dimensions

Korotov, Sergey, Křížek, Michal

Similarity:

We show that in dimensions higher than two, the popular "red refinement" technique, commonly used for simplicial mesh refinements and adaptivity in the finite element analysis and practice, never yields subsimplices which are all acute even for an acute father element as opposed to the two-dimensional case. In the three-dimensional case we prove that there exists only one tetrahedron that can be partitioned by red refinement into eight congruent subtetrahedra that are all similar to...