Bir sayının eşleniği nedir?

Question

Matematikte kullandığımız eşlenik kavramının tam olarak tanımı nedir? Karmaşık sayılar ve köklü sayılar dışında kullanım alanı var mı? Tekliğinden bahsedilebilir mi? Bu sorularımı konu alan bir tartışma bile oldukça işime yarayacaktır. Şimdiden tüm matkafalılara teşekkürler.

Answer 1

Matematiğin farklı dallarında birçok eşlenik tanımının olduğunu görüyoruz. Mesela diferensiyel geometride eşlenik (konjuge) tanjant vektör, grup teorisinde eşlenik eleman tanımı var. Sayı kümeleri ele alındığında benim bildiğim fakat kaynağını bilmediğim tanım şöyle: $B\supset A$   ve $x\in B$, $y\in B$   olsun. $x$ ve $y$ sayıları için  $x+y \in A$   ve  $xy\in A$  şartları sağlanıyorsa  $x$ ve $y$  sayıları $B$  kümesine göre birbirinin eşleniğidir. O zaman $A=\mathbb{R}$  ve  $B=\mathbb{C}$   alırsak $x+iy$ sayısının  kompleks sayılarda eşleniği $x-iy$ sayısı olmalıdır. Benzer olarak $A=\mathbb{Q}$  ve $B=\mathbb{R}$ alırsak $x+\sqrt{y}$ sayısının reel sayılarda eşleniği $x-\sqrt{y}$ sayısı olmalıdır. Kuaterniyonlarda böyle bir durum var mı bilemiyorum. Ayrıca bu tanım alt halka ve alt uzay tanımlarını çağrıştırıyor. Aralarında bir ilişki var mı bilmiyorum.

Comments

$a+bi+cj+dk$ kuaterniyonunun eşleniği $a-bi-cj-dk$ imiş.

Answer 2

Bir karmaşık sayının eşleniğinin ne olduğu ile ilgili iyi yapılmış bir tanım vardır. $z=a+ib$ karmaşık sayısının eşleniği $\overline{z} = a - ib$ olarak tanımlanır. Burada $a, b$ gerçel sayılar ve $i^2 = -1$ dir. Wikipedia'da kompleks eşlenik başlığında tanım ve özellikler verilmiştir.

Karmaşık sayılarla ilgili aşağıdaki özellikleri hatırlayalım. $z = a + ib, w = c+id$ ve bunların eşlenikleri $\overline{z} = a-ib, \overline{w} = c-id$ ise
$$  \overline{z\mp w} = \overline{z}\mp \overline{w} , \quad \overline{z\cdot w} = \overline{z}\cdot \overline{w} , \quad  \overline{z^n} = (\overline{z})^n $$
olur. Burada  $n$ bir pozitif tam sayıdır.

Bunlar ispatı kolay olan özelliklerdir. Aralarında daha zor gibi görünen $n$'e bağlı olan son eşitliği tümevarım ile ispatlayabiliriz.

 

Köklü sayılar ile ilgili olarak ayrı bir sayfada tanım verilmiş: eşlenik (köklü sayılar) Fakat bu sayfadaki tanım belirsizdir ve zaten "taslak" düzeyinde olduğu yazılmış.

Kendim şöyle bir tanımlama yaptım: Her rasyonel sayının eşleniğini kendisi olarak tanımlayalım. Ayrıca $a, b$ rasyonel sayılar ve $b>0$ bir rasyonel sayının karesinden farklı olmak üzere $z = a + \sqrt{b}$ ve $\overline{z} = a- \sqrt{b}$ gerçel sayılarına birbirinin eşleniği diyelim. Bu durumda, $z = a \mp \sqrt{b}$ ve $w = c \mp \sqrt{b} $ gerçel sayıları için de

$$  \overline{z\mp w} = \overline{z}\mp \overline{w} , \quad \overline{z\cdot w} = \overline{z}\cdot \overline{w} , \quad  \overline{z^n} = (\overline{z})^n $$
olur. Burada  $n$ bir pozitif tam sayı, $a, b, c$ rasyonel sayılardır. Elbette, $b>0$ bir rasyonel sayının karesine eşit değildir.

 

$\bullet$ $\overline{z\cdot w}$ için kısmi ispatı yapalım: $\overline{z\cdot w} = \overline{\left(a + \sqrt{b}\right)\left(c + \sqrt{b}\right)} = \overline{ ac + b + \sqrt{b}(a+c)} = ac + b - \sqrt{b}(a+c) = \left(a - \sqrt{b}\right)\left(c - \sqrt{b}\right) = \overline{z}\cdot \overline{w}$.

Kısmi dedim, çünkü $z$ bir rasyonel sayı, $w = c + \sqrt{b} $ veya $z = a - \sqrt{b} $, $w = c + \sqrt{b} $ gibi durumlarda da bu eşitlikler sağlanıyor. Yine $\left(a + \sqrt{b}\right)^n = x + y\sqrt{b}$ ise $\left(a - \sqrt{b}\right)^n = x - y\sqrt{b}$ olması gerektiği de tümevarım ile ispatlanabilir.

 

Bu bilgileri uygulayabileceğimiz, Reel Eşlenik Kök Teoremi diye isimlendirmek istediğim probleme de gönderme yapalım. Bu yazdıklarımızdan sonra, reel eşlenik kök teoremine ikinci bir ispat daha buldum. Bağlantıya bakılabilir.

 

Bunların $\mathbb Q[\sqrt{b}] = \{ a + c\sqrt{b}| \quad a, c \in \mathbb Q \}$, ($b>0$ sabit bir rasyonel sayı ve $b$ bir rasyonel sayının karesine eşit değil) cismiyle az-çok ilgisi olduğunu da düşünebiliriz. (Ne kadar ilgili ben de emin değilim.) Muhtemelen $z, w$ nin alabileceği çeşitli değerler için tüm bu ara basamakları tek bir kavram altında ifade ve ispat eden bir teori geliştirilmiştir. Soyut cebir alanıyla daha fazla ilgilenmiş arkadaşlarımıza/hocalarımıza havale etmek isterim.