Lower bound on injectivity radius of graph
Source: Alibaba Global Math Competition 2021, Problem 14
July 4, 2021
metric spaceinjectivitygeometryanalysiscollege contests
Problem Statement
Let be a smooth function on , denote by . Let be the restriction of the Euclidean metric on .(1) Prove that is a complete metric.(2) If there exists , such that , where is the unit matrix of order , and is the Hessian matrix of , then the injectivity radius of is at least .