The Space Decomposition Theory for a Class of Semi-Infinite Maximum Eigenvalue Optimizations. (17th February 2014)