1.3 函数【下】

习题

【1】关系的复合

关系 ${\mathcal{R}}_1,{\mathcal{R}}_2$ 的复合 $R_2\circ R_1$ 定义为 $R_2\circ R_1:=\{(x,z)|\exists y((x{\mathcal{R}}_{1}y)\wedge (y{\mathcal{R}}_{2}z))\}$ .

a) 设 ${\Delta }_X,{\Delta }_Y$ 分别是 $X^2,Y^2$ 的对角线. 请证明：如果关系 ${\mathcal{R}}_1\subset X\times Y$ 与 ${\mathcal{R}}_2\subset Y\times X$ 满足 $(R_2\circ R_1={\Delta }_X)\wedge (R_1\circ R_2={\Delta }_Y)$，则它们都是函数关系并且给出 $X,Y$ 之间的互逆映射.

证明：

假设 $(x{\mathcal{R}}_1{y}_1)\wedge (x{\mathcal{R}}_1{y}_2)$ 成立.

由 $R_2\circ R_1={\Delta }_X$ 得 $(y_1{\mathcal{R}}_{2}x)\wedge (y_2{\mathcal{R}}_{2}x)$ .

由 $(y_1{R}_{2}x)\wedge (x{R}_1{y}_2)$ 知 $y_1({\mathcal{R}}_1\circ {\mathcal{R}}_2)y_2$

由 $R_1\circ R_2={\Delta }_Y$ 得 $y_1=y_2$ .

故 $(x{\mathcal{R}}_1{y}_1)\wedge (x{\mathcal{R}}_1{y}_2)\Rightarrow (x{\mathcal{R}}_1{y}_1)\wedge (x{\mathcal{R}}_1{y}_2)$ , 即 $R_1$ 是函数关系

同理可证 ${\mathcal{R}}_2$ 是函数关系.

既然 ${\mathcal{R}}_1$ 和 ${\mathcal{R}}_2$ 都是函数关系，容易看出，他们确定的函数

$y=f_1(x)$ 和 $x=f_2(y)$ 为互逆映射

---

b) 设 ${\mathcal{R}}^2\subset X^2$. 证明：关系 $\mathcal{R}$ 的传递性等价于 $\mathcal{R}\circ \mathcal{R}\subset \mathcal{R}$.

证明：

假设关系 $\mathcal{R}$ 具有传递性，即对于任意的 $a,b,c\in X$ 有$(a\mathcal{R}b)\wedge (b\mathcal{R}c)\Rightarrow a\mathcal{R}c$

$a(\mathcal{R}\circ \mathcal{R})c\Rightarrow \exists b((a\mathcal{R}b)\wedge (b\mathcal{R}c))\Rightarrow a\mathcal{R}c$

这说明 $\mathcal{R}\circ \mathcal{R}\subset \mathcal{R}$

假设 $\mathcal{R}\circ \mathcal{R}\subset \mathcal{R}$ , 则对于任意的 $a,b,c\in X$

$(a\mathcal{R}b)\wedge (b\mathcal{R}c)\Rightarrow a(\mathcal{R}\circ \mathcal{R})c\Rightarrow a\mathcal{R}c$

这说明关系 $\mathcal{R}$ 具有传递性

---

c) 如果关系 ${\mathcal{R}}^{\prime }\subset Y\times X$ 和 $\mathcal{R}\subset X\times Y$ 满足 $(y{\mathcal{R}}^{\prime }x)\iff x\mathcal{R}y$，则称 ${\mathcal{R}}^{\prime }$ 为 $\mathcal{R}$ 的转置关系. 证明：关系 $\mathcal{R}\subset X^2$ 的反对称性等价于条件 $\mathcal{R}\cap {\mathcal{R}}^{\prime }\subset {\Delta }_X$ .

证明：

假设关系 $\mathcal{R}$ 具有反对称性，即对于任意的 $a,b\in X$ 有 $(a\mathcal{R}b)\wedge (b\mathcal{R}a)\Rightarrow a=b$

$a(\mathcal{R}\cap {\mathcal{R}}^{\prime })b\Rightarrow (a\mathcal{R}b)\wedge (a{\mathcal{R}}^{\prime }b)\Rightarrow (a\mathcal{R}b)\wedge (b\mathcal{R}a)$

