Bir değere tam olarak ulaşmadan da ona gittikçe yaklaşırken ne olduğunu inceleyebiliriz. Limit, bu yaklaşmayı anlamamızı sağlar. Bir aracın belirli bir andaki hızını, bir eğrinin tek noktadaki eğimini ve bir yapay zekâ modelinin eğitim sırasında hangi sonuca yaklaştığını bu fikirle ele alırız. Bu makalede limiti günlük örneklerden yola çıkarak adım adım kuracağız. Ardından soldan ve sağdan yaklaşmayı, sürekliliği, sonsuzdaki davranışı ve temel hesaplama yöntemlerini inceleyeceğiz.

Limit Neden Gereklidir?

Fonksiyonlarda bir girdinin hangi çıktıyı verdiğini gördük. Örneğin \(f(x)=x^2\) için \(x=3\) yazdığımızda sonucu doğrudan \(9\) buluruz.

Bazı sorularda ise bir noktadaki değerden çok, o noktaya yaklaşırken değerlerin nasıl değiştiğiyle ilgileniriz.

Bir eğrinin tek noktadaki eğimini veya giderek daralan dikdörtgenlerle eğrinin altındaki alanı nasıl buluruz? Bir yapay zekâ modeli eğitildikçe hata puanı nereye yönelir? Anlık hız sorusunda olduğu gibi, bu sorularda da birbirine yaklaşan değerleri inceleriz.

Uzak bir tabelaya yürürken yazı giderek belirginleşir. Limitte de girdiyi hedefe yaklaştırır, çıktının nereye yöneldiğine bakarız.

Bu kez fonksiyonun noktadaki değerini değil, şu sorunun cevabını arıyoruz:

Girdi belirli bir değere istediğimiz kadar yaklaştırıldığında çıktı hangi değere yaklaşır?

Birazdan kullanacağımız gösterimler, girdinin hedefe yaklaşmasıyla çıktının davranışı arasındaki ilişkiyi kısaca yazacak.

Yaklaşmak Eşit Olmak Değildir

Bir noktaya yaklaşmak, o noktaya varmakla aynı şey değildir. Kapıya doğru yürürken aradaki mesafe azalır; henüz kapıya varmasanız da hangi yöne gittiğiniz bellidir.

Şu fonksiyonu ele alalım:

\(x=2\) değerini doğrudan yerine koyarsak:

ifadesiyle karşılaşırız. Buradaki \(\frac{0}{0}\), hesaplanmış bir sonuç değildir; sıfıra bölme yapılamadığı için \(f(2)\) tanımsızdır. Başka bir deyişle fonksiyonun tam \(x=2\) noktasında bir değeri yoktur.

Yine de \(x\)'in \(2\)'ye yakın değerlerinde fonksiyonun nasıl davrandığını inceleyebiliriz.

\(x\)	\(f(x)\)	Yaklaşma Yönü
1.9	3.9	Soldan
1.99	3.99	Soldan
1.999	3.999	Soldan
2.001	4.001	Sağdan
2.01	4.01	Sağdan
2.1	4.1	Sağdan

Tabloda \(x\), \(2\)'ye yaklaştıkça \(f(x)\) değerlerinin \(4\)'e yaklaştığını görüyoruz. Bunu:

şeklinde yazar ve “\(x\), \(2\)'ye yaklaşırken \(f(x)\)'in limiti \(4\)'tür” diye okuruz.

Limit \(4\) olsa da \(f(2)\) tanımsızdır. \(2\)'nin çevresindeki girdiler için sonuçlar \(4\)'e yönelir; tam \(x=2\)'deki değer ise yoktur.

Limit Gösterimindeki Her Parça Ne Söyler?

Aynı düşüncenin genel gösterimi şöyledir:

Burada:

• \(x\), değiştirdiğimiz girdidir.
• \(c\), \(x\)'in yaklaştığı değerdir.
• \(f(x)\), davranışını incelediğimiz fonksiyondur.
• \(L\), fonksiyon çıktılarının yaklaştığı değerdir.

İfadeyi “\(x\), \(c\)'ye yaklaşırken \(f(x)\), \(L\)'ye yaklaşır” diye okuruz. Girdinin ve çıktının hedefleri ayrı ayrı belirtilmiştir.

