Kümelerde tümleme ve evrensel küme Konu Özeti

Kümeler kuramında, üzerinde işlem yapılan tüm kümeleri kapsayan ve boş olmayan sabit bir kümeye evrensel küme denir. Evrensel küme genellikle \( E \) harfi ile gösterilir. İncelenen her küme, evrensel kümenin bir alt kümesidir.

🌌 Evrensel Küme

Evrensel küme, üzerinde çalışılan problemin sınırlarını belirler. Örneğin, rakamlar üzerinde işlem yapılıyorsa evrensel küme \( E = \{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\} \) olarak alınabilir.

Önemli Not: Evrensel küme sonlu veya sonsuz bir küme olabilir. Ancak her zaman üzerinde çalışılan tüm alt kümeleri kapsamak zorundadır.

🌓 Bir Kümenin Tümleyeni

Evrensel kümenin bir alt kümesi olan \( A \) kümesi için, evrensel kümede olup \( A \) kümesinde olmayan elemanların oluşturduğu kümeye \( A \) kümesinin tümleyeni denir. \( A \) kümesinin tümleyeni \( A' \) sembolü ile gösterilir.

Sembolik mantık diliyle tümleyen kümesi şu şekilde tanımlanır:

\[ A' = \{ x \mid x \in E \text{ ve } x \notin A \} \]

Örnek:

Evrensel küme \( E = \{1, 2, 3, 4, 5, 6, 7\} \) ve \( A = \{2, 4, 6\} \) olsun. Bu durumda \( A \) kümesinin tümleyeni:

\[ A' = \{1, 3, 5, 7\} \]

🛠️ Tümleme İşleminin Özellikleri

Bir \( E \) evrensel kümesinin alt kümeleri olan \( A \) ve \( B \) kümeleri için aşağıdaki özellikler her zaman geçerlidir:

• Bir kümenin tümleyeninin tümleyeni kendisine eşittir: \( (A')' = A \)
• Evrensel kümenin tümleyeni boş kümedir: \( E' = \emptyset \)
• Boş kümenin tümleyeni evrensel kümedir: \( \emptyset' = E \)
• Bir küme ile tümleyeninin birleşimi evrensel kümeyi verir: \( A \cup A' = E \)
• Bir küme ile tümleyeninin kesişimi boş kümedir: \( A \cap A' = \emptyset \)
• Bir kümenin eleman sayısı ile tümleyeninin eleman sayısının toplamı, evrensel kümenin eleman sayısına eşittir: \( s(A) + s(A') = s(E) \)

Örnek Soru:

Bir \( E \) evrensel kümesinde \( A \) ve \( B \) birer alt kümedir. Aşağıdaki bilgiler verilmiştir:

• \( s(A) + s(B') = 14 \)
• \( s(B) + s(A') = 18 \)

Buna göre \( s(E) \) kaçtır?

Çözüm: İki denklemi taraf tarafa toplarsak:

\[ (s(A) + s(A')) + (s(B) + s(B')) = 14 + 18 \] \[ s(E) + s(E) = 32 \] \[ 2 \times s(E) = 32 \] \[ s(E) = 16 \]

📜 De Morgan Kuralları

Kümelerde birleşim ve kesişim işlemlerinin tümleyenleri ile ilgili olan bu kurallar, işlem yapmayı kolaylaştırır:

Birleşimin Tümleyeni	\( (A \cup B)' = A' \cap B' \)
Kesişimin Tümleyeni	\( (A \cap B)' = A' \cup B' \)

Örnek:

\( (A' \cup B)' \cap A \) ifadesinin en sade halini bulalım.

De Morgan kuralını uygulayalım:

\[ (A')' \cap B' \cap A \] \[ A \cap B' \cap A \] \[ (A \cap A) \cap B' \] \[ A \cap B' \]