Gerçek Sayılarda Tanımlı Karekök Fonksiyonlar Ve Nitel Özellikleri Ders Notu

Gerçek sayılarda tanımlı karekök fonksiyonlar, matematiksel ifadelerin belirli koşullar altında tanımlı olmasını sağlayan önemli bir konudur. Bu fonksiyonların tanım kümesini ve bazı nitel özelliklerini anlamak, ileri düzey matematik konuları için temel oluşturur.

Karekök Fonksiyon Nedir? 🧐

Genel olarak, bir karekök fonksiyonu \(f(x) = \sqrt[n]{g(x)}\) şeklinde ifade edilir.

• Burada \(n\), kök derecesini (indeksini) gösteren bir pozitif tam sayıdır.
• \(g(x)\) ise kök içindeki ifadeyi (radikand) temsil eden bir fonksiyondur.

Özel olarak, kök derecesi belirtilmediğinde bu, karekök anlamına gelir ve \(n=2\) olarak kabul edilir. Yani \( \sqrt{g(x)} \) ifadesi \( \sqrt[2]{g(x)} \) demektir.

Gerçek Sayılarda Tanımlılık Şartları 🔑

Bir karekök fonksiyonunun gerçek sayılarda tanımlı olabilmesi için kök derecesi \(n\) tek veya çift olmasına göre farklı koşullar aranır.

Tek Dereceli Karekök Fonksiyonlar (\(n\) Tek Sayı İken)

Eğer \(n\) pozitif bir tek sayı ise (\(n \in \{1, 3, 5, \dots\}\)), \(f(x) = \sqrt[n]{g(x)}\) fonksiyonu, \(g(x)\) ifadesinin tanımlı olduğu her gerçek sayı değeri için tanımlıdır. Kök içindeki ifadenin işaretine dair bir kısıtlama yoktur.

Örnek: \(f(x) = \sqrt[3]{x-5}\) fonksiyonunun tanım kümesi nedir?

• Kök derecesi \(n=3\) tek sayı olduğundan, kök içindeki \(x-5\) ifadesi her gerçek sayı değeri alabilir.
• Bu durumda \(f(x)\) fonksiyonunun tanım kümesi tüm gerçek sayılar kümesi olan \(\mathbb{R}\)'dir.

Çift Dereceli Karekök Fonksiyonlar (\(n\) Çift Sayı İken)

Eğer \(n\) pozitif bir çift sayı ise (\(n \in \{2, 4, 6, \dots\}\)), \(f(x) = \sqrt[n]{g(x)}\) fonksiyonunun gerçek sayılarda tanımlı olabilmesi için kök içindeki ifade \(g(x)\) sıfırdan büyük veya sıfıra eşit olmalıdır. Yani, \(g(x) \ge 0\) şartı sağlanmalıdır.

Neden? Gerçek sayılar kümesinde, çift dereceli bir kökün içine negatif bir sayı yazılamaz. Örneğin, \( \sqrt{-4} \) bir gerçek sayı değildir.

Örnek: \(f(x) = \sqrt{x-3}\) fonksiyonunun tanım kümesi nedir?

• Kök derecesi \(n=2\) çift sayı olduğundan, kök içindeki ifade sıfırdan büyük veya eşit olmalıdır:
• \(x-3 \ge 0\)
• \(x \ge 3\)
• Bu durumda \(f(x)\) fonksiyonunun tanım kümesi \( [3, \infty) \) aralığıdır.

Tanım Kümesi Belirleme Örnekleri 📝

Aşağıdaki fonksiyonların gerçek sayılarda tanım kümelerini belirleyelim:

Örnek 1: \(f(x) = \sqrt{2x+6}\)

• Kök derecesi çift (2) olduğundan, kök içi \( \ge 0 \) olmalıdır.
• \(2x+6 \ge 0\)
• \(2x \ge -6\)
• \(x \ge -3\)
• Tanım kümesi: \( [-3, \infty) \)

Örnek 2: \(f(x) = \sqrt[4]{x^2-9}\)

• Kök derecesi çift (4) olduğundan, kök içi \( \ge 0 \) olmalıdır.
• \(x^2-9 \ge 0\)
• \((x-3)(x+3) \ge 0\)
• Bu eşitsizliği çözmek için işaret tablosu oluşturulur:

  x	\(-\infty\)	-3	3	\(+\infty\)
  \(x+3\)	-	0	+	+
  \(x-3\)	-	-	0	+
  \((x-3)(x+3)\)	+	0	-	0	+