“Yaklaşmak” sözü gelişigüzel değildir. \(x\)'i \(c\)'ye yaklaştırdıkça \(f(x)\)'i de \(L\)'ye istediğimiz kadar yaklaştırabiliyorsak limit \(L\)'dir.

\(x\), \(c\)'ye hem küçük hem büyük değerlerden yaklaşabilir; \(f(c)\)'nin tanımlı olması da gerekmez. İki yönden gelen çıktıların aynı değere yaklaşması gerekir.

Soldan ve Sağdan Limit

Bir adrese giden iki yol düşünelim. Biri evin solundan, diğeri sağından gelsin. İki yol da aynı eve ulaşıyorsa hedef konusunda sorun yoktur. Sayı doğrusunda da \(c\) noktasına küçük sayılardan ve büyük sayılardan olmak üzere iki yönden yaklaşabiliriz.

\(x\)'in \(c\)'den küçük değerlerle yaklaşmasına soldan limit denir:

\(c^-\) gösterimindeki eksi işareti, yaklaşmanın sayı doğrusunun solundan gerçekleştiğini belirtir.

\(x\)'in \(c\)'den büyük değerlerle yaklaşmasına ise sağdan limit denir:

Bir fonksiyonun genel limitinden söz edebilmek için iki yönden de aynı sonuca ulaşmamız gerekir. Soldan gelen değerler başka, sağdan gelen değerler başka bir yere gidiyorsa ortak bir hedef yoktur.

Bunu matematiksel olarak şöyle yazarız:

Bu koşulun neden gerekli olduğunu parçalı bir fonksiyon üzerinde görelim:

\(x\), \(2\)'ye soldan yaklaşırken \(x+1\) ifadesi \(3\)'e yaklaşır:

Sağ tarafta ise fonksiyonun değeri sürekli \(5\)'tir:

\(3\ne5\) olduğu için iki yönlü limit yoktur:

Üstelik \(g(2)=5\) olması bu sonucu değiştirmez. Noktadaki değer yalnızca tek bir girdiyi, limit ise o girdinin iki yanındaki davranışı anlatır.

Bir Limitin Var Olmadığı Durumlar

Fonksiyonun değerleri iki yönden farklı sayılara yaklaşabilir, sınırsız büyüyebilir veya salınmayı sürdürebilir. Bu durumlarda tek bir sonlu limit yoktur.

Sıçramada soldan ve sağdan farklı değerlere ulaşırız. Biraz önceki parçalı fonksiyonun limiti bu yüzden yoktu.

Sınırsız büyümede değerler sonlu bir sayıya yaklaşmaz. Örneğin \(1/x\) fonksiyonunda \(x=0.1\), \(0.01\), \(0.001\) diye sağ taraftan sıfıra yaklaşırken sonuç \(10\), \(100\), \(1000\) olur. Sol taraftaki \(-0.1\), \(-0.01\), \(-0.001\) girdileri ise \(-10\), \(-100\), \(-1000\) sonuçlarını verir.

Bitmeyen salınımda değerler bir sayı çevresinde toplanmaz. Örneğin:

fonksiyonu \(x\), \(0\)'a yaklaşırken \(-1\) ile \(1\) arasında giderek daha hızlı salınır. Bu yüzden:

Tablo veya grafik bir limite dair ipucu verir. Sonlu sayıda örnek bütün yakın girdileri kapsamadığı için kanıt sayılmaz; kesin sonuç için cebirsel kurallara, teoremlere veya limitin tanımına başvururuz.

Limit Kuralları ile Hesaplama

Birçok limiti tablo hazırlamadan hesaplayabiliriz. Toplama, çıkarma ve çarpma kuralları limitlere taşınır; bölmede ise paydanın yaklaştığı değeri ayrıca kontrol ederiz.

Aşağıdaki tabloda \(f(x)\)'in yaklaştığı değere \(L\), \(g(x)\)'in yaklaştığı değere ise \(M\) adını veriyoruz:

Temel kurallar bu iki limitten çıkar:

