|
|
|
|
 |
sashimi
2002-11-30 11:09:39
|
86
|
Valami ilyesmi a bizonyitas.
Tranzfinit indukcioval bizonyitjuk, tegyuk fel, hogy k-nal kisebb szamossagokra igaz. Belatjuk, hogy kxk is k szamossagu. Rendezzuk kxk elemeit a kovetkezokeppen: (a,b) kisebb mint (c,d) ha
max(a,b) kisebb mint max (c,d) vagy ha a max azonos, akkor lexikografiksu rendezesben kisebb. Ezen rendezes jolrendezes lesz, a rendezes minden kezdoszeletenek a szamossaga kisebb mint k (itt hassznaljuk az indukcios feltevest), igy a rendezes rendtipusa pont k.
sashimi |
|
 |
Gergo73
2002-11-29 23:54:52
|
84
|
| Fel lehet hasznalni, mert ez a halmazelmelet egyik legelso es legalapvetobb tetele. Nagyon gyors bizonyitast nem tudok; Hajnal-Hamburger konyve transzfinit indukcioval bizonyit (ez utobbi ekvivalens a kivalasztasi axiomaval). |
|
A hozzászólás:
 |
karma police
2002-11-29 13:04:36
|
83
|
Egyébként tudsz szép és gyors bizonytást arra, hogy HxH és H között van bijekció? Mert elég trivi és nyilván szó nélkül fel lehet használni, de azért jó lenne.
Amúgy egész szép feladat, ahhoz képest, hogy milyen könnyűnek látszik (és tényleg nem nehéz). |
|
|
Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!
|