Restriction

From Maths
Revision as of 20:01, 8 April 2016 by Alec (Talk | contribs) (Created page with "{{Requires references}} ==Definition== Given a map, {{M|f:X\rightarrow Y}} for sets, {{M|X}} and {{M|Y}}, and given any {{M|A\in\mathcal{P}(X)}}<ref group="Note">R...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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