[ galet@world @ 11.12.2009. 15:56 ] @
Malo sam se zabavljao sa bijekcijom i došao do nekih čudnih zaključaka.
Neki matematičari su mi rekli da se bijekcijom dokazuje da na primer dve
različite duži imaju jednak broj tačaka jer se svakoj tački jedne duži može
pridružiti neka tačka druge duži.
Ali ja sam, čini mi se, došao sasvim korektno do zaključka da se u tom
slučaju može pokazati da neka duž ima više tačaka od same sebe.
Gde grešim? Evo i priloga:
[ igorpet @ 11.12.2009. 16:02 ] @
A šta smatraš pod tačkom?
Polaziš od pretpostavke da ona ima fizičke dimenzije? (širinu, dužinu, obim, površinu,...)
I kako interperetiraš tačku? kao kružić, kvadratić, pravougaonik, trouglić,...?
[ h4su @ 11.12.2009. 17:12 ] @
Vezano za temu i skup prirodnih brojeva ima istu moć(isti broj elemenata) kao i skup parnih prirodnih brojeva.
[ Nedeljko @ 11.12.2009. 17:18 ] @
Dolazio si ti i ranije do mnogih čudnih zakjučaka.

Svaki beskonačan skup se može bijektivno preslikati u svoj pravi deo. Nije ništa čudno što se duž može bijektivno preslikati na svoj pravi deo, jer je duž beskonačan skup tačaka. No, to znači da duž ima najmanje toliko elemenata koliko i ona sama.

Skupovi se po broju elemenata (kardinalnom broju) porede na sledeću način:

Ako postoji bijekcija izmežu skupova, kaže se da imaju isti kardinalni broj.
Ako se skup A može 1-1 preslikati u skup B, kaže se da skup A ima manji ili jednak kardinalni broj od skupa B.
Ako se skup A može 1-1 preslikati u skup B, a ne postoji bijekcija između njih, kaže se da skup A ima manji kardinalni broj od skupa B.

Možeš ti jednoj duži dodati drugu duž, ali time nećeš povećati kardinalni broj.
[ Sini82 @ 11.12.2009. 17:24 ] @
Duž je beskonačan skup tačaka. Skup je beskonačan ako ima isti broj elemenata kao neki njegov pravi podskup, što nikako ne može da bude osobina konačnih skupova. To ne znači da duž sadržana u duži sadrži u sebi manje tačaka od duži u kojoj je sadržana. One sadrže u sebi isti broj tačaka, što se pokazuje tako da se među njima uspostavi bijekcija (obostrano jednoznačno preslikavanje).

Beskonačan skup ima prebrojivo mnogo ili neprebrojivo mnogo elemenata zavisno od toga da li je uspostavljena bijekcija sa skupom N ili sa skupom R. Svaka duž ako su joj početna i krajna tačka različite sadrži neprebrojivo mnogo tačaka.

Bijekcijom se prebrojavaju i konačni i beskonačni skupovi.

Primjer 1.

Skup malih slova abecede ima 30 elemenata jer vrijedi {a,b,c,...,ž}~{1,2,3,...30} (bijekcija sa konačnim podskupom skupa N).

Primjer 2.

Skup cijelih brojeva ima prebrojivo mnogo elemenata jer vrijedi Z~N (bijekcija sa skupom N).

Primjer 3.

Skup tačaka na intervalu (0,1) ima neprebrojivo mnogo elemenata jer vrijedi (0,1)~R (bijekcija sa skupom R).


Ako te zanima više potraži na internetu.

[ galet@world @ 11.12.2009. 17:33 ] @
Pa niste mi baš pomogli - ja sam poslao i crtež i pitao sam gde je konkretno
greška a vi mi odgovarate tako da mi se čini kao da crtež niste ni pogledali
[ Nedeljko @ 11.12.2009. 17:34 ] @
Citat:
Sini82: Beskonačan skup ima prebrojivo mnogo ili neprebrojivo mnogo elemenata zavisno od toga da li je uspostavljena bijekcija sa skupom N ili sa skupom R.


Postoje beskonačni skupovi koji se ne mogu bijektivno preslikati ni u skup N, ni u skup R.
[ Sini82 @ 11.12.2009. 17:35 ] @
Pogledali smo crtež. Nije crtež pogrešan, nego tvoje tumačenje crteža. Ili nisi pažljivo pročitao naše odgovore?

