Küme

küme, matematiksel anlamda tanımsız bir kavramdır. bu kavram "nesneler topluluğu veya yığını" olarak yorumlanmaktadır. bu tanımdaki "nesne" soyut ya da somut bir şeydir. fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. örneğin, "tüm canlılar topluluğu", "dilimiz alfabesindeki harflerin topluluğu", "masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. o halde, matematikte "i̇yi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.

tanımda geçen nesne sözcüğü aslında yeterince açıklık ifade eden bir sözcük değildir. ama sezgisel olarak, kümeyi oluşturan nesnelerin iyice tanımlı olduklarını; yani belirgin, başka nesnelerden ayırt edilebilir şeyler olduklarını düşünüyoruz demektir. bir bakıma, bir kümeyi oluşturan nesnelerin tek tek neler olduklarını düşünmekten çok, bir arada düşünebilir olmaları önemsenir.

bir kümeyi oluşturan nesnelere o kümenin ögeleri veya elemanları adı verilir. güneş, evrendeki yıldızlar kümesinin bir ögesidir. bir kümenin ögesi olan nesne o kümenin içinde veya kümeye aittir. küme tanımına göre bir öge ya kümenin içinde ya da içinde değildir.

küme kavramının kökeni 

küme kavramının matematiğe georg cantor (1845-1918) ile girdiği kabul edilir. georg cantor kümeyi iyi tanımlanmış ve birbirinden farklı nesneler topluluğu olarak tanımlamaktadır.  i̇yi tanımlanmış ile kastedilen, herkes tarafından aynı şekilde anlaşılan bir tanımdır.

cantor'dan öncede, adına küme denilmese bile matematikçiler bu kavramı yer yer örtülü bir şekilde kullanırdı. cantor, kümeler kuramının temellerine ilişkin kapsamlı soruları ortaya koydu. bu gelişmeler, matematiğe ve özellikle formalist akıma  20. yüzyılın ilk yarısında katkı verdi.

almanca küme kelimesi "menge", bernard bolzano tarafından paradoxes of the infinite adlı çalışmasında ortaya atıldı.

küme teorisinin kurucularından georg cantor, transfinit küme teorisi üzerine yazdığı beiträge zur begründung der transfiniten mengenlehre adlı çalışmasının başında şu tanımı verdi: 

bertrand russell, küme ve sınıf arasındaki ayrımı (bir küme bir sınıftır, ancak tüm kümelerin sınıfı gibi bazı sınıflar küme değildir; bkz. russell paradoksu) tanıttı:

sezgisel kümeler kuramı 
bir kümenin en önemli özelliği, elemanlara sahip olabilmesidir; bu elemanlar aynı zamanda üyeler olarak da adlandırılır. i̇ki küme, aynı elemanlara sahip olduklarında eşittir. daha kesin bir ifadeyle, a ve b kümeleri, a'nın her elemanı b'nin bir elemanıysa ve b'nin her elemanı da a'nın bir elemanıysa eşittir; bu özellik kümelerin genişletilebilirliği olarak adlandırılır.

basit bir küme kavramı matematikte son derece faydalı olmuştur, ancak setlerin nasıl oluşturulabileceği konusunda herhangi bir kısıtlama olmadığında paradokslar ortaya çıkar:

 russell paradoksu, "kendilerini içermeyen tüm kümelerin kümesi"nin, yani {x | x bir küme ve x ∉ x}, var olamayacağını gösterir. 
 cantor paradoksu, "tüm kümelerin kümesi"nin var olamayacağını gösterir.

sezgisel kümeler kuramı, bir kümenin iyi tanımlanmış farklı elemanların bir koleksiyonu olarak tanımlar, ancak "iyi tanımlanmış" teriminin belirsizliği nedeniyle sorunlar ortaya çıkar.

