摘要
In this paper, the authors prove a general Schwarz lemma at the boundary for the holomorphic mapping f between unit balls B and B' in separable complex Hilbert spaces H and H', respectively. It is found that if the mapping f is an element of C1+alpha at z(0) is an element of partial derivative B with f(z(0)) = w(0) is an element of partial derivative B', then the Frechet derivative operator Df(z(0)) maps the tangent space T-z0 (partial derivative B-n) to T-w0 (partial derivative B'), the holomorphic tangent space T-z0((1,0))(partial derivative B-n) to T-w0((1,0))(partial derivative B'), respectively.