逻辑,集合与计数

wangwenhan / 2023-08-08 / 原文

1.逻辑

命题:能够判断正确或错误的叙述。

复合命题:若\(p\),则\(q\)

设原命题为若\(p\),则\(q\),则:

  • 1.逆命题:若\(q\),则\(p\)
  • 2.否命题:若\(\neg p\),则\(\neg q\)
  • 3.逆否命题:若\(\neg q\),则\(\neg p\)

其中原命题与逆否命题等价,逆命题与否命题等价。

条件:

\(p \Rightarrow q\) ,则 \(p\)\(q\) 的充分条件,\(q\)\(p\) 的必要条件。

p是q的充分不必要条件 \(p \Rightarrow q\)\(q \nRightarrow p\)
p是q的必要不充分条件 \(p \nRightarrow q\)\(q \Rightarrow p\)
p是q的充要条件 \(p \Rightarrow q\)\(q \Rightarrow p\)
p是q的既不充分也不必要条件 \(p \nRightarrow q\)\(q \nRightarrow p\)

量词:

  • 1.全称量词:任意,符号为$\forall $
  • 2.存在量词:存在,符号为$\exists $

eg1.\(\forall x \in R,有 f(x) > k\)

很典型的题目,可以转化为\(max(f(x))>k\)

eg2.\(\exists x \in R,有 f(x) > k\)

存在一个\(x\)满足条件即可,转化为\(min(f(x))>k\)

2.集合,元素

  • 1.集合元素的三个特征:无序性,互异性,确定性
  • 2.元素与集合之间的关系是属于或不属于,用\(\in\)或$\notin $表示
  • 3.常见的集合记法:
集合 自然数集 正整数集 整数集 有理数 实数集
符号 \(N\) \(N^{* }\)\(N_{+}\) \(Z\) \(Q\) \(R\)

ps:在符号上加$ * ,+$的上下标通常表示正的部分

集合与元素间的基本关系

\(a\)属于集合\(A\),记作\(a \in A\),若\(a\)不属于集合\(A\),记作\(a \notin A\)

集合与集合间的基本关系

子集:

集合\(A\)包含于集合\(B\)(集合\(A\)是集合\(B\)的子集),记作\(A\subseteq B\),也可以记作\(B \supseteq A\)
下面我们用数学语言解释\(A\subseteq B\)
\(\forall x \in A\),均有\(x \in B\)
从这条解释可以看出\(A\subseteq B\)可以得出\(x \in A\)\(x \in B\)的充分条件,\(x \in B\)\(x \in A\)的必要条件
\(Venn\)图:
image

真子集:

集合\(A\)是集合\(B\)的子集,且集合\(B\)中至少有一个元素不在集合\(A\)
\(Venn\)图:
image

集合相等:

如果有\(A\subseteq B\)\(B\subseteq A\),称\(A=B\)
\(Venn\)图:
image

集合与集合间的基本运算

集合的并集:

image
图像(黄色部分):
image
n个集合\(A_1,A_2....A_n\)的并集可以记作\(\bigcup_{i=1}^{n} A_i\)

集合的交集:

image
图像:
image
n个集合\(A_1,A_2....A_n\)的交集可以记作\(\bigcap_{i=1}^{n} A_i\)

集合的补集:

要谈补集,我们首先要钦定一个全集\(U\),\(U\)里包含了所有讨论的元素。
image
图像:
image

集合相乘:

就是笛卡尔积,没什么好说的。
image

幂函数:

\(2^{A}\)={\(A\)的所有子集}

集合的运算律:

  • 1.\(A \cup (B \cap C)=(A\cup B)\cap (A \cup C)\)

证明:

\(\forall x \in A \cup (B \cap C)\)

<1>若\(x \in A\),则\(x \in (A\cup B),x \in (A \cup C)\)

\(\therefore x \in (A\cup B)\cap (A \cup C)\)

<2>若\(x \in (B \cap C)\),则\(x \in B,x \in C\)

\(\therefore x \in (A \cup B),x \in (A \cup C)\)

\(\therefore x \in (A\cup B)\cap (A \cup C)\)

综上,\(A \cup (B \cap C)\subseteq (A\cup B)\cap (A \cup C)\)

\(\forall x \in (A\cup B)\cap (A \cup C)\)

\(\therefore x \in A\)

\(\therefore x \in A \cup (B \cap C)\)

\(\therefore (A\cup B)\cap (A \cup C) \subseteq A \cup (B \cap C)\)

\(\therefore (A\cup B)\cap (A \cup C) = A \cup (B \cap C)\)


  • 2.\(A \cap (B \cup C)=(A \cap B) \cup (A \cap C)\)

证明:

\(\forall x \in A \cap (B \cup C)\)

\(\therefore x \in A,x \in (B \cup C)\)

\(\therefore x \in A,x \in B,x \in C\)

\(\therefore x \in (A \cap B) \cup (A \cap C)\)

\(\therefore A \cap (B \cup C)\subseteq (A \cap B) \cup (A \cap C)\)

\(\forall x \in (A \cap B) \cup (A \cap C)\)

