离散数学函数复习题答案

合集下载

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 设A、B、C为三个集合,下列哪个式子是成立的?A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案:B2. 对于一个有n个元素的集合S,S的幂集中包含多少个元素?A) \(n\)B) \(2^n\)C) \(2 \times n\)答案:B二、判断题1. 对于两个关系R和S,若S是自反的,则R ∩ S也是自反的。

答案:错误2. 若一个关系R是反对称的,则R一定是反自反的。

答案:正确三、填空题1. 有一个集合A,其中包含元素1、2、3、4和5,求集合A的幂集的大小。

答案:322. 设a和b是实数,若a \(\neq\) b,则a和b之间的关系是\(\__\_\)关系。

答案:不等四、解答题1. 证明:如果关系R是自反且传递的,则R一定是反自反的。

解答:假设关系R是自反的且传递的,即对于集合A中的任意元素x,都有(x, x) ∈ R,并且当(x, y) ∈ R和(y, z) ∈ R时,(x, z) ∈ R。

反证法:假设R不是反自反的,即存在一个元素a∈A,使得(a, a) ∉ R。

由于R是自反的,所以(a, a) ∈ R,与假设矛盾。

因此,R一定是反自反的。

答案完整证明了该结论。

2. 已知集合A={1, 2, 3},集合B={2, 3, 4},求集合A和B的笛卡尔积。

解答:集合A和B的笛卡尔积定义为{(a, b) | a∈A,b∈B}。

所以,集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

离散数学期末考试复习题及参考答案

离散数学期末考试复习题及参考答案
A. B. C. D.
参考答案: B
6、 设 A. 代数系统 B. 半群 C. 群
,*为普通乘法,则<S,*>是( )
D. 都不是
参考答案: A
7、 设S={0,1},*为普通乘法,则< S , * >是( ) A. 半群,但不是独异点 B. 只是独异点,但不是群 C. 群 D. 环,但不是群
参考答案: B
A. B. C. D.
参考答案: B
3、 命题“有的人喜欢所有的花”的逻辑符号化为( ) 设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y
A. B. C. D.
参考答案: D
4、 下列等价式成立的有( )
A. B. C. D.
参考答案: D
5、 下列公式是重言式的有( )
5、 ( )设S={1,2},则S在普通加法和乘法运算下都不封闭。 参考答案: 正确
8、 谓词公式
中的x是( )
A. 自由变元
B. 约束变元
C. 既是自由变元又是约束变元
D. 既不是自由变元又不是约束变元
参考答案: C
9、 设
是一个有界格,如果它也是有补格,只要满足( )
A. 每个元素都至少有一个补元
B. 每个元素都有多个补元
C. 每个元素都无补元
D. 每个元素都有一个补元
参考答案: A
10、 一棵无向树T有4度、3度、2度的分枝点各1个,其余顶点均为树叶,则T中有( )片树叶
A. 3 B. 4 C. 5 D. 6
参考答案: C
11、 设
A. {{1,2}} B. {1,2 } C. {1} D. {2}
参考答案: A
,则有( )

(完整版)离散数学题目及答案

(完整版)离散数学题目及答案

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。

C.2是偶数。

D.铅球是方的。

2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。

离散数学复习题及答案

离散数学复习题及答案

总复习题(一)一.单选题1 (C)。

一连通的平面图,5个顶点3个面,则边数为()。

、4 、5 、6 、72、 (A)。

如果一个简单图,则称为自补图,非同构的无向4阶自补图有()个。

、1 、2 、3 、43、 (D)。

为无环有向图,为的关联矩阵,则()。

、是的终点、与不关联、与关联、是的始点4、 (B)。

一连通的平面图,8个顶点4个面,则边数为。

、9 、10 、11 、125、 (D)。

如果一个简单图,则称为自补图,非同构的3阶有向完全图的子图中自补图有个。

、1 、2 、3 、46、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。

、13 、12 、11 、107、 (D)。

有向图的通路包括。

、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路8、 (D)。

一连通的平面图,9个顶点5个面,则边数为。

