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

Induzione transfinita

Indice Induzione transfinita

L'induzione transfinita è una tecnica di dimostrazione matematica analoga all'induzione matematica applicata ad insiemi ben ordinati, ad esempio all'insieme dei numeri ordinali o dei numeri cardinali.

10 relazioni: Buon ordine, Dimostrazione matematica, Estremo superiore e estremo inferiore, Numero cardinale, Numero ordinale (teoria degli insiemi), Ordinale limite, Ordinale successore, Principio d'induzione, Relazione d'ordine, Teorema di Goodstein.

Buon ordine

In matematica, un buon ordine o buon ordinamento su un insieme S è una relazione d'ordine su S con la proprietà che ogni sottoinsieme non vuoto di S ha un elemento minimo secondo questo ordine.

Nuovo!!: Induzione transfinita e Buon ordine · Mostra di più »

Dimostrazione matematica

Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) coerenza formale del ragionamento.

Nuovo!!: Induzione transfinita e Dimostrazione matematica · Mostra di più »

Estremo superiore e estremo inferiore

In matematica, l'estremo superiore di un insieme E contenuto in un insieme ordinato X è il più piccolo elemento dei maggioranti di E. In modo duale, l'estremo inferiore di E è definito come il più grande elemento dei minoranti di E. Estremo superiore e inferiore possono appartenere ad E oppure no.

Nuovo!!: Induzione transfinita e Estremo superiore e estremo inferiore · 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!!: Induzione transfinita e Numero cardinale · Mostra di più »

Numero ordinale (teoria degli insiemi)

In matematica, i numeri ordinali costituiscono un'estensione dei numeri naturali che tiene conto anche di successioni infinite, introdotta da Georg Cantor nel 1897.

Nuovo!!: Induzione transfinita e Numero ordinale (teoria degli insiemi) · Mostra di più »

Ordinale limite

Un ordinale limite è un numero ordinale che non è né un ordinale successore né l'insieme vuoto.

Nuovo!!: Induzione transfinita e Ordinale limite · Mostra di più »

Ordinale successore

Un'operazione fondamentale che è possibile effettuare sui numeri ordinali è l'operazione di successione S per ottenere il numero ordinale immediatamente più grande.

Nuovo!!: Induzione transfinita e Ordinale successore · Mostra di più »

Principio d'induzione

Il principio d'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.

Nuovo!!: Induzione transfinita e Principio d'induzione · 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!!: Induzione transfinita e Relazione d'ordine · Mostra di più »

Teorema di Goodstein

In matematica, il teorema di Goodstein è un teorema sui numeri naturali, relativamente semplice da enunciare, la cui particolarità consiste nel fatto di essere indecidibile dall'aritmetica di Peano ma dimostrabile nella teoria assiomatica degli insiemi.

Nuovo!!: Induzione transfinita e Teorema di Goodstein · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »