Displaying similar documents to “Combinatorial lemmas for polyhedrons”

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.

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

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

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