Insieme
.mw-parser-output .nota-disambigua{clear:both;margin-bottom:.5em;border:1px solid #CCC;padding-left:4px}.mw-parser-output .nota-disambigua i{vertical-align:middle}
Disambiguazione – Se stai cercando altri significati, vedi Insieme (disambigua).
Rappresentazione grafica di un insieme di poligoni
In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento. Si tratta di un concetto fondamentale della matematica moderna, a partire dal quale si è sviluppata la teoria degli insiemi.
Nell'uso informale gli oggetti della collezione possono essere qualunque cosa: numeri, lettere, persone, figure, ecc., anche non necessariamente omogenei; nelle formalizzazioni matematiche gli oggetti della collezione vanno invece ben definiti e determinati. Il concetto di insieme è considerato primitivo ed intuitivo: primitivo perché viene introdotto come nozione non derivabile da concetti più elementari; intuitivo perché viene introdotto come generalizzazione della nozione di insieme finito, che a sua volta è introdotta dall'analogia con l'esperienza sensibile di scatole che contengono oggetti materiali (tendenzialmente omogenei); questa impostazione si basa sulla convinzione che l'idea di insieme sia naturalmente presente nella mente umana.
Gli oggetti che compongono un insieme si dicono elementi di questo insieme; nel linguaggio matematico, detto a un elemento dell'insieme A, si dice che a appartiene ad A o in simboli a∈A{displaystyle ain A}
Ciò che caratterizza il concetto di insieme e lo differenzia da strutture matematiche simili sono essenzialmente le seguenti proprietà:
- Un elemento può appartenere o non appartenere a un determinato insieme, non ci sono vie di mezzo (come accade invece per gli insiemi sfocati);
- Un elemento non può comparire più di una volta in un insieme (mentre può comparire più volte in un multiinsieme);
- Gli elementi di un insieme non hanno un ordine di comparizione (come invece accade alle componenti di un vettore o di una ennupla);
- Gli elementi di un insieme lo caratterizzano univocamente: due insiemi coincidono se e solo se hanno gli stessi elementi.
Gli insiemi, con le loro operazioni e relazioni, possono essere rappresentati graficamente con i diagrammi di Eulero-Venn.
Indice
1 Descrizioni di insiemi
2 Cardinalità
3 Operazioni tra insiemi
4 Relazioni tra insiemi
5 L'insieme vuoto
6 L'insieme delle parti
7 La partizione di un insieme
8 L'insieme complementare di un insieme
9 Insiemi numerici
10 Note
11 Bibliografia
12 Voci correlate
13 Altri progetti
14 Collegamenti esterni
Descrizioni di insiemi |
Solitamente un insieme viene indicato con le lettere maiuscole dell'alfabeto: A, B, E, M, S ... e si chiede che sia univocamente determinato: se ad esempio diciamo che M è l'insieme degli x tali che x è un mammifero marino, allora supponiamo che si sappia sempre decidere se un qualsiasi animale possibile ed immaginabile abbia o meno le caratteristiche necessarie per rientrare in M. Se un oggetto x appartiene ad un insieme F viene detto elemento di F e la relazione si denota nella forma x∈F{displaystyle xin F}
Un insieme può essere definito nei seguenti modi:
- Per elencazione o in estensione: sono elencati gli elementi, in tal caso per convenzione si scrivono gli elementi tra parentesi graffe separati da virgole, ad esempio:
- F={rosa, giglio, geranio}{displaystyle F={{mbox{rosa, giglio, geranio}}}}
- F={rosa, giglio, geranio}{displaystyle F={{mbox{rosa, giglio, geranio}}}}
- Questa definizione si utilizza per gli insiemi finiti; per gli insiemi infiniti talvolta si usano puntini di sospensione laddove si ritiene che sia evidente il criterio secondo cui si individuano gli elementi non indicati; ad esempio:
- P={1,12,13,14,15,...}{displaystyle P=left{1,{frac {1}{2}},{frac {1}{3}},{frac {1}{4}},{frac {1}{5}},,...right}}
- P={1,12,13,14,15,...}{displaystyle P=left{1,{frac {1}{2}},{frac {1}{3}},{frac {1}{4}},{frac {1}{5}},,...right}}
- Per proprietà caratteristica o in comprensione: come l'insieme degli oggetti che verificano una determinata proprietà P{displaystyle P}
. In tal caso si usa la scrittura {x|P(x)}{displaystyle {x|P(x)}}
dove al posto di P(x){displaystyle P(x)}
può comparire la descrizione d'una proprietà. Es. : F = { x | x è un fiore} (F{displaystyle F}
è definito come l'insieme degli x tali che x è un fiore), F={x|x=1n con n numero intero positivo}{displaystyle F=left{x|x={frac {1}{n}}{mbox{ con }}n{mbox{ numero intero positivo}}right}}
.
Cardinalità |
.mw-parser-output .vedi-anche{border:1px solid #CCC;font-size:95%;margin-bottom:.5em}.mw-parser-output .vedi-anche td:first-child{padding:0 .5em}.mw-parser-output .vedi-anche td:last-child{width:100%}
La cardinalità di un insieme è il numero che indica la quantità dei suoi elementi. Ad esempio, l'insieme {a,b,c}{displaystyle {a,b,c}}
Un insieme si dice finito se ha un numero finito di elementi, infinito se contiene infiniti elementi.
Operazioni tra insiemi |
Unione di due insiemi
Intersezione di due insiemi
Differenza di due insiemi
Differenza simmetrica di due insiemi
Le principali operazioni tra insiemi sono:
- L'unione di due insiemi A e B: si indica con A∪B{displaystyle Acup B}
ed è l'insieme formato da tutti gli elementi di A o B o entrambi presi una sola volta;
- L'intersezione di due insiemi A e B: si indica con A∩B{displaystyle Acap B}
ed è data dall'insieme formato da tutti gli elementi che appartengono sia all'insieme A che all'insieme B contemporaneamente;
- La differenza tra B e A si indica con B∖A{displaystyle Bsetminus A}
o con B−A{displaystyle B-A}
ed è data dall'insieme formato dai soli elementi di B che non appartengono ad A. B∖A{displaystyle Bsetminus A}
- La differenza simmetrica tra due insiemi è l'insieme degli elementi che appartengono ad A e non a B oppure che appartengono a B e non ad A. Si indica con AΔB=(A∖B)∪(B∖A){displaystyle ADelta B=(Asetminus B)cup (Bsetminus A)}
;
- Il prodotto cartesiano di due insiemi A e B è l'insieme di tutte le possibili coppie ordinate (a,b){displaystyle (a,b)}
con a∈A{displaystyle ain A}
.
Relazioni tra insiemi |
Due insiemi A e B si dicono inoltre:
Coincidenti, se sono lo stesso insieme: questo si verifica se e solo se hanno gli stessi elementi;
Disgiunti, se non hanno nessun elemento in comune.
B è sottoinsieme di A se A contiene gli elementi di B. Secondo la definizione ogni insieme è contenuto in sé stesso. Per esprimere questo si usa la notazione:
- B⊆A{displaystyle Bsubseteq A}
Se si vuole escludere che B coincida con A, cioè prevedere che esistono elementi di A non contenuti in B, si usa la notazione:
- B⊂A{displaystyle Bsubset A}
che si legge: "B è un sottoinsieme proprio di A" oppure "B è incluso propriamente in A" oppure "B è contenuto propriamente in A". Alcuni autori utilizzano solo la seconda notazione, indipendentemente dal tipo di inclusione.
La relazione binaria di inclusione tra insiemi rende una qualsiasi classe di insiemi un insieme parzialmente ordinato.
L'insieme vuoto |
Insieme vuoto è l'insieme che non contiene nessun elemento. Si indica con i simboli ∅{displaystyle varnothing }
L'insieme vuoto è sottoinsieme di qualsiasi altro insieme (incluso sé stesso).
L'insieme delle parti |
Per qualunque insieme A si definisce insieme delle parti o "insieme potenza" di A e si indica con P(A){displaystyle {mathcal {P}}(A)}
L'insieme delle parti ha cardinalità strettamente maggiore di quella dell'insieme di partenza. Se A è finito ed ha |A| elementi, il numero degli elementi di P(A){displaystyle {mathcal {P}}(A)}
L'insieme delle parti di qualsiasi insieme, considerato congiuntamente all'operazione di differenza simmetrica, forma un gruppo abeliano. Se vengono considerate insieme unione, intersezione e complementazione la struttura generata è un'algebra di Boole.
La partizione di un insieme |
Si chiama partizione dell'insieme A un insieme di sottoinsiemi di A che ha queste caratteristiche:
- Ogni sottoinsieme non è vuoto;
- Tutti i sottoinsiemi sono disgiunti tra loro;
- L'unione di tutti i sottoinsiemi è A
L'insieme complementare di un insieme |
Dati gli insiemi A e B, con B⊆{displaystyle subseteq }
Insiemi numerici |
Diagramma di Euler di alcuni insiemi numerici notevoli
Alcuni insiemi, detti numerici, hanno un ruolo particolarmente importante e pervasivo in tutte le branche della matematica:
- L'insieme N{displaystyle mathbb {N} }
- L'insieme Z{displaystyle mathbb {Z} }
dei numeri interi
- L'insieme Q{displaystyle mathbb {Q} }
dei numeri razionali
- L'insieme R{displaystyle mathbb {R} }
dei numeri reali
- L'insieme C{displaystyle mathbb {C} }
dei numeri complessi
- L'insieme H{displaystyle mathbb {H} }
dei quaternioni
Questi insiemi si possono vedere intuitivamente come contenuti uno nell'altro:
- N⊂Z⊂Q⊂R⊂C⊂H.{displaystyle mathbb {N} subset mathbb {Z} subset mathbb {Q} subset mathbb {R} subset mathbb {C} subset mathbb {H} .}
Più propriamente si dovrebbe parlare di immersione di ogni insieme nel seguente, poiché secondo la corrente assiomatizzazione i vari insiemi sono definiti in modi radicalmente diversi l'uno dall'altro.
Note |
Bibliografia |
- Serge Lang, Algebra lineare, Torino, Bollati Boringhieri, 1992.
- Seymour Lipschutz, Topologia, Sonzogno, Etas Libri, 1979.
- (EN) Paul Halmos (1960): Naive set theory, D. Van Nostrand Company. Ristampato da Springer nel 1974, ISBN 0-387-90092-6.
- (FR) Nicolas Bourbaki (1968): Théorie des ensembles, Hermann.
Voci correlate |
- Teoria degli insiemi
- Teoria ingenua degli insiemi
- Teoria assiomatica degli insiemi
- Set (informatica)
Altri progetti |
Altri progetti
- Wikiversità
- Wikimedia Commons
Wikiversità contiene risorse su insieme
Wikimedia Commons contiene immagini o altri file su insieme
Wikiversità contiene risorse su insieme
Collegamenti esterni |
Insieme, su thes.bncf.firenze.sbn.it, Biblioteca Nazionale Centrale di Firenze.
(EN) Insieme, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}
.mw-parser-output .CdA{border:1px solid #aaa;width:100%;margin:auto;font-size:90%;padding:2px}.mw-parser-output .CdA th{background-color:#ddddff;font-weight:bold;width:20%}
| Controllo di autorità | GND (DE) 4038613-2 |
|---|
Portale Matematica: accedi alle voci di Wikipedia che trattano di Matematica
