Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

Moze li skup sadrzati samog sebe?

[es] :: Matematika :: Moze li skup sadrzati samog sebe?

Strane: 1 2

[ Pregleda: 9989 | Odgovora: 29 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

Shadowed
Vojvodina

Član broj: 649
Poruke: 12846



+4783 Profil

icon Moze li skup sadrzati samog sebe?11.11.2003. u 01:44 - pre 248 meseci
Ne vidim razlog zasto ne bi mogao ali da proverim.
Dakle moze li elemnt skupa biti sam taj skup?
 
Odgovor na temu

vlayceh
Vladimir B
Nis

Član broj: 16132
Poruke: 7
195.252.85.*



Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 08:21 - pre 248 meseci
Ne, skup ne moze sadrzati samog sebe.

Teorija skupova je aksiomatski zasnovana, i na osnovu jedne od tih aksioma se izvodi dato tvrdjenje. Nazalost, zaboravio sam ime te aksiome.
 
Odgovor na temu

noviKorisnik
Dejan Katašić
Novi Sad

Član broj: 13216
Poruke: 4533
*.bankmeridian.com

Sajt: www.novikorisnik.net


+5 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 09:59 - pre 248 meseci
Ako je jedan skup definisan kao skup svih skupova, po toj definiciji mora sadržati i sebe.
 
Odgovor na temu

Ivan Dimkovic

Administrator
Član broj: 13
Poruke: 16683
*.dip.t-dialin.net



+7169 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 10:30 - pre 248 meseci
Citat:

Ako je jedan skup definisan kao skup svih skupova, po toj definiciji mora sadržati i sebe.


Da, ali time ulazis u paradoks -

def: X skup svih skupova koji nemaju sebe kao podskup

Ako kazemo da X pripada X, to je kontradikcija, jer je X po definiciji skup svih skupova koji ne sadrze sami sebe - a ovde upravo sadrzi samog sebe

Ako kazemo da X ne pripada X, ispada da X zadovoljava definiciju, i X pripada X... sto je opet nemoguce


Mislim da te zanima Russel:

http://plato.stanford.edu/entries/russell-paradox/

http://www.utm.edu/research/iep/p/par-russ.htm

http://www.cut-the-knot.org/selfreference/russell.shtml


Ovakvih paradoksa ima dosta, problem sa skupovima je samo manifestacija osobine svih formalnih logickih sistema.

DigiCortex (ex. SpikeFun) - Cortical Neural Network Simulator:
http://www.digicortex.net/node/1 Videos: http://www.digicortex.net/node/17 Gallery: http://www.digicortex.net/node/25
PowerMonkey - Redyce CPU Power Waste and gain performance! - https://github.com/psyq321/PowerMonkey
 
Odgovor na temu

noviKorisnik
Dejan Katašić
Novi Sad

Član broj: 13216
Poruke: 4533
*.bankmeridian.com

Sajt: www.novikorisnik.net


+5 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 12:26 - pre 248 meseci
Ne vidim vezu s Raselovim paradoksom, voleo bih da je vidim.

Pomenuo sam skup svih skupova, bez neke osobine za selekciju u smislu pripada li neki skup tom skupu, ili ne.
Ako je nešto skup, to znači da pripada ovom skupu.
Opet, ako ovakav skup jeste skup, onda je i svoj element.

Istina, sve miriše na neki paradoks, ali bih voleo da vidim šta ruši postavku.
 
Odgovor na temu

Shadowed
Vojvodina

Član broj: 649
Poruke: 12846



+4783 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 13:29 - pre 248 meseci
Ovo sto je rekao noviKorisnik bi treblo da znaci da moze sadrzati.

Inace, povod sto sam to uopste i pitao jeste upravo taj paradoks. Procitao sam pre dosta vremena o njemu pa nisam bio siguran da li je uopste moguce da skup sadrzi samog sebe.

Sad ostaje pitanje sta matematika "kaze" u vezi ovoga. Koliko znam matematika bi trebala da bude bez ikakvih paradoksa.
 
Odgovor na temu

byTer

Član broj: 10936
Poruke: 1221
*.ptt.yu

ICQ: 47761626


Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 13:53 - pre 248 meseci
Ako u toku nekog racuna dodjes da je podskup jednak skupu onda moze
 
Odgovor na temu

srki
Srdjan Mitrovic
Auckland, N.Z.

Član broj: 2237
Poruke: 3654
*.dialup.xtra.co.nz



+3 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 14:35 - pre 248 meseci
Citat:
noviKorisnik:
Ne vidim vezu s Raselovim paradoksom, voleo bih da je vidim.
Pa veza je u tome sto ako definises neki skup to ne znaci da postoji taj skup. Znaci ako si ti definisao neki skup koji je skup svih skupova to ne znaci da takav skupo postoji pa to nije dokaz da skup moze da sadrzi sam sebe.

Ivan je samo na drugom primeru pokazao da iz definicije skupa ne sledi da takav skup postoji. Zato tvoja definicija nema nikakve veze sa problemom da li skup moze da sadrzi sam sebe.
 
Odgovor na temu

darkosos
Darko Šoš
Beograd

Član broj: 5053
Poruke: 1131
*.ptt.yu



+64 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 15:04 - pre 248 meseci
Da, Raselov paradoks. On, i slicni, su razlog da se malo ostrije postave temelji teorije skupova, verovatno najznacajnije u Matematici.

Mozda pomogne A7. aksioma regularnosti, u ZF teoriji (Zermelo-Fraenkel) :

(izvor : "Hilbertovi problemi i logika" - Z. Mijajlovic, Z. Markovic i K. Dosen)

Tj. skup x je ili prazan ili postoji element y koga on sadrzi i on je takav da ne postoji z sadrzan i u x i u y.
Ako skup x sadrzi sebe, onda bi svi elementi skupa x bili i elementi njegovog elementa, tj. opet skupa x.

Secam se da je neko pricao i o "skupnim" osobinama i o onima koje to nisu. Pa je receno da osobina "biti element samoga sebe" nije skupna jer bi tvrdjenje da takav skup postoji bilo kontradikcija.
 
Odgovor na temu

Ivan Dimkovic

Administrator
Član broj: 13
Poruke: 16683
*.dip.t-dialin.net



+7169 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 15:33 - pre 248 meseci
Citat:

Ne vidim vezu s Raselovim paradoksom, voleo bih da je vidim.

Pomenuo sam skup svih skupova, bez neke osobine za selekciju u smislu pripada li neki skup tom skupu, ili ne.

Ako je nešto skup, to znači da pripada ovom skupu.
Opet, ako ovakav skup jeste skup, onda je i svoj element.


Hmm... kako ne vazi, tvoja definicija nije dovoljna - jer vec imas paradoksalne slucajeve kakve sam ja naveo koji se krse sa definicijom.

Dakle, ona vec pada ako je izaberemo da skup bude "skup skupova koji ne sadrze sami sebe" - znaci ne vazi za svaki skup "svih sadrzecih skupova", jer je u ovom konkretnom slucaju logicka kontradikcija.

Citat:

Tj. skup x je ili prazan ili postoji element y koga on sadrzi i on je takav da ne postoji z sadrzan i u x i u y.
Ako skup x sadrzi sebe, onda bi svi elementi skupa x bili i elementi njegovog elementa, tj. opet skupa x.

Secam se da je neko pricao i o "skupnim" osobinama i o onima koje to nisu. Pa je receno da osobina "biti element samoga sebe" nije skupna jer bi tvrdjenje da takav skup postoji bilo kontradikcija.


Pa da, ideja je da se ogranici nacin odredjivanja pripadnosti i osobina. Mislim da je dosta radjeno na temu osobina skupova,

http://www.utm.edu/research/iep/p/par-russ.htm

Ali jos i dalje postoje debate oko najbolje teorije. U svakom slucaju i ova samo pokriva taj konkretni paradoks uvodjenjem jos nekih pravila :) Ali taj novi sistem ne oslobadja od svojih paradoksa :)


