Relation ternaire interne - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

Une relation ternaire interne dans un ensemble associe des éléments de cet ensemble à des couples formés d’éléments de ce même ensemble.

Définitions

Formellement, une relation ternaire interne est une correspondance dont l’ensemble de départ est le carré cartésien de l’ensemble d’arrivée.

En d’autres termes, une relation ternaire interne $\mathfrak{R} \,$ dans un ensemble E est la somme disjointe de trois ensembles :

un ensemble de départ, E×E ;
un ensemble d’arrivée, E ;
et un graphe G, inclus dans E ³, donc formé de triplets d’éléments de E.

Si x, y et z sont trois éléments de E , nous pouvons écrire que z est image par $\mathfrak{R} \,$ du couple ( x , y ) de plusieurs manières :

( x , y , z ) ∈ G (notation ensembliste)

( x , y , z ) $\mathfrak{R}$ (notation relationnelle postfixée)

$\mathfrak{R}$ ( x , y , z ) (notation relationnelle préfixée)

( x , y ) $\mathfrak{R} \,$ z (notation relationnelle infixée)

Nous utiliserons dans la suite cette dernière notation.

Cas particuliers :

Une opération interne est une relation ternaire interne qui est aussi une fonction.

Une loi de composition interne est une relation ternaire interne qui est aussi une application.

Exemples

La relation d'équidistance dans un espace métrique, c'est-à-dire muni d'une distance d :

Un point A est équidistant de deux points B et C ssi d ( A , B ) = d ( A , C )

Ce n'est ni une opération, ni une loi de composition interne.

L' exponentiation Exp définie par : [ ( x , y ) Exp z ] ⇔ [ z = x ^y ]

C'est une opération interne dans

, à condition de donner un sens unique à x ^y quand il y a ambiguïté; ce n'est pas une loi interne dans

: par exemple, ( - 1 ) ^{1 / 2} n'a pas de sens dans

La différence de deux ensembles Diff : [ ( A , B ) Diff C ] ⇔ [ C = A \ B ] .

C'est une loi interne dans l'univers des ensembles, ou dans l'ensemble des parties d'un ensemble.

Parmi les êtres humains, la relation " sont respectivement père et mère de " n'est ni une opération, ni une loi interne : un couple peut être sans enfants ou en avoir plusieurs.

Les quatre " opérations " de notre enfance (addition, soustraction, multiplication et division) sont bien des opérations car leur résultat, quand il est défini, l'est toujours sans ambiguïté.

Propriétés

Soit un ensemble E muni d’une relation ternaire interne $\mathfrak{R} \,$ . Remarques :

Les propriétés suivantes s’appliquent évidemment aussi aux lois de composition internes, mais sous une forme simplifiée par l'emploi d'une notation fonctionnelle (z = f ( x, y ) ou z = x $*\,$ y ).
Attention : un couple peut très bien avoir plusieurs images par $\mathfrak{R} \,$ .
La liste de propriétés qui suit n’est pas exhaustive.

Existence d’éléments remarquables

$\mathfrak{R} \,$ est idempotente si et seulement si tout élément x de E est image par $\mathfrak{R} \,$ du couple ( x , x )

ou :

$\mathfrak{R} \,$ est dévolutive si et seulement s’il existe un élément de E image par $\mathfrak{R} \,$ de tout couple de la diagonale de E

ou :

$\mathfrak{R} \,$ est unifère à gauche si et seulement s’il existe un élément de E tel que tout couple dont il est la première composante a pour image par $\mathfrak{R} \,$ sa seconde composante

ou :

$\mathfrak{R} \,$ est unifère à droite si et seulement s’il existe un élément de E tel que tout couple dont il est la seconde composante a pour image par $\mathfrak{R} \,$ sa première composante

ou :

$\mathfrak{R} \,$ est unifère si et seulement si elle est unifère à gauche et à droite avec le même élément neutre.

$\mathfrak{R} \,$ est absorbante à gauche si et seulement s’il existe un élément de E tel que tout couple dont il est la première composante l’a pour image par $\mathfrak{R} \,$

ou :

$\mathfrak{R} \,$ est absorbante à droite si et seulement s’il existe un élément de E tel que tout couple dont il est la seconde composante l’a pour image par $\mathfrak{R} \,$

