Topoloji/Kümeler

Vikikitap, özgür kütüphane

Küme kavramı, matematikle ilgisi olan herkes tarafından az çok bilinir. Bununla birlikte kümeyi matematiksel olarak tanımlamak hiç de kolay değildir. Bu sebeple genelde kümenin sözel tanımı ile yetinilir. İlk olarak bu tanımların bazılarını vereceğiz.

Küme Kavramı[değiştir]

Tanım : Küme, nesnelerin iyi tanımlı bir topluluğudur.

Tanım : Küme, belli bir kurala göre verilmiş nesnelerin listesidir.

Tanım : Küme, hangi nesneleri içerdiği tam olarak bilinen en basit matematiksel yapıdır.

Bu tanımların yanında yine belirli, ancak daha küçük varsayımlarda bulunarak kümenin matematiksel bir tanımını yapmak zor olmakla birlikte büyük oranda mümkündür. Önümüzdeki konuda, yalnızca genel bir bilgi olması açısından, bu tanımın nasıl yapıldığını söyleyeceğiz.

Küme Aksiyomları[değiştir]

Küme kavramının işleyişi ve özellikleri insan aklına oldukça yatkın olduğundan kümelerin net bir şekilde tanımlanmasına genelde ihtiyaç duyulmaz. Ancak dürüst olmak gerekirse kümenin matematiksel olarak tanımlanması gerekmektedir. Her ne kadar sezgisel olarak küme kavramı kolayca kavranabiliyor ise de, dikkatlice düşünen birinin aklında bazı soru işaretleri kalabilir. Örneğin kümelerin kesişimi ile ilgili birçok özelliği ispatlayabiliriz. Ancak ve kümeleri verildiğinde ’nin de bir küme olacağını garanti edemedikten sonra, bu özellikleri ispatlamanın aslında bir anlamı yoktur. Veya hemen hemen her çalışmada kullanılan boş küme, gerçekten de var mıdır, varsa tek midir, gerçekten boş mudur, evrensel küme diye bir şey var mıdır? Bu soruların cevaplarının bulunabilmesi için kümenin mantık kurallarına bağlı kesin bir tanımının verilmesi gerekmektedir. Aşağıda bu tanımın nasıl yapıldığını göreceğiz, ancak bu kitabın seviyesini ve konusu aşacağı için kümeler ile ilgili gerçekleri bu tanım yardımıyla ispatlamaya çalışmayacağız.

Eğer mantık kurallarına matematiğin anayasası diyeceksek ki diyebiliriz, bir matematiksel yapının aksiyomatik sistemi o yapının kendine özgü yerel yasası olur. Örneğin bir problemde bize bir grup verildiğinde grubun cebirsel anlamda kapalı, birleşmeli, birim elemana ve her elemanı için bir ters elemana sahip bir küme-işlem ikilisi olduğunu kabul ederiz çünkü bir küme-işlem ikilisinden bir grup olarak bahsedilebilmesi için bu şartların sağlanması gerekmektedir. Bu yüzden bir grup verildiğinde bu şartların sağlandığı kesindir çünkü “grup olma yasası” bunu gerektirir. Bu yasanın ayrı ayrı maddelerine de grup aksiyomları adı veririz.

Yukarıdaki örneğe benzer şekilde, kümeler için de bir yasanın (aksiyomatik sistemin) bulunması gereklidir. Bu yasanın maddelerine (aksiyomlarına) küme aksiyomları adı verilecektir. Küme aksiyomları yalnızca kümelerin kendi doğasından dolayı sahip olması gereken özellikleri belirtir, bunlar yoluyla kümenin tanımını vermez, kümenin tanımı genelde bu aksiyomlardan ayrı yerde yapılır. Yine de küme tanımı da bu aksiyomlara eklenerek grup aksiyomlarına benzer şekilde, küme olmayı tam anlamıyla karakterize eden (belirleyen) bir aksiyomatik sistem oluşturulabilir.

Her ne kadar kümenin bilimsel tanımını verecek olsak da, burada açıkça tanımlamamız mümkün olmayan bazı kavramlar bulunmaktadır. Bunlardan ilki değişken veya sabitleri gösteren gibi harflerdir. Aşağıdaki aksiyomları incelerken bilmemiz gereken, bu harflerin her birinin birer nesne olduğudur.

Bir ikili bağıntı, biri doğru biri yanlış olmak üzere iki farklı şekli bulunan ve herhangi iki nesnenin arasına bu şekillerinden yalnızca biri yerleştirilebilen bir semboldür. Bu kavramı, az sonra göreceğimiz eşittir ve elemanıdır ikili bağıntıları ile somutlaştırabiliriz.

