Questions tagged [isometries]
The isometries tag has no summary.
107 questions
2
votes
1
answer
118
views
When is a mapping that is both a measure isomorphism mod 0 and an order isomorphism unique mod 0?
Suppose we have two measure spaces, $(\Omega, \mathscr{F}, \mu)$ and $(\Psi, \mathscr{G}, \nu)$, with $\mu(\Omega) = \nu(\Psi) < \infty$, and we consider the set of measure isomorphisms mod 0 ...
- 319
2
votes
1
answer
131
views
Pointwise estimate in Ito isometry
Let $W$ be a classical Wiener process on $[0,1]$ and let
$$
\mathcal{I}\colon a\mapsto \int_0^1a(t) dW(t)
$$
be the stochastic integral with respect to $W$. Ito isometry states that $\mathcal{I}$ is ...
- 607
4
votes
1
answer
503
views
Where to begin in Computational Group Theory?
I'm coding a small application that looks for periodic solutions to the gravitational n-body problem. I'm trying to better understanding the symmetries of solutions, which is made up of the product of ...
- 297
4
votes
1
answer
308
views
Isometry group of a left-invariant Riemannian metric on $\mathrm{SU}(2)$
Recall that
\begin{equation}
\mathbb{S}^3=\operatorname{SU}(2)=\left\{
\begin{pmatrix}
z&w\\
-\bar{w}&\bar{z}
\end{pmatrix}
,|z|^2+|w|^2=1
\right\}
\end{...
- 1,471
1
vote
1
answer
163
views
$\operatorname{Hess}r$ is scalar matrix $\implies$ $M$ is isometric to the space form
I'm trying to prove the rigidity part of a theorem in my paper, which requires the use of the classical Hessian comparison theorem's rigidity part:
$$\DeclareMathOperator\sn{sn}\operatorname{Hess}r=\...
- 207
1
vote
0
answers
120
views
Instantaneous rotation field in relation to a developable surface
I have a ruled surface, let it be given by $\Sigma: U \subset \mathbb{R}^2 \rightarrow \mathbb{R}^3$ parametrized by $(u,v)$ with the rulings along the $u$-lines. Now, let $X: U \subset \mathbb{R}^2 \...
- 247
3
votes
1
answer
334
views
Unitary versus isometric operators
Let $\mathbb H$ be a Hilbert space, and let $\mathcal B(\mathbb H)$ be the space of bounded operators on $\mathbb H$, equipped with the operator-norm topology. Let
$\mathbb R\ni t\mapsto A(t)\in \...
- 16.7k
3
votes
1
answer
162
views
If $X,X'$ have the same $\varepsilon$-packing numbers and $f:X \to X'$ surjective $1$-Lipschitz, then $f$ is an isometry
Let $(X, d)$ be a compact metric space.
We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
- 1,163
2
votes
1
answer
174
views
Are two metric spaces isometric if they have the same $\varepsilon$-covering and $\varepsilon$-packing numbers for all $\varepsilon>0$?
Let $(X, d)$ be a compact metric space.
We say that $\{x_1, \cdots, x_n\} \subseteq X$ is an $\varepsilon$-covering of $X$ if for any $x \in X$, there exists $i \in \{1, \ldots, n\}$ such that $d(x, ...
- 1,163
2
votes
1
answer
327
views
Are two metric spaces isometric if they have the same $\varepsilon$-covering numbers for all $\varepsilon>0$?
Let $(E, d)$ be a metric space. For $\varepsilon>0$, we define two notions of $\varepsilon$-covering number as follows, i.e.,
$N_\varepsilon^o (E)$ is the smallest number of open balls whose radii ...
- 1,163
4
votes
1
answer
391
views
Is every 1-Lipschitz homeomorphism $f:X\to X$ from a compact metric space to itself an isometry?
I found a statement involving a homeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and cannot think of an example where $f$ is not an ...
- 13.1k
6
votes
0
answers
179
views
What is the minimum $n$ for which $\Bbb H^3$ can be isometrically embedded in $\Bbb R^n$ as a bounded set?
Consider the hyperbolic $3$-space $\Bbb H^3$ (i.e., the unique, simply-connected, $3$-dimensional complete Riemannian manifold with a constant negative sectional curvature equal to $-1$). The Nash ...
- 1,201
1
vote
1
answer
431
views
Isometries of Hilbert space
It is easy to see that for any $x$ and $y$ on the unit sphere of a Hilbert space $H$ there exists a surjective isometry $U$ such that $Ux=y$. Does something more general also hold? That is, given two ...
- 1,361
0
votes
1
answer
222
views
Are the ideals in two $C^*$-algebras the same?
Let $V_{1}, V_{2}$ be the commuting isometries. By Wold decomposition theorem, we know that $V_{i}$ admits decomposition $$V_i \cong V^s_{i}\oplus V^{u}_{i},$$ where $V^{s}_{i}$ is the shift and $V^{u}...
- 139
6
votes
1
answer
429
views
Does the isometry group determine the Riemannian metric?
Suppose $G \subset \text{Iso}(M)$ is a Lie group acting smoothly on a (pseudo-)Riemannian manifold $(M, g)$. Then $G$ induces a Lie algebra of Killing vectors on $M$. In this paper by Goenner and ...
- 203