Küme Nedir? Eleman, Gösterim, Boş Küme ve Örnekler

Bir topluluğu küme yapan ölçüt: iyi tanımlanmışlık

Küme, iyi tanımlanmış nesneler topluluğudur. 'İyi tanımlanmış' ifadesi, verilen bir nesnenin kümeye ait olup olmadığının kişisel yoruma ihtiyaç bırakmadan belirlenebilmesi demektir. Başka bir deyişle, her nesne için aitlik kararı net olmalıdır.

Örneğin A = {2, 4, 6, 8} kümesinde 4'ün A'ya ait olduğu, 5'in ise ait olmadığı açıktır. Bu durum sembolle 4 ∈ A ve 5 ∉ A biçiminde yazılır. Buna karşılık 'güzel filmler kümesi' ifadesi kişiden kişiye değişebileceği için başlangıç düzeyindeki küme sorularında iyi tanımlanmış kabul edilmez. '2024 yılında yayımlanan filmler' gibi kapsamı belirlenebilir bir ifade ise, ilgili ölçüt açıkça verildiğinde küme oluşturabilir.

Kümenin elemanları somut nesneler olmak zorunda değildir. Sayılar, harfler, şehir adları veya soyut matematiksel nesneler eleman olabilir. Ancak aynı topluluk içinde kullanılan elemanların hangi nesneler olduğu anlaşılır olmalıdır. Bir küme büyük harflerle, örneğin A, B veya C ile adlandırılır; elemanlar genellikle küçük harflerle gösterilir.

Kümenin iki yapısal özelliği özellikle önemlidir:

• Aynı eleman tekrar yazılsa bile kümede bir kez bulunur. Bu nedenle {1, 2, 2, 3} ile {1, 2, 3} aynı kümeyi belirtir.
• Elemanların yazılış sırası kümeyi değiştirmez. {1, 2, 3} = {3, 1, 2} eşitliği doğrudur.

Bu özellikler, kümeyi sıralı listeden ayırır. Kümede önemli olan elemanların varlığıdır; yazılış sırası veya tekrar sayısı değildir.

Aynı kümeyi üç farklı biçimde okuma

Kümeler, problemdeki bilgiye göre farklı gösterimlerle yazılabilir. En sık kullanılan gösterimler liste yöntemi, ortak özellik yöntemi ve Venn şemasıdır.

Liste yöntemi: Elemanlar süslü parantez içinde tek tek yazılır. Örneğin B = {Pazartesi, Salı, Çarşamba, Perşembe, Cuma, Cumartesi, Pazar}. Eleman sayısı belirli ve listelenebilir kümelerde bu yöntem pratiktir. Liste gösteriminde elemanların genellikle birer kez yazılması tercih edilir; fakat {1, 2, 2, 3} ifadesi de geçerlidir ve {1, 2, 3} kümesiyle aynı kümeyi belirtir.

Ortak özellik yöntemi: Elemanların ortak koşulu yazılır. C = {x | x bir doğal sayı ve x < 6} ifadesinde dikey çizgi, 'öyle ki' anlamında okunur. Burada C'nin elemanları, belirtilen sayı kümesi içinde 6'dan küçük olan doğal sayılardır. Fakat doğal sayıların 0'ı içerip içermediği bazı kaynaklarda farklı tanımlanabildiğinden, soruda kullanılan tanıma dikkat edilmelidir. Kaynakta doğal sayılar 1'den başlatılmışsa C = {1, 2, 3, 4, 5}; 0'ı da içeren tanım kullanılmışsa 0 da listeye eklenir.

Venn şeması: Küme kapalı bir bölgeyle, elemanları da bu bölgenin içinde gösterilir. Örneğin A = {1, 3, 5} için bir oval çizilip 1, 3 ve 5 bu ovalin içine yazılır. Venn şeması, özellikle iki veya daha fazla kümenin ortak ya da farklı elemanlarını görmeyi kolaylaştırır.