$\Rightarrow a=b\Rightarrow a{\Delta }_{X}b$ . 这说明$\mathcal{R}\cap {\mathcal{R}}^{\prime }\subset {\Delta }_X$ .

假设 $\mathcal{R}\cap {\mathcal{R}}^{\prime }\subset {\Delta }_X$ . 则对于任意的 $a,b\in X$ 有 $(a\mathcal{R}b)\wedge (b\mathcal{R}a)$

$\Rightarrow (a\mathcal{R}b)\wedge (a{\mathcal{R}}^{\prime }b)\Rightarrow a(\mathcal{R}\cap {\mathcal{R}}^{\prime })b\Rightarrow a{\Delta }_{X}b\Rightarrow a=b$

这说明关系 $\mathcal{R}$ 具有反对称性 .

---

d) 证明：当且仅当 $\mathcal{R}\cup {\mathcal{R}}^{\prime }=X^2$ 时，集合 $X$ 的任意两个元素之间由 $R\subset X^2$ 相联系.

证明：

$\mathcal{R}\cup {\mathcal{R}}^{\prime }=X^2\iff 对于任意的a,b\in X,必定有a(\mathcal{R}\cup {\mathcal{R}}^{\prime })b$

$\iff (a\mathcal{R}b)\vee (a{\mathcal{R}}^{\prime }b)\iff (a\mathcal{R}b)\vee (b\mathcal{R}a)$

【2】层

设 $f:X\to Y$ 是映射. 元素 $y\in Y$ 的原像 $f^{-1}(y)\subset X$ 称为 $y$ 上的层.

a) 请指出映射 ${\text{pr}}_1:X_1\times X_2\to X_1,{\text{pr}}_2:X_1\times X_2\to X_2$ 的层

解：

任给 $x_1\in X_1$ ，$x_1$ 的层 ${\text{pr}}_1^{-1}(x_1)=\{(x_1,y)|y\in X_2\}$

任给 $x_2\in X_2$ ，$x_2$ 的层 ${\text{pr}}_2^{-1}(x_2)=\{(x,x_2)|x\in X_1\}$

---

b) 设 $x_1,x_2\in X$ ，如果 $f(x_1)=f(x_2)$，即如果 $x_1$ 与 $x_2$ 位于同一层，就认为 $x_1$ 与 $x_2$ 由关系 $\mathcal{R}\subset X^2$ 相联系，并记为 $x_1\mathcal{R}{x}_2$ . 证明：$\mathcal{R}$ 是等价关系

证明：

• 自反性：$f(x)=f(x)\Rightarrow x\mathcal{R}x$
• 对称性：$x_1\mathcal{R}{x}_2\Rightarrow f(x_1)=f(x_2)\Rightarrow f(x_2)=f(x_1)\Rightarrow x_2\mathcal{R}{x}_1$
• 传递性：$(x_1\mathcal{R}{x}_2)\wedge (x_2\mathcal{R}{x}_3)\Rightarrow f(x_1)=f(x_2)=f(x_3)\Rightarrow f(x_1)=f(x_3)\Rightarrow x_1\mathcal{R}{x}_3$

---

c) 证明：映射 $f:X\to Y$ 的层互不相交，而所有层的并集就是整个集合 $X$ .

证明：

假设存在$y_1\ne y_2$，使得 $f$ 的层 $f^{-1}(y_1)$ 与 $f^{-1}(y_2)$ 相交，

这说明存在 $x$ , 使得 $(f(x)=y_1)\wedge (f(x)=y_2)$ . 这与函数定义矛盾.

因此映射 $f:X\to Y$ 的层互不相交.

所有层的并集包含于 $X$ 是显然的. 对于任意的 $x\in X$ , 存在 $y=f(x)$ , 这说明 $x\in f^{-1}(y)$ . 也就是说， $X$ 包含于所有层的并集. 综合起来，所有层的并集就是整个集合 $X$ .

---

d) 证明：利用集合的元素之间的任何等价关系，都可以把该集合表示为互不相交的等价元素类的并集的形式.

证明：

设 x ∼ = { y ∈ A ∣ y ∼ x } \overset{\sim}{x}=\{y\in A|y\sim x\} x∼={y∈A∣y∼x} ，称之为 $x$ 的等价类.

假设 $y\sim x$ .

