Distance on the sphere is convex Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Laplacian on Sphere of Function Only Depending on Angle Between PointsThe furthest point to this torusStrongly convex set is contractibleShow that geodesic distance on the $n$-sphere respects the triangle inequalityDistance to an equatora question on the geodesic distance on the sphereHow can I show that $langle v , w rangle = lambda langle d Phi_p(v) , d Phi_p(w) rangle$ for any $lambda in mathbbR$?Intersection of random line segments on the sphereFind the geodesic and normal curvatures of a surfaceSpherical Triangle: Law of Sines with Clairaut's theorem

Is the Mordenkainen's Sword spell underpowered?

Asymmetric or symmetric - which makes sense in this scenario?

Pointing to problems without suggesting solutions

malloc in main() or malloc in another function: allocating memory for a struct and its members

Combining list in a Cartesian product format with addition operation?

Can I take recommendation from someone I met at a conference?

How do you cope with tons of web fonts when copying and pasting from web pages?

Who's the Giant Batman in the back of this dark knights metal Batman picture?

Why is there so little support for joining EFTA in the British parliament?

My mentor says to set image to Fine instead of RAW — how is this different from JPG?

Is it possible to intall libXft.so.2 on WSL?

How to name indistinguishable henchmen in a screenplay?

Why are two-digit numbers in Jonathan Swift's "Gulliver's Travels" (1726) written in "German style"?

How to make an animal which can only breed for a certain number of generations?

Magento 2 - Add additional attributes in register

Are there any irrational/transcendental numbers for which the distribution of decimal digits is not uniform?

Is it OK if I do not take the receipt in Germany?

What could prevent concentrated local exploration?

How do I say "this must not happen"?

Can two people see the same photon?

How to show a density matrix is in a pure/mixed state?

RM anova or Factorial Anova?

Is there a verb for listening stealthily?

Does GDPR cover the collection of data by websites that crawl the web and resell user data



Distance on the sphere is convex



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Laplacian on Sphere of Function Only Depending on Angle Between PointsThe furthest point to this torusStrongly convex set is contractibleShow that geodesic distance on the $n$-sphere respects the triangle inequalityDistance to an equatora question on the geodesic distance on the sphereHow can I show that $langle v , w rangle = lambda langle d Phi_p(v) , d Phi_p(w) rangle$ for any $lambda in mathbbR$?Intersection of random line segments on the sphereFind the geodesic and normal curvatures of a surfaceSpherical Triangle: Law of Sines with Clairaut's theorem










0












$begingroup$


Let $mathbbS^n$ be the unit sphere and choose $p_0$ as the north pole. Consider the function $d:mathbbS^n to [0, infty)$ defined by $d(p) = d(p,p_0) = cos^-1( langle p, p_0 rangle)$. It is the intrinsec distance to $p_0$ in the sphere. Is this function convex?



In order to answer this question, we have to show that $d circ gamma$ is a convex function of a real variable, for any geodesic $gamma$ of the sphere. I showed it for geodesics issuing from $p_0$. Is it enough?










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    Sorry. Geodesics through $p_0$ tell you only how the function behaves as you move away from $p_0$. They do not tell you how it behaves in other directions.
    $endgroup$
    – Paul Sinclair
    Apr 3 at 0:53










  • $begingroup$
    Thank you for your comment. Do you believe that $d$ is convex?
    $endgroup$
    – Eduardo Longa
    Apr 3 at 1:08










  • $begingroup$
    Look at $Bbb S^2$ first. Consider a great circle slanted at 45 degrees. Calculate your function as a function of $theta$ around the circle. Is that function convex everywhere?
    $endgroup$
    – Paul Sinclair
    Apr 3 at 1:13















0












$begingroup$


Let $mathbbS^n$ be the unit sphere and choose $p_0$ as the north pole. Consider the function $d:mathbbS^n to [0, infty)$ defined by $d(p) = d(p,p_0) = cos^-1( langle p, p_0 rangle)$. It is the intrinsec distance to $p_0$ in the sphere. Is this function convex?



In order to answer this question, we have to show that $d circ gamma$ is a convex function of a real variable, for any geodesic $gamma$ of the sphere. I showed it for geodesics issuing from $p_0$. Is it enough?










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    Sorry. Geodesics through $p_0$ tell you only how the function behaves as you move away from $p_0$. They do not tell you how it behaves in other directions.
    $endgroup$
    – Paul Sinclair
    Apr 3 at 0:53










  • $begingroup$
    Thank you for your comment. Do you believe that $d$ is convex?
    $endgroup$
    – Eduardo Longa
    Apr 3 at 1:08










  • $begingroup$
    Look at $Bbb S^2$ first. Consider a great circle slanted at 45 degrees. Calculate your function as a function of $theta$ around the circle. Is that function convex everywhere?
    $endgroup$
    – Paul Sinclair
    Apr 3 at 1:13