aksiyomatik küme kuramı 
sezgisel küme teorisinin orijinal formülasyonundan bu yana, bu paradoksları çözmek için yapılan çabalarda, setlerin(küme) özellikleri aksiyomlarla tanımlanmıştır. aksiyomatik küme teorisi, bir küme kavramını ilkel bir kavram olarak ele alır. aksiyomların amacı, birinci dereceden mantığı kullanarak setlerle ilgili belirli matematiksel önermelerin (ifadelerin) doğruluğunu veya yanlışlığını çıkarmak için temel bir çerçeve sağlamaktır. ancak, gödel'in eksiklik teoremlerine göre, birinci dereceden mantığı kullanarak herhangi bir aksiyomatik küme teorisinin paradoks içermeyen olduğunu kanıtlamak mümkün değildir.

kümeler nasıl tanımlanır ve küme gösterimi 
matematik metinlerinde, kümeler genellikle a, b, c gibi büyük harflerle italik olarak gösterilir. bir küme, özellikle elemanları da set olan durumlarda, bir koleksiyon veya aile olarak da adlandırılabilir.

sıralı gösterim 
sıralı veya numaralı gösterim, bir kümenin elemanlarını süslü parantezler arasında virgülle ayrılarak listelemek suretiyle bir küme tanımlar:

bir kümede, önemli olan her elemanın içinde olup olmadığıdır, bu nedenle sıralı gösterimde elemanların sıralaması önemsizdir (buna karşılık, bir dizide, demette veya bir kümenin permütasyonunda, terimlerin sıralaması önemlidir). örneğin,  ve aynı kümeyi temsil eder.

çok sayıda elemana sahip olan setler, özellikle örtük bir desene uyanlar, üyelerin listesi '...' işareti kullanılarak kısaltılabilir. örneğin, ilk bin pozitif tam sayı kümesi, sıralı gösterimde aşağıdaki gibi belirtilebilir:

sonsuz kümelerin sıralı gösterimi 
sonsuz bir set(küme), sonsuz bir eleman listesine sahip olan bir kümedir. sonsuz bir seti sıralı gösterimde tanımlamak için, listeyin sonuna veya her iki ucuna da noktalama işareti konur ve bu şekilde liste sonsuz bir şekilde devam ettiği ifade edilir. örneğin, pozitif olmayan tam sayıların kümesi aşağıdaki gibi sıralı gösterimde tanımlanabilir:

ve tüm tamsayıların kümesi ise:

anlamsal tanım 
bir küme tanımlamanın başka bir yolu, elemanların neler olduğunu belirlemek için bir kural kullanmaktır:

bu tür bir tanım, bir anlamsal açıklama olarak adlandırılır.

küme oluşturucu(set-builder) gösterimi 
set-builder gösterimi, elemanlar üzerindeki bir koşula dayalı olarak daha büyük bir kümeden bir seçimi belirtir. örneğin, f kümesi aşağıdaki gibi tanımlanabilir:

bir f kümesi, şu şekilde tanımlanabilir:

bu gösterimde, dikey çizgi "|" "şunu ki" anlamına gelir ve tanım, "f, n'nin 0 ile 19 (dahil) arasında bir tamsayı olduğu tüm n sayılarının kümesidir" şeklinde yorumlanabilir. bazı yazarlar dikey çizgi yerine iki nokta üst üste ":" kullanır.

tanımlama yöntemlerinin sınıflandırılması 
felsefe, tanım türlerini sınıflandırmak için belirli terimler kullanır:

 bir niyetsel tanım, üyeliği belirlemek için bir kural kullanır. anlamsal tanımlar ve set-builder gösterimi kullanan tanımlar buna örnek verilebilir. 
 bir genişletici tanım, bir küme hakkında tüm elemanlarını listeleyerek tanımlar. bu tür tanımlar aynı zamanda sayım(enumerative) niteliğindedir. 
 bir örnekleme tanımı, bir küme hakkında örnekler vererek tanımlar; noktalama işaretleri içeren bir liste bunun bir örneğidir.

elemanı olma 
eğer b bir küme ve  b'nin bir elemanı ise, bu kısaltma şeklinde  ∈ b olarak yazılır ve aynı zamanda " b'ye aittir" veya " b'de bulunur" şeklinde okunabilir. "y b'nin bir elemanı değildir" ifadesi y ∉ b şeklinde yazılır ve aynı zamanda "y b'de değil" şeklinde okunabilir.

