Skip to main content
LibreTexts - Ukrayinska

1: Генеративні ефекти - Замовлення та доповнення

  • Page ID
    66261
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    • 1.1: Що таке замовлення?
      Вище ми неофіційно говорили про дві різні впорядковані множини: порядок підключення системи та порядок на логічних помилкових ≤ true. Потім ми пов'язували ці дві впорядковані множини за допомогою спостереження Аліси Φ. Перш ніж продовжувати, нам потрібно зробити такі ідеї більш точними. Ми починаємо з огляду множин і відносин і дамо визначення попереднього замовлення - скорочення від попередньо впорядкованого набору - і велику кількість прикладів.
    • 1.2: Зустрічається та приєднується
      Як ми вже говорили, попередній порядок - це набір P, наділений порядком ≤, що стосується елементів. Відносно цього порядку певні елементи П можуть мати відмінні характеристики, як абсолютно, так і по відношенню до інших елементів. Ми обговорювали приєднання раніше, але ми обговорюємо їх знову зараз, коли ми створили певний формалізм.
    • 1.3: З'єднання Галуа
      Збереження зустрічей і приєднань, і, зокрема, питань, що стосуються генеративних ефектів, тісно пов'язане з теорією зв'язків Галуа, що є окремим випадком більш загальної теорії, яку ми обговоримо пізніше, а саме ад'юнкцій. Ми будемо використовувати деяку термінологію примикання при описі з'єднань Галуа.
    • 1.4: Короткий зміст та подальше читання
    • 1.5: Більше суми їх частин