Intersezione

Da Wikipedia, l'enciclopedia libera.

bussola Disambiguazione – Se stai cercando la definizione di intersezione in ambito stradale, vedi Intersezione stradale.

Nella teoria degli insiemi, l'intersezione di due insiemi A e B è data dall'insieme formato da tutti gli elementi che appartengono sia all'insieme A che all'insieme B contemporaneamente.

L'intersezione è una operazione binaria. Nell'Algebra Booleana corrisponde all'operatore AND e, in logica, alla congiunzione.

l' insiemi "intersezioni" fra gli insiemi è possibili eseguire della "operazioni". esaminando l' operazione "INTERSAZIONE". dati due insiemi A=$12;14;16;18;20$ e B =$10;16;18;20;22;24$

Indice

[modifica] Proprietà

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:

A \cap B = B \cap A

L'intersezione è inoltre un'operazione associativa:

\left ( A \cap B \right ) \cap C = A \cap \left (B \cap C \right )

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

[modifica] Esempi

Come esempio elementare si possono considerare due insiemi finiti (cioè con un numero finito di elementi) A = {1, 2, 3} e B = {2, 3, 4}. In questo caso si può verificare direttamente per ogni elemento di A se è anche elemento di B (o viceversa), ottenendo

A \cap B = \{2, 3\}.

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

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.

[modifica] Voci correlate

[modifica] Bibliografia

  • Thomas Cormen; Charles E. Leiserson, Ronald Rivest, Sets,Etc. in Introduction to Algorithms , 20a ed. Cambridge, Massachussetts, The MIT Press, 1998 .
Strumenti personali