U pravu si Nedeljko. Pokušao sam što više da mu pojednostavim. Tačnija definicija bi bila da je skup neprebrojiv ako nije prebrojiv.
[ h4su @ 11.12.2009. 17:59 ] @
Citat:
Nedeljko: Postoje beskonačni skupovi koji se ne mogu bijektivno preslikati ni u skup N, ni u skup R.


Npr. P(R) ?
[ Nedeljko @ 11.12.2009. 18:18 ] @
Da, P(R) je jedan od primera.

Citat:
galet@world: Pa niste mi baš pomogli - ja sam poslao i crtež i pitao sam gde je konkretno
greška a vi mi odgovarate tako da mi se čini kao da crtež niste ni pogledali


To što skup ima isto elemenata kao njegov pravi podskup ne znači da ima više elemenata od sebe samog.
[ Cabo @ 11.12.2009. 18:50 ] @
Ha ha, samo vas gledam.

Naš stari drugar Galet se ponovo javlja, sa njegovim teorijama o pogrešnosti Analize i čitave matematike.

Kako ne shvatate, ne vredi mu objašnjavati, čovek neće da sluša da mu je način razmišljanja pogrešan jer ne sledi principe matematičke logike. Ne hranite trola.
[ galet@world @ 11.12.2009. 21:08 ] @
Citat:
Cabo: Ne hranite trola.

Hvala na "lepim" rečima - nažalost ja nemam pravo da uzvratim istom merom jer će tema
po običaju biti zaključana
Ali ipak se usuđujem da pokažem šta ja mislim o tome u prilogu koji se odnosi na bijekciju
dužina.
[ Fitopatolog @ 11.12.2009. 21:16 ] @
Dane, probaj da tačke iz kvadrata preslikaš na duž. Videćeš da ih u kvadratu ima više nego na duži. Da ne govorim o preslikavanju tačaka iz kocke.
[ igorpet @ 11.12.2009. 22:48 ] @
Citat:
galet@world: Ali ipak se usuđujem da pokažem šta ja mislim o tome u prilogu koji se odnosi na bijekciju dužina.

Otprilike, dolazimo do pitanja da li je ili ne, tj. da li je duplo vece od ili ne
Da li sam pravilno shvatio dilemu tj. tvrdnju Dane?
[ galet@world @ 12.12.2009. 07:16 ] @
Citat:
Fitopatolog: Dane, probaj da tačke iz kvadrata preslikaš na duž. Videćeš da ih u kvadratu ima više nego na duži. Da ne govorim o preslikavanju tačaka iz kocke.

Ne znam kako da to uradim, ali mi se čini da na duž možeš da staviš koliko god hoćeš
tačaka jer tačka ionako nije ništa. Ovim ne negiram tačku kao geometrijski objekat
niti njeno začenje u definisanju nekog mesta na duži, ravni ili u prostoru. Možda bi
bolji naziv za tačku bio "mesto", ali to nije bitno

A skontao sam tek pošto sam već poslao poruku - verovatno se radi o tome da se
određene duži kvadrata preslikavaju u samo jednu tačku na duži na koju
preslikavamo

[Ovu poruku je menjao galet@world dana 12.12.2009. u 09:07 GMT+1]
[ galet@world @ 12.12.2009. 07:45 ] @
Citat:
igorpet: Otprilike, dolazimo do pitanja da li je ili ne, tj. da li je duplo vece od ili ne
Da li sam pravilno shvatio dilemu tj. tvrdnju Dane?

Sasvim!
U konkretnom jednostavnom slučaju radi se o tome da je odnos dužina crvenih i
plavih intervala jednak 2. Upravo taj odnos koji je nezavisan od broja intervala
ostaje nepromenjen i ako je broj intervala beskonačan. Očuvanje odnosa nam
daje mogućnost da nešto saznamo i o beskonačnostima. Očuvanje odnosa je
izuzetan princip koji jednako važi (bar mi se tako čini) za konačne, beskonačno
velike i beskonačno male veličine.
Deljenjem neke duži na beskonačno mnogo jednakih (ili različitih - svejedno)
intervala ne ukida se dimenzija dužine tih intervala jer je obrnutim postupkom
moguće da opet dobijemo tu duž - hoću da kažem na taj način ne možemo
dobiti tačke jer one nemaju dimenziju dužine.
[ Nedeljko @ 12.12.2009. 10:14 ] @
Citat:
Fitopatolog: Dane, probaj da tačke iz kvadrata preslikaš na duž. Videćeš da ih u kvadratu ima više nego na duži. Da ne govorim o preslikavanju tačaka iz kocke.


