Intersezione (insiemistica)

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

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

Definizione

modifica

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à

modifica
 
Diagramma di Eulero-Venn per l'intersezione.
 
Intersezione di una sfera e un cubo parzialmente sovrapposti

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  .

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.

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.

  1. ^ Helmut Seiffert, 7, in LE BASI DELLA MATEMATICA MODERNA numeri e insiemi, Arnoldo Mondadori, Marzo 1976, pp. 160-161.

Bibliografia

modifica
  • Thomas Cormen, Charles E. Leiserson, Ronald Rivest, Sets, Etc., in Introduction to Algorithms, 20ª ed., Cambridge, Massachusetts, The MIT Press, 1998.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàGND (DE4327382-8
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica