バナッハ空間
In a long monograph, Grothendieck proved that if every Banach space had the approximation property, then every Banach space would have a Schauder basis. Grothendieck thus focused the attention of functional analysts on deciding whether every Banach space have the approximation property.