Addition to Assay Head

 05 July 17:03   A action phi from an breach I to mathbb is said to be arched if for every K subsetsubset I and any affine action f on K, phi le f on partial K implies that phi le f on K.

    Theorem Let phi be a real-valued action on an breach I. The afterward are equivalent:

    Proof: Accept (a). For anniversary x in [a, b], there exists some lambda in [0, 1] such that x = lambda a + (1 - lambda) b. Let A(x) = A(lambda a + (1-lambda) b) = lambda f(a) + (1-lambda) f(b), and then back mbox[a, b] = and (f - A)(a) = 0 = (f - A)(b),

    : + A(x)

    |-

    |

    |=lambda f(a) + (1-lambda) f(b)

    |}

    Thus, (a) Rightarrow (b). Now accept (b). Back lambda = , for lambda in (0, 1), (b) says:

    :

    |le

    |}

    Since a - x < b - x, we achieve (b) Rightarrow (c). Accept (c). The chain follows back we have:

    :lim_f(x + h) = f(x) + lim_h.

    Also, let x = 2^(a + b) such that a < b, for a, b in K. Then we have:

    :

    |le

    |-

    |f(x) - f(a)

    |le f(b) - f(x)

    |-

    |f left(
ight)

    |le

    |}

    Thus, (c) Rightarrow (d). Now accept (d), and let E = . First we wish to show

    :fleft( sum_1^ x_j
ight) le sum_1^ f(x_j).

    If n = 0, then the asperity holds trivially.

    if the asperity holds for some n - 1, then

    : left( } sum_1^} x_j + } sum_1^} x_ + j}
ight)
ight)

    |-

    |

    |le f left( } sum_1^} x_j
ight) + f left( } sum_1^} x_ + j}
ight)

    |-

    |

    |le sum_1^} f(x_j) + sum_1^} f(x_ + j})

    |-

    |

    |= sum_1^f(x_j)

    |}

    Let x_1, x_2 in [a, b] and lambda in [0, 1]. There exists a arrangement of rationals amount such that:

    :lim_ = lambda.

    It then follows that:

    :

    Thus, (d) Rightarrow (e). Finally, accept (e); that is, E is convex. Aswell accept K is an breach for a moment. Then

    :f(lambda a + (1 - lambda) b) le lambda f(a) + (1 - lambda) f(b). square