【高等数学学习记录】映射

2024-09-06 15:20

本文主要是介绍【高等数学学习记录】映射,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

【高等数学&学习记录】映射

从事测绘工作多年,深刻感受到基础知识的重要及自身在这方面的短板。
为此,打算重温测绘工作所需基础知识。练好基本功,为测绘工作赋能。

1 知识点

在这里插入图片描述

1.1 映射

  • 映射
    X X X Y Y Y是非空集合,若存在法则 f f f,使 X X X中每个元素 x x x,在 Y Y Y中有唯一确定的元素 y y y与之对应,则称 f f f为从 X X X Y Y Y的映射,记作 f : X → Y f:X\rightarrow Y f:XY

  • 元素 y y y称为元素 x x x(在映射 f f f下)的像,记作 f ( x ) f(x) f(x),即 y = f ( x ) y=f(x) y=f(x)
  • 原像
    元素 x x x称为元素 y y y(在映射 f f f下)的一个原像。
  • 定义域
    集合 X X X称为映射 f f f的定义域,记作 D f D_f Df,即 D f = X D_f=X Df=X
  • 值域
    X X X中所有元素的像组成的集合称为映射 f f f值域,记作 R f R_f Rf f ( X ) f(X) f(X),即 R f = f ( X ) = { f ( x ) ∣ x ∈ X } R_f=f(X)=\lbrace f(x)|x\in X \rbrace Rf=f(X)={f(x)xX}
  • 像和原像的关系
    对每个 x ∈ X x\in X xX,其像 y y y是唯一的;而对每个 y ∈ R f y\in R_f yRf,其原像不一定是唯一的。
  • 值域与集合 Y Y Y的关系
    值域 R f R_f Rf Y Y Y的一个子集,即 R f ⊂ Y R_f\subset Y RfY,不一定 R f = Y R_f=Y Rf=Y
  • 满射
    R f = Y R_f=Y Rf=Y,即 Y Y Y中任一元素 y y y都是 X X X中某元素的像,则称 f f f X X X Y Y Y上的满射。
  • 单射
    X X X中任意两个不同的元素 x 1 ≠ x 2 x_1\neq x_2 x1=x2,其像 f ( x 1 ) ≠ f ( x 2 ) f(x_1)\neq f(x_2) f(x1)=f(x2),则称 f f f X X X Y Y Y的单射。
  • 一一映射(双射)
    若映射 f f f既是单射,又是满射,则称 f f f为一一映射或双射。

1.2 逆映射与复合映射

  • 逆映射
    • f f f X X X Y Y Y的一一映射。
    • 定义一个从 R f R_f Rf X X X的新映射 g g g,即 g : R f → X g:R_f\rightarrow X g:RfX,对每个 y ∈ R f y\in R_f yRf,规定 g ( y ) = x g(y)=x g(y)=x,这个映射 g g g称为 f f f的逆映射,记作 f − 1 f^{-1} f1
    • 其定义域 D f − 1 = R f D_{f^{-1}}=R_f Df1=Rf,值域 R f − 1 = X R_{f^{-1}}=X Rf1=X
  • 复合映射
    • 设有两个映射 g : X → Y 1 g:X\rightarrow Y_1 g:XY1 f : Y 2 → Z f:Y_2\rightarrow Z f:Y2Z,其中 Y 1 ⊂ Y 2 Y_1\subset Y_2 Y1Y2
    • 则由映射 g g g f f f可以定出一个从 X X X Z Z Z的对应法则,它将每个 x ∈ X x\in X xX映成 f ( g ( x ) ) ∈ Z f(g(x))\in Z f(g(x))Z
    • 这个对应法则确定了一个从 X X X Z Z Z的映射,这个映射称为映射 g g g f f f构成的复合映射,记作 g ∘ f g\circ f gf

2 练习题

  • 【题目】
    设映射 f : X → Y , A ⊂ X , B ⊂ X f:X\rightarrow Y,A\subset X,B\subset X f:XY,AX,BX,证明:
    (1) f ( A ∪ B ) = f ( A ) ∪ f ( B ) f(A\cup B)=f(A)\cup f(B) f(AB)=f(A)f(B)
    (2) f ( A ∩ B ) ⊂ f ( A ) ∩ f ( B ) f(A\cap B)\subset f(A)\cap f(B) f(AB)f(A)f(B)

  • 【证明(1)】
    ∵ A ⊂ X , B ⊂ X \because A\sub X, B\subset X AX,BX
    ∴ ( A ∪ B ) ⊂ X \therefore (A\cup B)\subset X (AB)X
    ∴ f ( A ∪ B ) \therefore f(A\cup B) f(AB)有意义

    ∵ ∀ a ∈ A , ∃ f ( a ) ∈ f ( A ) \because \forall a\in A,\exist f(a)\in f(A) aA,f(a)f(A)
    ∀ b ∈ B , ∃ f ( b ) ∈ f ( B ) \quad \forall b\in B,\exist f(b)\in f(B) bB,f(b)f(B)
    ∴ ∀ x ∈ A ∪ B , ∃ f ( x ) ∈ f ( A ) ∪ f ( B ) \therefore \forall x\in A\cup B,\exist f(x)\in f(A)\cup f(B) xAB,f(x)f(A)f(B)
    结论1: ∴ f ( A ∪ B ) ⊂ f ( A ) ∪ f ( B ) \therefore f(A\cup B)\subset f(A)\cup f(B) f(AB)f(A)f(B)

    ∵ f ( A ) ⊂ f ( A ∪ B ) , f ( B ) ⊂ f ( A ∪ B ) \because f(A)\subset f(A\cup B),f(B)\subset f(A\cup B) f(A)f(AB),f(B)f(AB)
    结论2: ∴ f ( A ) ∪ f ( B ) ⊂ f ( A ∪ B ) \therefore f(A)\cup f(B)\subset f(A\cup B) f(A)f(B)f(AB)

    由结论1和结论2可得, f ( A ∪ B ) = f ( A ) ∪ f ( B ) f(A\cup B)=f(A)\cup f(B) f(AB)=f(A)f(B)

  • 【证明(2)】
    ∵ ∀ x ∈ A ∩ B \because \forall x\in A\cap B xAB x ∈ A x\in A xA x ∈ B x\in B xB
    ∃ f ( x ) ∈ f ( A ) \quad \exist f(x)\in f(A) f(x)f(A) f ( x ) ∈ f ( B ) f(x)\in f(B) f(x)f(B)
    ∴ f ( A ∩ B ) ⊂ f ( A ) ∩ f ( B ) \therefore f(A\cap B)\subset f(A)\cap f(B) f(AB)f(A)f(B)


  • 【学习资料】
    《高等数学(第六版)》 上册,同济大学数学系 编

