离散数学ranf是值域。离散数学是现代数学的一个重要分支，是计算机科学中的基础理论的核心课程。离散数学是以离散量的结构和相互间的关系为主要目标，其研究对象一般的是有限个或可数个元素，因此它充分描叙了计算机科学离散性的特点。离散数学 是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合...
ranf 函数 的值域 f:X→Y f是X到Y的函数 GCD(x,y) x,y最大公约数 LCM(x,y) x,y最小公倍数 aH(Ha) H 关于a的左(右)陪集 Ker(f) 同态映射f的核(或称 f同态核) [1,n] 1到n的整数集合 d(u,v) 点u与点v间的距离 d(v) 点v的度数G=(V,E) 点集为V,边集为E的图 ...
(1)函数f和g可以复合 <=> ranf 包含于domg; (2)dom(fog) = domf, ran(fog) 包含于 rang (3)对任意x∈A,有fog(x) = g(f(x))。 函数的复合不满足交换律,但满足结合律。 定理8.3.1:设f和g分别是A到B和从B到C的函数,则: 如f,g是满射,则fog也是从A到C满射; 如f,g是单射,则fog也是...
8.零律 A∨1 Û 1,A∧0 Û 0 9.同一律 A∨0 Û A,A∧1 Û A 10.排中律 A∨┐A Û 1 11.矛盾律 A∧┐A Û 0 12.蕴涵等值式 A→B Û ┐A∨B 13.等价等值式 A«B Û (A→B)∧(B→A) 14.假言易位 A→B Û ┐B→┐A 15.等价否定等值式 A«B Û ┐A«...
(2)若 "yÎ ranf 都存在唯一的x ÎA 使得f(x)=y,则称f 是单射(——)的。 (3)若f 既是满射又是单射的,则称f 是双射(— —到上)的。 无向图:是一个有序的二元组<V, E>,记作G,其中: (1) V¹Ф称为顶点集,其元素称为顶点或结点。
记 BA=f|f: A B,则 | B A |= n m满射(到上映射):设f: X Y,若ranf = Y,则称f为满射的.入射(单射)(一对一映射):设f: X Y,对xi, x2X,满足:若xix2,则f(xi)f(x2),称f为入射的.双射(对应映射):设f:X Y,若f既是满射的,又是入射的.则称f是双射的.【定义8.6】常函数:设f:A...
满射surjective : ranf = y, 值域对满了 就是 双射bijective : 上面2个同时满足即可 自反性:reflexive, 矩阵对角线全是1 传递性:transitive, 必须有一个大边. 反对称: antisymmetric. 矩阵图 就是不说对称的 partial order. 偏序关系 1 自反性, reflexive 2 反对称性 antisymmetric 3 传递性 transitive ...
若ranf = Y,则称映射为满射(上映射) 单射(入射): 不同x对应不同的y 双射: 若映射 f 既是满射,又是入射,则称这个映射是双射。 复合函数、特征函数与基数 设F, G是函数, 则F○G也是函数, 且满足 (1) dom(F○G)={x|x∈domF∧F(x)∈domG} ...
(1)若ranf=Y称f是满射的或f为到上的。(2)若函数满足x1,x2X,若x1 x2 29、时必有f(x1) f(x2),则称f为入射的。(3)若函数f既是满射,又是入射,则称f为双射。定义3.10.1 设f: X Y,g: Y Z,合成关系f g=|(xX)(zZ)( y)(yY)(y=f(x)z=g(y)),称f g为,f,g的做合成运算或复合运算...
若ranf=B,则称f: A->B是满射的 若任意y属于ranf,都存在唯一的x属于A使得f(x)=y,则称f: A->B是单射的(函数要单调) 若f: A->B既是满射又是单射的,则称f: A->B是双射的(一一映射) 集合的势 集合的势就是量度集合所含元素多少的量。集合的势越大,所含的元素就越多。