Математика. Рубрика в журнале - Вестник Пермского университета. Математика. Механика. Информатика
О мощности множества всех множеств в теории множеств с самопринадлежностью
Статья научная
Описано свойство множества всех множеств - его несамоподобие, с использованием утверждения о количестве точек на прямой между двумя точками показано, что мощность множества всех множеств больше, чем мощность самоподобного множества.
Бесплатно
О некоторых свойствах полурешеток
Статья научная
Полурешетки являются, по сути дела, идемпотентными моно-полукольцами. Доказано, что элементы всякой полурешетки разделяются ее простыми идеалами. Дано мультипликативное представление полуколец с полурешеточным умножением. Отсюда следует, что любая полурешетка изоморфна некоторой решетке множеств ее простого спектра. Установлено, что изоморфность произвольных полурешеток эквивалентна гомеоморфности их простых спектров. Показано, что конечные цепи являются ретрактами во всех содержащих их полурешетках. Получены следствия. Сделаны дополняющие замечания.
Бесплатно
Статья научная
Рассматриваются непериодические группы. Доказана разрешимость одного класса непериодических неабелевых локально разрешимых групп.
Бесплатно
О периодических решениях обыкновенного дифференциального уравнения третьего порядка
Статья научная
Получены достаточные условия разрешимости краевой задачи для обыкновенного дифференциального уравнения третьего порядка в случае резонанса.
Бесплатно
О периодических решениях функционально-дифференциального уравнения третьего порядка
Статья научная
Получены достаточные условия разрешимости краевой задачи для функционально-дифференциального уравнения третьего порядка в случае резонанса.
Бесплатно
О пирсовских слоях полуколец с нормальной инволюцией
Статья научная
В работе исследуется связь локальных и глобальных условий (полу)нормальности инволюций в *-полукольцах. Под нормальной инволюцией понимается такая инволюция, при которой из равенства aa*= 0 следует a = 0; полунормальная инволюция определяется более слабым условием: aSa*= 0 влечет a = 0. Установлено, что в риккартовых *-полукольцах любая инволюция является нормальной, а в pq-бэровских – полунормальной. Доказано, что при наличии полунормальной инволюции множество центральных дополняемых идемпотентов совпадает с множеством центральных проекций, что может быть использовано при изучении пирсовского пучка *-полуколец. Основной результат работы – доказательство следующих результатов: 1) инволюция в *-полукольце S является нормальной тогда и только тогда, когда она нормальна во всех слоях пирсовского пучка *-полукольца S; 2) инволюция в *-полукольце S, булева алгебра центральных проекций которого конечна, является полунормальной тогда и только тогда, когда она полунормальна во всех слоях пирсовского пучка *-полукольца S.
Бесплатно
О порядках множеств подмножеств некоторых конечных множеств с самопринадлежностью
Статья научная
Доказаны, посредством применения понятия о характеристических функциях подмножеств, теоремы о порядках множества подмножеств конечного множества для двух частных случаев: а) конечного несамопринадлежащего множества простой структуры и б) для самопринадлежащего множества, чья внутренность есть множество пункта а). Указана схема общего алгоритма определения порядка множества подмножеств конечного множества с самопринадлежностью.
Бесплатно
О построении областей устойчивости решений дифференциальных уравнений, зависящих от параметров
Статья научная
Предлагается новый общий подход, позволяющий изучать задачу построения областей устойчивости нелинейных дифференциальных уравнений. Подход основан на модификации метода М. Розо исследования устойчивости линейных систем с периодическими коэффициентами, зависящими от малого параметра и асимптотических формул теории возмущений линейных операторов. Получены приближенные формулы, описывающие границы областей устойчивости.
Бесплатно
О предикативности лямбда-исчисления
Статья научная
На основании теоремы Нагорного об удвоении слов в алфавите показана предикативность лямбда исчисления, т. е. неформализуемость в лямбда-исчислении непредикативных конструкций. Этот результат совпадает с аналогичным выводом, полученным в теории мно -жеств с cамопринадлеженостью.
Бесплатно
О развитии метода функций Ляпунова для дифференциальных уравнений с бесконечным запаздыванием
Статья научная
Изучается задача об устойчивости по Ляпунову для неавтономного нелинейного дифференциального уравнения с бесконечным запаздыванием в пространстве с исчезающей памятью. Предполагается, что правая часть системы удовлетворяет условиям типа Каратеодори. На основе модифицированного метода "конечномерных" функций Ляпунова обоснованы достаточные условия асимптотической устойчивости, которые дополняют и обобщают известные результаты для уравнений с бесконечным запаздыванием.
Бесплатно
О разрешимости квадратичных вариационных задач с линейными ограничениями
Статья научная
Рассматриваются вопросы разрешимости квадратичных вариационных задач с линейными ограничениями в пространстве абсолютно непрерывных функций. Получены необходимые и достаточные условия разрешимости задач, а также условия положительности линейных операторов и квадратичных форм.
Бесплатно
О разрешимости на оси автономных дифференциальных уравнений с последействием
Статья научная
Изучается вопрос о существовании и структуре решений для линейных автономных функционально-дифференциальных уравнений на оси. В начале статьи приведен подробный обзор литературы по данной теме. Показана конечномерность пространства решений для однородных уравнений, решение которых принадлежит заданному пространству интегрально ограниченных функций,. Базис этого пространства образуют решения экспоненциального типа, порожденные корнями характеристического уравнения. Ключевой момент доказательства основного результата - разложение решения в ряд по системе экспонент с последующей трансформацией уравнения к виду, допускающему применение преобразования Фурье. Полученные результаты применяются к исследованию разрешимости сингулярного уравнения с последействием.
Бесплатно
О разрешимости сингулярного линейного дифференциального уравнения с опережающим аргументом
Статья научная
Цель данной работы - показать, что поведение решений некоторого класса сингулярных функционально-дифференциальных уравнений в окрестности особой точки, определяется асимптотическими свойствами некоторого дифференциального уравнения с запаздывающим аргументом на полуоси.
Бесплатно
О самопринадлежащих множествах как неподвижных точках
Статья научная
Указано, что самопринадлежащие множества являются неподвижными точками отображения множества всех множеств в себя, порождаемого отношением принадлежности (с учетом транзитивности принадлежности объектов, принадлежащих самопринадлежащему объекту).
Бесплатно
О свободе теории множеств с самопринадлежностью от известных парадоксов наивной теории множеств
Статья научная
Показано отсутствие в теории множеств с самопринадлежностью парадокса Мириманова, парадокса Кантора, парадокса Бурали-Форти; указано, что парадоксы круга принадлежности и Рассела разрешены в предыдущих работах.
Бесплатно
О соотношении мощностей множества Рассела и множества всех множеств
Статья научная
Показано, что мощность множества, содержащего все несамопринадлежащие множества (множества Рассела), относительно мощности множества всех множеств есть бесконечно малая величина, т. е. несамопринадлежащих множеств бесконечно мало по сравнению с самопринадлежащими множествами.
Бесплатно
О сосуществовании циклов и хаотических решениях разностных уравнений со случайными параметрами
Статья научная
Рассматриваются разностные уравнения, правая часть каждого из которых в данный момент времени зависит не только от значения в предыдущий момент, но и от случайного параметра, принимающего значения в заданном множестве Q. Для данной вероятностной модели исследованы различные динамические режимы развития, которые имеют определенные отличия от режимов детерминированных моделей и более полно отображают процессы, происходящие в реальных физических системах. Получены условия существования отталкивающего цикла, выполненные для всех значений случайного параметра и выполненные с вероятностью единица, а также условия, при которых решения хаотические с вероятностью единица. Показано, что хаотические решения существуют в том случае, когда уравнение со случайными параметрами либо не имеет ни одного цикла, либо все циклы отталкивающие с вероятностью единица. Исследуется также задача о сосуществовании стохастических циклов различного периода.
Бесплатно
О структурном изоморфизме множеств подмножеств структурно изоморфных множеств
Статья научная
Описано свойство структурного изоморфизма множеств подмножеств структурно изоморфных множеств, в теории множеств с самопринадлежностью. Указана прикладная интерпретация этого свойства в лингвистической области. Минимальная модельная область для формального языка с самоссылочностью - все множество всех множеств.
Бесплатно
О счётности последователей типа PN и основаниях теории меры
Статья научная
Описано свойство последователей, следующих за натуральным рядом (первых бесконечных последователей типа PN), показано, что эти последователи и их всевозможные взаимные степени - счётны. Указано на приложение этого свойства к основаниям теории меры.
Бесплатно
О счётности простых деревьев и следствиях из неё
Статья научная
Ввиду доказанной ранее некорректности диагонального метода (Зенкин) переобоснованы, посредством семантики самопринадлежности, теоремы Гёделя, а также утверждения о несчетности количества точек прямой; указано на возможность лишь счетного количества обозначений, построен пересчет обозначений n-ичных разложений чисел на отрезке [0, 1).
Бесплатно