Kural	Sonuç
Sabit	\(\displaystyle \lim_{x\to c}k=k\)
Toplam	\(\displaystyle \lim_{x\to c}[f(x)+g(x)]=L+M\)
Fark	\(\displaystyle \lim_{x\to c}[f(x)-g(x)]=L-M\)
Sabit Kat	\(\displaystyle \lim_{x\to c}[k f(x)]=kL\)
Çarpım	\(\displaystyle \lim_{x\to c}[f(x)g(x)]=LM\)
Bölüm	\(\displaystyle \lim_{x\to c}\frac{f(x)}{g(x)}=\frac{L}{M},\ M\ne0\)
Kuvvet	\(\displaystyle \lim_{x\to c}[f(x)]^n=L^n\)

İki ifade sırasıyla \(L\) ve \(M\)'ye yaklaşıyorsa toplamları \(L+M\)'ye, çarpımları \(LM\)'ye yaklaşır. Bölüm kuralını ise paydanın limiti sıfırdan farklıysa kullanabiliriz.

Uzun bir ifadeyi bu kurallarla parçalara ayırabiliriz. Örneğin:

limitini hesaplayalım. Polinomlar her gerçek sayıda süreklidir; dolayısıyla burada doğrudan yerine koyma yapabiliriz:

İki polinomun birbirine bölünmesiyle oluşan fonksiyonlara rasyonel fonksiyon denir. Böyle bir fonksiyonda payda hedef noktada sıfır olmuyorsa yine sayıyı doğrudan yerine koyabiliriz:

Payda sıfıra yaklaşıyorsa bölüm kuralını otomatik olarak kullanamayız. O noktada ifadenin yapısını daha dikkatli incelememiz gerekir.

Belirsiz Biçim Ne Demektir?

Doğrudan yerine koyma sonucunda:

elde ettiğimizde limitin sıfır mı, başka bir sonlu sayı mı olduğunu, değerlerin sınırsız büyüyüp büyümediğini veya limitin hiç bulunmadığını henüz söyleyemeyiz. Buna belirsiz biçim denir: İfadeyi yeniden düzenleyip hedefe yakın girdilerde nasıl davrandığını incelememiz gerekir.

Gerçekten de görünüşte aynı olan \(\frac{0}{0}\) biçimi farklı sonuçlara götürebilir:

Üç ifadede de yerine koyma \(\frac{0}{0}\) verir; limitler ise farklıdır. Bu görünüm tek başına sonuç söylemez.

Çarpanlara Ayırarak Belirsizliği Gidermek

İlk örneğimize geri dönelim:

Paydaki \(x^2-4\) ifadesini bir çarpım şeklinde yazalım. Bir toplamı veya farkı çarpım biçimine dönüştürmeye çarpanlarına ayırma denir:

Böylece:

\(x\ne2\) koşulu gereklidir: \(x=2\) noktasında \(x-2\) sıfırdır ve sadeleştirme geçerli değildir. Limitte \(2\)'ye yakın, \(2\)'den farklı girdilere baktığımız için iki ifade aynı sonucu verir.

O halde:

sonucunu buluruz. Grafik \(y=x+2\) doğrusunu izler; \((2,4)\) noktasında fonksiyon tanımsız olduğu için bir delik vardır.

Kök İçeren İfadelerde Eşlenikle Çarpma

Belirsizlik karekök içeren bir ifadeden doğuyorsa eşlenikle çarpma yöntemi kullanışlıdır. Eşlenik, iki terim arasındaki işareti değiştirdiğimiz ikiz ifadedir. Örneğin \(\sqrt{x+4}-2\)'nin eşleniği \(\sqrt{x+4}+2\)'dir.

Şu limiti hesaplayalım:

Doğrudan yerine koyma yine \(\frac{0}{0}\) biçimini verir. Kesrin değerini değiştirmemek için hem payı hem paydayı aynı eşlenik ifadeyle çarpalım:

Pay çarpımında iki kare farkı oluşur:

Artık limiti doğrudan hesaplayabiliriz:

Çarpanlara ayırma ve eşlenikle çarpma, \(\frac{0}{0}\) görünümünü veren ifadeyi hedef noktanın çevresinde sadeleştirir. Sadeleşmiş ifadeden fonksiyonun nereye yaklaştığını hesaplayabiliriz.

