首次给出了复合算子C?在导数Hardy空间S2(即导数属于Hardy空间的解析函数所组成的Hilbert空间)上的严格奇异性的刻画:若有界复合算子C?在导数Hardy空间S2上不是紧的,则复合算子C?在导数Hardy空间S2上不是l2-奇异的,从而复合算子C?在导数Hardy空间S2上不是严格奇异的,因此证明了复合算子在导数Hardy空间上的紧性与其严格奇异性的等价关系。