I have realized that I am coming off like I don’t understand algebra, which is a result of my failure to communicate. As unlikely as I am making it sound, I understand what you are saying and already knew it.
What I mean is this:
Despite a = b, it could “look like” a < b or b > a if you didn’t have access to the world but only to the (expanded) sum. If you can ask for the difference between the total sum and the sum ignoring a, but not for the actual value of a.
I can’t think of a non-pathological case where this would actually matter, but it seems like a desirable desideratum that a = b will always “look like” a = b regardless of what kind of (sufficiently fine-grained) information that you have.
EDIT : After reading your above comment about willingness to sacrifice elegance, I kind of wish I hadn’t said anything at all, considering my comments are all in the interest of what I would consider elegance. To be sure, I think elegance is a legitimate practical concern, but I wouldn’t have engaged with you initially had I known your view.
I’d say that ua=ub always “looks like ua=ub”, in the sense that there is a continuity in the overall U(W); small changes to our knowledge of ua and ub make small changes to our estimate of U(W).
I’m not really sure what stronger condition you could want; after all, when ua=ub, we can always write
…+γnuz+γn+1ua+γn+2ub+γn+3uc+…
as:
…+γnuz+γn+1+γn+22(ua+ub)+γn+3uc+….
We could equivalently define U(W) that way, in fact (it generalises to larger sets of equal utilities).
I have realized that I am coming off like I don’t understand algebra, which is a result of my failure to communicate. As unlikely as I am making it sound, I understand what you are saying and already knew it.
What I mean is this:
Despite a = b, it could “look like” a < b or b > a if you didn’t have access to the world but only to the (expanded) sum. If you can ask for the difference between the total sum and the sum ignoring a, but not for the actual value of a.
I can’t think of a non-pathological case where this would actually matter, but it seems like a desirable desideratum that a = b will always “look like” a = b regardless of what kind of (sufficiently fine-grained) information that you have.
EDIT : After reading your above comment about willingness to sacrifice elegance, I kind of wish I hadn’t said anything at all, considering my comments are all in the interest of what I would consider elegance. To be sure, I think elegance is a legitimate practical concern, but I wouldn’t have engaged with you initially had I known your view.
Hum, not entirely sure what you’re getting at...
I’d say that ua=ub always “looks like ua=ub”, in the sense that there is a continuity in the overall U(W); small changes to our knowledge of ua and ub make small changes to our estimate of U(W).
I’m not really sure what stronger condition you could want; after all, when ua=ub, we can always write
…+γnuz+γn+1ua+γn+2ub+γn+3uc+…
as:
…+γnuz+γn+1+γn+22(ua+ub)+γn+3uc+….
We could equivalently define U(W) that way, in fact (it generalises to larger sets of equal utilities).
Would that formulation help?