Отображение -- определение (что это в математике). Образ, прообраз элемента и отбражения

Отображение -- закон (или правило), по которому каждому $\Large x \in X$ ставится в соответствие некоторый (единственный) $\Large y \in Y$.

ПРИМЕЧЕНИЕ: множества $X$ и $Y$ могут совпадать, тогда можно говорить о преобразовании.

Образ и прообраз отображения

Если отображение $P$ ставит в соответствие всем элементам из множества $X$ некоторые (или все) элементы из множества $Y$, то:

  • $X$ называется прообразом отображения отображения
  • $Y_0$ (подмножество $Y$) -- образом отображения (при этом $Y$ и $Y_0$ могут и совпадать, это уже зависит от конкретного отображения).

Образ и прообраз [конкретного] элемента

Если элементу $x$ из $Х$ соответствует $y$ из $У$, то y называется образом элемента $x$, а $x$ - прообразом элемента $y$. Пишут:

x -> y или y = f(x)

.
Множество $A$ всех элементов , имеющих один и тот же образ , называется полным прообразом элемента $y$.

В контексте теории множеств тезис

Отображение - процесс,

неверен.

Отображение -- закон (или правило), по которому каждому $x\in X$ ставится в соответствие некоторый (единственный) $y\in Y$.

Что касается ПРИМЕЧЕНИЯ, то лучше явно сказать, что преобразованием множества $X$ называется биективное отображение из $X$ на $X$.

vedro-compota's picture

Отображение -- закон (или правило), по которому каждому $x\in X$ ставится в соответствие некоторый (единственный) $y\in Y$

ок. тут согласен.

Что касается ПРИМЕЧЕНИЯ, то лучше явно сказать, что преобразованием множества $X$ называется биективное отображение из $X$ на $X$.

в примечании имеет смысл (причём всегда - не только в этой заметке) связывать данное определение с чем-то ещё - с другим понятием, например. А в цитате выше предлагает опеределение преобразования - то есть "как бы наоборот". лучше это определение дописать сюда дополнительно дав отдельное определение биекции.

_____________
матфак вгу и остальная классика =)

vedro-compota's picture

можно же сказать ,что любая "математическая операция" это "отображение" ?

_____________
матфак вгу и остальная классика =)

Не знаю, можно ли так говорить про каждое слово "операция", которое встречается в математике.

vedro-compota's picture

Ну ведь любое "действие" это именно отображение, например:

  1. примененние любой функции
  2. применение оператора
  3. дифференцирование (конкретный оператор)

Всё что имеет какой-то аргумент является отображением....но да, ясно, что где-то может быть какое-то исключение. ок.

_____________
матфак вгу и остальная классика =)