ou :

$\mathfrak{R} \,$ est absorbante si et seulement si elle est absorbante à gauche et à droite avec le même élément absorbant.

$\mathfrak{R} \,$ est involutive à gauche si et seulement si elle est dévolutive et unifère à gauche avec l’élément dévolutif pour élément neutre.

$\mathfrak{R} \,$ est involutive à droite si et seulement si elle est dévolutive et unifère à droite avec l’élément dévolutif pour élément neutre.

$\mathfrak{R} \,$ est involutive si et seulement si elle est involutive à gauche et à droite avec le même élément involutif.

$\mathfrak{R} \,$ est nilpotente à gauche si et seulement si elle est dévolutive et absorbante à gauche avec l’élément dévolutif pour élément absorbant.

$\mathfrak{R} \,$ est nilpotente à droite si et seulement si elle est dévolutive et absorbante à droite avec l’élément dévolutif pour élément absorbant.

$\mathfrak{R} \,$ est nilpotente si et seulement si elle est nilpotente à gauche et à droite avec le même élément nilpotent.

Régularité et propriétés apparentées

$\mathfrak{R} \,$ est régulière à gauche si et seulement si pour toute paire de couples d’éléments de E de même première composante, les deux couples n’ont pas d’image commune par $\mathfrak{R} \,$

ou :

$\mathfrak{R} \,$ est régulière à droite si et seulement si pour toute paire de couples d'éléments de E de même seconde composante, les deux couples n'ont pas d'image commune par $\mathfrak{R} \,$

ou :

$\mathfrak{R} \,$ est régulière si et seulement si elle est régulière à gauche et à droite.

$\mathfrak{R} \,$ est antirégulière si et seulement si pour toute paire de couples d'éléments de E dont la première composante de l'un est égale à la seconde composante de l'autre, les deux couples n'ont pas d'image commune par $\mathfrak{R} \,$

ou :

Associativité et propriétés analogues

$\mathfrak{R} \,$ est associative si et seulement si elle vérifie la propriété suivante :

$\mathfrak{R} \,$ est associative des puissances si et seulement si elle vérifie la propriété suivante :

$\mathfrak{R} \,$ est permutative si et seulement si elle vérifie la propriété suivante :

Autres propriétés

$\mathfrak{R} \,$ est commutative si et seulement si toute image par $\mathfrak{R} \,$ d'un couple est aussi image du couple réciproque

ou :

Relation ternaire opposée

Définition et exemples

Soit un ensemble E muni d'une relation ternaire interne $\mathfrak{R} \,$ .

La relation ternaire opposée à $\mathfrak{R} \,$ est la relation ternaire interne notée " - $\mathfrak{R} \,$ " , et définie par :

Par exemple, la relation opposée à l' exponentiation Exp définie par : [ ( x , y ) Exp z ] ⇔ [ z = x ^y ] est la relation z = y ^x .

Un autre exemple est la différence de deux ensembles Diff : [ ( A , B ) Diff C ] ⇔ [ C = A \ B ] .
Sa relation opposée est définie par [ ( A , B ) (-Diff) C ] ⇔ [ C = B \ A ].

Ou encore, parmi les êtres humains, la relation " sont respectivement père et mère de " a pour opposée la relation " sont respectivement mère et père de ".

Propriétés

Chaque relation ternaire interne a une relation opposée et une seule.
Toute relation ternaire est l'opposée de son opposée.
L'opposée d'une relation ternaire est une opération si et seulement si cette relation est une opération.
L'opposée d'une relation ternaire est une loi de composition si et seulement si cette relation est une loi de composition.
Une relation ternaire se confond avec son opposée si et seulement si elle est commutative.

Relations ternaires inverses

Définitions et exemples

Soit un ensemble E muni d'une relation ternaire interne $\mathfrak{R} \,$ .

La relation ternaire inverse à gauche ( ou RTIG) de la relation $\mathfrak{R} \,$ est la relation ternaire interne notée " $\lceil \mathfrak{R} \,$ " , et définie par :

