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

Verovatno smaram, ali sta da radim

[es] :: Matematika :: Verovatno smaram, ali sta da radim

[ Pregleda: 4126 | Odgovora: 15 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

Nemanjich
Nemanja Niketic
Beograd

Član broj: 155467
Poruke: 121
*.cpe.vektor.net.



Profil

icon Verovatno smaram, ali sta da radim16.06.2008. u 09:24 - pre 193 meseci
Hilbert je geometriju zasnovao na pet grupa aksioma:

1.aksiome pripadanja(9)
2.aksiome rasporeda(6)
3.aksiome podudarnosti(7)
4.aksiome neprekidnosti(2)
5.aksiome paralelnosti(1)

ukupno ima 25 aksioma. Kako je geometrija Lobacevskog nastala negacijom jedne od aksioma, da li to znaci da mozemo negirati bilo koju od aksioma i dobiti oderdjenu neeuklidsku geometriju?

Da li vazi sledece:

ako predpostavimo da svaka aksioma ima samo jednu svoju negaciju onda pri odabiru aksioma mozemo izbrati aksiome ili njihove negacije: dve mogucnosti za jedno mesto pa 25 puta, pa bi odatle sledilo da postoji 2^25 geometrija.Mozda neke od njih ne ispunjavaju uslov neprotivrecnosti, ali ipak mi se cini da sam negde pogresio(mozda su neke negacije nemoguce?).
 
Odgovor na temu

Shadowed
Vojvodina

Član broj: 649
Poruke: 12851



+4784 Profil

icon Re: Verovatno smaram, ali sta da radim16.06.2008. u 10:43 - pre 193 meseci
Citat:
Nemanjich: Kako je geometrija Lobacevskog nastala negacijom jedne od aksioma...

Ovde se krije greska. Nije u pitanju negacija, vec jednostavno drugacija aksioma. U euklidskoj gometriji kaze kako za dadatu pravu i tacku u ravni koju odredjuju postoji samo jedna prava kroz datu tacku koja ne sece datu pravu. U geometriji Lobacevskog kaze kako postoji beskonacno takvih pravih (koje ne seku datu). Medjutim, postoji i treca varijanta - da nema ni jedne takve. Postoji i geometrija u kojoj se koristi ovakva aksioma ali sam zaboravio kako se zove :)
 
Odgovor na temu

Nemanjich
Nemanja Niketic
Beograd

Član broj: 155467
Poruke: 121
*.cpe.vektor.net.



Profil

icon Re: Verovatno smaram, ali sta da radim16.06.2008. u 10:58 - pre 193 meseci
U redu, koliko onda postoji aksioma od onih 25 koje se mogu menjati i na koliko nacina?

Cini mi se da si mislio na Rimanovu(elipticku) geometriju.

Pozdrav
 
Odgovor na temu

sabandijilla

Član broj: 182924
Poruke: 10
*.eunet.yu.



Profil

icon Re: Verovatno smaram, ali sta da radim16.06.2008. u 11:18 - pre 193 meseci
U eliptickoj geometriji ne vaze ni aksiome rasporeda, tako da moze da se desi da promenis jednu aksiomu, a da pokvaris neke druge. U stvari, smes da menjas, dodajes i oduzimas aksiome kako god zelis dokle god ne dobijes kontradikciju.

Citat:
pa bi odatle sledilo da postoji 2^25 geometrija


Posto uvek mozes dodavati aksiome, postoji prebrojivo mnogo razlicitih geometrija.
 
Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
89.216.108.*

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253


+605 Profil

icon Re: Verovatno smaram, ali sta da radim16.06.2008. u 11:49 - pre 193 meseci
Citat:
Shadowed:
Nije u pitanju negacija, vec jednostavno drugacija aksioma. U euklidskoj gometriji kaze kako za dadatu pravu i tacku u ravni koju odredjuju postoji samo jedna prava kroz datu tacku koja ne sece datu pravu. U geometriji Lobacevskog kaze kako postoji beskonacno takvih pravih (koje ne seku datu). Medjutim, postoji i treca varijanta - da nema ni jedne takve.

Nije u rekao beskonačno, nego bar dve (a posle se dokazuje da zapravo postoji beskonačno). No, samo na osnovu prve tri grupe aksioma može se pokazati da uvek postoji bar jedna takva prava, te možemo reći da jeste u pitanju negacija (jer bi negacija glasila „...ili postoji tačno jedna, ili postoje bar dve...“, ali se onda dokazuje da prva varijanta otpada, kao što rekoh).
Citat:
Shadowed:
Postoji i geometrija u kojoj se koristi ovakva aksioma ali sam zaboravio kako se zove :)

Zove se eliptična, ali za nju se mora promeniti još stvari, ne samo ta jedna aksiome.
Ljubičice crvena, što si plava kô zelena trava.
 
