NevemTeve Creative Commons License 2024.03.14 0 0 148

Még a θ-tulajdonságú elemekről kis apróságok:

1. BM(BWB) is ilyen, ugyanis BM(BWB)x=BWBx(BWBx)=W(Bx)(BWBx)=Bx(BWBx)(BWBx)=x(BWBx(BWBx))=x(BM(BWB)x)

2. θKx=K(θK)x=θK (ez a θK egy 'mindent elnyelő' elem)

3. θ(Kx)=Kx(θ(Kx))=x (konstansfüggvény fixpontja maga a konstans)

 

4. θTx=T(θT)x=x(θT) (ez a θT egy 'univerzálisan felcserélhető' elem)


5. θ(Tx)=Tx(θ(Tx))=θ(Tx)x, vagyis x fixpontja θ(Tx)-nek