La relation ternaire inverse à droite ( ou RTID) de la relation $\mathfrak{R} \,$ est la relation ternaire interne notée " $\mathfrak{R} \rceil \,$ " ou " $\rceil \mathfrak{R} \,$ ", et définie par :

Pour clarifier ces notions reprenons l'exemple de l'exponentiation Exp.

Sa RTIG est définie par : z = x ^1/y ; autrement dit, c'est la racine y-ième de x;
Sa RTID est définie par : z = log _y x ; autrement dit, c'est le logarithme en base y de x.

Si $\mathfrak{R} \,$ est commutative, sa RTIG et sa RTID se confondent en une seule relation ternaire inverse (RTI) notée " $\bar \mathfrak{R} \,$ ".

Exemples :

la soustraction est la RTI de l'addition;
la division est la RTI de la multiplication;

Ces exemples montrent qu'en général les RTI ne sont pas commutatives; sauf exception, elles n'ont donc pas elles-mêmes de RTI, seulement une RTIG et une RTID distinctes, la RTIG n'étant autre que la relation ternaire initiale, et la RTID l'opposée de la RTI.

Ainsi, la soustraction, non commutative, a pour RTIG l'addition et pour RTID la relation opposée à la soustraction. Cette dernière, par ailleurs, a pour RTID l'addition et pour RTIG la soustraction.

Propriétés

Toute relation ternaire interne est la RTIG de sa RTIG, et la RTID de la RTID de sa RTID.

La RTIG de l'opposée d'une relation ternaire est la RTID de cette dernière.

La RTID de l'opposée d'une relation ternaire est la RTIG de cette dernière.

La RTID de la RTIG d'une relation ternaire interne est la relation opposée à sa RTID.

La RTID de la RTID d'une relation ternaire interne est la relation opposée à sa RTIG.

