在這篇論文中，我們首先回顧辛約化，尤其是關於約化與量子化的交換性的Guillemin-Sternberg定理。再來我們回顧柯西黎曼約化的構造。最後我們試著在有柯西黎曼條件的凱勒流形上的圓叢上定出Guillemin-Sternberg定理。;In this thesis we first review the symplectic reduction, in particular, the Guillemin-Sternberg theorem about quantization commuting with reduction. Then we review the construction of the CR reduction. Finally we formulate the Guillemin-Sternberg theorem on a circle bundle over a K\"{a}hler manifold in the CR setting.
