离散数学-集合论-函数(10)

news2024/11/17 14:33:38

函数

1 函数的概念

1.1 函数的定义

设𝑓是非空集A到B的关系, 如果对每个𝑥∈A, 都存在唯一的𝑦∈B, 使得<𝑥, 𝑦>∈𝑓, 则称关系𝑓为A到B的函数(Function), 也可称为映射(Mapping)或变换(Transformation), 记为𝑓: A→B。

  • A为函数𝑓的定义域(Domain), 记为dom𝑓=A
  • 𝑓(A)为函数𝑓的值域, 记为ran𝑓
  • B称为函数𝑓的陪域(Codomain)

例如:
A={𝑥1, 𝑥2, 𝑥3}, B={𝑦1, 𝑦2}; f_1,f_2⊆A×B,
𝑓1={<𝑥1, 𝑦1>, <𝑥2, 𝑦2>, <𝑥3, 𝑦2>},
𝑓2={<𝑥1, 𝑦1>, <𝑥1, 𝑦2>};
则有𝑓1是函数, 𝑓2不是函数

在这里插入图片描述

1.2 函数的特点

A到B的函数𝑓是从A到B的二元关系的子集, 且有以下特点:

  • A的每一元素𝑎都必须是𝑓的有序对< 𝑎, 𝑏>之第一分量
  • 若𝑓(𝑥)=𝑦, 则函数𝑓在𝑥处的值是唯一的, 即
    𝑓(𝑥)=𝑦 ⋀ 𝑓(𝑥)=𝑧 ⇒ \rArr y=𝑧 (𝑥的像唯一)
  • 允许一个像可有多个像源 (多对一)

例1 设A={1, 2, 3, 4}, B={𝑎, 𝑏, 𝑐, 𝑑}, 试判断下列关系哪些是函数。如果是函数, 请写出它的值域。
(1)𝑓1={<1, 𝑎>, <2, 𝑎>, < 3, 𝑑>, <4, 𝑐>}
(2)𝑓2={<1, 𝑎>, <2, 𝑎>, <2, 𝑑>, <4, 𝑐>}
(3)𝑓3={<1, 𝑎>, <2, 𝑏>, < 3, 𝑑>, <4, 𝑐>}
(4)𝑓4={<2, 𝑏>, < 3, 𝑑>, <4, 𝑐>}
解:
(1)𝑓1是函数。ran𝑓1={𝑎, 𝑐, 𝑑};
(2)𝑓2不是函数;
(3)𝑓3是函数, ran𝑓3={𝑎, 𝑏, 𝑐, 𝑑};
(4)𝑓4不是函数。

例2 设集合A={1,2,3},B={a,b},写出A到B的不同函数。
解:f0={<1,a>,<2,a>,< 3,a>}
f1={<1,a>,<2,a>,< 3,b>}
f2={<1,a>,<2,b>,< 3,a>}
f3={<1,a>,<2,b>,< 3,b>}
f4={<1,b>,<2,a>,< 3,a>}
f5={<1,b>,<2,a>,< 3,b>}
f6={<1,b>,<2,b>,< 3,a>}
f7={<1,b>,<2,b>,< 3,b>}
思考:有限集合A包含m个元素,B包含n个元素,从A到B的不同的函数有多少个?
答:幂集个数 2 𝑚 2^𝑚 2m、关系个数 2 𝑚 𝑛 2^{𝑚𝑛} 2mn、函数个数 𝑛 𝑚 𝑛^𝑚 nm

2 函数的性质

