Contenu du sommaire
| Revue |
Mathématiques et sciences humaines  Titre à cette date : Mathématiques, informatique et sciences humaines |
|---|---|
| Numéro | no 140, hiver 1997 |
| Texte intégral en ligne | Accessible sur l'internet |
- Pour le monoïde plaxique - Marcel-Paul Schutzenberger
Cet article est probablement le dernier texte de mathématiques écrit en vue de sa publication par M.P. Schützenberger, décédé en juillet 1996. Il était offert par son auteur en hommage à André Lentin, à l'occasion d'un colloque tenu en l'honneur de celui-ci le 23 février 1996 : M.P. Schützenberger, déjà très malade, n'avait pu participer à cette rencontre, mais avait tenu à rédiger, non sans souffrances, une contribution scientifique qui témoignât de son amitié pour A. Lentin. Lorsque je lui dis que certains des articles élaborés pour la "Journée Lentin", et le sien en particulier, seraient ultérieurement publiés dans "Mathématiques, Informatique et Sciences humaines", il en montra de la satisfaction.This paper is most likely the last mathematical article published by the late M.-P. Schützenberger, who died in July 1996. It was writen in view of the celebration of André Lentin's jubilee, held in February 1996. M.-P. Schützenberger, actually too sick, did not attend that scientific meeting. But he had the will despite distressing suffering, to prepare the present work and to offer it to his friend : and dit it. He expressed to us his satisfaction to know that this work would be published in "Mathématique, Informatique et Sciences humaines". Here it is. - Treillis de Cayley des groupes de Coxeter finis. Constructions par récurrence et décompositions sur des quotients - Claude Le Conte De Poly-barbut Cet article, offert à André Lentin lors du colloque du 23 février 1996 organisé en son honneur, a pour objet de montrer que le treillis étiqueté obtenu à partir de l'ordre faible sur un Coxeter fini (W,S), et le groupe lui-même peuvent être construits à partir d'un sous-groupe parabolique quelconque Wj, du quotient associé Wj et d'une fonction de Wj x Wj dans S appartenant à l'ensemble vide. Cette méthode permet en particulier la construction par récurrence des groupes et treillis des quatre familles infinies de Coxeter finis irréductibles et la procédure inverse, la réduction de toute décomposition des éléments du groupe.This article, dedicated to André Lentin on the occasionof the meeting (23/02/1996) organized in his honor, aims to show the the labelled lattice obtained from the weak order on a finite Coxeter system (W,S) as welle as the group itself can be constructed stating from an arbitrary parabolic subgroupe WJ, the associated quotient WJ and a function from WJ x J to S U . This method permits to recursive construction of groups and latices inthe four infinite families of irreducible finite Coxter groups : the reverse procedure leads to a reduction algorithm for expressions of elements of the group as products of generators
- La neige est blanche ssi... Prédication et perception - Jean Petitot L'article traite des liens entre la syntaxe et la sémantique formelle (de nature logique) des jugements perceptifs et leur contenu proprement perceptif (de nature géométrique). Dans les situations les plus élémentaires le contenu perceptif se ramène à des remplissements de domaines spatiaux (l'exension des objets) par des qualités sensibles (couleurs, textures, etc.). Ces remplissements sont descriptibles par des sections de fibrations appropriées, qui sont des cas particuliers de faisceaux. Il faut donc comprendre comment une syntaxe logique peut être sémantiquement interprétée en termes de sections de faisceaux. Cela est possible dans le cadre de la théorie des topoï.The paper tackles the problem of the links between the formal (logical) syntax and semantics of perceptive judgements and their perceptive (geometrica) content. In the most elementary situations, the perceptive content is reducible to a qualitative filling-in of spatial domains (objects' extensions) by sensible qualities (colors, textures, etc.). These filling-in are describable by sections of suitable fibrations, which are particular cases of sheaves. The problem is therefore to understand how a logical syntax can be semantically interpreted in terms of section of sheaves. This is possible in the framework of topos theory.
- Nombre maximum d'ordres de Slater des tournois T vérifiant sigma(T) = 1 - Olivier Hudry On s'intéresse ici au nombre maximum d'ordres de Slater qu'admettent les tournois T vérifiant sigma(T) = 1, où sigma(T) est un paramètre calculé à partir des scores de T. On détermine ce nombre maximum d'ordres de Slater, de l'ordre de 2n/2, si n désigne le nombre de sommets. On donne de plus la forme des tournois T vérifiant sigma(T) = 1 et maximisant le nombre d'ordre de Slater. En particulier, on obtient que ces tournois ne sont pas fortement connexes pour n pair.We consider here the maximum number of Slater orders that a tournament T with sigma(T) = 1 can get, where sigma(T) is a parameter defined from the scores of T. We compute this maximum number, which is about 2n/2, if n denotes the number of vertices. We depict also the tournaments T with sigma(T) = 1 maximizing the number of Slater orders and we show that the tournaments are not strongly connected for n even.
Analyse bibliographique