$z\in \stackrel{\sim }{y}\Rightarrow z\sim y\Rightarrow z\sim x\Rightarrow z\in \stackrel{\sim }{x}$.

$z\in \stackrel{\sim }{x}\Rightarrow z\sim x\Rightarrow x\sim z\Rightarrow y\sim z\Rightarrow z\sim y\Rightarrow z\in \stackrel{\sim }{y}$

这说明 $\stackrel{\sim }{x}=\stackrel{\sim }{y}$ ，即具有等价关系的元素属于同一等价类

假设 $y\nsim x$ .

$z\in \stackrel{\sim }{y}\Rightarrow z\sim y\Rightarrow z\nsim x\Rightarrow z\notin \stackrel{\sim }{x}$

这说明 $\stackrel{\sim }{x}\cap \stackrel{\sim }{y}=\varnothing$ ，即不具有等价关系的元素属于的等价类互不相交

设所有的等价类组成的集合为 Q = { x ∼ ∣ x ∈ A } Q=\{\overset{\sim}{x} |x\in A\} Q={x∼∣x∈A} , 该集称为 $A$ 的商集 $Q$

$\underset{\stackrel{\sim }{x}\in Q}{\cup }\stackrel{\sim }{x}\subset A$ 是显然的 . 对于每个 $x\in A$ ，必然有 $x\in \stackrel{\sim }{x}$ , 故 $A\subset \underset{\stackrel{\sim }{x}\in Q}{\cup }\stackrel{\sim }{x}$ . 则 $A=\underset{\stackrel{\sim }{x}\in Q}{\cup }\stackrel{\sim }{x}$.

综上，该集合可以表示为互不相交的等价类 $\stackrel{\sim }{x}$ 的并集的形式.

【3】映射中的子集

有映射 $f:X\to Y$ . 证明：如果 $A$ 与 $B$ 都是 $X$ 的子集，则

a) $(A\subset B)\Rightarrow (f(A)\subset f(B))\nRightarrow (A\subset B)$

证明：

假设 $A\subset B$ 成立 .

若 $f(A)=\varnothing$ , 则显然有 $f(A)\subset f(B)$ .

若 $f(A)$ 不为空集 , 则存在 $y\in f(A)\Rightarrow y=f(x),x\in A\Rightarrow y=f(x),x\in B\Rightarrow y\in f(B)$

即 $f(A)\subset f(B)$ . 故 $(A\subset B)\Rightarrow (f(A)\subset f(B))$ .

可以构造 $f:\mathbb{R}\to \mathbb{R}$ 为 $f(x)=x^2$ .

取 $A=[-1,1],B=[0,1]$ , 则 $f(A)=[0,1]=f(B)$ 但 $B\subset A$ .

---

b）$(A\ne \varnothing )\Rightarrow (f(A)\ne \varnothing )$

证明：

$A\ne \varnothing$ , 则可取 $x\in A$ ，对应有 $f(x)\in f(A)$ . 故 $(f(A)\ne \varnothing )$ .

---

c）$f(A\cap B)\subset f(A)\cap f(B)$

证明：

若 $f(A\cap B)=\varnothing$，则显然有 $f(A\cap B)\subset f(A)\cap f(B)$ .

若 $f(A\cap B)\ne \varnothing$，则存在 $y\in f(A\cap B)\Rightarrow y=f(x),x\in A\cap B\Rightarrow y=f(x),(x\in A)\wedge (x\in B)$

$\Rightarrow (y\in f(A))\wedge (y\in f(B))\Rightarrow y\in f(A)\cap f(B)$

---

d）$f(A\cup B)\subset f(A)\cup f(B)$

证明：

若 $f(A\cup B)=\varnothing$，则显然有 $f(A\cup B)\subset f(A)\cup f(B)$ .

若 $f(A\cup B)\ne \varnothing$，则存在 $y\in f(A\cup B)\Rightarrow y=f(x),x\in A\cup B\Rightarrow y=f(x),(x\in A)\vee (x\in B)$

$\Rightarrow (y\in f(A))\vee (y\in f(B))\Rightarrow y\in f(A)\cup f(B)$

---

如果 $A^{\prime }$ 与 $B^{\prime }$ 都是 $Y$ 的子集，则

