Ezen túlmenően, amint az jól látható, Bradis táblázatban
Matematikai nevelés - Winberg E. B
Be akarjuk bizonyítani, hogy a kép a tér Lk + d-1 alatt n. Egybeesik R. Más szóval, minden sor polinomok P1. Pd, megtalálja a funkciót / e L ^^ - 1, hogy a mértéke időben bomlás funkció / F-1 szomszédságában a származási kezdődik pontosan a polinom pr. Elegendő azt feltételezni, hogy a p polinom egy egytagú fokú k, és a maradék polinomok nulla. Ec-ha bizonyítjuk a kijelentés ebben a konkrét esetben, akkor a leképezés h. A különböző tulajdonságok és a linearitás a leképezés-zheny, kaphat egy általános nyilatkozatot. Tehát tegyük fel, hogy
Pr (C1. Cn) = SG # 9632;. # 9632; C”.
Tekintsük az / o = a1”. ”. Nyilvánvaló, N. (W / v) formájában van (p. Pr) (minden helyen érdemes azonos egytagú Pr). Ez abból a tényből következik, hogy az F függvény az F-1 egybeesik a ^ az egyes I = 1. th. Legyen X = F-1 (0). Ezután a funkció / = / O kielégíti
PC (/) = (0. PI. 0) (az i-edik pozícióban PI, a többi területen nullák). Ezen túlmenően, amint az jól látható, / Je + bk-i gі. # 9633;
Mi lehet alkalmazni ezt a tételt, hogy a terek az X = (C - 0) n, és b = b (D). Ha a PI. Je p L (L), és a rendszer PI = egyenletek. = P = 0 nonsingular, majd az inverz függvény tétel, léteznek nem átfedő környéke Tsі. a gyökerek a rendszer, a leképezés F: X ^ C a következő képlet adja
az egyhez megfelelés közötti Tsі és néhány szomszédságában a származási Cn. Jelöljük Fі restrikciós térképezés F Tsі. Könnyen belátható, hogy minden tétel feltételei 12 vypol-Nena. Megállapíthatjuk, hogy a funkciója a Hilbert-tér L (D) kielégíti