Süreklilik: Limitten Düzgün Sürekliliğe Kapsamlı Rehber

Bir noktada sürekliliğin üç kontrolü

Bir $f$ fonksiyonunun $x=a$ noktasında sürekli olması için şu üç koşul birlikte sağlanmalıdır:

1. $f(a)$ tanımlı olmalıdır.
2. $\lim_{x\to a}f(x)$ mevcut olmalıdır.
3. $\lim_{x\to a}f(x)=f(a)$ olmalıdır.

Bu koşullardan biri eksikse fonksiyon $a$ noktasında sürekli değildir. Örneğin $f(x)=\frac{x^2-1}{x-1}$ ifadesi $x\neq 1$ için sadeleştirilerek $x+1$ biçiminde yazılabilir. Ancak ilk ifade $x=1$ için tanımsızdır. Bu nedenle $\lim_{x\to1}f(x)=2$ olsa bile, fonksiyonun verilen haliyle $x=1$ noktasında sürekliliğinden söz edilemez. Eğer ayrıca $f(1)=2$ tanımlanırsa, oluşan yeni fonksiyon $x=1$ noktasında sürekli hale gelir.

Sürekliliğin kısa gösterimi şöyledir:

$\lim_{x\to a}f(x)=f(a)$.

Bu eşitlik, ancak $f(a)$ tanımlıysa anlamlı bir süreklilik kontrolü sağlar. Bir fonksiyon tanım kümesinin içindeki noktaların her birinde sürekli ise o tanım kümesinde süreklidir. Kapalı bir aralıkta ise uç noktalar için iki taraflı limit yerine uygun tek taraflı limitler kullanılır: $[a,b]$ aralığında $a$ noktasında sağdan, $b$ noktasında soldan süreklilik aranır.

Parçalı fonksiyonlarda birleşme noktasını test etme

Parçalı fonksiyonlarda her formülün kendi tanım aralığında sürekli olması, parçaların birleştiği noktada sürekliliği otomatik olarak göstermez. Birleşme noktası $x=a$ ise önce soldan ve sağdan limitler ayrı ayrı hesaplanır:

$\lim_{x\to a^-}f(x)$ ve $\lim_{x\to a^+}f(x)$.

Bu iki değer eşit değilse iki taraflı limit yoktur ve fonksiyon süreksizdir. Eşitse ortak limit $L$ bulunur; ardından $f(a)=L$ koşulu kontrol edilir. Böylece parçalı fonksiyonlarda üç aşamalı pratik yöntem ortaya çıkar: soldan limit, sağdan limit, nokta değeri.

Bir parametre sorusunda amaç genellikle parçaların birleştiği noktada sürekliliği sağlayan parametreyi bulmaktır. Örneğin $f(x)=\begin{cases}x+1, & x<2\\ kx-1, & x\ge 2\end{cases}$ fonksiyonunun $x=2$ noktasında sürekli olması için soldan limit $3$ olur. Sağdaki parça ve nokta değeri $2k-1$ olduğundan $2k-1=3$ yazılır ve $k=2$ bulunur. Burada yalnızca formüllerin değerlerini eşitlemek yeterli görünse de, eşitlenen değerlerin gerçekten soldan limit, sağdan limit ve $f(2)$ olduğunu açıkça belirtmek çözümün mantığını korur.

Süreksizlik türleri de bu kontrolle ayırt edilir. Limit sonlu olduğu halde $f(a)$ tanımsızsa veya farklı bir değere eşitse delik süreksizlik; soldan ve sağdan limitler farklıysa sıçrama süreksizliği söz konusudur. Sonsuz davranışta ise limit sonlu bir sayı değildir; örneğin bir paydanın sıfıra yaklaşması dikey asimptot davranışı oluşturabilir.

Sürekli fonksiyonları işlem ve bileşke yoluyla tanıma