DigiCortex (ex. SpikeFun) - Cortical Neural Network Simulator:
http://www.digicortex.net/node/1 Videos: http://www.digicortex.net/node/17 Gallery: http://www.digicortex.net/node/25
PowerMonkey - Redyce CPU Power Waste and gain performance! - https://github.com/psyq321/PowerMonkey
 
Odgovor na temu

Ivan Dimkovic

Administrator
Član broj: 13
Poruke: 16683
*.dip.t-dialin.net



+7169 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 15:34 - pre 248 meseci
Citat:

Sad ostaje pitanje sta matematika "kaze" u vezi ovoga. Koliko znam matematika bi trebala da bude bez ikakvih paradoksa.


Ne, na zalost - upravo obrnuto, svaki formalni zatvoreni logicki sistem (principa matematica je jedan od njih) je osudjen bar na jedan paradoks dok ne uvedes dodatna pravila :) Mada su ljudi odavno prihvatili to kao nuzno zlo :)

DigiCortex (ex. SpikeFun) - Cortical Neural Network Simulator:
http://www.digicortex.net/node/1 Videos: http://www.digicortex.net/node/17 Gallery: http://www.digicortex.net/node/25
PowerMonkey - Redyce CPU Power Waste and gain performance! - https://github.com/psyq321/PowerMonkey
 