Eşittir, tartışmasız matematikte en çok kullanılan ikili bağıntıdır. İkili bağıntı olduğu için eşittirin iki farklı şekli vardır. Doğru şekli , yanlış şekli de ile gösterilir. Yine ikili bağıntı olmasından dolayı, her nesne ikilisinin arasına iki şeklinden yalnızca biri girmek zorundadır yani karşımıza çıkacak her ve nesne ikilisi için veya durumlarından yalnızca biri geçerlidir. Ayrıca eşittir ikili bağıntısı simetriktir yani olması durumunda kesinlikle ’dır. İki nesnenin eşit olması demek sezgisel olarak; onların arasında görünüş farkı bile olsa nitelik olarak hiç fark bulunmaması, onların özünde aynı şeye verilen iki farklı isim olmaları demektir. Örneğin, dış görünüşleri çok farklı olmasına rağmen ile ’in birbirine eşit olduğu kabul edilir çünkü bunlar aslında tek bir nesnenin, iki farklı adla yazımından başka bir şey değildir.

Kümelerle ilgili aksiyomları vermeden önce son olarak eşittirden farklı bir ikili bağıntının varlığını kabul edeceğiz. Bu bağıntıya elemanıdır adını vereceğiz ve olumlusunu , olumsuzunu ile göstereceğiz. Şimdilik elemanıdır hakkında, bir ikili bağıntı olduğundan başka hiçbir şey bilmiyoruz yani elimizde yalnızca, ve nesneleri verildiğinde ya , ya da olacağından başka bir bilgi yok. Bu durumda, eşittir ikili bağıntısından farklı olarak olması, olmasını gerektirmez; aksine, her ne kadar burada ispatlamayacak olsak da aslında ise mutlaka olması gerekir, diğer taraftan ise ile arasına elemanıdır ikili bağıntısının her iki (olumlu veya olumsuz) şeklinin de girmesi olasıdır.

Aşağıda küme aksiyomları listelenmiştir. Bu aksiyomların içerisinde şimdiye kadar tanımlanmamış bazı semboller ve kavramlar bulunmaktadır, bunlar daha sonra tanımlanacaktır. Zaten bu aksiyomları da anlamanız gerekmemektedir.

1. Bütün ’ler için, oluyorsa 'dir. (Genişleme Aksiyomu)

