Conway zincirli ok gösterimi, pozitif tam sayılardan oluşan bir zincir ve özyinelemeli kurallarla büyük sonlu tam sayıları ifade eder. Zincirdeki sayılar oklarla ayrılır. Gösterim, iki öğeli zincirde üs alma ile başlar; daha uzun zincirler için ek kurallar gerekir. Matematikçi John Horton Conway bu gösterimi geliştirmiştir. [1][2]
Tanım ve temel kurallar
Zincirin her öğesi pozitif tam sayıdır. Tek öğeli zincir, doğrudan o sayının kendisini ifade eder; iki öğeli zincirde a → b = aᵇ kuralı geçerlidir. Daha uzun zincirlerde kurallar özyinelemelidir. Örneğin, C zincirin önceki bölümünü gösterdiğinde C → a → 1 = C → a olur. Son öğe 1’den büyük olduğunda değerlendirme kuralı zincirin önceki bölümünü kullanarak ifadeyi daha küçük alt problemlere indirger. Ohio State University’de yayımlanan matematiksel notlar bu indirgeme kurallarını tanımlar ve her geçerli zincirin bir tam sayıya indirgenebildiğini açıklar. [1]
Üç öğeli zincir, Knuth’un yukarı ok gösterimiyle ilişkilidir: a → b → c, a ile b arasında c adet yukarı ok bulunan ifadeye denktir. Örneğin a → b → 1 = aᵇ. Ancak dört veya daha fazla öğeli zincir, okların yan yana dizilmesiyle oluşan bağımsız üs alma işlemlerinin kısaltması değildir; zincirin tamamı tanım kurallarına göre değerlendirilir. [1]
Kullanım ve yorum
Gösterim, Graham sayısı gibi kombinatorik problemlerde karşılaşılan çok büyük değerleri kısa ve kesin biçimde yazmaya yarar. Conway’in adını taşıyan bu gösterim, çok büyük sayıları adlandırma sistemlerinden biridir; Princeton Üniversitesi de Conway’in matematiksel çalışmalarını anlatırken zincirli ok gösterimini bu kapsamda belirtir. [2] Zincirin kısa olması, temsil ettiği sayının kolayca hesaplanabileceği anlamına gelmez. Bununla birlikte kurallar, sayıyı sonlu bir matematiksel değer olarak tanımlar; gösterim sonsuzluk kavramı değildir. [1]