Insieme: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
FrescoBot (discussione | contributi)
m Bot: i simboli corretti degli ordinali sono º e ª
m Annullate le modifiche di FrescoBot (discussione), riportata alla versione precedente di 79.22.158.38
Riga 4:
Nell'uso informale gli oggetti della collezione possono essere qualunque cosa: [[Numero|numeri]], [[Grafema|lettere]], [[Homo sapiens|persone]], [[Figura (geometria)|figure]], ecc., anche non necessariamente omogenei; nelle formalizzazioni matematiche gli oggetti della collezione vanno invece ben definiti e determinati. Il concetto di insieme è considerato [[concetto primitivo|primitivo]] ed [[Intuizione|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 [[elemento (insiemistica)|elementi]] di questo insieme; nel linguaggio matematico, detto ''a'' un elemento dell'insieme ''A'', si dice che ''a elevoappartiene ad A'' o in simboli <math>a\in A</math>. Un insieme ''A'' è [[sottoinsieme]] di un altro insieme ''B'' quando tutti gli elementi di ''A'' appartengono anche a ''B''.
 
Ciò che caratterizza il concetto di insieme e lo differenzia da strutture matematiche simili sono essenzialmente le seguenti proprietà:
Riga 17:
== 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'' elevoappartiene ad un insieme ''F'' viene detto ''elemento'' di ''F'' e la relazione si denota nella forma <math>x \in F</math>. Viceversa, la relazione di non appartenenza a un insieme si denota nella forma <math>x \notin F</math>.
 
Un insieme può essere definito nei seguenti modi: