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 n_0 where M_b(n_0) <= F(n_0) - 1. Let k = min(n_0, n-n_0), n = scale size. Then find three different k-mossteps/average slopes by taking the interval [n_0-k, n_0] 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 n_0 where M_b(n_0) <= F(n_0) - 1. n_0 > 1 since otherwise, M_b(1) < 0. Let k = min(n_0, n-n_0), n = scale size. Then find three different k-mossteps/average slopes by taking the interval [n_0-k, n_0] before n_0, one interval containing n_0 and one interval after n_0. (We already know that mosses are slope-LQ.) | ||
Since M_b is a mos mode, there is a k-step within [0, n_0] that has slope (F(n_0)-1)/k (1). Similarly, there is a k-step within [n_0, n] that has slope (b-F(n_0)+1)/(k). (Since k is not the period so there are slopes more or less than the average over an interval.) | |||
( | |||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== | ||