Bir gösterimin diğerinden daha 'gerçek' olmadığını unutmayın. Liste yöntemi elemanları açıkça gösterir, ortak özellik yöntemi kuralı öne çıkarır, Venn şeması ise ilişkileri görselleştirir. Soruda verilen koşula göre en anlaşılır gösterim seçilir.

Eleman aitliği ile küme eşitliğini ayırma

x ∈ A ifadesi, x'in A kümesinin elemanı olduğunu söyler. x ∉ A ise x'in A'nın elemanı olmadığını gösterir. Bu semboller, tek bir nesne ile bir küme arasındaki ilişkiyi anlatır.

Kümelerin eşitliği ise iki kümenin aynı elemanlara sahip olmasıyla ilgilidir. Örneğin A = {1, 2, 3} ve B = {3, 2, 1} ise A = B'dir; çünkü iki kümenin elemanları aynıdır. Burada sıra farkı dikkate alınmaz.

Parantez türü de anlamı değiştirir. 2 ∈ {1, 2, 3} doğrudur; fakat {2} ∈ {1, 2, 3} yanlıştır, çünkü dıştaki kümenin elemanları 1, 2 ve 3'tür, {2} değildir. Buna karşılık {2} ⊆ {1, 2, 3} ifadesi doğrudur; çünkü {2} kümesinin tek elemanı olan 2, diğer kümenin içindedir.

Bu ayrım, eleman ile alt küme kavramlarının karıştırılmasını önler. ∈ sembolü 'elemandır' ilişkisini, ⊆ sembolü ise 'alt kümedir' ilişkisini belirtir. Bir nesnenin kümeye ait olmasıyla bir kümenin başka bir kümenin içinde bulunması aynı matematiksel ilişki değildir.

Eleman sayısı nasıl belirlenir?

Bir kümenin eleman sayısı, kümede bulunan farklı elemanların sayısıdır ve genellikle s(A) veya |A| ile gösterilir. Bu sayı, tekrarları hesaba katmadan bulunur.

A = {2, 4, 4, 6, 8} yazılmışsa farklı elemanlar 2, 4, 6 ve 8 olduğundan s(A) = 4'tür. Elemanların tekrar yazılması sayıyı artırmaz. Benzer biçimde A = {1, 2, 3} ve B = {3, 1, 2} için s(A) = s(B) = 3'tür; hatta kümeler birbirine eşittir.

Eleman sayısı ile elemanın kendisini de ayırmak gerekir. A = {5} kümesinde 5, A'nın elemanıdır ve s(A) = 1'dir. A = 5 yazımı ise bir küme gösterimi değildir; burada süslü parantez bulunmadığı için 5 tek başına bir sayıdır.

Eleman sayısı, özellikle sonlu ve liste yöntemiyle verilen kümelerde doğrudan sayılır. Ortak özellik yöntemi kullanıldığında ise önce koşulu sağlayan farklı elemanlar belirlenir. Koşulu sağlayan hiçbir nesne yoksa eleman sayısı 0 olur ve küme boş kümedir.

Boş küme: hiç elemanı olmayan ama geçerli bir küme

Hiçbir elemanı olmayan kümeye boş küme denir. Boş küme ∅ veya {} sembolleriyle gösterilir ve eleman sayısı s(∅) = 0'dır. Boş küme, 'küme yok' anlamına gelmez; tam tersine, eleman içermeyen özel bir kümedir.

Bir koşulun mümkün olup olmadığını kontrol ederek boş kümeyi fark edebiliriz. Örneğin E = {x | x bir tam sayı ve 1 < x < 2} kümesidir. 1 ile 2 arasında bir tam sayı bulunmadığından E = ∅ olur. Aynı şekilde bir doğal sayının aynı anda hem çift hem tek olması istenirse, bu koşulu sağlayan eleman bulunmadığı için oluşan küme boştur.

Boş küme ile {∅} aynı değildir. ∅ kümesinin hiç elemanı yoktur ve eleman sayısı 0'dır. {∅} kümesinin ise tek elemanı vardır: bu eleman boş kümenin kendisidir. Bu nedenle s({∅}) = 1 olur.