2. bir küme ise bir kümedir. (Burada , 'in sağlaması istenen herhangi bir şartı gösterir). (Ayırma Aksiyomu)

3. Öyle bir kümesi vardır ki her için 'dir. (Boş Küme Aksiyomu)

4. ve birer küme ise bir kümedir. (Çiftleme Aksiyomu)

5. bir küme ise bir kümedir. (Birleşim Aksiyomu)

6. bir küme ise bir kümedir. (Kuvvet Kümesi Aksiyomu)

7. bir küme ve ise bir kümedir. (Alt Küme Aksiyomu)

8. bir örten fonksiyon ve A bir küme ise B bir kümedir. (Yerine Koyma Aksiyomu)

9. ise olacak şekilde bir vardır. (Düzenlilik Aksiyomu)

10. Öyle bir kümesi vardır ki, ve her için . (Sonsuzluk Aksiyomu)

Görüldüğü gibi kümelerin aksiyomlaştırılması kolay değildir. Üstelik bu aksiyomlaştırma tek değildir, gerçekten de yukarıdaki aksiyom sistemi en yaygın olan değil, seviyesi basitleştirilmiş bir sistemdir ve içerisinde gereksiz olan (yani sistemden çıkarıldığında geride kalan aksiyomlar tarafından zaten elde edilebilen) aksiyomlar bulunmaktadır, öyle ki aynı sistemi yalnızca bunlardan 6'sını kullanarak kurmak mümkündür.

Daha önce belirtildiği gibi bu aksiyomlarla kümelerin temel özelliklerini ispatlamak kolay değildir ve burada yalnızca genel kültür ve motivasyon açısından aksiyomların ifadesi sunulmuştur. Yine aynı amaçla, buraya kadar gelmişken kümenin bu aksiyomlara göre tanımını vereceğiz.

Küme tanımını vermeden önce hatırlatmamız gereken bir nokta, yukarıdaki aksiyomlarda kullanılan ’in bir küme değil, küme olup olmadığı bilinmeyen bir nesne olduğudur. Bu tür bir nesnenin küme olma tanımı şöyledir;

Tanım : Eğer olacak şekilde bir nesnesi varsa, ’e bir küme denir.

Tanım biraz şaşırtıcı, belki de sezgisel olarak terstir, ancak doğrudur ve küme teorisini adım adım kurmak için yeterlidir. Matematikte bir kümesi ile karşılaştığımızda, bu kümenin elemanlarını düşünmemiz gerekir. Hâlbuki küme olma tanımında ’nın elemanları hakkında hiçbir şey söylenmemiş ve yalnızca bir kümesinin bir kümenin elemanı olduğu belirtilmiştir.

Buna göre bir küme ise olacak şekilde bir nesnesi vardır. Ancak ’in küme olması şart değildir, küme olmayı sağlamayan bir nesne de olabilir. Diğer taraftan bir küme ve ise bu tanıma göre kesinlikle da bir kümedir, ama kümesi hakkında bir bilgiye sahip olmadığımızda, çalışmalarımızda ’nın basit bir eleman olduğunu kabul etmekte sorun yoktur.

Bu başlığı küme ile akraba bazı yapıları ve bunlar için kullanacağımız standart notasyonu vererek tamamlayacağız.

Bundan böyle, aksini gerektiren özel bir durum olmadıkça kümeler genellikle gibi büyük Lâtin harfleriyle, her ne kadar yukarıdaki tartışmadan her birinin başlı başına birer küme olduklarını bilsek de, bir kümenin elemanları gibi küçük Lâtin harfleriyle gösterilecektir.

Yukarıda karşılaştığımız, küme olup olmadığı belli olmayan nesnelere, küme teorisinde sınıf adı verilir. Kümeler aynı zamanda birer nesne olduğundan her küme aslında bir sınıftır. Bununla birlikte çalışmalarımızda elemanlarının elemanları hakkında bilgi sahibi olduğumuz nesnelerden bahsederken sınıf yerine genellikle aile sözcüğünğü kullanacağız. Buna göre bir aile, elemanları iyi bilinen kümelerin kümesidir ve aileleri gibi süslü büyük harflerle göstereceğiz. Küme aileleri bu bölümde daha sonra incelenecektir.

Her nesne, yani diğer adıyla sınıf, bir küme olmayabilir gerçeğini akılda tutarak aşağıdaki tanımı verelim;

Tanım : evrensel sınıf olarak adlandırılır.

Buna göre evrensel sınıf bütün kümeleri içeren sınıftır. Küme aksiyomlarının bazı belirsiz durumları nasıl açıklayabildiğine örnek olarak aşağıdaki basit teoremi ispatlıyoruz.

Teorem : Evrensel sınıf küme değildir.

Kanıt : Boş küme aksiyomundan bir kümesinin varlığını biliyoruz. evrensel sınıfının bir küme olduğunu kabul edelim. Bu durumda çiftleme aksiyomundan de bir kümedir. Alt küme aksiyomundan, bu kümenin alt kümesi olan de bir küme olur. boş olmayan bir küme olduğundan düzenlilik aksiyomuna göre, öyle bir eleman içermelidir ki, ile kesişimi olsun. 'nin tek elemanı 'dir. 'nin bir küme olduğunu kabul ettiğimizden ve bütün kümelerin kümesi olduğundan olmalıdır. Bu durumda olup düzenlilik aksiyomuyla çelişkiye düşülmüş olur. Dolayısıyla 'nin bir küme olduğu şeklindeki kabulümüz doğru olamaz.

Böylece evrensel sınıfın, yukarıda aksiyomlaştırdığımız küme tanımına uygun düşmediğini görmüş olduk. Bu yüzden evrensel sınıf bir küme değildir, başka bir deyişle mutlak evrensel küme diye bir şey yoktur.

Küme aksiyomları da kümelerle ilgili bütün soruları açığa kavuşturmaz. Bunun için bunlara eklemeler yapıldığı olmuştur. İleride seçme aksiyomu olarak adlandırılan bir aksiyomdan ve yine özünden birer aksiyom olan sürey hipotezlerinden bahsedeceğiz. Ancak gerçek şudur ki ne kadar aksiyom eklersek ekleyelim bütün belirsizlikleri açığa kavuşturacak bir sistem inşa edemeyiz. Bu gerçeği Gödel, eksiklik teoremleri adı verilen teoremleriyle kanıtlamıştır.

Kümeler ve Elemanlar[değiştir]

Altkümeler[değiştir]

Evren ve Tümleme[değiştir]