e）$(A^{\prime }\subset B^{\prime })\Rightarrow (f^{-1}(A^{\prime })\subset f^{-1}(B^{\prime }))$

证明：

假设 $A^{\prime }\subset B^{\prime }$ 成立 .

若 $f^{-1}(A^{\prime })=\varnothing$ , 则显然有 $(f^{-1}(A^{\prime })\subset f^{-1}(B^{\prime }))$

若 $f^{-1}(A^{\prime })\ne \varnothing$ , 则存在 $x\in f^{-1}(A^{\prime })\Rightarrow y=f(x),y\in A^{\prime }\Rightarrow y=f(x),y\in B^{\prime }\Rightarrow x\in f^{-1}(B^{\prime })$

---

f）$f^{-1}(A^{\prime }\cap B^{\prime })=f^{-1}(A)\cap f^{-1}(B)$

证明：

若 $f^{-1}(A^{\prime }\cap B^{\prime })=\varnothing$ ，假定 $f^{-1}(A)\cap f^{-1}(B)\ne \varnothing$，

则存在 $x\in f^{-1}(A)\cap f^{-1}(B)\Rightarrow (y=f(x)\in A^{\prime })\wedge (y=f(x)\in B^{\prime })$

$\Rightarrow y\in A^{\prime }\cap B^{\prime }\Rightarrow x\in f^{-1}(A^{\prime }\cap B^{\prime })$ .

产生矛盾. 故 $f^{-1}(A)\cap f^{-1}(B)=\varnothing =f^{-1}(A^{\prime }\cap B^{\prime })$

若 $f^{-1}(A^{\prime }\cap B^{\prime })\ne \varnothing$ , 则存在 $x\in f^{-1}(A^{\prime }\cap B^{\prime })\iff y=f(x),y\in A^{\prime }\cap B^{\prime }$

$\iff x\in f^{-1}(A)\cap f^{-1}(B)$

---

g）$f^{-1}(A^{\prime }\cup B^{\prime })=f^{-1}(A)\cup f^{-1}(B)$

证明：

类似 f）

---

如果 $B^{\prime }\subset A^{\prime }\subset Y$ , 则

h）$f^{-1}(A^{\prime }-B^{\prime })=f^{-1}(A^{\prime })-f^{-1}(B^{\prime })$

证明：

若 $f^{-1}(A^{\prime }-B^{\prime })=\varnothing$ , 假定 $f^{-1}(A^{\prime })-f^{-1}(B^{\prime })$ 不为空集，

则存在 $(x\in f^{-1}(A^{\prime }))\cap (x\notin f^{-1}(B^{\prime }))\Rightarrow y=f(x),(y\in A^{\prime })\wedge (y\notin B^{\prime })$

$\Rightarrow y=f(x),y\in A^{\prime }-B^{\prime }$ . 产生矛盾. 故 $f^{-1}(A^{\prime }-B^{\prime })=f^{-1}(A^{\prime })-f^{-1}(B^{\prime })=\varnothing$ .

若 $f^{-1}(A^{\prime }-B^{\prime })\ne \varnothing$ , 则存在 $x\in f^{-1}(A^{\prime }-B^{\prime })$

$\iff y=f(x),x\in A^{\prime }-B^{\prime }\iff y=f(x),(y\in A^{\prime })\wedge (y\notin B^{\prime })$

$\iff (x\in f^{-1}(A^{\prime }))\wedge (x\notin f^{-1}(B^{\prime }))\iff x\in f^{-1}(A^{\prime })-f^{-1}(B^{\prime })$

---

i）$f^{-1}(C_Y{A}^{\prime })=C_X{f}^{-1}(A^{\prime })$

证明：

由 h) 可推得

---

对于任何集合 $A\subset X$ 及任何集合 $B^{\prime }\subset Y$，有

j）$A\subset f^{-1}(f(A))$

证明：

若 $A=\varnothing$ ，明显有 $A\subset f^{-1}(f(A))$ .

若 $A\ne \varnothing$ ，$x\in A\Rightarrow f(x)\in f(A)\Rightarrow x\in f^{-1}(f(A))$

---

k）$f(f^{-1}(B^{\prime }))\subset B^{\prime }$

证明：

若 $f(f^{-1}(B^{\prime }))=\varnothing$ , 明显有 $f(f^{-1}(B^{\prime }))\subset B^{\prime }$ .

