Subsection 12.1

General properties of mappings (12.1-12.24)

[24/58%]
Show
LaTeX
Problem 12.1

Let f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} be a mapping. Prove that:

?
(1)

if A1⊆A2⊆X\mathcal{A}_{1} \subseteq \mathcal{A}_{2} \subseteq \mathcal{X}, then f(A1)⊆f(A2)f\left(\mathcal{A}_{1}\right) \subseteq f\left(\mathcal{A}_{2}\right)

(2)

f(A1∪A2)=f(A1)∪f(A2)f\left(\mathcal{A}_{1} \cup \mathcal{A}_{2}\right) = f\left(\mathcal{A}_{1}\right) \cup f\left(\mathcal{A}_{2}\right)

(3)

if B1,B2⊆f(X)⊆Y\mathcal{B}_{1}, \mathcal{B}_{2} \subseteq f(\mathcal{X}) \subseteq \mathcal{Y}, then f−1(B1∩B2)=f−1(B1)∩f−1(B2)f^{ - 1}\left(\mathcal{B}_{1} \cap \mathcal{B}_{2}\right) = f^{ - 1}\left(\mathcal{B}_{1}\right) \cap f^{ - 1}\left(\mathcal{B}_{2}\right)

(4)

f(A1∩A2)⊆f(A1)∩f(A2)f\left(\mathcal{A}_{1} \cap \mathcal{A}_{2}\right) \subseteq f\left(\mathcal{A}_{1}\right) \cap f\left(\mathcal{A}_{2}\right). Can the image of an intersection fail to coincide with the intersection of the images?

Problem 12.2

In how many ways can a one-to-one correspondence be established between two sets each containing nn elements?

?
Problem 12.3
?
(1)

How many transformations exist of a set consisting of nn elements? How many of them are one-to-one?

(2)

How many possibilities are there for the sets of values of transformations of a set of nn elements?

(3)

How many mappings exist of a set of mm elements into a set of nn elements?

Problem 12.4

Let f:X→Y,∣X∣=m,∣Y∣=nf: \mathcal{X} \rightarrow \mathcal{Y}, \left|\mathcal{X}\right| = m, \left|\mathcal{Y}\right| = n. Can the mapping ff be:

?
(1)

A surjection when n>mn > m?

(2)

An injection when n<mn < m?

Problem 12.5

Let f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y}, where X,Y\mathcal{X}, \mathcal{Y} are finite sets consisting of the same number of elements. Prove the equivalence of the following statements:

?
(1)

ff is an injection

(2)

ff is a surjection

(3)

ff is one-to-one.

Problem 12.6

Give examples of mappings f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} of infinite sets X,Y\mathcal{X}, \mathcal{Y} such that:

?
(1)

ff is a surjection, but not an injection

(2)

ff is an injection, but not one-to-one.

Problem 12.7

Establish one-to-one correspondences between the set of all natural numbers and the given set:

?
(1)

the set of all integers

(2)

the set of all even numbers

(3)

the set of all rational numbers

(4)

the set of all points of the plane whose coordinates are rational (rational points)

(5)

the set of all intervals on the line with rational endpoints

(6)

the set of all disks in the plane with centers at rational points and rational radii

(7)

the set of all polynomials p(x)=a0+a1x+…+anxn(n=0,1,2,…)p(x) = a_{0} + a_{1} x + \ldots + a_{n} x^{n} (n = 0, 1, 2, \ldots ) with integer coefficients ai(i=0,1,…,n)a_{i} \quad (i = 0, 1, \ldots , n).

Problem 12.8

Prove that:

?
(1)

no one-to-one correspondence can be established between the set of all integers and the set of all sequences of the numbers 0 and 1

(2)

there exists a one-to-one correspondence between the set of all real numbers and the set of all sequences of the numbers 0 and 1.

Problem 12.9

Let X,Y\mathcal{X}, \mathcal{Y} be infinite sets, f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} a one-to-one mapping, and Y∩Z=∅\mathcal{Y} \cap \mathcal{Z} = \varnothing. Devise a one-to-one mapping of X\mathcal{X} onto Y∪Z\mathcal{Y} \cup \mathcal{Z}, if:

?
(1)

Z\mathcal{Z} is finite

(2)

Z\mathcal{Z} is countable.

Problem 12.10

Prove that any mapping f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} has at most one inverse mapping.

?
Problem 12.11

Devise a one-to-one mapping of the line:

?
(1)

onto the interval (−1,1)(- 1, 1)

(2)

onto the segment [−1,1]\left[ - 1, 1\right].

Problem 12.12

Devise a transformation of the plane that maps the plane one-to-one:

?
(1)

onto the open disk x2+y2<1x^{2} + y^{2} < 1

(2)

onto the closed disk x2+y2⩽1x^{2} + y^{2} \leqslant 1

(3)

onto the square ∣x∣<1,∣y∣<1\left|x\right| < 1, \left|y\right| < 1 (the coordinate system is rectangular).

