If you're seeing this message, it means we're having trouble loading external resources on our website.

Bağlandığınız bilgisayar bir web filtresi kullanıyorsa, *.kastatic.org ve *.kasandbox.org adreslerinin engellerini kaldırmayı unutmayın.

Ana içerik

Maksimumlar, minimumlar, ve eyer noktaları

Çok değişkenli fonksiyonlarda yerel maksimum ve yerel minimumun nasıl gözüktüğünü öğrenin.

Neye ulaşıyoruz

  • Sezgisel olarak, grafikler cinsinden düşündüğünüzde, çok değişkenli fonksiyonların yerel maksimumları -tek değişkenli fonksiyonlardaki gibi- tepelerdir.
  • Çok değişkenli bir fonksiyonun bir maksimum noktasındaki gradyanı sıfır vektörü olacaktır; bu, grafiğin düz bir teğet düzlemi olmasıyla eşleşir.
  • Biçimsel olarak konuşursak, yerel bir maksimum noktası girdi uzayında bu noktanın yakınındaki diğer tüm girdilerin çok değişkenli f fonksiyonuna koyulduğunda daha küçük değerler ürettiği bir noktadır.

Daha yüksek boyutlarda optimize etme

Analizin en önemli uygulamalarından biri, bir fonksiyonun maksimumunu veya minimumunu koklama yeteneğidir.
  • Belki kendinizi bir şirketi yönetirken bulursunuz, ve çalışan maaşları, hammadde maliyetleri, vb. gibi birkaç sayıda parametreye göre kaç para kazanmayı beklediğinizi modelleyen bir fonksiyon buldunuz, ve gelirinizi maksimize eden doğru kaynak birleşimini bulmak istiyorsunuz.
  • Belki bir araba tasarlıyorsunuz, daha aerodinamik yapmayı umuyorsunuz, ve toplam rüzgar direncini arabanızın şeklini tanımlayan birçok parametrenin fonksiyonu olarak modelleyen bir fonksiyon buldunuz, ve toplam direnci minimize eden şekli bulmak istiyorsunuz.
  • Makineyle öğrenme ve yapay zekada, bir bilgisayarın bir şeyi "öğrenme" yolu, yaygın olarak programcının belirlediği gibi "maliyet fonksiyonu"nu minimize etmektir.

Görsel olarak yerel maksimumlar ve minimumlar

Grafiğini çizebileceğimiz çok değişkenli fonksiyonları düşünmekle başlayalım: İki boyutlu girdisi ve skaler çıktısı olanlar, örneğin şunun gibi:
f, left parenthesis, x, comma, y, right parenthesis, equals, cosine, left parenthesis, x, right parenthesis, cosine, left parenthesis, y, right parenthesis, e, start superscript, minus, x, squared, minus, y, squared, end superscript
Bu fonksiyonu seçmemin nedeni, pek çok güzel tepeye ve zirveye sahip olması. Bu zirvelerden her birisine yerel maksimum adını veriyoruz, çoğulu ise yerel maksimumlar.
Zirveler
  • Girdi uzayında (bu durumda x, y düzlemi demektir) bir zirvenin altındaki left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, right parenthesis noktasına yerel bir maksimum noktası denir.
  • Bir fonksiyonun yerel bir maksimum noktasındaki çıktısı, ki bunu bu noktanın üstünde grafiğin yüksekliği olarak görselleştirebilirsiniz, yerel maksimumun kendisidir.
"Yerel" sözcüğü bunları fonksiyonun ulaşabileceği tek en büyük değer olan "mutlak maksimum"undan ayırt etmek için kullanılır. Eğer bir dağın zirvesindeyseniz bu bir yerel maksimumdur; ancak bahsettiğimiz Everest dağı ise, bu bir mutlak maksimumdur.
Yerel maksimum noktasının biçimsel tanımını size bu makalenin sonunda vereceğim. Sezgisel olarak, bu, girdi uzayında herhangi bir yönde küçük bir adım atmanın fonksiyonun değerini sadece azalttığı noktadır.
Benzer şekilde, grafiğin bir noktada ters bir zirvesi varsa, fonksiyonun left parenthesis, x, comma, y, right parenthesis değerinde x, y düzlemindeki bu noktanın üstünde/altında yerel bir minimum noktası olduğunu söyleriz ve fonksiyonun bu noktadaki değeri yerel bir minimumdur. Sezgisel olarak, bunlar herhangi bir yönde adım atmanın sadece fonksiyonun değerini artırabileceği noktalardır.
Vadiler

