Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 172802

Riemannian Geometry is a subfield of Differential Geometry, which specifically studies "Riemannian Manifolds", manifolds with "Riemannian Metrics", which means that they are equipped with continuous inner products.

12 votes
0 answers
281 views

Are there $n$ points dividing a compact Riemannian manifold into equal regions?

Let $M$ be a compact, connected $m$-dimensional Riemannian manifold, and let $n\in\mathbb{N}$. Can we always find distinct points $p_1,\dotsc,p_n\in M$ such that for $i=1,\dotsc,n$ the regions $A_i=\{ …
Saúl RM's user avatar
  • 10.6k
2 votes
Accepted

Closed almost geodesics in a Riemannian manifold

Any curve $\gamma:[a,b]\to M$ parametrized by arc length is an $\varepsilon$-geodesic for any $\varepsilon>0$. The inequality $(1-\varepsilon)dist_M(\gamma(x),\gamma(y))\leq length[\gamma(x),\gamma(y) …
Saúl RM's user avatar
  • 10.6k
5 votes
Accepted

Pythagorean theorem in Riemann metrics of non constant curvature

I think (see (??) below) there is no connected complete Riemannian manifold $(M,g)$ which is not flat and such that there is an isometry $f:(M,g)\to(M,\lambda^2g)$, where $\lambda\neq0,1$. I will assu …
Saúl RM's user avatar
  • 10.6k
3 votes

On diffeomorphisms that preserve the metric

This is true if $\Omega\neq\mathbb{R}^2$ (so that every path component of $\Omega$ has nonempty boundary). Firstly, $F^*e=e$ means that $F$ is a local isometry. We know that two local isometries $f,g: …
Saúl RM's user avatar
  • 10.6k
1 vote

Packing a Riemannian manifold with disjoints balls

For any smooth Riemannian manifold $(M,g)$ there is a countable disjoint union of balls with complement of measure $0$. Let $\mu$ be Riemannian measure and for each $p\in M$ let $B_p$ be a small preco …
Saúl RM's user avatar
  • 10.6k
1 vote
Accepted

Bisector of two points in a Riemannian manifold has measure $0$

Here is a short proof supposing that $M$ is complete (if not the statement is false, see the last paragraph) using the idea from Leo Moos' answer of using Rademacher's theorem. Suppose $\mathcal{B}(p, …
Saúl RM's user avatar
  • 10.6k
7 votes
2 answers
177 views

Bisector of two points in a Riemannian manifold has measure $0$

Let $p,q\in M$, $p\neq q$, where $M$ is a Riemannian manifold. We will let the bisector of $p,q$ be $\mathcal{B}(p,q)=\{x\in M;d(p,x)=d(q,x)\}$. Does $\mathcal{B}(p,q)$ have measure $0$? I was thinkin …
Saúl RM's user avatar
  • 10.6k
23 votes
2 answers
1k views

Can we make distances in a finite subset of a manifold whatever we want?

Given a connected smooth manifold $M$ of dimension $m>1$, points $p_1,\dots,p_n\in M$ and positive values $\{d_{i,j};1\leq i<j\leq n\}$ satisfying the strict triangle inequalities $d_{i,j}<d_{i,k}+d_{ …
Saúl RM's user avatar
  • 10.6k
7 votes
Accepted

For a closed Riemannian manifold $M$, must the set of points with non-unique closest points ...

More generally, for any closed subset $S$ of a complete manifold $M$, the set of points $x$ at whose minimal distance to $S$ is attained at more than point has measure $0$. Indeed, consider the distan …
Saúl RM's user avatar
  • 10.6k
3 votes

Equidistant points on a compact Riemannian manifold

$K(M,g)$ depends on the metric, as shown by this question, which implies that we can change the metric of $\mathbb{R}^3$ so it has as many points pairwise at distance $1$ as we want.
Saúl RM's user avatar
  • 10.6k
2 votes

For proper group action on closed Riemannian manifold, must the union of orbits with non-uni...

Perhaps this is not the strongest result one can get, but it is true that, if $M$ is a complete Riemannian manifold, then for almost all $p^*\in M$ the set $F_{p^*}$ you define in the question has mea …
Saúl RM's user avatar
  • 10.6k