这篇关于【高等数学学习记录】映射的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1142381

相关文章

Java深度学习库DJL实现Python的NumPy方式

《Java深度学习库DJL实现Python的NumPy方式》本文介绍了DJL库的背景和基本功能,包括NDArray的创建、数学运算、数据获取和设置等,同时,还展示了如何使用NDArray进行数据预处理... 目录1 NDArray 的背景介绍1.1 架构2 JavaDJL使用2.1 安装DJL2.2 基本操

关于Spring @Bean 相同加载顺序不同结果不同的问题记录

《关于Spring@Bean相同加载顺序不同结果不同的问题记录》本文主要探讨了在Spring5.1.3.RELEASE版本下,当有两个全注解类定义相同类型的Bean时,由于加载顺序不同,最终生成的... 目录问题说明测试输出1测试输出2@Bean注解的BeanDefiChina编程nition加入时机总结问题说明

Java中基于注解的代码生成工具MapStruct映射使用详解

《Java中基于注解的代码生成工具MapStruct映射使用详解》MapStruct作为一个基于注解的代码生成工具,为我们提供了一种更加优雅、高效的解决方案,本文主要为大家介绍了它的具体使用,感兴趣... 目录介绍优缺点优点缺点核心注解及详细使用语法说明@Mapper@Mapping@Mappings@Co

将sqlserver数据迁移到mysql的详细步骤记录

《将sqlserver数据迁移到mysql的详细步骤记录》:本文主要介绍将SQLServer数据迁移到MySQL的步骤,包括导出数据、转换数据格式和导入数据,通过示例和工具说明,帮助大家顺利完成... 目录前言一、导出SQL Server 数据二、转换数据格式为mysql兼容格式三、导入数据到MySQL数据

关于rpc长连接与短连接的思考记录

《关于rpc长连接与短连接的思考记录》文章总结了RPC项目中长连接和短连接的处理方式,包括RPC和HTTP的长连接与短连接的区别、TCP的保活机制、客户端与服务器的连接模式及其利弊分析,文章强调了在实... 目录rpc项目中的长连接与短连接的思考什么是rpc项目中的长连接和短连接与tcp和http的长连接短

Oracle查询优化之高效实现仅查询前10条记录的方法与实践

《Oracle查询优化之高效实现仅查询前10条记录的方法与实践》:本文主要介绍Oracle查询优化之高效实现仅查询前10条记录的相关资料,包括使用ROWNUM、ROW_NUMBER()函数、FET... 目录1. 使用 ROWNUM 查询2. 使用 ROW_NUMBER() 函数3. 使用 FETCH FI

Python MySQL如何通过Binlog获取变更记录恢复数据

《PythonMySQL如何通过Binlog获取变更记录恢复数据》本文介绍了如何使用Python和pymysqlreplication库通过MySQL的二进制日志(Binlog)获取数据库的变更记录... 目录python mysql通过Binlog获取变更记录恢复数据1.安装pymysqlreplicat

在MyBatis的XML映射文件中<trim>元素所有场景下的完整使用示例代码

《在MyBatis的XML映射文件中<trim>元素所有场景下的完整使用示例代码》在MyBatis的XML映射文件中,trim元素用于动态添加SQL语句的一部分,处理前缀、后缀及多余的逗号或连接符,示... 在MyBATis的XML映射文件中,<trim>元素用于动态地添加SQL语句的一部分,例如SET或W

Servlet中配置和使用过滤器的步骤记录

《Servlet中配置和使用过滤器的步骤记录》:本文主要介绍在Servlet中配置和使用过滤器的方法,包括创建过滤器类、配置过滤器以及在Web应用中使用过滤器等步骤,文中通过代码介绍的非常详细,需... 目录创建过滤器类配置过滤器使用过滤器总结在Servlet中配置和使用过滤器主要包括创建过滤器类、配置过滤

正则表达式高级应用与性能优化记录

《正则表达式高级应用与性能优化记录》本文介绍了正则表达式的高级应用和性能优化技巧,包括文本拆分、合并、XML/HTML解析、数据分析、以及性能优化方法,通过这些技巧,可以更高效地利用正则表达式进行复杂... 目录第6章:正则表达式的高级应用6.1 模式匹配与文本处理6.1.1 文本拆分6.1.2 文本合并6