Cтраница 3
В антиизоморфна Л, так как антиизоморфные полугруппы также решеточно изоморфны. Классический пример решеточной определяемое доставляет первая основная теорема проективной геометрии ( см. [1]), где в качестве А рассматриваются векторные пространства над телами. Решеточно определяющимися являются также всякая абелева группа, содержащая два независимых элемента бесконечного порядка, всякая свободная группа ( свободная полугруппа) и группа ( полугруппа), нетривиально разложимая в свободное произведение, всякая нильпотентная группа без кручения, всякая коммутативная полугруппа с законом сокращения и без идемпотентов, всякая свободная полугруппа идемпотентов, свободная полурешетка более чем с двумя свободными образующими. [31]
Поэтому множество корней S ( / ( z)) является дискретным множеством. Имеет место следующее утверждение, являющееся первой основной теоремой теории голоморфных кривых. [32]
Обобщаются и другие понятия классич. R конечно порождена, то говорят, что выполнена первая основная теорема И. Во многих важных случаях, напр, в приложении к проблеме модулей, G является именно такой группой. Если Д конечно порождена, то существует аффинное алгебраич. W, для к-рого R является алгеброй регулярных функций; включение Л сЛ индуцирует морфизм я: X - - W. Если G геометрически редуктивна, то многообразие W классифицирует замкнутые орбиты G в W: отображение л сюръективно, и в каждом его слое лежит ровно одна замкнутая орбита. Необходимое условие существования фактормногообразия X по G - замкнутость всех орбит - оказывается в этом случае и достаточным, и этим фактормногообразием оказывается W. Отсюда видна роль R в решении геометрич. [33]
Пытаясь выяснить, справедливо ли это же в отношении первой основной теоремы И. [34]
В локальном варианте теорема о соответствии между группой Ли и правоинвариантными или левоинвариантными векторными полями, образующими ее алгебру Ли, называется первой основной теоремой Ли. [35]
В п 3 была установлена связь между проективными отображениями связок и аффинными отображениями плоскостей; на эту связь мы опирались в п 4 при доказательстве первой основной теоремы о проективном отображении проективной плоскости и будем еще существенно опираться в следующем параграфе при определении и выводе основных свойств двойного отношения четырех точек на проективной прямой. В настоящем п мы установим связь между проективными отображениями связок и аффинными преобразованиями пространства; на ней будет основана запись проективных преобразований в проективных координатах. [36]
Передвинем теперь плоскость тг в пространстве так, чтобы она стала параллельна плоскости в, а точки Л, В, С, D проектировались из центра 5, соответственно, в точки Л, S, С, / У плоскости в. А так как точки А, В, С, D образуют четверку общего положения, перспективная же проекция есть проективное отображение, то на основании первой основной теоремы о проективном отображении заключаем, что отображение Е, после указанного передвижения плоскости тс, и осуществляется путем рассмотренной перспективы. [37]
Она определена для In г2, не являющихся критическими значениями функции тл, но, как видно из формулы ( 10), непрерывно продолжается в эти значения ( ибо непрерывна правая часть формулы), и мы будем считать ее определенной для всех г го. Остается воспользоваться определениями ( 7) и ( 8) характеристической функции отображения ff ( L, r) и считающей функции дивизора Nf ( D, r), и ( 10) приведет к первой основной теореме теории распределения значений в следующей формулировке. [38]
Все эти следствия из первой основной теоремы, а также теоремы Гурвица можно проверить непосредственно на основании ( 29 11), так как уравнение второго порядка ( 29 9) легко решается. Возможность такой непосредственной проверки естественно затруднена для уравнений третьего и четвертого порядка и становится невозможной для уравнений выше четвертого порядка. Применение первой основной теоремы, а вместе с тем и критерия Гурвица становится тогда необходимым. [39]
Покажем прежде всего, что все такие подгруппы, соответствующие различным прямым, изоморфны. Действительно, пусть / и / - какие-нибудь прямые на ( совпадающих или различных) проективных плоскостях П и ГГ. В силу первой основной теоремы о проективном отображении, между плоскостями П и П / можно установить ( и даже бесконечным множеством способов) проективное соответствие, при котором прямые / и V будут соответствовать друг другу: для этого нужно только взять на плоскостях П и П четверки точек общего положения Л, В, С, D и А, В С7, / У, из которых, например, А и В лежат на прямой /, а А и В - на прямой /, и проективно отобразить П на П так, чтобы точки Л, В, С, D перешли, соответственно, в точки А, В, С, / У. При любом таком фиксированном проективном соответствии плоскостей П и П; каждое проективное преобразование S плоскости П, переводящее в себя прямую /, будет индуцировать некоторое проективное преобразование L плоскости П, переводящее в себя прямую /, и обратно. [40]
Остается освободиться от дополнительного условия Оф - 1 ( О), которое мы ввели выше. Если оно не выполняется, то будем интегрировать в ( 3) не от г О, а от некоторого г0 0, тогда в последнем соотношении появится дополнительное ограниченное слагаемое, но мы включим его в 0 ( 1), и вид этого соотношения не изменится. Мы приходим, таким образом, к первой основной теореме теории распределения значений. [41]
Так как любые две модели проективной плоскости изоморфны относительно запаса точек и прямых, их инцидентностей и проективных преобразований, то ясно, что всякое проективное понятие, установленное на какой-нибудь одной модели проективной плоскости, может быть перенесено на любую проективную плоскость, оставаясь и там проективным; и точно так же каждое проективное свойство одной модели есть проективное свойство всех проективных плоскостей. Таким образом, с точки зрения проективной геометрии все модели проективной плоскости совершенно равноправны. Но реализуя проективную плоскость в виде определенной модели, мы получаем возможность устанавливать проективные понятия и теоремы, привлекая на помощь также непроективные свойства этой модели. Так именно нами была доказана, например, первая основная теорема о проективном отображении. С этой точки зрения, конечно, уже не безразлично, какою именно моделью пользоваться: в некоторых случаях удобнее одна, в других - другая. [42]
Проекции Fix, Fiy, Ftz равнодействующей внешних сил, приложенных к i - й точке, так же как и проекции F lx, F iy, F iz равнодействующей внутренних сил, представляют собой заданные функции времени, координат и проекций скоростей не только 1 - й, но и в общем случае всех точек системы. Таким образом, уравнения ( 2) образуют систему Зп обыкновенных дифференциальных уравнений второго порядка с Зп неизвестными величинами xi, iji, Zi, которые должны быть определены как функции времени. Начальные условия, необходимые для определения произвольных постоянных интегрирования, представляют совокупность начальных условий для каждой точки системы в отдельности. Оставляя пока в стороне вопрос об интегрировании уравнений ( 2), займемся применением этих уравнений к выводу первой основной теоремы динамики - теоремы об изменении количества движения системы. [43]
Отсюда следует, что сумма m N почти не меняется при изменении а. Вторая основная теорема ( теорема 2.4) показывает, что вообще в сумме т N доминирует слагаемое N и что мы не уменьшим значительно этой суммы, если при подсчете N ( r, а) кратные корни будем считать один раз. Следовательно, для большей части значений а уравнение f ( z) а имеет примерно столько корней, сколько допускается по первой основной теореме, и, кроме того, большинство этих корней простые. Этот результат содержит как частный случай теорему Пикара, утверждающую, что трансцендентная мероморфная функция принимает бесконечное число раз все значения из. Однако, как мы увидим, результаты Неванлинны идут значительно дальше. [44]
Любое такое произведение называется одночленным инвариантом. I представлен точкой, а каждый скобочный оператор, подобный [ ху ] - линией, соединяющей точки х и у. Скобочный оператор [ xl ], включающий свободный вектор /, может быть представлен линией, выходящей из х, а другой конец которой остается свободным. Следовательно, одночленные инварианты полностью соответствуют диаграммам валентности Кекуле. Первая основная теорема теории инвариантов устанавливает, что каждый инвариант данных степеней является линейной комбинацией одночленных инвариантов этих же степеней. [45]