Presentation on theme: "Ch 4: Difference Measurement. Difference Measurement In Ch 3 we saw the kind of representation you can get with a concatenation operation on an ordered."— Presentation transcript:
Difference Measurement In Ch 3 we saw the kind of representation you can get with a concatenation operation on an ordered set A “The question arises whether similarly tight representations ever exist when there is no concatenation operation.” 136
Difference Measurement Extensive measurement: consider a set of movable rods Difference measurement: consider fixed points on a line. Consider a set of intervals between points We can construct standard sequences in A with an auxiliary, uncalibrated rod to lay off equal intervals 136
Difference Measurement Denoting elements of A by a, b, e, d, we denote intervals in A by ab, cd, etc. We distinguish between ab and ba. Comparison with a set of movable rods generates an ordering on the intervals in A. ab ≿ cd if some rod does not exceed ab but exceeds or matches cd. 137
Axiomatization of Difference Measurement Holder (1901) showed how the measurement of intervals between points on a line can be reduced to extensive measurement. Standard sequences of equally spaced elements a 1, a 2, a 3,..., where the intervals a 1 a 2 ∼ a 2 a 3 ∼... Equivalent intervals are identified with a single element, their equivalence class 143
Cross Modality Difference Structures 165 Solvability axiom: The first part says that any element in A i x A i can be matched with an element in A 1 x A 1. The second part is just the normal solvability property for A 1. But because of the first part, it follows that all the A i have the solvability property. This is also why the Archimedean axiom is formulated for A 1.
Absolute-Difference Structures 172 Axiom 3: Betweenness is well behaved i) If b is between a and c, and if c is between b and d, then c and b are between a and d. ii) If b is between a and c and c is between a and d, then ad exceeds bd
Absolute-Difference Structures 172 Weak Monotonicity: If b is between a and c and b’ is between a’ and c’, and ab ∼ a’b’, then bc ≿ b’c’ iff ac ≿ a’c’
Absolute-Difference Structures 172 Solvability: if ab ≿ cd, then there is some d’ that is between a and b such that ad’ ∼ cd
Absolute-Difference Structures 172 Archimedean: a i is between a 1 and a i+1 for all i, and successive intervals are non-null. a i a 1 is strictly bounded.