Cebirsel sayılar

Kenar uzunlukları birim uzunluk olan bir dik-üçgen hipotenüsünün uzunluğu (karekök 2), cebirsel bir sayı örneğidir.

Cebirsel sayılar, rasyonel (veya bununla eş değer olarak, tam sayı) katsayıları olan tek değişkenli sıfırdan farklı bir polinomun kökü olarak ifade edilebilen sayılardır. Mesela, altın oran, $(1+\sqrt{5})/2$, cebirsel bir sayı örneğidir çünkü Şablon:Math polinomunun bir köküdür. Bu durumda, söz konusu polinomun değerinin sıfıra eşitlendiği x değeridir. Diğer bir örnek olarak, $1+i$ biçimindeki karmaşık sayı, Şablon:Math polinomunun bir kökü olduğundan dolayı cebirsel sayı olarak kabul edilir.

Tüm tam ve rasyonel sayılar, cebirsel sayıların birer örneğidir; bunun yanında, tam sayıların köklerini içeren sayılar da cebirsel niteliktedir. [[pi|Şablon:Pi]] ve Şablon:Mvar gibi, cebirsel olmayan reel ve karmaşık sayılar, transandantal sayı olarak tanımlanmaktadır.

Cebirsel sayılar kümesi, sayılabilir sonsuz bir yapıya sahiptir ve sayılamaz karmaşık sayılar kümesinin bir alt kümesi olarak, Lebesgue ölçümü çerçevesinde ölçüsü sıfır değerindedir. Bu bağlamda, karmaşık sayıların büyük çoğunluğu transandantal karakterdedir.

Örnekler

• Tüm rasyonel sayılar, cebirsel sayı kategorisindedir. Bir tam sayı Şablon:Mvar ile sıfırdan farklı bir doğal sayı Şablon:Mvar'nin oranı olarak ifade edilen her rasyonel sayı, önceden belirtilen tanımı karşılar çünkü Şablon:Math ifadesi, sıfırdan farklı bir polinomun, özellikle Şablon:Math polinomunun, köküdür.
• Tam sayı katsayılarına sahip Şablon:Math kuadratik polinomunun irrasyonel çözümleri olan kuadratik irrasyonel sayılar, cebirsel sayılardır. Eğer kuadratik polinom monik karakterdeyse (Şablon:Math), bu kökler kuadratik tam sayı olarak nitelendirilir.
  • Her iki Şablon:Mvar ve Şablon:Mvar değeri de tam sayı olan karmaşık sayılar Şablon:Math, Gauss tam sayıları olarak adlandırılır ve kuadratik tam sayılardır. Bunun nedeni, Şablon:Math ve Şablon:Math'nin, Şablon:Math kuadratik denkleminin iki kökü olmasıdır.
• Bir cetvel ve pergel kullanılarak belirlenmiş bir birim uzunluktan hareketle oluşturulabilecek sayılara çizilebilir sayı denir. Tüm kuadratik irrasyonel kökleri, tüm rasyonel sayıları ve bu sayıların temel aritmetik işlemler ve karekök çıkarma kullanılarak oluşturulabilen tüm sayıları içerir. (Karmaşık sayılar için +1, -1, +Şablon:Mvar ve -Şablon:Mvar yönlerinin belirlenmesiyle, $3+i\sqrt{2}$ gibi sayılar çizilebilir olarak düşünülür.)
• Temel aritmetik işlemler ve [[n'inci kök|Şablon:Mvar'inci kök]] çıkarımı kullanılarak cebirsel sayılardan türetilen herhangi bir ifade, bir başka cebirsel sayıyı meydana getirir.
• Temel aritmetik işlemler ve Şablon:Mvar'inci kök çıkarımı aracılığıyla açıklanamayan polinom kökleri (mesela, Şablon:Math gibi polinomların kökleri) bulunmaktadır. Bu durum, 5 veya daha yüksek dereceli pek çok polinom için mümkündür ancak tümü için geçerli değildir.
• Şablon:Pi'nin rasyonel çarpanları ile oluşturulan açıların trigonometrik fonksiyonlar değerleri (tanımsız oldukları durumlar hariç): örneğin, Şablon:Math, Şablon:Math ve Şablon:Math, Şablon:Math polinomunu karşılar. Bu polinom, rasyonel sayılar üzerinde indirgenemezdir ve dolayısıyla söz konusu üç kosinüs, eşlenik cebirsel sayılar olarak nitelendirilir. Aynı şekilde, Şablon:Math, Şablon:Math, Şablon:Math ve Şablon:Math sayıları, indirgenemez Şablon:Math polinomunu sağladığı için, eşlenik cebirsel tam sayılardır. Bu, derecelerle ölçüldüğünde rasyonel sayılara denk gelen açıların bir eşdeğeridir.
• İrrasyonel sayıların bir kısmı cebirsel olabilirken, bir kısmı cebirsel olmayabilir:
  • Örneğin, $\sqrt{2}$ ve $\frac{\sqrt[3]{3}}{2}$ sayıları, sırasıyla Şablon:Math ve Şablon:Math polinomlarının kökü oldukları için cebirsel sayılar kategorisindedir.
  • Şablon:Mvar simgesi ile gösterilen altın oran, Şablon:Math polinomunun bir kökü olması nedeniyle cebirsel bir sayıdır.
  • [[pi|Şablon:Pi]] ve e gibi sayılar, cebirsel sayılar kategorisinde yer almazlar (bu konu hakkında daha fazla bilgi için Lindemann–Weierstrass teoremine bakınız).

