Boş küme her kümenin alt kümesi midir Test 1

Bir matematik öğretmeni tahtaya "∅ ⊆ A" yazmış ve bunun her A kümesi için doğru olduğunu söylemiştir. Buna göre aşağıdaki öğrenci ifadelerinden hangisi yanlıştır?

A) ∅ ⊆ ∅ doğrudur
B) ∅ ⊆ {1,2,3} doğrudur
C) ∅ ⊆ {∅} doğrudur
D) ∅ ∈ ∅ doğrudur

Bu soruyu çözmek için, kümeler teorisindeki iki temel kavramı çok iyi anlamamız gerekiyor: boş küme ve alt küme ilişkisi.

• Boş Küme ($\emptyset$): Boş küme, hiçbir elemanı olmayan tek kümedir. Matematikte özel bir yere sahiptir.
• Alt Küme ($\subseteq$): Bir $X$ kümesinin bir $Y$ kümesinin alt kümesi olması ($X \subseteq Y$), $X$ kümesindeki her elemanın aynı zamanda $Y$ kümesinin de bir elemanı olması demektir. Eğer $X$'in içinde $Y$'de olmayan tek bir eleman bile varsa, $X$, $Y$'nin alt kümesi değildir.
• Boş Kümenin Özel Durumu: Matematikte çok önemli bir kural vardır: Boş küme, her kümenin alt kümesidir. Yani, her $A$ kümesi için $\emptyset \subseteq A$ ifadesi daima doğrudur. Bunun nedeni şudur: Alt küme tanımına göre, $\emptyset \subseteq A$ ifadesinin yanlış olması için $\emptyset$ içinde olup $A$ içinde olmayan en az bir eleman bulmamız gerekir. Ancak $\emptyset$'nin hiçbir elemanı olmadığı için, böyle bir eleman bulmak imkansızdır. Bu yüzden $\emptyset \subseteq A$ ifadesi "boş yere doğru" (vacuously true) kabul edilir.

Şimdi seçenekleri tek tek inceleyelim:

• A) $\emptyset \subseteq \emptyset$ doğrudur

  Yukarıda bahsettiğimiz kurala göre, boş küme her kümenin alt kümesidir. Kendi kendisinin de bir küme olması nedeniyle, boş küme kendi kendisinin alt kümesidir. Yani, $\emptyset \subseteq \emptyset$ ifadesi doğrudur.

• B) $\emptyset \subseteq \{1,2,3\}$ doğrudur

  Yine aynı kurala göre, boş küme her kümenin alt kümesidir. Burada $A = \{1,2,3\}$ bir kümedir. Dolayısıyla, $\emptyset \subseteq \{1,2,3\}$ ifadesi doğrudur.

• C) $\emptyset \subseteq \{\emptyset\}$ doğrudur

  Burada $A = \{\emptyset\}$ kümesi, elemanı olarak boş kümeyi içeren bir kümedir. Bu küme de bir küme olduğu için, boş küme bu kümenin de alt kümesidir. Yani, $\emptyset \subseteq \{\emptyset\}$ ifadesi doğrudur. Unutmayın, $\emptyset$ bu kümenin bir elemanı olsa da, boş küme her zaman her kümenin alt kümesidir.

• D) $\emptyset \in \emptyset$ doğrudur

  Bu ifade, "boş küme, boş kümenin bir elemanıdır" anlamına gelir. Boş kümenin tanımına göre, boş kümenin hiçbir elemanı yoktur. Dolayısıyla, boş küme kendi kendisinin bir elemanı olamaz. Bu ifade yanlıştır.

Yukarıdaki incelemeler sonucunda, yanlış olan ifadenin D seçeneğinde yer aldığını görüyoruz.

Cevap D seçeneğidir.