若 $f(f^{-1}(B^{\prime }))\ne \varnothing$ , $y\in f(f^{-1}(B^{\prime }))\Rightarrow y=f(x),x\in f^{-1}(B^{\prime })\Rightarrow y\in B^{\prime }$

【4】满射和双射

a） $f:X\to Y$ 是满射当且仅当 $f(f^{-1}(B^{\prime }))=B^{\prime }$ 对任何集合 $B^{\prime }\subset Y$ 都成立

证明：

若 $f:X\to Y$ 是满射，则 $f(X)=Y$ . 则对于任何非空 $B^{\prime }\subset Y$ , $f^{-1}(B)\ne \varnothing$ .

根据 【映射中的子集】k）可知 $f(f^{-1}(B^{\prime }))\subset B^{\prime }$

若 $B^{\prime }=\varnothing$ , 明显有 $B^{\prime }\subset f(f^{-1}(B^{\prime }))$ .

若 $B^{\prime }\ne \varnothing$ , 则存在 $y\in B^{\prime }\Rightarrow y=f(x),x\in f^{-1}(B^{\prime })\Rightarrow y\in f(f^{-1}(B^{\prime }))$ .

若 $f(f^{-1}(B^{\prime }))=B^{\prime }$ 对任何集合 $B^{\prime }\subset Y$ 都成立 .

取 $B^{\prime }=Y$ , 则 $f(f^{-1}(Y))=f(X)=Y$ , 故 $f$ 是满射.

---

b） $f:X\to Y$ 是双射当且仅当 $(f^{-1}(f(A))=A)\wedge (f(f^{-1}(B^{\prime }))=B^{\prime })$ 对任何集合 $A\subset X$ 及 $B^{\prime }\subset Y$ 都成立.

证明：

由 a) 知 $f(f^{-1}(B^{\prime }))=B^{\prime }\Rightarrow f是满射$ .

假设对任何 $A\subset X$ 有 $f^{-1}(f(A))=A$ 成立 .

f ( x 1 ) = f ( x 2 ) ⇒ x 1 ∈ f − 1 ( f ( x 2 ) ) = { x 2 } ⇒ x 1 = x 2 f(x_1)=f(x_2)\Rightarrow x_1\in f^{-1}(f(x_2))=\{x_2\} \Rightarrow x_1=x_2 f(x1​)=f(x2​)⇒x1​∈f−1(f(x2​))={x2​}⇒x1​=x2​

故 $f$ 是单射 . 综合起来 ，$(f^{-1}(f(A))=A)\wedge (f(f^{-1}(B^{\prime })=B^{\prime }))\Rightarrow f是双射$ .

由 a）得 $f是满射\Rightarrow f(f^{-1}(B^{\prime }))=B^{\prime }$

若 $f$ 还是单射 ，则

由【映射中的子集】j) 得 $A\subset f^{-1}(f(A))$ .

若 $f^{-1}(f(A))=\varnothing$ , 明显有 $f^{-1}(f(A))\subset A$

若 $f^{-1}(f(A))\ne \varnothing$ , 则存在 $x\in f^{-1}(f(A))\Rightarrow f(x)\in f(A)$

假设 $x\notin A$ , 则存在 $x_0\in A,f(x_0)=f(x)\Rightarrow x=x_0$

产生矛盾. 故 $x\in A$ . $f^{-1}(f(A))\subset A$

【5】单射

请证明以下命题等价：

a) $f$ 是单射

b) 对于任何集合 $A\subset X$ , 都有 $f^{-1}(f(A))=A$

c) 对于 $X$ 的任何子集 $A,B$ ，都有 $f(A\cap B)=f(A)\cap f(B)$

d) $f(A)\cap f(B)=\varnothing \iff A\cap B=\varnothing$

e) 如果 $B\subset A\subset X$ ，则 $f(A-B)=f(A)-f(B)$

证明：

a $\to$ b ) 由【满射和双射】 b) 得

---

b $\to$ c ) 取 $A=\varnothing$ , 则 $f^{-1}(f(\varnothing ))=f^{-1}(\varnothing )=\varnothing$

由 【映射中的子集】 c) 知 $f(A\cap B)\subset f(A)\cap f(B)$ .