Süreklilik: Grafiği Kalemi Kaldırmadan Çizmek mi?

Düz bir yolda giderken karşımıza aniden bir çukur, kopukluk veya sıçrama çıkmıyorsa yolun kesintisiz olduğunu söyleriz. Fonksiyonlarda bu düşüncenin karşılığı sürekliliktir. Sürekli bir fonksiyonun grafiğinde, incelediğimiz noktanın hemen öncesi ile hemen sonrası uyumlu davranır.

“Grafiği kalemi kaldırmadan çizmek” süreklilik için yararlı bir benzetmedir. Bir noktada sürekli olup olmadığını belirlemek içinse üç koşula bakarız.

Bir \(f\) fonksiyonunun \(x=c\) noktasında sürekli olması için:

1. Noktanın kendisi boş olmamalıdır: \(f(c)\) tanımlı olmalıdır.
2. İki taraftan aynı yere gelinmelidir: \(\displaystyle \lim_{x\to c}f(x)\) var olmalıdır.
3. Yaklaşılan yer ile noktadaki değer buluşmalıdır: \(\displaystyle \lim_{x\to c}f(x)=f(c)\) olmalıdır.

Bu üç koşulu tek bir ifadede şöyle özetleriz:

Örneğin polinomların grafiklerinde delik veya ani sıçrama bulunmaz; bu nedenle bütün gerçek sayılarda süreklidirler. İki polinomun bölümü olan rasyonel fonksiyonlar, paydanın sıfır olmadığı noktalarda süreklidir. Üstel fonksiyonlar bütün gerçek sayılarda, logaritma fonksiyonu ise izin verilen pozitif girdilerde süreklidir.

Sürekli bir fonksiyonda limit, noktadaki değere eşittir; doğrudan yerine koyma bu yüzden çalışır.

Süreksizliklerin Üç Temel Türü

Giderilebilir süreksizlik, grafikteki tek bir deliğe benzer. Çevredeki değerler aynı yere yaklaşır; fakat o nokta ya boştur ya da yanlış yere konmuştur. \(\frac{x^2-4}{x-2}\) fonksiyonunun \(x=2\)'deki deliği buna örnektir. Yalnızca \(f(2)=4\) tanımını eklersek delik kapanır ve fonksiyon sürekli hale gelir.

Sıçrama süreksizliği, merdivenin bir basamağından diğerine geçmeye benzer. Soldan ve sağdan gelen değerler sonludur ama farklı yüksekliklere ulaşır. Bir önceki parçalı fonksiyonumuzdaki \(3\) ile \(5\) arasındaki sıçrama buna örnektir. Tek bir noktanın değerini değiştirmek bu kopukluğu gideremez.

Sonsuz süreksizlikte ise değerler bir noktaya yaklaşırken durmadan büyür. \(1/x^2\) fonksiyonunun \(x=0\) çevresindeki davranışı bu türdendir.

Türev konusuna geçtiğimizde bu ayrım işe yarayacak. Bir noktada türev varsa fonksiyon orada süreklidir. Tersi her zaman geçerli değildir: Mutlak değer fonksiyonu \(x=0\)'da süreklidir, ancak grafiğin keskin köşesinde tek bir eğim bulunmadığı için türevi yoktur.

Dolayısıyla süreklilik türev için gereklidir, fakat tek başına yeterli değildir.

Sonsuz Limit Ne Anlatır?

Şu fonksiyonu inceleyelim:

\(x\), \(2\)'ye yaklaştıkça payda pozitif ve çok küçük bir sayıya dönüşür. Örneğin payda \(0.1\) ise sonuç \(10\), \(0.01\) ise \(100\), \(0.001\) ise \(1000\) olur. Payda küçüldükçe sonuç durmadan büyür:

Gösterimi “limit sonsuzdur” diye okuruz. Buradaki \(+\infty\), ulaşılan son bir sayı değildir: Sonuçlar \(1000\), \(1.000.000\), \(1.000.000.000\) diye büyümeyi sürdürür.

İşaret değişebildiğinde iki yönü ayrı incelemeliyiz. Örneğin:

İki yön farklı olduğu için \(\lim_{x\to2}\frac{1}{x-2}\) iki yönlü ve sonlu bir limit olarak yoktur.

\(x=2\) doğrusu burada bir dikey asimptottur. Bu terim, grafiğin yaklaştığı dikey bir kılavuz çizgiyi anlatır. \(x\), \(2\)'ye yaklaşırken fonksiyonun büyüklüğü sınırsız artar. Yalnızca fonksiyonun bir noktada tanımsız olması asimptot oluşturmaz; değerlerin gerçekten sınırsız büyümesi gerekir.

Girdi Sonsuza Giderken

Şimdi belirli bir sayının çevresine değil, gittikçe büyüyen girdilere bakalım. \(x=10\), \(100\), \(1000\) diye ilerlemeye devam etsin. Matematikte bu durumu şöyle gösteririz:

Bu ifadeyi “\(x\) sonsuza giderken \(f(x)\), \(L\)'ye yaklaşır” diye okuruz. Benzer biçimde \(x\to-\infty\), \(-10\), \(-100\), \(-1000\) gibi büyüklüğü artan negatif girdilerin davranışını inceler.

Örneğin:

Örneğin \(1/10=0.1\), \(1/100=0.01\), \(1/1000=0.001\). \(1/x\), sonlu pozitif bir \(x\) için sıfır olmaz; \(x\) büyüdükçe sıfıra istediğimiz kadar yaklaşır.

Fonksiyon \(x\to\infty\) veya \(x\to-\infty\) yönlerinden en az birinde \(L\)'ye yaklaşıyorsa \(y=L\) doğrusu o yönde bir yatay asimptottur.

Rasyonel Fonksiyonlarda Sonsuzdaki Davranış

İki polinomun bölümüyle oluşan rasyonel fonksiyonlarda çok büyük girdilerin davranışını genellikle en büyük kuvvetli terimler belirler. Çünkü \(x\) büyüdükçe \(x^2\), \(x\)'ten; \(x^3\) de \(x^2\)'den çok daha hızlı büyür.

Örneğin:

Payı ve paydayı en yüksek kuvvet olan \(x^2\)'ye bölelim:

\(x\to\infty\) iken \(1/x^2\to0\) olduğundan:

\(x\) büyüdükçe \(1/x^2\) sıfıra yaklaşır. Paydaki \(1\) ve paydadaki \(-4\), \(3x^2\) ile \(x^2\)'ye göre giderek küçülür. Oran da \(3x^2/x^2=3\)'e yaklaşır.

Derece, bir polinomdaki en büyük üstür. Payın derecesine \(m\), paydanın derecesine \(n\) dersek sonsuzdaki davranışı şöyle özetleyebiliriz:

• Paydanın derecesi daha büyükse (\(m<n\)), payda daha hızlı büyür ve oran \(0\)'a yaklaşır.
• Dereceler eşitse (\(m=n\)), en büyük kuvvetlerin önündeki sayıların oranına bakarız.
• Payın derecesi daha büyükse (\(m>n\)), fonksiyon sonlu bir yatay değere yaklaşmaz; sınırsız büyüyebilir veya eğik bir çizgiye ya da başka bir polinoma yaklaşabilir.

Örneğin:

çünkü payda, paydan bir derece daha hızlı büyür.

Sıkıştırma Teoremi: Arada Kalanın Limiti

Bir yolun iki yanındaki duvarlar giderek birbirine yaklaşıp aynı noktada birleşsin. Arada kalan yol da o noktaya varır. Sıkıştırma Teoremi, fonksiyonların limitinde bu düşünceyi kullanır.

Bir fonksiyonun limitini doğrudan bulamasak da onu alttan ve üstten sınırlayan daha basit fonksiyonları biliyor olabiliriz.

Ortadaki fonksiyona \(f(x)\), alttaki sınıra \(g(x)\), üstteki sınıra \(h(x)\) diyelim. \(x\), \(c\)'ye yakınken:

ve dıştaki iki fonksiyon aynı limite yaklaşıyorsa:

ortadaki fonksiyon da \(L\)'ye yaklaşır:

Buna Sıkıştırma Teoremi (Squeeze Theorem) denir.

Basit bir örnek olarak:

