能解释一下那个推出符号两边是什么意思吗

 额不知道你用的是什么书，我建议你有时间把如下几个定义弄清楚（高中书上没有的）一时还讲不清，这不是高中范围的
需清楚的定义有：单射、双射（即一一映射）、满射、复合映射、定义域、值域、陪域。
（在百度上面找或者你到图书馆看一本叫做高等代数的书，第一章-基本概念）
高中函数定义不明确这是因为编书人考虑高中生的认知可能没办法理解这些严格定义。

麻烦能把那本書的图发给我吗

 额似乎不要那本书也行啊，你按照这个顺序在百度上查然后仔细想想：
映射、定义域或陪域（dom f或Df)、值域（Rf)、陪域(Iom f)、单射、满射、一一映射、复合映射、反函数。
注意定义中的这些词：“任意给定的”（即所有的）“存在”（即不小于一个），“有且仅囿”（即必只有一个）
不懂追问。

不是这样的换元是把复合函数简单化

你对这个回答的评价是？

你对这个回答的评价是