Matematik dersinde Evrensel Küme ve Tümleyen kavramlarını öğrenen bir öğrenci, bu kavramlarla ilgili aşağıdaki ifadeleri not almıştır. Hangi ifade doğrudur?
(Bir $A$ kümesi için $A'$ tümleyenini, $E$ evrensel kümeyi temsil etmektedir.)
A) $A \cup A' = \emptyset$
B) $A \cap A' = E$
C) $(A')' = A$
D) $E' = E$
Merhaba sevgili öğrenciler!
Matematik dersinde kümeler konusu, özellikle Evrensel Küme ve Tümleyen kavramları oldukça önemlidir. Bu kavramları doğru anlamak, kümelerle ilgili işlemleri hatasız yapmamızı sağlar. Şimdi, bu kavramlarla ilgili verilen ifadeleri adım adım inceleyelim ve hangisinin doğru olduğunu bulalım.
Öncelikle, temel tanımları hatırlayalım:
- Evrensel Küme ($E$): Üzerinde çalıştığımız tüm elemanları içeren en geniş kümedir.
- Bir $A$ Kümesinin Tümleyeni ($A'$): Evrensel kümede olup da $A$ kümesinde olmayan elemanların kümesidir. Yani, $A' = \{x \mid x \in E \text{ ve } x \notin A\}$.
Şimdi seçenekleri tek tek değerlendirelim:
- A) $A \cup A' = \emptyset$
- Bu ifade, $A$ kümesi ile $A$ kümesinin tümleyeninin birleşiminin boş küme olduğunu söylüyor.
- $A$ kümesi ve $A'$ kümesi, evrensel kümenin birbirini tamamlayan iki parçasıdır. $A'$ kümesi, $E$'nin $A$'da olmayan kısmıdır.
- Dolayısıyla, $A$ ve $A'$ kümelerini birleştirdiğimizde, evrensel kümedeki tüm elemanları elde ederiz. Yani, $A \cup A' = E$ olmalıdır.
- Boş küme ($\emptyset$) ise hiçbir eleman içermez. Bu nedenle, bu ifade yanlıştır.
- B) $A \cap A' = E$
- Bu ifade, $A$ kümesi ile $A$ kümesinin tümleyeninin kesişiminin evrensel küme olduğunu söylüyor.
- $A'$ kümesinin tanımına göre, $A'$ kümesindeki elemanlar $A$ kümesinde değildir. Bu demektir ki, $A$ ve $A'$ kümelerinin ortak hiçbir elemanı yoktur.
- Ortak elemanı olmayan kümelerin kesişimi boş kümedir. Yani, $A \cap A' = \emptyset$ olmalıdır.
- Evrensel küme ($E$) ise tüm elemanları içerir. Bu nedenle, bu ifade yanlıştır.
- C) $(A')' = A$
- Bu ifade, $A'$ kümesinin tümleyeninin tekrar $A$ kümesini verdiğini söylüyor.
- Önce $A'$ kümesini düşünelim: $A'$ kümesi, evrensel kümede olup $A$ kümesinde olmayan elemanlardır.
- Şimdi $(A')'$ ifadesini değerlendirelim: Bu, $A'$ kümesinin tümleyeni demektir. Yani, evrensel kümede olup $A'$ kümesinde olmayan elemanlardır.
- Eğer bir eleman $A'$ kümesinde değilse (yani evrensel kümede olup $A$'da olmayanlar kümesinde değilse), o zaman o eleman kesinlikle $A$ kümesindedir.
- Bir örnekle açıklayalım: $E = \{1, 2, 3, 4, 5\}$ ve $A = \{1, 2\}$ olsun.
- $A'$ kümesi, $E$'de olup $A$'da olmayan elemanlardır: $A' = \{3, 4, 5\}$.
- Şimdi $(A')'$ kümesini bulalım: Bu, $E$'de olup $A'$da olmayan elemanlardır. $E$'de olup $\{3, 4, 5\}$ kümesinde olmayan elemanlar $\{1, 2\}$'dir.
- Gördüğümüz gibi, $\{1, 2\}$ kümesi tam olarak $A$ kümesidir.
- Bu nedenle, bir kümenin tümleyeninin tümleyeni, o kümenin kendisini verir. Bu ifade doğrudur.
- D) $E' = E$
- Bu ifade, evrensel kümenin tümleyeninin yine evrensel küme olduğunu söylüyor.
- $E'$ demek, evrensel kümede olup evrensel kümede olmayan elemanlar demektir.
- Evrensel kümede olup da evrensel kümede olmayan hiçbir eleman olamaz. Bu durum mantıksızdır.
- Dolayısıyla, evrensel kümenin tümleyeni boş kümedir. Yani, $E' = \emptyset$ olmalıdır.
- Bu nedenle, bu ifade yanlıştır.
Yukarıdaki değerlendirmeler sonucunda, doğru ifadenin C seçeneğinde yer aldığını görüyoruz.
Cevap C seçeneğidir.