fonksiyonunu düşünelim. \(\sin(1/x)\) salınır, fakat değeri \(-1\) ile \(1\) arasında kalır. \(x^2\) negatif olmadığı için bütün ifadeyi şu iki sınır arasına alabiliriz:

Alt ve üst sınırlar \(x\to0\) iken \(0\)'a yaklaşır:

Dolayısıyla:

olur. \(\sin(1/x)\) salınmayı sürdürür; onu çarpan \(x^2\) küçüldükçe salınımın yüksekliği sıfıra yaklaşır.

Trigonometrinin Temel Limiti: Sinüs ve Radyan

Trigonometri makalemizde açıları derece ve radyan cinsinden ölçmüştük. Radyanla ölçmek, birazdan göreceğimiz limiti ve sonraki makaledeki türev formüllerini sadeleştirir.

Trigonometrik fonksiyonların türevlerini kuracak temel limit şudur:

Bu eşitlikte \(x\) radyan cinsindendir. Sıfır ile \(90\) derece arasındaki küçük bir açıyı, yani \(0<x<\frac{\pi}{2}\) aralığını düşünelim. Birim çemberdeki uzunlukları karşılaştırdığımızda:

eşitsizliğini elde ederiz. Bu satır “sinüs değeri açıdan küçük, tanjant değeri ise açıdan büyüktür” der. Üç değeri de pozitif olan \(x\)'e bölersek:

Tanjantı \(\tan x=\frac{\sin x}{\cos x}\) biçiminde yazıp ikinci eşitsizliği düzenlediğimizde, aradığımız \(\sin x/x\) ifadesini iki basit sınırın arasında görürüz:

\(x\) sıfıra yaklaşırken \(\cos x\) değeri \(1\)'e yaklaşır; üst sınır zaten \(1\)'dir. Sıkıştırma Teoremine göre aradaki \(\sin x/x\) de \(1\)'e yaklaşır. Soldan yaklaşırken de aynı \(1\) sonucunu buluruz.

Açı dereceyle ölçülseydi sonuç \(1\) değil \(\pi/180\) olurdu. Türev formüllerinin yalın biçimde ortaya çıkmasının nedeni, açıları radyan cinsinden ölçmemizdir.

Bu limit bir sonraki makalede:

sonucunun temelini oluşturacak.

Yakınlığı Kesinleştirmek: Epsilon ve Delta

Günlük limit hesaplarında çoğu zaman kurallar yeterlidir. “İstediğimiz kadar yakın” sözünü matematiksel olarak kesinleştirmek içinse girdi ve çıktı arasındaki uzaklıkları tanımlarız.

Bir hedef tahtası düşünelim. Siz okun merkeze en fazla \(1\) santimetre uzaklıkta olmasını istiyorsunuz. Ben de bunun için atış noktasını ne kadar daraltmam gerektiğini söylüyorum. Siz izin verilen hatayı küçülttükçe ben daha dar bir başlangıç aralığı seçiyorum.

Limitte çıktı için izin verilen küçük hatayı Yunan alfabesindeki \(\varepsilon\) (epsilon) harfiyle, girdinin hedefe ne kadar yaklaşması gerektiğini ise \(\delta\) (delta) harfiyle gösteririz.

Kesin tanımda \(\lim_{x\to c}f(x)=L\) demek, çıktı için seçilen her pozitif \(\varepsilon\) hata payına karşılık, girdide pozitif bir \(\delta\) yakınlığı bulabilmek demektir. Bu iki yakınlık arasında şu güvence bulunur:

Formülün sol tarafı “\(x\), \(c\)'ye \(\delta\)'dan daha yakın olsun ama tam olarak \(c\) olmasın” der. Sağ tarafı ise “o zaman \(f(x)\), \(L\)'ye \(\varepsilon\)'dan daha yakın olur” der. Ortadaki ok, soldaki koşul sağlanırsa sağdaki sonucun garanti edildiğini gösterir.

Bunu gündelik dille şöyle söyleyebiliriz:

Çıktının \(L\)'ye ne kadar yakın olmasını istersen iste, girdiyi \(c\)'ye yeterince yaklaştırarak bunu garanti edebilirim.

