Finns det någon 1: 1-korrespondens mellan komplexa tal och reella tal?

Ja det finns, men det är lite knepigt att bevisa. Här är en skiss. Först några notation:

P ~ Q innebär att det finns en 1-1-korrespondens mellan alla medlemmar i set Persson och alla Q

R är uppsättningen av reella tal, C är komplexa tal

R x R är kors-produkt av R med honom, uppsättningen beställde par reals (Dito för uppsättning)

(0,1] är halvöppna intervallet av reals från 0 till 1, som är alla riktiga x 0< x=""><=>

Nu skissen. Det är ganska uppenbart att R x R ~ C, eftersom ett komplext tal är bara ett ordnat par av reals.

R ~ (0,1] av funktionen f(x) = 1/(1-x) (du kan bevisa dig själv ganska enkelt att detta är en 1-1-funktion och omfattar alla R vs alla (0,1]

R x R ~ (0,1] x (0,1] genom föregående regel att varje element i paret

[0,1) ~ [0,1) x [0, 1] är lite knepigt, men ett sätt är att mappa en riktig nummer x i (0,1] i två reella tal y och z genom att varje andra siffran i decimal utbyggnaden av x. Ta till exempel x = pi/10...

x =.314159265358979323846... <->.1196387334... och.34525599286...

Du måste se upp för teknikaliteter som.09999... =.100000,... men det fungerar och är 1-1 och omfattar alla (0,1].

Så, sätta allt detta tillsammans...

C ~ R x R ~ (0,1] x (0,1] ~ (0,1] ~ R

Jag är inte säker på att du behöver R ~ (0,1] del, men det är ett viktigt faktum (allt R är ~ till en delmängd av R), en söt knep och värt visar.

QED