Geodesics meeting with angle 0 in CAT(0) space
Consider two distinct geodesics $gamma_1$ and $gamma_2$ in a CAT($0$) space, issued from the same base point.
A trivial example where we have $angle(gamma_1, gamma_2)=0$ is when
$gamma_1(t) = gamma_2(t)$ for $t$ smaller than some $varepsilon > 0$. In this case, I say that they define the same germ.
My question is, is there examples of CAT(0) spaces with geodesics meeting with angle 0 and every geodesic is non-branching ?
The only class of examples I know of non-branching geodesics meeting with angle $0$ are constructed as follow:
consider the following subset of the Euclidian plane, with induced length-metric,
$X = { (x,y); 0 le x le 1, 0 le y le x^2 }$. It is a CAT(0) space,
the geodesic between $(0,0)$ and $(1,0)$ is the segment and the geodesic between $(0,0)$ and $(1,1)$ is the arc of parabola. These geodesics meet at $(0,0)$ with angle 0 and they don't define the same germ.
However, in this space there exist branching geodesics, for example
the geodesic between $(0,0)$ and $(1, t)$ for $t>0$ all define the same germ.
Edit: I add a description of these geodesics. The geodesic from $(0,0)$ to
$(1,t)$ is an arc of parabola from $(0,0)$ to $P$ concatenated with the segment $[P, (1,t)]$ where $P$ is the point on the parabola closest to the origin such that the segment $[P, (1,t)]$ lies in $X$.
metric-geometry
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
add a comment |
Consider two distinct geodesics $gamma_1$ and $gamma_2$ in a CAT($0$) space, issued from the same base point.
A trivial example where we have $angle(gamma_1, gamma_2)=0$ is when
$gamma_1(t) = gamma_2(t)$ for $t$ smaller than some $varepsilon > 0$. In this case, I say that they define the same germ.
My question is, is there examples of CAT(0) spaces with geodesics meeting with angle 0 and every geodesic is non-branching ?
The only class of examples I know of non-branching geodesics meeting with angle $0$ are constructed as follow:
consider the following subset of the Euclidian plane, with induced length-metric,
$X = { (x,y); 0 le x le 1, 0 le y le x^2 }$. It is a CAT(0) space,
the geodesic between $(0,0)$ and $(1,0)$ is the segment and the geodesic between $(0,0)$ and $(1,1)$ is the arc of parabola. These geodesics meet at $(0,0)$ with angle 0 and they don't define the same germ.
However, in this space there exist branching geodesics, for example
the geodesic between $(0,0)$ and $(1, t)$ for $t>0$ all define the same germ.
Edit: I add a description of these geodesics. The geodesic from $(0,0)$ to
$(1,t)$ is an arc of parabola from $(0,0)$ to $P$ concatenated with the segment $[P, (1,t)]$ where $P$ is the point on the parabola closest to the origin such that the segment $[P, (1,t)]$ lies in $X$.
metric-geometry
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
Why they define the same germ? If your space is $CAT(0)$ they vary continuously with their endpoints.
– Dante Grevino
Nov 27 '18 at 16:05
@DanteGrevino they do vary continuously. The geodesic between $(0,0)$ and $(1, t)$ follows the arc of parabola for some time and then is a segment.
– Florentin MB
Nov 27 '18 at 16:09
add a comment |
Consider two distinct geodesics $gamma_1$ and $gamma_2$ in a CAT($0$) space, issued from the same base point.
A trivial example where we have $angle(gamma_1, gamma_2)=0$ is when
$gamma_1(t) = gamma_2(t)$ for $t$ smaller than some $varepsilon > 0$. In this case, I say that they define the same germ.
My question is, is there examples of CAT(0) spaces with geodesics meeting with angle 0 and every geodesic is non-branching ?
The only class of examples I know of non-branching geodesics meeting with angle $0$ are constructed as follow:
consider the following subset of the Euclidian plane, with induced length-metric,
$X = { (x,y); 0 le x le 1, 0 le y le x^2 }$. It is a CAT(0) space,
the geodesic between $(0,0)$ and $(1,0)$ is the segment and the geodesic between $(0,0)$ and $(1,1)$ is the arc of parabola. These geodesics meet at $(0,0)$ with angle 0 and they don't define the same germ.
However, in this space there exist branching geodesics, for example
the geodesic between $(0,0)$ and $(1, t)$ for $t>0$ all define the same germ.
Edit: I add a description of these geodesics. The geodesic from $(0,0)$ to
$(1,t)$ is an arc of parabola from $(0,0)$ to $P$ concatenated with the segment $[P, (1,t)]$ where $P$ is the point on the parabola closest to the origin such that the segment $[P, (1,t)]$ lies in $X$.
metric-geometry
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
Consider two distinct geodesics $gamma_1$ and $gamma_2$ in a CAT($0$) space, issued from the same base point.
A trivial example where we have $angle(gamma_1, gamma_2)=0$ is when
$gamma_1(t) = gamma_2(t)$ for $t$ smaller than some $varepsilon > 0$. In this case, I say that they define the same germ.
My question is, is there examples of CAT(0) spaces with geodesics meeting with angle 0 and every geodesic is non-branching ?
The only class of examples I know of non-branching geodesics meeting with angle $0$ are constructed as follow:
consider the following subset of the Euclidian plane, with induced length-metric,
$X = { (x,y); 0 le x le 1, 0 le y le x^2 }$. It is a CAT(0) space,
the geodesic between $(0,0)$ and $(1,0)$ is the segment and the geodesic between $(0,0)$ and $(1,1)$ is the arc of parabola. These geodesics meet at $(0,0)$ with angle 0 and they don't define the same germ.
However, in this space there exist branching geodesics, for example
the geodesic between $(0,0)$ and $(1, t)$ for $t>0$ all define the same germ.
Edit: I add a description of these geodesics. The geodesic from $(0,0)$ to
$(1,t)$ is an arc of parabola from $(0,0)$ to $P$ concatenated with the segment $[P, (1,t)]$ where $P$ is the point on the parabola closest to the origin such that the segment $[P, (1,t)]$ lies in $X$.
metric-geometry
metric-geometry
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
edited Dec 12 '18 at 13:33
Loreno Heer
3,32411534
3,32411534
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
asked Nov 27 '18 at 15:48
Florentin MBFlorentin MB
13715
13715
Why they define the same germ? If your space is $CAT(0)$ they vary continuously with their endpoints.
– Dante Grevino
Nov 27 '18 at 16:05
@DanteGrevino they do vary continuously. The geodesic between $(0,0)$ and $(1, t)$ follows the arc of parabola for some time and then is a segment.
– Florentin MB
Nov 27 '18 at 16:09
add a comment |
Why they define the same germ? If your space is $CAT(0)$ they vary continuously with their endpoints.
– Dante Grevino
Nov 27 '18 at 16:05
@DanteGrevino they do vary continuously. The geodesic between $(0,0)$ and $(1, t)$ follows the arc of parabola for some time and then is a segment.
– Florentin MB
Nov 27 '18 at 16:09
Why they define the same germ? If your space is $CAT(0)$ they vary continuously with their endpoints.
– Dante Grevino
Nov 27 '18 at 16:05
Why they define the same germ? If your space is $CAT(0)$ they vary continuously with their endpoints.
– Dante Grevino
Nov 27 '18 at 16:05
@DanteGrevino they do vary continuously. The geodesic between $(0,0)$ and $(1, t)$ follows the arc of parabola for some time and then is a segment.
– Florentin MB
Nov 27 '18 at 16:09
@DanteGrevino they do vary continuously. The geodesic between $(0,0)$ and $(1, t)$ follows the arc of parabola for some time and then is a segment.
– Florentin MB
Nov 27 '18 at 16:09
add a comment |
1 Answer
1
active
oldest
votes
So the following comes to my mind. But you should check if it actually makes sense. (I did not check this, and typing this answer on my phone which works horrible for this website)
Any non branching geodesic space has uniquely extendable geodesics.
If it is furthermore proper and CAT(0) then by a theorem of f V. Berestovskii it follows that:
$bar{Sigma}_x= Σ_x$ is isometric to a Euclidean sphere. Here the space of
directions $bar{Sigma}_x$ at a point $x$ is the completion of the space $Sigma_x$ of geodesic germs equipped with
the Alexandrov angle metric at x.
See Busemann spaces with upper-bounded Aleksandrov curvature, Algebra i Analiz 14 (2002),
no. 5, 318
And the following lecture notes
http://egg.epfl.ch/~nmonod/articles/structure.pdf
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
"Any non branching geodesic space has uniquely extendable geodesics" I don't see that, what about a bounded convex subset of e.g. the Euclidian plane ?
– Florentin MB
Dec 17 '18 at 10:46
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015929%2fgeodesics-meeting-with-angle-0-in-cat0-space%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
So the following comes to my mind. But you should check if it actually makes sense. (I did not check this, and typing this answer on my phone which works horrible for this website)
Any non branching geodesic space has uniquely extendable geodesics.
If it is furthermore proper and CAT(0) then by a theorem of f V. Berestovskii it follows that:
$bar{Sigma}_x= Σ_x$ is isometric to a Euclidean sphere. Here the space of
directions $bar{Sigma}_x$ at a point $x$ is the completion of the space $Sigma_x$ of geodesic germs equipped with
the Alexandrov angle metric at x.
See Busemann spaces with upper-bounded Aleksandrov curvature, Algebra i Analiz 14 (2002),
no. 5, 318
And the following lecture notes
http://egg.epfl.ch/~nmonod/articles/structure.pdf
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
"Any non branching geodesic space has uniquely extendable geodesics" I don't see that, what about a bounded convex subset of e.g. the Euclidian plane ?
– Florentin MB
Dec 17 '18 at 10:46
add a comment |
So the following comes to my mind. But you should check if it actually makes sense. (I did not check this, and typing this answer on my phone which works horrible for this website)
Any non branching geodesic space has uniquely extendable geodesics.
If it is furthermore proper and CAT(0) then by a theorem of f V. Berestovskii it follows that:
$bar{Sigma}_x= Σ_x$ is isometric to a Euclidean sphere. Here the space of
directions $bar{Sigma}_x$ at a point $x$ is the completion of the space $Sigma_x$ of geodesic germs equipped with
the Alexandrov angle metric at x.
See Busemann spaces with upper-bounded Aleksandrov curvature, Algebra i Analiz 14 (2002),
no. 5, 318
And the following lecture notes
http://egg.epfl.ch/~nmonod/articles/structure.pdf
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
"Any non branching geodesic space has uniquely extendable geodesics" I don't see that, what about a bounded convex subset of e.g. the Euclidian plane ?
– Florentin MB
Dec 17 '18 at 10:46
add a comment |
So the following comes to my mind. But you should check if it actually makes sense. (I did not check this, and typing this answer on my phone which works horrible for this website)
Any non branching geodesic space has uniquely extendable geodesics.
If it is furthermore proper and CAT(0) then by a theorem of f V. Berestovskii it follows that:
$bar{Sigma}_x= Σ_x$ is isometric to a Euclidean sphere. Here the space of
directions $bar{Sigma}_x$ at a point $x$ is the completion of the space $Sigma_x$ of geodesic germs equipped with
the Alexandrov angle metric at x.
See Busemann spaces with upper-bounded Aleksandrov curvature, Algebra i Analiz 14 (2002),
no. 5, 318
And the following lecture notes
http://egg.epfl.ch/~nmonod/articles/structure.pdf
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
So the following comes to my mind. But you should check if it actually makes sense. (I did not check this, and typing this answer on my phone which works horrible for this website)
Any non branching geodesic space has uniquely extendable geodesics.
If it is furthermore proper and CAT(0) then by a theorem of f V. Berestovskii it follows that:
$bar{Sigma}_x= Σ_x$ is isometric to a Euclidean sphere. Here the space of
directions $bar{Sigma}_x$ at a point $x$ is the completion of the space $Sigma_x$ of geodesic germs equipped with
the Alexandrov angle metric at x.
See Busemann spaces with upper-bounded Aleksandrov curvature, Algebra i Analiz 14 (2002),
no. 5, 318
And the following lecture notes
http://egg.epfl.ch/~nmonod/articles/structure.pdf
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
edited Dec 13 '18 at 10:25
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
answered Dec 12 '18 at 16:48
Loreno HeerLoreno Heer
3,32411534
3,32411534
"Any non branching geodesic space has uniquely extendable geodesics" I don't see that, what about a bounded convex subset of e.g. the Euclidian plane ?
– Florentin MB
Dec 17 '18 at 10:46
add a comment |
"Any non branching geodesic space has uniquely extendable geodesics" I don't see that, what about a bounded convex subset of e.g. the Euclidian plane ?
– Florentin MB
Dec 17 '18 at 10:46
"Any non branching geodesic space has uniquely extendable geodesics" I don't see that, what about a bounded convex subset of e.g. the Euclidian plane ?
– Florentin MB
Dec 17 '18 at 10:46
"Any non branching geodesic space has uniquely extendable geodesics" I don't see that, what about a bounded convex subset of e.g. the Euclidian plane ?
– Florentin MB
Dec 17 '18 at 10:46
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3015929%2fgeodesics-meeting-with-angle-0-in-cat0-space%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Why they define the same germ? If your space is $CAT(0)$ they vary continuously with their endpoints.
– Dante Grevino
Nov 27 '18 at 16:05
@DanteGrevino they do vary continuously. The geodesic between $(0,0)$ and $(1, t)$ follows the arc of parabola for some time and then is a segment.
– Florentin MB
Nov 27 '18 at 16:09