Postoji bijekcija du\i na ceo prostor. .
[ Fitopatolog @ 12.12.2009. 10:58 ] @
Citat:
Nedeljko: Postoji bijekcija du\i na ceo prostor. .


Ako je tako, Dane - ti si u pravu!
[ Nedeljko @ 12.12.2009. 16:27 ] @
Smem li da pitam u vezi čega je u pravu?
[ Fitopatolog @ 12.12.2009. 19:39 ] @
Naravno da smeš. Zašto ne bi smeo?
[ Fitopatolog @ 12.12.2009. 20:00 ] @
Citat:
galet@world: Ne znam kako da to uradim, ali mi se čini da na duž možeš da staviš koliko god hoćeš
tačaka jer tačka ionako nije ništa. Ovim ne negiram tačku kao geometrijski objekat
niti njeno začenje u definisanju nekog mesta na duži, ravni ili u prostoru. Možda bi
bolji naziv za tačku bio "mesto", ali to nije bitno

A skontao sam tek pošto sam već poslao poruku - verovatno se radi o tome da se
određene duži kvadrata preslikavaju u samo jednu tačku na duži na koju
preslikavamo

[Ovu poruku je menjao galet@world dana 12.12.2009. u 09:07 GMT+1]


Npr. Neka duž leži unutar kvadrata (kraća je od dijagonale!). Očigledno je da možeš napraviti bijekciju svih tačaka kvadrata koje istovremeno pripadaju i duži na tačke koje pripadaju samoj duži. Šta je sa ostatkom tačaka kvadrata?
[ galet@world @ 12.12.2009. 21:23 ] @
Citat:
Fitopatolog: Npr. Neka duž leži unutar kvadrata (kraća je od dijagonale!). Očigledno je da možeš napraviti bijekciju svih tačaka kvadrata koje istovremeno pripadaju i duži na tačke koje pripadaju samoj duži. Šta je sa ostatkom tačaka kvadrata?


Nisam baš siguran da sam te razumeo, ali moj odgovor bi bio da se na duž unutar
kvadrata (koja nije dijagonala) može preslikati deo tačaka kvadrata, ali ne sve
[ Nedeljko @ 12.12.2009. 23:28 ] @
Citat:
Fitopatolog: Naravno da smeš. Zašto ne bi smeo?


I gde je odgovor?
[ Fitopatolog @ 13.12.2009. 07:52 ] @
Pa valjda prvo ide pitanje?

:-)

U međuvremenu nepar natuknica za razmišljanje:

- dužina duži ne zavisi od "količine" tačaka na njoj (valjda?).
- skup sa beskonačno mnogo elemenata ima više elemenata nego bilo koji njegov podskup (koji takođe može imati beskonačno elemenata) - ovako i Dane razmišlja o skupu tačaka neke duži ("duž ima više tačaka od sebe same" )
- kako upoređivati beskonačne stvari, da li "jedno beskonačno" može biti veće od "drugog beskonačnog" i koliko?
[ Fitopatolog @ 13.12.2009. 11:18 ] @
Da li možemo prvu sliku da gledamo ovako:

- SVE tačke duži A'B' su preslikane na tačke duži AB.
- pošto su ostale nepreslikane tačke sa duži CA' i B'D, očigledno je da na AB postoje tačke na koje ne postoji nikakvo preslikavanje
- odavde sledi da pomenuto preslikavanje (A'B' na AB) nije biunivoko.

[Ovu poruku je menjao Fitopatolog dana 13.12.2009. u 12:39 GMT+1]

[Ovu poruku je menjao Fitopatolog dana 13.12.2009. u 16:39 GMT+1]
[ Sini82 @ 13.12.2009. 11:21 ] @
Code:
Deljenjem neke duži na beskonačno mnogo jednakih (ili različitih - svejedno)
intervala ne ukida se dimenzija dužine tih intervala jer je obrnutim postupkom
moguće da opet dobijemo tu duž - hoću da kažem na taj način ne možemo
dobiti tačke jer one nemaju dimenziju dužine.


Kako onda objašnjavaš činjenicu da bijekcijom proizvoljnoj tački jedne duži
možemo da pridružimo tačku druge duži (naravno i obratno)?

Code:
- dužina duži ne zavisi od "količine" tačaka na njoj (valjda?).