Tek değişkende stabil noktalar (tekrar)

Yerel ekstremumlardaki teğet doğruların eğimi 0'dır
Yerel ekstremumlardaki teğet doğruların eğimi 0'dır
Tek değişkenli analizden yerel maksimum/minimum fikirlerini hatırlayabilirsiniz, burada bu türden birçok problem görüyordunuz:
Kavram kontrolü: Hangi x değeri için f, left parenthesis, x, right parenthesis, equals, minus, left parenthesis, x, minus, 2, right parenthesis, squared, plus, 5 fonksiyonu en büyüktür? Maksimum değer nedir?
x, equals
f'nin maksimum değeri,

Genel olarak, bir f fonksiyonunun yerel maksimumları ve minimumları f, prime, left parenthesis, a, right parenthesis, equals, 0 olan yerdeki a girdi değerlerine bakılarak belirlenir. Bunun nedeni, fonksiyon sürekli ve türevli olduğu sürece, zirvelerin ve vadilerin düzleşeceğidir; çünkü yerel bir maksimum veya minimumdaki teğet doğrunun eğimi 0'dır.
Böyle bir a noktasının çeşitli isimleri vardır:
  • Stabil nokta
  • Kritik nokta
  • Sıfır türevli nokta
Bunların hepsinin anlamı aynıdır: f, prime, left parenthesis, a, right parenthesis, equals, 0
f'nin sürekli ve türevli olma zorunluluğu önemlidir, ama sürekli olmasa da, yalnız bir süreksizlik noktası da yerel maksimum olabilir:
Ve f siürekli ama türevsizse, yerel bir maksimum şöyle görünebilir:
İki durumda da, bu maksimum noktalardaki teğet doğrulardan bahsetmek, aslında mantıklı değildir, öyle değil mi?
Ancak, f sürekli ve türevli olduğunda bile, bu türevin 0 olması için yeterli değildir, çünkü bu dönüm noktalarında da ortaya çıkar:
Dönüm noktasındaki teğet doğru
Bu, stabil noktalar bulmanın maksimumu aramaya iyi bir başlangıç olduğunu anlamına gelir, ama işin sonu değildir.

İki değişkende kararlı noktalar

Çok değişkenli fonksiyonlar için hikaye çok benzerlik gösterir. Fonksiyon sürekli ve türevli olduğunda, yerel bir maksimum veya minimum noktada tüm kısmi türevler 0 olacaktır.
fx(x0,y0,)x’e go¨re kısmi=0fy(x0,y0,)y’ye go¨re kısmi=0\begin{aligned} \quad \underbrace{ f_\blueE{x}(x_0, y_0, \dots) }_{\text{$\blueE{x}$'e göre kısmi}} &= 0 \\ \underbrace{ f_\redE{y}(x_0, y_0, \dots) }_{\text{$\redE{y}$'ye göre kısmi}} &= 0 \\ &\vdots \end{aligned}
Bir fonksiyonun grafiğine göre, bunun anlamı, teğet düzleminin yerel maksimum veya minimumda düz olacağıdır. Örneğin, burada birçok yerel ekstremumu ve her birinde düz teğet düzlemi olan bir grafik bulabilirsiniz:
Khan Akademi video wrapper
Bir noktada tüm kısmi türevlerin sıfır olduğunu söylemek, o noktadaki gradyanın sıfır vektörü olduğunu söylemekle aynıdır:
f(x0,y0,)=[fx(x0,y0,)fy(x0,y0,)]=[00]\begin{aligned} \quad \nabla f(x_0, y_0, \dots) &= \left[ \begin{array}{c} f_\blueE{x}(x_0, y_0, \dots) \\ f_\redE{y}(x_0, y_0, \dots) \\ \vdots \end{array} \right] = \left[ \begin{array}{c} 0 \\ 0 \\ \vdots \end{array} \right] \end{aligned}
İnsanlar genelde bunu daha toplu olarak şöyle yazar:
f(x0)=0\begin{aligned} \quad \nabla f(\textbf{x}_0) = \textbf{0} \end{aligned}
Kural, kalın değişkenlerin vektörleri göstermesidir. Yani start bold text, x, end bold text, start subscript, 0, end subscript, left parenthesis, x, start subscript, 0, end subscript, comma, y, start subscript, 0, end subscript, comma, dots, right parenthesis girdi değerlerinin bir vektörüdür ve start bold text, 0, end bold text tamamen sıfırlı vektördür.
Böyle bir start bold text, x, end bold text, start subscript, 0, end subscript girdisine tek değişkenli durumda olduğu gibi, aynı çeşitli isimler verilir:
  • Stabil nokta
  • Durağan nokta
  • Kritik nokta
