Intereting Posts

How to show that $a,\ b\in {\mathbb Q},\ a^2+b^2=1\Rightarrow a=\frac{s^2-t^2}{s^2+t^2},\ b= \frac{2st}{s^2+t^2} $
Show that $\sum\nolimits_{d|n} \frac{1}{d} = \frac{\sigma (n)}{n}$ for every positive integer $n$.
Maximum no.of edges in a bipartite graph
Sketch Saddle Point of a function of two variables $ f(x, y) = 4 + x^3 + y^3 – 3xy$
How much space do I need to sort my socks?
How to build a smooth “transition function” explicitly?
Applications of Pseudodifferential Operators
Cantor diagonalization method for subsequences
how to derive the mean and variance of a Gaussian Random variable?
The 6 generals problem
Whether the map $x\mapsto x^3$ in a finite field is bijective
Real Analysis – A sequence that has no convergent subsequence
Looking for a proof of Cleo's result for ${\large\int}_0^\infty\operatorname{Ei}^4(-x)\,dx$
Equivalent Norms on Sobolev Spaces
Why use the derivative and not the symmetric derivative?

**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)$$

- Why is the empty set a subset of every set?
- Examples of pairewise independent but not independent continuous random variables
- Is there a topological space which is star compact but not star countable?
- Local homeomorphisms which are not covering map?
- Topological counterexample: compact, Hausdorff, separable space which is not first-countable
- Counterexample for numerical series

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.

- If a sub-C*-algebra does not contain the unit, is it contained in a proper ideal?
- Evaluating $\int_a^b \frac12 r^2\ \mathrm d\theta$ to find the area of an ellipse
- How would Pythagorean's theorem work in higher dimensions? (General Question)
- Construct a monotone function which has countably many discontinuities
- Cube stack problem
- Intersection of nested closed bounded convex sets in Euclidean space
- Why in calculus the angles are measured in radians?
- Area of a cyclic polygon maximum when it is a regular polygon
- Is there an equidissection of a unit square involving irrational coordinates?
- Triangles area question

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.

- A function with a non-negative upper derivative must be increasing?
- meaning of powers on trig functions
- Why are duals in a rigid/autonomous category unique up to unique isomorphism?
- Math Wizardry – Formula for selecting the best spell
- Modulus of Fraction
- Integrating squared absolute value of a complex sequence
- $x_n$ is the $n$'th positive solution to $x=\tan(x)$. Find $\lim_{n\to\infty}\left(x_n-x_{n-1}\right)$
- Edge coloring of the cube
- Limit of the sequence $nx_{n}$ where $x_{n+1} = \log (1 +x_{n})$
- Cuboid nearest to a cube
- Etymology of the word “isotropic”
- Relationship Between Ratio Test and Power Series Radius of Convergence
- Are derivatives linear maps?
- How does one prove that the Klein bottle cannot be embedded in $R^3$?
- If $\int_0^x f \ dm$ is zero everywhere then $f$ is zero almost everywhere