Alt Küme Nedir? Alt Küme Sayısı ve Çözümlü Örnekler

Alt küme ilişkisi hangi yönde yazılır?

Bir B kümesinin A’nın alt kümesi olması için gereken koşul şudur: B’nin her elemanı A’nın da elemanı olmalıdır. Sembolle $B \subseteq A$ yazılır ve “B, A’nın alt kümesidir” diye okunur. Aynı ilişki ters yönden $A \supseteq B$ biçiminde de gösterilebilir; bu kez A’nın B’yi kapsadığı söylenir.

Buradaki yön önemlidir. $A=\{2,4,6,8\}$ ve $B=\{2,6\}$ için $B \subseteq A$ doğrudur. Fakat $A \subseteq B$ yanlıştır; çünkü A’da bulunup B’de bulunmayan 4 ve 8 elemanları vardır. Alt küme kontrolünde büyük görünen kümeye değil, elemanların hangi kümede bulunduğuna bakılır.

Bir alt küme ilişkisini karar kuralıyla test etmek için şu üç adım kullanılabilir:

1. Alt küme olduğu iddia edilen kümeyi belirle: $B \subseteq A$ ifadesinde kontrol edilecek küme B’dir.
2. B’nin elemanlarını tek tek A’da ara.
3. B’deki tek bir eleman bile A’da yoksa ilişkiyi reddet; tüm elemanlar A’da varsa ilişkiyi kabul et.

Kümelerde elemanların sırası ve tekrar sayısı dikkate alınmaz. Bu nedenle $\{1,2,3\}$ ile $\{3,1,2\}$ aynı kümedir. Benzer biçimde $\{1,1,2\}$, küme olarak $\{1,2\}$ ile aynı elemanlara sahiptir. Bu ayrıntı, iki kümenin eşitliği ile alt küme ilişkisini ayırırken önem kazanır.

Boş küme ve kümenin kendisi neden alt kümedir?

İki özel durum, alt küme sorularının temelini oluşturur. Birincisi boş kümedir: $\emptyset \subseteq A$. Boş kümenin hiç elemanı olmadığı için, A’da bulunmayan bir eleman göstererek alt küme koşulunu bozmak mümkün değildir. Başka bir ifadeyle “B’deki her eleman A’dadır” koşulunda B yerine boş küme konulduğunda kontrol edilecek eleman bulunmaz. Bu nedenle boş küme, herhangi bir kümenin alt kümesidir.

İkinci özel durum, her kümenin kendisinin alt kümesi olmasıdır: $A \subseteq A$. Çünkü A’nın her elemanı zaten A’nın içinde bulunur. Bu ilişki alt küme için geçerlidir; fakat öz alt küme için geçerli değildir. Örneğin $A=\{a,b\}$ için $A \subseteq A$ doğruyken $A \subset A$ yanlıştır.

Bu iki durumun alt küme sayısına doğrudan etkisi vardır. n elemanlı bir kümenin alt kümeleri arasında mutlaka boş küme ve kümenin kendisi bulunur. Öz alt kümeler sayılırken boş küme korunur, ancak kümenin kendisi çıkarılır. Dolayısıyla “toplam alt küme” ile “öz alt küme” sorusunun aynı formülle cevaplanmamasının nedeni budur.

Boş küme ile tek elemanlı küme de karıştırılmamalıdır. $\emptyset$ hiç eleman içermez ve eleman sayısı 0’dır. $\{\emptyset\}$ ise tek elemanlı bir kümedir; bu kümenin tek elemanı boş kümedir. Bu iki kümenin eleman sayıları farklıdır.

Öz alt küme ile alt küme arasındaki kesin ayrım

B, A’nın alt kümesiyse $B \subseteq A$ yazılır. B ayrıca A’ya eşit değilse B, A’nın öz alt kümesidir ve $B \subset A$ gösterimi kullanılabilir. Buna göre öz alt küme koşulu iki parçadan oluşur: önce $B \subseteq A$ olmalı, ardından $B \neq A$ olmalıdır.