Süreklilik kontrolünü her seferinde epsilon-delta tanımıyla başlatmak zorunlu değildir. Bilinen sürekli fonksiyonlar ve işlem kuralları kullanılarak daha hızlı bir yol izlenebilir. Polinomlar tüm reel sayılarda süreklidir. Rasyonel fonksiyonlar, paydanın sıfır olmadığı tanım kümesinde süreklidir. Karekök gibi fonksiyonlarda ise hem formülün tanım koşulu hem de içteki fonksiyonun sürekliliği dikkate alınır.

$f$ ve $g$ fonksiyonları $a$ noktasında sürekli ise $f+g$, $f-g$ ve $fg$ de $a$ noktasında süreklidir. Ayrıca $g(a)\neq0$ koşuluyla $\frac{f}{g}$ süreklidir. Eğer $g$ fonksiyonu $a$ noktasında sürekli ve $f$ fonksiyonu $g(a)$ noktasında sürekli ise bileşke $f\circ g$ de $a$ noktasında süreklidir.

Bu kuralların sınırı önemlidir. $\frac{1}{x-2}$ ifadesi bir rasyonel fonksiyon olsa da $x=2$ noktasında tanımsızdır; dolayısıyla tüm reel sayılarda değil, $\mathbb{R}\setminus\{2\}$ üzerinde süreklidir. Benzer biçimde $\sqrt{x-3}$ yalnızca $x\ge3$ için reel değerli olduğundan, süreklilik değerlendirmesi bu tanım kümesi içinde yapılır.

Süreklilik ile türev arasındaki yönlü ilişki de burada dikkatle kurulmalıdır: Bir fonksiyon $a$ noktasında türevlenebilirse $a$ noktasında süreklidir. Ancak sürekli bir fonksiyonun türevi bulunmayabilir. $f(x)=|x|$ fonksiyonu $x=0$ noktasında süreklidir; buna karşın soldan türevi $-1$, sağdan türevi $1$ olduğu için $0$ noktasında türevlenebilir değildir.

Kapalı aralıkta Ara Değer ve Ekstremum sonuçları

Ara Değer Teoremi, $f$ fonksiyonunun $[a,b]$ kapalı aralığında sürekli olması koşuluyla kullanılır. Eğer $f(a)$ ile $f(b)$ arasında bir $N$ değeri varsa, $[a,b]$ içinde en az bir $c$ noktası için $f(c)=N$ olur. Özellikle $f(a)$ ve $f(b)$ zıt işaretliyse, $f(c)=0$ denklemini sağlayan en az bir noktanın varlığı gösterilebilir.

Bu teorem bir kökün yerini doğrudan vermez; yalnızca kökün varlığını garanti eder. Örneğin $f(x)=x^3-x-1$ için $f(1)=-1$ ve $f(2)=5$ bulunur. Fonksiyon polinom olduğu için $[1,2]$ aralığında süreklidir. $0$, $-1$ ile $5$ arasında olduğundan Ara Değer Teoremi en az bir $c\in(1,2)$ için $f(c)=0$ olduğunu söyler. Sayısal kök değeri ayrıca yaklaşık yöntemlerle aranabilir; teoremin sonucu, yaklaşık değerin kendisi değildir.

Ekstremum Teoremi ise kapalı ve sınırlı bir aralıkta sürekli olan bir fonksiyonun maksimum ve minimum değerlerini bu aralık üzerinde aldığını belirtir. Koşulların ikisi de önemlidir: Açık aralıkta veya sınırsız bir aralıkta fonksiyon sınırlı olsa bile maksimum ya da minimum değerini almayabilir. Örneğin $f(x)=x$ fonksiyonu $(0,1)$ aralığında $0$ ile $1$ arasında değerler alır; fakat $0$ ve $1$ aralığa dahil olmadığı için minimum ve maksimum değerlerini bu aralıkta almaz.

Çözümlü örnekler: parametre ve süreksizlik analizi

Örnek 1 — Parametreyi süreklilikten bulma

