# Triangular norm

t-norm

A binary operation on the unit interval $[0,1]$, i.e., a function $T : [0,1]^2 \rightarrow [0,1]$ such that for all $x,y,z \in [0,1]$ the following four axioms are satisfied:

T1) (commutativity) $T(x,y) = T(y,x)$;

T2) (associativity) $T(x,T(y,z)) = T(T(x,y),z)$;

T3) (monotonicity) $T(x,y) \le T(x,z)$ whenever $y \le z$;

T4) (boundary condition) $T(x,1) = x$.

If $T$ is a triangular norm, then its dual triangular co-norm $S$ is given by $$S(x,y) = 1 - T(1-x,1-y) \ .$$

A function $T : [0,1]^2 \rightarrow [0,1]$ is a triangular norm if and only if $([0,1], T, {\le})$ is a fully ordered commutative semi-group (cf. [a3] and $o$-group) with neutral element $1$ and annihilator $0$, where ${\le}$ is the usual order on $[0,1]$.

For each $I$-semi-group $([a,b],{\star})$, i.e. a semi-group in which the binary associative operation $\star$ on the closed subinterval $[a,b]$ of the extended real line is continuous and one of the boundary points of $[a,b]$ acts as a neutral element and the other one as an annihilator ([a6], [a7]), there exists a continuous triangular norm $T$ or a continuous triangular co-norm $S$ such that the linear transformation $\phi : [a,b] \rightarrow [0,1]$ given by $$\phi : x \mapsto \frac{x-a}{b-a}$$ is an isomorphism between $([a,b],{\star})$ and either $([0,1],T)$ or $([0,1],S)$.

The following are the four basic triangular norms, together with their dual triangular co-norms:

i) the minimum $T_{\mathrm{M}}$ and maximum $S_{\mathrm{M}}$, given by $$T_{\mathrm{M}}(x,y) = \min(x,y) \ ;$$ $$S_{\mathrm{M}}(x,y) = \max(x,y) \ .$$ ii) the product $T_{\mathrm{P}}$ and probabilistic sum $S_{\mathrm{P}}$, given by $$T_{\mathrm{P}}(x,y) = x \cdot y \ ;$$ $$S_{\mathrm{P}}(x,y) = x+y - x\cdot y \ .$$ iii) the Lukasiewicz triangular norm $T_{\mathrm{L}}$ and Lukasiewicz triangular co-norm $S_{\mathrm{L}}$, given by $$T_{\mathrm{L}}(x,y) = \max(x+y-1,0) \ ;$$ $$S_{\mathrm{L}}(x,y) = \min(x+y,1) \ .$$ iv) the weakest triangular norm (or drastic product) $T_{\mathrm{D}}$ and strongest triangular co-norm $S_{\mathrm{D}}$, given by $$T_{\mathrm{D}}(x,y) = \begin{cases} y & \text{if}\ x = 1 \\ x & \text{if}\, y = 1 \\ 0 & \text{otherwise} \end{cases} \ ;$$ $$S_{\mathrm{D}}(x,y) = \begin{cases} y & \text{if}\ x = 0 \\ x & \text{if}\, y = 0 \\ 1 & \text{otherwise} \end{cases} \ .$$ Let $T_k\,(k \in K)$ be a family of triangular norms and let $\{ (a_k,b_k) : k \in K \}$ be a family of pairwise disjoint open subintervals of the unit interval $[0,1]$ (i.e., $K$ is an at most countable index set). Consider the linear transformations $\phi_k : [a_k,b_k] \rightarrow [0,1]$ given by $$\phi_k : u \mapsto \frac{u-a_k}{b_k-a_k} \ .$$

Then the function $T : [0,1]^2 \rightarrow [0,1]$ defined by $$T : (x,y) \mapsto \begin{cases} \phi_k^{-1}(T_k(\phi_k(x),\phi_k(y))) & \text{if}\, (x,y) \in (a_k,b_k)^2 \\ \min(x,y) & \text{otherwise} \end{cases}$$ is a triangular norm, which is called the ordinal sum of the summands $T_k\,(k \in K)$.

The following representations hold ([a1], [a5], [a6]):

A function $T : [0,1]^2 \rightarrow [0,1]$ is a continuous Archimedean triangular norm, i.e., for all $x \in (0,1)$ one has $T(x,x) < x$, if and only if there exists a continuous, strictly decreasing function $f : [0,1] \rightarrow [0,\infty]$ with $f(1) = 0$ such that for all $x,y \in [0,1]$, $$T(x,y) = f^{-1}(\min(f(x)+f(y),0)) \ .$$

The function $f$ is then called an additive generator of $T$; it is uniquely determined by $T$ up to a positive multiplicative constant.

$T$ is a continuous triangular norm if and only if $T$ is an ordinal sum whose summands are continuous Archimedean triangular norms.

Triangular norms are applied in many fields, such as probabilistic metric spaces [a9], [a4], fuzzy sets, fuzzy logics and their applications [a4], the theory of generalized measures [a2], [a8], functional equations [a1] and in non-linear differential and difference equations (see [a4], [a8]).

How to Cite This Entry:
Triangular norm. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Triangular_norm&oldid=37127
This article was adapted from an original article by E. Pap (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article