第一课。
This commit is contained in:
unlockable
261
01LetsCount.tex
Normal file
261
01LetsCount.tex
Normal file
@@ -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}
|
||||
91
boxes.tex
Normal file
91
boxes.tex
Normal file
@@ -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
|
||||
}
|
||||
47
离散数学.tex
Normal file
47
离散数学.tex
Normal file
@@ -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}
|
||||
Reference in New Issue
Block a user