Functional analysis
現已知道確有如此度量，證明使用了微分幾何、偏微分方程、泛函分析的技巧。