isometric space open half space subspace antispace hyperspace semisum dual space n space semimatrix space