# What is the difference between an homogeneous and an isotropic space

I try to get my head around the different kinds of homogi-enities (global similarities of a space ) and these are two of the global similarities I stumble upon and I don’t really know the difference.

Related:

How to say that the "geometry is the same" at every point of a metric space?

#### Solutions Collecting From Web of "What is the difference between an homogeneous and an isotropic space"

Speaking of a connected Riemannian manifold $(M, g)$, the structure is

• Homogeneous if, for every pair of points $p$ and $q$, there exists an isometry $f:M \to M$ such that $f(p) = q$. (The isometry group acts transitively on points of $M$.)

Examples include flat Euclidean space, arbitrary complete $1$-dimensional Riemannian manifolds; a sphere or real projective space with the round metric, or a complex projective space with the Fubini-Study metric; real or complex hyperbolic space.

A Riemannian product of homogeneous spaces is homogeneous. Particularly, an arbitrary product of (complete) real curves, namely a flat torus of arbitrary dimension or a product of a flat torus and a Euclidean space, is homogeneous.

A Riemannian manifold covered by a homogeneous space is generally not homogeneous, e.g., a compact Riemann surface of genus at least $2$ with a constant-curvature metric.

• Symmetric if, for every pair of points $p$ and $q$, there exists an isometry $f:M \to M$ such that $f(p) = q$ and $f(q) = p$. (Every pair of points is exchanged by some isometry. Wikipedia’s definition differs formally, but is equivalent: Either definition implies geodesic completeness. If $p$ and $q$ are arbitrary, let $\gamma$ be a minimizing geodesic from $p$ to $q$, and let $r$ denote the midpoint; an isometry fixing $r$ and reversing the direction of $\gamma$ exchanges $p$ and $q$.)

• Isotropic at a point $p$ if for arbitrary unit vectors $v$ and $w$ at $p$, there exists an isometry $f:M \to M$ such that $f_{*}v = w$. (The isotropy group of $(M, g)$ at $p$ acts transitively on the space of directions at $p$.)

Isotropic if $(M, g)$ is isotropic at $p$ for every $p$ in $M$. (See also Isotropic Manifolds.)

An arbitrary surface of rotation is isotropic at its pole(s), the point(s) on the axis of symmetry (if any), but not generally isotropic at any other point.

Isotropic spaces include Euclidean space; a round sphere, or complex projective space with a Fubini-Study metric; real or complex hyperbolic space.

A product of isotropic manifolds is not generally isotropic, e.g., a flat cylinder, flat torus, product of spheres.

(Edit: Originally, I claimed that if a product of (connected, positive-dimensional) isotropic Riemannian manifolds is isotropic, then each factor is a Euclidean space. My argument for this claim was specious. I still suspect the assertion is true: A real $2$-plane spanned by unit vectors tangent to the respective factors exponentiates to a flat immersed surface, and isotropy “should” be enough to show that every real $2$-plane exponentiates to a flat immersed surface. I have not, however, found a convincing proof.)

As defined above, homogeneity and symmetry obviously make sense for arbitrary metric spaces. Isotropy requires some kind of local model for which “transitivity of the stabilizer” makes sense.