Пи

- математическая модель дискретных динамич. Систем, в том числе информационных систем (параллельных программ, операционных систем, ЭВМ и их устройств, сетей ЭВМ), ориентированная на качественный анализ и синтез таких систем (обнаружение блокировок, тупиковых ситуаций и узких мест, автоматич. Синтез параллельных программ и компонентов ЭВМ и др.). Введена К. Петри (С. Petri) в 60-х гг. 20 в. П. С.- это набор N=( Т, Р, F, М 0), где Т - конечное множество символов, наз. Переходами, Р - конечное мн..

- интеграл от векторнозначной функции по скалярной мере, являющийся т. Н. Слабым интегралом. Введен Б. Петтисом [1]. Пусть - векторное пространство функций со значениями в банаховом пространстве X, заданных на множестве со счетно аддитивной мерой m на s-алгебре подмножеств Е. Функция x(t).наз. Слабо измеримой, если для любого измерима скалярная функция f[x(t)]. Функция х(t).интегрируема по Петтису на измеримом подмножестве , если для любого интегрируема на Мфункция f[x(t)]и существует эле..

инвариантная форма леммы Шварц а,- обобщение Шварца леммы, состоящее в следующем. Пусть w=f(z) - ограниченная регулярная аналитич. Ция в единичном круге . Тогда для любых точек z1 и z2 круга W. Неевклидово расстояние d(w1, w2).их образов w1=f(z1).и w2=f(z2).не превосходит неевклидова расстояния d(z1, z2), то есть (1) Кроме того, имеет место неравенство (2) между элементами неевклидовой длины (дифференциальная форма П. Т., или леммы Шварца). Знаки равенства в (1) и (2) имеют место..

- группа классов обратимых пучков (или линейных расслоений). Более точно, пусть - окольцованное пространство. Пучок -модулей наз. Обратимым, если он локально изоморфен структурному пучку . Множество классов изоморфных обратимых пучков на Xобозначается Pic (X). Тензорное произведение определяет на множестве Pic(X) операцию, превращающую его в абелеву группу, наз. Группой Пикара пространства X. Группа Pic(X) естественно изоморфна группе когомологий , где - пучок обратимых элементов в Для ..