Cauchy's equation on \(\Delta ^ +\) (Q809278): Difference between revisions

A t-norm T is a binary operation on the interval \(I=[0,1]\) which is commutative, associative, non-decreasing in each place, and has 1 as identity. A t-norm T is Archimedean if \(T(x,x)<x\) for all \(x\in (0,1).\) The space of all non-decreasing functions F from \(R^+\) into I that satisfy \(F(0)=0,\) and \(F(\infty)=1\) and that are left continuous on (0,\(\infty)\) shall be denoted by \(\Delta^+.\) A triangle function \(\tau\) is a binary operation on \(\Delta^+\) that is commutative, associative, nondecreasing in each place and has \(\epsilon_ 0\) as identity, where \(\epsilon_ 0(0)=0\) and \(\epsilon_ 0(x)=1\forall x>0.\) A function \(\phi\) from \(\Delta^+\) into \(\Delta^+\) is said to be sup- continuous if, for any index set J and any collection \(\{F_ j\}\) such that \(F_ j\) is in \(\Delta^+\) for all \(j\in J,\) we have \(\phi (\sup_{j\in J}F_ j)=\sup_{j\in J}\phi (F_ j).\) A mapping \(\theta:I\to I\) [resp. \(\phi:\Delta^+\to \Delta^+]\) is called a solution of the Cauchy equation for t-norm T [resp. for triangle function \(\tau\) ] if, \(\theta (T(x,y))=T(\theta (x),\theta (y))\) for all \(x,y\in I\) [resp. \(\phi (\tau (F,G))=\tau (\phi (F),\phi (G))\) for all \(F,G\in \Delta^+].\) The author provides the complete solution of Cauchy's equation for continuous Archimedean t-norm and for semigroups of the form \((\Delta^+,\tau_ T)\), where T is a continuous Archimedean t-norm. A representation for all sup-continuous solutions of Cauchy's equation for semigroups of the form \((\Delta^+,\tau_ T)\) is obtained.