Namespaces
Variants
Actions

Difference between revisions of "Barycentric subdivision"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(details)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
''of a geometric complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152901.png" />''
+
{{TEX|done}}
 
+
''of a geometric complex $K$''
A complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152902.png" /> obtained by replacing the simplices of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152903.png" /> by smaller ones by means of the following procedure. Each one-dimensional simplex (segment) is halved. On the assumption that all simplices of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152904.png" /> are already subdivided, the subdivision of any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152905.png" />-dimensional simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152906.png" /> is defined by means of cones over the simplices of the boundary of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152907.png" /> with a common vertex that is the barycentre of the simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152908.png" />, i.e. the point with [[Barycentric coordinates|barycentric coordinates]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b0152909.png" />. The vertices of the resulting complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b01529010.png" /> are in a one-to-one correspondence with the simplices of the complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b01529011.png" />, while the simplices of the complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b01529012.png" /> are in such a correspondence with inclusion-ordered finite tuples of simplices from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b015/b015290/b01529013.png" />. The formal definition of a barycentric subdivision for the case of an abstract complex is analogous.
 
 
 
 
 
 
 
====Comments====
 
  
 +
A complex $K_1$ obtained by replacing the simplices of $K$ by smaller ones by means of the following procedure. Each one-dimensional simplex (segment) is halved. On the assumption that all simplices of dimension $\leq n-1$ are already subdivided, the subdivision of any $n$-dimensional simplex $\sigma$ is defined by means of cones over the simplices of the boundary of $\sigma$ with a common vertex that is the barycentre of the simplex $\sigma$, i.e. the point with [[barycentric coordinates]] $1/(n+1)$. The vertices of the resulting complex $K_1$ are in a one-to-one correspondence with the simplices of the complex $K$, while the simplices of the complex $K_1$ are in such a correspondence with inclusion-ordered finite tuples of simplices from $K$. The formal definition of a barycentric subdivision for the case of an abstract complex is analogous.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  K. Lamotke,  "Semisimpliziale algebraische Topologie" , Springer  (1968)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  K. Lamotke,  "Semisimpliziale algebraische Topologie" , Springer  (1968)</TD></TR>
 +
</table>

Latest revision as of 11:10, 16 April 2023

of a geometric complex $K$

A complex $K_1$ obtained by replacing the simplices of $K$ by smaller ones by means of the following procedure. Each one-dimensional simplex (segment) is halved. On the assumption that all simplices of dimension $\leq n-1$ are already subdivided, the subdivision of any $n$-dimensional simplex $\sigma$ is defined by means of cones over the simplices of the boundary of $\sigma$ with a common vertex that is the barycentre of the simplex $\sigma$, i.e. the point with barycentric coordinates $1/(n+1)$. The vertices of the resulting complex $K_1$ are in a one-to-one correspondence with the simplices of the complex $K$, while the simplices of the complex $K_1$ are in such a correspondence with inclusion-ordered finite tuples of simplices from $K$. The formal definition of a barycentric subdivision for the case of an abstract complex is analogous.

References

[a1] K. Lamotke, "Semisimpliziale algebraische Topologie" , Springer (1968)
How to Cite This Entry:
Barycentric subdivision. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Barycentric_subdivision&oldid=14992
This article was adapted from an original article by E.G. Sklyarenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article