prehilbert spaces