Verilenler: $f(x)=\begin{cases}x^2+k, & x<1\\ 3x-1, & x\ge1\end{cases}$. Fonksiyonun $x=1$ noktasında sürekli olması isteniyor.

Çözüm adımları:

1. Soldan limit alınır: $\lim_{x\to1^-}f(x)=1^2+k=1+k$.
2. Sağdan limit ve nokta değeri, ikinci parçadan gelir: $\lim_{x\to1^+}f(x)=3(1)-1=2$ ve $f(1)=2$.
3. Süreklilik için soldan limit sağdaki değere eşitlenir: $1+k=2$.
4. Buradan $k=1$ bulunur.

Sonuç: $k=1$ olduğunda soldan limit, sağdan limit ve $f(1)$ aynı değer olan $2$'ye eşittir; dolayısıyla fonksiyon $x=1$ noktasında süreklidir.

Örnek 2 — Limit var, fakat süreklilik yok

Verilenler: $f(x)=\begin{cases}\frac{x^2-4}{x-2}, & x\neq2\\ 5, & x=2\end{cases}$.

Çözüm adımları:

1. $x\neq2$ için pay çarpanlara ayrılır: $x^2-4=(x-2)(x+2)$.
2. Bu nedenle $\frac{x^2-4}{x-2}=x+2$ ve $\lim_{x\to2}f(x)=4$ olur.
3. Noktadaki tanımlı değer ayrıca okunur: $f(2)=5$.
4. Limit $4$, fonksiyon değeri $5$ olduğundan $\lim_{x\to2}f(x)\neq f(2)$.

Sonuç: Limit mevcut olmasına rağmen fonksiyon $x=2$ noktasında sürekli değildir. Noktadaki değer $5$ yerine $4$ olarak tanımlansaydı, bu delik süreksizlik giderilebilirdi.

Sık yapılan hatalar ve karıştırılan kavramlar

• Limitin varlığını süreklilik sanmak: Limitin bulunması tek başına yeterli değildir; $f(a)$ ile karşılaştırma yapılmalıdır.

• Tanım kümesini göz ardı etmek: Bir ifade sadeleştirildiğinde başlangıçtaki tanımsız noktalar otomatik olarak tanım kümesine eklenmez. Sadeleştirme limit hesabını kolaylaştırabilir, fakat fonksiyonun verilen tanımını değiştirmez.

• Parçalı fonksiyonda yalnızca bir tarafı kontrol etmek: Birleşme noktasında soldan ve sağdan limitler ayrı ayrı incelenmelidir. Uç noktalarda ise aralığın içinden gelen uygun tek taraflı limit kullanılır.

• Süreklilik ile türevlenebilirliği eş anlamlı sanmak: Türevlenebilirlik sürekliliği gerektirir; süreklilik ise türevlenebilirlik için yeterli değildir. $|x|$ örneği bu ayrımı açıkça gösterir.

• Ara Değer Teoremi ile kökün tek olduğunu sanmak: Teorem en az bir çözümün varlığını gösterir. Teklik için ayrıca fonksiyonun davranışı, örneğin monotonluğu, hakkında ek bilgi gerekir.

• Düzgün sürekliliği noktasal süreklilikle karıştırmak: Noktasal süreklilikte seçilen $\delta$, hem $\varepsilon$'a hem de incelenen noktaya bağlı olabilir. Düzgün süreklilikte aynı $\delta$, aralıktaki bütün noktalar için çalışır. Kapalı ve sınırlı bir aralıkta sürekli olan fonksiyonların düzgün sürekli olması Heine-Cantor Teoremi ile garanti edilir; bu sonuç açık veya sınırsız aralıklara aynı biçimde uygulanmaz.

• Çok değişkenli durumda yalnızca eksenler boyunca kontrol yapmak: $f(x,y)$ için süreklilik, $(x,y)$ noktasının her yönden yaklaşımını kapsar. Eksenler üzerindeki birkaç yolun incelenmesi yeterli bir genel kanıt değildir.