раб очька's Journal
 
[Most Recent Entries] [Calendar View] [Friends View]

Saturday, April 27th, 2019

    Time Event
    2:50a
    формальная теорема о делении Вейерштрасса
    Утверждение:

    Пусть F -- формальный степенной ряд из K[[x1,x2,...xn,t]]
    регулярный степени m по t, то есть F(0,...0,t)=a_m*t^m + a_{m+1}*t^{m+1} ...
    Тогда любой ряд P можно единственным образом записать в виде P=Q*F+R
    где R -- ряд, который как ряд K[[x1,x2,...xn]][[t]] является многочленом по t степени меньше m.


    Доказательство:

    Лемма 1. Пусть A -- полная неархимедово нормированная (на всякий случай абелева) группа c дискретным нормированием,
    то есть норма принимает значения среди 1/2^n.
    f -- непрерывный эндоморфизм A , такой что (Id-f) -- сжимающее отображение
    (то есть в нашем дискретном случае это значит просто что Id-f уменьшает норму в 2 или больше раз).
    Тогда f -- автоморфизм.

    Док-во леммы 1.
    Если x\in Ker f, то x меньше любого положительного числа и значит равно 0.
    Для сюръекции: пусть x -- произвольный элемент из A. Рассмотрим последовательность
    итераций (Id-f)^n(x), n>=0
    (Id-f)^n(x) стремится к 0 по полноте, и так как норма неархимедова, то из этого
    следует, что ряд Sum_n (Id-f)^n(x) сходится. По непрерывности
    f(Sum_n (Id-f)^n(x))=Sum_n f(Id-f)^n(x)=Sum_n (Id-f)^n - (Id-f)^n+1 (x) = x

    Определение. Пусть A -- полное нормированное кольцо, H -- аддитивная
    подгруппа в нем. Элемент w\in A назовем элементом Вейерштрасса (в отношении H),
    если A раскладывается в прямую сумму (как аддитивная группа):
    A=Aw+H
    с таким элементом Вейерштрасса (и соответсвующим разложением) ассоциировано два
    (аддитивных) гомоморфизма-проекции
    Q: A \to A
    R: A \to H

    (вообще говоря, эти проекции не должны быть непрерывными, потому что проекции с нормой
    вообще никак априори не связаны)

    Лемма 2.
    A -- полное дискретное неархимедово нормированное кольцо, H --
    аддитивная подгруппа, w -- элемент Вейерштрасса, такой что Q и R непрерывны.
    Пусть некий элемент W\in A такой что (w-W)*Q -- сжимающее отображение.
    Тогда W -- тоже элемент Вейерштрасса (по отношению к H)

    Док-во леммы 2.
    Из непрерывности Q и R изоморфизм
    g: A -> A+H
    g: x \mapsto (Q(x),R(x))
    непрерывен.
    Нам нужно доказать, что непрерывный эндоморфизм
    f: A+H -> A
    f: (a,h) \mapsto aW+h
    является изоморфизмом групп.
    (w-W)*Q=(g^-1 - f)g=Id-fg -- непрерывный эндоморфизм, который по условию леммы
    является сжимающим отображением, значит, по Лемме 1, fg -- автоморфизм. Значит и f автоморфизм.


    ----

    Пусть F -- m-регулярный по t ряд из условия теоремы.

    Рассмотрим эндоморфизм кольца K[[x1,x2,...xn,t]]:
    h: K[[x1,x2,...xn,t]] -> K[[x1,x2,...xn,t]]
    h: f(x1,x2,...,xn,t) \mapsto f(x1^k,x2^k,...,xn^k,t)

    где k>m
    то есть все переменные, кроме последней, возводим в большую степень k.

    Это инъективный морфизм колец: если f(x1^k,x2^k,...,xn^k,t)=0, то f=0

    Образ h будет нашим A (c индуцированной из K[[x1,x2,...xn,t]] (x1,x2,...xn,t)-адической нормой,
    которую мы в дальнейшем будем называть просто адической), а H -- аддитивная подгруппа A,
    состоящая из всех многочленов из K[[x1,x2,...xn]][t]
    степени по t меньше m. В качестве элемента Вейерштрасса возьмем w=a_m*t^m (это очевидно
    элемент Вейерштрасса, потому что любой ряд однозначно раскладывается в сумму мономов, в которых t
    входит в степени меньше m и все остальное). Соответсвующую проекцию обозначим Q, т.е.
    f(x1,x2,...xn,t)=g_m(x1,x2,...xn,t)*t^m + g_{m-1}(x1,x2,...xn)*t^m-1 + ... g_0(x1,x2,...xn)

    Q:=g_m(x1,x2,...xn)
    R:=g_{m-1}(x1,x2,...xn)*t^m-1 + ... g_0(x1,x2,...xn)

    обе проекции очевидно непрерывны (если младший ненулевой моном в последовательности рядов f_i имеет все большую
    и большую степень, то Q и R имеют все большую и большую кратность в 0, т.к. кратность f -- минимум кратностей Q и R).

    Докажем, что h(F) -- тоже элемент Вейерштрасса. Для этого нужно показать (для применения Леммы 2),
    что (a_m*t^m - h(F))*Q -- сжимающий эндоморфизм A, то есть для нашей адической нормы, это значит,
    что оно увеличивает степень наименьшего ненулевого монома ряда:

    пусть f(x1,x2,...,xn,t) \in A, и пусть его наименьший ненулевой моном имеет степень b

    Qf(x1,x2,...,xn,t) = g_m(x1,x2,...,xn,t)*t^m
    кратность Qf по меньшей мере (b-m)

    По условию m-регулярности по t:
    a_m*t^m - h(F) = - g(x1^k,...,xn^k,t) + a_m*t^m - a_m*t^m - a_m+1*t^m+1 - ...
    где g(x1^k,...,xn^k,t) в каждом мономе есть по крайней мере одна x_i^k
    но k>m (по построению), значит кратность (a_m*t^m - h(F)) > m
    и кратность (a_m*t^m - h(F))*Q > b-m+m

    и, следовательно, по Лемме 2, h(F) -- элемент Вейерштрасса.

    ----
    Пусть P,F как в условии теоремы. Разложим h(P) однозначно в A c помощью элемента Вейерштрасса h(F):

    h(P)=h(Q)*h(F)+h(R)

    по инъективности P=Q*P+R
    F и R выводу теоремы соответствуют, так как h не меняет степень ряда как многочлена от t и регулярность по t.

    Current Music: Marcos Valle - Nao Tem Nada Nao - 1973 [Brazil]
    4:42a
    Опрос #1775 Писать или какать
    Открыт: Всем, результаты видны: Всем

    Что вам больше нравится

    Показать ответы

    Писать
    3 (60.0%) 3 (60.0%)

    Какать
    2 (40.0%) 2 (40.0%)



    Current Music: Esplendor Geométrico ‎- En Roma

    << Previous Day 2019/04/27
    [Calendar]
    Next Day >>

About LJ.Rossia.org