Простір з внутрішнім добутком