【定义】设𝑓: A→B
(1)若ran𝑓=B, 则称𝑓: A→B是满射(Onto, Surjection) 的;

  • 陪域B“满”了
  • 在函数𝑓的作用下, B中每个元素𝑏, 都至少是A中某元素𝑎的像
    ∀ 𝑏 ( 𝑏 ∈ B → ∃ ( 𝑎 ∈ A ∧ 𝑓 ( 𝑎 ) = 𝑏 ) ) \forall 𝑏(𝑏∈B → \exists(𝑎∈A ∧ 𝑓(𝑎)=𝑏)) b(bB(aAf(a)=b))
    (2)若𝑦ran𝑓 都存在唯一的𝑥A使得𝑓(𝑥)=𝑦, 则称𝑓: A→B是单(入)射(One-to-One, Injunction) 的;
  • 定义域A“单”了
  • A中不同的元素𝑎和𝑏, 其在B中像𝑓(𝑎)和𝑓(𝑏)也是不同的
    ∀ a ∀ b ( 𝑎 ≠ 𝑏 → 𝑓 ( 𝑎 ) ≠ 𝑓 ( 𝑏 ) ) \forall a\forall b(𝑎≠𝑏 → 𝑓(𝑎)≠𝑓(𝑏)) ab(a=bf(a)=f(b))
    或者 ∀ a ∀ b ( 𝑓 ( 𝑎 ) = 𝑓 ( 𝑏 ) → 𝑎 = 𝑏 ) \forall a\forall b(𝑓(𝑎)=𝑓(𝑏) → 𝑎=𝑏) ab(f(a)=f(b)a=b)
    (3)若𝑓: A→B既是满射又是单射的, 则称𝑓: A→B是双射(One-to-One Correspondence, Bijection)
    B中的每个元素𝑏是且仅是A中某个元素𝑎的像
    在这里插入图片描述
    例3 确定下列函数的类型。
    (1)设A={1, 2, 3, 4, 5}, B={𝑎, 𝑏, 𝑐, 𝑑}。
    𝑓: A→B定义为{<1, 𝑎>, <2, 𝑐>, < 3, 𝑏>, <4, 𝑎>, <5, 𝑑>}
    (2)设A={1, 2, 3}, B={𝑎, 𝑏, 𝑐, 𝑑}。
    𝑓: A→B定义为𝑓={<1, 𝑎>, <2, 𝑐>, < 3, 𝑏>}
    (3)设A={1, 2, 3}, B={1, 2, 3}。
    𝑓: A→B定义为𝑓={<1, 2>, <2, 3>, < 3, 1>}。
    解:
    (1)𝑓是满射函数;
    (2)𝑓是单射函数;
    (3)𝑓是双射函数。

3 函数的复合运算

函数是特殊的关系, 可以进行相应的运算。通过对函数的运算可以由已知函数得到新的函数。
定义 :考虑𝑓: A→B, 𝑔: B→C是两个函数, 则𝑓与𝑔的复合运算𝑔∘𝑓={<𝑥, 𝑧>|𝑥∈A ⋀ 𝑧∈C ⋀ ( ∃ y \exists y y)(𝑦∈B ⋀ 𝑥𝑓𝑦 ⋀ 𝑦𝑔𝑧)}是从A到C的函数记为𝑔∘𝑓: A→C,称为函数𝑓与𝑔的复合函数。
∀ x \forall x x∈A, 有(𝑔∘𝑓)(𝑥)=𝑔(𝑓(𝑥))。

例4 设
A={1, 2, 3, 4, 5}, B={𝑎, 𝑏, 𝑐, 𝑑}, C={1, 2, 3, 4, 5},
函数𝑓: A→B, 𝑓={<1, 𝑎>, <2, 𝑎>, < 3, 𝑑>, <4, 𝑐>, <5, 𝑏>};
函数𝑔: B→C, 𝑔={<𝑎, 1>, <𝑏, 3>, <𝑐, 5>, <𝑑, 2>}。
求复合函数𝑔∘𝑓
解: 𝑔∘𝑓={<1, 1>, <2, 1>, < 3, 2>, <4, 5>, <5, 3>}
【说明】
复合函数𝑔∘𝑓就是复合关系𝑓∘𝑔。要注意的是为了方便, 当将其看作复合函数时, 在其表示记号中颠倒𝑓和𝑔的位置而写成𝑔∘𝑓。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/173212.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

PID优化系列之给定值斜坡函数(PLC代码+Simulink仿真测试)

