Matematiksel İspat/Küme Teorisine Giriş

Şablon:Nav Kümlere matematikte sık sık kullanılır ve Şablon:Colored em kümeleri inceler. Küme teorisi biçimsel olarak açıklanabileceği gibi Şablon:Colored em ve benzeri aksiyomatik küme teorileri de vardır. Bu kitap biçimsel açıklamaya girmeyecektir.

Küme teorisini biçimsel olarak tartışmayacak olsak da kümeler ile ilgili bazı temel konuları anlamamız elzemdir. Bu bölüm bununla ilgilenecek.

Küme nedir?

Şablon:Colored em, birbirinden farklı özel nesnelerin (nesnelerin kendileri de küme olabilir) koleksiyonudur. "Özel" teriminin belirsizliği nedeniyle bu açıklama kümelerin tanımı değildir. Kümeleri ilkel kavram (daha önceden belirtilen kavramlarla belirtilmeyen kavram) olarak tanımlayabiliriz.

Kümede bulunan birbirinden farklı nesnelere Şablon:Colored em (Şablon:Dil) denir. Matematiksel olarak eleman $a$'nın küme $A$'da bulunduğunu $a\in A$ ifadesiyle belirtiyoruz. Şablon:Colored example

Küme tanımlama yolları

Bir kümeyi net bir şekilde (elemanların o kümeye ait olduğunun net olarak bilindiği şekilde) tanımlamanın birkaç yolu vardır.

Eğer bir küme az sayıda elemandan oluşuyorsa o halde Şablon:Renkli em verimli çalışabilir. Listeleme yönteminde kümenin elemanları süslü parantez içinde ({}) gösterilir. Bir kümede bulunan elemanların Şablon:Renkli em değiştirmek kümenin kendisini Şablon:Colored em. Örneğin $\{1,2\}$ ile $\{2,1\}$ kümeleri yalnızca 1 ve 2 elemanlarını içerdikleri için aynı kümeyi temsil etmektedirler. Eğer parantezler içinde temsil edilen elemanlar aynı ise elemanların sıralanışları fark etmeksizin iki gösterim de Şablon:Colored em kümeyi belirtmektedir. Ayrıca aynı elemanı küme içinde birden fazla kez belirtmek o kümeyi Şablon:Colored em. Örneğin, $\{1,1,2,2,2\}$ ile $\{1,2\}$ eleman sayıları fark etmeksizin yalnızca 1 ile 2 elemanlarını içerdikleri için aynı kümeyi belirtmektedirler. Eğer bir küme hiçbir eleman içermiyorsa o kümeye boş küme denir ve $\{\}$ veya $\varnothing$ şeklinde belirtilebilir.

Kümeleri tanımlamanın başka bir yolu da Şablon:Colored em. Örneğin 10'dan küçük tüm asal sayıları içeren $S$ kümesini düşünün. Bu kümeyi harf yerine listeleme yöntemiyle belirtseydik $\{2,3,5,7\}$ olarak belirtirdik.

Küme tanımlamanın bir diğer üçüncü yolu ise Şablon:Colored em. Bu yöntem çok fazla eleman içeren kümelerde etkilidir. Bu küme tanımlama yöntemini oluşturan Şablon:Colored em parça aşağıda belirtilmiştir: $$\underset{\text{The set of}}{\underbrace{\{}}\underset{\text{all elements }x}{\underbrace{x}}\underset{\text{such that}}{\underbrace{:}}\underset{\text{the property }P(x)\text{ is satisfied}}{\underbrace{P(x)}}\}$$

Tahmin edilebileceği üzere iki küme ancak ve ancak aynı elemanlara sahip oldukları zaman birbirlerine Şablon:Colored em. Aynı şekilde iki küme $A$ ve $B$ kümeleri ancak $A$'nın her elemanı $B$'nin, $B$'nin her elemanı $A$'nın ise birbirlerine eşittir. Bu durum bir aksiyom veya betimleme olarak değerlendirilebilir. Eğer $A$ ve $B$ kümeleri birbirlerine eşitse bu durumu $A=B$ ifadesiyle belirtiriz. Eğer birbirlerine eşit değillerse $A\ne B$ ifadesini kullanırız.

Bu kitapta bir eşitlik çözdüğümüz zaman aksi belirtilmediği sürece o eşitliğin yalnızca Şablon:Colored em çözümlerini kabul ediyoruz.