Infolytedd

Mewn mathemateg, mae infolytedd yn ffwythiant a ddynodir fel , sy'n wrthdro ohono'i hun,



ar gyfer pob  yn y parth .

Mae'r term "gwrth-infolytedd" yn cyfeirio at infolyteddau a seiliwyd ar wrth-homomorffeddau



fel bod

 .

 Nodweddion cyffredinol 
Mae pob infolytedd yn ddeudafl (bijection).

Ymhlith yr enghreifftiau pwysicaf mae:
 lluosi gyda -1, mewn rhifyddeg
 cymryd cilyddion 
 cyflenwadau yn y ddamcaniaeth setiau a ffurfdroadau
 gwrthroad cylch
 hanner tro

Canfyddwyd niferoedd yr infolyteddau e.e.mewn set gyda'r elfennau  gan Heinrich Awst Rothe yn 1800, ac mae'n cael ei roi gan berthynas ddychweliadol (recurrence relation):

a0 = a1 = 1;
an = an − 1 + (n − 1)an − 2, am .

Mae'r dilyniant yn cychwyn: 1, 1, 2, 4, 10, 26, 76, 232 (dilyniant A000085 yn y OEIS), a chyfeirir ati fel "rhifau ffôn".. Mae cyfansoddiad (y ffwythiant)  dau infolytedd f ac g yn infolytedd os a dim ond os ydynt yn cyfnewid (commute): ..

Mae gan infolytedd pob odrif o bob elfen o leiaf un pwynt sefydlog. Yn fwy cyffredinol, gellir dweud: ar gyfer infolyteddau ar set meidraidd o elfennau, mae gan nifer yr elfennau a nifer y pwyntiau sefydlog yr un paredd..

Cyn-galcwlws
Enghreifftiau elfennol o infolyteddau yw'r ffwythiannau:

,   or   , yn ogystal a'u cyfansoddiad 

ond nid y rhain yw'r unig infolyteddau cyn-galcwlws. Dyma enghraifft arall, gyda phositif real:

Cyfeiriadau

Categori:Algebra haniaethol
Categori:Dadansoddi
Categori:Gwrthrychau mathemategol