<1>\(x \in (A \cap B)\)

\(\therefore x \in A,x \in B\)

\(\therefore x \in (B \cup C)\)

\(\therefore x \in A \cap (B \cup C)\)

<2>\(x \in (A \cap C)\)

\(\therefore x \in A,x \in C\)

\(\therefore x \in (B \cup C)\)

\(\therefore x \in A \cap (B \cup C)\)

综上,$ (A \cap B) \cup (A \cap C)\subseteq A \cap (B \cup C)$

\(\therefore (A \cap B) \cup (A \cap C)= A \cap (B \cup C)\)

容斥原理

忘记介绍一种符号了,\(\left | A \right |\) 代表\(A\)集合中的元素个数。
容斥原理的内容:$\left | \bigcup_{i=1}^{n}A_i \right | =\sum_{i=1}^{n}\left | A_i \right | -\sum_{1<=i<j<=n}\left | A_i\cap A_j \right |+......+(-1)^{n-1}\left | A_1\cap A_2\cap ......\cap A_n \right | $

证明:
\(\forall x \in \bigcup_{i=1}^{n}A_i\)在等式左边计算一次
\(x \in A_{i1},x \in A_{i2},......,x \in A_{ik}\),令\(S\)\(x\)在右式的计算次数,则:
\(S=C_{k}^{1}-C_{k}^{2}+......+(-1)^{k}C_{k}^{k}\)
根据二项式定理:\((1+y)^{k}=C_{k}^{0}+C_{k}^{1} \times y+......+C_{k}^{k} \times y^{k}\)
\(y=-1\),得:\(0=1-S,S=1\)
\(\therefore x\)在等式右边被计算一次,等式成立。

映射

\(A,B\)两个非空集合,若果按照某种确定的对应关系\(f\),使得对于集合\(A\)中任意的一个元素\(x\),在集合\(B\)中都有唯一确定的元素\(f(x)\)与之对应,称为\(f:A\to B\)

\(f:A \to B\)中,\(x\)的取值范围\(A\)为映射的定义域,\(f(x)\)\(x\)在映射\(f\)下的象集合\(f(x)=\){\(f(x)|x \in A\)}

单射:

若对于\(\forall x_1 \in A,x_2 \in A\),均满足\(f(x_1)\ne f(x_2)\),称映射\(f\)为单射。

满射:

\(f(A)=B\),则称映射\(f\)为满射。

一一对应:

若映射\(f\),既是单射也是满射,称映射\(f\)为一一映射,存在\(f^{-1}:B \to A\)(反函数),使得:

  • 1.\(\forall x \in A\),均有\(f^{-1}(f(x))=x\)
  • 2.\(\forall y \in B\),均有\(f(f^{-1}(y))=y\)

构造映射:

\(eg1.\)构造一个一一映射\(f:\)整数集\(\to\)偶数集

\(\forall x \in Z,f(x)=2 \times x\)

\(eg2.\)构造一个一一映射\(f:\)正整数集\(\to\)整数集

\(f(1)=0,f(2)=1,f(3)=-1......\)

\(eg3.\)构造一个一一映射\(f:\)正整数集\(\to\)有理数集

这个对应有点难度,先自己想一想。
先把\(0\)单独考虑,现在每一个有理数可以对应一个最简分数$\frac{p}{q} \(,我们把每个有理数对应一个二元组\)(p,q)$,放到直角坐标系中,形成下图(先只考虑大于\(0\)的有理数):
image
我们从\((1,1)\)开始,蛇行向上对应,如果不是最简分数就跳过:
image
怎么对应负有理数呢,一正一负就行了。

\(eg4.\)是否能构造一个一一映射\(f:\)正整数集\(\to\)实数集

先自己试着构造试试。
不难发现根本不可行,下面是证明:
反证法:
若{\(a_1,a_2,......,a_n,......\)}\(=R\)
取一个实数\(x\)使得:
image

其中\(b_i \ne a_i\)的第\(i\)位小数。显然\(x\ne a_1,x\ne a_2,.....\)\(x \in R\),与条件矛盾。

实际应用:

\(eg1.1000\)瓶药水中有一瓶有毒,每次可以取出若干瓶药水混合在一起检验是否有毒。问找到有毒的药水至少需要多少次操作。

这个问题的答案其实不难,10次,但是包含了一些思想。


二分法:最简单的方案,有一个问题,每次操作依赖于前一次操作的结果,若果等待前一次结果的时间很长,这就不是理想的方案。


二进制法:给每一瓶药水二进制编号,不会超过\(10\)位,第\(i\)次操作取二进制从前往后第\(i\)位为\(1\)的药水一起检验,\(10\)次的结果有毒记为\(1\),无毒记为\(0\),把这十个数字放在一起形成一个二进制数,对应会编号即可。正确性是显然的


更深入一点思考为什么至少要进行\(10\)次操作,我们其实是在建立每一组操作结果与有毒药水编号之间的一一对应,假设进行\(9\)次操作,只有\(512\)个操作结果,无法一一对应\(1000\)个药水编号