В математической области дифференциальной геометрии теорема Оссермана –Ксавье–Фудзимото касается отображений Гаусса минимальных поверхностей в трехмерном евклидовом пространстве. Она гласит, что если минимальная поверхность погружена и геодезически полна , то образ отображения Гаусса либо состоит из одной точки (так что поверхность является плоскостью), либо содержит всю сферу, за исключением максимум четырех точек.
Теорема Бернштейна утверждает, что минимальный граф в R 3 , который является геодезически полным, должен быть плоскостью. Это можно перефразировать так, что отображение Гаусса полной погруженной минимальной поверхности в R 3 либо постоянно, либо не содержится внутри открытой полусферы. Как предположил Луи Ниренберг и доказал Роберт Оссерман в 1959 году, в этой форме теорему Бернштейна можно обобщить так, что изображение отображения Гаусса полной погруженной минимальной поверхности в R 3 либо состоит из одной точки, либо плотно внутри сферы. [1]
Теорема Оссермана была улучшена Фредерико Ксавье и Хиротакой Фудзимото в 1980-х годах. Они доказали, что если изображение отображения Гаусса полной погруженной минимальной поверхности в R 3 исключает более четырех точек сферы, то поверхность является плоскостью. [2] Это оптимально, поскольку Конрад Фосс в 1960-х годах показал, что для любого подмножества A сферы, дополнение которой состоит из нуля, одной, двух, трех или четырех точек, существует полная погруженная минимальная поверхность в R 3 , отображение Гаусса которой имеет изображение A . [3] Конкретные примеры включают минимальную поверхность Римана , отображение Гаусса которой сюръективно, поверхность Эннепера , отображение Гаусса которой исключает одну точку, катеноид и геликоид , отображения Гаусса которых исключают две точки, и первую поверхность Шерка , отображение Гаусса которой исключает четыре точки.
Также возможно изучать отображение Гаусса минимальных поверхностей более высокой коразмерности в многомерных евклидовых пространствах. Существует ряд вариантов результатов Оссермана, Ксавье и Фудзимото, которые можно изучать в этой обстановке. [4]