KÜME KAVRAMI 1/24 A B C E Sinan NARMANLI ID :

... konulu sunumlar: "KÜME KAVRAMI 1/24 A B C E Sinan NARMANLI ID :"— Sunum transkripti:

1 KÜME KAVRAMI 1/24 A B C E Sinan NARMANLI ID : 2007101954
Instructor : Haluk BİNGÖL CMPE 220

2 2/24 Kümeler uzun yıllardır kullanılıyor olmasına rağmen kümenin matematiksel tanımının yapılması 19. yüzyılda olmuştur. Sayılar üzerinde uzun yıllar çalışmalar yapıldığı halde, bunların belirli topluluklarının küme olarak isimlendirilmesi oldukça vakit almıştır.

3 3/24 Örneğin Bernard Bolzano ( ) doğal sayıların ötesinde sayılabilme problemini ortaya koyan “Sonsuzun Paradoksu (Paradoxien des Unendlichen)” isimli çalışmasında, bir bakıma adını koymadan, sonsuz kümeler üzerinde çalışmış ve bu özellikteki ilk çalışma olarak tarihteki yerini almıştır. Bolzano’nun bu çalışması ölümünden üç yıl sonra 1851 de yayınlanmıştır.

4 4/24 18. yy sonlarında matematiğin kendine has olan lisanında birlik sağlama ihtiyacı hissedilmiştir.

5 5/24 Dönemin Alman matematikçisi Georg Cantor ( ) tüm matematik araştırmalarında ve problemlerinde kullanılan nesnelerin aslında kendi aralarında belirli özelliklere göre gruplanabileceğini, bu durumda araştırma ya da problemin anlaşılırlığının ve problemin çözümüne yönelik işlem yapmanın daha da kolaylaşacağını fark etmiştir.

6 6/24 Cantor’a göre; Matematik problemlerinde genellikle sayılar, noktalar ya da bağıntılar, fonksiyonlar gibi kavramlarla çalışıldığından aslında matematiğin uğraşısı olan tek nesne vardı o da küme. Daha açıkçası; sayıların kümesi, noktaların kümesi, fonksiyonların kümesi gibi kümeler dışında matematiğin hiçbir nesneye ihtiyacı yoktu. Esas olan kümeler arasındaki bağıntıların araştırılmasıydı.

7 7/24 1878 yılında Georg Cantor küme kavramını ortaya atan ilk makalesini yayınladı. Bu makalede, ait olma bağıntısının, her terim için belirlenmesini sağlayan her özelliğin bir kümeyi tanımladığı vurgulanmıştır. Ayrıca yine bu çalışmada kümeler için temel bağıntının, günümüzde  ile gösterilen, ait olma bağıntısı olduğu belirtilmiştir.

8 8/24 Georg Cantor kümenin elemanlarını ( yani kümeye ait olan nesneleri) belirlemek için iyi tanımlanmış bir özelliğin yeteceği düşüncesindeydi. Bu durumda bir nesnenin bu özelliği sağlayıp sağlamadığına bakılarak, nesnenin bu kümeye ait olup olmadığı belirlenebilirdi. Böylece matematik, problemin içeriği ne olursa olsun, kümelere işlemler uygulanarak yapılabilirdi.

9 Bu ise matematiğin geneline sade bir yaklaşım getirmekteydi.
9/24 Bu ise matematiğin geneline sade bir yaklaşım getirmekteydi. Bu yaklaşımın doğru olmadığı çabuk fark edildi.

10 10/24 1893 yılında yayınlanan, Gottlob Frege’nin Aritmetiğin Temel Yasaları (Grundgesetze der Arithmetik) adlı çalışmasının ilk cildinde Georgg Cantor’un yaptıklarına çok yakın bir biçimde küme kavramını ve sayıların kümeye dayalı tanımını vermiştir.

11 11/24 Georg Cantor’un düşüncesinin yanlış olduğunun ilk örneği, Bertrand Russell tarafından 1903 yılında ortaya çıkarılmıştır. Russel açık bir soru soruyordu ve kesin bir cevabının olmasını bekliyordu: Bir küme kendisinin elemanı olabilir mi?

12 Bu problem üzerinde biraz düşünelim:
12/24 Aslında Russel bunu kataloglara benzetiyordu ve içinde kendi adının da yer aldığı kataloglar vardı. Bu problem üzerinde biraz düşünelim:

13 Bu durumda C nin kendisi C de midir?
13/24 Kendi kendisinin elemanı olmayan kümelerin oluşturduğu aileyi(kümeyi) C ile gösterelim. Yani günümüzdeki gösterimi ile C= Bu durumda C nin kendisi C de midir?

14 Bu sorunun cevabı C nin tanımından dolayı
14/24 Bu sorunun cevabı C nin tanımından dolayı “Eğer C nin kendisi C nin elemanı değilse C kümesi C nin elemanıdır.” Biçimindedir. Oysa bu bir çelişkidir.

15 “C nin kendisi C kümesinin elemanı ise C, C nin elemanı değildir.”
15/24 (Veya tersine “C nin kendisi C kümesinin elemanı ise C, C nin elemanı değildir.” ifadesi bulunur ki bu da bir çelişkidir.

16 O halde C bir küme olamaz.
16/24 O halde C bir küme olamaz. Yani Georg Cantor’un “ her özelliğin bir küme belirlemeye yeteceği” düşüncesi doğru değildir. Russel’ın bu paradoksu, matematiğin tümünün kümeler kuramı üzerine kurulmasının imkânsız olduğunu göstermesi bakımından matematik tarihinde önemli bir kilometre taşı olmuştur.

17 17/24 1908 yılında Ernst Friedrich Ferdinand Zermelo ( ) paradoksal kümelere imkân vermeyen ilk aksiyom sistemini geliştirdi.

18 Bu yazım tekniği bazı bilgisayar dilleri için temel oluşturdu.
18/24 1910 yılında Bertrand Arthur William Russell ( ) ve Alfred North Whitehead ( ) “Matematiğin İlkeleri (Principia Mathematica) ” isimli bir eser yayınladılar. Bu eserde paradokslardan kaçınmak için tipler kuramı adı altında karmaşık bir yazım önerdiler. Bu yazım tekniği bazı bilgisayar dilleri için temel oluşturdu.

19 19/24 1922 yılında Adolf Abraham Halevi Fraenkel ( ), Zermelo’nun aksiyom sistemini daha da geliştirdi. Günümüzde ZF (Zermelo-Fraenkel) aksiyom sistemi adıyla bilinen bu sistem yaygın bir kullanım alanı buldu.

20 20/24 1924 yılında John von Neumann ( ), kümeler kuramını aksiyomatik hâle getirmek için temel iki kavrama, yani paradoks olabilecek sınıflara ve kümelere dayanan bir çözüm önerdi.

21 21/24 1940 yılında Kurt Gödel ( ), sonlu ötesi sayıların tanımlanmasında zorunlu olan seçme aksiyomunu ve bu sayılara tutarlı bir temel sağlayan süreklilik varsayımının, kuramın diğer aksiyomlarıyla çelişmediğini gösterdi.

22 22/24 1963 yılında Paul Joseph Cohen ( ), Kurt Gödel’in çalıştığı bu iki önermenin olumsuzunun da kuramın diğer aksiyomlarıyla çelişmediğini gösterdi.

23 Küme kuramı ile ilgili çalışmalar halen devam etmektedir.
23/24 Küme kuramı ile ilgili çalışmalar halen devam etmektedir.

24 KAYNAKÇA http://en.wikipedia.org/wiki/Set_theory
24/24