Добрый день! Помогите пожалуйста с переводом такой теоремы:
Theorem (Mairhuber-Curtis)If
,
, contains an interior point, then there exist no Haar spaces of continuous functions except for one-dimensional ones.
Во-первых, я не встретил нигде на русском языке написания фамилий авторов, может есть какой-то устоявшийся вариант написания? Не знаю, верно ли будет написать Майрхубер-Кёртис? Ну и во-вторых как перевести "Haar spaces"? Сочетания "область Хаара" никогда раньше не слышал.
На всякий случай определение "Haar space":
Let the finite-dimensional linear function space
have basis
. Then
is a Haar space on
if
for any set of distinct
in
. Here A is the matrix with entries
.
Моя попытка перевода:
Пусть
- базис конечномерного линейного функционального пространства
.
будет (областью Хаара?) на
, если
для множества попарно различных
. Здесь
- матрица с компонентами
.
Заранее спасибо.