Odgovor na temu

Nemanjich
Nemanja Niketic
Beograd

Član broj: 155467
Poruke: 121
*.cpe.vektor.net.



Profil

icon Re: Verovatno smaram, ali sta da radim16.06.2008. u 12:30 - pre 193 meseci
Sta znaci prebrojivo mnogo (pretpostavljam konacno mnogo)?

Procitao sam da su neki matematicari "eksperimentisali" sa izmenama sistema aksioma tako sto su umesto tacke stavljali funkcije? Da li ste culi nesto o tome, i da li znate sta su dobili i kako sve to izgleda?
 
Odgovor na temu

petarm
Petar Mali
Zrenjanin

Član broj: 20220
Poruke: 1879
*.mgnet.co.yu.



+33 Profil

icon Re: Verovatno smaram, ali sta da radim16.06.2008. u 19:58 - pre 193 meseci
Prebrojivo mnogo. Znaci da mozes da izbrojis odnosno da dovedes u bijekciju sa skupom prirodnih brojeva. Kardinalni broj koji oznacava "moc" ovakvog skupa je . Skup racionalnih brojeva je prebrojiv npr... Naravno i svaki konacan skup je prebrojiv! Ali svaki prebrojiv skup naravno iz gore zakljucenog nije konacan. Pogledaj temu R je neprebrojiv npr.
 
Odgovor na temu

miki069

Član broj: 161528
Poruke: 1951
212.62.55.*



+370 Profil

icon Re: Verovatno smaram, ali sta da radim17.06.2008. u 16:17 - pre 193 meseci
Kada se iskazu definicije tacke, prave i ravni, onda mozemo pricati o aksiomama.
Ako to ne mozemo da iskazemo (a ne mozemo) nego ih koristimo nedefinisane, intuitivno, onda su sve geometrije osim Euklidske mlacenje prazne slame.
Ona jedino koristi intuitivan pojam tacke, prave i ravni.
Svi ostali moraju prvo da definisu elemete aksioma. Tacku, pravu i ravan - u svom smislu, pa onda da mlate aksiome.
Voleo bih da neko nacrta tu drugu pravu iz geometrije Lobacevskog koja je isto paralelna datoj pravoj i sadrzi datu tacku i nalazi se u datoj ravni.
Samo me ta druga prava interesuje - onih ostalih beskonacno cu provaliti sam. Jedino ako Lobacevski ne misli na ravnu ravan vec na sfernu ravan ili na hiperboloidni paraboloid? Sta je kod njih tacka, sta je prava, a sta ravan? Euklid je to bar pokusao da definise.
Ovi ostali ne pokusavaju vec sopaju aksiome.
Ili negde gresim.
 
Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
89.216.108.*

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253


+605 Profil

icon Re: Verovatno smaram, ali sta da radim17.06.2008. u 16:57 - pre 193 meseci
Citat:
miki069:
Ili negde gresim.

Ne da grešiš, nego debelo grešiš. Euklidska geometrija (baš kao ni hiperbolična) nema definicije tačke prave i ravni; dakle, po tvom kriterijumu, i ona je „mlaćenje prazne slame“.
Ljubičice crvena, što si plava kô zelena trava.
 
Odgovor na temu

Nemanjich
Nemanja Niketic
Beograd

Član broj: 155467
Poruke: 121
*.cpe.vektor.net.



Profil

icon Re: Verovatno smaram, ali sta da radim17.06.2008. u 18:25 - pre 193 meseci
za miki069

daj dovoljno veliki papir pa ces videti.Nadji negde funkciju Lobacevskog pa ces videti da je Euklidska geometrija "asimptotski" slucaj geometrije Lobacevskog.
 
Odgovor na temu

petarm
Petar Mali
Zrenjanin

Član broj: 20220
Poruke: 1879
*.mgnet.co.yu.



+33 Profil

icon Re: Verovatno smaram, ali sta da radim17.06.2008. u 19:25 - pre 193 meseci
Citat:
miki069: Kada se iskazu definicije tacke, prave i ravni, onda mozemo pricati o aksiomama.
Ako to ne mozemo da iskazemo (a ne mozemo) nego ih koristimo nedefinisane, intuitivno, onda su sve geometrije osim Euklidske mlacenje prazne slame.
Ona jedino koristi intuitivan pojam tacke, prave i ravni.
Svi ostali moraju prvo da definisu elemete aksioma. Tacku, pravu i ravan - u svom smislu, pa onda da mlate aksiome.
Voleo bih da neko nacrta tu drugu pravu iz geometrije Lobacevskog koja je isto paralelna datoj pravoj i sadrzi datu tacku i nalazi se u datoj ravni.
Samo me ta druga prava interesuje - onih ostalih beskonacno cu provaliti sam. Jedino ako Lobacevski ne misli na ravnu ravan vec na sfernu ravan ili na hiperboloidni paraboloid? Sta je kod njih tacka, sta je prava, a sta ravan? Euklid je to bar pokusao da definise.
Ovi ostali ne pokusavaju vec sopaju aksiome.
Ili negde gresim.


