注意到当G 是幺模群时, α=β=1 , μ=ν ,上述定理中的不等式会退化成 μɢ(AB) ≥ min{μɢ(A)+μɢ(B) – μɢ(H),μɢ(G)} ,于是也蕴含了最原始的Cauchy-Davenport定理。
参考
1. Henry Mann, A proof of the fundamental theorem on the density of sums of sets of positive integers, Annals of Mathematics, 43 (3) 523-527, 1942.
2. Yifan Jing and Chieu-Minh Tran, A Cauchy-Davenport theorem for locally compact groups, arXiv:2106.02924, 2021.
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。