Warped Product Manifold

Suppose and are two semi-Riemannian manifolds, and is a smooth positive function. The warped product manifold is the product manifold with the metric defined by Explicitly, if , then