U matematici beskonačnost je tema koja je fascinirala mislioce još od antičkih vremena. Dok su starogrčki filozofi raspravljali o neograničenom broju stvari, 19. stoljeće donijelo je prvi sistematični pristup ovoj ideji. Jedan od najznačajnijih matematičara tog doba, Georg Cantor, razvio je teoriju koja je promijenila način na koji razumijemo veličine beskonačnih skupova. Njegov najpoznatiji doprinos – dijagonalni argument – pokazuje da skup svih realnih brojeva nije izbrojiv, odnosno da ne postoji jedinstvena lista koja sadrži sve realne brojeve. Iako se na prvi pogled čini apstraktnim, princip je izuzetno jednostavan i može se objasniti i onima koji nemaju duboko matematičko predznanje.
Sadržaj...
Što je beskonačnost i izbrojivost?
Prije nego što zaronimo u Cantorov dijagonalni argument, važno je shvatiti osnovne pojmove. Skup se naziva izbrojiv ako možemo postaviti jedan na jedan odnos između elemenata skupa i prirodnih brojeva (1, 2, 3, …). To znači da, iako skup može biti beskonačan, postoji način da ga „prebrojimo“ tako da svaki element dobije svoj jedinstveni prirodni broj. Na primjer, skup prirodnih brojeva, skup parnih brojeva ili skup racionalnih brojeva (brojevi koji se mogu zapisati kao omjer dva cijela broja) su izbrojivi.
Suprotno tome, skup koji nije izbrojiv je takav da ne postoji takav jedan na jedan odnos s prirodnim brojevima. To znači da je njegova veličina veća od bilo koje izbrojive skupine. Skup svih realnih brojeva, tj. brojeva koji se mogu zapisati u decimalnom obliku, pripada ovoj kategoriji. Cantor je dokazao upravo to.
Cantorov dijagonalni argument u jednostavnim koracima
Jednostavan način da se zamisli Cantorov argument je kroz tablicu u kojoj svaki redak predstavlja jedan realni broj zapisan u decimalnom obliku. Zamislite da imamo beskonačnu tablicu, a u svakom retku pišemo decimalni zapis broja, počevši s 0, a zatim s beskonačnim nizom znamenki 0–9. Na primjer:
- 0,123456…
- 0,987654…
- 0,111111…
- …
Za svaki redak
