12.1

Общие свойства отображений (12.1-12.24)

[24/58%]
Показать
LaTeX
Задача 12.1

Пусть f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} — отображение. Доказать, что:

?
(1)

если A1⊆A2⊆X\mathcal{A}_{1} \subseteq \mathcal{A}_{2} \subseteq \mathcal{X}, то 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)

если B1,B2⊆f(X)⊆Y\mathcal{B}_{1}, \mathcal{B}_{2} \subseteq f(\mathcal{X}) \subseteq \mathcal{Y}, то 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). Может ли образ пересечения не совпадать с пересечением образов?

Задача 12.2

Сколькими способами можно установить взаимно однозначное соответствие между двумя множествами, содержащими по nn элементов?

?
Задача 12.3
?
(1)

Сколько существует преобразований множества, состоящего из nn элементов? Сколько среди них взаимно однозначных?

(2)

Сколько возможностей имеется для множеств значений преобразований множества из nn элементов?

(3)

Сколько существует отображений множества из mm элементов в множество из nn элементов?

Задача 12.4

Пусть f:X→Y,∣X∣=m,∣Y∣=nf: \mathcal{X} \rightarrow \mathcal{Y}, \left|\mathcal{X}\right| = m, \left|\mathcal{Y}\right| = n. Может ли отображение ff быть:

?
(1)

Наложением при n>mn > m?

(2)

Вложением при n<mn < m?

Задача 12.5

Пусть f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y}, где X,Y\mathcal{X}, \mathcal{Y} — конечные множества, состоящие из одинакового числа элементов. Доказать равносильность следующих утверждений:

?
(1)

ff — вложение

(2)

ff — наложение

(3)

ff взаимно однозначно.

Задача 12.6

Привести примеры таких отображений f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} бесконечных множеств X,Y\mathcal{X}, \mathcal{Y}, что:

?
(1)

ff является наложением, но не вложением

(2)

ff является вложением, но не взаимно однозначно.

Задача 12.7

Установить взаимно однозначные соответствия между множеством всех натуральных чисел и данным множеством:

?
(1)

множество всех целых чисел

(2)

множество всех четных чисел

(3)

множество всех рациональных чисел

(4)

множество всех точек плоскости, координаты которых рациональны (рациональных точек)

(5)

множество всех интервалов на прямой с рациональными концами

(6)

множество всех кругов на плоскости с центрами в рациональных точках и рациональными радиусами

(7)

множество всех многочленов 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 ) с целочисленными коэффициентами ai(i=0,1,…,n)a_{i} \quad (i = 0, 1, \ldots , n).

Задача 12.8

Доказать, что:

?
(1)

между множеством всех целых чисел и множеством всех последовательностей чисел 0 и 1 нельзя установить взаимно однозначного соответствия

(2)

существует взаимно однозначное соответствие между множеством всех действительных чисел и множеством всех последовательностей чисел 0 и 1.

Задача 12.9

Пусть X,Y\mathcal{X}, \mathcal{Y} — бесконечные множества, f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} — взаимно однозначное отображение и Y∩Z=∅\mathcal{Y} \cap \mathcal{Z} = \varnothing. Придумать взаимно однозначное отображение X\mathcal{X} на Y∪Z\mathcal{Y} \cup \mathcal{Z}, если:

?
(1)

Z\mathcal{Z} конечно

(2)

Z\mathcal{Z} счетно.

Задача 12.10

Доказать, что у любого отображения f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} имеется не более одного обратного отображения.

?
Задача 12.11

Придумать взаимно однозначное отображение прямой:

?
(1)

на интервал (−1,1)(- 1, 1)

(2)

на отрезок [−1,1]\left[ - 1, 1\right].

Задача 12.12

Придумать преобразование плоскости, которое взаимно однозначно отображает плоскость:

?
(1)

на открытый круг x2+y2<1x^{2} + y^{2} < 1

(2)

на замкнутый круг x2+y2⩽1x^{2} + y^{2} \leqslant 1

(3)

на квадрат ∣x∣<1,∣y∣<1\left|x\right| < 1, \left|y\right| < 1 (система координат — прямоугольная).

Задача 12.13

Дано линейное преобразование числовой прямой: f(x)=ax+bf(x) = ax + b (a,ba, b — действительные числа). Доказать, что:

?
(1)

ff взаимно однозначно тогда и только тогда, когда a≠0a \neq 0

(2)

ff сохраняет направление векторов на прямой при a>0a > 0 и меняет на противоположное при a<0a < 0

(3)