"Stabil" ve "durağan" sözcükleriyle ilgili bu düşünce, bu girdinin yanında biraz hareket dersek, fonksiyonun değerinin önemli derecede değişmeyeceğidir. "Kritik" sözcüğü bana biraz fazla dramatik geliyor, sanki fonksiyon bu noktaların yakınında ölüyormuş gibi.
Tek değişkenli fonksiyonlarda olduğu gibi, bir noktanın yerel maksimum veya minimum olduğunu garanti etmek için eğimin sıfır olması yeterli değildir. Birincisi, hala dönüm noktasına benzer bir şeyiniz olabilir:
3d dönüm noktası
Ama, çok değişkenli fonksiyonlara özgü tamamen yeni bir olasılık da vardır.

Eyer noktaları

f, left parenthesis, x, comma, y, right parenthesis, equals, x, squared, minus, y, squared fonksiyonunu düşünün. left parenthesis, 0, comma, 0, right parenthesis noktası etrafında neler olduğuna ilişkin bazı gözlemler yapalım.
  • Bu noktada kısmi türevlerin ikisi de 0'dır:
x(x2y2)=2x2(0)=0y(x2y2)=2y2(0)=0\begin{aligned} \dfrac{\partial}{\partial \blueE{x}} (\blueE{x}^2 - y^2) &= 2x \to 2(\blueE{0}) = 0\\ \dfrac{\partial}{\partial \redE{y}} (x^2 - \redE{y}^2) &= -2y \to -2(\redE{0}) = 0\\ \end{aligned}
Bu nedenle, left parenthesis, start color #0c7f99, 0, end color #0c7f99, comma, start color #bc2612, 0, end color #bc2612, right parenthesis bir stabil noktadır.
  • Bu nokta etrafında x yönünde hareket ettiğinizde, fonksiyon f, left parenthesis, x, comma, 0, right parenthesis, equals, x, squared, minus, 0, squared, equals, x, squared gibi gözükür. Tek değişkenli f, left parenthesis, x, right parenthesis, equals, x, squared fonksiyonunun x, equals, 0'da bir yerel minimumu vardır.
  • Bu nokta etrafında y yönünde hareket ettiğinizde, fonksiyon f, left parenthesis, 0, comma, y, right parenthesis, equals, 0, squared, minus, y, squared, equals, minus, y, squared gibi gözükür. Tek değişkenli f, left parenthesis, y, right parenthesis, equals, minus, y, squared fonksiyonunun x, equals, 0'da bir yerel maksimumu vardır.
Kısacası, x ve y yönleri bu girdinin maksimum veya minimum nokta olması konusunda fikir ayrılığına düşerler. Böylece, left parenthesis, 0, comma, 0, right parenthesis bir stabil nokta olsa ve dönüm noktası olmasa da, yerel bir maksimum veya yerel bir minimum olamaz!
Burada grafiğin uzayda döndüğü bir video bulabilirsiniz:
Khan Akademi video wrapper
left parenthesis, 0, comma, 0, comma, 0, right parenthesis etrafındali bölge gerçekten bir atın eyerinin şekline benzemiyor mu?
Gerçek eyer.
Matematikçiler de öyle düşünmüştü ve bir şey için iyi bir isme karar vermekte nadir anlardan birini yaşadılar: Eyer noktaları. Tanıma göre, bunlar fonksiyonun bir yönde yerel maksimumu, ama başka bir yönde yerel minimumu olduğu noktalardır.

Maksimumluk/minimumluğu test etme

"Tamam,"
dediğinizi duyuyorum,
"buna göre eğimin 0 olması yeterli değildir, çünkü dönüm noktası veya eyer noktası olabilir. Ancak, bir stabil noktanın yerel bir maksimum mu yoksa minimum mu olduğunu nasıl anlayabiliriz?"
Sorduğunuza sevindim! Bu ikinci kısmi türev testiyle ilgili sonraki makalenin konusudur. Şimdilik, yerel maksimumun biçimsel bir tanımıyla bitirelim.