Örneğin $A=\{1,2,3\}$ için $\emptyset$, $\{1\}$, $\{2,3\}$ ve $\{1,2,3\}$ alt kümedir. Bunlardan ilk üçü öz alt kümedir; $\{1,2,3\}$ ise A’nın kendisi olduğu için öz alt küme değildir. Bu nedenle A’nın kendisini de içeren toplam alt küme sayısı ile A’nın kendisi dışındaki öz alt küme sayısı arasında tam 1 fark vardır.

Bazı kaynaklarda $\subset$ sembolü yalnızca “öz alt küme” anlamında, bazı kaynaklarda ise “alt küme” anlamında kullanılabilir. Sınavda soru metninin kullandığı tanım ve sembol açıklaması varsa ona uyulmalıdır. Eşitliğe izin veren ilişkiyi açıkça belirtmek için $\subseteq$ kullanmak daha nettir. Bu rehberde $\subseteq$ alt küme, $\subset$ ise öz alt küme anlamında kullanılmıştır.

İki kümenin eleman sayısı biliniyorsa hızlı bir kontrol de yapılabilir. Eğer $B \subseteq A$ ve B ile A sonlu kümelerse, $|B|\leq |A|$ olmalıdır. Eğer $|B|>|A|$ ise B’nin A’nın alt kümesi olması mümkün değildir. Ancak $|B|\leq |A|$ olması tek başına yeterli değildir; elemanların gerçekten A’da bulunması da gerekir. Örneğin $B=\{1,2\}$ ve $A=\{3,4,5\}$ için eleman sayıları uygun görünse de B, A’nın alt kümesi değildir.

2^n formülü her alt kümeyi nasıl sayar?

n elemanlı bir kümenin toplam alt küme sayısı $2^n$ ile bulunur. Bunun nedeni, kümedeki her eleman için alt kümeye “al” veya “alma” şeklinde iki bağımsız seçenek bulunmasıdır. Birinci eleman için 2, ikinci eleman için 2 seçenek vardır; iki elemanın birlikte oluşturduğu seçenek sayısı $2\cdot2=2^2$ olur. n eleman için bu çarpım $2^n$ biçimine dönüşür.

$K=\{a,b,c\}$ kümesinde her eleman için iki seçim yapıldığından toplam $2^3=8$ alt küme vardır. Bunlar $\emptyset$, $\{a\}$, $\{b\}$, $\{c\}$, $\{a,b\}$, $\{a,c\}$, $\{b,c\}$ ve $\{a,b,c\}$ kümeleridir.

Alt kümeleri eleman sayılarına göre de sınıflandırabiliriz. n elemanlı kümede:

• 0 elemanlı alt küme sayısı: $\binom{n}{0}=1$
• 1 elemanlı alt küme sayısı: $\binom{n}{1}=n$
• 2 elemanlı alt küme sayısı: $\binom{n}{2}$
• k elemanlı alt küme sayısı: $\binom{n}{k}$

Bu sınıfların toplamı $\binom{n}{0}+\binom{n}{1}+\cdots+\binom{n}{n}=2^n$ eder. Örneğin 4 elemanlı bir kümenin tam 2 elemanlı alt kümeleri $\binom{4}{2}=6$ tanedir; tüm alt kümeleri ise $2^4=16$ tanedir. Yani soru belirli sayıda eleman içeren alt kümeleri soruyorsa doğrudan $2^n$ değil, uygun kombinasyon sayısı kullanılmalıdır.

Öz alt küme sayısı, toplam alt küme sayısından kümenin kendisi çıkarılarak $2^n-1$ bulunur. Bu formül, “öz” ifadesinin kümenin kendisini dışarıda bıraktığı durumda geçerlidir.

Çözümlü örnekler: eleman kontrolünden saymaya

Örnek 1 — Alt küme ilişkisini test etme

Verilenler: $A=\{1,2,3,4,5\}$, $B=\{2,4\}$ ve $C=\{1,4,6\}$.

Çözüm adımları:

