Rank-3 scale theorems: Difference between revisions
| Line 51: | Line 51: | ||
Thus b/a#L <= b/a(#L-t), a contradiction. | Thus b/a#L <= b/a(#L-t), a contradiction. | ||
M_b >= F: (bc it's a mos) Suppose there is an x-value x_0 where M_b(x_0) < F(x_0). Let m = min(n_0, n-n_0), n = scale size. Then find three different m-mossteps/average slopes by taking one interval before n_0, one interval containing n_0 and one interval after n_0. (We already know that mosses are slope-LQ.) | M_b >= F: (bc it's a mos) Suppose there is an x-value x_0 where M_b(x_0) <= F(x_0) - 1. Let m = min(n_0, n-n_0), n = scale size. Then find three different m-mossteps/average slopes by taking one interval before n_0, one interval containing n_0 and one interval after n_0. (We already know that mosses are slope-LQ.) | ||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== | ||