Ensembles simpliciaux
Bonsoir,
Un ensemble simplicial est déterminé par la donnée d'un ensemble $X_n$ pour chaque entier $n$ et des applications "face" $d_i:X_{n+1} \to X_{n}$ et "degeneracy" $s_i: X_{n} \to X_{n+1}$ (je ne sais pas comment on traduit ça) pour chaque entier naturel $n$ et chaque $i \leq n$, lesquelles vérifient certaines relations. Parmi ces relations, on a, en particulier, $d_i \circ d_j = d_{j-1} \circ d_{i}$ pour $i < j$. Par exemple, on a $d_0 \circ d_1 = d_0 \circ d_0: X_2 \to X_0$. En revanche, en général, on n'a pas $d_0 \circ d_1 = d_0 \circ d_2$.
Je lis qu'un ensemble simplicial "peut être ainsi visualisé comme un diagramme de la forme" celui qui est joint. Or je ne comprends pas comment on lit sur ce diagramme que, par exemple, on a $d_0 \circ d_1 = d_0 \circ d_0$ mais pas nécessairement $d_0 \circ d_1 = d_0 \circ d_2$. D'habitude, avec un diagramme commutatif, on prend deux chemins quelconques d'un point $A$ à un point $B$ et les deux chemins désignent une égalité de composition, mais ici, des fois ça commute et des fois non.
Un ensemble simplicial est déterminé par la donnée d'un ensemble $X_n$ pour chaque entier $n$ et des applications "face" $d_i:X_{n+1} \to X_{n}$ et "degeneracy" $s_i: X_{n} \to X_{n+1}$ (je ne sais pas comment on traduit ça) pour chaque entier naturel $n$ et chaque $i \leq n$, lesquelles vérifient certaines relations. Parmi ces relations, on a, en particulier, $d_i \circ d_j = d_{j-1} \circ d_{i}$ pour $i < j$. Par exemple, on a $d_0 \circ d_1 = d_0 \circ d_0: X_2 \to X_0$. En revanche, en général, on n'a pas $d_0 \circ d_1 = d_0 \circ d_2$.
Je lis qu'un ensemble simplicial "peut être ainsi visualisé comme un diagramme de la forme" celui qui est joint. Or je ne comprends pas comment on lit sur ce diagramme que, par exemple, on a $d_0 \circ d_1 = d_0 \circ d_0$ mais pas nécessairement $d_0 \circ d_1 = d_0 \circ d_2$. D'habitude, avec un diagramme commutatif, on prend deux chemins quelconques d'un point $A$ à un point $B$ et les deux chemins désignent une égalité de composition, mais ici, des fois ça commute et des fois non.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Donc on ne lit pas cette relation, elle est "sue".
("faces" et "dégénérescences" sont les termes communément employés)
Je vois que tu as la réponse à ta question. Peut-être, pour l'aspect ``illustrated'', que tu peux tout de même jeter un oeil sur ``An elementary illustrated introduction to simplicial sets'' de Greg Friedman in https://arxiv.org/pdf/0809.4221.pdf
Peut-être que tu connais ?
Une fois qu'on sait qu'on y a le droit, c'est évidemment un super point de vue et ça aide à comprendre les ensembles simpliciaux beaucoup mieux, notamment leur lien avec les espaces topologiques via la notion de réalisation géométrique (bon, maintenant je préfère dire leur relation avec les types d'homotopie, mais commençons soft)
En particulier, je n'aime pas représenter les ensembles simpliciaux par le genre de diagramme plus haut; je réserve ces diagrammes aux objets simpliciaux dans des catégories plus structurées, parce que je ne vois pas un ensemble simplicial comme un [foncteur de blabla vers les ensembles] mais comme un "espace" à part entière.
Par exemple, je l'utilise volontiers pour la construction bar cyclique en homologie de Hochschild.
(bon après je suis homotopiste, je ne sais pas dans quelle mesure d'autres domaines utilisent les ensembles simpliciaux avec une autre vocation que "être un espace", peut-être que pour ces domaines ça fait sens d'utiliser ce genre de diagramme)