Prava je ono sto zadovoljava aksiome prave u nekoj od geometrija. Npr. ako orman zadovoljava aksiome prave on je prava. I tu nema nista sporno. Pa i broj ne mozes da definises! I on se uvodi aksiomatski. Znaci da je sabiranje mlacenje prazne slame. Ne znam sta bi bilo mlacenje pune slame, ali nema veze.
 
Odgovor na temu

miki069

Član broj: 161528
Poruke: 1951
212.62.55.*



+370 Profil

icon Re: Verovatno smaram, ali sta da radim18.06.2008. u 00:56 - pre 193 meseci
Ja nigde nisam rekao da je Euklid definisao tacku, pravu i ravan. Rekao sam "pokusao" je. "tacka je ono ciji je deo nista..."
Mi koristimo intuitivno te pojmove.
Orman ne mogu intuitivno da zamislim kao pravu.
Uzeo sam hamer ogroman i ne mogu nikako da nacrtam tu drugu pravu Lobacevskog. Ako vi mozete okacite na forum.
Brojeve nisam spominjao. Tema je geometrija.
"cemu to sluzi? a uz to i ne radi"

[Ovu poruku je menjao miki069 dana 18.06.2008. u 02:06 GMT+1]
 
Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
89.216.108.*

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253


+605 Profil

icon Re: Verovatno smaram, ali sta da radim18.06.2008. u 01:30 - pre 193 meseci
Hoćeš da kažeš: ti pravu zamišljaš kao ravnu liniju (šta god bila „ravna linija“), tačku zamišljaš kao trag vrha olovke kad samo dotakneš papir itd., pa ti je zato euklidska geometrija logična?

Pazi sada: zamisli jednu ravnu liniju i sve tačke (tačke zamišljaš kao i dosad) s iste strane te ravne linije (pri čemu tačke s linije ne računamo); u euklidskoj geometriji ovo bismo nazivali poluravan, ali mi ćemo to sad da zovemo ravan. Posmatraj polukružnice (opet mislim na one figure koje u euklidskoj geometriji nazivaš polukružnice) čiji je centar na ravnoj liniji uočenoj na početku; sve takve euklidske polukružnice sada ćemo nazvati prave. Uz ovako zamišljene tačke, prave i ravan važe prve četiri grupe aksioma euklidske geometrije (proveri lepo jednu po jednu ako ne veruješ), a lako se vidi da se za svaku pravu kroz svaku tačku van nje može povući beskonačno mnogo pravih koje ne seku ovu prvu (pazi na to šta sada podrazumevamo pod pravima!), tj. važi hiperbolična aksioma paralelnosti. To je jedan od načina da zamisliš hiperboličnu geometriju (i zove se Poenkareov planarni model hiperbolične geometrije). Da li je sad sve u redu?
Ljubičice crvena, što si plava kô zelena trava.
 
Odgovor na temu

boolander
Marko Aleksov
Obrenovac

Član broj: 119421
Poruke: 60
93.86.14.*



+2 Profil

icon Re: Verovatno smaram, ali sta da radim18.06.2008. u 01:33 - pre 193 meseci
@miki069
postoje mnogi modeli hiperboličke geometrje u euklidskoj (i obrnuto)... najpoznatiji je poenkareov disk model. tu je dat model hiperboličke ravni u euklidskoj ravni...
proguglaj malo
boolander was here
 
Odgovor na temu

miki069

Član broj: 161528
Poruke: 1951
212.62.55.*



+370 Profil

icon Re: Verovatno smaram, ali sta da radim18.06.2008. u 06:10 - pre 193 meseci
Jeste u redu Bojane. Skontao sam.
To nisam znao. Mislio sam da misle na "klasicne" prave.
Hvala.
Pozdrav svima
 
Odgovor na temu

Nemanjich
Nemanja Niketic
Beograd

Član broj: 155467
Poruke: 121
*.cpe.vektor.net.



Profil

icon Re: Verovatno smaram, ali sta da radim18.06.2008. u 17:41 - pre 193 meseci
probaj da nadjes neki malo veci od suncevog sistema,ili jos veci, pa onda probaj.
 
Odgovor na temu

[es] :: Matematika :: Verovatno smaram, ali sta da radim

[ Pregleda: 4126 | Odgovora: 15 ] > FB > Twit

Postavi temu Odgovori

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