Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Assioma della scelta

Indice Assioma della scelta

L'assioma della scelta è un assioma di teoria degli insiemi enunciato per la prima volta da Ernst Zermelo nel 1904.

30 relazioni: Anello (algebra), Assioma (matematica), Assioma della scelta numerabile, Base (algebra lineare), Campo (matematica), Chiusura algebrica, Coerenza (logica matematica), Ernst Zermelo, Famiglia (matematica), Ideale massimale, Insieme, Insieme di Vitali, Insieme vuoto, Kurt Gödel, Lemma di Zorn, Logica matematica, Modello (logica matematica), Numero cardinale, Paradosso di Banach-Tarski, Paul Cohen (matematico), Prodotto cartesiano, Relazione d'ordine, Spazio vettoriale, Teorema del buon ordinamento, Teorema di compattezza (logica matematica), Teorema di Hahn-Banach, Teorema di Hartogs (teoria degli insiemi), Teoria degli insiemi, Teoria degli insiemi di Zermelo-Fraenkel, 1904.

Anello (algebra)

In matematica, in particolare in algebra astratta, un anello è una struttura algebrica composta da un insieme su cui sono definite due operazioni binarie, chiamate somma e prodotto, indicate rispettivamente con + e \cdot, che godono di proprietà simili a quelle verificate dai numeri interi.

Nuovo!!: Assioma della scelta e Anello (algebra) · Mostra di più »

Assioma (matematica)

In matematica si chiamano postulati o assiomi tutti e soli gli enunciati che, pur non essendo stati dimostrati, sono considerati veri.

Nuovo!!: Assioma della scelta e Assioma (matematica) · Mostra di più »

Assioma della scelta numerabile

L'assioma della scelta numerabile, denotato con ACω è un assioma di teoria degli insiemi, simile all'assioma della scelta di cui è una versione più debole.

Nuovo!!: Assioma della scelta e Assioma della scelta numerabile · Mostra di più »

Base (algebra lineare)

In matematica, e più precisamente in algebra lineare, la base di uno spazio vettoriale è un insieme di vettori linearmente indipendenti che generano lo spazio.

Nuovo!!: Assioma della scelta e Base (algebra lineare) · Mostra di più »

Campo (matematica)

In matematica, un campo è una struttura algebrica composta da un insieme non vuoto K e da due operazioni binarie interne, chiamate somma e prodotto e indicate di solito rispettivamente con + e *. Queste godono di proprietà assimilabili a quelle verificate da somma e prodotto sui numeri razionali o reali o anche complessi.

Nuovo!!: Assioma della scelta e Campo (matematica) · Mostra di più »

Chiusura algebrica

In matematica, in particolare in algebra, la chiusura algebrica di un campo K è la più piccola estensione algebrica di K che è algebricamente chiusa; in termini meno rigorosi, la chiusura algebrica di K è quel campo che si ottiene "aggiungendo" a K le radici di tutti i polinomi a coefficienti in K. Ogni campo ha una chiusura algebrica, e questa è unica a meno di isomorfismi: questo permette di parlare della chiusura algebrica di K, invece che di una chiusura algebrica di K.

Nuovo!!: Assioma della scelta e Chiusura algebrica · Mostra di più »

Coerenza (logica matematica)

