Показано, що функтор ймовірнісних мір утворює монаду на категорії ультраметричних просторів та нерозтягувальних відображень; природне перетворення носія є морфізмом монади ймовірнісних мір у монаду, породжену функтором гіперпростору. Визначено аналог ультраметризації Гартога та де Вінка для простору ідемпотентних мір (мір Маслова) на ультраметричних просторах. Показано, що утворений функтор у категорії ультраметричних просторів і нерозтягувальних відображень утворює монаду. Показано, що функтор ідемпотентних мір у категорії ультраметричних просторів зберігає клас повних ультраметричних просторів. Показано, що аналог конструкції Гартога та де Вінка напівнеперервних згори ємностей з компактними носіями на ультраметричних просторах породжує функтор у категорії ультраметричних просторів; цей функтор не зберігає повноти.

  Скачати повний текст

Дисертацію присвячено дослідженню категорних властивостей функціональних просторів. Розв'язано задачі існування функторіальних топологій і функторіальних диференційованих структур із заданими властивостями на функціональних просторах. Встановлено загальні критерії існування продовження контраваріантних функторів на категорії Клейслі і підняття контраваріантних функторів на категорії Ейленберга-Мура монад в термінах існування природних перетворень спеціального вигляду. Ці критерії застосовано до контраваріантного функтора просторів неперервних функцій в топології поточкової збіжності та його трансфінітних ітерацій для різних монад в категоріях тихоновських просторів.

  Скачати повний текст

Проведено (асоціативну) бінарну операцію, задану на дискретному просторі S , до (асоціативної) правотопологічної операції на просторі гіперпросторів включення G ( S ) та його підпросторах і вивчено її взаємозв'язок з гратковою структурою простору G ( S ). Описано мінімальні (ліві) ідеали, топологічні й алгебричні центри, скоротні справа (зліва) елементи, праві (ліві) нулі, комутативність напівгруп гіперпросторів включення та максимальних зчеплених систем. Одержано дуальну характеризацію гіперпросторів включення зі скінченними носіями. Вивчено самозачеплені множини в групах та обчислено їх мінімальну потужність для деяких груп. Наведено методи теорії груп та напівгруп, теорії категорій, функторів і монад, загальні теоретико-множинні, комбінаторні та тополого-алгебраїчні методи.

  Скачати повний текст

Розроблено концепцію інтертеоретичних структур когнітивного простору людини. Проаналізовано причини, що протидіють інтегруванню феномену цілісності у простір міждисциплінарного дискурсу. Зазначено, що метатеоретичне виродження ліній демаркації стає наслідком епістемологічної невизначеності філософського антропологізму, розроблення інтертеорії когнітивної дії усталює апроксимацію до синтетичної філософії людини та дозволяє виявити межі інтеграції антропологічного принципу. Особистість як інтенціональна система організована згідно з принципом редукції до стану невизначеності (мережної архітектури). Активні та пасивні наміри подвійно ущільнюють каузальні зв'язки світу. Поле когнітивної взаємодії семантичного вузла у життєвому світі оформляється за допомогою інтенціональної геометрії. Геометричну форму інтенцій, правила їх посилення, інваріанти фіксують когнітивні наміри природничих наук, когнітивні теорії мови, моралі, суспільства, комунікації. Можливість їх практичного впровадження досліджено на прикладі еволюції поглядів на природу "ефіру" (вкладеність семантичних мереж концептів). Відображення інертеоретичних структур науки та філософії ілюмінує "інтеграційні межі" особистості: цілісність монади інтенціонального вузла, діади каузальних інтенцій світу та тріади когнітивних інтенцій тіло - інтенція - свідомість.

  Скачати повний текст

У ході дослідження побудовано монаду гіперпростору в грубій категорії та доведено теорему про продовження функтора G-симетричного степеня на категорію Клейслі цієї монади. Досліджено ряд властивостей функторів у грубій категорії, зокрема, значну увагу приділено відкритості функторів. Запроваджено поняття антилоусонівської напівгратки, що у грубій категорії є аналогом поняття Лоусона у категорії компактів. Описано категорію H-алгебр монади гіперпростору. Наведено приклади грубих напівграток, що не є антилоусонівськими напівгратками та одержано необхідну умову для того, щоб напівгратка була антилоусонівською. Означено аналог поняття нормального функтора в грубій категорії та доведено характеризаційну теорему для функтора G-симетричного степеня в цій категорії.

  Скачати повний текст

