Discrete mathematics and its applications笔记
第二章
精彩习题
1.
(
f
∘
g
)
(
x
)
就
是
复
合
函
数
f
(
g
(
x
)
)
(f\circ g)(x)就是复合函数f(g(x))
(f∘g)(x)就是复合函数f(g(x))
如果
f
和
f
∘
g
是
满
射
的
(
o
n
t
o
)
,
g
不
一
定
是
满
射
f和f\circ g是满射的(onto),g不一定是满射
f和f∘g是满射的(onto),g不一定是满射
比如:
A
=
{
a
}
,
B
=
{
b
,
c
}
,
C
=
{
d
}
,
g
(
a
)
=
b
,
f
(
b
)
=
d
,
f
(
c
)
=
d
A=\{a\},B=\{b,c\},C=\{d\},g(a)=b,f(b)=d,f(c)=d
A={a},B={b,c},C={d},g(a)=b,f(b)=d,f(c)=d
但是,如果
f
和
f
∘
g
是
单
射
的
(
o
n
t
o
)
,
g
一
定
是
单
射
f和f\circ g是单射的(onto),g一定是单射
f和f∘g是单射的(onto),g一定是单射
反证法假设g(a)=g(b), 如果a不等于b可以推出矛盾。
2.证明函数关系
f
:
Z
+
×
Z
+
→
Z
+
f:Z^+\times Z^+\rightarrow Z^+
f:Z+×Z+→Z+
f(m,n)=(m+n-2)(m+n-1)/2+m既是单射(one to one),也是满射(onto)。
令
x
=
m
+
n
,
当
m
从
1
取
到
x
−
1
时
,
f
(
m
,
n
)
从
(
x
−
2
)
(
x
−
1
)
2
+
1
取
到
(
x
−
2
)
(
x
−
1
)
2
+
x
−
1
也
就
是
说
固
定
m
+
n
的
值
后
,
m
和
n
的
所
有
可
能
取
值
都
是
满
足
单
射
的
又
由
f
(
x
−
1
,
1
)
+
1
=
(
x
−
2
)
(
x
−
1
)
2
+
x
=
(
x
−
1
)
x
2
+
1
=
f
(
1
,
x
)
这
说
明
当
x
取
x
+
1
时
,
f
(
m
,
n
)
取
从
上
一
次
x
−
1
个
值
紧
挨
着
的
后
面
x
个
值
以
此
类
推
,
可
证
明
原
函
数
关
系
既
是
单
射
也
是
满
射
。
\begin{aligned} &令x=m+n,当m从1取到x-1时,\\ &f(m,n)从{(x-2)(x-1)\over 2}+1取到{(x-2)(x-1)\over2}+x-1\\ &也就是说固定m+n的值后,m和n的所有可能取值都是满足单射的\\ &又由f(x-1,1)+1\\ &={(x-2)(x-1)\over2}+x={(x-1)x\over2}+1=f(1,x)\\ &这说明当x取x+1时,f(m,n)取从上一次x-1个值紧挨着的后面x个值\\ &以此类推,可证明原函数关系既是单射也是满射。 \end{aligned}
令x=m+n,当m从1取到x−1时,f(m,n)从2(x−2)(x−1)+1取到2(x−2)(x−1)+x−1也就是说固定m+n的值后,m和n的所有可能取值都是满足单射的又由f(x−1,1)+1=2(x−2)(x−1)+x=2(x−1)x+1=f(1,x)这说明当x取x+1时,f(m,n)取从上一次x−1个值紧挨着的后面x个值以此类推,可证明原函数关系既是单射也是满射。
3.
(proper subset真子集)
直接贴答案(很详细)
4.设非平方数组成一个集合A,
a
n
表
示
A
中
第
n
个
元
素
,
设
{
x
}
表
示
离
实
数
x
最
接
近
的
整
数
a_n表示A中第n个元素,设\{x\}表示离实数x最接近的整数
an表示A中第n个元素,设{x}表示离实数x最接近的整数求证:
a
n
=
n
+
{
n
}
a_n=n+\{\sqrt n\}
an=n+{n}
证明:
若
{
x
+
1
}
=
{
x
}
+
1
若\{\sqrt {x+1}\}=\{\sqrt x\}+1
若{x+1}={x}+1,则存在正整数
k
k
k,满足
x
+
1
>
k
+
1
/
2
>
x
\sqrt{x+1}>k+1/2>\sqrt x
x+1>k+1/2>x
进而
x
+
1
>
k
2
+
k
+
1
/
4
>
x
x+1>k^2+k+1/4>x
x+1>k2+k+1/4>x
所
以
x
=
k
2
+
k
,
即
{
k
2
+
k
}
=
k
(
因
为
(
k
+
1
2
)
2
>
k
2
+
k
>
k
2
)
所以x=k^2+k,即\{\sqrt{k^2+k}\}=k\ (因为(k+{1\over 2})^2>k^2+k>k^2)
所以x=k2+k,即{k2+k}=k (因为(k+21)2>k2+k>k2)
数学归纳法,假设
a
n
=
n
+
{
n
}
a_n=n+\{\sqrt n\}
an=n+{n}
1
∘
a
n
+
1
=
a
n
+
1
(
说
明
a
n
+
1
不
是
平
方
数
)
,
1^\circ a_{n+1}=a_n+1(说明a_{n+1}不是平方数),
1∘an+1=an+1(说明an+1不是平方数),
则
a
n
+
1
=
n
+
1
+
{
n
}
则a_{n+1}=n+1+\{\sqrt n\}
则an+1=n+1+{n}
假
如
这
时
有
{
n
+
1
}
=
{
n
}
+
1
假如这时有\{\sqrt{n+1}\}=\{\sqrt n\}+1
假如这时有{n+1}={n}+1
那
么
n
=
k
2
+
k
,
a
n
+
1
=
(
k
2
+
k
+
1
)
+
{
k
2
+
k
}
=
k
2
+
2
k
+
1
=
(
k
+
1
)
2
是
平
方
数
,
矛
盾
,
所
以
a
n
+
1
=
n
+
1
+
{
n
+
1
}
那么n=k^2+k,a_n+1=(k^2+k+1)+\{\sqrt{k^2+k}\}=k^2+2k+1=(k+1)^2是平方数,矛盾,所以a_{n+1}=n+1+\{\sqrt {n+1}\}
那么n=k2+k,an+1=(k2+k+1)+{k2+k}=k2+2k+1=(k+1)2是平方数,矛盾,所以an+1=n+1+{n+1}
2
∘
a
n
+
1
=
a
n
+
2
,
2^\circ a_{n+1}=a_n+2,
2∘an+1=an+2,
则
a
n
+
1
=
n
+
{
n
}
+
2
=
(
n
+
1
)
+
(
{
n
}
+
1
)
则a_{n+1}=n+\{\sqrt n\}+2=(n+1)+(\{\sqrt n\}+1)
则an+1=n+{n}+2=(n+1)+({n}+1)
假
如
这
时
有
{
n
+
1
}
=
{
n
}
假如这时有\{\sqrt{n+1}\}=\{\sqrt n\}
假如这时有{n+1}={n}
说
明
不
存
在
正
整
数
k
使
得
n
=
k
2
+
k
说明不存在正整数k使得n=k^2+k
说明不存在正整数k使得n=k2+k
又
因
为
a
n
+
1
是
平
方
数
,
由
最
前
面
的
推
导
知
存
在
正
整
数
k
,
n
=
k
2
+
k
,
矛
盾
,
所
以
a
n
+
1
=
n
+
1
+
{
n
+
1
}
又因为a_{n+1}是平方数,由最前面的推导知存在正整数k,n=k^2+k,矛盾,所以a_{n+1}=n+1+\{\sqrt {n+1}\}
又因为an+1是平方数,由最前面的推导知存在正整数k,n=k2+k,矛盾,所以an+1=n+1+{n+1}
综
上
a
n
=
n
+
{
n
}
综上a_n=n+\{\sqrt n\}
综上an=n+{n}
新知
1.只有一个元素的集合叫singleton set.
2. A ⊂ B 叫 A 是 B 的 真 子 集 A\subset B叫A是B的真子集 A⊂B叫A是B的真子集(A is a proper subset of B,原书符号确实是这个)
3.集合S中的元素数目用|S|表示(The cardinality of S is denoted by |S|.)
4.The ordered n-tuples ( a 1 , a 2 , . . . a n ) a_1,a_2,...a_n) a1,a2,...an)和集合不同,是有顺序的。ordered 2-tuples又叫ordered pairs.
5.A subset R of the Cartesian product AxB(笛卡尔积) is called a relation(关系) from the set A to the set B.The elements of R are ordered pairs.
6.n个集合的笛卡尔积:
比如:
7.membership tables
(对于任意一个元素,元素在集合中记为1,不在记为0)
8.
计算机可以用位流(bit string)表示一个集合的子集(1表示元素在集合中,0表示不在):
U
=
{
1
,
2
,
3
,
4
,
5
,
6
}
可
以
用
111111
表
示
,
然
后
{
1
,
3
,
5
}
就
用
101010
U=\{1,2,3,4,5,6\}可以用111111表示,然后\{1,3,5\}就用101010
U={1,2,3,4,5,6}可以用111111表示,然后{1,3,5}就用101010
补集就是把0,1互换
9.罗素悖论
a) If
S
∈
S
S \in S
S∈S , then by the defining condition for S we conclude that
S
∉
S
S\notin S
S∈/S, a contradiction.
b) If
S
∉
S
S \notin S
S∈/S, then by the defining condition for S we conclude that it is not the case that
S
∉
S
S \notin S
S∈/S (otherwise
S would be an element of S ), again a contradiction.
10.异或运算的性质:
用bit string方便理解,比如40题和42,43题,元素x在等号两边的集合里,当且仅当x在奇数个集合(比如x属于A,B,D,不属于C)里。
(这里不严格证明)
11.
In computer science,functions are also used to represent hwo long it takes a computer to solve problems of a given size.(函数)
12.关系和函数的联系:(关系可以一对多)
如
果
(
x
R
y
1
)
∧
(
x
R
y
2
)
⇒
(
y
1
=
y
2
)
,
就
说
关
系
R
是
一
个
函
数
。
如果(xRy_1)\land(xRy_2)\Rightarrow(y_1=y_2),就说关系R是一个函数。
如果(xRy1)∧(xRy2)⇒(y1=y2),就说关系R是一个函数。
13.Some functions never assign the same value to two different domain elements.These functions are said to be one to one.(单射,不是一一映射)
比如:
14.A function f from A to B is called onto ,or surjective, if and only if
∀
y
∃
x
(
f
(
x
)
=
y
)
\forall\ y\ \exist\ x(f(x)=y)
∀ y ∃ x(f(x)=y),where the domain for x is the domain of the function and the domain for y is the codomain of the function.(满射)
15.The function f is a one-to-one correspondence,or a bijection,if it is both one to one and onto.(双射,即一一映射)
16.如果函数f的定义域和值域都是集合A,如果A是有限集,那么f是单射(one to one)当且仅当f是满射(onto),如果A是无限集,这两者不一定等价。
17.定义:
(1)The sets A and B have the same cardinality(基数) if and only if there is a one-to-one correspondence from A to B.
(2)A set that is either finite or has the same cardinality as the set of positive integers is called countable.
18.An infinite set is countable if and only if it is possible to list the elements of the set in a sequence (indexed by the positive integers.)
19.证明有理数可数
(证正有理数)
(右上到左下的斜线分子分母之和为定值)
20.证明实数不可数
反证法,假设可数,则(0,1)区间也可数(因为可数集合的子集可数)
假设(0,1)之间的数可按如下排列:
则可以构造一个新的数-----r满足:
即r不等于序列中的任意一个数,矛盾,所以(0,1)内的实数集合不可数,进而实数集不可数。