离散数学（8）——函数

离散数学（8）——函数

函数（映射）

• 函数（function），映射（mapping）：单值的二元关系
• 单值：∀x∈domF,∀y,z∈ranF,xFy∧xFz→y=z

函数的记号

• F(x)=y⟺<x,y>∈F⟺xFy
• Φ是空函数
• 常用**F,G,H,…,f,g,h,…**表示函数

偏函数

• 设F是函数
• A到B的偏函数（partial function） domF⊆A∧ranF⊆B
• A称为F的前域

全函数

• 全函数（total function）：domF=A
• 全函数记作 F：A→B
• A到B的全体全函数记为B^A=A→B={F|F:A→B}
• 性质
  • 单射（injection）：F是单根的
  • 满射（surjection，onto）：ranF=B
  • 双射（bijection），一一对应（1-1 mapping）：F既是单射又是满射
  • 单射&