Indice
13 relazioni: Assioma della scelta, Cardinalità, Composizione di funzioni, Corrispondenza biunivoca, Infinito (matematica), Insieme, Insieme induttivo (logica), Insieme infinito, Insieme vuoto, Matematica, Numero naturale, Online Computer Library Center, Principio d'induzione.
Assioma della scelta
L'assioma della scelta è un assioma di teoria degli insiemi enunciato per la prima volta da Ernst Zermelo nel 1904. Esso afferma che In termini non formali, l'assioma assicura che, quando viene data una collezione di insiemi non vuoti si può sempre costruire un nuovo insieme "scegliendo" un singolo elemento da ciascuno di quelli di partenza.
Vedere Insieme finito e Assioma della scelta
Cardinalità
In teoria degli insiemi per cardinalità (o numerosità o potenza) di un insieme finito si intende il numero dei suoi elementi. La cardinalità di un insieme A è indicata con i simboli leftvert A rightvert, #(A) oppure operatorname(A).
Vedere Insieme finito e Cardinalità
Composizione di funzioni
In matematica, la composizione di funzioni è l'applicazione di una funzione al risultato di un'altra funzione. Più precisamente, una funzione f tra due insiemi X e Y associa ogni elemento di X a uno di Y: in presenza di un'altra funzione g che associa ogni elemento di Y a un elemento di un altro insieme Z, si definisce la composizione di f e g come la funzione che associa ogni elemento di X a uno di Z usando prima f e poi g.
Vedere Insieme finito e Composizione di funzioni
Corrispondenza biunivoca
In matematica una corrispondenza biunivoca tra due insiemi X e Y è una relazione binaria tra X e Y, tale che ad ogni elemento di X corrisponda uno ed un solo elemento di Y, e viceversa ad ogni elemento di Y corrisponda uno ed un solo elemento di X. In particolare, la corrispondenza biunivoca è una relazione di equivalenza.
Vedere Insieme finito e Corrispondenza biunivoca
Infinito (matematica)
In matematica il concetto di infinito (simbolo infty, talvolta detto lemniscata) ha molti significati, in correlazione con la nozione di limite, sia in analisi classica sia in analisi non standard.
Vedere Insieme finito e Infinito (matematica)
Insieme
In matematica, una collezione di elementi rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque elemento fa parte o no del raggruppamento.
Vedere Insieme finito e Insieme
Insieme induttivo (logica)
In logica matematica, e più precisamente in teoria degli insiemi, un insieme X si dice induttivo oppure apodittico se soddisfa l'assioma dell'infinito.
Vedere Insieme finito e Insieme induttivo (logica)
Insieme infinito
Un insieme infinito è intuitivamente un insieme per il quale non sia possibile elencare i suoi elementi. Definizioni matematicamente rigorose si possono dare nella teoria degli insiemi.
Vedere Insieme finito e Insieme infinito
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento. Nella teoria assiomatica degli insiemi l'assioma dell'insieme vuoto ne postula l'esistenza.
Vedere Insieme finito e Insieme vuoto
Matematica
La matematica (dal greco: μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità, i numeri, lo spazio,.
Vedere Insieme finito e Matematica
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare. Nel linguaggio comune i "numeri cardinali" sono quelli usati per contare e i "numeri ordinali" sono quelli usati per ordinare.
Vedere Insieme finito e Numero naturale
Online Computer Library Center
LOnline Computer Library Center (OCLC) è un'organizzazione cooperativa di biblioteche, senza fini di lucro, attiva dal 1967, che offre prodotti, servizi e sistemi informativi alle biblioteche, alle organizzazioni culturali e ai loro utenti.
Vedere Insieme finito e Online Computer Library Center
Principio d'induzione
Il principio d'induzione (da non confondersi con il metodo di induzione) è un enunciato sui numeri naturali che in matematica trova un ampio impiego nelle dimostrazioni, per provare che una certa proprietà è valida per tutti i numeri interi.
Vedere Insieme finito e Principio d'induzione
Conosciuto come Insieme Dedekind-finito.