Namespaces
Variants
Actions

Difference between revisions of "Simplicial set"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (Undo revision 48711 by Ulf Rehmann (talk))
Tag: Undo
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
s0854001.png
 +
$#A+1 = 440 n = 0
 +
$#C+1 = 440 : ~/encyclopedia/old_files/data/S085/S.0805400 Simplicial set
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''(formerly called semi-simplicial complex, full semi-simplicial complex)''
 
''(formerly called semi-simplicial complex, full semi-simplicial complex)''
  
A simplicial object in the category of sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854001.png" /> (cf. [[Simplicial object in a category|Simplicial object in a category]]), that is, a system of sets (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854003.png" />-fibres) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854004.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854005.png" />, connected by mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854006.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854007.png" /> (boundary operators), and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854008.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s0854009.png" /> (degeneracy operators), satisfying the conditions
+
A simplicial object in the category of sets $  \mathop{\rm Ens} $(
 +
cf. [[Simplicial object in a category|Simplicial object in a category]]), that is, a system of sets ( $  n $-
 +
fibres) $  K _ {n} $,  
 +
$  n \geq  0 $,  
 +
connected by mappings $  d _ {i} : K _ {n} \rightarrow K _ {n - 1 }  $,  
 +
0 \leq  i \leq  n $(
 +
boundary operators), and $  s _ {i} : K _ {n} \rightarrow K _ {n + 1 }  $,  
 +
0 \leq  i \leq  n $(
 +
degeneracy operators), satisfying the conditions
 +
 
 +
$$ \tag{* }
 +
\left .
 +
\begin{array}{ll}
 +
d _ {i} d _ {j}  =  d _ {j - 1 }  d _ {i} \  \textrm{ if }  i < j,  &d _ {i} s _ {j}  = \
 +
