- Barycentric subdivision
geometry, the barycentric subdivision is a standard way of dividing an arbitrary convex polygoninto triangles, a convex polyhedroninto tetrahedra, or, in general, a convex polytopeinto simplices with the same dimension, by connecting the barycenters of their faces in a specific way.
The name is also used in
topologyfor a similar operation on cell complexes. The result is topologically equivalent to that of the geometric operation, but the parts have arbitrary shape and size.
Barycentric subdivision of a simplex
The barycentric subdivision (henceforth "BCS") of an -dimensional
simplexconsists of ("n" + 1)! simplices. Each piece, with vertices , can be associated with a permutationof the vertices of , in such a way that each vertex is the barycenter of the points .
In particular, the BCS of a single point (a 0-dimensional simplex) consists of that point itself. The BCS of a line segment (1-simplex) consists of two smaller segments, each connecting one endpoint (0-dimensional face) of to the midpoint of itself (1-dimensional face).
The BCS of a triangle divides it into six triangles; each part has one vertex at the barycenter of , another one at the midpoint of some side, and the last one at one of the original vertices.
The BCS of a tetrahedron divides it into 24 tetrahedra; each part has one vertex at the center of , one on some face, one along some edge, and the last one at some vertex of .
An important feature of BCS is the fact that the maximal diameter of an dimensional simplex shrinks at least by the factor .
Barycentric subdivision of a convex polytope
Another way of defining the BCS of a simplex is to associate each part to a sequence of faces of , with increasing dimensions, such that is a facet of , for from 0 to . Then each vertex of the corresponding piece is the barycenter of face .
This alternative definition can be extended to the BCS of an arbitrary -dimensional convex polytope into a number of -simplices. Thus the BCS of a
pentagon, for example, has 10 triangles: each triangle is associated to three elements of — respectively, a corner of , a side of incident to that corner, and itself.
Similarly the BCS of a
cubeconsists of 48 tetrahedra, each of them associated to a sequence of nested elements — a vertex, an edge, a face, and the whole cube. Note that there are 8 choices for , 3 for (given ), and 2 for (given ).
Barycentric subdivision in topology
topology, the barycentric subdivision is defined for a cell complex. Informally, such object can be thought of an assemblage of one or more chunks of rubber ("cells"), each shaped like a convex polytope, which are glued to each other by their facets — possibly with much stretching and twisting.
The topological version of BCS replaces each cell by an assemblage of rubber simplices, likewise glued together by their facets and possibly deformed. The procedure is (1) select for each cell a deformation map that converts it into a geometric convex polytope, preserving its incidence and topological connections; (2) perform the geometric BCS on this polytope; and, then (3) map the resulting subdivision back to the original cells.
The barycentric subdivision is chiefly used to replace an arbitrarily complicated convex polytope or topological cell complex by an assemblage of pieces, all of them of bounded complexity (simplices, in fact). A typical application is modeling the shape of a car body by a spline — a piecewise-defined
polynomialfunction. The algebra of such functions becomes much simpler and easier to program if each "piece" is a "topological triangle", i.e. is attached to exactly three other pieces. However, a human user may find it more natural to design the shape by joining patches with more liberal shapes and topologies. Barycentric subdivision is a convenient way to convert that "user-friendly" model into a "computer-friendly" one.
Repeated barycentric subdivision
When approximating a mathematical function or a surface by a spline, the accuracy of the approximation is usually determined by the piece size — the bigger the pieces, the larger the error. Thus it is often necessary to split large pieces into smaller ones, in order to achieve a prescribed accuracy.
In theory, BCS could be used for that purpose, since it has the property that the longest edge of any piece is smaller than the longest edge of the original polytope by a factor less than . Therefore, by applying BCS sufficiently many times, the largest edge can be made as small as desired.
However, in practice BCS is not well-suited for that purpose. For one thing, each application after the first one multiplies the number of simplices by . BCS also multiplies the degree of each original vertex by , and the degree of each edge by . Moreover, the BCS will split all simplices, even those that are already small enough. Finally, each BCS stage also makes the simplices not only smaller but "skinnier", i.e. it tends to increase their "aspect ratio" (the ratio between the longest and shortest edge). For all these reasons, in practice one rarely applies more than one round of BCS, and other subdivision schemes are used instead.
Relative barycentric subdivision
For simplicial complexes one defines the relative barycentric subdivision of "modulo" that consists of those simplixes with vertices associated to a sequence of proper faces of and barycenters of simplexes in .
Clearly, remains a subcomplex of . Only the simplexes away from shrink.
False barycentric subdivision
Sometimes the term "barycentric subdivision" is improperly used for any subdivision of a polytope into simplices that have one vertex at the centroid of , and the opposite facet on the boundary of . While this property holds for the true barycentric subdivision, it also holds for other subdivisions which are not the BCS.
For example, if one makes a straight cut from the barycenter of a triangle to each of its three corners, one obtains a subdivision into three triangles. Generalizing this idea, one obtains a schema for subdividing an -dimensional simplex into simplices. However, this subdivision is not the BCS.
Finite element method
Wikimedia Foundation. 2010.
Look at other dictionaries:
Barycentric — can refer to:In astronomy, * Barycentric coordinates (astronomy) are coordinates defined by the common center of mass of two or more bodies * Barycentric Dynamical Time was a time standard in the Solar system * Barycentric Coordinate Time is a… … Wikipedia
Orbifold — This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976 77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”,… … Wikipedia
Homeomorphism (graph theory) — In graph theory, two graphs G and G are homeomorphic if there is an isomorphism from some subdivision of G to some subdivision of G . If the edges of a graph are thought of as lines drawn from one vertex to another (as they are usually depicted… … Wikipedia
Clique complex — “Whitney complex” redirects here. For the Mississippi sports facility, see Davey Whitney Complex. Clique complexes, flag complexes, and conformal hypergraphs are closely related mathematical objects in graph theory and geometric topology that… … Wikipedia
List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… … Wikipedia
Nerve (category theory) — In category theory, the nerve N(C) of a small category C is a simplicial set constructed from the objects and morphisms of C. The geometric realization of this simplicial set is a topological space, called the classifying space of the category C … Wikipedia
Simplicial complex — In mathematics, a simplicial complex is a topological space of a particular kind, constructed by gluing together points, line segments, triangles, and their n dimensional counterparts (see illustration). Simplicial complexes should not be… … Wikipedia
Cover (topology) — In mathematics, a cover of a set X is a collection of sets whose union contains X as a subset. Formally, if is an indexed family of sets Uα, then C is a cover of X if Contents 1 Cover in t … Wikipedia
List of algebraic topology topics — This is a list of algebraic topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of geometric topology topics Publications in topology Topological property Contents 1… … Wikipedia
List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability … Wikipedia