Süperfaktöriyel

Süperfaktöriyel, sembolü ‼ olan özel tanımlı bir matematiksel fonksiyondur. Matematikte, süperfaktöriyelin birden fazla tanımı vardır.

Neil Sloane ve Simon Plouffe'un tanımı

Neil Sloane ve Simon Plouffe tarafından The Encyclopedia of Integer Sequences (Academic Press, 1995)’de verilen tanıma göre,  bu sayıdan küçük veya ona eşit tam sayıların faktöriyellerinin çarpımı olmak üzere bir doğal sayının üst faktöriyeli olarak tanımlanır:

Bu şekilde tanımlanan üst faktöriyeller, OEIS 'in A000178 dizisini temsil eder.

Eşdeğer olarak, süper faktöriyel Vandermonde matrisinin determinantı olan aşağıdaki formülle de verilir:

Bu süper faktöriyeller dizisi () aşağıdaki gibi başlar:

1, 1, 2, 12, 288, 34560, 24883200, 125411328000, ...

Karmaşık sayılar için Neil Sloane ve Simon Plouffe'un tanımına göre üst faktöriyelin genelleştirilmesi, Barnes G fonksiyonu ile temsil edilir, çünkü herhangi bir tam sayı  için,

'dir.

Clifford A. Pickover'ın tanımı
Tetrasyon işlemine dayanan bir başka süper faktöriyel tanımı, 1995 yılında Clifford A. Pickover tarafından Keys to Infinity adlı kitabında verilen tanımdır:

veya

burada  notasyonu tetrasyon operatörünü gösterir veya Knuth yukarı ok gösterimini kullanarak aşağıdaki gibi ifade edilebilir,

Bu süper faktöriyeller dizisi şöyle başlar:

dikkat edilmesi gereken yer:
'dir.

Daha fazla detay 
 6‼=3!×2!=(1×2×3)×(1×2)=1²×2²×3=1×4×3=12'dir. Bu denkleme göre asal sayıların süperfaktöriyeli alındığında, şu şekilde bir denklem oluşur:

 P‼=P!×1!=P!×1=P! fakat 6‼, 1! ve 6!'in çarpımı olarak bulunmaz. Çünkü burada 1 ve kendisinden başka çarpanlarının faktöriyelinin çarpımı kuralı vardır.

 12 için 1 ve kendisi dışındaki çarpanları 2, 3, 4 ve 6'dır. Bu nedenle  şeklinde bulunabilir.

 18 için 2, 3, 6, 9 olduğundan Karekök (2 Faktöriyel çarpı 6 Faktöriyel) çarpı (3 Faktöriyel çarpı 9 faktöriyel) yani  şeklinde bulunur.

 28 için Karekök (2 Faktöriyel çarpı 7 Faktöriyel) çarpı (4 Faktöriyel çarpı 14 Faktöriyel) yani  şeklinde bulunur.

 9‼ ise  şeklinde bulunur. Çünkü 9, 3'ün karesidir (3×3=9)

Ayrıca bakınız 
 Hiperfaktöriyel
 Bifaktöriyel
 Faktöriyel
 Tetrasyon
 Barnes G fonksiyonu

Dış bağlantılar
 
 
 

Özel fonksiyonlar
Sayılar teorisi