The group of isometries of an indistinguishability operator

Abstract

This paper studies some geometric aspects of indistinguishability operators (also called similarities and fuzzy equivalences). Concretely, it will be focused on the (geometric) group associated to a T-indistinguishability operator E on X (i.e., the group of all bijective maps View the MathML source such that E(x,y)=E(h(x),h(y))∀x,y∈X).

The cases for E being one dimensional and invariant under translations on the real line will be completely studied. This last property will be generalized to any group and there will be stated a bijection between indistinguishability operators invariant under translations on a group and its normal fuzzy subgroups.