很多变频器里的工艺PID,都有"PID给定值变化时间"这个参数,这里的给定值变化时间我们可以利用斜坡函数实现,当然也可以利用PT1 低通滤波器对给定值进行平滑。给定值缓慢变化在很多闭环控制系统里很重要,比如收放卷在初始建张阶段目标值不建议突变容易将卷材拉断(…

聊聊外包团队的高效管理机制

这是鼎叔的第四十七篇原创文章。行业大牛和刚毕业的小白&#xff0c;都可以进来聊聊。欢迎关注本人专栏和微信公众号《敏捷测试转型》&#xff0c;大量原创思考文章陆续推出。对于大规模的外包团队&#xff0c;需要一个易用的外包管理OA系统&#xff0c;才能提高日常交付效率。…

LINUX学习之时间日期类命令(五)

date命令 命令描述 date命令用于在Linux系统中显示或设置当前系统时间。它可以显示当前日期和时间&#xff0c;并允许用户格式化输出。它还可以用于将系统时间设置为指定的日期和时间。使用格式化字符串&#xff0c;可以自定义输出格式 以下是data命令的常用参数&#xff1a…

【Simulink】使用Model Explorer设置模块变量初值

问题背景 最近在学习滑模控制&#xff0c;看到b站上的视频和文章&#xff0c;打算自己照着做一遍&#xff1a; 1、滑模控制的基本原理实际仿真中却遇到了一个小问题&#xff0c;不知道怎么设置变量x1的初值&#xff08;不能用pulse generator给初始脉冲&#xff09; 这里的x1是…

【JavaEE】单例模式(饿汉懒汉)

目录 前言&#xff1a; 单线程下的单例模式 饿汉模式 懒汉模式 多线程下的单例模式 懒汉模式的修改 1.加锁 2.有条件的加锁 3.解决内存可见性和指令重排序 前言&#xff1a; 本片文章介绍设计模式中的一个模式——单例模式。 单例模式就是只允许创建出一个实例的类。…

离散数学-图论-树(13)

树 1 无向树及其性质 定义1&#xff1a;连通无回路的无向图称为无向树,简称树.每个连通分支都是树的无向图称为森林.平凡图称为平凡树.在无向树中,悬挂顶点称为树叶,度数大于或等于2的顶点称为分支点. 定义2 设G<V,E>是n阶m条边的无向图&#xff0c;则下面各命题是等价…

c语言attribute关键字参数(详细)总结附示例快速掌握

目录一、简介二、参数详解2.1 section&#xff1a;自定义段2.2 aligned&#xff1a;对齐2.3 packed&#xff1a;对齐2.4 format&#xff1a;检查函数变参格式2.5 used2.6 unused2.7 at 绝对定位2.8 constructor2.9 destructor2.10 weak&#xff1a;弱声明2.11 alias&#xff1a…

macOS spotlight 聚焦 搜索范围自定义

文章目录Intro禁用不需要的查找范围&#xff0c;减少 spotlight 工作量/资源损耗搜索结果中的每个分类各自代表什么&#xff1f;Intro MBA升级系统之后&#xff0c;第一次充满电用了12h&#xff0c;之后的使用过程中掉电也很快。 新版本信息&#xff1a;macOS Ventura 13.1 (2…

I.MX6ULL裸机开发笔记1:启动方式

目录 启动模式设置步骤 1、三大模式 2.选择内部介质 3.选择接口编号 4.介质属性 原理图 芯片手册截图 开机相关全部引脚 启动设置表 启动模式设置步骤 1、三大模式 熔丝模式&#xff1a;烧录一次&#xff0c;发布产品外部模式&#xff1a;USB、串口等内部&#xff1a…

Windows系统下利用Anaconda搭建MXNet框架

1、mxnet MXNet 是一个深度学习库&#xff0c;类似于Theano 和 TensorFlow。最近想搞下深度学习&#xff0c;于是便安装mxnet。之前安装过TensorFlow&#xff0c;也踩了很多坑&#xff0c;可谓是历经波折。有的时候&#xff0c;配置环境真的是一门玄学。 2、关于网上的一些教…

手把手教你学习单片机-硬件基础知识

去耦电容的应用 C16 和 C19 起到的作 用是一样的,C10 的作用和他们两个不一样。 容值比较大的电容,理论上可以理解成水缸或者水池子,同时,大家可以直接把电流理 解成水流。 作用一,缓冲作用。当上电的瞬间,电流从电源处流下来的时候,不稳定,容易冲击电 子器件,加个…

基于云的文档管理系统——随时随地办公

如果您正在建立现代数字业务&#xff0c;您需要灵活地移动和分配您的劳动力。 DocuWare 移动劳动力解决方案可帮助您构建新的生产力模式&#xff1a;随时随地、任何设备。 毫不费力地捕捉、即时访问、始终安全 DocuWare 文档管理和工作流程自动化意味着当前流程的业务信息。 访…

【shell教程】| 简介及基本使用案例

文章目录一、简介二、脚本1 格式2 执行方式3 变量自定义变量特殊变量4 运算符5 条件判断6 流程控制1 if判断2 case语句3 for循环4 while 循环七、read读取控制台输入八、函数1 basename2 dirname3 自定义函数九、正则表达式十、文本处理工具1 cut2 grep3 sed4 awk一、简介 常见…

在线支付系列【1】支付演变史

有道无术&#xff0c;术尚可求&#xff0c;有术无道&#xff0c;止于术。 文章目录支付货币发展史物物交换实物货币纸质货币电子货币数字货币支付模式演变一方支付&#xff08;现金当面支付&#xff09;二方支付&#xff08;商家银行&#xff09;第三方支付&#xff08;商家、银…

【GD32F427开发板试用】工业级串口OTA实现----移植韦东山老师BootLoader项目

本篇文章来自极术社区与兆易创新组织的GD32F427开发板评测活动&#xff0c;更多开发板试用活动请关注极术社区网站。作者&#xff1a;足球之路 一、综述 一款完善的工业产品往往需要支持在线更新程序的需求&#xff0c;业界最近火热的叫法叫做“OTA”。这篇文章记录我利用技术…

2001-2020年中国区域创新能力总、分指标效用值

中国区域创新能力总、分指标效用值2001-2020 1、时间&#xff1a;2001-2020年 2、范围&#xff1a;全国31个省份 3、来源&#xff1a;中国区域创新能力评价BG 4、指标包括&#xff1a; 区域创新能力综合效用值、知识创造效用值、知识获取效用值、企业创新效用值、创新环境…

《Composing Programs》(SICP python版) chap1 笔记(2)

《Composing Programs》(SICP python版) chap1 笔记(2) 文章目录《Composing Programs》(SICP python版) chap1 笔记(2)Chapter 1: Building Abstractions with Functions1.3 Defining New Functions1.3.1 EnvironmentsFunction Signatures&#xff08;看语境翻译为函数原型比较…

【论文翻译】ViTPose: Simple Vision Transformer Baselines for Human Pose Estimation

【论文】https://arxiv.org/abs/2204.12484v3 【github】GitHub - ViTAE-Transformer/ViTPose: The official repo for [NeurIPS22] "ViTPose: Simple Vision Transformer Baselines for Human Pose Estimation" and [Arxiv22] "ViTPose: Vision Transformer F…

IO流操作

文章目录一、字符集常见字符集编码、解码操作二、IO流FileInputStreamFileOutputStreamFileReaderFileWriter常见问题一、字符集 常见字符集 我们的计算机底层是不可以直接存储字符的&#xff0c;计算机中底层只能存储二进制(0、1)&#xff0c;同时二进制是可以转换成十进制的…

Fluent UDF编译环境配置 VS2019

Fluent UDF编译环境配置 VS2019环境配置问题记录继续记录调试过程仅用一个host仅用一个node两个都放进去换个电脑继续报错记录错误环境配置 生成PATH文件的&#xff0c;有的没有权限在当前文件夹&#xff0c;可以用这个命令&#xff0c;还是原来的代码&#xff0c;就是改一下 …