若 $f(A)\cap f(B)=\varnothing$ , 则 $f(A)\cap f(B)\subset f(A\cap B)$

若 $f(A)\cap f(B)\ne \varnothing$ , 则 存在 $y\in f(A)\cap f(B)$

若存在 $x_1\in A\ne x_2\in B,f(x_1)=f(x_2)\Rightarrow x_2\in f^{-1}(f(x_1))$ ,

这与 $f^{-1}(f(x_1))=x_1$ 矛盾.

故只能存在 $x\in A\cap B,y=f(x)\Rightarrow y\in f(A\cap B)$ . $f(A)\cap f(B)\subset f(A\cap B)$

---

c $\to$ d ) $f(A)\cap f(B)=\varnothing \iff f(A\cap B)=\varnothing \iff A\cap B=\varnothing$

---

d $\to$ e ) $(A-B)\cap B=\varnothing \Rightarrow f(A-B)\cap f(B)=\varnothing$

$f(A-B)=\varnothing \iff A-B=\varnothing \iff A=B\iff f(A)-f(B)=\varnothing$ .

$f(A-B)\ne \varnothing \iff 存在y\in f(A-B)\iff y=f(x),x\in A-B\iff y\in (f(A)-f(B))$

---

e $\to$ a ）设有 $f(x_1)=f(x_2)$ . 假设 $x_1\ne x_2$ , 取 B = { x 1 } , A = { x 1 , x 2 } B=\{x_1\},A=\{x_1,x_2\} B={x1​},A={x1​,x2​}

则有 f ( A − B ) = f ( { x 2 } ) = f ( { x 1 , x 2 } ) − f ( { x 1 } ) = ∅ f(A-B)=f(\{x_2\})=f(\{x_1,x_2\})-f(\{x_1\})=\varnothing f(A−B)=f({x2​})=f({x1​,x2​})−f({x1​})=∅ . 产生矛盾 .

故 $x_1=x_2$ . $f$ 为单射 .

【6】逆映射

a) 如果映射 $f:X\to Y$ 与 $g:Y\to X$ 满足 $g\circ f=e_X$，则称 $g$ 为 $f$ 的左逆映射， $f$ 为 $g$ 的右逆映射.

证明：可能存在多个单侧逆映射(这与逆映射的唯一性不同)

证明：

映射 $(x,y)\stackrel{g}{\mapsto }y$ , 有无数个右逆映射 $y\stackrel{f_a}{\mapsto }(a,y)$ .

---

b) 设映射 $f:X\to Y$ 与 $g:Y\to Z$ 是双射 . 证明：$g\circ f:X\to Z$ 是双射，并且 $(g\circ f{)}^{-1}=f^{-1}\circ g^{-1}$

证明：

$x$ 与 $y=f(x)$ 与 $z=g(y)$ 一一对应. 则 $x$ 与 $z=g(f(x))$ 一一对应.

$(g\circ f{)}^{-1}(z)=x$ .

$(f^{-1}\circ g^{-1})(z)=f^{-1}(g^{-1}(z))=f^{-1}(y)=x$

---

c) 证明：$(g\circ f{)}^{-1}(C)=f^{-1}(g^{-1}(C))$ 对于任何映射 $f:X\to Y$ 与 $g:Y\to Z$ 和任何集合 $C\subset Z$ 都成立.

证明：

若 $(g\circ f{)}^{-1}(C)=\varnothing$ , 假设 $f^{-1}(g^{-1}(C))\ne \varnothing$ , 则存在 $y\in Y$ , 使得 $z=g(y)\in Z$ , 存在 $x\in X$ ，使得 $y=f(x)$ . 而 $f^{-1}(g^{-1}(x))=z$ . 这与 $(g\circ f{)}^{-1}(C)=\varnothing$ 矛盾 . 故 $f^{-1}(g^{-1}(C))\ne \varnothing$ .

若 $(g\circ f{)}^{-1}(C)\ne \varnothing$ , 则存在 $x\in (g\circ f{)}^{-1}(C)$ 使得 $(g\circ f)(x)=z\in C\Rightarrow g(f(x))=z,y=f(x)\Rightarrow x\in f^{-1}(g^{-1}(z))$ . 故 $x\in f^{-1}(g^{-1}(C))$ .

---