Odgovor na temu

srki
Srdjan Mitrovic
Auckland, N.Z.

Član broj: 2237
Poruke: 3654
*.dialup.xtra.co.nz



+3 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 15:44 - pre 248 meseci
Da napomenem da treba razlikovati paradoks i kontradikciju. Znam da znate razliku ali ipak moze da se desi da ne obratite paznju na nju. Aksimoe ne smeju da budu kontradiktorne ali paradoks moze da postoji.
 
Odgovor na temu

Ivan Dimkovic

Administrator
Član broj: 13
Poruke: 16683
*.dip.t-dialin.net



+7169 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 16:04 - pre 248 meseci
Da li je skup ujedno i svoj element?

Recimo, skup bubasvaba nije bubasvaba (nije svoj clan, nazovimo ovu vrstu U skupovi)
Skup svih skupova sadrzi sebe (jeste svoj clan, nazovimo ovu vrstu V skupovi)

U skupovi: svi skupovi koji nisu clanovi samih sebe
V skupovi: svi skupovi koji jesu clanovi samih sebe

Dakle, skup moze biti ili U tipa, ili V tipa, nikako i jednog i drugog u isto vreme.

Niko nas ne sprecava da definisemo:

Z: skup svih U skupova -- Skup svih skupva koji nisu clanovi samih sebe

Pitanje: da li je skup Z skup U ili V tipa? :-)

Ispada da skup Z nije ni U ni V skup :-) Kakav je to onda skup? :-)


Evo jos malo paradoksa sa skupovima...

1. X je skup svih mogucih netacnih tvrdnji
2. Y je tvrdnja "Tvrdjenje Y je netacno"

Da li je Y clan X ?

Da bi se ovo dokazalo mora se ili dokazati da je Y podskup X, ili da Y nije podskup X - nikako oba tvrdjenja u isto vreme :) Pokusajte :)


DigiCortex (ex. SpikeFun) - Cortical Neural Network Simulator:
http://www.digicortex.net/node/1 Videos: http://www.digicortex.net/node/17 Gallery: http://www.digicortex.net/node/25
PowerMonkey - Redyce CPU Power Waste and gain performance! - https://github.com/psyq321/PowerMonkey
 
Odgovor na temu

Shadowed
Vojvodina

Član broj: 649
Poruke: 12846



+4783 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 21:01 - pre 248 meseci
Pa ovde je koliko znam ona fora da Y nije iskaz jer su za definicuju iskaza uzeli da mora da bude odredivo da li je tacan ili ne (sto ovde nije slucaj - nema sanse da odredis da li je Y tacno ili ne).
 
Odgovor na temu

Ivan Dimkovic

Administrator
Član broj: 13
Poruke: 16683
*.dip.t-dialin.net



+7169 Profil

icon Re: Moze li skup sadrzati samog sebe?11.11.2003. u 21:50 - pre 248 meseci
Citat:

Pa ovde je koliko znam ona fora da Y nije iskaz jer su za definicuju iskaza uzeli da mora da bude odredivo da li je tacan ili ne (sto ovde nije slucaj - nema sanse da odredis da li je Y tacno ili ne).


Tacnost nekog iskaza zavisi od pravila sistema (recimo aksioma, drugih tvrdjenja i sl). Primer sa Y skupom je logicki kontradiktoran odmah, medjutim prvi primer sa U i V tipovima skupova (kako sam ih ja nazvao) postaje paradoks tek kada se pokusa definicija Z skupa koji je skup svih U skupova.

Problem je sto u svakom sistemu koji je kompletan mozes naleteti na bar jedan ovakav iskaz. Ovo je daleko veci problem nego sto izgleda na prvi pogled - onaj primer za "skup svih skupova" je samo jedna manifestacija istog problema.

Za ljudski mozak (inteligenciju) ovo nije neki problem - jer covek vrlo lako uvidja da je nesto neresivo i uvodi nova pravila - dok kompjuterski program nije obdaren "izlazenjem iz sistema" :) off-topic, ali citao sam negde o nekom sistemu procene istinitosti na fuzzy logici koji se bas bavi efektnim zaobilazenjem beskonacnih rekurzija kao sto je ona sa tvrdjenjem Y :)

DigiCortex (ex. SpikeFun) - Cortical Neural Network Simulator:
http://www.digicortex.net/node/1 Videos: http://www.digicortex.net/node/17 Gallery: http://www.digicortex.net/node/25
PowerMonkey - Redyce CPU Power Waste and gain performance! - https://github.com/psyq321/PowerMonkey
 
