Representing map of x

Proposition:
(Representing map of x). Let X be a simplicial set and let x\in X_n. There exists a unique simplicial map f_x:\Delta[n]\to X such that f_x(\sigma_n)=x.
Proof:
Let (i_0,i_1,\dots,i_k)\in\Delta[n]. (i_0,i_1,\dots,i_k) can be written as iterated compositions of faces and degeneracies of \sigma_n, i.e. (i_0,i_1,\dots,i_k)=g\sigma_n where g is an iterated composition of faces (d_j) and degeneracies (s_j). Then
\begin{aligned}  f_x(i_0,i_1,\dots,i_k)&=f_x(g\sigma_n)\\  &=gf_x(\sigma_n)\\  &=gx  \end{aligned}
This defines a unique simplicial map f_x such that f_x(\sigma_n)=x.

Advertisements

About mathtuition88

http://mathtuition88.com
This entry was posted in math and tagged . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s