Algèbre de Boole (structure) - Définition

Introduction

En mathématiques, une algèbre de Boole ou un treillis booléen est un type de structure algébrique.

Définition

Une algèbre de Boole est un ensemble E contenant deux éléments particuliers distincts, notés et (ou 0 et 1), et muni de deux lois de composition internes, et , vérifiant les propriétés suivantes :

• 1. associativité : pour tout a, b et c de E,

et

• 2. commutativité : pour tous a et b de E,

et

• 3. loi d'absorption : pour tous a et b de E,

• 4. distributivité de chaque loi par rapport à l'autre : pour tous a, b et c de E,

et

• 5. bornes : pour tout a de E,

et

• 6. complémentarité : Pour tout a de E, a possède au moins un complémentaire, c'est-à-dire un élément a tel que :

Les propriétés 1, 2 et 3 expriment que cette structure est un treillis, en particulier :

• tout élément a de E est idempotent pour les deux lois :

 ;

• l'une des deux propriétés de distributivité (dans la propriété 4) suffit à garantir l'autre ;
• on définit un ordre, en posant

si et seulement si , (ou de façon équivalente ).

Les propriétés 5 et 6 expriment que ce treillis est borné (les éléments et sont respectivement le plus petit et le plus grand élément) et complémenté.

Ainsi, « algèbre de Boole » est synonyme de « treillis distributif, borné et complémenté » .

Exemples et applications des algèbres de Boole

L'algèbre de Boole binaire

L'algèbre de Boole la plus simple a deux éléments (une algèbre de Boole a au moins deux éléments). On peut la voir comme l'ensemble des valeurs de vérité {Vrai, Faux} muni des lois ET et OU. Elle permet d'interpréter les formules du calcul propositionnel. Le mathématicien britannique George Boole l'introduisit au milieu du XIX^e siècle. On l'appelle aussi le Calcul booléen. Les opérations de l'algèbre de boole binaire sont implémentées sous forme de portes logiques dans les circuits électroniques et dans les microprocesseurs des ordinateurs.

Algèbres de Boole sur les ensembles

L'ensembles des parties de n'importe quel ensemble U, muni des opérations d'union, d'intersection et de complémentation, est une algèbre de Boole (c'est l'algèbre de Boole à deux éléments dans le cas où U est un singleton).

Anneaux de Boole

La donnée d'une structure d'algèbre de Boole sur un ensemble E permet de munir E d'une structure d'anneau de Boole (qui est un cas particulier de Z/2Z-algèbre) en posant

.

Inversement, la donnée d'une structure d'anneau de Boole sur E permet de munir E d'une structure d'algèbre de Boole en posant

.

Ces deux transformations sont inverses l'une de l'autre.

Propriétés

Les propriétés suivantes se démontrent à partir des axiomes de la structure :

• Pour tout a de E, le complémentaire est défini de manière unique. Autrement dit :

• est l'élément neutre de la loi .
• .
• .
• Pour tout a de E, .
• est l'élément neutre de la loi .
• Pour tous a et b de E,

.

(ces deux dernières formules sont les lois de De Morgan).