Geodesics meeting with angle 0 in CAT(0) space












4














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$.










share|cite|improve this question
























  • 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
















4














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$.










share|cite|improve this question
























  • 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














4












4








4







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$.










share|cite|improve this question















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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 12 '18 at 13:33









Loreno Heer

3,32411534




3,32411534










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


















  • 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










1 Answer
1






active

oldest

votes


















0














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






share|cite|improve this answer























  • "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











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
});


}
});














draft saved

draft discarded


















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









0














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






share|cite|improve this answer























  • "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
















0














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






share|cite|improve this answer























  • "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














0












0








0






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






share|cite|improve this answer














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







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 13 '18 at 10:25

























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


















  • "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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Plaza Victoria

Puebla de Zaragoza

Musa