Relation réflexive

Un article de Wikipédia, l'encyclopédie libre.

En théorie des ensembles, une relation binaire peut avoir, entre autres propriétés, la réflexivité et l'irréflexivité.

• Une relation réflexive R de l'ensemble X est une relation pour laquelle pour tout a de X, a est R-relié à lui-même. En notation mathématique, cela s'écrit :

• Une relation irréflexive est une relation pour laquelle pour tout a de X, a n'est jamais R-relié à lui-même.

En notation mathématique, cela s'écrit :

.

Note: Penser qu'une relation est soit réflexive soit irréflexive. Irréflexivité est une condition plus forte que l'absence de réflexivité, Donc une relation peut être réflexive, irréflexive ou ni l'une ni l'autre. Les inégalités "plus petit que" ou "plus grand que" sont des relations irréflexives. Mais, si nous définissons une relation R sur les entiers telle que a R b si et seulement si a = -b, alors elle n'est ni réflexive, ni irréflexive, car 0 est le seul élément relié à lui-même.

[modifier] Propriétés contenant la propriété réflexive

Préordre - Une relation réflexive qui est aussi transitive. Les différents types de préordre et de relation d'équivalence sont donc eux réflexive.

[modifier] Exemples

Quelques exemples de relations réflexives:

• "est égal à " (égalité)
• "est un sous-ensemble de" (inclusion d'ensembles)
• "divise" (divisibilité)
• "est plus grand que ou égal à":
• "est plus petit que ou égal à":

Image:GreaterThanOrEqualTo.png

Quelques exemples de relations irréflexives:

• n'est pas égal à"
• "est copremier à"
• "est plus grand que":

Image:GreaterThan.png