「複体」の版間の差分

単体複体の間の、単体の構造を保つ写像を'''単体写像'''という。具体的には 2 つの複体 ''K'', ''L'' があるとき、''K'' の頂点集合 ''V''_''LK'' から ''L'' の頂点集合 ''V''_''KL'' への写像 ''f'' が引き起こす ''K'' に属する単体全体のなす集合から ''L'' に属する単体全体の成す集合への写像 ''f''^* が包含関係による順序を保つとき、''f'' は複体の間の写像であるという。''f'' および ''f''^* がともに全単射であれば、2 つの複体は'''単体同型'''という。