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 questions only not deleted user 1441

This tag is used if a reference is needed in a paper or textbook on a specific result.

5 votes
2 answers
647 views

Is there an English alternative to Blaschke's "Kreis und Kugel"?

Is there an English alternative to Blaschke's "Kreis und Kugel"? (As you may guess, "Kreis und Kugel" was not translated.) In other words I am looking for a well written and very elementary book which …
16 votes
4 answers
2k views

Inverse limit in metric geometry

Question. Did you ever see inverse limits to be used (or even seriousely considered) anywhere in metric geometry (but NOT in topology)? The definition of inverse limit for metric spaces is given bel …
8 votes
0 answers
245 views

Did these graphs pop up somewhere?

Please let me know if the following graphs popped up in some problems. Each of these graphs is described by 5 integers $n_1\geqslant k_1$, $n_2\geqslant k_2$, $l\geqslant 0$. We take two complete gr …
Anton Petrunin's user avatar
7 votes
2 answers
501 views

The set of non-smooth points of a convex function is (m - 1)-rectifiable

I am looking for a reference to the following result. Let $f:\mathbb R^m\to\mathbb R$ be a convex function. Then $f$ is differentiable at all points of outside of a countable union of $(m-1)$-r …
Anton Petrunin's user avatar
6 votes
1 answer
773 views

Inverse function theorem for DC-functions

I would like to have an inverse (or/and) implicite function theorem for DC-functions. It seems that I have right definitions, but I fail to prove it... Definitions: Let $h:\mathbb R^n\to\mathbb R$ …
Anton Petrunin's user avatar
12 votes
1 answer
380 views

Connecting Lemma in the Alexandrov's existence theorem.

At the moment I am polishing my lecture notes which in particular cover Alexandrov's existence theorem. Denote by $\mathbf{P}_k$ the space of isometry classes of polyhedral metrics on the $\mathbb S …
Anton Petrunin's user avatar
3 votes
1 answer
180 views

Completeness of intrinsication

Lemma. Suppose $(X,\rho)$ is a complete metric space and $\hat \rho$ is its induced intrinsic metric. Then $(X,\hat \rho)$ is complete. This lemma was essentially proved in [2.3. in Metric minimizing …
Anton Petrunin's user avatar
15 votes
2 answers
2k views

Riemannian manifold as a metric space

I am looking for a reference to the following simple statement; it must be classical. (It is easy to proof, but I want to have a reference.) A metric space $X$ that corresponds to a Riemannian man …
Anton Petrunin's user avatar
2 votes
3 answers
1k views

Strategy-stealing in chess

Is it proved that white can guarantee at least draw in chess? A while ago I was told that it was proved using strategy-stealing, but I cannot find a reference. Postscript. Please accept my apology - …
Anton Petrunin's user avatar
13 votes
1 answer
588 views

Source of infection on chessboard

I am looking for the original source of the following well known problem. Seven unit cells of a 8×8-chessboard are infected. In one time unit, the cells with at least two infected neighbors (having a …
Anton Petrunin's user avatar
3 votes
0 answers
63 views

Bow lemma with angles

First, let me recall the statement of the bow lemma. Let $\gamma_1: [a,b] \to \mathbb{R}^2$ and $\gamma_2: [a,b] \to \mathbb{R}^2$ be two smooth unit-speed curves. Assume $\gamma_1$ and its chord bou …
Anton Petrunin's user avatar
6 votes
1 answer
267 views

Locally compact + two-point homogeneous => Riemannian

A metric space $M$ is called two-point homogeneous if for any pair of points $(p,q)$ in $M$ any distance preserving map $f\colon\{p,q\}\to M$ can be extended to an isometry $\bar f\colon M\to M$. The …
Anton Petrunin's user avatar
10 votes
1 answer
1k views

Bochner formula in different forms

I am looking for a reference (better a book) that contain integral Bochner formulas for domains with boundary (I need it for 1-forms and functions only). For example I will need the following formula …
Anton Petrunin's user avatar
14 votes
1 answer
901 views

Hadamard theorem about embedding

The following theorem is commonly attributed to Jacques Hadamard. Assume $\Sigma$ is a smooth locally convex immersed surface in the Euclidean space. Then $\Sigma$ is embedded and bounds a convex …
Anton Petrunin's user avatar
4 votes
1 answer
305 views

Minimal graph over convex domain is area-minimizing

I am looking for a reference stating that If a graph $z=f(x,y)$ over a convex domain $D$ is minimal, then it is area-minimizing. 5.4.18 in Federer's "Geometric measure theory" and Lemma 1.1. in …
Anton Petrunin's user avatar

15 30 50 per page