Text this: The Space Decomposition Theory for a Class of Semi-Infinite Maximum Eigenvalue Optimizations