Professional Documents
Culture Documents
Ana Milic Strkalj FV
Ana Milic Strkalj FV
Se m
7. sijenja 2011.
in
SUSTAVU
ar
Ana Mili trkalj 0018005075
Sadraj:
Uvod .........................................................................................................................................2 Cantorovskup......................................................................................................................3 Trijadskisustavbrojeva ...................................................................................................7 Literatura:..........................................................................................................................13
TopolokasvojstvaCantorovogskupa.................................................................................5
Se m
Sveuilite u Zagrebu, Fakultet elektrotehnike i raunarstva, Zagreb, 12. sijenja 2011.
in
1
ar
Uvod
Georg Cantor (1845-1918) je prvi konstruirao beskonaan neprebrojiv, perfektan skup realnih brojeva koji ne sadri interval a nazivamo ga Cantorov skup. Cantorov skup je zanimljiv zbog toga jer sadri mnoge paradokse. Zbog naina na koji je konstruiran, oduzimanjem beskonanog broja intervala iji je zbroj jednak poetnom intervalu, ne moe sadravati interval ija duljina nije nula. Istodobno, skup sadri beskonano neprebrojivo mnogo toaka i ekvipotentan je sa skupom [0, 1]. U ovom seminaru opisat u Cantorov trijadski skup, njegova topoloka svojstva, te pokazati jedan od naina prebacivanja brojeva iz dekadskog u trijadski sustav, koji je potrebno poznavati da bi se definirale toke koje pripadaju, odnosno ne pripadaju Cantorovom skupu.
Se m
Sveuilite u Zagrebu, Fakultet elektrotehnike i raunarstva, Zagreb, 12. sijenja 2011.
in
2
ar
Cantorovskup
Da bismo konstruirali Cantorov skup zaponimo jedininom duljinom E0 = [0, 1]. Podijelimo je na tri jednaka dijela i uklonimo sredinju treinu, otvoreni interval I = Dobili smo dva zatvorena intervala, E1 = 0, ,1 . 3 3 Zatim svaki od ta dva intervala podijelimo na tri jednaka dijela, uklonimo sredinju treinu i dobijemo etiri intervala, E2 = 0,
1 2 , ). 3 3
1 2 1 2 7 8 , , ,1 . 9 9 3 3 9 9
Se m
intervala, od kojih je svaki duljine 3-k.
Definicija 1. Neka je F =
Skup F sadri beskonaan prebrojiv niz unutarnjih rubnih toaka intervala dobivenih u svakom koraku,
in
IE
k =1 k
ar
3
Teorem 1. Skup F sadri sve one brojeve iz intervala [0, 1] koji su takvi da postoji barem
jedan zapis tog broja u trijadskom sustavu u kojem taj zapis nema znamenku 1.
= x [0,1]: x = ak 3 k : ak = 0 ili ak = 2 k =1
Obratno, ako broj koji sadri u svakom svom zapisu u trijadskom sustavu barem jednu znamenku 1 nije element Cantorovog skupa. Pogledajmo zapise rubnih toaka prvih nekoliko intervala u sustavu baze 3:
Se m
{
nalaze se u intervalu
( ) ( ) ( ) ( )
Svi brojevi koji u imaju u trijadskom zapisu na prvom mjestu iza decimalne toke znamenku 1
1 2 , , odnosno vrijedi: 3 3
Svi brojevi koji na drugom mjesu iza decimalne toke u trijadskom zapisu imaju znamenku jedan nalaze se unutar intervala
in
} { }
1 2 7 8 , ili , , odnosno: 9 9 9 9
4
ar
TopolokasvojstvaCantorovogskupa
Navest u nekoliko bitnih i lako dokazivih svojstava Cantorovog skupa koja kad se istodobno promatraju jako lijepo prikazuju i objanjavaju njegovu paradoksalnu prirodu.
F [0,1] .
zatvoren skup. Iz navedene dvije tvrdnje, prema Heine-Borelovom teoremu stoga slijedi da je
Pretpostavimo da je F = x1 , x2 , x3 ,... prebrojiv skup. Zapiimo njegove elemente u trijadskom brojevnom sustavu:
Se m
x1 = 0.a11a12 a13 ... x2 = 0.a21a22 a23 ... M xk = 0.ak1ak 2 ak 3 ...
gdje je aij = 0 ili 2 za svaki i, j. Neka je Tada
y x1 , jer b1 a11 , y x2 jer b2 a22 , itd. Iz toga slijedi da y F , to je kontradikcija sa bi = {0, 2} za svaki i prema Teoremu 1. Iz toga slijedi da je F neprebrojiv.
in
{ }
ar
5
Teorem 2.4. Cantorov skup je perfektan skup. Definicija 2. Skup S je perfektan skup ako je zatvoren, neprebrojiv i bez izoliranih toaka.
1 2 4 1 2n 1 1 1 + + + ... = n = = 3 = 1. 3 9 27 3 n=0 3 3 1 2 3 3 Skup F je komplement Cantorovog skupa, iz ega slijedi da je duljina skupa F = 0, iz ega
Se m
Sveuilite u Zagrebu, Fakultet elektrotehnike i raunarstva, Zagreb, 12. sijenja 2011.
in
6
ar
Trijadskisustavbrojeva
Da bismo opisali elemente Cantorovog skupa sluimo se trijadskim brojevnim sustavom jer ne postoji nain da ih opiemo pomou dekadskog brojevnog sustava. Zbog toga je bitno poznavati jednostavan i efikasan nain pretvorbe razlomaka iz dekadskog u trijadski brojevni sustav. U ovom poglavlju opisat u jedan od tih naina koji se naziva metoda uzastopnog Openito, razlomak N u bazi brojevnog sustava negativnih potencija broja
b:
Se m
koeficijent ponavljamo dok nam ostatak ne bude 0. Dakle:
Cjelobrojni dio rezultata predstavlja koeficijent c1 broja 0.c1c2 c3 ... 3 . Ako je ostatak 0,
postupak je gotov, a ako nije ostatak ponovno mnoimo sa 3. Cjelobrojni bio rezultata je
c2 broja (0.c1c2 c3 ...)3 . Ako je ostatak 0, postupak je gotov, a ako nije postupak
(0.a1a2 a3 ...)10 3 = (c1.a1a2 a3 ...)10 (0.a1a2 a3 ...)10 3 = (c2 .a1a2 a3 ...)10 (0.a1a2 a3 ...)10
3 = ck .000...
Konano:
in
(
)10
ar
b , moe se prikazati pomou
mnoenja.
)10
mnoimo sa brojem 3.
prema Teoremu 1.
1 = (0.3)10 3
Se m
10 10
(0.3) 3 = (1.0)
c1 = 1
in
1 : 3
U ovom sluaju ve nakon prvog koraka pronali smo trijadski zapis broja
(0.1)3 = (0.02)3 .
ii.
( )
10
ar
( )10 :
c1 = 2 .
I u ovom sluaju smo ve nakon prvog koraka nali trijadski zapis broja
(0.2 )3 = (0.20 )3 .
Kako postoji barem jedan zapis broja zaista pripada Cantorovom skupu.
2 koji glasi: 3
iii.
10
10
(0.3) 3 = (1.0 )
10
c1 = 0
10
Se m
iv.
( ) ( ) ( )
(0.6) 3 = (2.0 )
10
c1 = 0
c2 = 2
Broj
in
)
3 10 10
ar
9
( ) ( ) ( )
Primjer 2. Da li je broj
1 = (0.5 )10 2
c1 = 1
Se m
1 = (0.111...)3 = 0.1 2
( )
Broj
1 1 u svakom svom zapisu sadri barem jednu znamenku 1, dakle broj nije element 2 2
Cantorovog skupa!
in
10
ar
Primjer 3. Da li je broj
1 = (0.25 )10 4
Se m
(0.75 )10
c2 = 2
3 = (2.25)10
1 = (0.0202...)3 = 0.02 4
( )
Broj
in
3
ar
11
Se m
Sveuilite u Zagrebu, Fakultet elektrotehnike i raunarstva, Zagreb, 12. sijenja 2011.
in
12
ar
Literatura:
Prof. dr. sc. Mervan Pai, predavanja br7 iz predmeta Uvod u teoriju kaosa za inenjere http://www.mathpath.org/concepts/Num/frac.htm http://www.math.utah.edu/~erin/32103/Cantor.pdf
Se m
Sveuilite u Zagrebu, Fakultet elektrotehnike i raunarstva, Zagreb, 12. sijenja 2011.
in
13
ar