Dikey çizgiler uzaklığı gösterir. Örneğin \(|x-c|\), \(x\) ile \(c\) arasındaki mesafedir; hangi sayının sağda veya solda olduğu önemli değildir. Koşuldaki \(0<|x-c|\) bölümü \(x=c\) noktasını özellikle dışarıda bırakır. Limitin noktadaki değerden bağımsız olmasının kesin tanımdaki karşılığı budur.

Sayılardan Kurala: Basit Bir Epsilon-Delta Örneği

Şu limiti kesin tanımla doğrulayalım:

Önce somut bir istek düşünelim. Çıktının \(7\)'ye uzaklığı \(0.3\)'ten küçük olsun. \(3x+1\) ifadesinde girdideki hata üç kat büyüdüğü için, \(x\)'i \(2\)'ye \(0.1\)'den daha yakın tutmamız yeterlidir. Çünkü \(3\times0.1=0.3\)'tür.

Aynı düşünceyi yalnızca \(0.3\) için değil, istenebilecek her hata payı için yazabiliriz. Çıktı ile hedef değer arasındaki uzaklığı düzenleyelim:

Girdideki \(|x-2|\) uzaklığı çıktıda üç katına çıkıyor. Çıktı uzaklığını \(\varepsilon\)'dan küçük tutmak için:

Her iki tarafı \(3\)'e bölersek, girdide sağlamamız gereken yakınlığı buluruz:

koşulu yeterlidir. Çıktı için verilen hata payını üçe bölerek girdi aralığını seçeriz:

Bu seçimle \(0<|x-2|<\delta\) olduğunda:

olur. Girdideki uzaklık \(\varepsilon/3\)'ten küçükse çıktının uzaklığı \(\varepsilon\)'dan küçüktür. Bu seçim her pozitif hata payı için yapılabildiğinden limiti doğrulamış oluruz.

Her limit hesabında epsilon-delta kanıtı yazmayız. Kullandığımız limit kuralları, bu yakınlık güvencesine dayanır.

Limitten Anlık Değişime

Bir yapay zekâ modelindeki hata puanının tek bir ayara göre nasıl değiştiğini inceleyelim.

Bir modelin ayarlanabilen tek bir düğmesi olduğunu düşünelim. Bu düğmenin değerine \(w\) diyelim. Model yanlış sonuç ürettikçe bir hata puanı hesaplayalım ve bu puanı \(J(w)\) ile gösterelim. Amacımız hata puanını küçültmektir:

Bu örnekte en düşük hata \(w=3\) değerindedir. \(w=1\) noktasındayken düğmeyi küçük bir \(h\) miktarı kadar çevirelim. Hatanın değişimini \(h\)'ye böldüğümüzde ortalama değişim oranını buluruz:

olur. Değerleri yerine koyalım:

\(h\)'yi küçülttükçe karşılaştırdığımız iki nokta birbirine yaklaşır. Ortalama değişim oranı da \(w=1\) noktasındaki anlık değişime yaklaşır:

Sonucun \(-4\) çıkması bize yön bilgisi verir. \(w=1\) çevresinde düğmenin değerini biraz artırırsak hata azalır; çünkü değişim oranı negatiftir. Bir sonraki makalede bu limite türev diyecek ve bir fonksiyonun anlık değişim hızını sistematik biçimde hesaplayacağız.

Limit Sorularında Sık Yapılan Hatalar

• Limit ile fonksiyon değerini aynı sanmak: \(\lim_{x\to c}f(x)\), \(f(c)\)'den bağımsız olabilir. Biri çevredeki davranışı, diğeri tek bir noktayı anlatır.
• \(0/0\)'ı sonuç kabul etmek: Bu bir sonuç değil, ifadenin sadeleştirilmesi veya başka bir yöntemle incelenmesi gerektiğini gösteren belirsiz biçimdir.
• Yalnızca bir yönden yaklaşmak: İki yönlü limit için soldan ve sağdan limitler aynı olmalıdır.
• Sonsuzu sıradan bir sayı gibi kullanmak: Sonsuz limit, fonksiyon değerlerinin sınırsız büyümesini veya küçülmesini anlatır.
• Tabloyu kesin kanıt sanmak: Sonlu sayıda örnek güçlü bir tahmin verir; fakat aradaki bütün değerlerin davranışını tek başına kanıtlamaz.
• Payda sıfıra giderken bölüm kuralını kullanmak: Bölüm kuralı, paydanın limitinin sıfır olmadığı durumda geçerlidir.
• Asimptotların geçilemeyeceğini düşünmek: Özellikle yatay asimptot, grafiğin kesemeyeceği bir sınır değildir; sonsuzdaki davranışı açıklar.
• Bilgisayarda daha küçük \(h\)'yi daima daha iyi sanmak: Çok küçük adımlar, sonlu hassasiyet nedeniyle sayısal hatayı büyütebilir.