Özellikler

Karmaşık düzlemdeki cebirsel sayılar, derecelerine göre renklendirilmiş (açık turuncu/kırmızı = 1. derece, yeşil = 2. derece, mavi = 3. derece, sarı = 4. derece)

• Eğer rasyonel katsayılar içeren bir polinom, en küçük ortak kat ile çarpılırsa, sonuç olarak tam sayı katsayıları olan ve aynı köklere sahip bir polinom elde edilir. Bu durum, bir cebirsel sayının, tam sayı veya rasyonel katsayılar içeren bir polinomun kökü olarak eş değer şekilde tanımlanabileceğini ortaya koyar.
• Herhangi bir cebirsel sayı için, bu sayının bir kökü olduğu ve en düşük dereceye sahip rasyonel katsayılı monik polinom tek ve benzersizdir. Bu polinom, minimal polinom olarak adlandırılır. Minimal polinomun derecesi Şablon:Mvar ise, bu cebirsel sayının derecesinin Şablon:Mvar olduğu söylenir. Mesela, tüm rasyonel sayıların derecesi bir olup, 2. dereceye sahip bir cebirsel sayı kuadratik irrasyonel olarak nitelendirilir.
• Cebirsel sayılar, reel sayılar alanında yoğun bir yapı sergiler. Bu durum, içlerinde rasyonel sayıların da bulunması ve rasyonel sayıların reel sayılar içerisinde yoğun bir dağılım göstermesi gerçeği ile doğrudan ilişkilidir.
• Cebirsel sayılar kümesi, sayılabilir (enumerate edilebilir) niteliktedir,Şablon:SfnŞablon:Sfn bu nedenle karmaşık sayılar içerisinde bir alt küme olarak kabul edildiklerinde Lebesgue ölçümü sıfırdır (temelde, cebirsel sayılar karmaşık sayılar içinde herhangi bir yer kaplamaz). Bu, "neredeyse tüm" reel ve karmaşık sayıların transandantal olduğunu ifade eder.
• Cebirsel sayılar, hesaplanabilir, aynı zamanda tanımlanabilir ve aritmetik özellikler taşırlar.
• Gerçek sayılar Şablon:Math ve Şablon:Math için, Şablon:Math biçimindeki karmaşık sayı, yalnızca Şablon:Math ve Şablon:Math ikilisi cebirsel olduğunda cebirsel karakterdedir.Şablon:Sfn

Alan

Derecelerine göre renklendirilmiş cebirsel sayılar (mavi = 4, camgöbeği = 3, kırmızı = 2, yeşil = 1). Birim daire siyahtır.

İki cebirsel sayının toplamı, farkı, çarpımı ve (payda sıfırdan farklı olduğunda) bölünmesi sonucunda elde edilen sayılar da cebirsel niteliktedir. Bu, kalan yardımıyla kanıtlanabilir ve sonuç olarak cebirsel sayılar, bir alan teşkil ederŞablon:Sfn $\bar{\mathbb{Q}}$ (ara sıra $𝔸$ ile temsil edilir, fakat bu genellikle adele halkası için kullanılır). Cebirsel sayılar olarak katsayılara sahip bir polinom denkleminin tüm kökleri tekrar cebirsel sayılardır. Bu, cebirsel sayılar alanının cebirsel olarak kapalı olduğunu belirtmekle yeniden formüle edilebilir. Gerçekte, bu alan, rasyonelleri içeren en küçük cebirsel olarak kapalı alandır ve bu sebepten dolayı rasyonellerin cebirsel kapanışı olarak isimlendirilir.

