Suppose f:2X→X satisfies f(x1,…)=f(f(x1,x2),x3,…). Min, max and sum are three such examples.
- I've been calling these functions "foldable" because they bear some similarity to that concept from programming, but is there a real name for them?
- Can anything interesting be said about them?
My motivation is driven by ethics and economics: if u is some utility function, we might regard u(x,y)=z as meaning that the basket {x,y} is equivalent to the basket {z}, so u would be foldable.
Answer
Any associative operator gives rise to (a family of) such functions, like ∑1≤i≤nxi, ∏1≤i≤nxi, ⋂1≤i≤nxi. Even the maximal common divisor and the minimal common multiple qualify. The cases min and \max are just the natural extensions of those binary operations to several arguments.
No comments:
Post a Comment