[MD-sorular] Varlik var varlik var... (düzeltme)
Ali Nesin
anesin at nesinvakfi.org
23 Nis 2010 Cum 03:11:41 EEST
D, elbette sayilamaz sonsuzluktadir.
Her sinif da sayilabilir sonsuzluktadir.
Dolayisiyla *D/~ *sayilamaz büyüklüktedir.
Ama su tumcen anlamsiz: "*D/~ *sayilamaz büyüklükteyse eger, o zaman
mahkumlar, her sinif icin bir temsilci secmeye yetmeyecektir." Her
mahkum bir temsilci secmiyor ki. Mahkumlarin tumu ayni anda tum
siniflardan birer temsilci seciyor. Herkes temsilcileri biliyor. Eger
alfa sinifindan x temsilcisi secilmisse, alfa sinifindan x temsilcisi
secildigini herkes biliyor.
Yani her mahkum sayilamaz sonsuzlukta sayida dizi ezberlemek durumunda.
Isin bir baska tuhafligi da bu zaten.
A
tibet efendi wrote:
> O bahsettigim f fonksiyonu icin birebir yazmisim, "eslesme" olacak o.
>
> Yani f'in örten olmasi gerekiyor. Mesele de bu zaten: *Mahkumlar,
> denklik siniflarini örtebilecek mi?*
> *
> *
> *tibet
> *
>
>
>
> --- On *Thu, 4/22/10, tibet efendi /<tibetefendi at yahoo.com>/* wrote:
>
>
> From: tibet efendi <tibetefendi at yahoo.com>
> Subject: Re: [MD-sorular] Varlik var varlik var...
> To: "Ali Nesin" <anesin at nesinvakfi.org>, "Matematik Dunyasi"
> <md-sorular at matematikdunyasi.org>
> Date: Thursday, April 22, 2010, 2:47 PM
>
> Yazi cok ilginc. Yalniz kafama takilan bir nokta var.
> Mahkumlarin her siniftan bir temsilci sectikleri söyleniyor.
> Mahkumlar sayilabilir sonsuzlukta. Her siniftan bir mahkum
> secebilmeleri icin, *D'nin denklik siniflarindan olusan D/~
> kümesi*nin sayilabilir olmasi gerekir.
> Yaniliyor muyum?
>
> (Bu arada D kümesinin bizzat kendisi sayilamaz büyüklüktedir.)
>
> *D/~ *sayilamaz büyüklükteyse eger, o zaman mahkumlar, her sinif
> icin bir temsilci secmeye yetmeyecektir.
>
> *D/~* kümesinin sayilabilir olup olmadigina henüz kafa yormadim.
> Sayilabilir degilse zaten yazi yanlis.
> Sayilabilirse, ki büyük ihtimalle öyle, o zaman da bunun yazida
> belirtilmesi gerekir bence.
>
> Ama* D/~*'yi saymak icin her dogal sayiya bir alfa atamak
> gerekirdi. O zaman bu, dogal sayilardan *D/~*'ye birebir bir f
> fonksiyonu var demektir. Bu f fonksiyonunun ne oldugunu
> söyleyemiyor olmamiz gerekir. Cünkü böyle bir f fonksiyonunun ne
> oldugunu söyleyebiliyor olsaydik, o zaman sorunun cözümü icin
> secim aksiyomuna gerek kalmazdi.
>
> Bir de yazinin son cümlesini anlamadim.
>
> Son bir sey daha söylemek istiyorum. Yazi cok güzel basliyor.
> Isindirma turuyla. Oradaki "basit" sorunun cevabi da cok ilginc. O
> sorunun cevabi verilmeden önce okura "bakin simdi cevap geliyor
> ama öncesinde isterseniz yaziyi okumayi birakin ve siz kendiniz
> bulmaya calisin" manasinda bir not düsülebilir mi? Ben cevabi
> okuyunca üzüldüm kendi adima. Bu kadar güzel bir cevabi olan
> soruyla kendim ugrasmak isterdim. Ama cevabi okumus bulundum.
>
> Akliniza saglik.
>
> tibet
>
> --- On *Thu, 4/22/10, Ali Nesin /<anesin at nesinvakfi.org>/* wrote:
>
>
> From: Ali Nesin <anesin at nesinvakfi.org>
> Subject: [MD-sorular] Varlik var varlik var...
> To: "md-sorular at matematikdunyasi.org"
> <md-sorular at matematikdunyasi.org>
> Date: Thursday, April 22, 2010, 12:40 PM
>
> Bir sonraki degil, iki sonraki MD'de yayimlanacak.
> Cok ilginc buldugumdan o kadar uzun sure beklemenize gonlum
> razi olmadi.
> Dogr referanslari vermemis olabilir. Sadece bir taslak yazidir.
> A
>
>
MD-sorular mesaj listesiyle ilgili
daha fazla bilgi