İlgili konular

Kökler aracılığıyla tanımlanan sayılar

Tam sayılar başlangıç noktası alınarak, sonlu sayıda toplama, çıkarma, çarpma, bölme işlemleri ve (mümkünse karmaşık olabilecek) Şablon:Mvar'inci kök alma işlemleri ile elde edilebilen her sayı cebirseldir. Bununla birlikte, bu durumun tersi geçerli değildir: Bu yöntemle elde edilemeyen cebirsel sayılar mevcuttur. Bu tür sayılar, genellikle derecesi 5 veya daha yüksek olan polinomların kökleridir ve bu, Galois teorisinin bir sonucudur (örneğin, beşinci dereceden denklemler ve Abel teoremine bakınız). Örnek olarak, aşağıdaki denklem:

$x^5-x-1=0$

yalnızca radikaller ve temel aritmetik işlemler kullanılarak ifade edilemeyen eşsiz bir reel köke sahiptir.

Kapalı biçimli sayılar

Cebirsel sayılar, rasyonel sayılar temel alınarak polinomlar yardımıyla açık ya da dolaylı bir şekilde ifade edilebilen tüm sayılardır. Bu tanım, "kapalı form sayıları" kavramına genişletilebilir ki bu sayılar farklı yollarla tanımlanabilir. En kapsamlı tanımıyla, polinomlar, üstel işlevler ve logaritmalar yardımıyla açıkça ya da dolaylı olarak ifade edilebilen tüm sayılar "temel sayılar" olarak adlandırılır ve bu kategoriye cebirsel sayılarla birlikte bazı transandantal sayılar da dahildir. En dar tanımıyla ise, polinomlar, üstel işlevler ve logaritmalar yardımıyla açıkça ifade edilen sayılar ele alınır – bu, tüm cebirsel sayıları kapsamaz ancak Şablon:Mvar veya ln 2 gibi bazı sade transandantal sayıları içerir.

Cebirsel tam sayılar

Baş katsayılarına göre renk kodlanmış cebirsel sayılar (kırmızı, bir cebirsel tam sayının 1 olan baş katsayısını simgeler.)

Şablon:Ana Bir cebirsel tam sayı, tam sayı katsayıları bulunan ve baş katsayısı 1 olan (bir monik polinom) bir polinomun kökü olarak tanımlanabilen bir cebirsel sayıdır. Cebirsel tam sayı örnekleri arasında $5+13\sqrt{2},$ $2-6i,$ ve $\frac{1}{2}(1+i\sqrt{3}).$ yer alır. Böylece, cebirsel tam sayılar, her $k\in \mathbb{Z}$ için monik polinomlar Şablon:Math'ın kökleri olan tam sayıları da içeren, tam sayıların bir üst kümesini teşkil eder. Bu anlamda, cebirsel tam sayılar, cebirsel sayılara için ne ise, tam sayılar da rasyonel sayılara odur.

Cebirsel tam sayıların toplamları, farkları ve çarpımları da cebirsel tam sayıları oluşturur, bu da cebirsel tam sayıların bir halka yapısı oluşturduğunu gösterir. Cebirsel tam sayı teriminin kökeni, cebirsel tam sayı olabilen rasyonel sayıların yalnızca tam sayılar olması gerçeğinden ve herhangi bir sayı cismindeki cebirsel tam sayıların, birçok açıdan tam sayılara benzer özellikler göstermesinden kaynaklanır. Şablon:Math bir sayı alanı ise, bu alanın tam sayılar halkası, Şablon:Math içerisindeki cebirsel tam sayıları içeren alt halkadır ve genellikle Şablon:Math ile ifade edilir. Bu yapılar, Dedekind bölgesinin örnek teşkil eden temel örnekleridir.

Ayrıca bakınız

Sayı sistemleri Karmaşık $:ℂ$ Reel $:ℝ$ Rasyonel $:\mathbb{Q}$ Tam sayı $:\mathbb{Z}$ Doğal $:\mathbb{N}$ Sıfır: 0 Bir: 1 Asal sayılar Bileşik sayılar Negatif tam sayılar Kesir Sonlu ondalık sayı İkili (sonlu ikili) Devirli ondalık sayı İrrasyonel Cebirsel irrasyonel Aşkın Sanal

Kaynakça

• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak
• Şablon:Kaynak