d) 证明：由 $(x,y)\mapsto (y,x)$ 给出的映射 $F:X\times Y\to Y\times X$ 是双射. 试描述互逆映射 $f:X\to Y$ 与 $f^{-1}:Y\to X$ 的图像之间的相互联系

证明：

显然是双射 .

横纵坐标互换，关于 $y=x$ 对称.

---

【7】图像

a) 证明：对于任何映射 $f:X\to Y$ , 由 $x\stackrel{F}{\mapsto }(x,f(x))$ 定义的映射 $F:X\to X\times Y$ 是单射.

证明：

设 $(x_1,f(x_1))=(x_2,f(x_2))$ , 则 $x_1=x_2$

---

b) 设质点沿圆周 $Y$ 匀速运动，$X$ 是时间轴，$x\stackrel{f}{\mapsto }y$ 是时刻 $x\in X$ 与质点位置 $y=f(x)\in Y$ 之间的对应关系. 请画出函数 $f:X\to Y$ 在 $X\times Y$ 上的图像

解：

设圆周 $Y$ 长 $2\pi$ , 以某点 $O$ 为原点，用一个非负数 $y\in Y\subset {\mathbb{R}}^{+}$ 代表所处位置 , 设质点速度为 1

则图像为：

【8】实例再现

a) 对于之前提到的实例，说明其中的映射的类型

解：

圆的周长公式和球的体积公式：双射

光速的常数映射：既非单射又非满射

伽利略变换与一维洛伦兹变换：双射

投影映射：满射

补集：双射

特征函数：既非单射又非满射

泛函：满射

测地线：既非单射又非满射

平移算子：双射

质点系统：既非单射又非满射

势能：既非单射又非满射

机械能：既非单射又非满射

---

b) 欧姆定律 $I=\frac{V}{R}$ 给出导体中的电流 $I$ 与导体两端电压 $V$ 和导体电阻 $R$ 之间的联系. 请指出，哪些集合的映射 $O:X\to Y$ 与欧姆定律相对应？欧姆定律所对应的关系是哪一个集合的子集？

解：

设电压可有正有负，电阻非负 . 即 $V\in \mathbb{R},R\in {\mathbb{R}}^{+}$ .

则 $O:\mathbb{R}\times {\mathbb{R}}^{+}\to \mathbb{R}$ .

欧姆定律对应的关系是 $\mathbb{R}\times {\mathbb{R}}^{+}\times \mathbb{R}$ 的子集 .

---

c) 请求出伽利略变换与洛伦兹变换的逆变换 $G^{-1}$ , $L^{-1}$

解：