при a≠0a \neq 0 образом интервала длины ll является интервал длины ∣a∣l\left|a\right| l.

Задача 12.14

Дано преобразование f(x)=ax+bf(x) = ax + b числовой прямой. Найти:

?
(1)

неподвижные точки преобразования ff

(2)

преобразование, обратное к преобразованию f(a≠0)f(a \neq 0).

Задача 12.15

Написать формулу, задающую линейное отображение интервала (a,b)(a, b) на интервал (c,d)(c, d) числовой прямой.

?
Задача 12.16

Даны линейные преобразования ff и gg числовой прямой: f(x)=ax+b,g(x)=cx+df(x) = ax + b, g(x) = cx + d. Найти произведения fgfg и gfgf. В каком случае fg=gffg = gf?

?
Задача 12.17

Отображение ff числовой прямой в плоскость задано формулами в прямоугольной системе координат: x=acos⁡tx = a\cos t, y=bsin⁡t(a>0,b>0)y = b\sin t\quad (a > 0, \quad b > 0).

?
(1)

Найти образ S\mathcal{S} прямой при отображении ff.

(2)

Является ли отображение ff вложением?

(3)

Указать какие — либо множества на прямой, которые взаимно однозначно отображаются на S\mathcal{S}.

Задача 12.18

Отображение ff числовой прямой в плоскость задано формулами в прямоугольной системе координат: x=−ch⁡tx = - \operatorname {ch} t, y=sh⁡ty = \operatorname {sh} t.

?
(1)

Найти образ S\mathcal{S} прямой при отображении ff.

(2)

Является ли отображение ff вложением?

(3)

Найти прообраз tt каждой точки из S\mathcal{S}.

Задача 12.19

Преобразование ff плоскости задано в прямоугольной системе координат формулами: x∗=x2−y2,y∗=2xyx^{ * } = x^{2} - y^{2}, y^{ * } = 2xy.

?
(1)

Является ли преобразование f:f:

(1) наложением,

(2) взаимно однозначным?

(2)

Найти полный прообраз произвольной точки (x∗,y∗)\left(x^{ * }, y^{ * }\right) плоскости.

Задача 12.20

Преобразование ff плоскости задано в прямоугольной системе координат формулами: x∗=excos⁡y,y∗=exsin⁡yx^{ * } = e^{x} \cos y, y^{ * } = e^{x} \sin y.

?
(1)

Является ли преобразование ff взаимно однозначным?

(2)

Выделить на плоскости области, на которых ff взаимно однозначно.

(3)

Пусть fˉ\bar{f} — ограничение преобразования ff на полосе 0<y<π0 < y < \pi. Найти формулы, задающие обратное к fˉ\bar{f} отображение.

Задача 12.21

Даны отображения f:X→Y,g:Y→Zf: \mathcal{X} \rightarrow \mathcal{Y}, g: \mathcal{Y} \rightarrow \mathcal{Z} и h:Z→Uh: \mathcal{Z} \rightarrow \mathcal{U}. Доказать ассоциативность умножения отображений, т. е. равенство h(gf)=(hg)fh(gf) = (hg) f.

?
Задача 12.22

Пусть X,Y\mathcal{X}, \mathcal{Y} — непустые множества, Z=X×Y\mathcal{Z} = \mathcal{X} \times \mathcal{Y}. Отображение π:Z→Y\pi : \mathcal{Z} \rightarrow \mathcal{Y} (проектирование Z\mathcal{Z} на Y\mathcal{Y}) определяется равенством π((x,y))=y\pi ((x, y)) = y. Показать, что π\pi — наложение.

?
Задача 12.23

Показать, что для всякого множества X\mathcal{X} существует вложение δ:X→X×X\delta : \mathcal{X} \rightarrow \mathcal{X} \times \mathcal{X}.

?
Задача 12.24

Графиком отображения f:X→Yf: \mathcal{X} \rightarrow \mathcal{Y} называется подмножество Γ={(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)

Найти образ множества X\mathcal{X} при отображении φ:X→X×Y\varphi : \mathcal{X} \rightarrow \mathcal{X} \times \mathcal{Y}, определяемом равенством φ(x)=(x,f(x))\varphi (x) = (x, f(x)).

(2)

Доказать, что f=πφf = \pi \varphi (определение π\pi см. 12. 22).

(3)

Доказать, что отображение ff является вложением тогда и только тогда, когда вложением является φ\varphi.

(4)

Доказать, что ff является наложением тогда и только тогда, когда π(Γ)=Y\pi (\Gamma ) = \mathcal{Y}.