Доведено, що трансфінітне продовження асимптотичного виміру asInd є тривіальним. Побудовано нетривіальне трансфінітне продовження асимптотичного виміру asdim, а також поглинальні простори для борелівських класів зліченновимірних просторів. Доведено, що підпростір у гіперпросторі евклідового простору, що складається з компактів, для яких відображення найближчої точки є неоднозначним на всюди щільній множині, гомеоморфний гільбертовому простору. Наведено повну класифікацію просторів і відображень імовірнісних мір над борелівськими підмножинами гільбертового кубу. Побудовано нормальний функтор H на базі конструкції Гартмана - Мицельського. Доведено відкритість функтора H й охарактеризовано компакти X, для яких HX гомеоморфний тихоновському кубу. Введено клас L-монад і показано, що кожна така монада має функціональне представлення. Побудовано L-монаду, алгебри якої не вкладаються в добуток відрізків. Знайдено конструкцію, що зіставляє кожній алгебрі довільної L-монади структуру опуклості, з'ясовано, що ці структури зберігаються морфізмами алгебр. Доведено м'якість відкритих відображень з опуклими шарами для бінарних опуклостей, а також відкритість функтора O й охарактеризовано компакти X, для яких OX гомеоморфний тихоновському кубу. Досліджено клас барицентрично м'яких компактів та розв'язано два питання В.В.Федорчука.

  Скачати повний текст

Досліджено спадщину православного філософа другої половини XIX ст. П.Д.Юркевича, який поєднував в своїй творчості західноєвропейську філософську освіченість і православну етичну спрямованість. Завдяки такому синтезу створено оригінальну ціннісно-символічну картину соціальної дійсності, за своєю суттю, монадологічний образ соціуму. Світ Юркевича - цілісний організм, а суспільство - жива спільнота самобутніх особистостей. Вся картина соціальної дійсності структурується за допомогою бінарних опозицій світоглядного характеру, таких, як живе - мертве, внутрішнє - зовнішнє, самобутнє - пасивне, при цьому перші члени опозицій мають ціннісний пріоритет. Однак дані опозиції не є жорсткими. Ця обставина, як і орієнтація на гармонійне начало, повноту і цілісність, свідчить про те, що православне мислення, яке репрезентує П.Д.Юркевич, не обов'язково є бінарним. Це, в свою чергу, свідчить про можливості не лише дуального механізму розвитку нашої культури, наслідком якого є конфлікти і соціальні потрясіння, але й тернарного механізму розвитку, що безперечно навіює соціальний оптимізм.

  Скачати повний текст