、9 、10 、11 、12A B C D G G ≅G A B C D E ,V D =[]m n ij m ⨯D 1m ij =A i v j e B i v j e C i v j e D i v j e A B C D G G ≅G A B C D A B C D A B C D A B C D9、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。

、13 、12 、11 、1010、 (D)。

有向图的通路包括。

、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路11、 (D)。

一连通的平面图,9个顶点5个面,则边数为。

、9 、10 、11 、1212、 (B)。

为有向图,为的邻接矩阵,则。

、邻接到的边的条数是5、接到的长度为4的通路数是5、长度为4的通路总数是5、长度为4的回路总数是513、 (C)。

在无向完全图中有个结点,则该图的边数为()。

A 、B 、C 、D 、14、 (C)。

任意平面图最多是()色的。

A 、3B 、4C 、5D 、615、 (A)。

对与10个结点的完全图,对其着色时,需要的最少颜色数为()。

《离散数学》题库及答案

《离散数学》题库及答案

《离散数学》题库及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答:(2),(3),(4),(5),(6)4、公式某((A(某)B(y,某))zC(y,z))D(某)中,自由变元是(变元是()。

答:某,y,某,z5、判断下列语句是不是命题。

若是,给出命题的真值。

((1)北京是中华人民共和国的首都。

(2)陕西师大是一座工厂。

),约束)(3)你喜欢唱歌吗?(4)若7+8>18,则三角形有4条边。

(5)前进!(6)给我一杯水吧!答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是6、命题“存在一些人是大学生”的否定是(),而命题“所有的人都是要死的”的否定是()。

答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为()。

(1)只有在生病时,我才不去学校(2)若我生病,则我不去学校(3)当且仅当我生病时,我才不去学校(4)若我不生病,则我一定去学校答:(1)QP(2)PQ(3)PQ(4)PQ8、设个体域为整数集,则下列公式的意义是()。