örneğin,,  ve  kümelere göre,

4 ∈ a ve 12 ∈ f; 20 ∉ f ve yeşil∉ b.

boş küme 
hiçbir elemanı olmayan kümeye boş küme (veya null kümesi) denir ve hiçbir elemana sahip olmayan tek kümedir. boş küme , , ,   veya  sembolleri ile gösterilir.

önemli not:  kümesi, boş küme ifade etmemektedir. bu küme bir elemana sahiptir.

birim(singleton) kümeler 
bir birim kümesi, tam olarak bir elemana sahip olan bir kümedir. bu tür bir küme {x} şeklinde yazılabilir, burada x elemandır. {x} kümesi ve x elemanı farklı anlamlara gelir; halmos, bir şapka içeren bir kutunun şapkayla aynı olmadığı benzetmesini çizer.

alt kümeler 
eğer kümenin a her elemanı aynı zamanda b kümesinde yer alıyorsa, a kümesi b'nin bir alt kümesi veya b içinde yer alan bir küme olarak tanımlanır. bu durumu ifade etmek için a ⊆ b veya b ⊇ a şeklinde yazılır. i̇kinci gösterim b a'yı içerir şeklinde okunabilir. ⊆ tarafından sağlanan kümeler arası ilişkiye dahil etme veya içermeyi denir. i̇ki küme birbirlerini içerdiklerinde eşittirler: a ⊆ b ve b ⊆ a, a = b ile eşdeğerdir.

eğer a, b'nin bir alt kümesi ise ancak a, b'ye eşit değilse, a b'nin bir gerçek alt kümesi olarak adlandırılır. bu durum a ⊊ b şeklinde yazılabilir. benzer şekilde, b ⊋ a b'nin bir gerçek üst kümesi anlamına gelir, yani b a'yı içerir ve a'ya eşit değildir.

üçüncü çift ⊂ ve ⊃ operatörleri farklı yazarlar tarafından farklı şekillerde kullanılır: bazı yazarlar a ⊂ b ve b ⊃ a ifadesini a'nın b'nin herhangi bir alt kümesini temsil etmek için kullanırken, diğerleri anın yalnızca gerçek bir alt kümesi olduğu durumlar için a ⊂ b ve b ⊃ a kullanır.

örnekler:

 tüm insanlar kümesi, tüm memeliler kümesinin uygun bir alt kümesidir.
 {1, 3} ⊂ {1, 2, 3, 4}.
 {1, 2, 3, 4} ⊆ {1, 2, 3, 4}.

boş küme, her kümenin bir alt kümesidir ve her küme kendisinin bir alt kümesidir:

 ∅ ⊆ a.
 a ⊆ a.

 euler ve venn diyagramları 

bir euler diyagramı, bir küme koleksiyonunun grafiksel bir temsilidir; her bir küme, içindeki elemanlarıyla birlikte bir döngü tarafından çevrili bir düzlem bölgesi olarak gösterilir. eğer , b'nin bir alt kümesi ise, 'yı temsil eden bölge, 'yi temsil eden bölgenin tamamen içinde yer alır. i̇ki kümenin ortak elemanı yoksa, bölgeler birbirleriyle örtüşmez.

