Kümeler Teorisi: Temel Kavramlar ve Küme İşlemleri

Küme, eleman ve elemanlık ilişkisi

Küme, nesnelerin veya sayıların belirli bir kurala göre oluşturduğu topluluktur. Kümeyi oluşturan her nesneye o kümenin elemanı denir. Kümeler genellikle büyük harflerle, elemanlar ise küçük harflerle gösterilir. Örneğin A = {1, 2, 3} kümesinde 1, 2 ve 3 birer elemandır; fakat 4 bu kümenin elemanı değildir.

Bir nesnenin kümeye ait olduğunu belirtmek için ∈ sembolü kullanılır. Bu nedenle 1 ∈ A ifadesi “1, A kümesinin elemanıdır” anlamına gelir. Ait olmama durumu ∉ sembolüyle gösterilir: 4 ∉ A. Buradaki ilişki, bir sayının başka bir sayıya eşit olmasından farklıdır; elemanlık, bir nesne ile küme arasındaki ilişkiyi ifade eder.

Kümelerde aynı eleman birden fazla kez yazılsa bile küme değişmez. Örneğin {a, b, a, c} ile {a, b, c} aynı kümeyi belirtir. Ayrıca elemanların yazılış sırası da önemli değildir; {1, 2, 3} ve {3, 1, 2} aynı kümeye karşılık gelir. Buna karşılık bir kümenin kendisi de başka bir kümenin elemanı olabilir. Örneğin B = {1, {1, 2}} kümesinde 1 bir elemandır; {1, 2} de B’nin başka bir elemanıdır. Bu durumda 2 ∈ B değil, çünkü 2 doğrudan B’nin elemanı olarak yazılmamıştır. Elemanlık ilişkisinde küme parantezlerinin düzeyi dikkatle okunmalıdır.

Kümelerin gösterim biçimleri

Kümeler üç temel biçimde gösterilebilir. Liste yöntemi, elemanların küme parantezleri arasında doğrudan yazılmasıdır: A = {2, 4, 6, 8}. Eleman sayısı çok fazla olduğunda veya bir örüntü bulunduğunda ortak özellik yöntemi kullanılır: A = {x | x çift doğal sayıdır ve 2 ≤ x ≤ 8}. Dikey çizginin anlamı “öyle ki” şeklindedir; bu gösterim, kümeye hangi elemanların alınacağını belirleyen koşulu açıklar. Sonlu bir kümenin liste ve ortak özellik gösterimleri aynı elemanları tanımlıyorsa aynı kümeyi belirtir.

Venn şemasında kümeler kapalı bölgelerle, bu kümelerin elemanları ise ilgili bölgenin içindeki noktalarla gösterilir. Bu yöntem özellikle kümelerin kesişen veya birbirinden ayrılan kısımlarını görmeyi kolaylaştırır. Bir kümenin elemanları açıkça yazılamıyorsa ortak özellik yöntemi, elemanların sayısı azsa liste yöntemi daha kullanışlıdır.

Birleşim, kesişim ve fark işlemleri

Küme işlemleri, iki veya daha fazla kümenin elemanlarını belirli kurallara göre yeni bir kümede toplamayı ya da ayırmayı sağlar. A ve B kümelerinin birleşimi A ∪ B ile gösterilir ve A’da veya B’de bulunan tüm elemanlardan oluşur. “Veya” burada en az bir kümeye ait olma anlamındadır; iki kümede ortak bulunan elemanlar birleşimde yalnızca bir kez yazılır.

A ve B’nin kesişimi A ∩ B ile gösterilir. Kesişim, hem A’ya hem de B’ye ait olan ortak elemanların kümesidir. Dolayısıyla bir elemanın kesişimde bulunması için iki üyelik koşulunu aynı anda sağlaması gerekir. A’dan B’nin farkı A \ B ile gösterilir ve A’da bulunup B’de bulunmayan elemanlardan oluşur. İşlem sırası önemlidir: A \ B ile B \ A genellikle aynı değildir.

Örneğin A = {1, 2, 3, 4} ve B = {3, 4, 5} olsun. A ∪ B = {1, 2, 3, 4, 5} olur; çünkü iki kümede bulunan bütün farklı elemanlar alınır. A ∩ B = {3, 4} olur; çünkü yalnızca ortak elemanlar seçilir. A \ B = {1, 2}, B \ A = {5} sonucunu verir. Bir kümenin diğer küme ile ortak elemanı yoksa kesişimleri boş kümedir ve ∅ ile gösterilir.

İşlemleri belirlerken önce her elemanın hangi kümeye ait olduğu sorulur. Birleşimde en az bir üyelik yeterliyken kesişimde iki üyelik birlikte aranır; farkta ise ilk kümeye üyelik ve ikinci kümeye üye olmama koşulları uygulanır. Venn şemalarında birleşim iki bölgenin tamamını, kesişim ortak bölgeyi, fark ise ilk kümenin ikinci küme dışında kalan kısmını temsil eder. Kümelerde işlemlerin sembolleri, özellikle ∪ ile ∩, “veya” ile “ve” anlamlarının karıştırılmaması için dikkatle okunmalıdır. Kartezyen çarpım ve sıralı ikililer, bu temel işlemlerden farklı bir konu olarak ayrı incelenir.

