Argument de la diagunala de Cantor

L'argument de la diagunala de Cantor a l'è una demustraziun del matematich tudesch Georg Cantor de la minga cüntabilità del insema di nümer reaj.

Questa demustraziun a l'è la segunda scrivüda dal Cantor sura la minga cüntabilità de . La prima demustraziun la dröva minga el desvilüpament decimal d'un nümer real.

Dapress che questa tecnica a l'è stada inventada, l'è stada druvada in di nümerus demustraziun e 'l druvament de l'argument diagunal a l'è inscì diventaa un classich de la demustraziun in matematica.

Inscambi de demustrà che  a l'è minga cüntabil se 'l cunsidera per cumudità el sübinsema [0,1] de  se 'l custrüiss, per tüta part cüntabil D da [0,1], un element da [0,1] partegnent minga a D; el s'avrà inscì pruvaa che [0,1] el pò minga vess cüntabil . Cunsiderem dunca una part cüntabil de [0,1] nümerada cul jüt d'una sequenza . Cada termin de questa sequenza el gh'ha una scritüra decimala cunt un'infinità de cifer dapress la virgula (un'infinità de 0 per un nümer decimal), i.e. :

Custrüisem adess un nümer real x in [0,1] cunsiderand la cifra de sit n dapress la virgüla del nümer , i.e cunsiderand i cifer sü la diagunala de la tavula . El sia  un nümer da 0 a 9 diferent da  e .

El nümer x a l'è ciarament in l'interval [0, 1] però el pò minga vess in la sequenza { r1, r2, r3, ... }, perchè a l'è igual a nissün di nümer de la sequenza : el pò minga vess igual a r1 perchè la prima cifra dapress el punt decimal de x a l'è diferent da la prima cifra dapress el punt decimal de r1; in l'istessa manera per r2, etc. dunca x a l'è minga element de la sequenza ri.

Cunclüsiun: l'interval [0, 1] a l'è mia infinii cüntabil e a fortiori .

El Cantor a l'ha druvaa una furma generalizada de l'argüment de la diagunala per demustrà el teurema de Cantor : per tütt cungjuunt S, el insema dai part de S, nutaa generalament P(S), a l'è « stregiament püssee grand » che S se istess, in d'alter termin el pò minga esist sürgeziun de S vers P(S). In efet, se l'esist una tala sürgeziun f de S sü P(S), se 'l pò cunsiderà el insema A di element x de S cume x partegnent a f(x). Cume che A el partegn a P(S), a l'esist, del fat de la sürgetività da f, un element a de S tal che f(a)=A. Se riva a una cuntradiziun anca in del cas induve a el partegn a A che in del cas cuntrari.

 Videe anca 
 Nümer cardinal
 Nümer urdinal
 Nümer transfini
 Teurema de Gödel

Diagonala
Categoria:Demustrazziú matemàtega