Élément minimal
- Élément minimal
-
Élément maximal
Définition
Dans un ensemble ordonné, un élément maximal est un élément tel qu'il n'existe aucun autre élément de cet ensemble qui lui soit supérieur, c'est-à-dire que a est dit élément maximal d'un ensemble ordonnné (E, ≤) si a est un élément de E tel que pour tout x appartenant à E, a ≤ x ⇒ a = x.
Si l'ordre est partiel, un élément maximal n'est pas forcément un majorant, ni la borne supérieure de l'ensemble, ni non plus son plus grand élément. Par contre si l'ensemble ordonné possède un plus grand élément, alors celui-ci est un élément maximal, et c'est le seul.
Si l'ordre est total, les notions d'élément maximal et de plus grand élément sont cofondues (de même pour élément minimal et plus petit élément).
Exemples
- L'ensemble des parties d'un ensemble E muni de l'inclusion, a pour seul élément maximal E, qui est aussi le plus grand élément.
- L'ensemble des parties propres (différentes de l'ensemble lui-même) d'un ensemble E non vide, muni de l'inclusion, a pour éléments maximaux tous les E - {a}, a ∈ E. Il n'y a pas de plus grand élément dès que E a plus de deux éléments.
- L'ensemble des entiers naturels muni de l'ordre usuel est un exemple d'ordre total qui n'a pas de plus grand élément, donc pas d'élément maximal.
- L'ensemble des suites finies de 0 et de 1, muni de l'ordre préfixe, (u0, …, un) ≤ (v0, …, vp) quand n ≤ p et pour i ≤ n ui=vi), est un ordre partiel qui n'a pas d'éléments maximaux, et la suite vide pour plus petit élément (donc seul élément minimal).
- Un arbre muni de la relation « est un ancêtre de » a pour éléments maximaux toutes ses feuilles (il n'en existe pas forcément, les branches pouvant être infinies).
Notions connexes
Voir aussi
Portail des mathématiques
Catégorie : Théorie des ordres
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Élément minimal de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Élément minimal d'un ensemble ordonné E — ● Élément minimal d un ensemble ordonné E élément a de E tel qu il n existe aucun élément de E qui lui soit strictement inférieur … Encyclopédie Universelle
minimal — minimal, ale, aux [ minimal, o ] adj. • 1877; de minimum 1 ♦ Qui constitue un minimum. (REM. Tend à remplacer l adj. minimum.) Durée minimale. Conditions minimales. Températures minimales, les plus basses. 2 ♦ Math. Élément minimal : élément d un … Encyclopédie Universelle
Element maximal — Élément maximal Sommaire 1 Définition 2 Exemples 3 Notions connexes 4 Voir aussi // … Wikipédia en Français
Élément maximal — Dans un ensemble ordonné, un élément maximal est un élément tel qu il n existe aucun autre élément de cet ensemble qui lui soit supérieur, c est à dire que a est dit élément maximal d un ensemble ordonné (E, ≤) si a est un élément de E tel… … Wikipédia en Français
Élément extremum — Extremum « Maximum » et « Minimum » redirigent ici. Pour les autres significations, voir Maximum (homonymie) et Minimum (homonymie) … Wikipédia en Français
Élément maximum — Extremum « Maximum » et « Minimum » redirigent ici. Pour les autres significations, voir Maximum (homonymie) et Minimum (homonymie) … Wikipédia en Français
Élément minimum — Extremum « Maximum » et « Minimum » redirigent ici. Pour les autres significations, voir Maximum (homonymie) et Minimum (homonymie) … Wikipédia en Français
Minimal — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Minimal techno : techno Trance minimaliste ou Progressive Psytrance (prog): Croisement entre la Trance psychédélique (Trance Goa) et la Trance… … Wikipédia en Français
Minimal logic — Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is a variant of intuitionistic logic that rejects not only the classical law of excluded middle (as intuitionistic logic does), but… … Wikipedia
Minimal techno — Stylistic origins Minimalism Detroit techno Acid techno Ambient Cultural origins Early 1990s, Detroit, Michigan, USA, Berlin Typical instruments Keyboard … Wikipedia