Evrensel küme ve tümleyen

Evrensel küme, ele alınan probleme göre mümkün olan tüm elemanları içeren ve genellikle E veya U ile gösterilen kümedir. Bir A kümesinin tümleyeni, evrensel kümede bulunup A’da bulunmayan elemanlardan oluşur ve Aᶜ ya da A' biçiminde yazılır. Bu nedenle tümleyen işlemi tek başına değil, seçilmiş evrensel kümeye göre anlam kazanır.

Örneğin E = {1, 2, 3, 4, 5, 6} ve A = {2, 4, 6} ise Aᶜ = {1, 3, 5} olur. Aynı A kümesi için evrensel küme E = {1, 2, 3, 4, 5, 6, 7, 8} seçilirse tümleyen {1, 3, 5, 7, 8} olur. Bu durum, tümleyen alınırken önce evrensel kümenin belirlenmesi gerektiğini gösterir. Venn şemasında tümleyen, evrensel kümenin dikdörtgeni içinde kalıp A çemberinin dışında kalan bölgedir. Sonsuz kümeler ve kümelerin kardinalitesi bu temel tümleyen açıklamasının kapsamı dışındadır.

Alt küme ve öz alt küme

A kümesinin her elemanı B kümesinin de elemanıysa A, B’nin alt kümesidir ve A ⊆ B biçiminde gösterilir. Bu ilişki, A’nın elemanlarının tamamının B’nin içinde bulunduğunu ifade eder. Alt küme olabilmesi için A’da bulunan hiçbir elemanın B dışında kalmaması gerekir; B’de A’da bulunmayan ek elemanların olması alt küme ilişkisini bozmaz.

Örneğin A = {1, 2} ve B = {1, 2, 3} için A ⊆ B’dir. Çünkü A’nın 1 ve 2 elemanlarının ikisi de B’de bulunur. Ancak B ⊆ A yanlıştır; 3, A’nın elemanı değildir. Bir küme kendisinin de alt kümesidir: A ⊆ A. Ayrıca boş küme, her kümenin alt kümesidir; çünkü boş kümede karşılaştırmayı bozacak bir eleman bulunmaz.

A, B’nin alt kümesi olmakla birlikte A ve B birbirine eşit değilse A, B’nin öz alt kümesi olarak adlandırılır. Bu durum A ⊂ B veya A ⊊ B ile gösterilebilir; kullanılan sembolün anlamı metindeki tanıma göre kontrol edilmelidir. A = {1, 2} ve B = {1, 2, 3} örneğinde A, B’nin öz alt kümesidir. Buna karşılık A = {1, 2} ve C = {2, 1} aynı kümeyi gösterdiğinden A, C’nin öz alt kümesi değildir; A ve C eşit kümelerdir.

Sayı kümeleri de alt küme ilişkisiyle düzenlenebilir. Örneğin doğal sayılara sıfırın eklenmesiyle daha geniş bir sayı kümesi, ardından negatif tam sayıların eklenmesiyle daha geniş bir başka küme elde edilir; bu genişleme, küçük kümelerin daha büyük kümelerin alt kümesi olduğunu gösterir. Alt küme karşılaştırmasında elemanların sırası değil, üyelikleri belirleyicidir.

Güç kümesi ve sonlu kümelerde eleman sayısı

Bir A kümesinin güç kümesi, A’nın bütün alt kümelerinden oluşan kümedir ve P(A) ile gösterilir. Güç kümesinin elemanları, A’nın kendisi gibi kümelerdir. Örneğin A = {a, b} için P(A) = {∅, {a}, {b}, {a, b}} olur. Burada ∅ ve A’nın kendisi de güç kümesinin elemanıdır; çünkü her ikisi de A’nın alt kümesidir.

Sonlu bir A kümesinde n eleman varsa güç kümesinin eleman sayısı 2^n olur. Bunun nedeni, A’nın her elemanı için iki bağımsız seçeneğin bulunmasıdır: Eleman alt kümeye alınabilir veya alınmayabilir. Bu seçimler bütün elemanlar için yapıldığında 2 · 2 · ... · 2 = 2^n farklı alt küme elde edilir. Örneğin beş elemanlı bir kümenin her elemanı için iki seçenek vardır ve toplam alt küme sayısı 2^5 = 32’dir. Seçimlerin hiçbirinde eleman alınmaması boş kümeyi, tüm elemanların alınması ise A kümesini verir.

Güç kümesi ile kümenin kendisi aynı kavram değildir. A’nın elemanları a, b gibi nesneler olabilirken P(A)’nın elemanları ∅, {a} ve {a, b} gibi alt kümelerdir. Kümelerin kardinalitesi ve sonsuz kümeler, güç kümesinin sonlu kümelerdeki bu temel sayma kuralından daha geniş bir konudur.