Dans les propriétés précédentes, des symétries apparaissent. Plus précisément, il est possible d'importer sur l'ensemble $\{\, \mathfrak{R} , - \mathfrak{R} , \lceil \mathfrak{R} , \rceil \mathfrak{R} , - \lceil \mathfrak{R} , - \rceil \mathfrak{R} \,\} \,$ la structure du groupe des permutations à 3 éléments ( $\mathfrak{R} \,$ joue alors le rôle de l'élément neutre ).

$\mathfrak{R} \,$ est régulière à gauche si et seulement si sa RTIG est une opération interne.

$\mathfrak{R} \,$ est régulière à droite si et seulement si sa RTID est une opération interne.

Si $\mathfrak{R} \,$ est commutative, alors elle est régulière si et seulement si sa RTI est une opération interne.

Si $\mathfrak{R} \,$ est commutative, unifère et inversible, alors sa RTI est une loi de composition interne.

$\mathfrak{R} \,$ est dévolutive si et seulement si sa RTIG est unifère à gauche , et cette RTIG l'est si et seulement si la RTID l'est aussi.

$\mathfrak{R} \,$ est unifère à gauche si et seulement si sa RTIG est dévolutive, et cette RTIG l'est si et seulement si la RTID est unifère à droite.

$\mathfrak{R} \,$ est unifère à droite si et seulement si sa RTIG est unifère à droite, et cette RTIG l'est si et seulement si la RTID est dévolutive.

Si $\mathfrak{R} \,$ est commutative, alors elle est unifère si et seulement si sa RTI est dévolutive et unifère à droite, c'est-à-dire involutive à droite.

$\mathfrak{R} \,$ est permutative si et seulement si sa RTIG l'est aussi, et cette RTIG est permutative si et seulement si la RTID l'est aussi.

Exemples :

( $\mathbb{N} \,$ , + ) est un semigroupe; par conséquent, la soustraction est dans $\mathbb{N} \,$ une opération interne permutative, régulière et involutive à droite d'élément neutre 0;
de même, ( $\mathbb{N}$ *, x ) est un semigroupe, d'où la division dans $\mathbb{N}$ * est une opération interne permutative, régulière et involutive à droite d'élément neutre 1;
( $\mathbb{Z} \,$ , + ) est un groupe abélien; par conséquent, la soustraction est dans $\mathbb{Z} \,$ une loi interne permutative, régulière et involutive à droite d'élément neutre 0, c'est-à-dire que ( $\mathbb{Z} \,$ , - ) est un antigroupe;
de même, ( $\mathbb{Q}$ *, x ) est un groupe abélien, d'où la division dans $\mathbb{Q}$ * est une loi interne permutative, régulière et involutive à droite d'élément neutre 1, c'est-à-dire que ( $\mathbb{Q} \,$ *, / ) est aussi un antigroupe.

Une éruption volcanique en 2018 responsable d'une explosion de vie 🌋

Un système d'exploitation pour les ordinateurs quantiques voit le jour 🖥️

Des singularités temporelles dans l'Univers ? 🕰️

Des fossiles de dinosaures mieux datés 🦖

Une gigantesque muraille de 10 milliards d'années-lumière dans l'Univers 🔭

Benchmark: les processeurs quantiques sous la loupe, quels sont les meilleurs ? 🏆

Découverte d'une "fourmi de l'enfer" vieille de 113 millions d'années 🐜

Le rôle méconnu de la décharge dans l'usure des batteries 🔋

La fonte des glaces déplace les pôles: quelles conséquences ? 🌍

L'appareil photo de votre smartphone peut détecter l'antimatière 📱

Cette étoile-zombie peut déformer les atomes à distance, et elle fonce dans notre galaxie ⭐

Un mosasaure géant découvert dans le Mississippi 🦕

Problème, les galaxies meurent plus tôt que prévu 🌀

Ce lien entre cannabis et troubles psychotiques 🧠

Une révolution dans le refroidissement des puces électroniques ? 🔥

Des parasites sous-marins filmés en train de vampiriser un poisson des abysses 👀

Lucy survole un astéroïde en forme de cacahuète 🚀

Découverte du fossile d'un dinosaure géant méconnu 🦕

Mars avait-elle un champ magnétique unilatéral ? 🔍

Des chimpanzés surpris à sociabiliser avec de l'alcool 🍇

Découverte macabre: ce gladiateur a été tué par un lion il y a 1 800 ans... en Grande-Bretagne 🦁

L'électroluminescence du graphène, une découverte inattendue ! 💡

Cet objet métallique n'a pas été fabriqué sur Terre 🔧

Cette innovation permet aux voitures électriques de charger 6 fois plus vite par grand froid ⚡

Cette super-Terre brûle les attentes des astronomes 🔥

Découverte exceptionnelle de fossiles d'amphibiens géants 🐸

Voici ce qui a causé les toutes premières inégalités de richesse 💰

Quelle est cette zone étrange dans l'Atlantique Nord ? 🌊

Cette planète orbite à angle droit autour de deux étoiles, une première ! 🔭

Des cellules solaires flexibles battent des records d'efficacité ⚡

Ce dispositif reproduit les trous noirs et trous blancs en laboratoire 🌀

Record établi pour un transistor en diamant 💎

Les sursauts radio rapides trahissent enfin leur origine cosmique 📡

Ces biomarqueurs sanguins prédisent la démence 10 ans à l'avance 🧠

Découverte majeure: des médicaments 23 fois plus efficaces contre le cancer 💊

Les oscillations collectives des foules humaines denses 🔁

Une forme inconnue de la matière détectée au LHC ? ⚛️

Le sel, un facteur méconnu de l'obésité ? 🧂

L'Univers en rotation, une réponse élégante à ce problème astrophysique majeur 🌀

Découverte tectonique majeure sous les Petites Antilles 🌍

Peut-on geler en chauffant ? ❄️

Une peau électronique pour doter les robots du sens du toucher 👌

Invention d'un bois semi-transparent avec une technique...surprenante ! 🌳

Le cancer inscrit dans nos gènes dès la naissance ? 🧬

Des supernovae à l'origine de deux extinctions massives sur Terre ? 💥

Le passé verdoyant du plus grand désert du monde 🐪

Après les campagnes antivaccins, la rougeole revient en force aux États-Unis 😷

Des puces quantiques plus proches que jamais ⚡

Pourrons-nous bientôt communiquer avec les dauphins grâce à l'IA ? 🐬

En déplaçant deux atomes, des chercheurs transforment le LSD en médicament surpuissant 💊

Page générée en 0.122 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise