19

Let $X$ be a topological space.

Call $x,y\in X$ swappable if there is a homeomorphism $\phi\colon X\to X$ with $\phi(x)=y$. This defines an equivalence relation on $X$.

One might call $X$ homogeneous if all pairs of points in $X$ are swappable.

Then, for instance, topological groups are homogeneous, as well as discrete spaces. Also any open ball in $\mathbb R^n$ is homogeneous. On the other hand, I think, the closed ball in any dimension is not homogeneous.

I assume that these notions have already been defined elsewhere. Could you please point me to that?

Are there any interesting properties that follow for $X$ from homogeneity? I think for these spaces the group of homeomorphisms of $X$ will contain a lot of information about $X$.

Rasmus
  • 18,404
  • 1
    Connected manifolds are also homogeneous. – Ryan Budney Mar 06 '11 at 20:05
  • 1
    @Ryan: wow, really? Then they are extremely "flexible". – Rasmus Mar 06 '11 at 20:19
  • 1
    Yes, the argument is quite fun. I suggest giving it a try. Let $M$ be a connected manifold, and fix $p \in M$. Consider the set $U = { x \in M : f(p)=x, f \text{ a homeomorphism of } M }$. Check that $U$ is non-empty, open and closed. – Ryan Budney Mar 06 '11 at 20:22
  • 1
    You can extend your question further. Your notion of homogeneous is that any two points can be swapped by a homeomorphism, which you could also call a "1-transitive action" of the homeomorphism group. You could further ask if any collection of $n$ points in $X$ can be moved to any other collection of $n$ points in $X$ by a homeomorphism. This would be an $n$-transitive action. Connected manifolds of dimension $k \geq 2$ also satisfy this $n$-transitivity condition -- you can't do it for $1$-manifolds because points in a $1$-manifold inherit a (cyclic) ordering from the ambient space. – Ryan Budney Mar 06 '11 at 20:26
  • 1
    Homogeneous is a completely standard notion, and many papers have been written on it. There are also notions like locally homogeneous, strongly locally homogeneous, countable dense homogeneous etc. Indeed all finite dimensional closed balls are non-homogeneous, as we can only map points of the boundary to other such points, and likewise for interior points (2 classes, in your terminology). I believe your classes are called homogeneity components by some authors. – Henno Brandsma Mar 07 '11 at 17:47
  • @RyanBudney Sorry for this basic question, but I was trying to prove that any open ball in $R^n $ is homogeneous, and I found this post, but I can´t prove it not even using your argument, for using your argument, for example to prove that it´s open, probably I´ll use the "euclidian ball" but here I have to use what I want to prove , and not only that, also that I can extend that homeomorphism to all the manifold and not only in that "euclidian ball" I hope you understand what I tried to say – August Mar 02 '12 at 06:54
  • @August: You can use that any open ball in $\mathbb R^n$ is homeomorphic to $\mathbb R^n$. – Rasmus Mar 02 '12 at 09:46
  • @Rasmus Thanks Rasmus – August Mar 03 '12 at 21:28
  • There is a chapter on homogeneous spaces in Encyclopedia of General Topology. I suppose you can find there some basic information and also some further references. – Martin Sleziak Aug 11 '15 at 09:33

1 Answers1

7

Googling

"topological space is homogeneous"

brings up several articles that use the same terminology, for example this one. It is also the terminology used in the question Why is the Hilbert cube homogeneous?. The Wikipedia article on Perfect space mentions that a homogeneous space is either perfect or discrete. The Wikipedia article on Homogeneous space, which uses a more general definition, may also help.

Community
  • 1
Jonas Meyer
  • 53,602
  • I've also seen this referred in the literature as the homeomorphism (diffeomorphism) group acting transitively on a space (smooth manifold). – Eric O. Korman May 31 '11 at 02:50
  • @Eric: That is a clear and accurate description based on the usual meaning of "transitive group action", so it makes sense. I suppose "homogeneous" saves a few words (aside from having to define it initially). – Jonas Meyer May 31 '11 at 03:33