bounded linear operator; family of projections; identity operator; positive integer