• Eşitsizliğin \( \ge 0 \) olduğu aralıklar: \( (-\infty, -3] \cup [3, \infty) \)
• Tanım kümesi: \( (-\infty, -3] \cup [3, \infty) \)

Örnek 3: \(f(x) = \frac{1}{\sqrt{x-4}}\)

• Paydada karekök ifadesi olduğundan iki şart vardır:
  1. Kök içi \( \ge 0 \) olmalıdır: \(x-4 \ge 0 \implies x \ge 4\).
  2. Payda sıfır olamaz: \( \sqrt{x-4} \ne 0 \implies x-4 \ne 0 \implies x \ne 4\).
• Bu iki şartı birleştirdiğimizde \(x > 4\) olmalıdır.
• Tanım kümesi: \( (4, \infty) \)

Örnek 4: \(f(x) = \sqrt{x-1} + \sqrt{5-x}\)

• Bu fonksiyon iki ayrı karekök ifadesinin toplamından oluştuğu için, her iki ifadenin de ayrı ayrı tanımlı olması gerekir.
• Birinci ifade için: \(x-1 \ge 0 \implies x \ge 1\). Bu aralık \( [1, \infty) \).
• İkinci ifade için: \(5-x \ge 0 \implies 5 \ge x \implies x \le 5\). Bu aralık \( (-\infty, 5] \).
• Fonksiyonun tanımlı olabilmesi için her iki şartın da aynı anda sağlanması gerekir. Bu da iki aralığın kesişim kümesidir: \( [1, \infty) \cap (-\infty, 5] = [1, 5] \).
• Tanım kümesi: \( [1, 5] \)

Karekök Fonksiyonların Nitel Özellikleri ✨

Görüntü Kümesi (Değer Kümesi)

Eğer \(f(x) = \sqrt[n]{g(x)}\) fonksiyonunda \(n\) çift sayı ise, fonksiyonun görüntü kümesi (çıkış değerleri) negatif olmayan gerçek sayılardan oluşur. Yani \(f(x) \ge 0\).

• Örnek: \(f(x) = \sqrt{x}\) fonksiyonu için tanım kümesi \( [0, \infty) \) iken, görüntü kümesi de \( [0, \infty) \) olur. Çünkü bir sayının karekökü asla negatif olamaz.
• Tek dereceli karekök fonksiyonlarında ise görüntü kümesi genellikle tüm gerçek sayılar kümesidir (\(\mathbb{R}\)). Örneğin, \(f(x) = \sqrt[3]{x}\) fonksiyonunun görüntü kümesi \(\mathbb{R}\)'dir.

Monotonluk (Artanlık/Azalanlık)

Genel olarak, \(f(x) = \sqrt[n]{x}\) şeklinde tanımlı bir karekök fonksiyonu, tanım kümesi üzerinde artandır. Bu durum, \(x\) değeri arttıkça \(f(x)\) değerinin de arttığı anlamına gelir.

• Örnek: \(f(x) = \sqrt{x}\) fonksiyonu \( [0, \infty) \) aralığında artandır. Yani, \(x_1 < x_2\) olmak üzere \( \sqrt{x_1} < \sqrt{x_2} \) eşitsizliği geçerlidir.

Minimum/Maksimum Değerler

Çift dereceli karekök fonksiyonları, genellikle kök içi ifadesinin minimum değerini aldığı noktada fonksiyonun minimum değerini alır. Kök içi ifade \(g(x)\)'in en küçük değeri sıfır olduğunda, fonksiyonun değeri de \( \sqrt[n]{0} = 0 \) olur.

• Örnek: \(f(x) = \sqrt{x-a}\) fonksiyonunun minimum değeri \(0\)'dır ve bu değer \(x=a\) noktasında elde edilir.
• Daha karmaşık fonksiyonlarda, örneğin \(f(x) = \sqrt{x^2-4x+7}\) gibi, kök içindeki parabolün tepe noktası ve tanım kümesi incelenerek minimum değer bulunabilir. Burada \(x^2-4x+7 = (x-2)^2+3\). Kök içi ifadenin minimum değeri \(3\) olduğundan, fonksiyonun minimum değeri \( \sqrt{3} \) olur.