Дисертація присвячена дослідженню класів неадитивних мір, породжених трикутними нормами *-мір). Такі міри означені як функціонали на просторах неперерівних функцій зі значеннями в одиничному відрізку. Простори *-мір наділяються слабкою* топологією і в цій топології утворюють компактні гаусдорфові простори. Показана функторіальність конструкції простору *-мір у категорії компактних гаусдорфових просторів та їх неперервних відображень. Для просторів *-мір побудовано аналог відображення Мілютіна, відомого для просторів ймовірнісних мір та ідемпотентних мір, що дозволяє зводити загальний випадок до нульвимірного. Ідемпотентна математика — частина математики, в якій одна зі звичайних арифметичних операцій в R замінюється ідемпотентною операцією (наприклад, максимум). Результати та методи ідемпотентної математики знаходять численні застосування в різних частинах математики, а також в інформатиці та інших дисциплінах. Метою дисертацiйної роботи є дослiдження трикутних норм ∗ в категорiї компактних гаусдорфових просторiв; дослiдження просторiв ∗-мiр з компактними носiями на ультраметричних (неархiмедових) просторах; дослiдження структури монади, породженої функтором ∗-мiр з компактними носiями на категорiї ультраметричних просторiв i нерозтягуючих вiдображень, i встановлення деяких фундаментальнi властивостi таких монад; означення iгор в ∗-значних стратегiях i доведення неперервностi функцiй виплат для цих iгор для застосування в теорiї рiвноваги. У дослідженнях проблематики дисертації застосовуються методи теорії функторів у топологічних категоріях, методи загальної топології, ідемпотентної математики, теорії категорій та теорії рівноваги. У розділі “Простори *-мір на компактних гаусдорфових просторах” для кожної трикутної норми * ми запроваджуємо поняття *-міри як функціонала на просторі неперервних функцій C(X, I). Множина усіх *-мір на компактному гаусдорфовому просторі наділяється слабкою* топологією. Показано, що утворений простір *-мір є компактним гаусдорфовим. Ця конструкція визначає коваріантний функтор на категорії компактних гаусдорфових просторів і неперервних відображень. Також побудовано аналог відображення Мілютіна, вперше означеного для ймовірнісних мір, для *-мір та напiвнеперервних згори ємностей. Крім того, побудовано опис *-мір як замкнених множин добутку простору на одиничний сегмент з певними властивостями. Доведено, що множина ∗-мiр зi скiнченними носiями всюди щiльна в просторi всiх ∗-мiр. Одним з основних результатів розділу є опис просторів *-мір як гіперпросторів множин з певними властивостями. Це дає змогу порівнювати між собою простори *-мір для різних трикутних норм *.У розділі “Простори *-мір з компактними носіями на ультраметричних просторах” розглядається ультраметричний випадок (нагадаємо, що метрика називається ультраметрикою, якщо вона задовольняє сильну нерівність трикутника), побудована ультраметризація просторів *-мір з компактними носіями на ультраметричних просторах. Показано, що утворена конструкція визначає коваріантний функтор у категорії ультраметричних просторів та нерозтягуючих відображень. Він є аналогом для *-мір функторів, означених для ймовірнісних мір, ідемпотентних мір та напівнеперервних зверху ємностей з компактними носіями. У дисертації доведено, що цей функтор є локально нерозтягуючим. Також доведено, що простір *-мір з компактними носіями на повному ультраметричному просторі є повним ультраметричним простором. Одним з основних результатів цього розділу є збереження функтором *-мір класу повних ультраметричних просторів. Розділ “Монади, породжені функторами *-мір” присвячений структурі монади, що визначається функторами *-мір на категорії Ultr ультраметричних просторів і нерозтягуючих відображень. Встановлено деякі фундаментальні властивості таких монад. Наведено приклади неізоморфних монад для різних трикутних норм *. Зокрема, така структура дозволяє визначити тензорний добуток *-мір у категорії Ultr. Для цього розглянуто максимальну ультраметрику на добутку ультраметричних просторiв. У свою чергу, ми визначаємо ігри в *-значних стратегіях на ультраметричних просторах і доводимо неперервність функцій виплат для цих ігор. Нарешті, доведено, що будь-яку рівновагу для ігор у *-значних стратегіях можна апроксимувати майже рівновагами, що складаються з *-мір зі скінченними носіями.^UThe dissertation is dedicated to the study of classes of non-additive measures generated by triangular norms *-measures). Such measures are defined as functionals on spaces of continuous functions with values in the unit interval. The spaces of *-measures are equipped with the weak* topology and form compact Hausdorff spaces in this topology. The functoriality of the construction of *-measure spaces in the category of compact Hausdorff spaces and their continuous mappings is demonstrated. For *-measure spaces, an analogue of the Milyutin mapping is constructed, which is known for probability measures and idempotent measures, allowing the reduction of the general case to the zero-dimensional one. Idempotent mathematics is a part of mathematics where one of the usual arithmetic operations in R is replaced by an idempotent operation (such as maximum). The results and methods of idempotent mathematics find numerous applications in various branches of mathematics, as well as in computer science and other disciplines. The purpose of the dissertation work is to investigate triangular norms * in the category of compact Hausdorff spaces, to study *-measure spaces with compact supports on ultrametric (non-Archimedean) spaces, to explore the structure of the monad generated by the functor of *-measure spaces with compact supports in the category of ultrametric spaces and non-expanding mappings, and to establish certain fundamental properties of such monads. Furthermore, the dissertation defines games in *-valued strategies and proves the continuity of payoff functions for these games for applications in game theory and equilibrium. It also covers the structure of the monad generated by the *-measure functor and its application to equilibrium in games with *-valued strategies. The research in the dissertation employs methods from functor theory in topological categories, general topology, idempotent mathematics, category theory, and game theory. In the section “Spaces of *-measure on Compact Hausdorff Spaces”, for each triangular norm *, we introduce the concept of *-measure as a functional on the space of continuous functions C(X, I). The set of all -measures on a compact Hausdorff space is equipped with the weak* topology. It is shown that the resulting *-measure space is a compact Hausdorff space. This construction defines a covariant functor in the category of compact Hausdorff spaces and continuous mappings. Moreover, an analog of the Milyutin mapping, first defined for probability measures, is constructed for *-measures. Additionally, a description of *-measures as closed subsets of the product space with a unit segment and certain properties is provided. It is proved that the set of ∗-measures with finite supports is everywhere dense in the space of all ∗- measures. One of the main results of this section is the description of *-measure spaces as hyperspaces of sets with certain properties. This allows for the comparison of *-measure spaces for different triangular norms *. In the section "Spaces of *-measure with Compact Supports on Ultrametric Spaces", we consider the case of ultrametric spaces (recall that a metric is called ultrametric if it satisfies the strong triangle inequality) and construct the ultrametricization of spaces of *-measures with compact supports on ultrametric spaces. It is shown that this construction defines a covariant functor in the category of ultrametric spaces and non-expansive mappings. It serves as an analogue for *-measures of functors defined for probability measures, idempotent measures, and upper semicontinuous capacities with compact supports. The dissertation proves that this functor is locally non-expansive. Additionally, it is demonstrated that the space of *-measures with compact supports on a complete ultrametric space is itself a complete ultrametric space. One of the main results of this section is the preservation of the class of complete ultrametric spaces by the functor of *-measures. This section, "Monads generated by functors of *-measure" is dedicated to the structure of a monad defined by *-measure functors on the category of Ultr, which consists of ultrametric spaces and non-expansive mappings. Several fundamental properties of such monads are established. Examples of non-isomorphic monads for different triangular norms * are provided. In particular, this structure allows for defining the tensor product of *-measures in the category Ultr. For this purpose, the maximal ultrametric on the product of ultrametric spaces is considered. Furthermore, we define games in *-valued strategies on ultrametric spaces and prove the continuity of payoff functions for these games. Finally, it is proven that any equilibrium for games in *-valued strategies can be approximated by almost equilibria composed of *-measures with finite supports.