(1)某y(某+y=0)(2)y某(某+y=0)答:(1)对任一整数某存在整数y满足某+y=0(2)存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合,确定下列命题的真值:(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答:(1)F(2)F(3)F(4)T10、设谓词P(某):某是奇数,Q(某):某是偶数,谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。

离散数学复习题参考带答案

离散数学复习题参考带答案

一、选择题:(每题2’)1、下列语句中不是命题的有()。

A.离散数学是计算机专业的一门必修课。

B.鸡有三只脚。

C.太阳系以外的星球上有生物。

D.你打算考硕士研究生吗2、命题公式A与B是等价的,是指()。

A.A与B有相同的原子变元B.A与B都是可满足的C.当A的真值为真时,B的真值也为真D.A与B有相同的真值3、所有使命题公式P∨(Q∧R)为真的赋值为()。

A.010,100,101,110,111 B.010,100,101,111C.全体赋值D.不存在4、合式公式(P∧Q)R的主析取范式中含极小项的个数为()。

A.2 B.3 C.5 D.05、一个公式在等价意义下,下面哪个写法是唯一的()。

A.析取范式B.合取范式C.主析取范式D.以上答案都不对6、下述公式中是重言式的有()。

A.(P∧Q) (P∨Q) B.(PQ) (( PQ)∧(QP))C.(P Q)∧Q D.P (P∧Q)7、命题公式(PQ) (Q∨P) 中极小项的个数为(),成真赋值的个数为()。

A.0 B.1 C.2 D.38、若公式(P∧Q)∨(P∧R) 的主析取范式为m001∨m011∨m110∨m111则它的主合取范式为()。

A.m001∧m011∧m110∧m111B.M000∧M010∧M100∧M101C.M001∧M011∧M110∧M111D.m000∧m010∧m100∧m1019、下列公式中正确的等价式是()。

A.(x)A(x) (x)A(x) B.(x) (y)A(x, y) (y) (x) A(x, y)C.(x)A(x) (x)A(x) D.(x) (A(x) ∧B(x)) (x) A(x) ∨(x) B(x)10、下列等价关系正确的是()。

A.x ( P(x) ∨Q(x) ) x P(x) ∨x Q(x) B.x ( P(x) ∨Q(x) ) x P(x) ∨x Q(x)C.x ( P(x) Q ) x P(x) Q D.x ( P(x) Q ) x P(x) Q11、设个体域为整数集,下列真值为真的公式是()。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。

B. 如果今天是周一,那么明天是周三。

C. 如果今天是周一,那么明天是周四。

D. 如果今天是周一,那么明天是周五。

答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。

答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。

答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。

答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。

答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。

答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。

例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。

2. 解释什么是逻辑蕴含,并给出一个例子。

答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。

例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。

如果今天是周一,那么根据逻辑蕴含,明天必须是周二。

3. 请描述什么是二叉搜索树,并给出它的一个性质。

答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。

它的一个性质是中序遍历可以得到一个有序序列。

四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。

自考离散数学试题及答案

自考离散数学试题及答案

自考离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个表达式表示“非”操作?A. ∧B. ∨C. ¬D. →答案:C3. 在下列哪个图论的术语中,表示图中任意两个顶点都相连?A. 无向图B. 有向图C. 完全图D. 二分图答案:C4. 布尔代数中,下列哪个操作是“或”?A. ∧C. ¬D. →答案:B5. 以下哪个是等价关系的属性?A. 自反性B. 对称性C. 反对称性D. 传递性答案:A6. 有限自动机中,状态可以被分为哪两种类型?A. 初始状态和终止状态B. 接受状态和拒绝状态C. 确定状态和非确定状态D. 静态状态和动态状态答案:B7. 在关系数据库中,下列哪个操作用于删除表中的行?A. INSERTB. DELETEC. UPDATED. SELECT答案:B8. 以下哪个是谓词逻辑中的量词?B. ∃C. ∧D. ∨答案:A9. 在命题逻辑中,德摩根定律描述了哪些逻辑运算的对偶性?A. ∧ 和∨B. ¬和→C. ¬和↔D. → 和↔答案:A10. 树的深度优先搜索(DFS)算法通常使用哪种数据结构来实现?A. 队列B. 栈C. 链表D. 哈希表答案:B二、填空题(每题3分,共30分)11. 在集合{1, 2, 3, 4, 5}中,子集的总数是_________。

答案:3212. 如果命题P为真,则命题P → Q的真值表中,Q的值必须为_________。

答案:真13. 在有向图中,一个顶点的入度是指_________。

答案:指向该顶点的边的数量14. 一个关系R(A, B, C)中,如果对于任意两个元组,当它们在属性A上的值相等时,它们在属性B和C上的值也相等,则称R具有_________。

答案:候选键15. 在布尔代数中,表达式(A ∧ B) ∨ (A ∧ ¬B)的结果是_________。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第6章 函数一、选择题(每题3分)1、设{,,},{1,2,3}A a b c B ==,则下列关系中能构成A 到B 函数的是( C ) A 、1{,1,,2,,3}f a a a =<><><> B 、2{,1,,1,,2}f a b b =<><><> C 、4{,1,,1,,1}f a b c =<><><> D 、1{,1,,2,,2,,3}f a a b c =<><><><>2、设R Z N 、、分别为实数集、整数集,自然数集,则下列关系中能构成函数的是( B ) A 、)}10(),(|,{<+∧∈><y x N y x y x B 、)}(),(|,{2x y R y x y x =∧∈>< C 、)}(),(|,{2x y R y x y x =∧∈>< D 、{,|(,)(mod 3)}x y x y Z x y <>∈∧≡3、设Z 为整数集,则二元关系{,23}f a b a Z b Z b a =<>∈∧∈∧=+ ( B ) A 、不能构成Z 上的函数 B 、能构成Z 上的函数 C 、能构成Z 上的单射 D 、能构成Z 上的满射4、设f 为自然数集N 上的函数,且1()0x f x x ⎧=⎨⎩若为奇数若为偶数,则f ( D )A 、为单射而非满B 、为满射而非单射C 、为双射D 、既非单射又非满射 5、设f 为整数集Z 上的函数,且()f x 为x 除以5的余数 ,则f ( D )A 、为单射而非满B 、为满射而非单射C 、为双射D 、既非单射又非满射 6、设R Z 、分别为实数集、整数集,则下列函数为满射而非单射的是( C ) A 、:,()6f R R f x x →=+ B 、2:,()(6)f R R f x x →=+ C 、:,()[]f R Z f x x →= D 、6:,()6f R R f x x x →=+7、设R R Z +、、分别为实数集、非负实数集、正整数集,下列函数为单射而非满射的是( B )A 、2:,()71f R R f x x x →=-+- B 、x x f R Zf ln )(,:=→+;C 、:,()f R R f x x →= D 、:,()71f R R f x x →=+8、设Z N E 、、分别为整数集,自然数集,偶数集,则下列函数是双射的为( A ) A 、f : Z E → , ()2f x x = B 、f : Z E → , ()8f x x =C 、f : Z Z →, ()8f x =D 、f : N N N →⨯, (),1f n n n =<+> 9、设3,4X Y ==,则从X 到Y 可以生成不同的单射个数为( B ). A 、12 B 、24 C 、64 D 、81 10、设3,2X Y ==,则从X 到Y 可以生成不同的满射个数为( B ).A 、6B 、8C 、9D 、64 11、设函数:f B C →,:g A B →都是单射,则:f g A C → ( A )A 、是单射B 、是满射C 、是双射D 、既非单射又非满射 12、设函数:f B C →,:g A B →都是满射,则:f g A C → ( B )A 、是单射B 、是满射C 、是双射D 、既非单射又非满射 13、设函数:f B C →,:g A B →都是双射,则:f g A C → ( C )A 、是单射B 、是满射C 、是双射D 、既非单射又非满射 14、设函数:f B C →,:g A B →,若:f g A C → 是单射,则( B ) A 、f 是单射 B 、g 是单射 C 、f 是满射 D 、g 是满射 15、设函数:f B C →,:g A B →,若:f g A C → 是满射,则( C ) A 、f 是单射 B 、g 是单射 C 、f 是满射 D 、g 是满射 16、设函数:f B C →,:g A B →,若:f g A C → 是双射,则( D )A 、,f g 都是单射B 、,f g 都是满射C 、f 是单射, g 是满射D 、f 是满射, g 是单射二、填充题(每题4分)1、设,X m Y n ==,则从X 到Y 有2mn 种不同的关系,有m n 种不同的函数.2、设,X m Y n ==,且m n ≤,则从X 到Y 有m n A 种不同的单射.3、在一个有n 个元素的集合上,可以有22n种不同的关系,有n n 种不同的函数,有!n 种不同的双射.4、设f 为自然数集N 上的函数,且1()2x f x xx ⎧⎪=⎨⎪⎩,若为奇数若为偶数,,则(0)f =0,[{0}]f ={0} ,[{1,2,3}]f ={1},[{0,2,4,6,}]f = N .5、设,f g 是自然数集N 上的函数,x x g x x f N x 2)(,1)(,=+=∈∀,则()f g x = 21x +,()g f x = 2(1)x +.三、问答计算题(每题10分)1、设{234}A =,,,}12,10742{,,,=B ,从A 到B 的关系},,,{b a B b A a b a R 整除且∈∈><=,试给出R 的关系图和关系矩阵,并说明此关系R 及其逆关系1R -是否为函数?为什么?解:}12,4,4,4,12,3,12,2,10,2,4,2,2,2{><><><><><><><=R ,则R 的关系图为:R 的关系矩阵为 1101100001011RM ⎡⎤⎢⎥=⎢⎥⎢⎥⎣⎦关系R 不是A 到B 的函数,因为元素2,4的象不唯一逆关系1R -也不是B 到A 的函数 因为元素7的象不存在.2、设Z 为整数集,函数f :Z Z Z ⨯→,且(,)f x y x y =+,问f 是单射还是满射? 为什么?并求(,),f x x (,)f x x -.解:x Z ∀∈, 0,x Z Z ∃<>∈⨯,总有(0,)f x x =,则f 是满射;对于1,2,2,1,Z Z <><>∈⨯,有(1,2)3(2,1)f f ==,而1,22,1<>≠<>,则f 非单射;(,)2,(,)0f x x x f x x =-=. 3、设{1,2}A =,A 上所有函数的集合记为A A , “ ”是函数的复合运算,试给出A A 上运算“ ”的运算表,并指出A A 中是否有幺元,哪些元素有逆元? 解:因为2A =,所以A 上共有224=个不同函数,令},,,{4321f f f f AA=,其中:14(1)1,(2)2;(1)1,(2)1;(1)2,(2)2;(1)2,(2)1f f f f f f f f ========1f 为AA 中的幺元,1f 和4f 有逆元.4、设R 为实数集,函数f :R R R R ⨯→⨯,且(,),f x y x y x y <>=<+->, 问f 是双射吗?为什么?并求其逆函数1(,)fx y -<>及(,)f f x y <> .解: 1122,,,x y x y R R ∀<><>∈⨯,若1122(,)(,)f x y f x y <>=<>, 有11112222,,x y x y x y x y <+->=<+->,则1122,,x y x y <>=<>,故f 是单射;,u v R R ∀<>∈⨯,令2u vx +=,2u vy -=,则,x y R R <>∈⨯,且(,),,f x y x y x y u v <>=<+->=<>,则f 是满射,故为双射; 1(,),22x y x yfx y -+-<>=<> ; (,)(,)(2,2)f f x y f x y x y f x y <>=<+->=<> . 四、证明题(每题10分)1、设函数f :A B →,g :B C →,g 和f 的复合函数g f :A C →, 试证明:如果g f 是双射,那么f 是单射,g 是满射. 证明:12,x x A ∀∈且12()()f x f x B =∈,则1122()[()][()]()g f x g f x g f x g f x === ,因g f 是单射,有12x x =,故f 是单射;c C ∀∈,因g f 是满射,a A ∃∈,使()[()]c g f a g f a == ,而()f a B ∈,故g 是满射.注:如果g f 是单射,那么f 是单射;如果g f 是满射,那么g 是满射. 2、设f 是A 上的满射,且f f f = ,证明:A f I =.证明:因f 是满射,则对A a ∈∀,存在A a ∈1,使得1()f a a =, 则11()[()]()f f a f f a f a == ,由 f f f = ,知1a a =, 于是()f a a =,由a 的任意性知A f I =. 3、设函数f :A B →,g :B A →,证明:若11,f g f g--==,则,A B g f I f g I == .证明: 因1fg -=,则y B ∀∈,1()()g y fy x A -==∈,有(),()g y x f x y ==,于是,对y B ∀∈,有()[()]()()B f g y f g y f x y I y ==== ,知B f g I = ;又1f g -=,则对x A ∀∈,1()()f x g x y -==,有(),()f x y g y x ==,于是,对x A ∀∈,有()[()]()()A g f x g f x g y x I x ==== ,知A g f I = . 4、设函数f :A B →,g :B A →,证明:若,A B g f I f g I == ,则11,fg f g--==.证明:因恒等函数A I 是双射,则g f 是A 上的双射,有f 是单射,g 是满射; 同样,恒等函数B I 是双射,则g f 是B 上的双射,有f 是满射,g 是单射; 所以,f 和g 都是双射函数,其反函数都存在,故有11,f g f g--==.注:设函数f :A B →,g :B A →,证明: 11,fg f g--==⇔ ,A B g f I f g I == .5、设函数f :A B →,g :()B A ρ→,对于b B ∈,(){()}g b x x A f x b =∈∧=,()A ρ为A 的幂集,证明:如果f 是A 到B 的满射,则g 是B 到()A ρ的单射.证明:12x x B ∀≠∈,因f 是满射,12,y y A ∃∈,使1122()(),f y x x f y =≠=则12y y ≠; 又由g 的定义知,1122(),()y g x y g x ∈∈,故有12()()g x g x ≠,则g 是B 到()A ρ的单射.。

相关文档
最新文档