next up previous
Next: Théorème : Up: Compatibilités entre S-identité et Previous: Compatibilités entre S-identité et

Taxèmes

C'est le cas le plus simple : si tex2html_wrap_inline947 et tex2html_wrap_inline949 sont SE-identiques, ils sont présents dans les mêmes isotopies, reliées aux sèmes tex2html_wrap_inline1301 , ou seulement tex2html_wrap_inline1303 .

tex2html_wrap_inline947 doit avoir un seul et unique sème microgénérique, disons tex2html_wrap_inline1303 . La partie générique de l'isotopie de tex2html_wrap_inline1303 est donc :

tex2html_wrap_inline1311

Mais tex2html_wrap_inline949 doit également appartenir à cette isotopie, donc tex2html_wrap_inline1315 , d'où la rapide conclusion que tex2html_wrap_inline1317 .





Ludovic TANGUY
Fri Dec 5 17:09:15 MET 1997