Hangi Durumda Hangi Yöntem?

Bir limit sorusuna yaklaşırken şu sırayı izlemek çoğu durumda yeterlidir:

1. Önce doğrudan yerine koymayı dene. Tanıdık ve sürekli bir fonksiyonda sonuç hemen bulunabilir.
2. \(0/0\) çıkarsa yapıyı incele. Çarpanlara ayırma, ortak payda, eşlenikle çarpma veya trigonometrik özdeşlik belirsizliği giderebilir.
3. Parçalı ifade veya işaret değişimi varsa yönleri ayır. Soldan ve sağdan limitleri ayrı hesapla.
4. Fonksiyon sınırsız büyüyorsa işareti belirle. \(+\infty\) ve \(-\infty\) davranışlarını karıştırma.
5. \(x\to\pm\infty\) ise baskın terimlere bak. Rasyonel fonksiyonlarda en yüksek dereceli terimler uzun dönem davranışını belirler.
6. Doğrudan hesap zor fakat sınırlar biliniyorsa sıkıştır. Alt ve üst fonksiyon aynı limite gidiyorsa ortadaki fonksiyon da o limite gider.
7. Sonucun kesinliğini sorguluyorsan tanıma dön. Epsilon-delta yaklaşımı, sezginin gerçekten garanti edilip edilmediğini gösterir.

Yöntemi seçerken girdinin hedefe yaklaşmasıyla çıktının ne yaptığını ve bunu hangi bilgiyle doğrulayabileceğimizi soralım.

Sonuç

Limit, girdinin bir değere yaklaşırken çıktının nereye yöneldiğini anlatır. Hedef noktada fonksiyon tanımsız olsa bile çevresindeki davranışı inceleyebiliriz.

Bir noktaya yaklaşmak ile o noktada olmak arasındaki farkı kurduk. Soldan ve sağdan limitlerin neden uzlaşması gerektiğini, bir limitin sıçrama, sınırsız büyüme veya salınım nedeniyle neden var olmayabileceğini inceledik. Limit kurallarını kullanarak doğrudan hesap yaptık; \(0/0\)'ın cevap değil belirsiz biçim olduğunu, çarpanlara ayırma ve eşlenikle çarpmanın bu belirsizliği nasıl açığa çıkardığını gördük.

Sürekliliği, grafikteki yolun kopmaması fikriyle tanıdık ve üç basit koşulla kesinleştirdik. Bir noktaya yaklaşırken değerlerin durmadan büyümesi ile girdinin kendisinin sonsuza gitmesini birbirinden ayırdık. Sıkıştırma Teoremiyle iki sınır arasında kalan bir fonksiyonun davranışını bulduk ve \(\sin x/x\) temel limitinin radyanla ilişkisini kurduk. Daha derine inmek isteyenler için epsilon-delta tanımıyla “yeterince yakın” sözünün nasıl kesin bir güvenceye dönüştüğünü gördük.

Artık Kalkülüs'ün temel sorusunu sormaya hazırız: İki nokta arasındaki ortalama değişim oranını, noktalar arasındaki uzaklığı sıfıra yaklaştırarak tek bir noktadaki anlık değişim oranına dönüştürebilir miyiz?

Bir sonraki Türev makalemizde bu anlık değişimi eğim, hız ve duyarlılık üzerinden inceleyeceğiz. Yapay zekâ modelinin hatasını azaltmak için ayarlarını hangi yönde değiştireceği sorusuna da döneceğiz.

Yazar: Levent KARAGÖL