Tačno. Dužina duži ne zavisi od broja tačaka, broj tačaka na duži je invarijanta,
sve duži imaju isti broj tačaka - neprebrojivo mnogo (c).

Code:
- skup sa beskonačno mnogo elemenata ima više elemenata nego bilo koji njegov 
podskup (koji takođe može imati beskonačno elemenata) - ovako i Dane razmišlja o skupu 
tačaka neke duži ("duž ima više tačaka od sebe same" )


Logika koja važi kod konačnih skupova ne važi kod beskonačnih skupova. Kao što sam
već napisao i jedni i drugi se prebrojavaju bijekcijom. Ta osobina da skup ima onoliko
elemenata koliko i njegov pravi podskup se i uzima za definiciju beskonačnosti. Uzmimo
za primjer prirodne i parne brojeve:

1 <-> 2*1
2 <-> 2*2
1 <-> 2*1
.
.
.
n <-> 2*n
.
.
.


Skup parnih brojeva je pravi podskup skupa prirodnih brojeva. Kao što vidiš ima ih isto,
iako bi prvo pomislio da prirodnih brojeva ima duplo više nego parnih.

Code:
- kako upoređivati beskonačne stvari, da li "jedno beskonačno" može biti veće od 
"drugog beskonačnog" i koliko?


Mogu se uspoređivati beskonačne veličine i to preko kardinalnih brojeva o čemu je u ovoj
temi Nedeljko već pisao.
[ galet@world @ 13.12.2009. 21:14 ] @
Citat:
Sini82:

Kako onda objašnjavaš činjenicu da bijekcijom proizvoljnoj tački jedne duži
možemo da pridružimo tačku druge duži (naravno i obratno)?

Tačka? Šta li je tačka?
Citat:
Dužina duži ne zavisi od broja tačaka, broj tačaka na duži je invarijanta,
sve duži imaju isti broj tačaka - neprebrojivo mnogo (c).

Šta bi značilo da su sve beskonačne veličine jednake?
Citat:
Ta osobina da skup ima onoliko
elemenata koliko i njegov pravi podskup se i uzima za definiciju beskonačnosti.

Uzima se - ali kako se dokazuje?
Citat:
Uzmimo
za primjer prirodne i parne brojeve:

1 <-> 2*1
2 <-> 2*2
1 <-> 2*1
.
.
.
n <-> 2*n
.
.
.


Skup parnih brojeva je pravi podskup skupa prirodnih brojeva. Kao što vidiš ima ih isto,
iako bi prvo pomislio da prirodnih brojeva ima duplo više nego parnih.

(Zašto su ti prvi i teći red jednaki?)
U bilo kom konačnom parnom pirodnom broju - broj parnih (ili neparnih) brojeva je dvostruko
manji od od tog broja. Ovaj odnos ne zavisi od veličine tog broja
Taj odnos se ne menja - a i zašto bi -bez obzira na bilo koji (ili koliki) broj parnih brojeva
uključujući i beskonačnost
Tvrdnja da parnih brojeva ima isto toliko koliko i prirodnih je u suprotnosti sa (mojim?)
principom očuvanja odnosa
Odnos broja nekih brojeva prema broju prirodnih brojeva ne zavisi od načina pridruživanja tih
brojeva prirodnim brojevima niti je to dokaz jednakosti broja elemenata podskupa sa brojem
elemenata skupa. Jedini univerzalni dokaz je pomoću
očuvanja odnosa ili zakonitošću promene tih odnosa koji jednako važe za sve brojeve
Code:
- kako upoređivati beskonačne stvari, da li "jedno beskonačno" može biti veće od 
"drugog beskonačnog" i koliko?

Na isti način
[ Bojan Basic @ 14.12.2009. 00:35 ] @
Citat:
galet@world:
Citat:
Ta osobina da skup ima onoliko
elemenata koliko i njegov pravi podskup se i uzima za definiciju beskonačnosti.

Uzima se - ali kako se dokazuje?

Nauči šta znači reč definicija.
Citat:
galet@world:
Tvrdnja da parnih brojeva ima isto toliko koliko i prirodnih je u suprotnosti sa (mojim?)
principom očuvanja odnosa

Ovo je forum Matematika, i u njemu se raspravlja na osnovu matematičkih principa, a ne „tvojih“ principa. Kako, dakle, ovo nema veze s matematikom, temu zatvaram.