摘要

In this paper, we develop Terence Tao';s harmonic analysis method and apply it to restricted sumsets. The well-known Cauchy-Davenport theorem asserts that if N not equal A, B subset of Z/pZ with p a prime, then vertical bar A B vertical bar >= min{p, vertical bar A vertical bar vertical bar B vertical bar - 1), where A B = {a b; a epsilon A. b epsilon B}. In 2005, Terence Tao gave a harmonic analysis proof of the Cauchy-Davenport theorem, by applying a new form of the uncertainty principle on Fourier transform. We modify Tao';s method so that it can be used to prove the following extension of the Erdos-Heilbronn conjecture: If A, B, S are non-empty subsets of Z/pZ with p a prime, then vertical bar{a b; a epsilon A, b epsilon B, a - b is not an element of S}vertical bar >= min{p, vertical bar A vertical bar vertical bar B vertical bar - 2 vertical bar S vertical bar - 1).