Ensembles en compréhension → intervalles

La notation en compréhension décrit un ensemble de nombres par la propriété que ses éléments doivent satisfaire, tandis que la notation par intervalles condense la même idée avec des crochets et des symboles d'infini qu'attendent les calculatrices graphiques, les manuels et les systèmes d'algèbre informatique. L'élève qui écrit { x | x supérieur ou égal à deux } a toujours besoin de [2, ∞) sur la copie ; l'enseignant qui note automatiquement des unités d'inéquations a besoin d'un oracle déterministe qui n'intervertit jamais un crochet et une parenthèse. Ce convertisseur de notation en compréhension vers intervalles accepte une description simple à une variable—demi-droites unilatérales, segments bornés ouverts ou fermés et singletons avec égalité—et renvoie la chaîne d'intervalle correspondante ainsi que les bornes numériques inférieure et supérieure avec drapeaux d'inclusion.

Ce que signifie la notation en compréhension et comment les intervalles l'encodent

La notation en compréhension écrit un ensemble comme toutes les valeurs d'une variable qui satisfont une condition donnée. Le modèle classique est une accolade ouvrante, une variable, une barre verticale ou deux-points lus comme tel que, un prédicat et une accolade fermante. Pour les réels, le prédicat est presque toujours une inéquation linéaire ou une courte chaîne d'inéquations : x strictement supérieur à trois, x inférieur ou égal à zéro, ou zéro inférieur ou égal à x strictement inférieur à cinq.

La notation par intervalles remplace cette prose par une paire compacte de bornes. Un crochet signifie que la borne est incluse ; une parenthèse signifie qu'elle est exclue. Les demi-droites non bornées utilisent le symbole d'infini avec une parenthèse de ce côté car l'infini n'est jamais un nombre que l'on peut inclure.

Ainsi { x | x strictement supérieur à trois } devient la demi-droite ouverte (3, ∞), { x | x supérieur ou égal à deux } devient [2, ∞), et { x | zéro inférieur ou égal à x strictement inférieur à cinq } devient [0, 5). Un singleton écrit { x | x égal à quatre } est l'intervalle fermé dégénéré [4, 4], que de nombreux cours écrivent aussi comme l'ensemble ne contenant que quatre.

Cette conception rejoint le langage de la classe : maîtriser d'abord la réponse d'une seule pièce, puis apprendre les unions comme compétence distincte.

Contrat d'entrée, formes prises en charge et champs de réponse

Collez une description simple telle que { x | x > 3 }, {x | 0 ≤ x < 5 }, { y : y ≤ -1 }, ou même la condition nue x >= 2 sans accolades. L'analyseur normalise les signes unicode inférieur ou égal et supérieur ou égal, l'appartenance optionnelle du type x in R à gauche de la barre, et les espaces ordinaires.

Les conditions prises en charge sont les comparaisons unilatérales de la variable à une borne finie, la forme inversée borne comparée à la variable, les chaînes composées borne op variable op borne, et l'égalité pour un singleton. Les nombres peuvent être entiers, décimaux ou en notation scientifique dans une limite de magnitude sûre.

Où la conversion en intervalles est utile

Les salles d'algèbre et les plateformes de tutorat utilisent un convertisseur de notation en compréhension vers intervalles pour que les apprenants vérifient le choix des crochets sans attendre les heures de permanence. Les greffons de gestion de l'apprentissage ont besoin d'un oracle déterministe qui marque [2, 5) comme correct et (2, 5] comme faux pour la même description verbale, ce qui n'est possible que si les drapeaux d'inclusion sont des champs de premier plan et non des devinettes fragiles sur des chaînes.

Les auteurs de programmes qui traduisent des problèmes en mots en forme de compréhension peuvent convertir en lot les clés de réponses en forme d'intervalles pour les grilles et les exercices de calculatrice graphique. Gardez les requêtes sous quelques centaines de caractères, figez dans les tests les champs d'intervalle et d'inclusion, et vous obtenez une notation reproductible pour les devoirs, les correcteurs LMS et les workers en bordure sans déployer votre propre infrastructure symbolique.