0












0








0





$begingroup$


Let $mathbbS^n$ be the unit sphere and choose $p_0$ as the north pole. Consider the function $d:mathbbS^n to [0, infty)$ defined by $d(p) = d(p,p_0) = cos^-1( langle p, p_0 rangle)$. It is the intrinsec distance to $p_0$ in the sphere. Is this function convex?



In order to answer this question, we have to show that $d circ gamma$ is a convex function of a real variable, for any geodesic $gamma$ of the sphere. I showed it for geodesics issuing from $p_0$. Is it enough?










share|cite|improve this question









$endgroup$




Let $mathbbS^n$ be the unit sphere and choose $p_0$ as the north pole. Consider the function $d:mathbbS^n to [0, infty)$ defined by $d(p) = d(p,p_0) = cos^-1( langle p, p_0 rangle)$. It is the intrinsec distance to $p_0$ in the sphere. Is this function convex?



In order to answer this question, we have to show that $d circ gamma$ is a convex function of a real variable, for any geodesic $gamma$ of the sphere. I showed it for geodesics issuing from $p_0$. Is it enough?







smooth-manifolds spheres spherical-geometry geodesic convex-geometry






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Apr 2 at 17:35









Eduardo LongaEduardo Longa

1,8952719




1,8952719







  • 1




    $begingroup$
    Sorry. Geodesics through $p_0$ tell you only how the function behaves as you move away from $p_0$. They do not tell you how it behaves in other directions.
    $endgroup$
    – Paul Sinclair
    Apr 3 at 0:53










  • $begingroup$
    Thank you for your comment. Do you believe that $d$ is convex?
    $endgroup$
    – Eduardo Longa
    Apr 3 at 1:08










  • $begingroup$
    Look at $Bbb S^2$ first. Consider a great circle slanted at 45 degrees. Calculate your function as a function of $theta$ around the circle. Is that function convex everywhere?
    $endgroup$
    – Paul Sinclair
    Apr 3 at 1:13












  • 1




    $begingroup$
    Sorry. Geodesics through $p_0$ tell you only how the function behaves as you move away from $p_0$. They do not tell you how it behaves in other directions.
    $endgroup$
    – Paul Sinclair
    Apr 3 at 0:53










  • $begingroup$
    Thank you for your comment. Do you believe that $d$ is convex?
    $endgroup$
    – Eduardo Longa
    Apr 3 at 1:08










  • $begingroup$
    Look at $Bbb S^2$ first. Consider a great circle slanted at 45 degrees. Calculate your function as a function of $theta$ around the circle. Is that function convex everywhere?
    $endgroup$
    – Paul Sinclair
    Apr 3 at 1:13







1




1




$begingroup$
Sorry. Geodesics through $p_0$ tell you only how the function behaves as you move away from $p_0$. They do not tell you how it behaves in other directions.
$endgroup$
– Paul Sinclair
Apr 3 at 0:53




$begingroup$
Sorry. Geodesics through $p_0$ tell you only how the function behaves as you move away from $p_0$. They do not tell you how it behaves in other directions.
$endgroup$
– Paul Sinclair
Apr 3 at 0:53












$begingroup$
Thank you for your comment. Do you believe that $d$ is convex?
$endgroup$
– Eduardo Longa
Apr 3 at 1:08




$begingroup$
Thank you for your comment. Do you believe that $d$ is convex?
$endgroup$
– Eduardo Longa
Apr 3 at 1:08












$begingroup$
Look at $Bbb S^2$ first. Consider a great circle slanted at 45 degrees. Calculate your function as a function of $theta$ around the circle. Is that function convex everywhere?
$endgroup$
– Paul Sinclair
Apr 3 at 1:13




$begingroup$
Look at $Bbb S^2$ first. Consider a great circle slanted at 45 degrees. Calculate your function as a function of $theta$ around the circle. Is that function convex everywhere?
$endgroup$
– Paul Sinclair
Apr 3 at 1:13










0






active

oldest

votes












Your Answer








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%2f3172158%2fdistance-on-the-sphere-is-convex%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes















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.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3172158%2fdistance-on-the-sphere-is-convex%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

Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