buna karşılık, bir venn diyagramı, n kümenin grafiksel bir temsilidir ve n döngü düzlemi, seçilen n kümenin her biri için (belki hepsi veya hiçbiri), seçilen kümelere ait olan ve diğerlerine ait olmayan elemanlar için bir bölge olacak şekilde düzlemi 2n bölgeye böler. örneğin, küme ,  ve  ise,  ve  içinde bulunan ve 'nin dışında olan elemanlar için bir bölge olmalıdır (böyle elemanlar olmasa bile).

 küme kavramları 

 eğer a elemanı a kümesine aitse bu ifade  olarak; ait değilse  biçiminde göstermektedir.
 a kümesinin eleman sayısı belirtilirken s(a) veya m(a)''' ifadesi kullanılmaktadır.
 a ile b'nin kesişimi  şeklinde gösterilmektedir.
 a ile b'nin birleşimi  şeklinde gösterilmektedir.
 a'nın b'den farkı , b'nin a'dan farkı  olarak gösterilmektedir.
 eğer a kümesinin elemanlarının aynısı b kümesinde de varsa  (a,b'nin alt kümesidir.) veya  (b, a'yı kapsar.) ifadesi kullanılmaktadır. eğer yoksa sembollerin üstüne bir çizik atılmaktadır.
 hiçbir ögesi bulunmayan kümeye boş küme denir. boş küme,   ya da  şeklinde gösterilmektedir. boş küme, bütün kümelerin alt kümesidir.
 bütün kümeleri kapsayan kümeye evrensel küme denir. evrensel küme  şeklinde gösterilir.
 eğer  ise a, b kümesine denktir. eğer a ve b kümelerinin elemanları aynıysa , hiçbir elemanları aynı değilse ayrık küme  olurlar.
  kümesinde a'dan ayrık olan elemanlar gösterilirken, bu elemanlar a'nın tümleyeni  kümesinde toplanır.  a'nın üstünde bir virgül veya kısa çizgi olarak gösterilir.

 kümelerin gösterimi 
kümenin elemanları aşağıdaki 3 yolla gösterilebilir.liste yöntemi: kümenin elemanları   sembolü içine, her bir elemanın arasına virgül konularak yazılır. örneğin,  ise,  tür.ortak özelik yöntemi: kümenin elemanlarını, daha somut ya da daha kolay algılanır biçimde gerektiğinde sözel, gerektiğinde matematiksel bir ifade olarak ortaya koyma biçimidir.  burada "" ifadesi "öyle x'lerden oluşur ki" diye okunur. bu ifade  biçiminde de yazılmaktadır.şema yöntemi: küme, kapalı bir eğri içinde her eleman bir nokta ile gösterilip noktanın yanına elemanın adı yazılarak (sol üstteki resim) gösterilir. bu gösterime venn şeması ile gösterimi denir.

 kullanılan simgeler 

 eşit küme ve denk küme 
aynı elemanlardan oluşan kümelere eşit kümeler denir. eleman sayıları eşit olan kümelere denk kümeler denir.
 a kümesi b kümesine eşit ise  biçiminde gösterilir.
 c kümesi d kümesine denk ise  biçiminde gösterilir.önemli not: eşit olan kümeler aynı zamanda denktir. fakat denk kümeler eşit olmayabilir. özel sayı kümeleri 

matematikçilerin o kadar sık atıfta bulundukları matematiksel öneme sahip kümeler vardır ki, onları tanımlamak için özel isimler ve notasyon kuralları edinmişlerdir. bu önemli kümeler, matematik metinlerinde kalın (örneğin ) veya tahta kalın () yazı karakteriyle temsil edilir. bunlar şunları içerir:
 veya , doğal sayılar kümesi:  (bazı matematikçiler 0'ı dahil etmemektedir.) 
 veya , tam sayılar kümesi (negatif tam sayılar, pozitif tam sayılar ve 0 dahil):  
 veya , rasyonel sayılar kümesi (tam sayılar ve kesirli ifadeler dahil): . örneğin,  ve  
 veya , reel sayılar kümesi: [rasyonel sayılar kümesi ve irrasyonel sayılar kümesi ( gibi kesirli ifade biçiminde yazılamayan cebirsel sayıların yanı sıra  ve  gibi sayılar) dahil] 
 veya , karmaşık sayılar kümesi: . örneğin, .
yukarıda yer alan sayı kümelerinin her biri sonsuz sayıda elemana sahiptir. her biri bulunduğu satırın altında yer alan kümelerin bir alt kümesidir.

pozitif veya negatif sayı kümeleri, küme sembolünün üzerine  veya  sembolü konularak ifade edilmektedir. örneğin; pozitif tam sayılar kümesi , negatif tam sayılar kümesi biçiminde ifade edilmektedir.

 fonksiyonlar 
bir a kümesinden b kümesine olan bir fonksiyon (veya eşleme), her bir  kümesi elemanına  kümesinden bir "çıktı" atayan bir kuraldır; daha formel olarak, bir fonksiyon,  kümesinin her elemanını tam olarak bir  kümesi elemanına bağlayan özel bir ilişkidir. bir fonksiyon şu şekillerde adlandırılır:

 i̇njektif birebir (veya tekil) ise,  kümesinin her iki farklı elemanını farklı  elemanlarına eşler.
 sürjektif örten (veya üzerine) ise, her  elemanı için en az bir  elemanı ona eşlenir.
 bijektif bi̇rebir örten (veya bir-bir karşılıklı) ise, fonksiyon hem injektif hem de sürjektif olup her  elemanı benzersiz bir  elemanıyla eşlenir ve her  elemanı da benzersiz bir  elemanıyla eşlenir, böylece eşlenmemiş elemanlar bulunmaz.

i̇njektif bir fonksiyon enjeksiyon, sürjektif bir fonksiyon sürjeksiyon ve bijektif bir fonksiyon bire-bir karşılıklı veya bijeksiyon olarak adlandırılır.

 sayallık (kardinalite) 
bir kümenin cardinality (kardinalite) değeri, o kümenin eleman sayısıdır. örneğin, b = {mavi, beyaz, kırmızı} kümesi için |b| = 3'dür. kümelendirmede tekrar eden elemanlar sayılmaz, bu nedenle b = {mavi, beyaz, kırmızı, mavi, beyaz} kümesi için de |b| = 3'tür.

daha kesin bir ifadeyle, iki küme aynı kardinaliteye sahipse, aralarında bire-bir'e ilişkilendirme sağlayan bir fonksiyon bulunur.

boş kümenin kardinalite değeri sıfırdır.

 sonsuz kümeler ve sonsuz kardinalite 
bazı kümelerin elemanları sayılamazdır veya sonsuzdur. örneğin, doğal sayıların kümesi n sonsuzdur. aslında, yukarıdaki bölümde bahsedilen tüm özel sayı kümeleri sonsuzdur. sonsuz kümelerin'' kardinalite değeri sonsuzdur.

bazı sonsuz kardinaliteler diğerlerinden daha büyüktür. küme teorisi açısından en önemli sonuçlardan biri, gerçel sayıların kümesinin doğal sayıların kümesinden daha büyük kardinaliteye sahip olmasıdır. n'ye eşit veya daha küçük kardinalite değerine sahip kümeler "sayılabilir kümeler" olarak adlandırılır. bunlar ya sonlu kümelerdir ya da n ile aynı kardinaliteye sahip "sayılabilir sonsuz kümelerdir". bazı yazarlar "sayılabilir" terimini "sayılabilir sonsuz" anlamında kullanır. n'den daha büyük kardinalite değerine sahip kümeler "sayılabilir olmayan kümeler" olarak adlandırılır.

ancak, bir doğru üzerindeki noktaların kardinalite değeri (yani bir doğru üzerindeki nokta sayısı), o doğrunun bir segmentinin, tüm düzlemin ve hatta herhangi bir sonlu boyutlu öklidyen uzayın kardinalite değeriyle aynıdır.

süreklilik hipotezi  
georg cantor tarafından 1878 yılında formüle edilen süreklilik hipotezi, doğal sayıların kardinalite değeriyle bir doğruyun kardinalite değeri arasında bir kümenin olmadığını ifade eder. 1963 yılında paul cohen, süreklilik hipotezinin, zermelo-fraenkel küme teorisiyle (seçim aksiyomunu içeren) zfc aksiyom sistemi içinde bağımsız olduğunu kanıtlamıştır.(zfc, aksiyomatik küme teorisinin en yaygın olarak incelenen versiyonudur.)

evrensel küme 
üzerinde işlem yapılan, bütün kümeleri kapsayan kümeye evrensel küme denir. evrensel küme genellikle  ile gösterilmektedir. yabancı kaynaklarda çoğunlukla  ile gösterilmektedir.

ayrıca bakınız 
 öge
 gönderme (fonksiyon)
 bağıntı
 kümeler kuramı
 belirtisiz (bulanık) küme

kaynakça 

kümeler teorisi