Skip to main content
2 of 2
deleted 111 characters in body

Reference on these two affirmations on Differential Geometry

I'm reading the paper "A gap theorem for free boundary minimal surfaces in the three-ball".

In what follows $\Sigma$ is a minimal compact free boundary surface in the unit ball $B^3$ contained in $\mathbb{R}^3$.

On page 5 we have two affirmations, here they are:

1 - "In particular, $\partial \Sigma$ is strictly convex in $\Sigma$. This implies that for all $p,q \in \Sigma$ there exists a minimising geodesic in $\Sigma$ joining $p$ to $q$."

2 - "Given $[\alpha] \in \pi_1(\Sigma,p)$, let us assume that $[\alpha]$ is a non trivial homotopy class. Since $\partial \Sigma$ is strictly convex we can find a geodesic loop $\gamma:[0,1] \to \Sigma$, $\gamma(0)=\gamma(1) = p$, such that $\gamma \in [\alpha]$."

I read the paper and these are the only two things I don't understand let alone know how to prove.

Where can I find a reference for these two facts?

Thank you.