Eto egzistencije!!!
Dakle:
Napisimo Q u obliku Q=Q1 U Q2 U {0}, gdje su Q1 pozitivni racionalni
brojevi, Q2 negativni. Nadalje, prikazimo Q1_k={n/k, za n element N},
k=1,2,3,.....
Primjeti da je Q1_k jednakobrojan skupu N (ekvipotentan) tzv. prebrojiv skup
i trivijalno je konstruirati bijekciju izmedju njih. Buduci je Q1= unija
Q1_k, kad k=1,2,3,..... i vrijedi da je prebrojiva unija prebrojivih skupova
prebrojiv skup (prebrojiv skup je skup jednakobrojan skupu N tj.
ekvipotentan N) pa vrijedi da je Q1 jednakobrojan skupu N tj. bijektivan sa
skupom N. Jednako se pokaze za Q2. Buduci da vrijedi Q=Q1 U Q2 U {0} tj,
konacna unija prebrojivih skupova je prebrojiv skup, slijedi da je Q
prebrojiv skup tj. jednakobrojan skupu N pa postoji bijekcija izmedju njih.
To je najvise sto ide.
Domagoj
"Vedran Cacic" <ve...@student.math.hr> wrote in message
news:9ocvvg$pld$1...@bagan.srce.hr...