## Tag `017T`

Chapter 14: Simplicial Methods > Section 14.18: Splitting simplicial objects

Lemma 14.18.4. Let $U$ be a simplicial set. Let $n \geq 0$ be an integer. The rule $$ U'_m = \bigcup\nolimits_{\varphi : [m] \to [i], ~i\leq n} \mathop{\mathrm{Im}}(U(\varphi)) $$ defines a sub simplicial set $U' \subset U$ with $U'_i = U_i$ for $i \leq n$. Moreover, all $m$-simplices of $U'$ are degenerate for all $m > n$.

Proof.If $x \in U_m$ and $x = U(\varphi)(y)$ for some $y \in U_i$, $i \leq n$ and some $\varphi : [m] \to [i]$ then any image $U(\psi)(x)$ for any $\psi : [m'] \to [m]$ is equal to $U(\varphi \circ \psi)(y)$ and $\varphi \circ \psi : [m'] \to [i]$. Hence $U'$ is a simplicial set. By construction all simplices in dimension $n + 1$ and higher are degenerate. $\square$

The code snippet corresponding to this tag is a part of the file `simplicial.tex` and is located in lines 1845–1857 (see updates for more information).

```
\begin{lemma}
\label{lemma-simplicial-set-n-skel-sub}
Let $U$ be a simplicial set.
Let $n \geq 0$ be an integer.
The rule
$$
U'_m = \bigcup\nolimits_{\varphi : [m] \to [i], \ i\leq n} \Im(U(\varphi))
$$
defines a sub simplicial set $U' \subset U$ with
$U'_i = U_i$ for $i \leq n$.
Moreover, all $m$-simplices of $U'$ are degenerate for
all $m > n$.
\end{lemma}
\begin{proof}
If $x \in U_m$ and $x = U(\varphi)(y)$
for some $y \in U_i$, $i \leq n$ and some $\varphi : [m] \to [i]$
then any image $U(\psi)(x)$ for any $\psi : [m'] \to [m]$ is
equal to $U(\varphi \circ \psi)(y)$ and $\varphi \circ \psi :
[m'] \to [i]$. Hence $U'$ is a simplicial set. By construction
all simplices in dimension $n + 1$ and higher are degenerate.
\end{proof}
```

## Comments (0)

## Add a comment on tag `017T`

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.

There are also 4 comments on Section 14.18: Simplicial Methods.