Namespaces
Variants
Actions

Difference between revisions of "Simplicial space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
A topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085410/s0854101.png" /> equipped with a covering by topological simplices (called a [[Triangulation|triangulation]]) such that the faces of every simplex belong to the triangulation, the intersection of any two simplices is a face of each (possibly empty), and a subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085410/s0854102.png" /> is closed if and only if its intersection with every simplex is closed. Every simplicial space is a [[Cellular space|cellular space]]. The specification of a triangulation is equivalent to the specification of a homeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085410/s0854103.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085410/s0854104.png" /> is the geometric realization of some [[Simplicial complex|simplicial complex]]. Simplicial spaces are also called simplicial complexes or simplicial decompositions. Simplicial spaces are the objects of a category whose morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085410/s0854105.png" /> are mappings such that every simplex of the triangulation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085410/s0854106.png" /> is mapped linearly onto some simplex of the triangulation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085410/s0854107.png" />. The morphisms are also called simplicial mappings.
+
{{TEX|done}}
 +
A topological space $X$ equipped with a covering by topological simplices (called a [[Triangulation|triangulation]]) such that the faces of every simplex belong to the triangulation, the intersection of any two simplices is a face of each (possibly empty), and a subset $F\subset X$ is closed if and only if its intersection with every simplex is closed. Every simplicial space is a [[Cellular space|cellular space]]. The specification of a triangulation is equivalent to the specification of a homeomorphism $|S|\to X$, where $|S|$ is the geometric realization of some [[Simplicial complex|simplicial complex]]. Simplicial spaces are also called simplicial complexes or simplicial decompositions. Simplicial spaces are the objects of a category whose morphisms $X\to Y$ are mappings such that every simplex of the triangulation of $X$ is mapped linearly onto some simplex of the triangulation of $Y$. The morphisms are also called simplicial mappings.
  
  

Latest revision as of 16:30, 9 April 2014

A topological space $X$ equipped with a covering by topological simplices (called a triangulation) such that the faces of every simplex belong to the triangulation, the intersection of any two simplices is a face of each (possibly empty), and a subset $F\subset X$ is closed if and only if its intersection with every simplex is closed. Every simplicial space is a cellular space. The specification of a triangulation is equivalent to the specification of a homeomorphism $|S|\to X$, where $|S|$ is the geometric realization of some simplicial complex. Simplicial spaces are also called simplicial complexes or simplicial decompositions. Simplicial spaces are the objects of a category whose morphisms $X\to Y$ are mappings such that every simplex of the triangulation of $X$ is mapped linearly onto some simplex of the triangulation of $Y$. The morphisms are also called simplicial mappings.


Comments

The term "simplicial space" is not often used in this sense; the more usual name for a space which admits a triangulation is a polyhedron (cf. Polyhedron, abstract). The term "simplicial space" more commonly means a simplicial object in the category of topological spaces (cf. Simplicial object in a category).

References

[a1] E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) pp. 113ff
[a2] B. Gray, "Homotopy theory. An introduction to algebraic topology" , Acad. Press (1975) pp. §12
How to Cite This Entry:
Simplicial space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Simplicial_space&oldid=16211
This article was adapted from an original article by A.V. Khokhlov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article