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...")
(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.
Contents
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
- Link with inclusion mapping
Notes
References
| |||||||||||