{} yazımı ile ∅ aynı boş kümeyi belirtir; ancak {} içindeki boşluğun yanlışlıkla bir eleman varmış gibi yorumlanmaması gerekir. Boş kümeyi belirleyen şey, süslü parantezlerin içinde hiçbir nesne bulunmamasıdır.

Kümeler arasındaki kapsama ve günlük işlemlere geçiş

Bir kümenin bütün elemanları başka bir kümede bulunuyorsa ilk kümeye ikinci kümenin alt kümesi denir. A ⊆ B, A'nın her elemanının B'de bulunduğu anlamına gelir. Örneğin A = {1, 2} ve B = {1, 2, 3} için A ⊆ B'dir. Bu ilişki, eleman aitliğiyle aynı değildir: 1 ∈ B yazılırken A ⊆ B yazılır.

Boş küme de alt küme kavramıyla ilişkilidir. Boş kümenin hiçbir elemanı bulunmadığı için, verilen temel tanıma göre elemanlarının tamamı başka bir kümede bulunur; bu nedenle boş küme her kümenin alt kümesi olarak kabul edilir. Bu sonuç, 'boş küme hiçbir kümenin parçası değildir' şeklindeki günlük dil yorumuyla karıştırılmamalıdır.

İki kümenin ortak elemanlarını, yalnızca birinde bulunan elemanları veya iki kümenin birlikte oluşturduğu topluluğu incelemek için birleşim, kesişim ve fark gibi küme işlemlerine geçilir. Bu işlemleri öğrenirken önce aitlik sembollerini ve kümenin elemanlarını doğru okumak gerekir. İlgili devam konuları için Kümelerde İşlemler, Alt Küme ve Evrensel Küme sayfalarına bakılabilir. Küme koşullarının 'doğru mu yanlış mı' biçiminde değerlendirilmesi ise Önerme Nedir? konusuyla bağlantılıdır.

Adım adım çözümlü örnekler

Örnek 1 — Liste ve ortak özellik gösterimini eşleştirme

Verilenler: A = {2, 4, 6, 8, 10}. Bu küme, 10'dan küçük veya eşit pozitif çift sayılar olarak tanımlanmak isteniyor.

Çözüm adımları:

1. Pozitif çift sayılar 2'nin pozitif katlarıdır: 2, 4, 6, 8, 10, ...
2. Koşuldaki x ≤ 10 sınırını uygulayınca ilk beş eleman kalır.
3. Ortak özellik gösterimi A = {x | x pozitif çift sayı ve x ≤ 10} şeklindedir.
4. Listede tekrar olmadığından eleman sayısı s(A) = 5'tir.
5. 6 ∈ A doğrudur; 7 ∉ A doğrudur. Çünkü 6 koşulu sağlar, 7 ise çift değildir.

Sonuç: Liste yöntemiyle verilen A kümesi, ortak özellik yöntemiyle aynı koşulu ifade eder ve 5 farklı elemanı vardır.

Örnek 2 — Boş küme ile tek elemanlı kümeyi ayırma

Verilenler: E = {x | x bir tam sayı ve 3 < x < 4}; F = {x | x bir tam sayı ve 3 ≤ x ≤ 4}.

Çözüm adımları:

1. E için 3 ile 4 arasında, uç noktalar hariç tam sayı aranır. İki ardışık tam sayı arasında başka bir tam sayı bulunmadığından E = ∅ olur.
2. F için 3 ve 4 dahil edildiği için F = {3, 4} olur.
3. Bu nedenle s(E) = 0, s(F) = 2'dir.
4. E ile {∅} karşılaştırılırsa E = ∅, fakat {∅} tek elemanlıdır; dolayısıyla E ≠ {∅}.

Sonuç: E boş kümedir; F ise iki elemanlı bir kümedir. Uç noktaların koşula dahil edilip edilmediği, sonucun değişmesine neden olmuştur.