Sayı Kümeleri ve İşlem Özellikleri
1.3. Sayı Kümeleri ve İşlem Özellikleri
🎯Kazanımlar
Bu bölümü tamamladığında;
- Sayı kümelerinin ($\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{Q}', \mathbb{R}$) genişleme ihtiyacını ve aralarındaki alt küme hiyerarşisini açıklayabileceksin,
- Gerçek sayılarda sıralama bağıntısının özelliklerini (yansıma, ters bakışım, geçişme ve eşitsizlik işlem yasaları) cebirsel ispatlarda kullanabileceksin,
- Sayı kümelerinde arada olma (yoğunluk) özelliğini analiz ederek iki sayı arasına istenen sayıda rasyonel veya irrasyonel sayı yerleştirebileceksin,
- Sayı kümelerinin ve özel tanımlı alt kümelerin dört işleme göre kapalılık özelliğini sorgulayabilecek, geçerli olmayan durumları karşıt örnek (aksine örnek) sunarak çürütebileceksin.
🧩 Başlamadan Önce: Temel dört işlem kurallarını, tam kare sayıları, köklü ifadelerin yaklaşık değer mantığını ve küme alt küme ($\subseteq$) sembollerini hatırlamalısın.
📖Konu Anlatımı
Sayı Kümelerinin Genişleme Süreci ve Kapsama İlişkisi
Bir dijital sayaçta adımlarını sayarken yalnızca $0, 1, 2, 3 \dots$ gibi doğal sayılar yeterlidir. Ancak deniz seviyesinin $15\text{ metre}$ altındaki bir dalgıcın konumunu göstermek için negatif sayılara ($-15$), bir bataryanın $\%37{,}5$ doluluk oranını ifade etmek için rasyonel sayılara ($\frac{3}{8}$), bir sarkaç periyodunu veya çember çevresini tam hesaplamak içinse irrasyonel sayılara ($\pi, \sqrt{2}$) ihtiyaç duyarız.
Her yeni sayı kümesi, bir önceki kümede çözülemeyen matematiksel denklemlere yanıt vermek için doğmuştur:
Sayı Kümesi | Sembol | Tanımı ve Kapsamı | Çözebildiği Yeni Denklem Türü |
Doğal Sayılar | $\mathbb{N}$ | $\{0, 1, 2, 3, \dots\}$ ($0$'dan başlayan tam değerler) | $x + 3 = 7 \implies x = 4$ |
Tam Sayılar | $\mathbb{Z}$ | $\{\dots, -2, -1, 0, 1, 2, \dots\} = \mathbb{Z}^- \cup \{0\} \cup \mathbb{Z}^+$ | $x + 8 = 3 \implies x = -5$ |
Rasyonel Sayılar | $\mathbb{Q}$ | $\left\{\dfrac{a}{b} \;\middle|\; a, b \in \mathbb{Z}, \ b \neq 0\right\}$ (Sonlu ya da devirli ondalık gösterimli sayılar) | $4x = 7 \implies x = \dfrac{7}{4}$ |
İrrasyonel Sayılar | $\mathbb{Q}'$ | $\dfrac{a}{b}$ biçiminde yazılamayan, virgülden sonrası düzensiz sonsuz sayılar ($\sqrt{3}, \pi, e$) | $x^2 = 5 \implies x = \pm\sqrt{5}$ |
Gerçek Sayılar | $\mathbb{R}$ | Rasyonel ve irrasyonel sayıların birleşimi ($\mathbb{R} = \mathbb{Q} \cup \mathbb{Q}'$) | Sayı doğrusunun tamamı |
$$\mathbb{N} \subseteq \mathbb{Z} \subseteq \mathbb{Q} \subseteq \mathbb{R}, \qquad \mathbb{Q} \cap \mathbb{Q}' = \emptyset, \qquad \mathbb{Q} \cup \mathbb{Q}' = \mathbb{R}$$
🧊Unutma! Her tam sayı paydasına $1$ yazılabildiği için ($-6 = \dfrac{-6}{1}$) aynı zamanda bir rasyonel sayıdır. Devirli ondalık açılımlar da ($0{,}\overline{4} = \dfrac{4}{9}$) iki tam sayının oranı olarak yazılabildikleri için rasyoneldir. Kök dışına tam çıkamayan sayılar ($\sqrt{12} = 2\sqrt{3}$) ve $\pi$ ise irrasyoneldir.
🔎 Hemen Dene: $-\sqrt{64}, \ \dfrac{12}{\pi}, \ 2{,}\overline{3}$ ve $0$ sayılarından hangileri rasyonel ($\mathbb{Q}$), hangileri irrasyonel ($\mathbb{Q}'$) sayıdır?
Cevap:
$-\sqrt{64} = -8 \in \mathbb{Q}$, $2{,}\overline{3} = \dfrac{21}{9} = \dfrac{7}{3} \in \mathbb{Q}$ ve $0 = \dfrac{0}{1} \in \mathbb{Q}$ sayıları rasyoneldir. $\dfrac{12}{\pi}$ ise $\pi$ irrasyonel olduğu için irrasyoneldir ($\in \mathbb{Q}'$).
Sayı Kümelerinin Sıralı Olması ve Sıralama Özellikleri
$\mathbb{N}, \mathbb{Z}, \mathbb{Q}$ ve $\mathbb{R}$ kümelerindeki her eleman sayı doğrusu üzerinde belirli bir konuma sahiptir. Bu sayede seçilen herhangi iki eleman büyüklük-küçüklük bakımından karşılaştırılabilir; yani bu kümeler sıralı kümelerdir.
(Matematiksel kurallarda geçen $\forall$ sembolü "her" —seçilen bütün elemanlar için geçerli— anlamına gelir).
Gerçek Sayılarda Sıralama Özellikleri ve İşlem Yasaları ($\forall a, b, c \in \mathbb{R}$)
Özellik Adı | Matematiksel Bağıntı | Anlamı ve İşlevi |
Yansıma Özelliği | $a \le a$ | Her gerçek sayı kendisine küçük eşittir. |
Ters Bakışım (Antisimetri) | $a \le b \text{ ve } b \le a \implies \mathbf{a = b}$ | İki sayı birbirinden büyük olamıyorsa birbirine eşittir. |
Geçişme Özelliği | $a \le b \text{ ve } b \le c \implies \mathbf{a \le c}$ <br> ($a \le b \text{ ve } b < c \implies \mathbf{a < c}$) | Sıralamalar zincirleme aktarılabilir; zincirdeki en az bir eşitsizlik kesin ($<$) ise sonuç da kesin ($<$) küçüktür. |
Toplama / Çıkarma | $a \le b \implies \mathbf{a + c \le b + c}$ | Eşitsizliğin iki tarafına aynı sayı eklendiğinde yön değişmez. |
Pozitif Sayıyla Çarpma | $a \le b \text{ ve } c > 0 \implies \mathbf{a \cdot c \le b \cdot c}$ | Pozitif çarpan eşitsizliğin yönünü korur. |
Negatif Sayıyla Çarpma | $a \le b \text{ ve } c < 0 \implies \mathbf{a \cdot c \ge b \cdot c}$ | Negatif çarpan eşitsizliğin yönünü tersine çevirir. |
Çarpmaya Göre Ters | $0 < a < b \implies \mathbf{\dfrac{1}{a} > \dfrac{1}{b}}$ | Aynı işaretli sayılar ters çevrildiğinde eşitsizlik yön değiştirir. |
Pozitif Kuvvet Alma | $0 < a < b \text{ ve } n \in \mathbb{Z}^+ \implies \mathbf{a^n < b^n}$ | Pozitif sayıların kuvveti alındığında sıralama korunur. |
🔥Kritik Kural: Bir önermenin doğruluğunu sıralama özellikleriyle cebirsel olarak ispatlarken üç adım izlenir:
1. Hipotez: Verilen başlangıç koşulu yazılır (Örn: $a < b$).
2. Hüküm: Ulaşılmak istenen hedef eşitsizlik belirtilir.
3. İspat Adımları: Hipotez üzerine sıralama özellikleri adım adım uygulanarak hükme ulaşılır.
🔎 Hemen Dene: $x, y \in \mathbb{R}$ için $0 < x < y$ olduğu biliniyor. $\dfrac{y + x}{x} > 2$ olduğunu sıralama özellikleriyle doğrula.
Cevap:
0 < x < y$ eşitsizliğinin her iki tarafına $x$ ekleyelim: $2x < y + x$. $x > 0$ (pozitif) olduğu için her iki tarafı $x$'e böldüğümüzde yön değişmez: $\dfrac{2x}{x} < \dfrac{y+x}{x} \implies 2 < \dfrac{y+x}{x}$ elde edilir.
Sayı Kümelerinde Arada Olma (Yoğunluk) Özelliği
Bir sayı kümesinden seçilen herhangi iki farklı elemanın arasında, yine aynı kümeye ait en az bir eleman (ve dolayısıyla sonsuz çoklukta eleman) bulunabiliyorsa o küme arada olma (yoğunluk) özelliğine sahiptir.
1. Doğal Sayılar ($\mathbb{N}$) ve Tam Sayılar ($\mathbb{Z}$):
Ardışık iki doğal sayı (örneğin $6$ ile $7$) veya ardışık iki tam sayı (örneğin $-4$ ile $-3$) arasında başka hiçbir tam sayı yoktur.
$\implies \mathbb{N}$ ve $\mathbb{Z}$ kümelerinde arada olma özelliği YOKTUR (kesikli kümelerdir).
2. Rasyonel Sayılar ($\mathbb{Q}$) ve Gerçek Sayılar ($\mathbb{R}$):
Seçilen herhangi iki farklı rasyonel sayı $a$ ve $b$ ($a < b$) ne kadar birbirine yakın olursa olsun, aritmetik ortalamaları olan $\dfrac{a+b}{2}$ sayısı tam ikisinin ortasında yer alır ve $\mathbb{Q}$ toplamaya ve sıfırdan farklı bir sayıya ($2 \neq 0$) bölmeye göre kapalı olduğu için daima bir rasyonel sayıdır:
$$a < \frac{a + b}{2} < b$$
Bulunan yeni sayı ile uç noktaların ortalaması tekrar tekrar alınarak araya sonsuz çoklukta rasyonel sayı yerleştirilebilir.
Benzer biçimde herhangi iki gerçek sayı arasına köklü ve karesel yöntemlerle sonsuz çoklukta irrasyonel sayı da yerleştirilebilir (iki irrasyonel sayının aritmetik ortalaması rasyonel çıkabileceğinden irrasyonel sayılar farklı yöntemlerle üretilir, bkz. Pratik Tüyo).
$\implies \mathbb{Q}, \ \mathbb{Q}'$ ve $\mathbb{R}$ kümelerinde arada olma özelliği VARDIR (bu kümeler sayı doğrusunda yoğundur).
📌Pratik Tüyo (Araya İrrasyonel Sayı Yerleştirme): İki pozitif sayı arasına irrasyonel sayı yerleştirmek istediğinde sınırların karelerini al! Uçların kareleri arasında karekökü rasyonel olmayan bir rasyonel sayı $t$ seçildiğinde $\sqrt{t}$ aradadır. Örneğin $3$ ile $4$ arasına irrasyonel sayı bulmak için $3 = \sqrt{9}$ ve $4 = \sqrt{16}$ yazılır; $9 < t < 16$ aralığından $\sqrt{10}, \sqrt{11}, \sqrt{12}, \sqrt{13}, \sqrt{14}, \sqrt{15}$ sayılarının tamamı $3$ ile $4$ arasındaki irrasyonel sayılardır!
🔎 Hemen Dene: $2$ ile $\dfrac{5}{2}$ sayıları arasında bulunan bir rasyonel sayı ve bir irrasyonel sayı örneği bul.
Cevap:
Rasyonel sayı için ortalamalarını alalım: $\dfrac{2 + 2{,}5}{2} = 2{,}25 = \dfrac{9}{4} \in \mathbb{Q}$. İrrasyonel sayı için karelerini alalım: $2 = \sqrt{4}$ ve $2{,}5 = \sqrt{6{,}25}$ olduğundan aradaki $\sqrt{5} \in \mathbb{Q}'$ sayısı şartı sağlar.
Sayı Kümelerinin Dört İşleme Göre Kapalılığı ve Karşıt Örnek
Bir fabrikadaki üretim bandına yalnızca çelik parçalar girdiğinde banttan çıkan birleştirilmiş ürün de her zaman çelikten oluşuyorsa bu sistem kendi içinde "kapalı" bir sistemdir.
Tanım: Bir $A$ kümesinden seçilen herhangi iki eleman (aynı eleman da seçilebilir) bir işleme ($\ast$) sokulduğunda, çıkan sonuç istisnasız her zaman yine $A$ kümesinin bir elemanı oluyorsa; $A$ kümesi o işleme göre kapalıdır:
$$\forall x, y \in A \implies (x \ast y) \in A$$
Eğer kümeden seçilen en az bir eleman çifti için işlemin sonucu kümenin dışına çıkıyorsa ($x \ast y \notin A$), küme o işleme göre kapalı değildir. Bunu kanıtlamak için kuralı bozan tek bir örnek (karşıt örnek / aksine örnek) göstermek yeterlidir ($\exists x, y \in A$, yani "en az bir $x, y$ vardır ki...").
Sayı Kümelerinin Dört İşleme Göre Kapalılık Tablosu
Sayı Kümesi | Toplama ($+$) | Çıkarma ($-$) | Çarpma ($\cdot$) | Bölme ($\div$) | Kapalı Olmama Gerekçesi (Karşıt Örnek) |
$\mathbb{N}$ (Doğal) | ✅ Kapalı | ❌ Kapalı Değil | ✅ Kapalı | ❌ Kapalı Değil | $2 - 7 = -5 \notin \mathbb{N}$ <br> $3 \div 4 = \dfrac{3}{4} \notin \mathbb{N}$ |
$\mathbb{Z}$ (Tam) | ✅ Kapalı | ✅ Kapalı | ✅ Kapalı | ❌ Kapalı Değil | $-7 \div 2 = -3{,}5 \notin \mathbb{Z}$ |
$\mathbb{Q}$ (Rasyonel) | ✅ Kapalı | ✅ Kapalı | ✅ Kapalı | ❌ Kapalı Değil | $0$'a bölme tanımsızdır ($a \div 0 \notin \mathbb{Q}$); yalnızca sıfırsız küme $\mathbb{Q} \setminus \{0\}$ bölmeye kapalıdır. |
$\mathbb{Q}'$ (İrrasyonel) | ❌ Kapalı Değil | ❌ Kapalı Değil | ❌ Kapalı Değil | ❌ Kapalı Değil | Toplama: $\sqrt{2} + (-\sqrt{2}) = 0 \in \mathbb{Q}$ <br> Çıkarma: $(1+\sqrt{2}) - \sqrt{2} = 1 \in \mathbb{Q}$ <br> Çarpma: $\sqrt{2} \cdot \sqrt{8} = 4 \in \mathbb{Q}$ <br> Bölme: $\sqrt{8} \div \sqrt{2} = 2 \in \mathbb{Q}$ |
$\mathbb{R}$ (Gerçek) | ✅ Kapalı | ✅ Kapalı | ✅ Kapalı | ❌ Kapalı Değil | $0$'a bölme tanımsızdır ($a \div 0 \notin \mathbb{R}$); yalnızca sıfırsız küme $\mathbb{R} \setminus \{0\}$ bölmeye kapalıdır. |
\ Sıfıra bölme tanımsız olduğundan $\mathbb{Q}$ ve $\mathbb{R}$ bölmeye göre kapalı sayılmaz; sıfırsız kümeler $\mathbb{Q} \setminus \{0\}$ ve $\mathbb{R} \setminus \{0\}$ ise bölmeye göre kapalıdır.
⚠️Çok Önemli İrrasyonel Sayılar ve Alt Küme Uyarısı:
1. İrrasyonel sayılar kümesi ($\mathbb{Q}'$) dört işlemin hiçbirine göre kapalı değildir!
2. Kapalılık incelemesinde aynı elemanın kendisiyle işleme girebileceğini asla unutma! Örneğin $\sqrt{5} \in \mathbb{Q}'$ iken $\sqrt{5} - \sqrt{5} = 0 \notin \mathbb{Q}'$ ve $\sqrt{5} \div \sqrt{5} = 1 \notin \mathbb{Q}'$ doğrudan birer karşıt örnektir.
🔎 Hemen Dene: Negatif tam sayılar kümesi ($\mathbb{Z}^-$) toplama ve çarpma işlemlerinden hangilerine göre kapalıdır?
Cevap:
İki negatif tam sayının toplamı daima negatif tam sayıdır ($\mathbb{Z}^-$ toplamaya göre kapalıdır). Ancak iki negatif tam sayının çarpımı pozitiftir: $(-2) \cdot (-3) = +6 \notin \mathbb{Z}^-$ ($\mathbb{Z}^-$ çarpmaya göre kapalı değildir).
📋Hızlı Bakış (Formül ve Kural Özeti)
Kavram / İşlem | Matematiksel Gösterim | Kritik Koşul / İpucu |
Küme Hiyerarşisi | $\mathbb{N} \subseteq \mathbb{Z} \subseteq \mathbb{Q} \subseteq \mathbb{R}$ ve $\mathbb{R} = \mathbb{Q} \cup \mathbb{Q}'$ | Rasyonel ve irrasyonel kümeler tamamen ayrıktır ($\mathbb{Q} \cap \mathbb{Q}' = \emptyset$). |
Ters Bakışım ve Geçişme | $a \le b \text{ ve } b \le a \implies a = b$ <br> $a \le b \text{ ve } b \le c \implies a \le c$ | Gerçek sayıların sıralı küme olmasının temel dayanaklarıdır. |
Negatif Çarpan Yasası | $a < b \text{ ve } c < 0 \implies a \cdot c > b \cdot c$ | Eşitsizlik negatif sayıyla çarpılır/bölünürse yön değiştirir. |
Çarpmaya Göre Ters Alma | $0 < a < b \implies \dfrac{1}{a} > \dfrac{1}{b}$ <br> $a < b < 0 \implies \dfrac{1}{a} > \dfrac{1}{b}$ | Yalnızca aynı işaretli sayılarda eşitsizlik yön değiştirir; zıt işaretlilerde yön değişmez. |
Arada Olma (Yoğunluk) | $a < b \implies a < \dfrac{a+b}{2} < b$ | $\mathbb{Q}, \mathbb{Q}'$ ve $\mathbb{R}$ yoğun kümelerdir; $\mathbb{N}$ ve $\mathbb{Z}$ kesiklidir (arada olma yoktur). |
Kapalılık Tanımı | $\forall x, y \in A \implies x \ast y \in A$ | İşlem sonucu küme dışına hiç çıkmıyorsa küme o işleme göre kapalıdır. |
Dört İşleme Göre Kapalılık | $\mathbb{N}$ ($+,\cdot$), $\mathbb{Z}$ ($+,-,\cdot$), $\mathbb{Q}$ ($+,-,\cdot$), $\mathbb{R}$ ($+,-,\cdot$) kapalı | $0$'a bölme tanımsızdır ($\mathbb{Q}\setminus\{0\}$ ve $\mathbb{R}\setminus\{0\}$ bölmeye kapalıdır). $\mathbb{Q}'$ hiçbir işleme kapalı değildir. |
Karşıt Örnek Yöntemi | $\exists x, y \in A \text{ öyle ki } x \ast y \notin A$ | Bir genellemeyi çürütmek için tek bir aksine örnek göstermek yeterlidir. |
✏️Örnekler (Özgün ve Detaylı Çözümler)
Örnek 1 [🟢 Temel - Kavrama]: $a, b, c, d \in \mathbb{R}$ olmak üzere, bir malzeme testinde dört farklı alaşımın esneme katsayıları arasında şu bilgiler tespit edilmiştir:
- $a$ alaşımının katsayısı, $b$'ninkinden küçüktür.
- $c$ alaşımının katsayısı, $b$'ninkinden büyüktür.
- $d$ alaşımının katsayısı, $a$'nınkine eşit veya $a$'nınkinden küçüktür.
Buna göre:<br>
a) Dört alaşımın katsayıları arasındaki sıralamayı eşitsizlik sembolleriyle yazınız ve hangi sıralama özelliğinden yararlandığınızı belirtiniz.<br>
b) Her bir katsayıya $2{,}5$ birimlik sabit kalibrasyon payı eklendiğinde sıralamanın değişip değişmeyeceğini gerekçesiyle açıklayınız.
Çözüm:
- Ne verilmiş? $a, b, c, d$ gerçek sayıları arasında ikili karşılaştırma bağıntıları.
- Ne isteniyor? Dörtlü zincir sıralama, kullanılan sıralama aksiyomu ve sabit sayı eklemenin etkisi.
- Hangi kural/yöntem? Sıralamanın geçişme özelliği ($x \le y \text{ ve } y < z \implies x < z$) ve toplama korunumu ($x < y \implies x + k < y + k$).
a) Verilen sözel ifadeleri matematiksel sembollere dökelim:
- $a$, $b$'den küçüktür: $a < b$
- $c$, $b$'den büyüktür: $b < c$
- $d$, $a$'ya eşit veya küçüktür: $d \le a$
Geçişme özelliği yardımıyla bu üç bağıntıyı uç uca birleştiririz:
$$d \le a < b < c$$
b) Gerçek sayılarda bir eşitsizliğin tüm taraflarına aynı gerçek sayı ($k = 2{,}5$) eklendiğinde eşitsizlik yön değiştirmez:
$$d + 2{,}5 \le a + 2{,}5 < b + 2{,}5 < c + 2{,}5$$
Dolayısıyla sıralama kesinlikle değişmez.
Kontrol: $d = 1, \ a = 2, \ b = 3, \ c = 4$ seçilirse $1 \le 2 < 3 < 4$ olur; $2{,}5$ eklendiğinde $3{,}5 \le 4{,}5 < 5{,}5 < 6{,}5$ olup sıralama korunmaktadır.
Sonuç: a) $d \le a < b < c$ (Geçişme özelliği), b) Değişmez (Eşitsizliğe aynı sayıyı ekleme özelliği)
Örnek 2 [🟢 Temel - Kavrama]: $\dfrac{2}{3}$ ile $\dfrac{5}{4}$ rasyonel sayıları arasında yer alan:<br>
a) Üç tane rasyonel sayı bulunuz.<br>
b) Üç tane irrasyonel sayı bulunuz.
Çözüm:
- Ne verilmiş? Alt sınır $\dfrac{2}{3}$ ve üst sınır $\dfrac{5}{4}$ olan iki rasyonel sayı.
- Ne isteniyor? Bu iki sayı arasına giren $3$ rasyonel ve $3$ irrasyonel sayı örneği.
- Hangi kural/yöntem? Rasyonel sayılar için payda eşitleme/genişletme; irrasyonel sayılar için sınırların karesini alarak kök içine taşıma yöntemi.
a) Rasyonel Sayılar: Önce $\dfrac{2}{3}$ ve $\dfrac{5}{4}$ kesirlerinin paydalarını $12$'de eşitleyelim:
$$\frac{2}{3} = \frac{8}{12} \qquad \text{ve} \qquad \frac{5}{4} = \frac{15}{12}$$
Payı $8$ ile $15$ arasında olan pek çok kesir vardır; örneğin $\dfrac{9}{12}, \ \dfrac{11}{12}, \ \dfrac{13}{12}$ seçilebilir.
b) İrrasyonel Sayılar: Pozitif sayılarda karesini almak sıralamayı korur. Bu yüzden
$$\frac{2}{3} < x < \frac{5}{4} \iff \frac{4}{9} < x^2 < \frac{25}{16}$$
olur. $\dfrac{4}{9} \approx 0{,}44$ ile $\dfrac{25}{16} = 1{,}5625$ arasında karekökü rasyonel olmayan rasyonel sayılar seçip karekökünü alalım: $t = \dfrac{1}{2}, \ \dfrac{3}{4}, \ \dfrac{5}{4}$. Buradan
$$x = \sqrt{\frac{1}{2}} = \frac{\sqrt{2}}{2}, \qquad \sqrt{\frac{3}{4}} = \frac{\sqrt{3}}{2}, \qquad \sqrt{\frac{5}{4}} = \frac{\sqrt{5}}{2}$$
bulunur; bunlar kök dışına tam çıkamadığı için irrasyoneldir.
Kontrol: $\dfrac{2}{3} \approx 0{,}67$ ve $\dfrac{5}{4} = 1{,}25$'tir. Seçtiğimiz $\dfrac{\sqrt{2}}{2} \approx 0{,}71$, $\dfrac{\sqrt{3}}{2} \approx 0{,}87$ ve $\dfrac{\sqrt{5}}{2} \approx 1{,}12$ değerlerinin tamamı $(0{,}67 \ ; \ 1{,}25)$ aralığındadır ve kök dışına tam çıkamadıkları için irrasyoneldir.
Sonuç: a) $\dfrac{9}{12}, \ \dfrac{11}{12}, \ \dfrac{13}{12}$, b) $\dfrac{\sqrt{2}}{2}, \ \dfrac{\sqrt{3}}{2}, \ \dfrac{\sqrt{5}}{2}$
Örnek 3 [🟡 Orta - İşlemsel]: "İrrasyonel sayılar kümesi ($\mathbb{Q}'$) toplama, çıkarma, çarpma ve bölme işlemlerinin hiçbirine göre kapalı değildir."
Bu teoremi doğrulamak için dört işlemin her birine birer karşıt örnek (aksine örnek) sununuz.
Çözüm:
- Ne verilmiş? İrrasyonel sayılar kümesinin ($\mathbb{Q}'$) dört işleme göre kapalı olmadığı önermesi.
- Ne isteniyor? Her işlem için, işleme giren iki sayı irrasyonel ($\in \mathbb{Q}'$) iken sonucun rasyonel ($\notin \mathbb{Q}'$) çıktığı birer örnek.
- Hangi kural/yöntem? Köklerin birbirini yok ettiği veya tam kareye tamamladığı irrasyonel sayı çiftleri seçilir.
1. Toplama İçin Karşıt Örnek:
$a = 2 + \sqrt{3} \in \mathbb{Q}'$ ve $b = 4 - \sqrt{3} \in \mathbb{Q}'$ seçelim:
$$a + b = (2 + \sqrt{3}) + (4 - \sqrt{3}) = 6 \in \mathbb{Q} \implies 6 \notin \mathbb{Q}'$$
2. Çıkarma İçin Karşıt Örnek:
$a = 5 + \sqrt{2} \in \mathbb{Q}'$ ve $b = 1 + \sqrt{2} \in \mathbb{Q}'$ seçelim:
$$a - b = (5 + \sqrt{2}) - (1 + \sqrt{2}) = 4 \in \mathbb{Q} \implies 4 \notin \mathbb{Q}'$$
3. Çarpma İçin Karşıt Örnek:
$a = \sqrt{2} \in \mathbb{Q}'$ ve $b = \sqrt{18} \in \mathbb{Q}'$ seçelim:
$$a \cdot b = \sqrt{2} \cdot \sqrt{18} = \sqrt{36} = 6 \in \mathbb{Q} \implies 6 \notin \mathbb{Q}'$$
4. Bölme İçin Karşıt Örnek:
$a = \sqrt{20} \in \mathbb{Q}'$ ve $b = \sqrt{5} \in \mathbb{Q}'$ seçelim:
$$\frac{a}{b} = \frac{\sqrt{20}}{\sqrt{5}} = \sqrt{\frac{20}{5}} = \sqrt{4} = 2 \in \mathbb{Q} \implies 2 \notin \mathbb{Q}'$$
Kontrol: Seçilen tüm başlangıç sayıları kök dışına çıkamayan irrasyonel sayılardır, ancak dört işlemin sonucunda da tam sayı (dolayısıyla rasyonel sayı) elde edilmiştir.
Sonuç: $\mathbb{Q}'$ kümesi dört işlemin hiçbirine göre kapalı değildir.
Örnek 4 [🟡 Orta - İşlemsel]:
$$M = \{x \mid x = 5k, \ k \in \mathbb{Z}\}$$
($5$'in tam katı olan tam sayılar kümesi) veriliyor. $M$ kümesinin toplama, çıkarma, çarpma ve bölme işlemlerinden hangilerine göre kapalı olduğunu cebirsel olarak inceleyiniz.
Çözüm:
- Ne verilmiş? Elemanları $5k$ ($k \in \mathbb{Z}$) formunda olan $M$ kümesi.
- Ne isteniyor? Dört işleme göre kapalılık analizi.
- Hangi kural/yöntem? Kümeden rastgele iki genel eleman ($x_1 = 5a$ ve $x_2 = 5b$, $a, b \in \mathbb{Z}$) seçilir; işlem sonuçlarının yine $5 \cdot (\text{tam sayı})$ formunda yazılıp yazılamadığına bakılır.
1. Toplama İşlemi:
$$x_1 + x_2 = 5a + 5b = 5(a + b)$$
Tam sayılar toplamaya göre kapalı olduğundan $a + b \in \mathbb{Z}$'dir. Sonuç $5$'in tam katı olduğu için $x_1 + x_2 \in M$'dir (Kapalıdır).
2. Çıkarma İşlemi:
$$x_1 - x_2 = 5a - 5b = 5(a - b)$$
$a - b \in \mathbb{Z}$ olduğundan sonuç yine $5$'in tam katıdır ve $x_1 - x_2 \in M$'dir (Kapalıdır).
3. Çarpma İşlemi:
$$x_1 \cdot x_2 = (5a) \cdot (5b) = 25ab = 5 \cdot (5ab)$$
$5ab \in \mathbb{Z}$ olduğundan sonuç $5$'in tam katıdır ve $x_1 \cdot x_2 \in M$'dir (Kapalıdır).
4. Bölme İşlemi:
$$\frac{x_1}{x_2} = \frac{5a}{5b} = \frac{a}{b} \quad (b \neq 0)$$
$\dfrac{a}{b}$ oranı her zaman $5$'in katı olan bir tam sayı vermez.
Karşıt Örnek: $x_1 = 10 \in M$ ve $x_2 = 15 \in M$ seçilirse $\dfrac{10}{15} = \dfrac{2}{3} \notin M$ olur (Kapalı değildir).
Kontrol: $10$ ve $15$ sayıları için $10+15=25 \in M$, $10-15=-5 \in M$, $10 \cdot 15 = 150 \in M$ iken $10 \div 15 \notin M$ olduğu somut olarak görülür.
Sonuç: $M$ kümesi toplama, çıkarma ve çarpmaya göre kapalı; bölmeye göre kapalı değildir.
Örnek 5 [🔴 İleri - Yorum ve Analiz]: "Gerçek sayılar kümesinde $a < b$ olmak üzere, $a$ sayısının iki katı ile $b$ sayısının toplamının üçte biri ($\dfrac{2a + b}{3}$), daima $a$ ile $b$ arasındadır."
Bu önermenin doğruluğunu sıralama özelliklerini kullanarak Hipotez – Hüküm – İspat adımlarıyla cebirsel olarak kanıtlayınız.
Çözüm:
- Ne verilmiş? $a, b \in \mathbb{R}$ ve $a < b$ koşulu.
- Ne isteniyor? $a < \dfrac{2a + b}{3} < b$ eşitsizliğinin sıralama aksiyomlarıyla cebirsel ispatı.
- Hangi kural/yöntem? Eşitsizliğin her iki tarafına aynı sayıyı ekleme ($2a$ ve $b$) ve pozitif bir sayıya ($3$) bölme kuralları.
1. Hipotez: $a, b \in \mathbb{R}$ olmak üzere $a < b$ olsun.
2. Hüküm: $a < \dfrac{2a + b}{3} < b$ olur.
3. İspat Adımları:
- 1. Adım (Sol eşitsizliğin gösterimi):
Hipotezdeki $a < b$ eşitsizliğinin her iki tarafına $2a$ ekleyelim:
$$a + 2a < b + 2a \implies 3a < 2a + b$$
Eşitsizliğin her iki tarafını pozitif olan $3$ sayısına bölelim ($3 > 0$ olduğu için yön değişmez):
$$\frac{3a}{3} < \frac{2a + b}{3} \implies \mathbf{a < \frac{2a + b}{3}} \quad \text{(I)}$$
- 2. Adım (Sağ eşitsizliğin gösterimi):
Hipotezdeki $a < b$ eşitsizliğinin her iki tarafını pozitif $2$ sayısıyla çarpalım:
$$2a < 2b$$
Şimdi her iki tarafa $b$ ekleyelim:
$$2a + b < 2b + b \implies 2a + b < 3b$$
Her iki tarafı pozitif olan $3$'e bölelim:
$$\mathbf{\frac{2a + b}{3} < b} \quad \text{(II)}$$
- 3. Adım (Birleştirme):
(I) ve (II) numaralı eşitsizlikler geçişme özelliğiyle birleştirildiğinde:
$$a < \frac{2a + b}{3} < b$$
hükmüne ulaşılır ve önermenin doğruluğu kanıtlanmış olur.
Kontrol: $a = 3, \ b = 9$ seçilirse $\dfrac{2(3) + 9}{3} = \dfrac{15}{3} = 5$ olur ve $3 < 5 < 9$ eşitsizliği sağlanır. Negatif sayılar için de test edelim: $a = -6, \ b = -3$ seçilirse $\dfrac{2(-6) + (-3)}{3} = \dfrac{-15}{3} = -5$ olur ve $-6 < -5 < -3$ eşitsizliği yine doğrulanır.
Sonuç: İspat tamamlanmıştır; $\dfrac{2a+b}{3}$ sayısı $a$ ile $b$ aralığını $1:2$ oranında bölen bir ara gerçek sayıdır.
![[a, b] Aralığının Üç Eş Parçaya Bölünmesi ve (2a+b)/3 Noktası](/static/uploads/20261021_101704_Gemini_Generated_Image_gkeztigkeztigkez_filigranli.webp)
Örnek 6 [🔴 İleri - Yeni Nesil]: Bir elektronik mühendisi, laboratuvarındaki hassas akım ölçüm devresinde dört farklı sensör kullanmaktadır. Sensörlerin ölçebildiği akım değerleri ($I$, amper cinsinden) dört farklı sayı kümesiyle modellenmiştir:
- 1. Sensör: Yalnızca pozitif tam sayı değerlerini gösterebilmektedir ($\mathbb{Z}^+$).
- 2. Sensör: Yalnızca tam sayı değerlerini gösterebilmektedir ($\mathbb{Z}$).
- 3. Sensör: Virgülden sonra en fazla iki basamaklı ondalık sayıları gösterebilmektedir.
- 4. Sensör: Tüm gerçek sayı değerlerini kesintisiz (analog) gösterebilmektedir ($\mathbb{R}$).
Devreden geçen gerçek akım miktarı $I^2 = 19\text{ A}^2$ denklemini sağlayan pozitif değerdir. Ayrıca güvenlik protokolü gereği iki ardışık ölçüm arasındaki farkın ($I_1 - I_2$) sensörün kendi sayı kümesi içinde tanımlı olması (çıkarma işlemine göre kapalı olması) şarttır.
Buna göre:
a) Gerçek akım değerini tam (hatasız) olarak yalnızca hangi sensör gösterebilir?
b) $4\text{ A}$ ile $5\text{ A}$ arasında bu gerçek akım değerinin bulunabilmesi, gerçek sayıların hangi özelliği ile açıklanır?
c) Güvenlik protokolündeki "fark işleminin kapalılığı" şartını hangi sensörlerin sayı kümesi sağlar?
Çözüm:
- Ne verilmiş? Dört sensörün sayı kümeleri, $I^2 = 19$ ($I > 0$) akım denklemi ve çıkarma işlemine göre kapalılık şartı.
- Ne isteniyor? $\sqrt{19}$'u içeren küme, $4$ ile $5$ arasında bulunma özelliği ve çıkarmaya göre kapalı olan sensör kümeleri.
- Hangi kural/yöntem? İrrasyonel sayı tanımı, arada olma özelliği ve çıkarma işleminde kapalılık testi.
a) $I^2 = 19$ ve $I > 0$ olduğundan gerçek akım $I = \sqrt{19}\text{ A}$'dir. $19$ tam kare bir sayı olmadığı için $\sqrt{19}$ irrasyonel bir sayıdır ($\sqrt{19} \in \mathbb{Q}'$).
1, 2 ve 3. sensörler yalnızca tam veya sonlu rasyonel sayıları gösterebilir. İrrasyonel sayıları kapsayan tek küme $\mathbb{R}$ olduğu için tam değeri yalnızca 4. Sensör gösterebilir.
b) $\sqrt{16} < \sqrt{19} < \sqrt{25} \implies 4 < \sqrt{19} < 5$'tir. Ardışık iki tam sayı ($4$ ve $5$) arasında başka bir tam sayı bulunmazken, gerçek sayılar kümesinde bu iki değer arasında $\sqrt{19}$ gibi sayıların yer alması gerçek sayıların arada olma (yoğunluk) özelliği ile açıklanır.
c) Çıkarma işlemine göre kapalılığı test edelim:
- 1. Sensör ($\mathbb{Z}^+$): $2 - 5 = -3 \notin \mathbb{Z}^+$ (Kapalı değildir).
- 2. Sensör ($\mathbb{Z}$): İki tam sayının farkı daima tam sayıdır (Kapalıdır ✅).
- 3. Sensör (En fazla iki ondalık basamaklı sayılar, yani $\dfrac{k}{100}, \ k \in \mathbb{Z}$): $\dfrac{k_1}{100} - \dfrac{k_2}{100} = \dfrac{k_1 - k_2}{100}$ olup farkları da en fazla iki ondalık basamaklıdır (Kapalıdır ✅).
- 4. Sensör ($\mathbb{R}$): İki gerçek sayının farkı daima gerçek sayıdır (Kapalıdır ✅).
Kontrol: 3. sensörde örneğin $4{,}12 - 7{,}85 = -3{,}73$ olup sonuç yine virgülden sonra iki basamaklıdır ve küme içinde kalır.
Sonuç: a) Yalnızca 4. Sensör, b) Arada olma (yoğunluk) özelliği, c) 2, 3 ve 4. Sensörler
⚠️Sık Yapılan Hatalar ve Uyarılar
- 🔴 Negatif Sayıyla Çarpımda Eşitsizlik Yönünü Değiştirmemek: ❌ $x < y \implies -3x < -3y$ yerine ✅ $x < y \implies -3x > -3y$ yapılmalıdır. Eşitsizliğin her iki tarafı negatif bir sayıyla çarpıldığında veya bölündüğünde eşitsizlik sembolü mutlaka yön değiştirir.
- 🔴 Farklı İşaretli Sayılarda Ters Çevirme Kuralını Uygulamak: ❌ $-2 < 3 \implies -\dfrac{1}{2} > \dfrac{1}{3}$ yerine ✅ $-\dfrac{1}{2} < \dfrac{1}{3}$ yazılmalıdır. Çarpmaya göre ters alındığında eşitsizliğin yön değiştirmesi kuralı yalnızca aynı işaretli ($0 < a < b$ veya $a < b < 0$) sayılar için geçerlidir! Negatif bir sayı ters çevrilse de pozitif bir sayıdan küçük kalmaya devam eder.
- 🔴 Kapalılık Testinde Aynı Elemanın Seçilebileceğini Unutmak: "İrrasyonel sayılar çıkarmaya göre kapalıdır çünkü $\sqrt{3} - \sqrt{2}$ yine irrasyoneldir" demek yanlıştır. Kümeden seçilen iki eleman birbirinin aynısı olabilir: ❌ $\sqrt{3} - \sqrt{3} \in \mathbb{Q}'$ yerine ✅ $\sqrt{3} - \sqrt{3} = 0 \in \mathbb{Q}$ (rasyonel) olduğu görülerek kapalı olmadığı anlaşılmalıdır.
- 🟡 Tam Sayılarda "Arada Olma" Yanılgısı: "$-5$ ile $+5$ arasında tam sayılar var, öyleyse $\mathbb{Z}$'de arada olma özelliği vardır" düşüncesi bir kavram yanılgısıdır. Arada olma özelliği kümedeki herhangi iki farklı eleman (ardışık olanlar dahil) için sağlanmalıdır. $4$ ile $5$ arasında tam sayı olmadığı için $\mathbb{Z}$'de arada olma özelliği yoktur.
- 🟡 Devirli Ondalık Sayıları İrrasyonel Sanmak: $0{,}333\dots = 0{,}\overline{3}$ sayısı sonsuza kadar devam ettiği için öğrenciler tarafından sıkça irrasyonel sanılır. Oysa devirli sayılar $\dfrac{1}{3}$ şeklinde iki tam sayının oranı olarak yazılabildiği için rasyonel sayıdır ($\in \mathbb{Q}$).
Konu Testi ve Alıştırma
Öğrendiklerini pekiştirmek ve seviyeni görmek için hemen soru çözmeye başla!