\left \{
 +
\begin{array}{}
 +
s _ {j - 1 }  \\
 +
\end{array}
 +
d _ {i} \  \textrm{ if }  i < j,  \\
 +
s _ {i} s _ {j}  =  s _ {j + 1 }  s _ {i} \  \textrm{ if }  i \leq  j;  & \mathop{\rm id} \  \textrm{ if }  i = j  \textrm{ or }  i = j + 1,  \\
 +
d _ {i} s _ {j}  = \
 +
\left \{
 +
\begin{array}{}
 +
s _ {j - 1 }  \\
 +
\end{array}
 +
d _ {i} \  \textrm{ if }  i < j,  \\
 +
\end{array}
 +
\right \}
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540010.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
The elements of the fibre  $  K _ {n} $
 +
are called the  $  n $-
 +
dimensional simplices of the simplicial set  $  K $.  
 +
If only the operators  $  d _ {i} $
 +
are given, satisfying the relations  $  d _ {i} d _ {j} = d _ {j - 1 }  d _ {i} $,
 +
$  i < j $,
 +
then the system  $  \{ K _ {n} , d _ {n} \} $
 +
is called a semi-simplicial set.
  
The elements of the fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540011.png" /> are called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540013.png" />-dimensional simplices of the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540014.png" />. If only the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540015.png" /> are given, satisfying the relations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540017.png" />, then the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540018.png" /> is called a semi-simplicial set.
+
A simplicial mapping  $  f:  K \rightarrow K  ^  \prime  $
 +
between two simplicial sets  $  K $
 +
and  $  K  ^  \prime  $
 +
is a morphism of functors, i.e. a sequence of mappings  $  f _ {n} : K _ {n} \rightarrow K _ {n}  ^  \prime  $,
 +
$  n \geq  0 $,  
 +
satisfying the relations
  
A simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540019.png" /> between two simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540020.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540021.png" /> is a morphism of functors, i.e. a sequence of mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540023.png" />, satisfying the relations
+
$$
 +
d _ {i} f _ {n + 1 }  = f _ {n} d _ {i} ,\ \
 +
0 \leq  i \leq  n + 1; \ \
 +
s _ {i} f _ {n}  = f _ {n + 1 }  s _ {i} ,\ \
 +
0 \leq  i \leq  n.
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540024.png" /></td> </tr></table>
+
Simplicial sets and their simplicial mappings form a category,  $  \Delta  ^ {0}  \mathop{\rm Ens} $.  
 +
If all the  $  f _ {n} $
 +
are imbeddings, then  $  K $
 +
is called a simplicial subset of  $  K  ^  \prime  $.  
 +
In this case, the boundary and degeneracy operators in  $  K $
 +
are the restrictions to  $  K $
 +
of the corresponding operators in  $  K  ^  \prime  $.
  
Simplicial sets and their simplicial mappings form a category, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540025.png" />. If all the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540026.png" /> are imbeddings, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540027.png" /> is called a simplicial subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540028.png" />. In this case, the boundary and degeneracy operators in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540029.png" /> are the restrictions to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540030.png" /> of the corresponding operators in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540031.png" />.
+
Given any topological space  $  X $,
 +
one can define a simplicial set  $  S ( X) $,  
 +
called the singular simplicial set of the space  $  X $.  
 +
Its simplices are the singular simplices of  $  X $(
 +
see [[Singular homology|Singular homology]]), i.e. continuous mappings  $  \sigma :  \Delta  ^ {n} \rightarrow X $,
 +
where  $  \Delta  ^ {n} $
 +
is the $  n $-
 +
dimensional geometric [[Standard simplex|standard simplex]]:
  
Given any topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540032.png" />, one can define a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540033.png" />, called the singular simplicial set of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540034.png" />. Its simplices are the singular simplices of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540035.png" /> (see [[Singular homology|Singular homology]]), i.e. continuous mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540036.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540037.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540038.png" />-dimensional geometric [[Standard simplex|standard simplex]]:
+
$$
 +
\Delta  ^ {n}  = \
 +
\left \{ {
 +
( t _ {0} \dots t _ {n} ) } : {
 +
0 \leq  t _ {i} \leq  1,\
 +
\sum _ {i = 0 } ^ { n }  t _ {i} = 1
 +
} \right \}
 +
\subset  \
 +
\mathbf R ^ {n + 1 } .
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540039.png" /></td> </tr></table>
+
The boundary operators  $  d _ {i} $
 +
and degeneracy operators  $  s _ {i} $
 +
of this simplicial set are defined by the formulas
  
The boundary operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540040.png" /> and degeneracy operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540041.png" /> of this simplicial set are defined by the formulas
+
$$
 +
( d _ {i} \sigma ) ( t _ {0} \dots t _ {n - 1 }  )  = \
 +
\sigma ( t _ {0} \dots t _ {i - 1 }  ,\
 +
0, t _ {i} \dots t _ {n - 1 }  ),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540042.png" /></td> </tr></table>
+
$$
 +
( s _ {i} \sigma ) ( t _ {0} \dots t _ {n + 1 }  ) =
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540043.png" /></td> </tr></table>
+
$$
 +
= \
 +
\sigma ( t _ {0} \dots t _ {i - 1 }  , t _ {i} +
 +
t _ {i + 1 }  , t _ {i+ 2 }  \dots t _ {n + 1 }  ).
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540044.png" /></td> </tr></table>
+
The correspondence  $  X \mapsto S ( X) $
 +
is a functor (called the singular functor) from the category of topological spaces  $  \mathop{\rm Top} $
 +
into the category of simplicial sets  $  \Delta  ^ {0}  \mathop{\rm Ens} $.
  
The correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540045.png" /> is a functor (called the singular functor) from the category of topological spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540046.png" /> into the category of simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540047.png" />.
+
An arbitrary [[Simplicial complex|simplicial complex]]  $  K $
 +
determines a simplicial set  $  O ( K) $.
 +
Its  $  n $-
 +
dimensional simplices are the $  ( n + 1) $-
 +
tuples  $  ( x _ {0} \dots x _ {n} ) $
 +
of vertices of  $  K $
 +
with the property that there is a simplex  $  s $
 +
in  $  K $
 +
such that  $  x _ {i} \in s $
 +
for  $  i = 0 \dots n $.  
 +
The operators  $  d _ {i} $
 +
and  $  s _ {i} $
 +
for this simplicial set are given by
  
An arbitrary [[Simplicial complex|simplicial complex]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540048.png" /> determines a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540049.png" />. Its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540050.png" />-dimensional simplices are the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540051.png" />-tuples <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540052.png" /> of vertices of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540053.png" /> with the property that there is a simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540054.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540055.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540056.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540057.png" />. The operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540058.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540059.png" /> for this simplicial set are given by
+
$$
 +
d _ {i} ( x _ {0} \dots x _ {n} )  = \
 +
( x _ {0} \dots \widehat{x}  _ {i} \dots x _ {n} ),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540060.png" /></td> </tr></table>
+
$$
 +
s _ {i} ( x _ {0} \dots x _ {n} )  = ( x _ {0} \dots x _ {i} , x _ {i} , x _ {i + 1 }  \dots x _ {n} ),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540061.png" /></td> </tr></table>
+
where  $  \widehat{ {}}  $
 +
means that the symbol below it is omitted. If  $  K $
 +
is ordered, then the simplices  $  ( x _ {0} \dots x _ {n} ) $
 +
for which  $  x _ {0} \leq  \dots \leq  x _ {n} $
 +
form a simplicial subset  $  O  ^ {+} ( K) $
 +
of  $  O ( K) $.  
 +
The correspondence  $  K \mapsto O ( K) $(
 +
$  K \mapsto O  ^ {+} ( K) $)
 +
is a functor from the category of simplicial complexes (ordered simplicial complexes) into the category  $  \Delta  ^ {0}  \mathop{\rm Ens} $.
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540062.png" /> means that the symbol below it is omitted. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540063.png" /> is ordered, then the simplices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540064.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540065.png" /> form a simplicial subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540066.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540067.png" />. The correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540068.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540069.png" />) is a functor from the category of simplicial complexes (ordered simplicial complexes) into the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540070.png" />.
+
For an arbitrary group  $  \pi $
 +
one can define a simplicial set  $  K ( \pi ) $.
 +
Its  $  n $-
 +
simplices are equivalence classes of  $  ( n + 1) $-
 +
tuples  $  ( x _ {0} : \dots : x _ {n} ) $,  
 +
$  x _ {i} \in \pi $(
 +
where  $  ( x _ {0} : \dots : x _ {n} ) \sim ( x _ {0}  ^  \prime  : \dots : x _ {n}  ^  \prime  ) $
 +
if there is an element  $  y \in \pi $
 +
such that  $  x _ {i}  ^  \prime  = yx _ {i} $
 +
for all  $  i = 0 \dots n $).  
 +
The operators  $  d _ {i} $
 +
and  $  s _ {i} $
 +
of $  K ( \pi ) $
 +
are given by
  
For an arbitrary group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540071.png" /> one can define a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540072.png" />. Its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540073.png" />-simplices are equivalence classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540074.png" />-tuples <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540075.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540076.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540077.png" /> if there is an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540078.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540079.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540080.png" />). The operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540081.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540082.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540083.png" /> are given by
+
$$
 +
d _ {i} ( x _ {0} : \dots : x _ {n} )  = \
 +
( x _ {0} : \dots : x _ {i - 1 }  : \
 +
x _ {i + 1 }  : \dots : x _ {n} ),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540084.png" /></td> </tr></table>
+
$$
 +
s _ {i} ( x _ {0} : \dots :  x _ {n} )  = ( x _ {0} : \dots : x _ {i - 1
 +
}  :  x _ {i} :  x _ {i} : x _ {i + 1 }  : \dots : x _ {n} ).
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540085.png" /></td> </tr></table>
+
The simplicial set  $  K ( \pi ) $
 +
is actually a simplicial group.
  
The simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540086.png" /> is actually a simplicial group.
+
Given an arbitrary Abelian group  $  \pi $
 +
and any integer  $  n \geq  1 $,
 +
one can define a simplicial set (in fact, a simplicial Abelian group)  $  E ( \pi , n) $.
 +
Its  $  q $-
 +
dimensional simplices are the  $  n $-
 +
dimensional cochains of the  $  q $-
 +
dimensional geometric standard simplex  $  \Delta  ^ {q} $
 +
with coefficients in  $  \pi $(
 +
that is,  $  E ( \pi , n) _ {q} = C  ^ {n} ( \Delta  ^ {q} ;  \pi ) $).
 +
Denoting the vertices of  $  \Delta  ^ {q} $
 +
by  $  e _ {j}  ^ {q} $,
 +
$  j = 0 \dots q $,
 +
one defines the simplicial mappings  $  \delta _ {i} :  \Delta ^ {q - 1 } \rightarrow \Delta  ^ {q} $
 +
and  $  \sigma _ {i} : \Delta  ^ {q} \rightarrow \Delta ^ {q - 1 } $
 +
by the formulas
  
Given an arbitrary Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540087.png" /> and any integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540088.png" />, one can define a simplicial set (in fact, a simplicial Abelian group) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540089.png" />. Its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540090.png" />-dimensional simplices are the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540091.png" />-dimensional cochains of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540092.png" />-dimensional geometric standard simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540093.png" /> with coefficients in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540094.png" /> (that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540095.png" />). Denoting the vertices of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540096.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540097.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540098.png" />, one defines the simplicial mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s08540099.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400100.png" /> by the formulas
+
$$
 +
\delta _ {i} ( e _ {j} ^ {q - 1 } ) = \
 +
\left \{
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400101.png" /></td> </tr></table>
+
\begin{array}{ll}
 +
e _ {j}  ^ {q}  &\textrm{ if }  j < i,  \\
 +
e _ {j + 1 }  ^ {q}  &\textrm{ if }  j \geq  i; \\
 +
\end{array}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400102.png" /></td> </tr></table>
+
\right .$$
 +
 
 +
$$
 +
\sigma _ {i} ( e _ {j}  ^ {q} )  = \left \{
 +
\begin{array}{ll}
 +
e _ {j} ^
 +
{q - 1 }  &\textrm{ if }  j \leq  i,  \\
 +
e _ {j - 1 }  ^ {q - 1 }
 +
  &\textrm{ if }  j > i. \\
 +
\end{array}
 +
 
 +
\right .$$
  
 
The induced homomorphisms of cochain groups
 
The induced homomorphisms of cochain groups
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400103.png" /></td> </tr></table>
+
$$
 +
d _ {i}  = \
 +
\delta _ {i}  ^ {*} : \
 +
C  ^ {n} ( \Delta  ^ {q} ; \pi )  \rightarrow \
 +
C  ^ {n} ( \Delta _ {q - 1 }  ; \pi ),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400104.png" /></td> </tr></table>
+
$$
 +
s _ {i}  = \sigma _ {i}  ^ {*} : C  ^ {n} ( \Delta ^ {q
 +
- 1 } , \pi )  \rightarrow  C  ^ {n} ( \Delta  ^ {q} ; \pi )
 +
$$
  
are, by definition, the boundary and degeneracy operators of the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400105.png" />. The simplices that are cocycles form a simplicial subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400106.png" />, called the Eilenberg–MacLane simplicial set and denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400107.png" />. The coboundary operator on the groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400108.png" /> defines a canonical simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400109.png" />, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400110.png" />. Since the concept of a one-dimensional cocycle also makes sense when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400111.png" /> is non-Abelian (see [[Non-Abelian cohomology|Non-Abelian cohomology]]), the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400112.png" /> can be defined without the assumption that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400113.png" /> is Abelian. This simplicial set is isomorphic to the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400114.png" /> (by assigning to every simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400115.png" /> the values at the vertices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400116.png" /> of a zero-dimensional cochain whose coboundary is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400117.png" />).
+
are, by definition, the boundary and degeneracy operators of the simplicial set $  E ( \pi , n) $.  
 +
The simplices that are cocycles form a simplicial subset of $  E ( \pi , n) $,  
 +
called the Eilenberg–MacLane simplicial set and denoted by $  K ( \pi , n) $.  
 +
The coboundary operator on the groups $  C  ^ {*} ( \Delta  ^ {q} ;  \pi ) $
 +
defines a canonical simplicial mapping $  E ( \pi , n) \rightarrow K ( \pi , n + 1) $,  
 +
denoted by $  \delta $.  
 +
Since the concept of a one-dimensional cocycle also makes sense when $  \pi $
 +
is non-Abelian (see [[Non-Abelian cohomology|Non-Abelian cohomology]]), the simplicial set $  K ( \pi , 1) $
 +
can be defined without the assumption that $  \pi $
 +
is Abelian. This simplicial set is isomorphic to the simplicial set $  K ( \pi ) $(
 +
by assigning to every simplex $  z \in K ( \pi , 1) _ {q} = Z  ^ {1} ( \Delta  ^ {q} , \pi ) $
 +
the values at the vertices $  e _ {j}  ^ {q} $
 +
of a zero-dimensional cochain whose coboundary is $  z $).
  
By assigning to every fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400118.png" /> of a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400119.png" /> the free Abelian group generated by it, one obtains a simplicial Abelian group and thus a chain complex. This complex is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400120.png" /> and is called the chain complex of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400121.png" />. The (co)homology groups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400122.png" /> (with coefficients in a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400123.png" />) are called the (co) homology groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400124.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400125.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400126.png" />. The (co)homology groups of a singular simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400127.png" /> are the (co)homology groups of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400128.png" />. The (co)homology groups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400129.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400130.png" /> are isomorphic and are called the (co) homology groups of the simplicial complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400131.png" />. The (co)homology groups of the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400132.png" /> are the (co) homology groups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400133.png" />.
+
By assigning to every fibre $  K _ {n} $
 +
of a simplicial set $  K $
 +
the free Abelian group generated by it, one obtains a simplicial Abelian group and thus a chain complex. This complex is denoted by $  C ( K) $
 +
and is called the chain complex of $  K $.  
 +
The (co)homology groups of $  C ( K) $(
 +
with coefficients in a group $  G $)  
 +
are called the (co) homology groups $  H ( K;  G) $
 +
and $  H  ^ {*} ( K;  G) $
 +
of $  K $.  
 +
The (co)homology groups of a singular simplicial set $  S ( X) $
 +
are the (co)homology groups of the space $  X $.  
 +
The (co)homology groups of $  O ( K) $
 +
and $  O  ^ {+} ( K) $
 +
are isomorphic and are called the (co) homology groups of the simplicial complex $  K $.  
 +
The (co)homology groups of the simplicial set $  K ( \pi ) $
 +
are the (co) homology groups of $  \pi $.
  
A simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400134.png" /> of a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400135.png" /> is called degenerate if there is a simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400136.png" /> and a degeneracy operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400137.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400138.png" />. The Eilenberg–Zil'ber lemma states that any simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400139.png" /> can be uniquely written in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400140.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400141.png" /> is a certain epimorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400142.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400143.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400144.png" /> is a non-degenerate simplex. The smallest simplicial subset of a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400145.png" /> containing all its non-degenerate simplices of dimension at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400146.png" /> is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400147.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400148.png" />, and is called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400150.png" />-dimensional skeleton or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400152.png" />-skeleton of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400153.png" />.
+
A simplex $  x \in K _ {n} $
 +
of a simplicial set $  K $
 +
is called degenerate if there is a simplex $  y \in K _ {n - 1 }  $
 +
and a degeneracy operator s _ {i} $
 +
such that $  x = s _ {i} y $.  
 +
The Eilenberg–Zil'ber lemma states that any simplex $  x \in K _ {n} $
 +
can be uniquely written in the form $  x = K ( s) y $,  
 +
where s $
 +
is a certain epimorphism $  s _ {i} : [ n] \rightarrow [ m] $,  
 +
$  m \leq  n $,  
 +
and $  y \in K _ {m} $
 +
is a non-degenerate simplex. The smallest simplicial subset of a simplicial set $  K $
 +
containing all its non-degenerate simplices of dimension at most $  n $
 +
is denoted by $  K  ^ {n} $
 +
or $  \mathop{\rm Sk}  ^ {n} K $,  
 +
and is called the $  n $-
 +
dimensional skeleton or $  n $-
 +
skeleton of $  K $.
  
 
The standard geometric simplices (cf. [[Standard simplex|Standard simplex]])
 
The standard geometric simplices (cf. [[Standard simplex|Standard simplex]])
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400154.png" /></td> </tr></table>
+
$$
 +
\Delta  ^ {n}  = \
 +
\left \{ {
 +
( t _ {0} \dots t _ {n} ) } : {
 +
0 \leq  t _ {i} \leq  1,\
 +
\sum _ {i = 0 } ^ { n }  t _ {i} = 1
 +
} \right \}
 +
\subset  \
 +
\mathbf R ^ {n + 1 }
 +
$$
  
form a co-simplicial topological space with respect to the co-boundary operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400155.png" /> and co-degeneracy operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400156.png" />, defined by the formulas
+
form a co-simplicial topological space with respect to the co-boundary operators $  \delta _ {i} $
 +
and co-degeneracy operators $  \sigma _ {i} $,  
 +
defined by the formulas
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400157.png" /></td> </tr></table>
+
$$
 +
\delta _ {i} ( t _ {0} \dots t _ {n - 1 }  )  = \
 +
( t _ {0} \dots t _ {i - 1 }  , 0,\
 +
t _ {i} \dots t _ {n - 1 }  ),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400158.png" /></td> </tr></table>
+
$$
 +
\sigma _ {i} ( t _ {0} \dots t _ {n + 1 }  )  = ( t _ {0} \dots
 +
t _ {i - 1 }  , t _ {i} + t _ {i + 1 }  , t _ {i + 2 }  \dots t _ {n + 1 }  ).
 +
$$
  
In the disjoint union <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400159.png" />, where all the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400160.png" /> are regarded as discrete sets, the formulas
+
In the disjoint union $  \cup _ {n = 0 }  ^  \infty  K _ {n} \times \Delta  ^ {n} $,  
 +
where all the $  K _ {n} $
 +
are regarded as discrete sets, the formulas
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400161.png" /></td> </tr></table>
+
$$
 +
( d _ {i} x, u)  \sim \
 +
( x, \delta _ {i} u),\ \
 +
x \in K _ {n} ,\ \
 +
u \in \Delta ^ {n - 1 } ;
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400162.png" /></td> </tr></table>
+
$$
 +
( s _ {i} x, u)  \sim  ( x, \sigma _ {i} u),\  x
 +
\in K _ {n} ,\  u \in \Delta ^ {n + 1 } ,
 +
$$
  
generate an equivalence relation, the quotient space by which is a complex (a cellular space) whose cells are in one-to-one correspondence with the non-degenerate simplices of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400163.png" />. This complex is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400164.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400165.png" /> and is called the geometric realization in the sense of Milnor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400166.png" />. Any simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400167.png" /> induces a continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400168.png" />, given by
+
generate an equivalence relation, the quotient space by which is a complex (a cellular space) whose cells are in one-to-one correspondence with the non-degenerate simplices of $  K $.  
 +
This complex is denoted by $  | K | $
 +
or $  RK $
 +
and is called the geometric realization in the sense of Milnor of $  K $.  
 +
Any simplicial mapping $  f: K \rightarrow L $
 +
induces a continuous mapping $  Rf: RK \rightarrow RL $,  
 +
given by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400169.png" /></td> </tr></table>
+
$$
 +
Rf [ x, u]  = \
 +
[ f ( x), u] ,
 +
$$
  
and the correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400170.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400171.png" /> defines a functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400172.png" />. This functor is left adjoint to the singular functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400173.png" />. The corresponding natural isomorphisms
+
and the correspondence $  K \mapsto RK $,  
 +
$  f \mapsto Rf $
 +
defines a functor $  R:  \Delta  ^ {0}  \mathop{\rm Ens} \rightarrow  \mathop{\rm Top} $.  
 +
This functor is left adjoint to the singular functor $  S:  \mathop{\rm Top} \rightarrow \Delta  ^ {0}  \mathop{\rm Ens} $.  
 +
The corresponding natural isomorphisms
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400174.png" /></td> </tr></table>
+
$$
 +
\phi : \Delta  ^ {0}  \mathop{\rm Ens} ( K, S ( X))  \rightarrow \
 +
\mathop{\rm Top} ( RK, X),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400175.png" /></td> </tr></table>
+
$$
 +
\psi :   \mathop{\rm Top} ( RK, X)  \rightarrow  \Delta  ^ {0}  \mathop{\rm Ens} ( K, S ( X))
 +
$$
  
 
are defined by the formulas
 
are defined by the formulas
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400176.png" /></td> </tr></table>
+
$$
 +
\phi ( f  ) [ x, u]  = f ( x) ( u),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400177.png" /></td> </tr></table>
+
$$
 +
( \psi ( g) ( x)) ( u)  = g [ x, u],
 +
$$
  
 
where
 
where
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400178.png" /></td> </tr></table>
+
$$
 +
x  \in  K _ {n} ,\ \
 +
u  \in  \Delta  ^ {n} ,\ \
 +
f  \in  \Delta  ^ {0}  \mathop{\rm Ens} ( K, S ( X)),\ \
 +
g  \in  \mathop{\rm Top} ( RK, X).
 +
$$
  
For any topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400179.png" /> the adjunction morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400180.png" /> is a weak homotopy equivalence (which proves that any topological space is weakly homotopy equivalent to a complex).
+
For any topological space $  X $
 +
the adjunction morphism $  \Phi ( X): RS ( X) \rightarrow X $
 +
is a weak homotopy equivalence (which proves that any topological space is weakly homotopy equivalent to a complex).
  
The construction of the geometric realization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400181.png" /> extends to the case of a simplicial topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400182.png" />. One can also define the geometric realization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400183.png" /> in the sense of Giever–Hu by taking only the boundary operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400184.png" /> into account (in this model there are cells for all the simplices of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400185.png" />, not just for the non-degenerate ones). If every degeneracy operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400186.png" /> is a closed cofibration (a condition which holds automatically in the case of a simplicial set), then the natural mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400187.png" /> is a homotopy equivalence.
+
The construction of the geometric realization $  | K | $
 +
extends to the case of a simplicial topological space $  K $.  
 +
One can also define the geometric realization $  \| K \| $
 +
in the sense of Giever–Hu by taking only the boundary operators $  d _ {i} $
 +
into account (in this model there are cells for all the simplices of $  K $,  
 +
not just for the non-degenerate ones). If every degeneracy operator s _ {i} $
 +
is a closed cofibration (a condition which holds automatically in the case of a simplicial set), then the natural mapping $  p: \| K \| \rightarrow | K | $
 +
is a homotopy equivalence.
  
The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400188.png" /> admits products: given simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400189.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400190.png" />, their product is the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400191.png" /> for which
+
The category $  \Delta  ^ {0}  \mathop{\rm Ens} $
 +
admits products: given simplicial sets $  K = \{ K _ {n} , d _ {i}  ^ {K} , s _ {i}  ^ {K} \} $
 +
and $  L = \{ L _ {n} , d _ {i}  ^ {L} , s _ {i}  ^ {L} \} $,  
 +
their product is the simplicial set $  K \times L $
 +
for which
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400192.png" /></td> </tr></table>
+
$$
 +
( K \times L) _ {n}  = K _ {n} \times L _ {n} ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400193.png" /></td> </tr></table>
+
$$
 +
d _ {i} ^ {K \times L }  = d _ {i}  ^ {K} \times d _ {i}  ^ {L} ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400194.png" /></td> </tr></table>
+
$$
 +
s _ {i} ^ {K \times L }  = s _ {i}  ^ {K} \times s _ {i}  ^ {L} .
 +
$$
  
In particular, given any simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400195.png" />, one can define its product with the simplicial segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400196.png" />. The projections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400197.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400198.png" /> define a bijective mapping
+
In particular, given any simplicial set $  K $,  
 +
one can define its product with the simplicial segment $  \Delta  ^ {1} $.  
 +
The projections $  \pi _ {1} : K \times L \rightarrow K $
 +
and $  \pi _ {2} : K \times L \rightarrow L $
 +
define a bijective mapping
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400199.png" /></td> </tr></table>
+
$$
 +
R \pi _ {1} \times R \pi _ {2} : R ( K \times L)  \rightarrow  RK \times RL,
 +
$$
  
which is a homeomorphism if the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400200.png" /> is a complex (for example, if both simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400201.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400202.png" /> are countable or if one of the complexes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400203.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400204.png" /> is locally finite). In particular, it follows that the geometric realization of any countable simplicial monoid (group, Abelian group) is a topological monoid (group, Abelian group).
+
which is a homeomorphism if the product $  RK \times RL $
 +
is a complex (for example, if both simplicial sets $  K $
 +
and $  L $
 +
are countable or if one of the complexes $  RK $,  
 +
$  RL $
 +
is locally finite). In particular, it follows that the geometric realization of any countable simplicial monoid (group, Abelian group) is a topological monoid (group, Abelian group).
  
Two simplicial mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400205.png" /> are called homotopic if there is a simplicial mapping (a homotopy) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400206.png" /> such that
+
Two simplicial mappings $  f, g: K \rightarrow L $
 +
are called homotopic if there is a simplicial mapping (a homotopy) $  F: K \times \Delta  ^ {1} \rightarrow L $
 +
such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400207.png" /></td> </tr></table>
+
$$
 +
F ( x, sd _ {0} t _ {1} )  = f ( x),
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400208.png" /></td> </tr></table>
+
$$
 +
F ( x, sd _ {1} t _ {1} )  = g ( x)
 +
$$
  
for any simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400209.png" /> and for any composition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400210.png" /> (of length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400211.png" />) of degeneracy operators. This definition (modelled on the usual definition of homotopy of continuous mappings) is equivalent to the interpretation in simplicial sets of the general definition of homotopy of simplicial mappings between arbitrary simplicial objects (see [[Simplicial object in a category|Simplicial object in a category]]).
+
for any simplex $  x \in K _ {n} $
 +
and for any composition s $(
 +
of length $  n $)  
 +
of degeneracy operators. This definition (modelled on the usual definition of homotopy of continuous mappings) is equivalent to the interpretation in simplicial sets of the general definition of homotopy of simplicial mappings between arbitrary simplicial objects (see [[Simplicial object in a category|Simplicial object in a category]]).
  
Given the notion of homotopy, it is possible to develop a homotopy theory for simplicial sets similar to that for polyhedra. It turns out that these two theories are completely parallel; this finds expression in the fact that the corresponding homotopy categories are equivalent (the equivalence being induced by the geometric realization functor). In particular, geometric realizations of homotopic simplicial mappings are homotopic and, for example, the geometric realization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400212.png" /> is the [[Eilenberg–MacLane space|Eilenberg–MacLane space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400213.png" />. However, the actual construction of the homotopy theory for simplicial sets differs slightly in its details from the construction of the homotopy theory for topological spaces. The main difference is that the relation of homotopy for simplicial mappings is not, in general, an equivalence relation. This difficulty is overcome in the following way.
+
Given the notion of homotopy, it is possible to develop a homotopy theory for simplicial sets similar to that for polyhedra. It turns out that these two theories are completely parallel; this finds expression in the fact that the corresponding homotopy categories are equivalent (the equivalence being induced by the geometric realization functor). In particular, geometric realizations of homotopic simplicial mappings are homotopic and, for example, the geometric realization of $  K ( \pi , n) $
 +
is the [[Eilenberg–MacLane space|Eilenberg–MacLane space]] $  K ( \pi , n) $.  
 +
However, the actual construction of the homotopy theory for simplicial sets differs slightly in its details from the construction of the homotopy theory for topological spaces. The main difference is that the relation of homotopy for simplicial mappings is not, in general, an equivalence relation. This difficulty is overcome in the following way.
  
A simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400214.png" /> of the standard horn (see [[Standard simplex|Standard simplex]]) into a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400215.png" /> is called a horn in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400216.png" />. Every horn is uniquely defined by an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400217.png" />-tuple of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400218.png" />-simplices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400219.png" />, for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400220.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400221.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400222.png" />. One says that a horn fills out if one can find an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400223.png" />-dimensional simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400224.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400225.png" /> for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400226.png" />. The simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400227.png" /> is said to be full (or to satisfy the Kan condition) if all its horns fill out.
+
A simplicial mapping $  \Lambda _ {k}  ^ {n} \rightarrow K $
 +
of the standard horn (see [[Standard simplex|Standard simplex]]) into a simplicial set $  K $
 +
is called a horn in $  K $.  
 +
Every horn is uniquely defined by an $  ( n + 1) $-
 +
tuple of $  n $-
 +
simplices $  x _ {0} \dots x _ {k - 1 }  , x _ {k + 1 }  \dots x _ {n + 1 }  $,  
 +
for which $  d _ {i} x _ {j} = d _ {j - 1 }  x _ {i} $
 +
for all $  i < j $,  
 +
$  i \neq k $.  
 +
One says that a horn fills out if one can find an $  ( n + 1) $-
 +
dimensional simplex $  x $
 +
such that $  d _ {i} x = x _ {i} $
 +
for every $  i \neq k $.  
 +
The simplicial set $  K $
 +
is said to be full (or to satisfy the Kan condition) if all its horns fill out.
  
The singular simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400228.png" /> of an arbitrary topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400229.png" /> is always full, and so is every simplicial group; in particular, the Eilenberg–MacLane simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400230.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400231.png" /> are full. The importance of full simplicial sets lies in the fact that the relation of homotopy between simplicial mappings from an arbitrary simplicial set to a full simplicial set is an equivalence relation. Therefore, in the subcategory of full simplicial sets, the construction of a homotopy theory involves no major difficulties. Moreover, there is a functor (see [[#References|[4]]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400232.png" /> assigning to every simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400233.png" /> a full simplicial set, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400234.png" />, whose geometric realization is homotopy equivalent to the geometric realization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400235.png" /> and which can therefore be used in place of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400236.png" /> in all questions of homotopy.
+
The singular simplicial set $  S ( X) $
 +
of an arbitrary topological space $  X $
 +
is always full, and so is every simplicial group; in particular, the Eilenberg–MacLane simplicial sets $  K ( \pi ) $
 +
and $  K ( \pi , n) $
 +
are full. The importance of full simplicial sets lies in the fact that the relation of homotopy between simplicial mappings from an arbitrary simplicial set to a full simplicial set is an equivalence relation. Therefore, in the subcategory of full simplicial sets, the construction of a homotopy theory involves no major difficulties. Moreover, there is a functor (see [[#References|[4]]]) $  \mathop{\rm Ex}  ^  \infty  :  \Delta  ^ {0}  \mathop{\rm Ens} \rightarrow \Delta  ^ {0}  \mathop{\rm Ens} $
 +
assigning to every simplicial set $  K $
 +
a full simplicial set, $  \mathop{\rm Ex}  ^  \infty  K $,  
 +
whose geometric realization is homotopy equivalent to the geometric realization of $  K $
 +
and which can therefore be used in place of $  K $
 +
in all questions of homotopy.
  
Two <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400237.png" />-simplices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400238.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400239.png" /> of a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400240.png" /> are called comparable if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400241.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400242.png" />. Two such simplices are said to be homotopic if there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400243.png" />-dimensional simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400244.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400245.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400246.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400247.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400248.png" />. For full simplicial sets this is an equivalence relation, and two simplices are homotopic if and only if their characteristic simplicial mappings are homotopic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400249.png" />.
+
Two $  n $-
 +
simplices $  x $
 +
and $  x  ^  \prime  $
 +
of a simplicial set $  K $
 +
are called comparable if $  d _ {i} x = d _ {i} x  ^  \prime  $,  
 +
0 \leq  i \leq  n $.  
 +
Two such simplices are said to be homotopic if there is an $  ( n + 1) $-
 +
dimensional simplex $  y $
 +
such that $  d _ {n} y = x $,  
 +
$  d _ {n + 1 }  y = x  ^  \prime  $
 +
and  $  d _ {i} y = s _ {n - 1 }  d _ {i} x = s _ {n - 1 }  d _ {i} x  ^  \prime  $,  
 +
0 \leq  i \leq  n $.  
 +
For full simplicial sets this is an equivalence relation, and two simplices are homotopic if and only if their characteristic simplicial mappings are homotopic $  \mathop{\rm rel}  \mathop{\rm Sk} ^ {n - 1 }  \Delta  ^ {n} $.
  
A simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400250.png" /> is said to be pointed if it contains a distinguished zero-dimensional simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400251.png" /> (where the symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400252.png" /> is also used to denote all degenerations of this simplex as well as the simplicial set generated by it, which is usually referred to as the distinguished point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400253.png" />). For a full pointed simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400254.png" />, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400255.png" /> of homotopy classes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400256.png" />-dimensional simplices comparable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400257.png" /> is a group when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400258.png" />. This group is called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400260.png" />-dimensional homotopy group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400261.png" />; this terminology is justified by the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400262.png" /> and, in particular, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400263.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400264.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400265.png" />. A simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400266.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400267.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400268.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400270.png" />-connected set; in particular, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400271.png" />-connected simplicial set is called connected, and a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400272.png" />-connected simplicial set simply connected. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400273.png" />, the addition in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400274.png" /> is induced by the operation which assigns to two simplices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400275.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400276.png" /> (comparable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400277.png" />) the simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400278.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400279.png" /> is a simplex of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400280.png" />, filling the horn <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400281.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400282.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400283.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400284.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400285.png" /> is a simplicial monoid with unit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400286.png" />, then the addition is also induced by the multiplication in this monoid (the product of two simplices comparable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400287.png" /> is comparable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400288.png" />).
+
A simplicial set $  K $
 +
is said to be pointed if it contains a distinguished zero-dimensional simplex $  \theta $(
 +
where the symbol $  \theta $
 +
is also used to denote all degenerations of this simplex as well as the simplicial set generated by it, which is usually referred to as the distinguished point of $  K $).  
 +
For a full pointed simplicial set $  K $,  
 +
the set $  \pi _ {n} ( K) $
 +
of homotopy classes of $  n $-
 +
dimensional simplices comparable with $  \theta $
 +
is a group when $  n \geq  1 $.  
 +
This group is called the $  n $-
 +
dimensional homotopy group of $  K $;  
 +
this terminology is justified by the fact that $  \pi _ {n} ( K) = \pi _ {n} (| K |) $
 +
and, in particular, $  \pi _ {n} ( K ( \pi , n)) = \pi $
 +
and $  \pi _ {i} ( K ( \pi , n)) = 0 $
 +
for $  i \neq n $.  
 +
A simplicial set $  K $
 +
for which $  \pi _ {i} ( K) = 0 $
 +
for all $  i \leq  n $
 +
is called an $  n $-
 +
connected set; in particular, a 0 $-
 +
connected simplicial set is called connected, and a $  1 $-
 +
connected simplicial set simply connected. For $  n \geq  1 $,  
 +
the addition in $  \pi _ {n} ( K) $
 +
is induced by the operation which assigns to two simplices $  x $
 +
and $  y $(
 +
comparable with $  \theta $)  
 +
the simplex $  d _ {n} z $,  
 +
where $  z $
 +
is a simplex of dimension $  n + 1 $,  
 +
filling the horn $  x _ {i} = \theta $,  
 +
$  i \leq  n - 2 $,  
 +
$  x _ {n - 1 }  = x $,  
 +
$  x _ {n + 1 }  = y $.  
 +
If $  K $
 +
is a simplicial monoid with unit $  \theta $,  
 +
then the addition is also induced by the multiplication in this monoid (the product of two simplices comparable with $  \theta $
 +
is comparable with $  \theta $).
  
Since any simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400289.png" /> comparable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400290.png" /> is a cycle (of the chain complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400291.png" /> defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400292.png" />), there is a natural Hurewicz homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400293.png" />, which induces an isomorphism
+
Since any simplex $  x $
 +
comparable with $  \theta $
 +
is a cycle (of the chain complex $  C ( K) $
 +
defined by $  K $),  
 +
there is a natural Hurewicz homomorphism $  h: \pi _ {n} ( K) \rightarrow H _ {n} ( K) $,  
 +
which induces an isomorphism
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400294.png" /></td> </tr></table>
+
$$
 +
\pi _ {1} ( K)/[ \pi _ {1} ( K), \pi _ {1} ( K)]  \rightarrow  H _ {1} ( K)
 +
$$
  
when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400295.png" /> (Poincaré's theorem), and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400296.png" /> it is an isomorphism if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400297.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400298.png" />-connected (Hurewicz' theorem). For full simplicial sets both variants of Whitehead's theorem hold, that is, a simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400299.png" /> of full simplicial sets is a homotopy equivalence if and only if it induces an isomorphism of homotopy groups; in the simply-connected case this condition is equivalent to the induced homomorphisms of the homology groups being isomorphisms.
+
when $  n = 1 $(
 +
Poincaré's theorem), and for $  n > 1 $
 +
it is an isomorphism if $  K $
 +
is $  ( n - 1) $-
 +
connected (Hurewicz' theorem). For full simplicial sets both variants of Whitehead's theorem hold, that is, a simplicial mapping $  f: K \rightarrow L $
 +
of full simplicial sets is a homotopy equivalence if and only if it induces an isomorphism of homotopy groups; in the simply-connected case this condition is equivalent to the induced homomorphisms of the homology groups being isomorphisms.
  
In the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400300.png" /> is a simplicial group, the homotopy group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400301.png" /> is isomorphic to the homology group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400302.png" /> of the (not necessarily Abelian) chain complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400303.png" /> for which
+
In the case when $  K $
 +
is a simplicial group, the homotopy group $  \pi _ {n} ( K) $
 +
is isomorphic to the homology group $  H _ {n} ( \overline{K}\; ) $
 +
of the (not necessarily Abelian) chain complex $  \overline{K}\; $
 +
for which
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400304.png" /></td> </tr></table>
+
$$
 +
\overline{K}\; _ {n}  = \
 +
K _ {n} \cap  \mathop{\rm Ker}  d _ {0} \cap \dots \cap
 +
\mathop{\rm Ker}  d _ {n - 1 }  ,
 +
$$
  
and the boundary operator is the restriction to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400305.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400306.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400307.png" /> is Abelian, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400308.png" /> is a subcomplex of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400309.png" />, regarded as a chain complex, and also a chain deformation retract of it, and hence a direct summand of it. It turns out that the subcomplex generated by the degenerate simplices can be taken as the other direct summand. Therefore, the corresponding quotient complex of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400310.png" /> is chainwise equivalent to it. For example, it follows that the cohomology groups of an arbitrary simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400311.png" /> are isomorphic to the normalized cohomology groups (the normalization theorem), that is, the groups obtained from the cochains that vanish on all degenerate simplices. Furthermore, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400312.png" />.
+
and the boundary operator is the restriction to $  \overline{K}\; _ {n} $
 +
of $  (- 1)  ^ {n} d _ {n} $.  
 +
If $  K $
 +
is Abelian, then $  \overline{K}\; $
 +
is a subcomplex of $  K $,  
 +
regarded as a chain complex, and also a chain deformation retract of it, and hence a direct summand of it. It turns out that the subcomplex generated by the degenerate simplices can be taken as the other direct summand. Therefore, the corresponding quotient complex of $  K $
 +
is chainwise equivalent to it. For example, it follows that the cohomology groups of an arbitrary simplicial set $  K $
 +
are isomorphic to the normalized cohomology groups (the normalization theorem), that is, the groups obtained from the cochains that vanish on all degenerate simplices. Furthermore, $  \pi _ {n} ( C ( K)) = H _ {n} ( K) $.
  
The functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400313.png" /> induces an equivalence between the homotopy theory of simplicial Abelian groups and the homology theory of chain complexes. In particular, it follows that any connected simplicial Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400314.png" /> is homotopy equivalent to a product of Eilenberg–MacLane simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400315.png" />.
+
The functor $  K \mapsto \overline{K}\; $
 +
induces an equivalence between the homotopy theory of simplicial Abelian groups and the homology theory of chain complexes. In particular, it follows that any connected simplicial Abelian group $  K $
 +
is homotopy equivalent to a product of Eilenberg–MacLane simplicial sets $  K ( \pi _ {n} ( K), n) $.
  
A full simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400316.png" /> is called minimal when comparable simplices are homotopic if and only if they coincide. The simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400317.png" /> is minimal. Every homotopy equivalence of minimal simplicial sets is an isomorphism. Every full simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400318.png" /> has a minimal subset. It is a deformation retract, and is thus uniquely defined up to isomorphism.
+
A full simplicial set $  K $
 +
is called minimal when comparable simplices are homotopic if and only if they coincide. The simplicial set $  K ( \pi , n) $
 +
is minimal. Every homotopy equivalence of minimal simplicial sets is an isomorphism. Every full simplicial set $  K $
 +
has a minimal subset. It is a deformation retract, and is thus uniquely defined up to isomorphism.
  
A simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400319.png" /> is called a Kan fibration if any horn <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400320.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400321.png" /> can be filled whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400322.png" /> can be, and for any filling <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400323.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400324.png" /> there is a filling <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400325.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400326.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400327.png" />. Kan fibrations are the simplicial analogue of Serre fibrations (cf. [[Serre fibration|Serre fibration]]), and they satisfy the following homotopy lifting theorem: If the simplicial mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400328.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400329.png" /> satisfy the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400330.png" />, then there is a simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400331.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400332.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400333.png" />. If the fibration <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400334.png" /> is surjective, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400335.png" /> is full if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400336.png" /> is full. The fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400337.png" /> is the (automatically full) simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400338.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400339.png" /> is the distinguished point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400340.png" />. For any Serre fibration <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400341.png" /> the simplicial mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400342.png" /> is a Kan fibration, and for any Kan fibration <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400343.png" /> the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400344.png" /> is a Serre fibration (see [[#References|[5]]]).
+
A simplicial mapping $  p: E \rightarrow B $
 +
is called a Kan fibration if any horn $  f: \Lambda _ {k}  ^ {n} \rightarrow E $
 +
in $  E $
 +
can be filled whenever $  p \circ f: \Lambda _ {k}  ^ {n} \rightarrow B $
 +
can be, and for any filling $  g: \Delta ^ {n + 1 } \rightarrow B $
 +
of $  p \circ f $
 +
there is a filling $  \widetilde{f}  : \Delta ^ {n + 1 } \rightarrow E $
 +
of $  f $
 +
such that $  p \circ \widetilde{f}  = g $.  
 +
Kan fibrations are the simplicial analogue of Serre fibrations (cf. [[Serre fibration|Serre fibration]]), and they satisfy the following homotopy lifting theorem: If the simplicial mappings $  \widetilde{f}  : K \rightarrow E $
 +
and $  \Phi : K \times \Delta  ^ {1} \rightarrow B $
 +
satisfy the equation $  \Phi \circ (  \mathop{\rm id} \times \delta _ {1} ) = p \circ \widetilde{f}  $,  
 +
then there is a simplicial mapping $  \widetilde \Phi  : K \times \Delta  ^ {1} \rightarrow E $
 +
such that $  \widetilde \Phi  \circ (  \mathop{\rm id} \times \delta _ {1} ) = \widetilde{f}  $
 +
and $  p \circ \widetilde \Phi  = \Phi $.  
 +
If the fibration $  p $
 +
is surjective, then $  E $
 +
is full if and only if $  B $
 +
is full. The fibre of $  p: E \rightarrow B $
 +
is the (automatically full) simplicial set $  F = p  ^ {-} 1 ( \theta ) $,  
 +
where $  \theta $
 +
is the distinguished point of $  B $.  
 +
For any Serre fibration $  p: E \rightarrow B $
 +
the simplicial mapping $  S ( p): S ( E) \rightarrow S ( B) $
 +
is a Kan fibration, and for any Kan fibration $  p: E \rightarrow B $
 +
the mapping $  R p : RE \rightarrow RB $
 +
is a Serre fibration (see [[#References|[5]]]).
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400345.png" /> be a full pointed simplicial set and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400346.png" />. Write <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400347.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400348.png" /> when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400349.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400350.png" />, that is, when
+
Let $  K $
 +
be a full pointed simplicial set and let $  n \geq  0 $.  
 +
Write $  x \sim  ^ {n} y $
 +
for $  x, y \in K _ {q} $
 +
when $  d _ {i} x = d _ {i} y $
 +
for all $  i \leq  n $,  
 +
that is, when
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400351.png" /></td> </tr></table>
+
$$
 +
\left . \chi _ {x} \right | _ { \mathop{\rm Sk}  ^ {n} \Delta  ^ {q} }  = \left . \chi _ {y} \right | _ { \mathop{\rm Sk}  ^ {n} \Delta  ^ {q} }
 +
$$
  
(see [[Standard simplex|Standard simplex]]). This is an equivalence relation, and the quotient sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400352.png" /> form a simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400353.png" /> (with respect to the induced boundary and degeneracy operators), called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400355.png" />-co-skeleton of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400356.png" />. By definition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400357.png" />. For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400358.png" />, the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400359.png" /> is full and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400360.png" /> when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400361.png" />. Moreover, for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400362.png" /> the natural surjective simplicial mapping
+
(see [[Standard simplex|Standard simplex]]). This is an equivalence relation, and the quotient sets $  (  \mathop{\rm Cosk}  ^ {n}  K) _ {q} = K _ {q} / \sim  ^ {n} $
 +
form a simplicial set $  \mathop{\rm Cosk}  ^ {n}  K $(
 +
with respect to the induced boundary and degeneracy operators), called the $  n $-
 +
co-skeleton of $  K $.  
 +
By definition, $  \mathop{\rm Cosk}  ^  \infty  K = K $.  
 +
For any $  n \geq  0 $,  
 +
the simplicial set $  \mathop{\rm Cosk}  ^ {n}  K $
 +
is full and $  \pi _ {q} (  \mathop{\rm Cosk}  ^ {n}  K) = 0 $
 +
when $  q > n $.  
 +
Moreover, for any $  m \leq  n $
 +
the natural surjective simplicial mapping
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400363.png" /></td> </tr></table>
+
$$
 +
p _ {m}  ^ {n} : \
 +
\mathop{\rm Cosk}  ^ {n}  K  \rightarrow \
 +
\mathop{\rm Cosk}  ^ {m}  K
 +
$$
  
is a fibration inducing an isomorphism of homotopy groups in dimensions less than or equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400364.png" />. In particular, the fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400365.png" /> is homotopy equivalent to the Eilenberg–MacLane simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400366.png" />. The sequence of fibrations
+
is a fibration inducing an isomorphism of homotopy groups in dimensions less than or equal to $  m $.  
 +
In particular, the fibre of $  p _ {n - 1 }  ^ {n} $
 +
is homotopy equivalent to the Eilenberg–MacLane simplicial set $  K ( \pi _ {n} ( K), n) $.  
 +
The sequence of fibrations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400367.png" /></td> </tr></table>
+
$$
 +
K  \rightarrow \dots \rightarrow \
 +
\mathop{\rm Cosk} ^ {n + 1 }  K  \rightarrow \
 +
\mathop{\rm Cosk}  ^ {n}  K  \rightarrow \
 +
\mathop{\rm Cosk} ^ {n - 1 }  K  \rightarrow \dots
 +
$$
  
is called the [[Postnikov system|Postnikov system]] of a full simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400368.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400369.png" /> is minimal, then this sequence is a resolution of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400370.png" /> (see [[Homotopy type|Homotopy type]]).
+
is called the [[Postnikov system|Postnikov system]] of a full simplicial set $  K $.  
 +
If $  K $
 +
is minimal, then this sequence is a resolution of $  K $(
 +
see [[Homotopy type|Homotopy type]]).
  
The construction of the Postnikov system admits a direct generalization to an arbitrary fibration <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400371.png" /> of a full simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400372.png" /> over a full simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400373.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400374.png" /> be the simplicial set whose fibres <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400375.png" /> are the quotient sets of the fibres <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400376.png" /> by the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400377.png" />, which holds if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400378.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400379.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400380.png" />. By definition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400381.png" />. Note that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400382.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400383.png" /> the natural simplicial mapping
+
The construction of the Postnikov system admits a direct generalization to an arbitrary fibration $  p: E \rightarrow B $
 +
of a full simplicial set $  E $
 +
over a full simplicial set $  B $.  
 +
Let $  \mathop{\rm Cosk}  ^ {\ } p $
 +
be the simplicial set whose fibres $  (  \mathop{\rm Cosk}  ^ {n}  p) _ {q} $
 +
are the quotient sets of the fibres $  E _ {q} $
 +
by the relation $  x \sim  ^ {n} y $,  
 +
which holds if and only if $  p ( x) = p ( y) $
 +
and $  d _ {i} x = d _ {i} y $
 +
for all $  i \leq  n $.  
 +
By definition, $  \mathop{\rm Cosk}  ^  \infty  p = E $.  
 +
Note that $  \mathop{\rm Cosk}  ^ {0}  p = B $.  
 +
For $  m \leq  n \leq  \infty $
 +
the natural simplicial mapping
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400384.png" /></td> </tr></table>
+
$$
 +
p _ {m}  ^ {n} :   \mathop{\rm Cosk}  ^ {n}  p  \rightarrow  \mathop{\rm Cosk}  ^ {m}  p
 +
$$
  
is a fibration inducing an isomorphism of homotopy groups in dimensions less than or equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400385.png" /> or greater than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400386.png" />. In particular, the fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400387.png" /> is homotopy equivalent to the Eilenberg–MacLane simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400388.png" />. The fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400389.png" /> is the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400390.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400391.png" /> is the fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400392.png" />. The sequence of fibrations
+
is a fibration inducing an isomorphism of homotopy groups in dimensions less than or equal to $  m $
 +
or greater than $  n + 1 $.  
 +
In particular, the fibre of $  p _ {n - 1 }  ^ {n} $
 +
is homotopy equivalent to the Eilenberg–MacLane simplicial set $  K ( \pi _ {n} ( F  ), n) $.  
 +
The fibre of $  p _ {0}  ^ {n} :   \mathop{\rm Cosk}  ^ {n}  p \rightarrow B $
 +
is the simplicial set $  \mathop{\rm Cosk}  ^ {n}  F $,  
 +
where $  F $
 +
is the fibre of $  p: E \rightarrow B $.  
 +
The sequence of fibrations
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400393.png" /></td> </tr></table>
+
$$
 +
E  \rightarrow \dots \rightarrow \
 +
\mathop{\rm Cosk} ^ {n + 1 }  p  \rightarrow \
 +
\mathop{\rm Cosk}  ^ {n}  p  \rightarrow \
 +
\mathop{\rm Cosk} ^ {n - 1 }  p  \rightarrow \dots \rightarrow  B
 +
$$
  
is called the Moore–Postnikov system of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400394.png" />.
+
is called the Moore–Postnikov system of $  p: E \rightarrow B $.
  
It is convenient to define spectra in the language of simplicial sets. A simplicial spectrum is a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400395.png" /> of pointed sets (whose elements are called simplices, and the distinguished simplex is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400396.png" />) defined for any integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400397.png" />, and equipped with mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400398.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400399.png" /> (boundary operators), and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400400.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400401.png" /> (degeneracy operators), which satisfy the relations (*) together with the following condition: For every simplex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400402.png" /> there is an integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400403.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400404.png" /> when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400405.png" />. To any spectrum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400406.png" /> and integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400407.png" /> one can assign the simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400408.png" /> defined by
+
It is convenient to define spectra in the language of simplicial sets. A simplicial spectrum is a sequence $  \{ X _ {(} q) \} $
 +
of pointed sets (whose elements are called simplices, and the distinguished simplex is denoted by $  \theta $)  
 +
defined for any integer $  q $,  
 +
and equipped with mappings $  d _ {i} : X _ {(} q) \rightarrow X _ {( q - 1) }  $,  
 +
$  i \geq  0 $(
 +
boundary operators), and $  s _ {i} : X _ {(} q) \rightarrow X _ {( q - 1) }  $,  
 +
$  i \geq  0 $(
 +
degeneracy operators), which satisfy the relations (*) together with the following condition: For every simplex $  x \in X $
 +
there is an integer $  n $
 +
such that $  d _ {i} x = \theta $
 +
when $  i > n $.  
 +
To any spectrum $  X $
 +
and integer $  n $
 +
one can assign the simplicial set $  X _ {n} $
 +
defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400409.png" /></td> </tr></table>
+
$$
 +
( X _ {n} ) _ {q}  = \
 +
\{ {x \in X _ {( q - n) }  } : {
 +
d _ {i} x = \theta  \textrm{ for }  i > q,\
 +
d _ {0} \dots d _ {q} x = 0 } \}
 +
.
 +
$$
  
These simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400410.png" /> are equipped with imbeddings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400411.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400412.png" /> is the [[Suspension|suspension]] functor. From the sequence of simplicial sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400413.png" /> and imbeddings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400414.png" />, the simplicial spectrum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400415.png" /> can in turn be uniquely recovered. If every member of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400416.png" /> is full, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400417.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400418.png" /> is the [[Loop|loop]] functor. The geometric realization functor gives an equivalence of the category of simplicial spectra and the category of topological spectra. Simplicial spectra can be defined for an arbitrary category. The category of Abelian group spectra is isomorphic to the category of (Abelian) chain complexes.
+
These simplicial sets $  X _ {n} $
 +
are equipped with imbeddings $  SX _ {n} \subset  X _ {n + 1 }  $,  
 +
where $  S $
 +
is the [[Suspension|suspension]] functor. From the sequence of simplicial sets $  X _ {n} $
 +
and imbeddings $  SX _ {n} \subset  X _ {n + 1 }  $,  
 +
the simplicial spectrum $  X $
 +
can in turn be uniquely recovered. If every member of $  X $
 +
is full, then $  X _ {n} = \Omega X _ {n + 1 }  $,  
 +
where $  \Omega $
 +
is the [[Loop|loop]] functor. The geometric realization functor gives an equivalence of the category of simplicial spectra and the category of topological spectra. Simplicial spectra can be defined for an arbitrary category. The category of Abelian group spectra is isomorphic to the category of (Abelian) chain complexes.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P. Gabriel,  M. Zisman,  "Calculus of fractions and homotopy theory" , Springer  (1967)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  J.P. May,  "Simplicial objects in algebraic topology" , v. Nostrand  (1967)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K. Lamotke,  "Semisimpliziale algebraische Topologie" , Springer  (1968)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  D.M. Kan,  "On c.s.s. complexes"  ''Amer. J. Math.'' , '''79'''  (1957)  pp. 449–476</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  D.G. Quillen,  "The geometric realization of a Kan fibration is a Serre fibration"  ''Proc. Amer. Math. Soc.'' , '''19'''  (1968)  pp. 1499–1500</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  E.H. Brown,  "Finite computability of Postnikov complexes"  ''Ann. of Math. (2)'' , '''65'''  (1957)  pp. 1–20</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  D.M. Kan,  "A combinatorial definition of homotopy groups"  ''Ann. of Math. (2)'' , '''67'''  (1958)  pp. 282–312</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  D.M. Kan,  "On homotopy theory and c.s.s. groups"  ''Ann. of Math. (2)'' , '''68'''  (1958)  pp. 38–53</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  D.M. Kan,  "An axiomatization of the homotopy groups"  ''Illinois J. Math.'' , '''2'''  (1958)  pp. 548–566</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  D.M. Kan,  "A relation between CW-complexes and free c.s.s. groups"  ''Amer. J. Math.'' , '''81'''  (1959)  pp. 512–528</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P. Gabriel,  M. Zisman,  "Calculus of fractions and homotopy theory" , Springer  (1967)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  J.P. May,  "Simplicial objects in algebraic topology" , v. Nostrand  (1967)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K. Lamotke,  "Semisimpliziale algebraische Topologie" , Springer  (1968)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  D.M. Kan,  "On c.s.s. complexes"  ''Amer. J. Math.'' , '''79'''  (1957)  pp. 449–476</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  D.G. Quillen,  "The geometric realization of a Kan fibration is a Serre fibration"  ''Proc. Amer. Math. Soc.'' , '''19'''  (1968)  pp. 1499–1500</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  E.H. Brown,  "Finite computability of Postnikov complexes"  ''Ann. of Math. (2)'' , '''65'''  (1957)  pp. 1–20</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  D.M. Kan,  "A combinatorial definition of homotopy groups"  ''Ann. of Math. (2)'' , '''67'''  (1958)  pp. 282–312</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  D.M. Kan,  "On homotopy theory and c.s.s. groups"  ''Ann. of Math. (2)'' , '''68'''  (1958)  pp. 38–53</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  D.M. Kan,  "An axiomatization of the homotopy groups"  ''Illinois J. Math.'' , '''2'''  (1958)  pp. 548–566</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  D.M. Kan,  "A relation between CW-complexes and free c.s.s. groups"  ''Amer. J. Math.'' , '''81'''  (1959)  pp. 512–528</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
The  "Kan condition"  that every horn fills out is also called the extension condition.
 
The  "Kan condition"  that every horn fills out is also called the extension condition.
  
A simplicial set or simplicial complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400419.png" /> is called a Kan complex if it satisfies the Kan condition, [[#References|[2]]], p. 2.
+
A simplicial set or simplicial complex $  K $
 +
is called a Kan complex if it satisfies the Kan condition, [[#References|[2]]], p. 2.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400420.png" /> be the set of all monomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400421.png" /> of horns.
+
Let $  B $
 +
be the set of all monomorphisms $  \Lambda  ^ {k} [ n] \rightarrow \Delta [ n] $
 +
of horns.
  
A class of monomorphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400422.png" /> in a category is called saturated if it satisfies the following conditions:
+
A class of monomorphisms $  {\mathcal M} $
 +
in a category is called saturated if it satisfies the following conditions:
  
i) all isomorphisms belong to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400423.png" />;
+
i) all isomorphisms belong to $  {\mathcal M} $;
  
 
ii) let
 
ii) let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400424.png" /></td> </tr></table>
+
$$
  
be a co-Cartesian square. Then if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400425.png" />, also <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400426.png" /> (stability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400427.png" /> under pushouts; a co-Cartesian square is a [[Cartesian square|Cartesian square]] in the dual category);
+
\begin{array}{rcl}
 +
X  & \rightarrow  & Y  \\
 +
{size - 3 {m } } \downarrow  &{}  &\downarrow {size - 3 {m  ^  \prime  } }  \\
 +
{X  ^  \prime  }  & \rightarrow  &{Y  ^  \prime  }  \\
 +
\end{array}
 +
 
 +
$$
 +
 
 +
be a co-Cartesian square. Then if $  m \in {\mathcal M} $,  
 +
also $  m  ^  \prime  \in {\mathcal M} $(
 +
stability of $  {\mathcal M} $
 +
under pushouts; a co-Cartesian square is a [[Cartesian square|Cartesian square]] in the dual category);
  
 
iii) given a commutative diagram
 
iii) given a commutative diagram
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400428.png" /></td> </tr></table>
+
$$
 +
 
 +
\begin{array}{rcccl}
 +
X  & \rightarrow ^ { u }    & Y  & \rightarrow ^ { v }    & X  \\
 +
{size - 3 {m  ^  \prime  } } \downarrow  &{}  &\downarrow {size - 3 {m } }  &{}  &\downarrow {size - 3 {m  ^  \prime  } }  \\
 +
{X  ^  \prime  }  &  \mathop \rightarrow \limits _ { {u  ^  \prime  }}    &{Y  ^  \prime  }  &  \mathop \rightarrow \limits _ { {v  ^  \prime  }}    &{X  ^  \prime  }  \\
 +
\end{array}
 +
 
 +
$$
 +
 
 +
with  $  v \circ u = \mathop{\rm id} $,
 +
$  v  ^  \prime  \circ u  ^  \prime  = \mathop{\rm id} $
 +
and  $  m \in {\mathcal M} $,
 +
then  $  m  ^  \prime  \in {\mathcal M} $(
 +
stability of  $  {\mathcal M} $
 +
under retractions);
 +
 
 +
iv)  $  {\mathcal M} $
 +
is stable under countable compositions and arbitrary direct sums.
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400429.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400430.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400431.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400432.png" /> (stability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400433.png" /> under retractions);
+
Let  $  \widehat{B}  $
 +
be the saturated closure of  $  B $,  
 +
i.e. the intersection of all saturated classes containing  $  B $.  
 +
These are called the anodyne extensions in [[#References|[1]]].
  
iv) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400434.png" /> is stable under countable compositions and arbitrary direct sums.
+
A morphism  $  p :  E \rightarrow X $
 +
of  $  \Delta  ^ {0}  \mathop{\rm Ens} $
 +
is called a Kan fibration if for each anodyne extension  $  i: K \rightarrow L $
 +
and commutative square
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400435.png" /> be the saturated closure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400436.png" />, i.e. the intersection of all saturated classes containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400437.png" />. These are called the anodyne extensions in [[#References|[1]]].
+
$$
  
A morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400438.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400439.png" /> is called a Kan fibration if for each anodyne extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400440.png" /> and commutative square
+
\begin{array}{rcl}
 +
K  &\rightarrow ^ { u }    & E  \\
 +
{size - 3 {i } } \downarrow  &{}  &\downarrow {size - 3 {p } }  \\
 +
L  & \rightarrow _ { v }  & X  \\
 +
\end{array}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400441.png" /></td> </tr></table>
+
$$
  
there exists a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400442.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400443.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400444.png" />. A simplicial set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400445.png" /> is a Kan complex if and only if the unique morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400446.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085400/s085400447.png" /> is the standard zero simplex, is a Kan fibration.
+
there exists a morphism $  w : L \rightarrow E $
 +
such that $  w \circ i = u $
 +
and $  p \circ w = v $.  
 +
A simplicial set $  X $
 +
is a Kan complex if and only if the unique morphism $  X \rightarrow \Delta [ 0] $,  
 +
where $  \Delta [ 0] $
 +
is the standard zero simplex, is a Kan fibration.

Revision as of 14:55, 7 June 2020


(formerly called semi-simplicial complex, full semi-simplicial complex)

A simplicial object in the category of sets $ \mathop{\rm Ens} $( cf. Simplicial object in a category), that is, a system of sets ( $ n $- fibres) $ K _ {n} $, $ n \geq 0 $, connected by mappings $ d _ {i} : K _ {n} \rightarrow K _ {n - 1 } $, $ 0 \leq i \leq n $( boundary operators), and $ s _ {i} : K _ {n} \rightarrow K _ {n + 1 } $, $ 0 \leq i \leq n $( degeneracy operators), satisfying the conditions

$$ \tag{* } \left . \begin{array}{ll} d _ {i} d _ {j} = d _ {j - 1 } d _ {i} \ \textrm{ if } i < j, &d _ {i} s _ {j} = \ \left \{ \begin{array}{} s _ {j - 1 } \\ \end{array} d _ {i} \ \textrm{ if } i < j, \\ s _ {i} s _ {j} = s _ {j + 1 } s _ {i} \ \textrm{ if } i \leq j; & \mathop{\rm id} \ \textrm{ if } i = j \textrm{ or } i = j + 1, \\ d _ {i} s _ {j} = \ \left \{ \begin{array}{} s _ {j - 1 } \\ \end{array} d _ {i} \ \textrm{ if } i < j, \\ \end{array} \right \} $$

The elements of the fibre $ K _ {n} $ are called the $ n $- dimensional simplices of the simplicial set $ K $. If only the operators $ d _ {i} $ are given, satisfying the relations $ d _ {i} d _ {j} = d _ {j - 1 } d _ {i} $, $ i < j $, then the system $ \{ K _ {n} , d _ {n} \} $ is called a semi-simplicial set.

A simplicial mapping $ f: K \rightarrow K ^ \prime $ between two simplicial sets $ K $ and $ K ^ \prime $ is a morphism of functors, i.e. a sequence of mappings $ f _ {n} : K _ {n} \rightarrow K _ {n} ^ \prime $, $ n \geq 0 $, satisfying the relations

$$ d _ {i} f _ {n + 1 } = f _ {n} d _ {i} ,\ \ 0 \leq i \leq n + 1; \ \ s _ {i} f _ {n} = f _ {n + 1 } s _ {i} ,\ \ 0 \leq i \leq n. $$

Simplicial sets and their simplicial mappings form a category, $ \Delta ^ {0} \mathop{\rm Ens} $. If all the $ f _ {n} $ are imbeddings, then $ K $ is called a simplicial subset of $ K ^ \prime $. In this case, the boundary and degeneracy operators in $ K $ are the restrictions to $ K $ of the corresponding operators in $ K ^ \prime $.

Given any topological space $ X $, one can define a simplicial set $ S ( X) $, called the singular simplicial set of the space $ X $. Its simplices are the singular simplices of $ X $( see Singular homology), i.e. continuous mappings $ \sigma : \Delta ^ {n} \rightarrow X $, where $ \Delta ^ {n} $ is the $ n $- dimensional geometric standard simplex:

$$ \Delta ^ {n} = \ \left \{ { ( t _ {0} \dots t _ {n} ) } : { 0 \leq t _ {i} \leq 1,\ \sum _ {i = 0 } ^ { n } t _ {i} = 1 } \right \} \subset \ \mathbf R ^ {n + 1 } . $$

The boundary operators $ d _ {i} $ and degeneracy operators $ s _ {i} $ of this simplicial set are defined by the formulas

$$ ( d _ {i} \sigma ) ( t _ {0} \dots t _ {n - 1 } ) = \ \sigma ( t _ {0} \dots t _ {i - 1 } ,\ 0, t _ {i} \dots t _ {n - 1 } ), $$

$$ ( s _ {i} \sigma ) ( t _ {0} \dots t _ {n + 1 } ) = $$

$$ = \ \sigma ( t _ {0} \dots t _ {i - 1 } , t _ {i} + t _ {i + 1 } , t _ {i+ 2 } \dots t _ {n + 1 } ). $$

The correspondence $ X \mapsto S ( X) $ is a functor (called the singular functor) from the category of topological spaces $ \mathop{\rm Top} $ into the category of simplicial sets $ \Delta ^ {0} \mathop{\rm Ens} $.

An arbitrary simplicial complex $ K $ determines a simplicial set $ O ( K) $. Its $ n $- dimensional simplices are the $ ( n + 1) $- tuples $ ( x _ {0} \dots x _ {n} ) $ of vertices of $ K $ with the property that there is a simplex $ s $ in $ K $ such that $ x _ {i} \in s $ for $ i = 0 \dots n $. The operators $ d _ {i} $ and $ s _ {i} $ for this simplicial set are given by

$$ d _ {i} ( x _ {0} \dots x _ {n} ) = \ ( x _ {0} \dots \widehat{x} _ {i} \dots x _ {n} ), $$

$$ s _ {i} ( x _ {0} \dots x _ {n} ) = ( x _ {0} \dots x _ {i} , x _ {i} , x _ {i + 1 } \dots x _ {n} ), $$

where $ \widehat{ {}} $ means that the symbol below it is omitted. If $ K $ is ordered, then the simplices $ ( x _ {0} \dots x _ {n} ) $ for which $ x _ {0} \leq \dots \leq x _ {n} $ form a simplicial subset $ O ^ {+} ( K) $ of $ O ( K) $. The correspondence $ K \mapsto O ( K) $( $ K \mapsto O ^ {+} ( K) $) is a functor from the category of simplicial complexes (ordered simplicial complexes) into the category $ \Delta ^ {0} \mathop{\rm Ens} $.

For an arbitrary group $ \pi $ one can define a simplicial set $ K ( \pi ) $. Its $ n $- simplices are equivalence classes of $ ( n + 1) $- tuples $ ( x _ {0} : \dots : x _ {n} ) $, $ x _ {i} \in \pi $( where $ ( x _ {0} : \dots : x _ {n} ) \sim ( x _ {0} ^ \prime : \dots : x _ {n} ^ \prime ) $ if there is an element $ y \in \pi $ such that $ x _ {i} ^ \prime = yx _ {i} $ for all $ i = 0 \dots n $). The operators $ d _ {i} $ and $ s _ {i} $ of $ K ( \pi ) $ are given by

$$ d _ {i} ( x _ {0} : \dots : x _ {n} ) = \ ( x _ {0} : \dots : x _ {i - 1 } : \ x _ {i + 1 } : \dots : x _ {n} ), $$

$$ s _ {i} ( x _ {0} : \dots : x _ {n} ) = ( x _ {0} : \dots : x _ {i - 1 } : x _ {i} : x _ {i} : x _ {i + 1 } : \dots : x _ {n} ). $$

The simplicial set $ K ( \pi ) $ is actually a simplicial group.

Given an arbitrary Abelian group $ \pi $ and any integer $ n \geq 1 $, one can define a simplicial set (in fact, a simplicial Abelian group) $ E ( \pi , n) $. Its $ q $- dimensional simplices are the $ n $- dimensional cochains of the $ q $- dimensional geometric standard simplex $ \Delta ^ {q} $ with coefficients in $ \pi $( that is, $ E ( \pi , n) _ {q} = C ^ {n} ( \Delta ^ {q} ; \pi ) $). Denoting the vertices of $ \Delta ^ {q} $ by $ e _ {j} ^ {q} $, $ j = 0 \dots q $, one defines the simplicial mappings $ \delta _ {i} : \Delta ^ {q - 1 } \rightarrow \Delta ^ {q} $ and $ \sigma _ {i} : \Delta ^ {q} \rightarrow \Delta ^ {q - 1 } $ by the formulas

$$ \delta _ {i} ( e _ {j} ^ {q - 1 } ) = \ \left \{ \begin{array}{ll} e _ {j} ^ {q} &\textrm{ if } j < i, \\ e _ {j + 1 } ^ {q} &\textrm{ if } j \geq i; \\ \end{array} \right .$$

$$ \sigma _ {i} ( e _ {j} ^ {q} ) = \left \{ \begin{array}{ll} e _ {j} ^ {q - 1 } &\textrm{ if } j \leq i, \\ e _ {j - 1 } ^ {q - 1 } &\textrm{ if } j > i. \\ \end{array} \right .$$

The induced homomorphisms of cochain groups

$$ d _ {i} = \ \delta _ {i} ^ {*} : \ C ^ {n} ( \Delta ^ {q} ; \pi ) \rightarrow \ C ^ {n} ( \Delta _ {q - 1 } ; \pi ), $$

$$ s _ {i} = \sigma _ {i} ^ {*} : C ^ {n} ( \Delta ^ {q - 1 } , \pi ) \rightarrow C ^ {n} ( \Delta ^ {q} ; \pi ) $$

are, by definition, the boundary and degeneracy operators of the simplicial set $ E ( \pi , n) $. The simplices that are cocycles form a simplicial subset of $ E ( \pi , n) $, called the Eilenberg–MacLane simplicial set and denoted by $ K ( \pi , n) $. The coboundary operator on the groups $ C ^ {*} ( \Delta ^ {q} ; \pi ) $ defines a canonical simplicial mapping $ E ( \pi , n) \rightarrow K ( \pi , n + 1) $, denoted by $ \delta $. Since the concept of a one-dimensional cocycle also makes sense when $ \pi $ is non-Abelian (see Non-Abelian cohomology), the simplicial set $ K ( \pi , 1) $ can be defined without the assumption that $ \pi $ is Abelian. This simplicial set is isomorphic to the simplicial set $ K ( \pi ) $( by assigning to every simplex $ z \in K ( \pi , 1) _ {q} = Z ^ {1} ( \Delta ^ {q} , \pi ) $ the values at the vertices $ e _ {j} ^ {q} $ of a zero-dimensional cochain whose coboundary is $ z $).

By assigning to every fibre $ K _ {n} $ of a simplicial set $ K $ the free Abelian group generated by it, one obtains a simplicial Abelian group and thus a chain complex. This complex is denoted by $ C ( K) $ and is called the chain complex of $ K $. The (co)homology groups of $ C ( K) $( with coefficients in a group $ G $) are called the (co) homology groups $ H ( K; G) $ and $ H ^ {*} ( K; G) $ of $ K $. The (co)homology groups of a singular simplicial set $ S ( X) $ are the (co)homology groups of the space $ X $. The (co)homology groups of $ O ( K) $ and $ O ^ {+} ( K) $ are isomorphic and are called the (co) homology groups of the simplicial complex $ K $. The (co)homology groups of the simplicial set $ K ( \pi ) $ are the (co) homology groups of $ \pi $.

A simplex $ x \in K _ {n} $ of a simplicial set $ K $ is called degenerate if there is a simplex $ y \in K _ {n - 1 } $ and a degeneracy operator $ s _ {i} $ such that $ x = s _ {i} y $. The Eilenberg–Zil'ber lemma states that any simplex $ x \in K _ {n} $ can be uniquely written in the form $ x = K ( s) y $, where $ s $ is a certain epimorphism $ s _ {i} : [ n] \rightarrow [ m] $, $ m \leq n $, and $ y \in K _ {m} $ is a non-degenerate simplex. The smallest simplicial subset of a simplicial set $ K $ containing all its non-degenerate simplices of dimension at most $ n $ is denoted by $ K ^ {n} $ or $ \mathop{\rm Sk} ^ {n} K $, and is called the $ n $- dimensional skeleton or $ n $- skeleton of $ K $.

The standard geometric simplices (cf. Standard simplex)

$$ \Delta ^ {n} = \ \left \{ { ( t _ {0} \dots t _ {n} ) } : { 0 \leq t _ {i} \leq 1,\ \sum _ {i = 0 } ^ { n } t _ {i} = 1 } \right \} \subset \ \mathbf R ^ {n + 1 } $$

form a co-simplicial topological space with respect to the co-boundary operators $ \delta _ {i} $ and co-degeneracy operators $ \sigma _ {i} $, defined by the formulas

$$ \delta _ {i} ( t _ {0} \dots t _ {n - 1 } ) = \ ( t _ {0} \dots t _ {i - 1 } , 0,\ t _ {i} \dots t _ {n - 1 } ), $$

$$ \sigma _ {i} ( t _ {0} \dots t _ {n + 1 } ) = ( t _ {0} \dots t _ {i - 1 } , t _ {i} + t _ {i + 1 } , t _ {i + 2 } \dots t _ {n + 1 } ). $$

In the disjoint union $ \cup _ {n = 0 } ^ \infty K _ {n} \times \Delta ^ {n} $, where all the $ K _ {n} $ are regarded as discrete sets, the formulas

$$ ( d _ {i} x, u) \sim \ ( x, \delta _ {i} u),\ \ x \in K _ {n} ,\ \ u \in \Delta ^ {n - 1 } ; $$

$$ ( s _ {i} x, u) \sim ( x, \sigma _ {i} u),\ x \in K _ {n} ,\ u \in \Delta ^ {n + 1 } , $$

generate an equivalence relation, the quotient space by which is a complex (a cellular space) whose cells are in one-to-one correspondence with the non-degenerate simplices of $ K $. This complex is denoted by $ | K | $ or $ RK $ and is called the geometric realization in the sense of Milnor of $ K $. Any simplicial mapping $ f: K \rightarrow L $ induces a continuous mapping $ Rf: RK \rightarrow RL $, given by

$$ Rf [ x, u] = \ [ f ( x), u] , $$

and the correspondence $ K \mapsto RK $, $ f \mapsto Rf $ defines a functor $ R: \Delta ^ {0} \mathop{\rm Ens} \rightarrow \mathop{\rm Top} $. This functor is left adjoint to the singular functor $ S: \mathop{\rm Top} \rightarrow \Delta ^ {0} \mathop{\rm Ens} $. The corresponding natural isomorphisms

$$ \phi : \Delta ^ {0} \mathop{\rm Ens} ( K, S ( X)) \rightarrow \ \mathop{\rm Top} ( RK, X), $$

$$ \psi : \mathop{\rm Top} ( RK, X) \rightarrow \Delta ^ {0} \mathop{\rm Ens} ( K, S ( X)) $$

are defined by the formulas

$$ \phi ( f ) [ x, u] = f ( x) ( u), $$

$$ ( \psi ( g) ( x)) ( u) = g [ x, u], $$

where

$$ x \in K _ {n} ,\ \ u \in \Delta ^ {n} ,\ \ f \in \Delta ^ {0} \mathop{\rm Ens} ( K, S ( X)),\ \ g \in \mathop{\rm Top} ( RK, X). $$

For any topological space $ X $ the adjunction morphism $ \Phi ( X): RS ( X) \rightarrow X $ is a weak homotopy equivalence (which proves that any topological space is weakly homotopy equivalent to a complex).

The construction of the geometric realization $ | K | $ extends to the case of a simplicial topological space $ K $. One can also define the geometric realization $ \| K \| $ in the sense of Giever–Hu by taking only the boundary operators $ d _ {i} $ into account (in this model there are cells for all the simplices of $ K $, not just for the non-degenerate ones). If every degeneracy operator $ s _ {i} $ is a closed cofibration (a condition which holds automatically in the case of a simplicial set), then the natural mapping $ p: \| K \| \rightarrow | K | $ is a homotopy equivalence.

The category $ \Delta ^ {0} \mathop{\rm Ens} $ admits products: given simplicial sets $ K = \{ K _ {n} , d _ {i} ^ {K} , s _ {i} ^ {K} \} $ and $ L = \{ L _ {n} , d _ {i} ^ {L} , s _ {i} ^ {L} \} $, their product is the simplicial set $ K \times L $ for which

$$ ( K \times L) _ {n} = K _ {n} \times L _ {n} , $$

$$ d _ {i} ^ {K \times L } = d _ {i} ^ {K} \times d _ {i} ^ {L} , $$

$$ s _ {i} ^ {K \times L } = s _ {i} ^ {K} \times s _ {i} ^ {L} . $$

In particular, given any simplicial set $ K $, one can define its product with the simplicial segment $ \Delta ^ {1} $. The projections $ \pi _ {1} : K \times L \rightarrow K $ and $ \pi _ {2} : K \times L \rightarrow L $ define a bijective mapping

$$ R \pi _ {1} \times R \pi _ {2} : R ( K \times L) \rightarrow RK \times RL, $$

which is a homeomorphism if the product $ RK \times RL $ is a complex (for example, if both simplicial sets $ K $ and $ L $ are countable or if one of the complexes $ RK $, $ RL $ is locally finite). In particular, it follows that the geometric realization of any countable simplicial monoid (group, Abelian group) is a topological monoid (group, Abelian group).

Two simplicial mappings $ f, g: K \rightarrow L $ are called homotopic if there is a simplicial mapping (a homotopy) $ F: K \times \Delta ^ {1} \rightarrow L $ such that

$$ F ( x, sd _ {0} t _ {1} ) = f ( x), $$

$$ F ( x, sd _ {1} t _ {1} ) = g ( x) $$

for any simplex $ x \in K _ {n} $ and for any composition $ s $( of length $ n $) of degeneracy operators. This definition (modelled on the usual definition of homotopy of continuous mappings) is equivalent to the interpretation in simplicial sets of the general definition of homotopy of simplicial mappings between arbitrary simplicial objects (see Simplicial object in a category).

Given the notion of homotopy, it is possible to develop a homotopy theory for simplicial sets similar to that for polyhedra. It turns out that these two theories are completely parallel; this finds expression in the fact that the corresponding homotopy categories are equivalent (the equivalence being induced by the geometric realization functor). In particular, geometric realizations of homotopic simplicial mappings are homotopic and, for example, the geometric realization of $ K ( \pi , n) $ is the Eilenberg–MacLane space $ K ( \pi , n) $. However, the actual construction of the homotopy theory for simplicial sets differs slightly in its details from the construction of the homotopy theory for topological spaces. The main difference is that the relation of homotopy for simplicial mappings is not, in general, an equivalence relation. This difficulty is overcome in the following way.

A simplicial mapping $ \Lambda _ {k} ^ {n} \rightarrow K $ of the standard horn (see Standard simplex) into a simplicial set $ K $ is called a horn in $ K $. Every horn is uniquely defined by an $ ( n + 1) $- tuple of $ n $- simplices $ x _ {0} \dots x _ {k - 1 } , x _ {k + 1 } \dots x _ {n + 1 } $, for which $ d _ {i} x _ {j} = d _ {j - 1 } x _ {i} $ for all $ i < j $, $ i \neq k $. One says that a horn fills out if one can find an $ ( n + 1) $- dimensional simplex $ x $ such that $ d _ {i} x = x _ {i} $ for every $ i \neq k $. The simplicial set $ K $ is said to be full (or to satisfy the Kan condition) if all its horns fill out.

The singular simplicial set $ S ( X) $ of an arbitrary topological space $ X $ is always full, and so is every simplicial group; in particular, the Eilenberg–MacLane simplicial sets $ K ( \pi ) $ and $ K ( \pi , n) $ are full. The importance of full simplicial sets lies in the fact that the relation of homotopy between simplicial mappings from an arbitrary simplicial set to a full simplicial set is an equivalence relation. Therefore, in the subcategory of full simplicial sets, the construction of a homotopy theory involves no major difficulties. Moreover, there is a functor (see [4]) $ \mathop{\rm Ex} ^ \infty : \Delta ^ {0} \mathop{\rm Ens} \rightarrow \Delta ^ {0} \mathop{\rm Ens} $ assigning to every simplicial set $ K $ a full simplicial set, $ \mathop{\rm Ex} ^ \infty K $, whose geometric realization is homotopy equivalent to the geometric realization of $ K $ and which can therefore be used in place of $ K $ in all questions of homotopy.

Two $ n $- simplices $ x $ and $ x ^ \prime $ of a simplicial set $ K $ are called comparable if $ d _ {i} x = d _ {i} x ^ \prime $, $ 0 \leq i \leq n $. Two such simplices are said to be homotopic if there is an $ ( n + 1) $- dimensional simplex $ y $ such that $ d _ {n} y = x $, $ d _ {n + 1 } y = x ^ \prime $ and $ d _ {i} y = s _ {n - 1 } d _ {i} x = s _ {n - 1 } d _ {i} x ^ \prime $, $ 0 \leq i \leq n $. For full simplicial sets this is an equivalence relation, and two simplices are homotopic if and only if their characteristic simplicial mappings are homotopic $ \mathop{\rm rel} \mathop{\rm Sk} ^ {n - 1 } \Delta ^ {n} $.

A simplicial set $ K $ is said to be pointed if it contains a distinguished zero-dimensional simplex $ \theta $( where the symbol $ \theta $ is also used to denote all degenerations of this simplex as well as the simplicial set generated by it, which is usually referred to as the distinguished point of $ K $). For a full pointed simplicial set $ K $, the set $ \pi _ {n} ( K) $ of homotopy classes of $ n $- dimensional simplices comparable with $ \theta $ is a group when $ n \geq 1 $. This group is called the $ n $- dimensional homotopy group of $ K $; this terminology is justified by the fact that $ \pi _ {n} ( K) = \pi _ {n} (| K |) $ and, in particular, $ \pi _ {n} ( K ( \pi , n)) = \pi $ and $ \pi _ {i} ( K ( \pi , n)) = 0 $ for $ i \neq n $. A simplicial set $ K $ for which $ \pi _ {i} ( K) = 0 $ for all $ i \leq n $ is called an $ n $- connected set; in particular, a $ 0 $- connected simplicial set is called connected, and a $ 1 $- connected simplicial set simply connected. For $ n \geq 1 $, the addition in $ \pi _ {n} ( K) $ is induced by the operation which assigns to two simplices $ x $ and $ y $( comparable with $ \theta $) the simplex $ d _ {n} z $, where $ z $ is a simplex of dimension $ n + 1 $, filling the horn $ x _ {i} = \theta $, $ i \leq n - 2 $, $ x _ {n - 1 } = x $, $ x _ {n + 1 } = y $. If $ K $ is a simplicial monoid with unit $ \theta $, then the addition is also induced by the multiplication in this monoid (the product of two simplices comparable with $ \theta $ is comparable with $ \theta $).

Since any simplex $ x $ comparable with $ \theta $ is a cycle (of the chain complex $ C ( K) $ defined by $ K $), there is a natural Hurewicz homomorphism $ h: \pi _ {n} ( K) \rightarrow H _ {n} ( K) $, which induces an isomorphism

$$ \pi _ {1} ( K)/[ \pi _ {1} ( K), \pi _ {1} ( K)] \rightarrow H _ {1} ( K) $$

when $ n = 1 $( Poincaré's theorem), and for $ n > 1 $ it is an isomorphism if $ K $ is $ ( n - 1) $- connected (Hurewicz' theorem). For full simplicial sets both variants of Whitehead's theorem hold, that is, a simplicial mapping $ f: K \rightarrow L $ of full simplicial sets is a homotopy equivalence if and only if it induces an isomorphism of homotopy groups; in the simply-connected case this condition is equivalent to the induced homomorphisms of the homology groups being isomorphisms.

In the case when $ K $ is a simplicial group, the homotopy group $ \pi _ {n} ( K) $ is isomorphic to the homology group $ H _ {n} ( \overline{K}\; ) $ of the (not necessarily Abelian) chain complex $ \overline{K}\; $ for which

$$ \overline{K}\; _ {n} = \ K _ {n} \cap \mathop{\rm Ker} d _ {0} \cap \dots \cap \mathop{\rm Ker} d _ {n - 1 } , $$

and the boundary operator is the restriction to $ \overline{K}\; _ {n} $ of $ (- 1) ^ {n} d _ {n} $. If $ K $ is Abelian, then $ \overline{K}\; $ is a subcomplex of $ K $, regarded as a chain complex, and also a chain deformation retract of it, and hence a direct summand of it. It turns out that the subcomplex generated by the degenerate simplices can be taken as the other direct summand. Therefore, the corresponding quotient complex of $ K $ is chainwise equivalent to it. For example, it follows that the cohomology groups of an arbitrary simplicial set $ K $ are isomorphic to the normalized cohomology groups (the normalization theorem), that is, the groups obtained from the cochains that vanish on all degenerate simplices. Furthermore, $ \pi _ {n} ( C ( K)) = H _ {n} ( K) $.

The functor $ K \mapsto \overline{K}\; $ induces an equivalence between the homotopy theory of simplicial Abelian groups and the homology theory of chain complexes. In particular, it follows that any connected simplicial Abelian group $ K $ is homotopy equivalent to a product of Eilenberg–MacLane simplicial sets $ K ( \pi _ {n} ( K), n) $.

A full simplicial set $ K $ is called minimal when comparable simplices are homotopic if and only if they coincide. The simplicial set $ K ( \pi , n) $ is minimal. Every homotopy equivalence of minimal simplicial sets is an isomorphism. Every full simplicial set $ K $ has a minimal subset. It is a deformation retract, and is thus uniquely defined up to isomorphism.

A simplicial mapping $ p: E \rightarrow B $ is called a Kan fibration if any horn $ f: \Lambda _ {k} ^ {n} \rightarrow E $ in $ E $ can be filled whenever $ p \circ f: \Lambda _ {k} ^ {n} \rightarrow B $ can be, and for any filling $ g: \Delta ^ {n + 1 } \rightarrow B $ of $ p \circ f $ there is a filling $ \widetilde{f} : \Delta ^ {n + 1 } \rightarrow E $ of $ f $ such that $ p \circ \widetilde{f} = g $. Kan fibrations are the simplicial analogue of Serre fibrations (cf. Serre fibration), and they satisfy the following homotopy lifting theorem: If the simplicial mappings $ \widetilde{f} : K \rightarrow E $ and $ \Phi : K \times \Delta ^ {1} \rightarrow B $ satisfy the equation $ \Phi \circ ( \mathop{\rm id} \times \delta _ {1} ) = p \circ \widetilde{f} $, then there is a simplicial mapping $ \widetilde \Phi : K \times \Delta ^ {1} \rightarrow E $ such that $ \widetilde \Phi \circ ( \mathop{\rm id} \times \delta _ {1} ) = \widetilde{f} $ and $ p \circ \widetilde \Phi = \Phi $. If the fibration $ p $ is surjective, then $ E $ is full if and only if $ B $ is full. The fibre of $ p: E \rightarrow B $ is the (automatically full) simplicial set $ F = p ^ {-} 1 ( \theta ) $, where $ \theta $ is the distinguished point of $ B $. For any Serre fibration $ p: E \rightarrow B $ the simplicial mapping $ S ( p): S ( E) \rightarrow S ( B) $ is a Kan fibration, and for any Kan fibration $ p: E \rightarrow B $ the mapping $ R p : RE \rightarrow RB $ is a Serre fibration (see [5]).

Let $ K $ be a full pointed simplicial set and let $ n \geq 0 $. Write $ x \sim ^ {n} y $ for $ x, y \in K _ {q} $ when $ d _ {i} x = d _ {i} y $ for all $ i \leq n $, that is, when

$$ \left . \chi _ {x} \right | _ { \mathop{\rm Sk} ^ {n} \Delta ^ {q} } = \left . \chi _ {y} \right | _ { \mathop{\rm Sk} ^ {n} \Delta ^ {q} } $$

(see Standard simplex). This is an equivalence relation, and the quotient sets $ ( \mathop{\rm Cosk} ^ {n} K) _ {q} = K _ {q} / \sim ^ {n} $ form a simplicial set $ \mathop{\rm Cosk} ^ {n} K $( with respect to the induced boundary and degeneracy operators), called the $ n $- co-skeleton of $ K $. By definition, $ \mathop{\rm Cosk} ^ \infty K = K $. For any $ n \geq 0 $, the simplicial set $ \mathop{\rm Cosk} ^ {n} K $ is full and $ \pi _ {q} ( \mathop{\rm Cosk} ^ {n} K) = 0 $ when $ q > n $. Moreover, for any $ m \leq n $ the natural surjective simplicial mapping

$$ p _ {m} ^ {n} : \ \mathop{\rm Cosk} ^ {n} K \rightarrow \ \mathop{\rm Cosk} ^ {m} K $$

is a fibration inducing an isomorphism of homotopy groups in dimensions less than or equal to $ m $. In particular, the fibre of $ p _ {n - 1 } ^ {n} $ is homotopy equivalent to the Eilenberg–MacLane simplicial set $ K ( \pi _ {n} ( K), n) $. The sequence of fibrations

$$ K \rightarrow \dots \rightarrow \ \mathop{\rm Cosk} ^ {n + 1 } K \rightarrow \ \mathop{\rm Cosk} ^ {n} K \rightarrow \ \mathop{\rm Cosk} ^ {n - 1 } K \rightarrow \dots $$

is called the Postnikov system of a full simplicial set $ K $. If $ K $ is minimal, then this sequence is a resolution of $ K $( see Homotopy type).

The construction of the Postnikov system admits a direct generalization to an arbitrary fibration $ p: E \rightarrow B $ of a full simplicial set $ E $ over a full simplicial set $ B $. Let $ \mathop{\rm Cosk} ^ {\ } p $ be the simplicial set whose fibres $ ( \mathop{\rm Cosk} ^ {n} p) _ {q} $ are the quotient sets of the fibres $ E _ {q} $ by the relation $ x \sim ^ {n} y $, which holds if and only if $ p ( x) = p ( y) $ and $ d _ {i} x = d _ {i} y $ for all $ i \leq n $. By definition, $ \mathop{\rm Cosk} ^ \infty p = E $. Note that $ \mathop{\rm Cosk} ^ {0} p = B $. For $ m \leq n \leq \infty $ the natural simplicial mapping

$$ p _ {m} ^ {n} : \mathop{\rm Cosk} ^ {n} p \rightarrow \mathop{\rm Cosk} ^ {m} p $$

is a fibration inducing an isomorphism of homotopy groups in dimensions less than or equal to $ m $ or greater than $ n + 1 $. In particular, the fibre of $ p _ {n - 1 } ^ {n} $ is homotopy equivalent to the Eilenberg–MacLane simplicial set $ K ( \pi _ {n} ( F ), n) $. The fibre of $ p _ {0} ^ {n} : \mathop{\rm Cosk} ^ {n} p \rightarrow B $ is the simplicial set $ \mathop{\rm Cosk} ^ {n} F $, where $ F $ is the fibre of $ p: E \rightarrow B $. The sequence of fibrations

$$ E \rightarrow \dots \rightarrow \ \mathop{\rm Cosk} ^ {n + 1 } p \rightarrow \ \mathop{\rm Cosk} ^ {n} p \rightarrow \ \mathop{\rm Cosk} ^ {n - 1 } p \rightarrow \dots \rightarrow B $$

is called the Moore–Postnikov system of $ p: E \rightarrow B $.

It is convenient to define spectra in the language of simplicial sets. A simplicial spectrum is a sequence $ \{ X _ {(} q) \} $ of pointed sets (whose elements are called simplices, and the distinguished simplex is denoted by $ \theta $) defined for any integer $ q $, and equipped with mappings $ d _ {i} : X _ {(} q) \rightarrow X _ {( q - 1) } $, $ i \geq 0 $( boundary operators), and $ s _ {i} : X _ {(} q) \rightarrow X _ {( q - 1) } $, $ i \geq 0 $( degeneracy operators), which satisfy the relations (*) together with the following condition: For every simplex $ x \in X $ there is an integer $ n $ such that $ d _ {i} x = \theta $ when $ i > n $. To any spectrum $ X $ and integer $ n $ one can assign the simplicial set $ X _ {n} $ defined by

$$ ( X _ {n} ) _ {q} = \ \{ {x \in X _ {( q - n) } } : { d _ {i} x = \theta \textrm{ for } i > q,\ d _ {0} \dots d _ {q} x = 0 } \} . $$

These simplicial sets $ X _ {n} $ are equipped with imbeddings $ SX _ {n} \subset X _ {n + 1 } $, where $ S $ is the suspension functor. From the sequence of simplicial sets $ X _ {n} $ and imbeddings $ SX _ {n} \subset X _ {n + 1 } $, the simplicial spectrum $ X $ can in turn be uniquely recovered. If every member of $ X $ is full, then $ X _ {n} = \Omega X _ {n + 1 } $, where $ \Omega $ is the loop functor. The geometric realization functor gives an equivalence of the category of simplicial spectra and the category of topological spectra. Simplicial spectra can be defined for an arbitrary category. The category of Abelian group spectra is isomorphic to the category of (Abelian) chain complexes.

References

[1] P. Gabriel, M. Zisman, "Calculus of fractions and homotopy theory" , Springer (1967)
[2] J.P. May, "Simplicial objects in algebraic topology" , v. Nostrand (1967)
[3] K. Lamotke, "Semisimpliziale algebraische Topologie" , Springer (1968)
[4] D.M. Kan, "On c.s.s. complexes" Amer. J. Math. , 79 (1957) pp. 449–476
[5] D.G. Quillen, "The geometric realization of a Kan fibration is a Serre fibration" Proc. Amer. Math. Soc. , 19 (1968) pp. 1499–1500
[6] E.H. Brown, "Finite computability of Postnikov complexes" Ann. of Math. (2) , 65 (1957) pp. 1–20
[7] D.M. Kan, "A combinatorial definition of homotopy groups" Ann. of Math. (2) , 67 (1958) pp. 282–312
[8] D.M. Kan, "On homotopy theory and c.s.s. groups" Ann. of Math. (2) , 68 (1958) pp. 38–53
[9] D.M. Kan, "An axiomatization of the homotopy groups" Illinois J. Math. , 2 (1958) pp. 548–566
[10] D.M. Kan, "A relation between CW-complexes and free c.s.s. groups" Amer. J. Math. , 81 (1959) pp. 512–528

Comments

The "Kan condition" that every horn fills out is also called the extension condition.

A simplicial set or simplicial complex $ K $ is called a Kan complex if it satisfies the Kan condition, [2], p. 2.

Let $ B $ be the set of all monomorphisms $ \Lambda ^ {k} [ n] \rightarrow \Delta [ n] $ of horns.

A class of monomorphisms $ {\mathcal M} $ in a category is called saturated if it satisfies the following conditions:

i) all isomorphisms belong to $ {\mathcal M} $;

ii) let

$$ \begin{array}{rcl} X & \rightarrow & Y \\ {size - 3 {m } } \downarrow &{} &\downarrow {size - 3 {m ^ \prime } } \\ {X ^ \prime } & \rightarrow &{Y ^ \prime } \\ \end{array} $$

be a co-Cartesian square. Then if $ m \in {\mathcal M} $, also $ m ^ \prime \in {\mathcal M} $( stability of $ {\mathcal M} $ under pushouts; a co-Cartesian square is a Cartesian square in the dual category);

iii) given a commutative diagram

$$ \begin{array}{rcccl} X & \rightarrow ^ { u } & Y & \rightarrow ^ { v } & X \\ {size - 3 {m ^ \prime } } \downarrow &{} &\downarrow {size - 3 {m } } &{} &\downarrow {size - 3 {m ^ \prime } } \\ {X ^ \prime } & \mathop \rightarrow \limits _ { {u ^ \prime }} &{Y ^ \prime } & \mathop \rightarrow \limits _ { {v ^ \prime }} &{X ^ \prime } \\ \end{array} $$

with $ v \circ u = \mathop{\rm id} $, $ v ^ \prime \circ u ^ \prime = \mathop{\rm id} $ and $ m \in {\mathcal M} $, then $ m ^ \prime \in {\mathcal M} $( stability of $ {\mathcal M} $ under retractions);

iv) $ {\mathcal M} $ is stable under countable compositions and arbitrary direct sums.

Let $ \widehat{B} $ be the saturated closure of $ B $, i.e. the intersection of all saturated classes containing $ B $. These are called the anodyne extensions in [1].

A morphism $ p : E \rightarrow X $ of $ \Delta ^ {0} \mathop{\rm Ens} $ is called a Kan fibration if for each anodyne extension $ i: K \rightarrow L $ and commutative square

$$ \begin{array}{rcl} K &\rightarrow ^ { u } & E \\ {size - 3 {i } } \downarrow &{} &\downarrow {size - 3 {p } } \\ L & \rightarrow _ { v } & X \\ \end{array} $$

there exists a morphism $ w : L \rightarrow E $ such that $ w \circ i = u $ and $ p \circ w = v $. A simplicial set $ X $ is a Kan complex if and only if the unique morphism $ X \rightarrow \Delta [ 0] $, where $ \Delta [ 0] $ is the standard zero simplex, is a Kan fibration.

How to Cite This Entry:
Simplicial set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Simplicial_set&oldid=49587
This article was adapted from an original article by S.N. MalyginM.M. Postnikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article