Biçimsel tanım

Sanırım bunu daha önce söyledim, ancak biçimsel tanımları öğrenmenin nedeni, sezgisel matematiksel fikirlerin matematiğin biçimsel diliyle nasıl kesin olarak yakalandığını görmektir. Şeffaf düşünmek için iyi bir yöntemdir, ve sezginin gerçekten farklı olduğu durumları anlamaya da yardımcı olabilir.
Bir yerel maksimumu tanımlarken, girdimiz için vektör notasyonu kullanabilir, bunu start bold text, x, end bold text olarak yazabiliriz.
Yerel maksimumun biçimsel tanımı: Bir skaler değerli f fonksiyonunun start bold text, x, end bold text, start subscript, 0, end subscript'da yerel maksimumu olması için, aşağıdaki ifadeyi doğru kılan, bir r, is greater than, 0 pozitif sayısı (bunu yarıçap olarak düşünebiliriz) olmalıdır:
f(x)f(x0)for all x such that xx0<r\begin{aligned} \quad \large f(\textbf{x}) \le f(\textbf{x}_0) \quad \text{for all $\textbf{x}$ such that $||\textbf{x}-\textbf{x}_0|| < r$} \end{aligned}
Bu biraz fazla gibi görünüyor, onun için ayıralım:
"vertical bar, vertical bar, start bold text, x, end bold text, minus, start bold text, x, end bold text, start subscript, 0, end subscript, vertical bar, vertical bar, is less than, r" demek, start bold text, x, end bold text değişkeninin maksimum nokta start bold text, x, end bold text, start subscript, 0, end subscript'dan r uzaklıkta olduğu anlamına gelmektedir. start bold text, x, end bold text iki boyutlu olduğunda, bu start bold text, x, end bold text'in merkezi start bold text, x, end bold text, start subscript, 0, end subscript noktasında olan r yarıçaplı merkezin içinde olduğunu söylemekle aynıdır.
vertical bar, vertical bar, start bold text, x, end bold text, minus, start bold text, x, end bold text, start subscript, 0, end subscript, vertical bar, vertical bar, is less than, r açıklayan şema
Daha genel olarak, eğer start bold text, x, end bold text n boyutluysa, vertical bar, vertical bar, start bold text, x, end bold text, minus, start bold text, x, end bold text, start subscript, 0, end subscript, vertical bar, vertical bar, is less than, r olan tüm start bold text, x, end bold text, yarıçapı r ve merkezi start bold text, x, end bold text, start subscript, 0, end subscript olan n boyutlu bir top oluşturur.
3d top
Sonra bu tanımı matematik dilinden Türkçe'ye daha çok benzeyen bir şeye şöyle çevirebiliriz:
  • Girdi uzayında start bold text, x, end bold text, start subscript, 0, end subscript noktası etrafında küçük bir (top-şeklinde) bölgedeki noktalar için f değerleri en yüksek start bold text, x, end bold text, start subscript, 0, end subscript'da elde ediliyorsa, start bold text, x, end bold text, start subscript, 0, end subscript f'nin bir maksimum noktasıdır.
Anlayışınızı sınayın: Bir yerel minimumun biçimsel tanımını yazın, ve yazdıkça, her bir bileşenin anlamını düşünün. (Üstteki tanımdan sözcükleri kopyalama dürtüsüne karşı koyun.)

Özet

  • Sezgisel olarak, grafikler cinsinden düşündüğünüzde, çok değişkenli fonksiyonların yerel maksimumları -tek değişkenli fonksiyonlardaki gibi- tepelerdir.
  • Çok değişkenli bir fonksiyonun bir maksimum noktasındaki gradyanı sıfır vektörü olacaktır; bu, grafiğin düz bir teğet düzlemi olmasıyla eşleşir.
  • Biçimsel olarak konuşursak, yerel bir maksimum noktası girdi uzayında bu noktanın yakınındaki diğer tüm girdilerin çok değişkenli f fonksiyonuna koyulduğunda daha küçük değerler ürettiği bir noktadır.

Tartışmaya katılmak ister misiniz?

Henüz gönderi yok.
İngilizce biliyor musunuz? Khan Academy'nin İngilizce sitesinde neler olduğunu görmek için buraya tıklayın.