From a5ca968cfb0ff76ed97487e938f86d17159c7b1f Mon Sep 17 00:00:00 2001
From: Andrew Guschin <saintruler@gmail.com>
Date: Sat, 2 Oct 2021 22:02:14 +0400
Subject: =?UTF-8?q?=D0=94=D0=BE=D0=B1=D0=B0=D0=B2=D0=B8=D0=BB=20=D0=BB?=
 =?UTF-8?q?=D0=B5=D0=BA=D1=86=D0=B8=D0=B8=20=D0=BF=D0=BE=20=D0=9F=D1=80?=
 =?UTF-8?q?=D0=B8=D0=BA=D0=BB=D0=B0=D0=B4=D0=BD=D0=BE=D0=B9=20=D1=83=D0=BD?=
 =?UTF-8?q?=D0=B8=D0=B2=D0=B5=D1=80=D1=81=D0=B0=D0=BB=D1=8C=D0=BD=D0=BE?=
 =?UTF-8?q?=D0=B9=20=D0=B0=D0=BB=D0=B3=D0=B5=D0=B1=D1=80=D0=B5?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 sem5/universal-algebra/lectures/lecture1.tex | 50 ++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 sem5/universal-algebra/lectures/lecture1.tex

(limited to 'sem5/universal-algebra/lectures/lecture1.tex')

diff --git a/sem5/universal-algebra/lectures/lecture1.tex b/sem5/universal-algebra/lectures/lecture1.tex
new file mode 100644
index 0000000..98db9dc
--- /dev/null
+++ b/sem5/universal-algebra/lectures/lecture1.tex
@@ -0,0 +1,50 @@
+% Лекция 1 (03.09.21)
+\section{Алгебра отношений}
+Обозначение множеств:
+\begin{itemize}
+  \item $A = \{ a : P(A) \}$
+  \item $[0, 1] = \{ x : x \in R \land 0 \leq x \leq 1 \}$
+  \item $A = \{ 0, 1, \dots, 10 \}$
+\end{itemize}
+
+Основные действия над множествами:
+\begin{itemize}
+  \item Сравнение множеств: $A = B$ означает, что $|A|=|B| \land \forall x \in A \iff x \in B$
+  \item Объединение: $A \cup B$ --- множество, состоящее из элементов $A$ или $B$. $A \cup B = \{ x : x \in A \lor x \in B \}$
+  \item Разность множеств: $A - B = \{ x : x \in A \land x \not\in B \}$
+\end{itemize}
+
+\begin{definition}
+  $\{ x, y \}$ называется неупорядоченной парой элементов $x$, $y$.
+\end{definition}
+
+\begin{definition}
+  Множество $(a, b) = \{ a, \{a, b\} \}$ называют упорядоченной парой.
+\end{definition}
+
+$A_1 \cdot \ldots \cdot A_n = \{ (a_1, a_2, \dots, a_n) : \dots \}$
+
+\dots
+
+\begin{definition}
+  Всюду определённое и однозначеное бинарное отношение $\phi \subset A \times B$ обозначается $\phi: A \to B$ и
+  называется отображением $A$ в $B$, или \textit{функцией} на множестве $A$ со значениями в множестве $B$.
+\end{definition}
+
+Для отображения $\phi: A \to B$:
+\begin{itemize}
+  \item Область определения $D_p = A$ 
+  \item Область значений $E_p = B$
+\end{itemize}
+
+\begin{definition}
+  Отображение $\phi: A \to B$ называется:
+  \begin{itemize}
+    \item \textit{Преобразованием} множества $A$, если $A = B$;
+    \item \textit{Отображением} множества $A$ на множество $B$, если $E_\phi = B$;
+    \item \textit{Взаимно однозначным отображением} множества $A$ в множество $B$, если оно является взаимно однозначным бинарным отношением;
+    \item \textit{Взаимно однозначным отображением} $A$ на $B$ если оно взаимно однозначно и $E_\phi = B$;
+    \item \textit{Перестановкой} множества $A$, если оно является взаимно однозначным отображением множества $A$ на себя.
+  \end{itemize}
+\end{definition}
+
-- 
cgit v1.2.3

