Restriction

From Maths
(Redirected from Restriction (function))
Jump to: navigation, search
(Unknown grade)
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.

Definition

Given a map, [ilmath]f:X\rightarrow Y[/ilmath] for sets, [ilmath]X[/ilmath] and [ilmath]Y[/ilmath], and given any [ilmath]A\in\mathcal{P}(X)[/ilmath][Note 1] (so [ilmath]A\subseteq X[/ilmath] - and is any subset) we define a new function, the restriction of [ilmath]f[/ilmath] to [ilmath]A[/ilmath] as:

  • [ilmath]f\vert_A:A\rightarrow Y[/ilmath] by [ilmath]f\vert_A:a\mapsto f(a)[/ilmath]

To-do


TODO: These


  1. Link with inclusion mapping

Notes

  1. Recall [ilmath]\mathcal{P}(X)[/ilmath] denotes the power-set of [ilmath]X[/ilmath]

References