Efficient Model Editing with Task Vector Bases: A Theoretical Framework and Scalable Approach