In matematica, e in particolare in teoria degli insiemi, lintersezione (simbolo ) di due insiemi è l'insieme degli elementi che appartengono a entrambi gli insiemi contemporaneamente.

L'intersezione è un'operazione binaria. Nell'algebra booleana corrisponde all'operatore AND e, in logica, alla congiunzione.

Definizione L'intersezione di due insiemi e si denota comunemente con . Quindi è un elemento di se e solo se è un elemento degli insiemi e contemporaneamente, in simboli:

Più in generale, data una famiglia qualsiasi di insiemi, l'intersezione è definita come quell'insieme a cui un elemento appartiene se e solo se appartiene ad ognuno degli .

Proprietà

Dalla definizione segue immediatamente che l'intersezione è un'operazione commutativa, in simboli:

Infatti

L'intersezione è inoltre un'operazione associativa:

Infatti

Per questo si può rinunciare alle parentesi quando si considera l'intersezione di più di due insiemi, scrivendo semplicemente .

Esempi Come esempio elementare si devono considerare due insiemi finiti (cioè con un numero finito di elementi) e . In questo caso si può verificare direttamente per ogni elemento di se è anche elemento di (o viceversa), ottenendo

Un esempio un po' più astratto è dato da due insiemi definiti tramite determinate proprietà dei loro elementi: siano l'insieme dei numeri interi divisibili per e l'insieme dei numeri interi divisibili per . In questo caso, è l'insieme dei numeri interi divisibili sia per che per , ovvero tutti i numeri interi divisibili per .

Gli insiemi dei numeri pari e dei numeri dispari sono disgiunti; infatti un numero non può essere contemporaneamente pari e dispari. L'intersezione di questi due insiemi è quindi l'insieme vuoto.

Storia Il simbolo ∩, così come ad esempio anche i simboli ∈, ∪, ⊂, venne introdotto per la prima volta da Giuseppe Peano nel Formulario mathematico, opera pubblicata nel 1895.

Note

Bibliografia

Voci correlate Unione Insieme complemento Teoria degli insiemi Intersezione in geometria descrittiva: incidenza (geometria descrittiva) Sistema di equazioni per determinare l'intersezione tra gli insiemi delle soluzioni delle singole equazioni del sistema.

Altri progetti

Collegamenti esterni

Categoria:Teoria degli insiemi Categoria:Operazioni binarie