1. $B \subseteq A$ iddiasını inceleyelim. B’nin elemanları 2 ve 4’tür. Her ikisi de A’da bulunduğu için $B \subseteq A$ doğrudur.
2. $C \subseteq A$ iddiasını inceleyelim. 1 ve 4 A’da bulunur; fakat 6 A’da yoktur.
3. Tek bir elemanın eksik olması yeterli olduğundan $C \not\subseteq A$ sonucuna ulaşılır.
4. B, A’ya eşit değildir; çünkü A’da bulunup B’de bulunmayan 1, 3 ve 5 vardır. Bu yüzden B, A’nın öz alt kümesidir: $B \subset A$.

Sonuç: $B \subset A$ doğrudur, $C \subseteq A$ yanlıştır. Burada eleman sayısına bakmak tek başına karar vermemiş, elemanların üyeliği kontrol edilmiştir.

Örnek 2 — Toplam ve öz alt kümeleri sayma

Verilenler: $M=\{p,q,r,s\}$.

Çözüm adımları:

1. M’nin eleman sayısı $n=4$ olarak belirlenir.
2. Toplam alt küme sayısı $2^4=16$ hesaplanır.
3. Öz alt küme sayısı için M’nin kendisi çıkarılır: $2^4-1=15$.
4. Eğer yalnızca 2 elemanlı alt kümeler istenseydi, her iki elemanı M’nin 4 elemanı arasından seçmek gerekirdi. Bu sayı $\binom{4}{2}=6$ olurdu.

Sonuç: M’nin 16 toplam alt kümesi, 15 öz alt kümesi ve 6 tane iki elemanlı alt kümesi vardır. Boş küme bu 16 alt kümenin içindedir; M’nin kendisi de toplam sayının içindedir, fakat 15 öz alt kümeye dahil değildir.

Sık yapılan hatalar ve karıştırılan sınır durumları

1. İlişki yönünü ters yazmak: $B \subseteq A$ ifadesinde B kontrol edilen, A kapsayan kümedir. B’nin tüm elemanları A’da aranır. Kümelerin yerini değiştirmek genel olarak aynı sonucu vermez. İlişkinin iki yönde de doğru olması ancak kümelerin eşit olması durumunda mümkündür.

2. Kümenin kendisini öz alt küme saymak: $A \subseteq A$ doğru, fakat $A \subset A$ yanlıştır. Öz alt küme sayısında $2^n$ değil, $2^n-1$ kullanılır.

3. Boş kümeyi yok saymak: Boş küme bir alt kümedir ve toplam sayıya dahil edilir. “Elemanı yok, o hâlde küme değil” düşüncesi yanlıştır; boş küme matematiksel olarak bir kümedir.

4. Boş küme ile $\{\emptyset\}$ kümesini aynı sanmak: $|\emptyset|=0$, $|\{\emptyset\}|=1$’dir. İkincisi, boş kümeyi eleman olarak içeren tek elemanlı bir kümedir.

5. Eleman sayısı eşitliğini küme eşitliği sanmak: $|A|=|B|$ olması, A ve B’nin aynı elemanlara sahip olduğunu göstermez. Küme eşitliği için karşılıklı olarak $A \subseteq B$ ve $B \subseteq A$ olması gerekir.

6. Tek bir yanlış elemanı gözden kaçırmak: Alt küme koşulu “en az bir eleman” değil, “her eleman” koşuludur. B’de A’da bulunmayan bir eleman varsa ilişki kurulamaz.

7. Tekrarlı yazımları ayrı eleman saymak: Kümelerde tekrarlar yeni eleman oluşturmaz. $\{a,a,b\}$ kümesinin iki farklı elemanı vardır: a ve b.

8. Belirli eleman sayılı alt kümelerde $2^n$ kullanmak: $2^n$ bütün alt kümeleri sayar. Sadece k elemanlı alt kümeler soruluyorsa $\binom{n}{k}$ kullanılmalıdır. Soru hem “öz” hem de “k elemanlı” diyorsa, k=n durumunda kümenin kendisinin çıkarılıp çıkarılmayacağı ayrıca değerlendirilir.