解析半群的若干性质

引进Ｂａｎａｃｈ代数中解析半群的概念，证明了解析半群的存在性定理，并得到解析半群的几个性质。