|
|
'''Hlutleysufall''' er [[fall (stærðfræði)|fall]] þar sem aðvarpar [[mengi]] á sig sjálft, þ.a. hvertsérhvert [[stak]] í [[skilgreiningarmengiformengi]] fallsins hefur eitt og aðeins eitt stak í [[bakmengi]]nu, sem er jafnt stakinu úr skilgreiningarmenginuformenginu. ÞettaHlutleysufall máer táknagjarnan svonatáknað með ''i'' og er þá skilgreint þannig: <math>\forall x \in Y: i_Y(x)=x</math>. [[Fallgildi]] hlutleysufalls er stök í mengi [[fastapunktur|fastapunkta]] fallsins og hlutleysufall er skv. skilgreiningu [[gagntækt fall]].
Hlutleysufall er gjarnan táknað með <math>i</math> (sbr. ''inclusion'' á [[Enska|ensku]]). Þetta þýðir að [[fallgildi]] hlutleysufalls er stök í mengi [[fastapunktur|fastapunkta]] fallsins, að skilgreiningarmengið er hlutmengi í bakmenginu og að hlutleysufall er [[Gagntækt fall|gagntækt]].
{{Stærðfræðistubbur}}
[[Flokkur:Fallafræði]]
|