- Minimality :

- Symmetry :
. - Triangular inequality :
.
Computer vision shows more and more interests in Tversky’s results. In their introduction, many publications try to illustrate the non-verification of the previous properties. My point is that the examples of the non-verification of the triangular inequality are not correct (for images).
By example, in a projet report (Graphem – in french) on the visual similarity, the authors propose these images:
- left (A) and right (C) images can be judged quite dissimilars.
- But middle image (B) can be judged similar to (A) et à (C).
- The distance d(A, C) would thus be greater than the sum d(A,B)+d(B,C), contradicting the triangle inequality.
- Ok for the first point, one can imagine an experience reinforcing these facts. The distance d(A, C) is thus obtained “high”. It could be discussed on the precise measure. Or if the measure is d(A, C) or d(C, A). But this can be admitted.
- If B is judged similar to A and C, the measures d(B, A) and d(B, C) must be “low”, in any case smaller than d(A, C).
For the last point, a conclusion on the triangle inequality can only be given from a comparison between d(A, C) and the sum d(B, A) + d(B, C). But the numerical values are unknown, or not given by the authors. It is thus impossible to compute the sum and thus impossible to conclude. More formally, we have:
![]()
and
.
The only possible conclusion is
, but not
.
The triangle inequality differs from minimality and symmetry in that it cannot be formulated in ordinal terms. It asserts that one distante must be smaller than the sum of the two others, and hence it cannot be readily refuted with ordinal or even interval data. However, the triangle inequality implies that if A is quite similar to B, and B is quite similar to C, then A and C cannot be very dissimilar from each other.
Tags: bloc-note, exemple, illustration, propriétés, similarité