Odgovor na temu

darkosos
Darko Šoš
Beograd

Član broj: 5053
Poruke: 1131
*.ptt.yu



+64 Profil

icon Re: Moze li skup sadrzati samog sebe?12.11.2003. u 07:24 - pre 248 meseci
Hm, malo smo se zaleteli.
Sto se tice ovih primera sa skupovima, data aksioma izbacuje mogucnost da skup sadrzi sebe. Dalje, ne moze se skup formirati tako sto se napravi iskaz koji zovemo, recimo, osobina P(x), pa kazemo da je X = {x|P(x)}.

Prvo, osobina P mora biti takva da se za svako x moze utvrditi da li vazi P(x) ili ne (to je vec Shadowed napomenuo). Drugo, familija formirana na ovakav nacin (tj svi koji imaju osobinu P) mora zadovoljavati aksiome teorije skupova, inace ne mozemo reci da je skup.

Citat (isto kao gore):
"... U takvoj situaciji javio se Ernst Zermelo 1908. godine jednim novim pristupom. Sustina njegove ideje je da skupovi koji se javljaju u matematici nisu zasnovani na intuiciji o podeli univerzuma svih mogucih objekata na dva dela (skup svih objekata koji imaju zadato svojstvo i skup svih onih koji ga nemaju), vec na predstavi o postepenoj, kumulativnoj izgradnji skupova polazeci od nekih unapred zadatih objekata - urelemenata (praelemenata), pri cemu neki skup moze kao elemente sadrzati samo skupove koji su izgradjeni pre njega. ... Ubrzo se pokazalo da urelementi nisu neophodni i da se svi skupovi koji se javljaju u matematici mogu izgraditi polazeci od praznog skupa."
(bold i underline su moji)
 
Odgovor na temu

noviKorisnik
Dejan Katašić
Novi Sad

Član broj: 13216
Poruke: 4533
*.bankmeridian.com

Sajt: www.novikorisnik.net


+5 Profil

icon Re: Moze li skup sadrzati samog sebe?12.11.2003. u 11:38 - pre 248 meseci
Citat:
darkosos:
Ako je , onda je y skup. Ako je x skup svih skupova, njemu pripada y jer je skup. Kako je y prazan, njemu ne pripada ni jedan element tako da ne postoji z takav koji je element od x i y. Sledi da je x saglasan s ovim aksiomom!

Možda treba: (za svaki y)?

 
Odgovor na temu

cedomir
Čedomir Rosić
Sys. Ing.
xObrenovac, Karaburma

Član broj: 4570
Poruke: 193
*.sezampro.yu

Jabber: cedomir@elitesecurity.org
ICQ: 59161631


+1 Profil

icon Re: Moze li skup sadrzati samog sebe?12.11.2003. u 12:20 - pre 248 meseci
prazan skup sadrži sam sebe :)
http://www.beoblues.com
blues in belgrade - bluz u beogradu
belgrade in blues - beograd u bluzu
 
Odgovor na temu

darkosos
Darko Šoš
Beograd

Član broj: 5053
Poruke: 1131
*.ptt.yu



+64 Profil

icon Re: Moze li skup sadrzati samog sebe?12.11.2003. u 16:18 - pre 248 meseci
Ne, ne moze da se zameni sa jer bi time izbacio sledecu, potpuno bezopasnu, mogucnost :
x = {1, {1}}, y = {1}, z=1;
y je element skupa x, a z pripada i x i y.
Uostalom, time bi tvrdio i da nepraznom skupu pripada sve ostalo.

Mozda eventualno da se doda da y nije prazan skup?
 
Odgovor na temu

srki
Srdjan Mitrovic
Auckland, N.Z.

Član broj: 2237
Poruke: 3654
*.dialup.xtra.co.nz



+3 Profil

icon Re: Moze li skup sadrzati samog sebe?12.11.2003. u 17:17 - pre 248 meseci
Citat:
cedomir:
prazan skup sadrži sam sebe :)

Netacno!

Da bi skup mogao da sadrzi sam sebe mora makar jedan od elemenata da bude skup.
Evo ti npr jedan skup koji sadrzi i prazan skup kao element: {1, 5 , {}, 7, 9}
 
Odgovor na temu

[es] :: Matematika :: Moze li skup sadrzati samog sebe?

Strane: 1 2

[ Pregleda: 9989 | Odgovora: 29 ] > FB > Twit

Postavi temu Odgovori

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.