3.3. Условие регулярности

Для дальнейших рассмотрений понадобится одно дополнительное условие, которому должно удовлетворять множество X.

Если для каждого i () существует такая точка x_i∈Х, что

то говорят, что множество X удовлетворяет условию регулярности.

Этому условию эквивалентно следующее условие, которое часто называют условием регулярности Слейтера: существует такая точка х ∈Х, что

Доказательство эквивалентности проводится без труда, если в качестве х выбрать

β_i≥0, ()

и воспользоваться леммой 2.3.

В каждом случае, когда нам понадобится условие регулярности, это будет оговорено.