Dual of the Weil norm proof: Difference between revisions
mNo edit summary |
m - irrelevant link |
||
| Line 1: | Line 1: | ||
{{ | {{Archive}} | ||
(Archived from Facebook, originally a post by [[Mike Battaglia]] addressing [[Gene Smith]]) | (Archived from Facebook, originally a post by [[Mike Battaglia]] addressing [[Gene Smith]]) | ||
| Line 7: | Line 7: | ||
Let M be the space of p-limit real monzos with the Weil norm on them. The Weil norm of a weighted monzo |a b c ...> is 1/2*(|a| + |b| + |c| + ... + |a+b+c+...|), giving you log(max(n,d)). | Let M be the space of p-limit real monzos with the Weil norm on them. The Weil norm of a weighted monzo |a b c ...> is 1/2*(|a| + |b| + |c| + ... + |a+b+c+...|), giving you log(max(n,d)). | ||
Note that this still looks like an L1 norm - in fact, it's the L1 norm of the " | Note that this still looks like an L1 norm - in fact, it's the L1 norm of the "augmented monzo" | ||
1/2 * |a b c ... ; (a+b+c+...)> | 1/2 * |a b c ... ; (a+b+c+...)> | ||
| Line 67: | Line 67: | ||
QED. | QED. | ||
[[Category:Math]] | [[Category:Math]] | ||
[[Category:Archive]] | [[Category:Archive]] | ||