Intereting Posts

Proof of the extrinsic to intrinsic rotation transform
How to figure the size of the following vector set?
Why does surjectivity of the induced map show that a morphism of affine varieties has closed image?
Are all compact sets in $ \Bbb R^n$, $G_\delta$ sets?
Learning Homology and Cohomology
Continued fraction of a square root
Morphic Image of a Complete Variety
Relationship between two elements of two matrices with two numbers are not elements of the two matrices
Hatcher: S^2 having a CW complex of 5/6 vertices
Krull's theorem and AC
Can different tetrations have the same value?
Sequence Limit: $\lim\limits_{n \rightarrow \infty}{n\,x^n}$
Why is this inclusion of dual of Banach spaces wrong?
Bounded convergence theorem
What's wrong with this argument? (Limits)

**Notation:** Let $(X,d)$ be a metric space. A similitude will be (by convention) a surjective (hence bijective) map $f: X \to X$ such that for all $x_1, x_2 \in X$, $d(f(x_1),f(x_2)) = r d(x_1, x_2)$ for some $r>0$. An isometry is a similitude for which $r = 1$. For each point $x \in X$, define $Sim(X,x)$ to be the group of all similitudes which fix $x$, i.e. $f(x) = x$, and define $Iso(X,x)$ to be the group of all isometries which fix $x$, then obviously $Iso(X,x) \subseteq Sim(X,x)$.

Question:(a) When, for a given $x \in X$, is $Iso(X,x)$ a normal subgroup of $Sim(X,x)$, so that the quotient $Sim(X,x)/Iso(X,x)$ is defined?(b) When is the quotient $Sim(X,x)/Iso(X,x)$ isomorphic to a subgroup of $Sim(X,x)$, denoted by $Dil(X,x)$ (group of dilations centered at $x$) such that either of the following holds? $$Dil(X,x) \ltimes Iso(X,x) \cong Sim(X,x) \quad or \quad Dil(X,x) \rtimes Iso(X,x) \cong Sim(X,x)$$

- M compact $p\in M$ , there exist $f:M-p\to M-p$ continuous bijection but not homeomorphism?
- Give me such a $“3n±Q”$ problem that we do not know a counter-example
- Does there exist a function that is continuous at every rational point and discontinuous at every irrational point? And vice versa?
- Is the axiom of choice really all that important?
- Illustrative examples of a phenomenon in the logic of mathematical induction
- Bounded sequence which is not convergent, but differences of consecutive terms converge to zero

I imagine that this question is probably too difficult to answer directly, so interesting examples and counterexamples will also suffice for answers.

**Motivation:** In a previous question I hypothesized that the existence of such a group might be equivalent to the existence of a notion of direction at that point $x$; see here. This question is also very analogous to another previous question of mine, the answer to which establishes that transitivity of the group action (in that case $Iso(X)$, in this case $Sim(X,x)$) is not sufficient.

Also the most obvious example is Euclidean space, as well as the motivating example — in this case $Iso(X,x) \cong O(n)$, $Sim(X,x) \cong ConformalGroup(n)$, and $Dil(X,x) \cong \mathbb{R}$. I would expect, but have not (yet?) proven, that $Dil(X,x) \cong \mathbb{R}$ for any metric vector space over the reals.

- A triangle determinant that is always zero
- Measure Spaces: Uniform & Integral Convergence
- Locally Compact Hausdorff Space That is Not Normal
- Finding center and radius of circumscribed triangle
- Proving $A \cap C = B \cap C$, but $ A \neq B$
- Parametric equations for hypocycloid and epicycloid
- Show that if an ellipse and a hyperbola have the same foci, then at each point of intersection their tangent lines are perpendicular.
- How can I find the surface area of a normal chicken egg?
- Prove or disprove that if $f$ is continuous function and $A$ is closed, then $\,f$ is closed.
- Hypervolume of expanded $n$-simplex

About a., you can define a map from $Sim(X) \to \mathbb{R}_{> 0}$ by sending a similitude $g$ to that constant $r = r_g$. This is a homomorphism because $d(gf(x), gf(y)) = r_g d(f(x),f(y)) = r_g r_f d(x,y)$. The kernel is then the isometries, so $Isom(X)$ is always normal. Likewise if you insist on stabilizing a point.

About b., I don’t know a full answer. If $X$ has finite diameter (for example if $X$ is compact) then every similitude $g$ must have $g_r = 1$, i.e. must be an isometry: if $D$ is the diameter of $X$, then let $x,y$ be such that $d(x,y) = D$ (within $\epsilon$, so I’m really considering a sequence of $x$ and $y$ so that their distances converge to the diameter.) Then $d(g(x),g(y)) > D$ if $r_g > 1$. If $r_g < 1$, then $r_{g^{-1}} > 1$.

Let me know if it doesn’t make sense and why you disagree.

- How to integrate $\int \frac{e^x dx}{1\,+\,e^{2x}}$
- Integral multiples of g.c.d.(m,n)
- A system of linear equations
- How do we prove that $\lfloor0.999\cdots\rfloor = \lfloor 1 \rfloor$?
- What's the background of this exercise?
- Noncausal dynamical system
- A bounded net with a unique limit point must be convergent
- Vertical bar sign in Discrete mathematics
- Getting better at proofs
- Does the Riemann tensor encode all information about the second derivatives of the metric?
- How do I compute mean curvature in cylindrical coordinates?
- What is the distribution of primes modulo $n$?
- Prove by induction that $n^5-5n^3+4n$ is divisible by 120 for all n starting from 3
- Can a strictly increasing convex function $F$ meet a line segment in 3 places, without being linear?
- Multiple integrals involving product of gamma functions