From 9a5366bf73427f708f9354c20ae6b869b0562280 Mon Sep 17 00:00:00 2001
From: unlockable <g@unlockableworld.com>
Date: Thu, 15 Sep 2022 07:57:29 +0800
Subject: [PATCH] =?UTF-8?q?=E7=AC=AC=E4=B8=80=E8=AF=BE=E3=80=82?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 01LetsCount.tex | 261 ++++++++++++++++++++++++++++++++++++++++++++++++
 boxes.tex       |  91 +++++++++++++++++
 离散数学.tex    |  47 +++++++++
 3 files changed, 399 insertions(+)
 create mode 100644 01LetsCount.tex
 create mode 100644 boxes.tex
 create mode 100644 离散数学.tex

diff --git a/01LetsCount.tex b/01LetsCount.tex
new file mode 100644
index 0000000..e42b825
--- /dev/null
+++ b/01LetsCount.tex
@@ -0,0 +1,261 @@
+\chapter{集合}
+\section{集合的基本概念}
+
+\begin{definition}
+    \label{集合定义}
+    \textbf{集合}是一些确定的、作为整体识别的、互相区别的对象的总体。组成集合的对象称为集合的\newnoun{成员}{member}或\newnoun{元素}{element}。
+\end{definition}
+
+一般用大写字母表示集合，用小写字母表示元素。
+
+\begin{example}
+    $A$表示一个集合，$a$表示元素。
+\end{example}
+
+然而定义\ref{集合定义}是不严谨的：
+
+$$\mbox{令} \ A = \{a \mid a \notin a \}.$$
+$$\mbox{则} \ A \in A \Leftrightarrow A \notin A.$$
+
+若$A \in A$，则由$A$的定义，$A \notin A$；因此$A \in A \Rightarrow A \notin A$.
+
+若$A \notin A$，则由$A$的定义，$A \in A$；因此$A \notin A \Rightarrow A \in A$.
+
+解决方法：不允许$x \in x$。
+
+如果$a$是$A$的元素，记为$a \in A$，读作``$a$属于$A$''``$a$是$A$的元素''``$a$是$A$的成员''``$a$在$A$之中''或``$A$包含$a$''。
+
+空集$\varnothing$和只含有有限多个元素的集合称为\newnoun{有限集}{finite sets}，否则称为\newnoun{无限集}{infinite sets}。有限集合中元素的个数称为集合的\newnoun{基数}{cardinality}。集合$A$的基数表示为$\vert A \vert$。
+
+\section{集合的表示方法}
+\begin{enumerate}
+    \item 列举法\\
+    将集合的元素列举出来。
+    \begin{example}
+            $A = \{ a, b, c, d\}$，$Odd = \{ 1, 3, 5, 7, 9\}$
+    \end{example}
+    \item 描述法\\
+    利用一项规则（一个公式），描述集合中的元素的共同性质，以便决定某一物体是否属于该集合。
+    \begin{example}
+        $C = \{ x \in \mathbb{R} \mid 1 \leqslant x \leqslant 5 \}$，$\mathbb{N} = \{ n \in \mathbb{Z} \mid n > 0\}$，$\mathbb{Z}_+ = \{n \in \mathbb{Z} \mid n \geqslant 0 \}$
+    \end{example}
+    \item 归纳法\\
+    用递归方法定义集合。
+\end{enumerate}
+
+说明：
+\begin{enumerate}
+    \item $C = \{ x \in \mathbb{R} \mid 1 \leqslant x \leqslant 5 \} = \{ y \in \mathbb{R} \mid 1 \leqslant y \leqslant 5 \}$，两种表示方法表示同一个集合。
+    \item 集合中的元素是无序的：$\{ a, b, c \} = \{ b, c, a\} = \{ c, a, b\}$
+    \item 集合中的元素可能也是集合：$A = \{1, 2, \{ 1 \} , \{ 1, 2, 3 \} \}$，$1 \in A$，$\{ 1 \} \in A$。
+\end{enumerate}
+
+\section{集合的关系}
+\begin{axiom}
+    外延性公理（集合相等）：两个集合是相等的，当且仅当它们有相同的元素。
+\end{axiom}
+
+两个集合$A$和$B$相等，记作$A = B$，不相等记作$A \neq B$。
+
+注：$A = B \Leftrightarrow \forall x \ ( x \in A \Leftrightarrow x \in B )$
+
+\begin{definition}
+    设$A$、$B$是任意两个集合，如果$A$的每一个元素都是$B$的元素，则称集合$A$是集合$B$的\newnoun{子集合}{subset}或\textbf{子集}，或称$A$包含在$B$内，记为$A \subseteq B$；或称$B$包含$A$，记为$B \supseteq A$，即$A \subseteq B \Leftrightarrow \forall x \ (x \in A \rightarrow x \in B)$；若还有$A \neq B$，则称$A$是$B$的\newnoun{真子集}{proper subset}，记为$A \subset B$。
+\end{definition}
+
+设$A$、$B$、$C$为任意集合，包含关系具有：
+\begin{itemize}
+    \item 自反性：$A \subseteq A$；
+    \item 传递性：若$A \subseteq B$且$B \subseteq C$，则$A \subseteq C$；
+    \item 反对称性：$A = B \Leftrightarrow A \subseteq B \text{且} B \subseteq A$。
+\end{itemize}
+满足这三条性质的关系被称为\textbf{偏序关系}。
+
+数集：$\varnothing \subset \mathbb{N} \subset \mathbb{Z}_+ \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$。
+
+\section{特殊的集合：空集}
+\begin{definition}
+    不含任何元素的集合称为\textbf{空集}，记作$\varnothing$。
+\end{definition}
+
+\begin{theorem}
+    对于任意一个集合$A$，$\varnothing \subseteq A$。
+\end{theorem}
+
+\begin{proof}
+    反证法：假设存在一个集合$A$，使得$\varnothing \subseteq A$为假。则存在$x \in \varnothing$且$x \notin A$，这与空集的定义矛盾，所以$\varnothing \subseteq A$，空集是任意集合的子集。
+\end{proof}
+
+\begin{corollary}
+    空集是唯一的。
+\end{corollary}
+
+\begin{proof}
+        设$\varnothing_1$，$\varnothing_2$是两个空集，则$\varnothing_1 \subseteq \varnothing_2$，$\varnothing_2 \subseteq \varnothing_1$，得$\varnothing_1 = \varnothing_2$，所以空集是唯一的。
+\end{proof}
+
+\section{集合的运算及其性质}
+\subsection{\newnoun{交集}{intersection}}
+\begin{definition}
+    设任意两个集合$A$和$B$，由$A$和$B$的所有共同元素组成的集合，称为$A$和$B$的\textbf{交集}，记为$A \cap B$。$A \cap B = \{ x \mid x \in A \land x \in B \}$。
+\end{definition}
+
+性质：
+\begin{enumerate}[label=(\arabic*)]
+    \item $A \cap A = A$；
+    \item $A \cap \varnothing = \varnothing$；
+    \item $A \cap B = B \cap A$；
+    \item $(A \cap B) \cap C= A \cap (B \cap C)$；
+    \item $A \cap B \subseteq A$，$A \cap B \subseteq B$。
+\end{enumerate}
+
+\subsection{\newnoun{并集}{union}}
+\begin{definition}
+    设任意两个集合$A$和$B$，所有属于$A$或属于$B$的元素组成的集合，称为$A$和$B$的\textbf{并集}，记作$A \cup B$。$A \cup B = \{ x \mid x \in A \lor x \in B \}$。
+\end{definition}
+
+性质：
+\begin{enumerate}[label=(\arabic*)]
+    \item $A \cup A = A$；
+    \item $A \cup \varnothing = A$；
+    \item $A \cup B = B \cup A$；
+    \item $(A \cup B) \cup C = A \cup (B \cup C)$；
+    \item $A \subseteq A \cup B$，$B \subseteq A \cup B$。
+\end{enumerate}
+
+\begin{theorem}
+    设$A$，$B$，$C$为三个集合，则下列分配律成立。
+    \begin{enumerate}
+        \item $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$；
+        \item $A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$。
+    \end{enumerate}
+\end{theorem}
+\begin{proof}
+    对于$A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$：
+
+    1. 若$x \in A \cup (B \cap C)$，则$x \in A$或$x \in B \cap C$。（1）若$x \in A$，则$x \in (A \cup B) \cap (A \cup C)$；（2）若$x \in B \cap C$，则$x \in A \cup B$且$x \in A \cup C$，因此$x \in (A \cup B) \cap (A \cup C)$。
+    
+    2. 若$x \in (A \cup B) \cap (A \cup C)$，那么$x \in A \cup B$且$x \in A \cup C$。因此$x \in A$或$x \in B \cap C$。因此$x \in A \cup (B \cap C)$。
+
+    因此$A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$。
+\end{proof}
+$A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$的证明与此相似。
+
+\begin{theorem}
+    设$A$，$B$为任意两个集合，则下列吸收律成立。
+    \begin{enumerate}
+        \item $A \cup (A \cap B) = A$；
+        \item $A \cap (A \cup B) = A$。
+    \end{enumerate}
+\end{theorem}
+
+\begin{proof}
+    思路：
+    \begin{enumerate}
+        \item $A \cap B \subseteq A \subseteq A \cup (A \cap B)$；
+        \item $A \cap (A \cup B) \subseteq A \subseteq (A \cup B)$。
+    \end{enumerate}
+\end{proof}
+
+\begin{theorem}
+    $A \subseteq B \Leftrightarrow A \cup B = B \Leftrightarrow A \cap B = A$。
+\end{theorem}
+
+\subsection{\newnoun{差集}{difference}}
+\begin{definition}
+    设$A$，$B$是任意两个集合，所有属于$A$而不属于$B$的元素组成的集合称为$A$和$B$\textbf{差集}（或$B$对$A$的补集，或相对补），记作$A \setminus B$。$A \setminus B = \{ x \mid x \in A \land x \notin B \}$。
+\end{definition}
+
+\subsection{\newnoun{补集}{complement}}
+\begin{definition}
+    设$E$为全集，任一集合$A$对$E$的补，称为$A$的绝对\textbf{补}，记作$A^\mathrm{C}$。$A^\mathrm{C} = E \setminus A = \{ x \mid x \in E \land x \notin A \}$。
+\end{definition}
+
+性质：
+\begin{enumerate}
+    \item $(A^\mathrm{C})^\mathrm{C} = A$；
+    \item $E^\mathrm{C} = \varnothing$；
+    \item $\varnothing ^\mathrm{C} = E$；
+    \item $A \cup A^\mathrm{C} = E$；
+    \item $A \cap A^\mathrm{C} = \varnothing$。
+\end{enumerate}
+
+\begin{theorem}
+    设$A$，$B$为任意两个集合，则下列关系式成立。
+    \begin{enumerate}
+        \item $(A \cup B)^\mathrm{C} = A^\mathrm{C} \cap B^\mathrm{C}$；
+        \item $(A \cap B)^\mathrm{C} = A^\mathrm{C} \cup B^\mathrm{C}$；
+        \item $A \setminus B = A \cap B^\mathrm{C}$；
+        \item $A \setminus B = A \setminus (A \cap B)$。
+    \end{enumerate}
+\end{theorem}
+
+\begin{theorem}
+    设$A$，$B$，$C$为三个集合，则$A \cap (B \setminus C) = (A \cap B) \setminus (A \cap C)$。
+\end{theorem}
+
+\begin{theorem}
+    设$A$，$B$为任意两个集合，若$A \subseteq B$，则：
+    \begin{enumerate}
+        \item $B^\mathrm{C} \subseteq A^\mathrm{C}$；
+        \item $(B \setminus A) \cup A = B$。
+    \end{enumerate}
+\end{theorem}
+
+\subsection{\newnoun{对称差}{symmertic difference}}
+\begin{definition}
+    设$A$、$B$是任意两个集合，集合$A$和$B$的\textbf{对称差}，其元素或属于$A$，或属于$B$，但不能既属于$A$又属于$B$，记作$A \triangle B$ 。$A \triangle B = (A \setminus B) \cup (B \setminus A)$。
+\end{definition}
+
+性质：
+\begin{enumerate}
+    \item $A \triangle B = B \triangle A$；
+    \item $A \triangle \varnothing = A$；
+    \item $A \triangle A = \varnothing$；
+    \item $A \triangle B = (A \cap B^\mathrm{C}) \cup (A^\mathrm{C} \cap B)$；
+    \item $(A \triangle B) \triangle C = A \triangle (B \triangle C)$。
+\end{enumerate}
+
+\section{幂集的基数}
+\begin{definition}
+    给定集合$A$，由$A$的所有子集为元素组成的集合称为$A$的\textbf{幂集}，记作$\wp (A)$或$2^A$。$\wp (A) = \{ S \mid S \subseteq A \}$。
+\end{definition}
+
+\begin{theorem}
+    如果有限集$A$有$n$个元素，则其幂集有$2^n$个元素。
+\end{theorem}
+
+\section{序列}
+\begin{theorem}
+    由$k$种指定元素组成的长度为$n$的序列的数量为$k^n$。
+\end{theorem}
+
+\begin{theorem}
+    （乘法原理）设事件$A_1$有$k_1$种产生方式，事件$A_2$有$k_2$种产生方式，\mbox{……，}事件$A_n$有$k_n$种产生方式，则事件$A_1, A_2, \ldots , A_n$依次接连产生共有$k_1k_2\ldots k_n$种不同方式。注意：事件$A_1, A_2, \ldots , A_n$必须是相互独立的。
+\end{theorem}
+
+\section{排列与组合}
+\begin{definition}
+    从$n$个不同的元素中，取$k$个并按次序排列，称为从$n$中取$k$个的一个\textbf{排列}，全部这样的排列总数记为$P(n, k)$。若$k=n$，则称为$n$个元素的一个\newnoun{置换}{permutation}，且$P(n,n)=n!$。
+\end{definition}
+
+\begin{definition}
+    从$n$个不同的元素中，取$k$个但是不考虑次序的时候，称为从$n$中取$k$个的一个\textbf{组合}，全部这样的组合总数记为$C(n, k)$或$\binom{n}{k}$。 % n \choose k 或者$\binom{n}{k}$
+\end{definition}
+
+\begin{theorem}
+    $P(n, k) = \frac{n!}{(n-k)!}$。
+\end{theorem}
+
+\begin{theorem}
+    $C(n, k) = \binom{n}{k} = \frac{n!}{k!(n-k)!}$。
+\end{theorem}
+
+\begin{theorem}
+    组合数的性质：
+    \begin{enumerate}
+        \item $C(n, k) = C(n,n-k)$；
+        \item 对于$n>k>0$，$C(n-1, k-1) + C(n-1, k) = C(n, k)$；
+        \item $C(n, 0) + C(n, 1) + \cdots + C(n, n) = 2^n$。
+    \end{enumerate}
+\end{theorem}
\ No newline at end of file
diff --git a/boxes.tex b/boxes.tex
new file mode 100644
index 0000000..b711572
--- /dev/null
+++ b/boxes.tex
@@ -0,0 +1,91 @@
+\usepackage{newtxtext}
+\usepackage[dvipsnames,svgnames]{xcolor}
+\usepackage[strict]{changepage} % 提供一个 adjustwidth 环境
+\usepackage{framed} % 实现方框效果
+
+% environment derived from framed.sty: see leftbar environment definition
+\definecolor{redshade}{rgb}{1.00,0.90,0.90} % 竖线设置为LightCoral
+\definecolor{greenshade}{rgb}{0.90,0.99,0.91} % 竖线设置为Green
+\definecolor{brownshade}{rgb}{0.99,0.97,0.93} % 竖线设置为BurlyWood
+\definecolor{blueshade}{rgb}{0.95,0.95,1} % 竖线设置为
+\definecolor{grayshade}{rgb}{0.90,0.90,0.90} % 竖线设置为gray
+
+\newenvironment{colordefinition}{
+\def\FrameCommand{
+\hspace{1pt}
+{\color{LightCoral}\vrule width 2pt}%
+{\color{redshade}\vrule width 4pt}%
+\colorbox{redshade}%
+}
+\MakeFramed{\advance\hsize-\width\FrameRestore}
+\noindent\hspace{-4.55pt}
+\begin{adjustwidth}{}{7pt}
+\vspace{2pt}\vspace{2pt}
+}
+{
+\vspace{2pt}\end{adjustwidth}\endMakeFramed
+}
+
+\newenvironment{colorexample}{
+\def\FrameCommand{
+\hspace{1pt}
+{\color{DarkBlue}\vrule width 2pt}%
+{\color{blueshade}\vrule width 4pt}%
+\colorbox{blueshade}%
+}
+\MakeFramed{\advance\hsize-\width\FrameRestore}
+\noindent\hspace{-4.55pt}
+\begin{adjustwidth}{}{7pt}
+\vspace{2pt}\vspace{2pt}
+}
+{
+\vspace{2pt}\end{adjustwidth}\endMakeFramed
+}
+
+\newenvironment{colortheorem}{
+\def\FrameCommand{
+\hspace{1pt}
+{\color{Green}\vrule width 2pt}%
+{\color{greenshade}\vrule width 4pt}%
+\colorbox{greenshade}%
+}
+\MakeFramed{\advance\hsize-\width\FrameRestore}
+\noindent\hspace{-4.55pt}
+\begin{adjustwidth}{}{7pt}
+\vspace{2pt}\vspace{2pt}
+}
+{
+\vspace{2pt}\end{adjustwidth}\endMakeFramed
+}
+
+\newenvironment{colorproof}{
+\def\FrameCommand{
+\hspace{1pt}
+{\color{BurlyWood}\vrule width 2pt}%
+{\color{brownshade}\vrule width 4pt}%
+\colorbox{brownshade}%
+}
+\MakeFramed{\advance\hsize-\width\FrameRestore}
+\noindent\hspace{-4.55pt}
+\begin{adjustwidth}{}{7pt}
+\vspace{2pt}\vspace{2pt}
+}
+{
+\vspace{2pt}\end{adjustwidth}\endMakeFramed
+}
+
+\newenvironment{colorcorollary}{
+\def\FrameCommand{
+\hspace{1pt}
+{\color{gray}\vrule width 2pt}%
+{\color{grayshade}\vrule width 4pt}%
+\colorbox{grayshade}%
+}
+\MakeFramed{\advance\hsize-\width\FrameRestore}
+\noindent\hspace{-4.55pt}
+\begin{adjustwidth}{}{7pt}
+\vspace{2pt}\vspace{2pt}
+}
+{
+\vspace{2pt}\end{adjustwidth}\endMakeFramed
+}
\ No newline at end of file
diff --git a/离散数学.tex b/离散数学.tex
new file mode 100644
index 0000000..7ccc5f1
--- /dev/null
+++ b/离散数学.tex
@@ -0,0 +1,47 @@
+\documentclass[12pt, UTF8, a4paper, fontset=none]{ctexbook}
+\usepackage{geometry}
+\usepackage{amsmath}
+\usepackage{amsthm}
+\usepackage{amssymb}
+\usepackage{bm}
+\usepackage{graphicx}
+\usepackage{hyperref}
+\usepackage{mathrsfs}
+\usepackage[inline]{enumitem}
+
+\geometry{a4paper,scale=0.8}
+
+\defaultCJKfontfeatures{Mapping = fullwidth-stop}
+\ctexset{fontset=macnew}
+% \ctexset{fontset=windows} % On Windows
+
+\newtheorem{theorem}{定理}[section]
+\newtheorem{axiom}{公理}[section]
+\newtheorem{definition}{定义}[section]
+\newtheorem{lemma}{引理}[theorem]
+\newtheorem{corollary}{推论}[theorem]
+\newtheorem{example}{例}[section]
+\newtheorem{proposition}{命题}[theorem]
+
+% \renewcommand{\qedsymbol}{} %去掉证明结尾的方框
+
+\newcommand{\newnoun}[2]{
+    \textbf{#1}（\textit{#2}）
+}
+
+\title{{\Huge{\textbf{离散数学}}}}
+\author{}
+\date{}
+% linespread{1.5}
+
+\begin{document}
+    \maketitle
+    \newpage
+    \pagenumbering{roman}
+    \setcounter{page}{1}
+    \tableofcontents
+    \newpage
+    \setcounter{page}{1}
+    \pagenumbering{arabic}
+    \include{01LetsCount.tex}
+\end{document}
\ No newline at end of file