$\{\begin{array}{l}{x}^{\prime }=x-vt\\ t^{\prime }=t\end{array}\iff \{\begin{array}{l}x=x^{\prime }+vt\\ t=t^{\prime }\end{array}$ . 这确定了 $G^{-1}$ .

$\{\begin{array}{l}{x}^{\prime }=\frac{x-vt}{\sqrt{1-(\frac{v}{c}}{)}^2}\\ t^{\prime }=\frac{t-(\frac{v}{c^2})x}{\sqrt{1-(\frac{v}{c}}{)}^2}\end{array}\iff \{\begin{array}{l}(\frac{v}{c^2})x^{\prime }=\frac{(\frac{v}{c^2})x-(\frac{v}{c}{)}^{2}t}{\sqrt{1-(\frac{v}{c}}{)}^2}\\ v{t}^{\prime }=\frac{vt-(\frac{v}{c}{)}^{2}x}{\sqrt{1-(\frac{v}{c}}{)}^2}\end{array}\iff \{\begin{array}{l}x=\frac{x^{\prime }+v{t}^{\prime }}{\sqrt{1-(\frac{v}{c^2}})}\\ t=\frac{t^{\prime }+(\frac{v}{c^2})x^{\prime }}{\sqrt{1-(\frac{v}{c}{)}^2}}\end{array}$ . 这确定了 $L^{-1}$ .

【9】稳定集、不变集、不动点

a) 对于映射 $f:X\to X$ ，满足 $f(S)\subset S$ 的集合 $S\subset X$ 称为映射 $f$ 的稳定集. 请写出平面沿其上给定向量的平移的稳定集.

解：

对于任意的 $A\subset X$ , 作集合 $S=\{(x+ka,y+kb)|(x,y)\in A,k\in {\mathbb{R}}^{+}\}$ . 则 $S$ 为平面沿其上给定向量 $(a,b)$ 的平移的稳定集.

---

b) 对于映射 $f:X\to X$ ，满足 $f(I)=I$ 的集合 $I\subset X$ 称为映射 $f$ 的不变集. 请写出平面绕一个固定点的旋转的旋转不变集.

解： 对于任意的 $A\subset X$ , 作集合 $I=\{(m,n)|(m-a{)}^2+(n-b{)}^2=(x-a{)}^2+(y-b{)}^2,(x,y)\in A\}$ . 则 $I$ 为平面绕一个固定点 $(a,b)$ 的旋转的旋转不变集.

---

c) 对于映射 $f:X\to X$ ，满足 $f(p)=p$ 的集合 $p\in X$ 称为映射 $f$ 的不动点. 证明：平面的平移、旋转和位似变换的任何复合在位似系数小于 1 时具有不动点.

证明：

本题有点难，征求大家的解答. 以下解答仅供参考.

姑且认为旋转中心和位似中心都是映射后的原点.

设平面为 $P$ . 对于 $x\in P$ , 相继作平移、旋转和位似变换后，$x^{\prime }=\lambda Rx+b$

其中，$\lambda <1$ 为位似系数，$R$ 为旋转矩阵（行列式为1) ，$b$ 为平移向量作相同旋转和位似变换后生成的常数向量 .

解 $x=\lambda Rx+b$ 得唯一不动点 $x=(I-\lambda R{)}^{-1}b$ （$\lambda <1$ 保证 $I-\lambda R$ 可逆）

---

d) 认为伽利略变换和洛伦兹变换是平面到自身上的映射，它把坐标为 $(x,t)$ 的点变到坐标为 $(x^{\prime },t^{\prime })$ 的点. 请求出这些变换的不变集.

解：

本题有点难，征求大家的解答. 以下解答仅供参考.

伽利略变换 $\{\begin{array}{l}{x}^{\prime }=x-vt\\ t^{\prime }=t\end{array}$ . 对于平面上任意一个子集 $A$ , $I=\{(x-kvt,t)|(x,t)\in A,k\in {\mathbb{R}}^{+}\}$ 都是伽利略变换的不变集.

洛伦兹变换 $\{\begin{array}{l}{x}^{\prime }=\frac{x-vt}{\sqrt{1-(\frac{v}{c}}{)}^2}\\ t^{\prime }=\frac{t-(\frac{v}{c^2})x}{\sqrt{1-(\frac{v}{c}}{)}^2}\end{array}$ . 对于平面上任意一个子集 $A$ , $I=\{(x-kvt,t-kvx)|(x,t)\in A,k\in {\mathbb{R}}^{+}\}$ 都是伽利略变换的不变集.

【10】流体的定常流动

考虑流体的定常流动，即每个流动的点的速度不随时间变化. 位于空间点 $x$ 处的流体点，在时间 $t$ 内移动到某个新的空间点 $f_t(x)$ , 从而形成流体所占空间的点的映射 $x\mapsto f_t(x)$. 该映射与时间有关，称为时间 $t$ 内的变换. 请证明：$f_{t_2}\circ f_{t_1}=f_{t_1}\circ f_{t_2}=f_{t_1+t_2}$ , $f_t\circ f_{-t}=f_0=e_X$ .

证：

$f_t(x)=x+vt$

$(f_{t_2}\circ f_{t_1})(x)=f_{t_2}(f_{t_1}(x))=f_{t_2}(x+v{t}_1)=x+v{t}_1+v{t}_2=x+v(t_1+t_2)=f_{t_1+t_2}(x)$

$(f_{t_1}\circ f_{t_2})(x)=f_{t_1}(f_{t_2}(x))=f_{t_1}(x+v{t}_2)=x+v{t}_2+v{t}_1=x+v(t_1+t_2)=f_{t_1+t_2}(x)$

故 $f_{t_2}\circ f_{t_1}=f_{t_1}\circ f_{t_2}=f_{t_1+t_2}$ .

$(f_t\circ f_{-t})(x)=f_t(f_{-t}(x))=f_t(x-vt)=x-vt+vt=x=f_0(x)=e_X(x)$

故 $f_t\circ f_{-t}=f_0=e_X$ .