Compatible maps and invariant approximations

The existence of invariant best approximations for compatible maps is proved. Our results unify, and generalize various known results to a more general class of noncommuting mappings.