In logica matematica, una teoria formale si dice coerente (o non contraddittoria, talvolta anche consistente, per assonanza con l'inglese consistent) se in essa è impossibile dimostrare una contraddizione.

Nuovo!!: Assioma della scelta e Coerenza (logica matematica) · Mostra di più »

Ernst Zermelo

Si diplomò al Luisenstädtisches Gymnasium di Berlino nel 1889.

Nuovo!!: Assioma della scelta e Ernst Zermelo · Mostra di più »

Famiglia (matematica)

In matematica, una famiglia è una collezione di elementi.

Nuovo!!: Assioma della scelta e Famiglia (matematica) · Mostra di più »

Ideale massimale

In matematica, in particolare nella teoria degli anelli, un ideale massimale è un ideale che risulta essere un elemento massimale (rispetto all'inclusione insiemistica) dell'insieme degli ideali propri di un anello, ovvero tale che non sia contenuto propriamente in nessun altro ideale proprio dell'anello.

Nuovo!!: Assioma della scelta e Ideale massimale · Mostra di più »

Insieme

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.

Nuovo!!: Assioma della scelta e Insieme · Mostra di più »

Insieme di Vitali

In matematica, l'insieme di Vitali, che prende il nome dal matematico italiano Giuseppe Vitali, fornisce un esempio di sottoinsieme di \mathbb R che non è misurabile da nessuna misura che sia positiva, invariante per traslazioni e sigma-finita (in particolare non è misurabile rispetto alla misura di Lebesgue).

Nuovo!!: Assioma della scelta e Insieme di Vitali · Mostra di più »

Insieme vuoto

Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento.

Nuovo!!: Assioma della scelta e Insieme vuoto · Mostra di più »

Kurt Gödel

Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.

Nuovo!!: Assioma della scelta e Kurt Gödel · Mostra di più »

Lemma di Zorn

Il lemma di Zorn afferma che: «Se X è un insieme non vuoto su cui è definita una relazione d'ordine parziale tale che ogni sua catena possiede un maggiorante in X, allora X contiene almeno un elemento massimale.» Il lemma di Zorn è equivalente all'assioma della scelta e al teorema del buon ordinamento, ma la sua peculiare formulazione risulta di maggior utilità in moltissime dimostrazioni.

Nuovo!!: Assioma della scelta e Lemma di Zorn · Mostra di più »

Logica matematica

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.

Nuovo!!: Assioma della scelta e Logica matematica · Mostra di più »

Modello (logica matematica)

In logica matematica un modello per un linguaggio o una teoria formale è intuitivamente un'attribuzione di un significato a tutti gli enunciati (le formule) del linguaggio.

Nuovo!!: Assioma della scelta e Modello (logica matematica) · Mostra di più »

Numero cardinale

In matematica, i numeri cardinali sono una generalizzazione dei numeri naturali utilizzati per indicare la grandezza di un insieme.

Nuovo!!: Assioma della scelta e Numero cardinale · Mostra di più »

Paradosso di Banach-Tarski

Dimostrato per la prima volta da Stefan Banach e Alfred Tarski nel 1924, il paradosso di Banach-Tarski, o paradosso di Hausdorff-Banach-Tarski, è il famoso risultato del "raddoppiamento della sfera" ("doubling the ball") con cui si stabilisce che, adoperando l'assioma della scelta, è possibile prendere una sfera nello spazio a 3 dimensioni, suddividerla in un insieme finito di pezzi non misurabili e, utilizzando solo rotazioni e traslazioni, riassemblare i pezzi in modo da ottenere due sfere dello stesso raggio dell'originale.

Nuovo!!: Assioma della scelta e Paradosso di Banach-Tarski · Mostra di più »

Paul Cohen (matematico)

Diplomato nel 1950 presso la Stuyvesant High School di New York, proseguì gli studi presso il Brooklyn College dal 1950 al 1953 e ottenne il Master of Science dall'Università di Chicago nel 1954 dove, nel 1958, completò il PhD in matematica.

Nuovo!!: Assioma della scelta e Paul Cohen (matematico) · Mostra di più »

Prodotto cartesiano

In matematica il prodotto cartesiano di due insiemi A e B è l'insieme delle coppie ordinate (a,b) con a in A e b in B. Formalmente: Se A e B sono insiemi distinti, i prodotti A\times B e B\times A sono formalmente distinti, anche se sono in naturale corrispondenza biunivoca.

Nuovo!!: Assioma della scelta e Prodotto cartesiano · Mostra di più »

Relazione d'ordine

In matematica, più precisamente in teoria degli ordini, una relazione d'ordine su di un insieme è una relazione binaria tra elementi appartenenti all'insieme che gode delle seguenti proprietà.

Nuovo!!: Assioma della scelta e Relazione d'ordine · Mostra di più »

Spazio vettoriale

In matematica, uno spazio vettoriale, anche detto spazio lineare, è una struttura algebrica composta da.

Nuovo!!: Assioma della scelta e Spazio vettoriale · Mostra di più »

Teorema del buon ordinamento

Il teorema del buon ordinamento (da non confondersi con il principio del buon ordinamento) afferma che ogni insieme può essere bene ordinato.

Nuovo!!: Assioma della scelta e Teorema del buon ordinamento · Mostra di più »

Teorema di compattezza (logica matematica)

Nella logica matematica il teorema di compattezza è un risultato relativo alla coerenza o all'esistenza di modelli per insiemi di enunciati nell'ambito della logica proposizionale o di un linguaggio del primo ordine.

Nuovo!!: Assioma della scelta e Teorema di compattezza (logica matematica) · Mostra di più »

Teorema di Hahn-Banach

In matematica, in particolare in analisi funzionale, il teorema di Hahn-Banach è un teorema che permette di estendere operatori lineari limitati definiti su un sottospazio di qualche spazio vettoriale a tutto lo spazio, e mostra inoltre che ci sono sufficienti funzionali lineari continui definiti su ogni spazio normato tali da rendere lo studio dello spazio duale interessante.

Nuovo!!: Assioma della scelta e Teorema di Hahn-Banach · Mostra di più »

Teorema di Hartogs (teoria degli insiemi)

In teoria degli insiemi, il Teorema di Hartogs, dimostrato dal matematico tedesco Friedrich Hartogs, afferma che l'assioma della scelta è equivalente alla condizione che, dati due insiemi qualsiasi A e B, si abbia sempre Questo significa che, assumendo l'assioma della scelta, tutti gli insiemi hanno cardinalità comparabile, anche se infiniti.

Nuovo!!: Assioma della scelta e Teorema di Hartogs (teoria degli insiemi) · Mostra di più »

Teoria degli insiemi

La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.

Nuovo!!: Assioma della scelta e Teoria degli insiemi · Mostra di più »

Teoria degli insiemi di Zermelo-Fraenkel

In matematica, e in particolare in logica matematica, la teoria degli insiemi di Zermelo-Fraenkel comprende gli assiomi standard della teoria assiomatica degli insiemi su cui, insieme con l'assioma di scelta, si basa tutta la matematica ordinaria secondo formulazioni moderne.

Nuovo!!: Assioma della scelta e Teoria degli insiemi di Zermelo-Fraenkel · Mostra di più »

1904

Nessuna descrizione.

Nuovo!!: Assioma della scelta e 1904 · Mostra di più »

Riorienta qui:

Assioma di scelta.

UscenteArrivo
Ehi! Siamo su Facebook ora! »