Clôture (mathématiques)

Résumé

On parle de clôture ou de fermeture en mathématiques dans des contextes très divers. Quelques exemples sont listés ci-dessous. Clôture pour des opérations En mathématiques, on dit qu'une partie A d'un ensemble E est stable (ou close) pour une opération définie sur E si cette opération, appliquée à des éléments de A, produit toujours un élément de A. Par exemple, l'ensemble des nombres réels est stable par soustraction, tandis que l'ensemble des entiers naturels ne l'est pas (la différence de deux entiers naturels est parfois un entier relatif strictement négatif). Un préalable pour parler de structure algébrique est que celle-ci soit close sous les opérations en jeu. Par exemple on ne peut parler de groupe que pour un ensemble muni d'une loi de composition interne, c'est-à-dire d'une opération binaire pour laquelle l'ensemble est clos. Soit L une liste d'opérations. On appelle clôture d'un ensemble S pour les opérations de L à l'intérieur d'un ensemble E donné lui-même c

Source officielle

https://fr.wikipedia.org/wiki/Cl%C3%B4ture_(math%C3%A9matiques)

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (4)

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (62)

vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'un

En mathématiques, un entier relatif, un entier rationnel ou simplement un nombre entier est un nombre qui se présente comme un entier naturel auquel on a adjoint un signe positif ou négatif indiquan

En mathématiques, un monoïde est une structure algébrique utilisée en algèbre générale, définie comme un ensemble muni d'une loi de composition interne associative et d'un élément neutre. Autrement di

Afficher plus

Concepts associés

Chargement

Cours associés (15)

Cours associés

Chargement

Séances de cours associées (34)

Afficher plus

Séances de cours associées

Chargement

Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In the case of infinite words, the value of a run is naturally computed as the maximum, limsup, liminf, limit average, or discounted sum of the transition weights. We study expressiveness and closure questions about these quantitative languages. We first show that the set of words with value greater than a threshold can be non-omega-regular for deterministic limit-average and discounted-sum automata, while this set is always omega-regular when the threshold is isolated (i.e., some neighborhood around the threshold contains no word). In the latter case, we prove that the omega-regular language is robust against small perturbations of the transition weights. We next consider automata with transition weights 0 or 1 and show that they are as expressive as general weighted automata in the limit-average case, but not in the discounted-sum case. Third, for quantitative languages L_1 and L_2, we consider the operations max(L_1,L_2), min(L_1,L_2), and 1-L_1, which generalize the boolean operations on languages, as well as the sum L_1 + L_2. We establish the closure properties of all classes of quantitative languages with respect to these four operations.

2008

Chargement

Expressiveness And Closure Properties For Quantitative Languages

Laurent Doyen

2010

Chargement

Closure relations for composite bosons: Difference between polaritons and Wannier or Frenkel excitons

Marc-André Dupertuis

We derive the closure relation for N polaritons made of three different types of excitons: bosonized excitons, Frenkel, or Wannier excitons. In the case of polaritons made of Wannier excitons, we show how this closure relation, which appears as nondiagonal, may reduce to the one of N elementary bosons, the photons, with its 1/N! prefactor, or to the one of N Wannier excitons, with its (1/N!)(2) prefactor. Widely different forms of closure relations are thus found depending on the composite bosons at hand. Comparison with closure relations of excitons, either bosonized or kept composite as Frenkel or Wannier excitons, allows us to discuss the influence of a reduction in the number of internal degrees of freedom, as well as the importance of the composite nature of the particles and the existence of fermionic components.

2008

Chargement