Bir işlevin kısıtlanışı

iGrand · 24 Kas 2013

Eğer

$32ffabcccdeb7afc502f0a00d5f9d859.png$

bir fonksiyonsa ve

$331855c241b80a412eaa230a769a3ef4.png$

,

$7fc56270e7a70fa81a5935b72eacbe29.png$

'nın bir altkümesiyse, o zaman

$8fa14cdd754f91cc6554c9e71929cce7.png$

fonksiyonunu

$e283f48f6f3d4077546b2b697c3eebad.png$

altkümesine kısıtlayabiliriz, yani

$8fa14cdd754f91cc6554c9e71929cce7.png$

'nin sadece

$e283f48f6f3d4077546b2b697c3eebad.png$

kümesinin elemanlarında alacağı değerlerle ilgilenebiliriz. Bu yeni fonksiyon

$ca6b568f10e2fec0446fa564ccbb34df.png$

olarak yazılır ve bu fonksiyona

$8fa14cdd754f91cc6554c9e71929cce7.png$

'nin

$e283f48f6f3d4077546b2b697c3eebad.png$

'e kısıtlanmışı adı verilir. Elbette eğer

$ba86cc66e9f09020c8daab7c6260f6ae.png$

ise

$0ec3e4174108d50aae889272fc472d53.png$

eşitliği geçerlidir.