Analiz | Akademik Matematik _gaq.push(['_trackPageview']); (function() { var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true; ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js'; var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); })(); Skip to content


Arşiv

Kategori: Analiz

TANIM1: Aşağıdaki beş takım aksiyomu gerçekleyen en az iki elemanlı  \mathbb{R} kümesine reel (gerçel) sayılar kümesi, elemanlarına da reel (gerçel) sayılar denir.

I. TOPLAMA AKSİYOMLARI:

Her \left( x,y \right)\in \mathbb{R}\times \mathbb{R} için  \left( x,y \right)\to x+y\in \mathbb{R} şeklinde tanımlı  +:\mathbb{R}\times \mathbb{R}\to \mathbb{R} dönüşümü aşağıdaki özellikleri sağlar:

devamını oku…

Fonksiyonlar matematiğin en önemli kavramlarından biridir. Hatta o kadar önemlidir ki matematiğin tanımını “matematik kümeler arasındaki fonksiyonları inceleyen bilim dalıdır” şeklinde yapanlar vardır. Tabiki bu tanım doğru değildir. Fakat fonksiyonların ne derece önemli olduğunu belirtmek için böyle bir örnek verdim. Matematik uzaktan bir su birikintisine benzer. Yanına gelirsin göl olur. İçine girersin deniz olur. Ve açılırsın okyanus olur.

TANIM1: X ve Y iki küme, f\subset{X\times{Y}} bir bağıntı olsun. Aşağıdaki koşullar sağlanırsa f bağıntısına bir fonksiyon denir:

1. \forall{x}\in{X}, \exists{y}\in{Y}: (x,y)\in{f},

devamını oku…

READ THIS POST IN ENGLISH

TANIM1: X bir küme R\subset{X\times{X}} bir bağıntı olsun. Eğer R, yansıyan, simetrik ve geçişken bir bağıntı ise R’ye bir denklik bağıntısı denir ve genelde R=\sim biçiminde gösterilir.

TANIM2: \sim, X üzerinde bir denklik bağıntısı, a\in{X} olsun. \overline{a}=\{x\in{X}\text{ }\vert\text{ }a\sim{x}\}\subset{X} kümesine a’nın denklik sınıfı denir. a’nın denklik sınıfı bazı kaynaklarda [a]_{\sim} olarak da gösterilir. \forall{a}\in{X}, a\in{\overline{a}} olduğundan \overline{a}\ne{\emptyset}’dir.

devamını oku…

READ THIS POST IN ENGLISH

TANIM1: X bir küme R\subset{X\times{X}} bir bağıntı olsun. Eğer R, yansıyan, ters simetrik ve geçişken bir bağıntı ise R’ye bir “kısmi sıralama bağıntısı” denir ve genelde R=\le biçiminde gösterilir. \le, X üzerinde bir kısmi sıralama bağıntısı ise (X,\le) ikilisine kısmi sıralanmış küme denir.

TANIM2: (X,\le) kısmi sıralı bir küme, x,y\in{X} olsun. Eğer x\le{y}\lor{y\le{x}} önermesi doğru ise x ve y elemanlarına karşılaştırılabilir denir.

devamını oku…

READ THIS POST IN ENGLISH

TANIM1: X ve Y iki küme olsun. X\times Y’nin herhangi bir alt kümesine X’den Y’ye bir bağıntı denir. Bazı kaynaklarda bağıntının tanımı verilirken X,Y\ne\emptyset olarak verilir ve X\times Y’nin boştan farklı herhangi bir alt kümesine bağıntı denir. Yani \emptyset bir bağıntı olarak kabul edilmez. Halbuki boşkümenin bir bağıntı olması matematiğin herhangi bir dalına herhangi bir problem yaratmaz. Aksine, boşkümenin bir bağıntı olarak kabul edilmesi topos teoride çok önemli bir rol oynar.

X, n elemanlı, Y, m elemanlı kümeler ise X\times Y, n.m elemanlı bir kümedir. X’den Y’ye bir bağıntı aynı zamanda \mathbf{P}(X\times Y)’nin bir elemanı olduğundan X’den Y’ye tüm bağıntıların sayısı 2^{n.m}’dir. X ve Y boş olmayan kümeler ve en az biri sonsuz elemanlı ise X’den Y’ye tüm bağıntıların kümesi de sonsuz elemanlıdır.

devamını oku…

READ THIS POST IN ENGLISH

İndis kümesi matematikte çok kullanılan bir kavramdır. Şimdi bu kavramı tanıyalım.

devamını oku…

READ THIS POST IN ENGLISH

19. yüzyılın sonlarına kadar matematikçiler herhangi nesnelerin topluluğuna küme demişlerdir. Doğal sayılar kümesi, Reel sayılar kümesi, Çift sayılar kümesi, Kümelerin kümesi, Tüm kümelerin kümesi, bunu çok fazla örnekle pekiştirmek mümkün. O zamana kadar tüm matematikçiler küme olmanın tek şartının sadece nesnelerin bir araya gelmesi olduğuna inanmışlar ve bundan en ufak bir şüphe duymamışlardır. Ta ki Bertrand Russell’ın paradoksu ortaya çıkana kadar. Russell, küme için “herhangi nesnelerin topluğuna küme adı verilir” şeklinde bir tanım verildiğinde, kümeler kuramının bir paradoksa sürüklendiğini ispatlamıştır. Şimdi Russell paradoksunu inceleyelim. Varsayalım ki herhangi nesnelerin topluluğuna küme denir. O halde tüm kümelerin oluşturduğu topluluk da bir kümedir. Bu kümeye X diyelim. Buna göre bütün kümeler X’in elemanıdır. Yani A herhangi bir kümeyse A \in{X}’tir. X de bir küme olduğuna göre X \in{X}’tir. Şimdi, bu X kümesinin bir alt kümesini inşa edelim. Y=\{A \in{X}\text{ }\vert\text{ }A \notin{A} \} olsun. Çelişkiye doğru adım adım ilerliyoruz. Acaba Y \in{Y} ya da Y \notin{Y} önermelerinden hangisi doğrudur. Şimdi, varsayalım ki Y \in{Y} doğrudur. O halde Y’nin elemanları kendisinin elemanı olmayan kümeler olduğundan Y \notin{Y} doğru olur. Tersine Y \notin{Y} varsayalım. O halde Y tanıma göre Y’nin elemanıdır. Yani Y \in{Y}. Buradan şöyle bir sonuca varılır.

Y \in{Y} \Leftrightarrow Y \notin{Y}.

devamını oku…

READ THIS POST IN ENGLISH

Küme kavramı matematiğin en temel kavramlarından biridir. Fakat buna rağmen otoritelerce kabul edilmiş bir tanımı yoktur. Bazı kaynaklar kümeyi “belirli özelliğe sahip olan nesnelerin topluluğu” olarak tanımlar. Bu tanım her ne kadar yaygın olsa da eksiklikleri vardır. Birincisi burada “nesne” diye adlandırılan şeyin ne olduğu belli değildir. İkinci olarak “belirli özelliğe sahip” demek yanlış olabilir. Çünkü öyle bir küme örneği verilebilir ki o kümedeki nesne’ler belirli bir özelliğe sahip değildir. Üçüncüsü ise Russell paradoksu. Russell küme kavramı üzerine koşullar konulmayınca bir paradoksun oluştuğunu ispatlamıştır. Küme kavramının tanımı üzerine ne kadar konuşsak da bu kavramın tanımını veremeyeceğimizden burada bu bahsi kapayıp kümeleri tanıtmaya başlayalım.

Kümeyi oluşturan nesnelere kümenin “elemanları” denir. Kümeler genelde A, B, C, X, Y gibi büyük harflerle, kümenin elemanları ise a, b, c, x, y gibi küçük harflerle gösterilir. Eğer a, A kümesinin elemanı ise bu durumu a\in A ile, elemanı değilse bu durumu da a\notin A ile göstereceğiz. Kümelerin 3 çeşit gösterimi vardır.

devamını oku…

\pi  ‘nin irrasyonel olduğunun ispatı

Teorem 1 : \pi^2 irrasyoneldir.

İspat 1 : 1.  n \in \mathbb{N} olmak üzere f_n(x)=\frac {x^n(1-x)^n}{n!}   olsun bu polinomun şu özellikleri kolayca gösterilir :

(a) \forall x \in (0,1) için 0<f_n(x)<\frac {1}{n!} olur.

devamını oku…