Vrstvením rozumíme rozložení instancí a druhů do úrovní.
Newton, IsaacNewton, Isaac [njútn], 1642-1727, anglický fyzik a matematik, autor gravitačního zákona. Křivky zapisoval pomocí rovnic. Současně s Leibnitzem objevil infinitezimální počet. Definoval sílu jako změnu hybnosti, čímž vytvořil pole pro pozdější rozvoj tzv. vektorové mechaniky. Odvodil binomickou větu a využil ji k zdokonalení metody výpočtu čísla π. |
Binomická věta udává vzorec pro výpočet výrazů (a+b)k. Koeficienty u jednotlivých výrazů as bk−s se nazývají binomické koeficienty .
Větu formuloval I.Newton, výpočet mocnin (a+b)k znali
ale již dříve italští matematikové.
Mocniny (a+b)k vytváří systém G(2,k) v následujícím smyslu. Vnořování označíme závorkami []. (a + b)1= a + b (a + b)²=[a]²+2ab +[b]2 (a + b)³=[a]³+3a²b+3ab²+[b]3 (a + b)4=[a]4+4a³b+4a²b²+2[ab]²+ 4ab³+ [b]4 (a + b)5=[a]5+5a4b+10a³b²+10a²b³+5ab4+ [b]5 (a + b)6=[a]6+6a5b+12a4b²+3[a²b]²+18a³b³+2[ab]³+12a²b4+3[ab²]²+ 6ab5+[b]6
Protože součin a∙b nemusí být komutativní, není výraz a² ∙ b² obecně roven [a∙b]² (podobně a4 ∙ b² neodpovídá [a² ∙ b]², ...). V takovém případě je ale také ( a + b )² = [a]²+ ab + ba + [b]2... Vztah obdobný binomické větě odvodil Leibnitz pro výpočet n-té derivace součinu (tzv.Leibnitzův vzorec).
Binomické koeficienty se uplatňují také při výpočtech rozdílových (diferenčních) posloupností:
Mocniny (Newton) Derivace (Leibnitz) Diference (a±b)k (uv)(k) u(k)(n) ─────────────────────────────────────────────────────────── k = 1 a±b u'v+uv' ut+1− ut k = 2 a²±2ab+b² u''v+2u'v'+uv'' ut+2− 2ut+1 + ut
i gi Binární schéma Distanční schéma Úroveň druhu
────────────────────────────────────────────────────────────── 1 0 0000 (0) 0 2 1 0001 0010 0100 1000 (4) 1 3 3 0011 0110 1100 1001 1(3) 2 4 5 0101 1010 2(2) 2 5 7 0111 1110 1101 1011 1 1(2) 3 6 15 1111 1 1 1 (1) 4
Úroveň 0 1 2 3 4 ──────────────────────────────────────────── Všechny instance 1 4 6 4 1 Vnořené instance 1 0 2 0 1 Vlastní instance 0 4 4 4 0 ──────────────────────────────────────────── Všechny druhy 1 1 2 1 1 Vnořené druhy 1 0 1 0 1 Vlastní druhy 0 1 1 1 0
Binomické koeficienty určují rozložení počtu všech instancí do jednotlivých úrovní. Nás bude zajímat také struktura vlastních a vnořených instancí, resp. i druhů.
Spočítejme kolik instancí a druhů je na každé úrovni v systému G(2,4).
Binomické koeficienty mocnin (a+b)k povstávají z vlastních instancí a z instancí vnořených z mocnin (a+b)d podle schématu:
k=1: {1} + {1} x x 1 1 k=2: 1(1) + {2} + 1(1) x 1 k=3: 1(1)+ {3} + {3} + 1(1) x x 1 1 2(2) vnořené instance + k=4: 1(1)+ {4} + {4} + {4} + 1(1) vlastní instance x x x 1 1 1 vlastní třídy k=5: 1(1)+ {5} + {10} + {10} + {5} + 1(1) x x x x 1 1 1 1 3(3) 2(2) 3(3) + + + k=6: 1(1)+ {6} + {6} + {6} + {6} + {6} + 1(1) x x x x x 1 2 3 2 1 k=7: 1(1)+ {7} + {7} + {7} + {7} + {7} + {7} + 1(1) x x x x x x 1 3 5 5 3 1 2(2) + 4(4) 4(4) 4(4) + + + k=8: 1(1)+ {8} + {8} + {8} + {8} + {8} + {8} + {8} + 1(1) x x x x x x x 1 3 7 8 7 3 1
Zajímá nás vnořování systémů G(2,d) do G(2,k ), d|k, v jednotlivých úrovních. Schéma všech instancí (Pascalův trojůhelník) vzniká součtem vlastních instancí d(d), kde (d) značí počet vlastních druhů systému G(2,d).
Celkové počty instancí tvoří pro G(2,k) tzv. Pascalův trojúhelník, obecně pro G(n,k) aritmetické trojúhelníky se základem n.
G(2,k) k/L 0 1 2 3 4 ────────────────────────────────────── n=2 0 1 1 1 1 2 1 2 1 3 1 3 3 1 4 1 4 6 4 1
Čísla v Pascalově trojúhelníku se nazývají binomické koeficienty. Určují kolik cest vede z kořene stromu do daného vrcholu.
k/L 0 1 2 3 ... ────────────────────────────────────────── n=3 0 1 1 1 1 1 2 1 2 3 2 1 3 1 3 6 7 6 3 1 4 1 4 10 16 19 16 10 4 1
Totéž platí obecně v aritmetických trojúhelnících.
Pro n=3 se strom rozvětvuje u vrcholu do tří směrů.
Trojúhelník G(3,k) určuje kolik je možností postupu krále z okraje šachovnice na okolní pole [Vilenkin].
Stejně jako instance celkem můžeme po úrovních rozdělit i vlastní instance:
Pro n=2: (a+b)^kk/L 0 1 2 3 4 ────────────────────────────── n=2 0 0 1 1 1 2 0 2 0 3 0 3 3 0 4 0 4 4 4 0
Počty vnořených instancí jsou rozdílem počtů instancí celkem a vlastních instancí...
Pro n=3: (a+b+c)^kk/L 0 1 2 3 .. ─────────────────────────────────────── n=3 0 0 1 1 1 1 2 0 2 2 2 0 1 1 1 3 0 3 6 6 6 3 0 1 2 2 2 1 4 0 4 8 16 16 16 8 4 0 1 2 4 4 4 2 1 5 0 5 15 30 45 50 45 30 15 5 0 1 3 6 9 10 9 6 3 1
V 12-ti tónové hudební soustavě je 19 druhů trojzvuků - viz následující distanční schemata: 11(10) 12(9) 13(8) 14(7) 15(6) 21(9) 22(8) 23(7) 24(6) 25(5) 31(8) 32(7) 33(6) 34(5) 41(7) 42(6) 43(5) 44(4) 51(6)
Např. schéma 21(9), tvoří 3-zvuk s celým tónem následovaným půltónem (např. d-e-f), schéma 34(5) vytváří mollový trojzvuk (např. a-c-e), a schéma 43(5) durový trojzvuk (např. c-e-g). Z těchto 19-ti druhů má 18 druhů trojzvuků po dvanácti transpozicích. Jeden jediný druh se schématem 44(4) zvětšený trojzvuk (např. c-e-g#) je vnořený. Tento druh má 4 instance. Proto (v 12-ti tónové soustavě) existuje 18∙12 = 216 vlastních instancí a 1∙4 vnořených instancí, tj. celkem 220 instancí trojzvuků a tyto trojzvuky tvoří 18 (vlastních) + 1 (vnořených) = 19 druhů.
Celkový počet vnořených instancí stejně tak jako vnořených druhů v systému s prvočíselným k je roven 2. Počet vlastních instancí je vždy k-násobkem počtu vlastních druhů:
Způsob vnořování trojzvuků je znázorněn ve sloupci (3) následující tabulky:
k (0)(1)(2)(3) (4) (5) (6) (7) (8) (9)(10)(11)(12) ───────────────────────────────────────────────────────────────── 12 1 12 66 220 495 792 924 792 495 220 66 12 1 všechny instance (M) ───────────────────────────────────────────────────────────────── 1 1 1 2 0 2 0 3 0 3 3 0 vnořené instance (W) 4 0 4 4 4 0 6 0 6 12 18 12 6 0 ──────────────────────────────────────────────────────────────── 12 0 12 60 216 480 792 900 792 480 216 60 12 0 vlastní instance (V) - − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − − 12 0 1 5 18 40 66 75 66 40 18 5 1 0 vlastní druhy (v) ───────────────────────────────────────────────────────────────── 1 1 1 2 0 1 0 3 0 1 1 0 vnořené druhy (w) 4 0 1 1 1 0 6 0 1 2 3 2 1 0 ───────────────────────────────────────────────────────────────── 12 1 1 6 19 43 66 80 66 43 19 6 1 1 všechny druhy (m)
Počet instancí celkem (M) získáme zpětně z počtů vlastních instancí (V):
M(12,0) = V(12,0) + V(12,1) = 0 + 1 = 1 M(12,1) = V(12,1) = 12 M(12,2) = V(12,2) + V(6,1) = 60 + 6 = 66 M(12,3) = V(12,3) + V(4,1) =216 + 4 = 220
Rozpisem počtů instancí a druhů pro všechna G(2,k) získáme trojúhelníky čísel. Protože trojúhelníky jsou symetrické, stačí zapisovat jen jejich polovinu.
První sloupec zobrazuje řád k daného G-systému, druhý celkový počet prvků (instancí,druhů). V dalších sloupcích jsou počty prvků pro jednotlivé úrovně L=0..κ(k).
Trojúhelník binomických koeficientů (tzv. Pascalův trojúhelník) byl známý již před několika tisíci lety, byl nalezen ve starých čínských spisech.
Pascal, BlaisePascal, Blaise [paskal], 1623-1662, francouzský matematik, fyzik a filozof, konstruktér sčítacího stroje. Zabýval se geometrií, kombinatorikou, spolu s P.Fermatem položil základy teorie pravděpodobnosti. Některými svými úvahami předjímal integrální a diferenciální počet. Ukazuje, že člověka činí velikým jeho myšlení, zvláště pokud zrcadlí božskou podstatu. |
k [M(2,k)] M(2,k,L) 0 [ 1] 1 1 [ 2] 1 2 [ 4] 1 2 3 [ 8] 1 3 4 [ 16] 1 4 6 5 [ 32] 1 5 10 6 [ 64] 1 6 15 20 7 [ 128] 1 7 21 35 8 [ 256] 1 8 28 56 70 9 [ 512] 1 9 36 84 126 10 [ 1024] 1 10 45 120 210 252 11 [ 2048] 1 11 55 165 330 462 12 [ 4096] 1 12 66 220 495 792 924 13 [ 8192] 1 13 78 286 715 1287 1716 14 [ 16384] 1 14 91 364 1001 2002 3003 3432 15 [ 32768] 1 15 105 455 1365 3003 5005 6435 16 [ 65536] 1 16 120 560 1820 4368 8008 11440 12870 17 [131072] 1 17 136 680 2380 6188 12376 19448 24310 18 [262144] 1 18 153 816 3060 8568 18564 31824 43758 48620 19 [524288] 1 19 171 969 3876 11628 27132 50388 75582 92378
k [W(2,k)] W(2,k,L) 0 [ 1] 1 1 [ 0] 0 2 [ 2] 1 0 3 [ 2] 1 0 4 [ 4] 1 0 2 5 [ 2] 1 0 0 6 [ 10] 1 0 3 2 7 [ 2] 1 0 0 0 8 [ 16] 1 0 4 0 6 9 [ 8] 1 0 0 3 0 10 [ 44] 1 0 5 0 0 32 11 [ 2] 1 0 0 0 0 0 12 [ 76] 1 0 6 4 15 0 24 13 [ 2] 1 0 0 0 0 0 0
k [V(2,k)] V(2,k,L) 0 [ 1] 0 1 [ 2] 1 2 [ 2] 0 2 3 [ 6] 0 3 4 [ 12] 0 4 4 5 [ 30] 0 5 10 6 [ 54] 0 6 12 18 7 [ 126] 0 7 21 35 8 [ 240] 0 8 24 56 64 9 [ 504] 0 9 36 81 126 10 [ 990] 0 10 40 120 200 250 11 [ 2046] 0 11 55 165 330 462 12 [ 4020] 0 12 60 216 480 792 900 13 [ 8190] 0 13 78 286 715 1287 1716
k [m(2,k)] m(2,k,L) 0 [ 1] 1 1 [ 2] 1 2 [ 3] 1 1 3 [ 4] 1 1 4 [ 6] 1 1 2 5 [ 8] 1 1 2 6 [ 14] 1 1 3 4 7 [ 20] 1 1 3 5 8 [ 36] 1 1 4 7 10 9 [ 60] 1 1 4 10 14 10 [ 108] 1 1 5 12 21 28 11 [ 188] 1 1 5 15 30 42 12 [ 352] 1 1 6 19 43 66 80 13 [ 632] 1 1 6 22 55 99 132
k [w(2,k)] w(2,k,L) 0 [ 1] 1 1 [ 0] 0 2 [ 2] 1 0 3 [ 2] 1 0 4 [ 3] 1 0 1 5 [ 2] 1 0 0 6 [ 5] 1 0 1 1 7 [ 2] 1 0 0 0 8 [ 6] 1 0 1 0 2 9 [ 4] 1 0 0 1 0 10 [ 9] 1 0 1 0 2 1 11 [ 2] 1 0 0 0 0 0 12 [ 17] 1 0 1 1 3 0 5 13 [ 2] 1 0 0 0 0 0 0
k [v(2,k)] v(2,k,L) 0 [ 0] 0 1 [ 2] 1 2 [ 1] 0 1 3 [ 2] 0 1 4 [ 3] 0 1 1 5 [ 6] 0 1 2 6 [ 9] 0 1 2 3 7 [ 18] 0 1 3 5 8 [ 30] 0 1 3 7 8 9 [ 56] 0 1 4 9 14 10 [ 99] 0 1 4 12 20 25 11 [ 186] 0 1 5 15 30 42 12 [ 335] 0 1 5 18 40 66 75 13 [ 630] 0 1 6 22 55 99 132
Trojúhelníku vlastních druhů je dále věnována samostatná kapitola.
Zúžit trojúhelníky na polovinu je možné také matematicky - substitucí. Dosaďme ve výrazech (a+b)k a=x a b=1/x a označme yj = xj+ 1/xj, tedy y1 = x+1/x, y2 = x²+1/x²... Koeficienty u vznikajících výrazů pokrývají právě polovinu koeficientů Pascalova trojůhelníka: y1 = y1 y1² = (x+1/x)² = x²+2+1/x² = y2+ 2 y1³ = (x+1/x)³ = x³+3(x+1/x)+1/x³ = y3+ 3y1 y14 = (x+1/x)³ = .... = y4+ 4y2+ 6
Vypočítejme výraz (c−s)5 podle binomické věty: Pátým řádkem Pascalova trojúhelníka je 1 5 10 10 5 1
a tedy (c−s)5 = c5 −5c4s +10c³s²−10c²s³+5cs4 −s5
Označme nyní s=sin(x), c= cos(x), t = tan(x). Platí: cos(5x) = c5 −10c³s² +5cs4 sin(5x) = 5c4s −10c²s³ +s5 tan(5x) = (t5 +10t³ +5t)/(1−10t²+5t4)
Nahradíme-li čísla v trojúhelníku T jejich zbytky podle určitého modulu r, získáme nový trojúhelník T(r). Budeme pozorovat, jaké vlastnosti mají tyto trojúhelníky.
Pascalův trojúhelník podle modulu 2 má fraktální strukturu a
odpovídá tzv. Sierpinského trojúhelníku. Binární čísla v jednotlivých
řádcích tvoří součiny lichých Fermatových čísel
{3,5,15,17,51,85,255,257,...} (viz Gaussovy mnohoúhelníky).
T(2) k L B Partition Indexes ───────────────────────────────────────────────────────────── 1 0 1 1 1 − 1 1 1 2 3 3 0 1 0 1 2 2 5 5 1 1 1 1 1 3 4 15 3∙5 0,1 1 0 0 0 1 4 2 17 17 2 1 1 0 0 1 1 5 4 51 3∙17 0,2 1 0 1 0 1 0 1 6 4 85 5∙17 1,2 1 1 1 1 1 1 1 1 7 8 255 3∙5∙17 0,1,2 1 0 0 0 0 0 0 0 1 8 2 257 257 3 1 1 0 0 0 0 0 0 1 1 9 4 771 3∙257 0,3 1 0 1 0 0 0 0 0 1 0 1 10 4 1285 3∙257 1,3 1 1 1 1 0 0 0 0 1 1 1 1 11 8 3855 3∙5∙257 0,1,3 1 0 0 0 1 0 0 0 1 0 0 0 1 12 4 4369 17∙257 2,3 1 1 0 0 1 1 0 0 1 1 0 0 1 1 13 8 13107 3∙17∙257 0,2,3
Úroveň binárních čísel (tj.počet jedniček) v jednotlivých řádcích
je dána výrazem L = 2m, kde m je počet prvočísel v
rozkladu.
Pro k=2t čísla nabývají tvaru 2(2t)+1 (viz
F-systémy).
T(2) k L Polynomial ─────────────────────────────────────────────────────────── 1 0 1 1 1 1 1 2 x+1 1 0 1 2 2 x²+1 1 1 1 1 3 4 x³+x²+x+1 1 0 0 0 1 4 2 x4+1 1 1 0 0 1 1 5 4 x5+x4+x+1 =(x4+1)∙(x+1) 1 0 1 0 1 0 1 6 4 x6+x4+x²+1 =(x4+1)∙(x²+1) 1 1 1 1 1 1 1 1 7 8 x7+x6+x5+x4+x³+x²+x+1 1 0 0 0 0 0 0 0 1 8 2 x8+1 1 1 0 0 0 0 0 0 1 1 9 4 x9+x8+x+1 =(x8+1)∙(x+1)
Trojúhelník vlastních druhů vzniká dělením z trojúhelníku vlastních instancí. Protože liché číslo má vždy jen liché dělitele a protože pro prvočíselná k se trojúhelníky vlastních a všech prvků (instancí, druhů) (až na krajní instance) kryjí, zůstává pro lichá prvočíselná k rozložení sudých a lichých čísel ve jmenovaných trojúhelnících stejné jako v Pascalově trojúhelníku.
Trojúhelník vlastních instancí má pro lichá k stejnou strukturu jako trojúhelník vlastních druhů. Pro sudá k jsou všechna čísla B v řádcích trojúhelníku vlastních instancí nulová.
T(2) k L B Rozklad Korekce ──────────────────────────────────────────────────────── 0 0 0 0 0 1 1 1 2 3 3 1 2 1 1 1 1 1 3 2 3 3 1 1 1 4 3 7 7 1 0 0 1 5 2 9 3² 1 0 1 0 1 6 3 21 3∙7 3∙7 1 1 1 1 1 1 7 6 63 3²∙7 3∙3∙7 1 1 1 0 1 1 1 8 6 119 7∙17 1 0 1 0 0 1 0 1 9 4 165 3∙5∙11 3∙5∙11 1 0 0 0 1 0 0 0 1 10 3 273 3∙7∙13 3∙7∙13 1 1 1 0 0 0 0 1 1 1 11 6 903 3∙7∙43 21∙43 1 1 0 0 0 1 0 0 0 1 1 12 5 1571 1571 1 0 0 1 1 0 0 1 1 0 0 1 13 6 2457 3³∙7∙13 7∙13∙27
V upraveném rozkladu se objevují dvojice čísel a,b splňující vztah b=2a±1. Pro prvočíselná k<=13 existují vždy, najdeme je i pro vyšší hodnoty k?
T(2) k L B Partition ───────────────────────────────────────────────────── 1 0 1 1 1 1 1 1 2 3 3 1 1 1 2 3 7 7 1 1 1 1 3 4 15 3∙5 1 1 0 1 1 4 4 27 3³ 1 1 0 0 1 1 5 4 51 3∙17 1 1 1 0 1 1 1 6 6 119 7∙17 1 1 1 1 1 1 1 1 7 8 255 3∙5∙17 1 1 0 1 0 1 0 1 1 8 6 427 7∙61 1 1 0 0 0 0 0 0 1 1 9 4 771 3∙257 1 1 1 0 1 0 1 0 1 1 1 10 8 1879 1879 1 1 1 1 0 0 0 0 1 1 1 1 11 8 3855 3∙5∙257 1 1 0 1 1 0 0 0 1 1 0 1 1 12 8 6939 3∙2313 1 1 0 0 1 1 0 0 1 1 0 0 1 1 13 8 13107 3∙17∙257
V trojúhelníku vnořených instancí i v trojúhelníku vnořených druhů mají řádky
pro prvočíselná k tvar xk+1. V trojúhelníku vnořených instancí mají tento tvar i pro k=2t (stejně jako v Pascalově trojúhelníku).
Označme čísla v k−tém řádku trojúhelníku c(k,s) a hledejme takovou posloupnost čísel d(s), tj.{d0,d1,d2,...}, aby platilo:
d0+d1= 1-1= 0 d0+2d1+d2= 1-2+1= 0 d0+3d1+3d2+d3= 1-3+3-1= 0
Omezíme úvahy na posloupnosti s d0=1. K vynulování Pascalova trojúhelníka je potřebná posloupnost {1,−1,1,−1,...}:
d0+d1=1-1= 0 d0+2d1+d2=1-2+1= 0 d0+2d1+2d2+d3=1-2+2-1= 0 d0+3d1+4d2+3d3+d4=1-3+4-3+1= 0
Tato posloupnost nuluje také trojúhelník všech druhů bez krajních členů:
d0+d1= 1 -1= 0 d0+d1+d2= 1-1+0= 0 d0+2d1+2d2+d3= 1-2+0+1= 0 d0+2d1+3d2+2d3+d4= 1-2+0+2-1= 0
Trojúhelník vlastních druhů nuluje posloupnost {1,−1,0,1,−1,0,...}:
Stirlingův trojúhelník 1.druhu nuluje jednotková posloupnost {1,1,1,1,...}, Stirlingův trojúhelník 2.druhu alternující posloupnost faktoriálů {1,−1,2,−6,24,−120,...}, viz Stirlingovy trojúhelníky.
Nyní provedeme totéž, jen zapomeneme na poslední člen v každém řádku trojúhelníku vlastních druhů. Budeme sčítat:
(Analogicky bychom mohli místo posledního členu vynechat první a
uvažovat výraz (b+1)k−bk, tj. tzv. Kroneckerovo δ
(delta)).
V Pascalově trojúhelníku dostaneme soustavu rovnic:
d0+2d1 = 0 d0+3d1+3d2 = 0 d0+4d1+6d2+4d3 = 0 d0+5d1+10d2+10d3+5d4 = 0
Odtud (po dosazení d0=1) získáme posloupnost {1,−1/2,1/6,0,−1/30,0,1/42,0,−1/30,...} Členy této posloupnosti jsou tzv. Bernoulliova čísla. Všechna Bernouliova čísla s lichými indexy s výjimkou B1=−1/2 jsou rovna nule.
Čísla zavedl Jacob Bernoulli ve vzorci pro součet mocnin celých
čísel. Používají se při součtování řad (např. součet Lerchových řad
∑nk∙f(n,k), kde f(n,k) jsou Fermatovy koeficienty, se
vyjadřuje pomocí Bernouliových čísel), v teorii diferenčních
posloupností, v Kummerově teorii regulárních prvočísel, v matematické
analýze,...
V řadě x/(1−e−x) vystupují Bernouliova čísla jako koeficienty
u xn/n!:
d0+d1 = 0 d0+2d1+2d2 = 0 d0+2d1+3d2+2d3 = 0 d0+3d1+5d2+5d3+3d4 = 0 d0+3d1+7d2+8d3+7d4+3d5 = 0
Z trojúhelníka vlastních druhů sestavíme rovnice:
Z nich (pro d0=1) dostaneme posloupnost
{1,−1,1/2,−1/4,+1/4,−5/12,..}.
d0+2d1 = 0 d0+2d1+2d2 = 0 d0+3d1+4d2+3d3 = 0 d0+3d1+5d2+5d3+3d4 = 0
Odtud posloupnost {1,−1/2,1/6,−1/9,...}.
Möbius, August Ferdinand [], 1790-1868, německý mnohostranný vědec známý jako matematik svými pracemi z geometrie a topologie. Objevil jednostrannou plochu (tzv.Möbiův proužek). V projektivní geometrii zavedl homogenní souřadnice. |
Tzv. Möbiovu funkce μ(k) funkci zavedl A.F.Möbius (r.1832), ale již předtím (r.1801) ji používal K.F.Gauss. Gauss ukázal, že součet primitivních kořenů pro daný modul závisí právě na této funkci a obdobné výpočty používal i později.
Jakkoli-je definice Möbiovy funkce jednoduchá, je zvláštní a nedává předem tušit možnosti použití.
Hodnota μ(k) závisí na počtu prvočinitelů čísla k, určuje jejich
paritu . Je-li počet sudý je μ(k)=+1, v opačném případě μ(k)=−1. Např.
μ(15)=μ(3∙5) = +1, μ(30)=μ(2∙3∙5) = −1.
Pro číslo 1 je definováno μ(1)=1. Všechna prvočísla p mají lichou paritu,
tj.μ(p)=−1.
Je-li n dělitelné nějakým čtvercem (tj. druhou mocninou, s výjimkou 1) je μ(n)=0. μ(k)=−1: 2,3,5,7,11,13,17,19,23,29,30,31,37,41,42,43,47,... μ(k)= 0: 4,8,9,12,16,18,20,24,25,27,28,32,36,40,44,45,48,49,50,... μ(k)=+1: 1,6,10,14,15,21,22,26,33,34,35,38,39,46,...
Součet primitivních kořenů podle modulu r je určen Möbiovou funkcí μ(r−1):
r Primitivní kořeny Součet mod r Rozklad r−1 μ(r−1) ──────────────────────────────────────────────────────────────── 11 2,6,7, 8 23 1 10 = 2∙5 1 13 2,6,7,11 26 0 12 = 3∙2² 0 31 3,11,12,13,17,21,22,24 123 −1 30 = 2∙3∙5 −1
Následující součty probíhají přes všechny dělitele d čísla k, tj. d|k (k>1).
Součet Möbiových funkcí dělitelů je nula:
Pro počet dělitelů τ(d) platí:
Pro součet dělitelů σ(d) platí:
Eulerova funkce je určena vztahem:
Např. pro k=12 (φ(12) = 4):
d μ(d) k/d μ(d)∙k/d Děl.k/d τ(k/d) μ(d)∙τ(k/d) σ(k/d) μ(d)∙σ(k/d) ────────────────────────────────────────────────────────────────────────────── 1 1 12 12 1,2,3,4,6,12 6 6 28 28 2 −1 6 −6 1,2,3,6 4 −4 12 −12 3 −1 4 −4 1,2,4 3 −3 7 −7 4 0 3 0 1,3 2 0 4 0 6 1 2 2 1,2 2 2 3 3 12 0 1 0 1 1 0 1 0 ───────────────────────────────────────────────────────────────────────────── x ∑0 x 4 x 1 x 12
Landau, Edmund [], 1877-1938, německý matematik. Zabýval se teorií prvočísel a Riemannovou zeta funkcí. |
E.Landau dokázal, že platí:
pro n=1..∞
Tj.:
1−1/2−1/3−1/5+1/6−1/7+1/10−1/11−1/13+1/14+1/15−1/17−1/19+... = 0
Uvažujme případ k=6 binomické rovnice xk−1=0 (viz). Systém M6(x) se skládá z M2(x) a M3(x), přičemž do obou naposledy jmenovaných vstupuje M1(x) (viz). Rozepišme zkráceně složení systémů a porovnejme složení výrazů s hodnotami Möbiovy funkce pro jednotlivá čísla d|k.
d k/d μ(d) ────────────────────────────── 1 6 1 M1 = V1 2 3 −1 M2 = V1∙V2 3 2 −1 M3 = V1∙V3 6 1 1 M6 = V1∙V2∙V3∙V6
Vyčíslíme V6; výrazy Mk/d pro která je μ(d)=1 jsou v čitateli, výrazy s μ(d)=−1 ve jmenovateli: V6 = M6/(V1∙V2∙V3) = M6∙M1/(M2∙M3)
Obecně platí:
Gauss uvádí následující pravidlo k určení počtu vlastních druhů [Gauss II]:
Nyní je snadné z této věty odvodit samotný význam výrazu (n); pro stručnost ale vypustíme výpočet, který není těžký. Jestliže takto n= aa bb cc..., kde a,b,c,... jsou různá prvočísla, pak n(n)=pn − ∑pn/a+ ∑pn/ab−∑pn/abc+..., kde ∑pn/abc.. označuje skupinu všech výrazů typu pn/abc.., kde veličiny a,b,c,... se jakkoliv mezi sebou přeskupují. Tak například pro n=36: 36(36)=p36−p18−p12+p6 |
Ujasněme si uvedený příklad. Číslo 36 má rozklad v součin prvočinitelů 36 = 2²∙3². Jednotlivé členy výrazu pro 36∙v(p,36) musí mít proto exponenty: 36 = 36, 36/2 = 18, 36/3 = 12 a 36/2/3 = 6
Podle Gaussova pravidla určíme počet vlastních druhů v(n,36) ze vztahu:
v(n,36) = (n36−n18−n12+n6)/36
Povšimněme si, že znaménko je určeno hodnotami Möbiovy funkce pro jednotlivé dělitele čísla 36.
Při odvozování čísel tabulky vrstvení instancí a druhů je možné využít Möbiovy funkce [Read].
Z počtu nk instancí dostaneme hodnotu V(2,12) odpočtem vnořených instancí, tj. těch, které mají d transpozic, kde d|k (d≤k):
Pro n=2, k=12:
d k/d nd μ(k/d) μ(k/d)∙nd M(n,k)−V(n,d) ──────────────────────────────────────────────────────── 12 1 4096 1 4096 4096 6 2 64 −1 −64 −(6+12+18+12+6)=−54 4 3 16 −1 −16 −(4+4+4)=−12 3 4 8 0 0 −(3+3)=−6 2 6 4 +1 +4 −2 1 12 2 0 0 −(1+1)=−2 ──────────────────────────────────────────────────────── 4020 4020
Platí V(2,12) = 4020 = 12∙335=12∙v(12,2), tj. vztah dává správný počet vlastních instancí V(n,k). Odpočty (např.−64,−16) resp. zápočty (+4) instancí ale nevyjadřují přímo počty vnořených instancí z jednotlivých G(n,d).
Protože víme, že počet vlastních instancí musí být vždy dělitelný řádem k, je zřejmé, že platí: V(n,k) ≡ 0 (mod k)
Tedy pro n,kεN platí [Narkiewicz] (součet pro d|k): ∑(μ(k/d) nd) ≡ 0 (mod k)
Vztah dokázal Gauss (1846) pro kεP, důkaz pro kεN doplnil později J.A.Serret.
Např. pro n=2 pro k=3: 21μ(3)+ 2³μ(1) = 2∙(−1)+8 = 6 ≡ 0 (mod 3) pro k=9: 21μ(9)+ 2³μ(3)+ 29 μ(1)= 2∙0 +8∙(−1)+ 512= 504 ≡ 0 (mod 9) pro k=6: 21μ(6)+ 2²μ(3)+ 2³ μ(2) + 26 μ(1)= = 2∙1 +4∙(−1)+ 8∙(−1) + 64 = 54 ≡ 0 (mod 6)
Nechť F(n) = ∏f(n/d)μ(d). Pak každé prvočíslo, které dělí F(n), dělí také f(n). ale nedělí f(i) pro i=1,2,...,n−1 (R.D.von Sternek,1896).
Dedekind, RichardDedekind, Richard [], 1831-1916, německý matematik, autor teorie iracionalit. Zavedl pojem algebraického tělesa (pole). Definoval iracionální čísla formálně, bez pomoci geometrie, je autorem tzv.Dedkindova řezu. Vypracoval axiomatický základ přirozených čísel. Využil řeckých axiomatických systémů (podle Eudoxových myšlenkových postupů). |
Následující dva vztahy jsou ekvivalentní:
(Dedekind (1857), Liouville (1857)),[Vinogradov]
∑ f(d) = g(k), pro d|k, k≥1
∑ μ(d) g(k/d) = f(k) pro d|k, k≥1
V následujících odstavcích ukážeme, že zavedení diferencí ve tvaru u'(t) = ut+1− ut se v určitých případech jeví jako nepřirozené, přičemž vhodnějším určením je u'(t) = ut+1−a∙ut, kde a je určité číslo.
Uvažujme mocniny algebraických čísel (a+b√d)t = vt+ ut√d. Začneme s případy a=b=1 pro d=2 a d=3:
(1+√2)1 = 1 + 1√2 (1+√3)1 = 1 + 1√3 (1+√2)2 = 3 + 2√2 (1+√3)2 = 4 + 2√3 (1+√2)3 = 7 + 5√2 (1+√3)3 = 10 + 6√3 (1+√2)4 = 17 + 12√2 (1+√3)4 = 28 + 16√3 (1+√2)5 = 41 + 29√2 (1+√3)5 = 76 + 44√3 (1+√2)6 = 99 + 70√2 (1+√3)6 =208 + 120√3
Čísla vt zde tvoří první rozdílovou posloupnost čísel ut:
Koeficienty (1+√2)k Koeficienty (1+√3)k ───────────────────────────────────────────────────────── 1 2 5 12 29 70 169 s(0,t)=ut 1 2 6 16 44 120 328.. 1 3 7 17 41 99 . s(1,t)=vt 1 4 10 28 76 208 . 2 4 10 24 58 .. s(2,t) 3 6 18 48 132 .. 2 6 14 34 ... s(3,t) 3 12 30 84 .. 4 8 20 ... s(4,t) 9 18 54 .. 4 12 ... s(5,t) 9 36 ... 8 .. s(6,t) 27 ...
Tzv. Pisotova čísla mají tu vlastnost, že povýšena na vysoký exponent se velmi blíží číslům přirozeným. Např. číslo [(√ 5+1)/2]99: má za desetinou čárkou 20 nul, číslo [(√ 5+1)/2]100: 20 devítek.
V předcházejících schematech si povšimněme posloupnosti poměrů:
{ 1/1,3/2,7/5,17/12,41/29,99/70,239/169,... }. Hodnoty zlomků se v limitě
blíží hodnotě √2.
Proto je 5∙√2=7.07107, 29∙√2 = 41.01219, 169∙√2 = 239.00209. Odtud
pramení blížení se mocnin algebraických čísel k přirozeným číslům.
Označme h-tou rozdílovou posloupnost s(h,t). Vždy ob jeden řádek se každá z posloupností pro d=2, zdvojnásobí, např. {2,6,14,34,..} = 2∙ {1,3,7,17,..}, pro d=3 ztrojnásobí , např. {3,12,30,84,..} = 3∙ {1,4,10,28,..}. V případě a=b=1 platí:
Pro záporná d se posloupnosti stanou méně pravidelnými, ale vztah mezi rozdílovými posloupnostmi zůstává zachován:
Koeficienty (1+√−2)k ────────────────────────────────────────────────── +1 +2 +1 −4 −11 −10 +13 +56 ... s(0,t)=ut +1 −1 −5 −7 +1 +23 +43 ... s(1,t)=vt −2 −4 −2 +8 +22 +20 ... s(2,t) −2 +2 +10 +14 −2 ... s(3,t) 4 8 4 −16 ... s(4,t) 4 −4 −20 ... s(5,t) −8 −16 ... s(6,t)
Vztah s(h+2,t) = d ∙ s(h,t) přepišme na tvar diferenční rovnice u''(t) − u(t)∙d = 0.
dostáváme:
u''(t) − u(t)∙d = 0
ut+2−2ut+1+ ut− ut∙d = 0
ut+2 = 2ut+1+(d−1)ut
resp.
V případě a=b=1 již nemusíme mocniny algebraických čísel počítat.
Koeficienty ut získáme z uvedeného rekurentního vztahu,
koeficienty vt jsou jejich první rozdílovou posloupností.
Např. pro d=2, ut = 2ut−1+ ut−2, tj.
ut = {1, 2, 2∙2+1=5, 2∙5+2=12, 2∙12+5 = 29, ...}
V obecném případě mocnin (a+b√d)t uvedené vztahy selhávají, pokud nezměníme postup výpočtu rozdílových posloupností.
Např. v případech a=2 b=1 pro d=2 a d=3 dostáváme:
(2+√2)1 = 2 + 1√2 (2+√3)1 = 2 + 1√3 (2+√2)2 = 6 + 4√2 (2+√3)2 = 7 + 4√3 (2+√2)3 = 20 + 14√2 (2+√3)3 = 26 + 15√3 (2+√2)4 = 68 + 48√2 (2+√3)4 = 97 + 56√3 (2+√2)5 =232 +164√2 (2+√3)5 =362 +209√3
Posloupnost vt netvoří rozdílovou posloupnost ut a ani po rozpisu rozdílových posloupností vt či ut nedostaneme vztahy analogické se vztahy v předchozích odstavcích.
Upravme vztahy pro výpočet rozdílových posloupností: u'(t) = ut+1−a∙ut
u''(t)= (ut+2−a∙ut+1)− (ut+1−a∙ut)= ut+2−(a+1)ut+1+ a∙ut
Dostaneme:
Koeficienty (2+√2)k Koeficienty (2+√3)k ─────────────────────────────────────────────────────────── 1 4 14 48 164 ... s(0,t)=ut 1 4 15 56 209 ... 2 6 20 68 ... s(1,t)=vt 2 7 26 97 ... 2 8 28 ... s(2,t) 3 12 45 ... 4 12 ... s(3,t) 6 21 ... 4 ... s(4,t) 9 ...
Posloupnost vt se stává rozdílovou posloupností ut a platí i dříve odvozený vztah:
Mocniny (a+b√d)t:
(a+b√d)1= a + b√d (a+b√d)²= a²+ b²d + b(2a)√d (a+b√d)³= a³+ 3ab²d + b(3a²+b²d)√d (a+b√d)4= a4+ 6a²b²d+ b4d² + b(4a³+4ab²d)√d (a+b√d)5= a5+10a³b²d+ 5ab4d² + b(5a4+10a²b²d+b4d²)√d (a+b√d)6= a6+15a4b²d+15a²b4d²+b6d3 + b(6a5+20a³b²d+6ab4d)√d
Rozdílové posloupnosti:
1 2a 3a²+b²d 4a³+4ab²d 5a4+10a²b²d+b4d² a5+6ab4d²+20a³b²d a a²+b²d a³+3ab²d a4+6a²b²d+b4d² a5+10a³b²d+5ab4d² b²d 2ab²d 3a²b²d+b4d² 4a³b²d+4ab4d² ab²d a²b²d+b4d² a³b²d+ 3ab4d² b4d² 2ab4d² ab4d²
V případě, kdy rozdílové posloupnosti počítáme podle vztahu u'(t) = ut+1−a∙ut jsou koeficienty mocnin algebraických čísel určeny rekurentními posloupnostmi podle vztahu:
V souvislosti s Fibonacciho posloupností a zlatým řezem se číslo (√5−1)/2 nazývá zlaté číslo. Obdobně bylo odvozeno také stříbrné číslo ((√8−2)/2 a bronzové číslo (√13−3)/2. Pro taková čísla xk platí xk = 1/(k+xk), tedy xk je (kladným) řešením rovnice x²+kx−1 =0. Např. pro k=2 dává rovnice x²+2x−1=0 řešení (−2+√8)/2 [= √2−1], tedy stříbrné číslo.
Z posloupnosti faktoriálů a nadfaktoriálů (viz Faktoriály) bychom mohli (v analogii k předchozím odstavcům) vystavět algebraická čísla:
2 + 1√d 326 + 120√d 5 + 2√d 1957 + 720√d 16 + 6√d .... 65 + 24√d
Hodnoty zlomků { 2/1,5/2,16/6,65/24,326/120,1957/720,... } se v
limitě blíží Eulerovu číslu e. Bylo by možné postavit operace (zvolit
hodnotu d,..) tak, aby mezi těmito algebraickými čísly existoval
(mocninný) vztah?