Problem 12.13

Given a linear transformation of the number line: f(x)=ax+bf(x) = ax + b (a,ba, b are real numbers). Prove that:

?
(1)

ff is one-to-one if and only if a≠0a \neq 0

(2)

ff preserves the direction of vectors on the line when a>0a > 0 and reverses it when a<0a < 0

(3)

when a≠0a \neq 0, the image of an interval of length ll is an interval of length ∣a∣l\left|a\right| l.

Problem 12.14

Given the transformation f(x)=ax+bf(x) = ax + b of the number line. Find:

?
(1)

the fixed points of the transformation ff

(2)

the transformation inverse to the transformation f(a≠0)f(a \neq 0).

Problem 12.15

Write the formula defining the linear mapping of the interval (a,b)(a, b) onto the interval (c,d)(c, d) of the number line.

?
Problem 12.16

Given linear transformations ff and gg of the number line: f(x)=ax+b,g(x)=cx+df(x) = ax + b, g(x) = cx + d. Find the products fgfg and gfgf. In what case is fg=gffg = gf?

?
Problem 12.17

A mapping ff of the number line into the plane is given, in a rectangular coordinate system, by the formulas: x=acos⁡tx = a\cos t, y=bsin⁡t(a>0,b>0)y = b\sin t\quad (a > 0, \quad b > 0).

?
(1)

Find the image S\mathcal{S} of the line under the mapping ff.

(2)

Is the mapping ff an injection?

(3)

Indicate some sets on the line that are mapped one-to-one onto S\mathcal{S}.

Problem 12.18

A mapping ff of the number line into the plane is given, in a rectangular coordinate system, by the formulas: x=−ch⁡tx = - \operatorname {ch} t, y=sh⁡ty = \operatorname {sh} t.

?
(1)

Find the image S\mathcal{S} of the line under the mapping ff.

(2)

Is the mapping ff an injection?

(3)

Find the preimage tt of each point of S\mathcal{S}.

Problem 12.19

A transformation ff of the plane is given, in a rectangular coordinate system, by the formulas: x∗=x2−y2,y∗=2xyx^{ * } = x^{2} - y^{2}, y^{ * } = 2xy.

?
(1)

Is the transformation f:f:

(1) a surjection,

(2) one-to-one?

(2)

Find the complete preimage of an arbitrary point (x∗,y∗)\left(x^{ * }, y^{ * }\right) of the plane.

Problem 12.20

A transformation ff of the plane is given, in a rectangular coordinate system, by the formulas: x∗=excos⁡y,y∗=exsin⁡yx^{ * } = e^{x} \cos y, y^{ * } = e^{x} \sin y.

?
(1)

Is the transformation ff one-to-one?

(2)

Identify regions in the plane on which ff is one-to-one.

(3)

Let fˉ\bar{f} be the restriction of the transformation ff to the strip 0<y<π0 < y < \pi. Find the formulas defining the mapping inverse to fˉ\bar{f}.

Problem 12.21

Given mappings f:X→Y,g:Y→Zf: \mathcal{X} \rightarrow \mathcal{Y}, g: \mathcal{Y} \rightarrow \mathcal{Z} and h:Z→Uh: \mathcal{Z} \rightarrow \mathcal{U}. Prove the associativity of composition of mappings, i.e., the equality h(gf)=(hg)fh(gf) = (hg) f.

?
Problem 12.22

Let X,Y\mathcal{X}, \mathcal{Y} be nonempty sets, Z=X×Y\mathcal{Z} = \mathcal{X} \times \mathcal{Y}. The mapping π:Z→Y\pi : \mathcal{Z} \rightarrow \mathcal{Y} (the projection of Z\mathcal{Z} onto Y\mathcal{Y}) is defined by the equality π((x,y))=y\pi ((x, y)) = y. Show that π\pi is a surjection.

?
Problem 12.23

Show that for every set X\mathcal{X} there exists an injection δ:X→X×X\delta : \mathcal{X} \rightarrow \mathcal{X} \times \mathcal{X}.

?
Problem 12.24

The graph of a mapping f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} is the subset Γ={(x,f(x))∣x∈X}⊆X×Y\Gamma = \left\{ (x, f(x)) \mid x\in \mathcal{X}\right\} \subseteq \mathcal{X} \times \mathcal{Y}.

?
(1)

Find the image of the set X\mathcal{X} under the mapping φ:X→X×Y\varphi : \mathcal{X} \rightarrow \mathcal{X} \times \mathcal{Y}, defined by the equality φ(x)=(x,f(x))\varphi (x) = (x, f(x)).

(2)

Prove that f=πφf = \pi \varphi (for the definition of π\pi, see 12. 22).

(3)

Prove that the mapping ff is an injection if and only if φ\varphi is an injection.

(4)

Prove that ff is a surjection if and only if π(Γ)=Y\pi (\Gamma ) = \mathcal{Y}.