О расстоянии до многогранников некоторого класса в симметрических нормах Текст научной статьи по специальности «Математика»

УДК 515.1

Н.П. Федотова

О расстоянии до многогранников некоторого класса в симметрических нормах

Данная работа посвящена изучению расстояний до многогранников некоторого класса в пространстве Rn с различными симметрическими нормами. Описаны все гиперплоскости, для которых для всех многогранников некоторого вида точка минимума евклидовой нормы является точкой минимума любой другой симметрической нормы.

Ключевые слова: Норма, евклидова норма, симметрическая норма, расстояние, гиперплоскость, класс многогранников, класс гиперплоскостей, пространство Rn

N.P. Fedotova

About the Distance to Polyhedrons of Some Class in Symmetric Norms

This paper is devoted to the minimum distance between a point and a polyhedrons of some class in Rn vector space supplied with different symmetrical norms. We find all hyperplanes for which all polyhedrons the point of Euclidean norm's minimum is also one of the nearest points in any symmetrical norm.

Key words: Norm, Euclidean norm, symmetrical norm, distance, hyperplane, class of hyperplanes, class of polyhedrons, Rn space.

Введение

Известно [1] следующее свойство гиперп-

п

лоскости ^ х^ = 0 п-мерного пространства:

1=1

для любого многогранника вида а! < х; < Ь ( ! = 1,2,...,п ) в этой гиперплоскости существует точка этого многогранника , в которой достигается минимум любой симметрической нормы.

Данная теорема может быть использована при решении различных дискретных и оптимизационных задач. Она позволяет выбрать наиболее удобный критерия оптимизации -евклидову норму, что значительно упрощает вычисления в ряде случаев. Более того, можно выписать общий вид решения и свести задачу к перебору конечного числа критических точек. Примерами дискретных задач с соответствующими условиями могут быть задача о целочисленном сбалансировании матрицы, задача о равномерном назначении работ, которые описаны в [2, 3].

В данной статье будем рассматривать многогранники вида а! < х; < Ь; ( ! = 1,2,.,п ) в пересечении с различными гиперплоскостями и называть их многогранниками вида Б.

Будем говорить, что свойство и выполнено для гиперплоскости (или многогранника вида Б), если точка этой гиперплоскости (или мно-

гогранника вида Б), в которой достигается минимум евклидовой нормы, является точкой минимума любой другой симметрической нормы.

Гиперплоскость пространства Яп будем называть униэкстремальной, если на любом многограннике вида Б этой гиперплоскости выполнено свойство и.

Замечание 1.

Гиперплоскость (и многогранник вида Б) в евклидовой норме имеет единственную точку экстремума. Поэтому определения свойства и и униэкстремальности корректны.

Замечание 2.

п

Гиперплоскость ^ х{ = 0 обладает свойст-

г=1

вом И и униэкстремальна. Следовательно, ги-

п

перплоскость ^ kxi = 0 тоже обладает свой-

г=1

ством И и униэкстремальна. Чтобы не делать эту оговорку каждый раз, будем считать, что в уравнении гиперплоскости есть хотя бы один коэффициент, равный единице (поскольку все коэффициенты не могут быть равны нулю одновременно по определению гиперплоскости).

© Федотова Н.П., 2010

Замечание 3.

Можно сказать, что свойство униэкстре-мальности сильнее, чем свойство U. Для доказательства этого утверждения достаточно рассмотреть любой многогранник вида D, содержащий экстремальную точку гиперплоскости в норме L2.

В данной работе исследуются

1. Все униэкстремальные гиперплоскости в пространстве Rn. Раздел «Униэкстремальные гиперплоскости».

2. Возможность расширения класса униэкс-тремальных гиперплоскостей, за счет наложения ограничений на симметрическую норму. Раздел «Специальная симметрическая норма».

Результаты

Теорема 1. Униэкстремальными являются все гиперплоскости вида:

k

(1) ^ x = c, xi = ai, i = k +1, k + 2,..., n,

i=1

где k-произвольное число, 1 < k < n.

Теорема 2. Никакие другие гиперплоскости пространства Rn, кроме обозначенных в теореме 1, не являются униэкстремальными.

Теорема 3. Любая униэкстремальная гиперплоскость размерности (n-1) в пространстве Rn имеет вид:

n

(2) ^ xi = const,

i=1

и каждая гиперплоскость n-мерного пространства, имеющая вид (2), униэкстремальна.

Теорема 4. Любая униэкстремальная гиперплоскость размерности (n-1) пространства Rn со специальной симметрической нормой имеет вид:

n

(3) ^ aixi = const, где

i=1

(^{-1,0,1}, i=1,2,...,n).

Справедливо обратное утверждение.

Вспомогательные утверждения

Утверждение 1.

На любой гиперплоскости вида:

k

(1) ^xi = c, xi =ai,i = k +1,k + 2,...,n

i =1

минимум расстояния до начала координат во всех симметрических нормах достигается в

точке Е(с/к,...с/к,ак+1,...,ап) независимо от значений с, к, .

Схема доказательства: предположим, что найдутся такие точка Б и норма К, для которых верно К(Б)<К(Е); переставляя по циклу координаты точки Б, получим К точек; возьмем точку с координатами, равными среднему арифметическому соответствующих координат К точек; в этой точке норма будет не больше, тем самым получим противоречие.

Доказательство

1. Предположим противное. Тогда найдутся такие точка Б и норма К, что К(Б)<К(Е). Пусть

Р=(х1*,х2*,...хк*,ак+1,...,0п). Обозначим Б^Б; Б2=( Х2*, хз*,...хк*, Х1*,ак+1,...,Оп); Бз=( хз*, Х4*,. хк*, х1*, х2*,ак+1,.,ак); Бп=(хк*, х1*, х2 ,.хк-1 ,ак+Ь.-- ,ак).

2. Из симметричности нормы имеем: К(Б1)=

N^2)=.. =ад).

3. Из свойства 3 нормы (неравенство тре-

пп

угольника) имеем: N (Е ¥{ ) < Е N(Fi ) .

г=1 г=1

4. Тогда к*К(Е)=К

(Е) < ЕN(^ )=к*К(Б), К(Е) <К(Б)

г =1 г =1

и получаем противоречие.

Замечание 4. Утверждение 1 остаётся справедливым, если в уравнение гиперплоскости входят не первые К координат, а любой другой набор из К координат, что вытекает из симметричности рассматриваемых норм.

Утверждение 2. Пусть в точке О некоторой гиперплоскости достигается минимум расстояний от точек данной гиперплоскости до начала координат в симметрической норме N. Если взять любой луч из точки О с направляющим вектором и , лежащий на этой гиперплоскости, то функция / (V) = N (О +1 * и ) нестрого монотонно возрастает при 1>0.

Доказательство вытекает из неравенства треугольника и однородности нормы.

Следствие 1. Для любого многогранника вида Б гиперплоскости вида (1) независимо от значений с, к, а минимум любой симметрической нормы достигается в точке Ок, если она принадлежит данному многограннику, или в какой-то точке на границе этого многогранника.

Замечание 5. Перед тем, как доказывать теорему об униэкстремальных гиперплоскостях, заметим, что для пустого многогранника в исследуемых гиперплоскостях свойство уни-экстремальности выполнено.

Униэкстремальные гиперплоскости

Доказательство теоремы 1 проведём индукцией по размерности гиперплоскости (1).

База индукции

1. Заметим, что при К=1 мы получим пустой многогранник или многогранник, состоящий из одной точки, для которого утверждение тривиально.

2. В случае К=2 получается отрезок, для которого утверждение теоремы следует либо из утверждения 1, если точка О2 лежит внутри отрезка, либо из утверждения 2, когда минимум будет достигаться в одном из концов отрезка.

3. Рассмотрим отдельно ещё и случай К=3, поскольку именно на нём будет базироваться индукционный переход нашей теоремы.

4. В случае К=3 многогранник представляет собой многоугольник на плоскости.

I Х2 I Х3 — С,

5. а,. < х,. <Д,i — 1,2,3 xi — а,,, — 4,5,..., п

Нетрудно установить вид этого многоугольника, но в доказательстве мы будем использовать лишь его выпуклость. Это существенно, поскольку в индукционном переходе может получиться выпуклый многоугольник другого вида.

6. Если точка О3 лежит внутри него, то утверждение теоремы следует из утверждения 1. Рассмотрим случай, когда точка О3 лежит вне многоугольника. Заметим, что точки Е, в которой достигается минимум евклидовой нормы, и Б, в которой достигается минимум некоторой

симметрической нормы К, не могут лежать внутри многоугольника по Утв 2.

7. Следовательно, точки Е и Б лежат на границе многоугольника. Поскольку случай К=2 уже разобран, мы знаем, что на каждой из сторон минимумы всех симметрических норм достигаются в одной и той же точке. Следовательно, если Е и Б лежат на одном ребре многоугольника, то все доказано.

8. Предположим, что точки Е и Б лежат на разных сторонах многоугольника и К(Б)<К(Е). Тогда возможны два варианта: когда Е внутри стороны и когда Е в вершине. Для наглядности в обоих вариантах приведем соответствующие чертежи.

Первый случай - Е внутри стороны: точка С получается как пересечение стороны А2А3 и прямой О3Б. При этом точка С лежит между О3 и Б, т.к. прямая О3Е перпендикулярна стороне многоугольника, точка О3 лежит вне его, а многоугольник выпуклый. По утверждению 1, минимум нормы N на стороне А2А3 достигается в точке Е. По утверждению 2, норма N растёт при движении от точки Е до точки С и от точки С до точки Б. Следовательно, К(Б)>К(Е), получаем противоречие с пунктом 7.

9. Второй случай -Ев вершине многоугольника, ближайшей к точке О3. Прямая О3Б пересекает одну из сторон с вершиной Е или её продолжение в точке С. Снова точка С лежит между О3 и Б, т.к. многоугольник выпуклый, а точка О3 вне его. Аналогично, К(Р)>К(С)>К(Е) и получаем противоречие с пунктом 7.

Переход индукции

Пусть доказано, что на любых (к-1)-мерных гранях минимумы во всех симметричных нормах достигаются в одной и той же точке. Рассмотрим теперь грань размерности К, задаваемую уравнениями к+1

Е X = ^

г=1

(4) < хг < Pi,г = 1,2,...,к +1. Если точка хг = аг, г = к + 2, к + 3,..., п Ок+1 лежит внутри многогранника гиперплоскости (4), то утверждение теоремы следует из утверждения 1. Предположим, что точка Ок+1 лежит вне многогранника, минимум евклидовой нормы находится в точке Е, минимум некоторой симметрической нормы находится в точке Б, причём точки Е и Б лежат на разных (к-1)-мерных гранях. Построим плоскость, содержащую точки Ок+1,Е и Б.

В сечении многогранника (4) этой плоскостью получится многоугольник, рёбра которого идут по граням. Действительно, из соображений размерности, пересечение плоскости и (к-1)-мерной грани в К-мерной гиперплоскости будет иметь размерность 1, поскольку плоскость не может совпасть ни с одной из граней, т.к. точка лежит Ок+1 вне многогранника.

Далее можно повторить построение и рассуждение из двумерного случая и получить противоречие. Теорема 1 доказана.

Доказательство теоремы 2.

1. Известна [4] следующая теорема: Любая гиперплоскость n-мерного пространства, обладающая свойством U,

n

имеет вид: (4) Е xi = const,

i=1

либо вид (5)

n

Е\aixi = const (aie{-1,0,1}, i=1,2,...,n и

i=1

Е a =o,

i=1

т.е. количество коэффициентов, равных единице, равно количеству коэффициентов, равных минус единице. И каждая гиперплоскость n-мерного пространства, имеющая вид (4) либо (5), обладает свойством U.

2. Учитывая пункт 1 данного доказательства и замечание 3, для доказательства теоремы 2 необходимо только установить, что гиперплоскости вида (5) не являются униэкстремаль-ными. Для этого построим контрпримеры. Поскольку рассматриваемые нормы симметричны, для удобства можно рассматривать гипер-

k 2k

плоскости вида (6) Е xi - Е xi = c,

i=1 i=k+1

а не вида (5).

3. При с=0 рассмотрим многогранник {-10 < xi < 10,i = 1,2,...,2k -1

1 < x2k < 2 .

4. Поскольку рассматриваемая гиперплоскость содержит начало координат, то минимумы всех норм достигаются именно в нуле-

вой точке. Далее, воспользуемся утверждением 2 и следствием 1. В рассматриваемом случае любой луч из начала координат, который пересекает наш многогранник, сначала пересечётся с его гранью х2к =1, поскольку на таких

лучах х2к монотонно возрастает от 0. Значит, точка минимума для любой симметрической нормы лежит на грани х2к =1 нашего многогранника. Но на гиперплоскости

к 2к-1

2 х, " 2 х, = 1, х2к = 1 (грани х2к =1 исход-

,—1 к+1

ной гиперплоскости) точка минимума для евк-

нормы

лидовои 1

1

1

1

2к - Г"''2k -1' 2k - Г'"' 2k -1

,1,0.....0 I,

которая принадлежит нашему многограннику, не является точкой минимума для симметрической нормы К*, как было доказано автором в работе [5].

5. В случае с>0 (случай с<0 полностью аналогичен) минимум всех симметрических норм достигается в точке

c c , ...,

c

2k 2k 2k

2k

,0,...,0 I.

Далее,

рассмотрим

многогранник

- с < < с,I — 1,2,...,2к -1 0 < х2к < 1 .

Рассуждая аналогично предыдущему случаю, получим, что точка минимума для любой симметрической нормы расположена на грани

х2к =°.

Данная грань снова содержит точку минимума

cc 1 • •

,0,...,0

^ 2к -1 2к -1 2к -1 2к -1

евклидовой нормы для гиперплоскости

к 2к-1

2 х, -2 х, — с, х2к — 0, которая не является

,—1 ,—к+1

точкой минимума для нормы К*, как было доказано автором в работе [5].

Доказательство теоремы 3.

1. Докажем первую часть теоремы, где утверждается, что любая униэкстремальная гиперплоскость размерности (п-1) в пространстве Яп имеет вид (2). Воспользуемся теоремой 2 и учтем, что размерность гиперплоскости на

единицу меньше размерности пространства, следовательно, на координаты может быть только одно ограничение, поэтому гиперплоскость имеет вид (2), что и требовалось доказать.

2. Докажем вторую часть теоремы, где утверждается, что каждая гиперплоскость n-мерного пространства, имеющая вид (2), уни-экстремальна. Для этого достаточно воспользоваться теоремоИ 1, положив k=n.

Специальная симметрическая норма

Специальной симметрической нормоИ Ns назовем норму, обладающую свойством:

||(|X1|,|X2|,...|Xn|)||=||( Х51, X^,... Х^ )|| для любой

перестановки

Ограничение не сильно сужает класс исследуемых задач. Например, все нормы Lp являются специальными симметрическими нормами.

Будем говорить, что свойство Us выполнено для гиперплоскости (или многогранника вида D), если точка этой гиперплоскости (или многогранника вида D), в которой достигается минимум евклидовой нормы, является точкой минимума любой другой специальной симметрической нормы.

Гиперплоскость пространства Rn будем называть униэкстремальной в смысле специальной симметрической нормы, если на любом многограннике вида D этой гиперплоскости выполнено свойство Us.

Замечание 6.

Поскольку класс специальных симметрических норм уже класса симметрических норм, то свойство U сильнее свойства Us и свойство униэкстремальности в обычном смысле сильнее свойства униэкстремальности в смысле специальной симметрической нормы. Заметим также, что свойство униэкстремальности в смысле специальной симметрической нормы сильнее свойства Us (аналогично замечанию 3).

Утверждение 3.

Пусть O = (Xj,x2,...,x„-!,t), f(t) = N(O),

xi, x2,...xn_i - фиксированы, Ns - специальная симметрическая норма. Тогда минимум функции f(t) достигается при t, равном 0, и функция ^^нестрого монотонно возрастает при t > 0.

Доказательство первой части утверждения можно получить методом от противного, используя: Ns(x,0)< ^*(Ns(x,t)+Ns(x,-t))= Ns(x,t).

c

c

c

Доказательство второй части данного утверждения аналогично доказательству утверждения 2. r

Следствие 1. Пусть O = (x1, x2,..., xn-1, xn ) ,

f (t) = N (O), x1, х2,...хп-1 - фиксированы, N -специальная симметрическая норма, an < xn < bn. Тогда минимум функции f(t) достигается при t, равном минимальному по модулю числу из отрезка [an,bn]

Доказательство теоремы 4.

1. Известна [4] следующая теорема: любая гиперплоскость, обладающая свойством Us,

n

имеет вид (3) Е aixi = const, где

i=1

(aie{-1,0,1}, i=1,2,...,n).

2. В силу предыдущего пункта и замечания 6, униэкстремальные гиперплоскости в смысле специальной симметрической нормы следует искать среди плоскостей вида (3).

3. Докажем, что гиперплоскости вида (6)

n

Еaixi = const, где (aie{0,1}, i=1,2,...,n),

i=1

Библиографический список

1. Рублев, В.С. О некоторой характерной точке одного класса многогранников в симметрических пространствах [Текст]: в 407 т.; В.С. Рублев, Н.Б. Чаплыгина // ДАН - 2006. - № 2 - С. 176-178.

2. Коршунова, Н.М. Задача целочисленного сбалансирования матрицы [Текст] / Н.М. Коршунова, В. С. Рублев // Современные проблемы математики и информатики / Ярославский гос. ун-т- Вып. 3 - Ярославль, 2000. - С. 145-150.

3. Рублев, В.С. Выбор критерия оптимизации в задаче о равномерном назначении [Текст] в 17 т.; В.С. Рублев, Н.Б. Чаплыгина // Дискретная математика - Вып. 4 - 2005 - С. 150-157.

4. Рублев, В.С. Об одном свойстве гиперплоскостей конечномерных пространств [Текст] / В.С. Рублев, Н.П. Федотова // Современные проблемы теории функций и их приложения : сб. науч. тр. / Саратов. гос. ун-т. - Саратов, 2010. - С.150-151.

5. Федотова, Н.П. Об одном классе гиперплоскостей конечномерных симметрических пространств [Текст] / Н. П. Федотова // Молодежь, наука, инновации 2009 : сб. науч. тр. / Ярославский гос. техн. ун-т. -Ярославль, 2009. - С.206.

являются униэкстремальными в смысле специальной симметрической нормы. Напомним, что многогранник имеет вид а! < < Ь ( ! = 1,2,...,п ), а в уравнении гиперплоскости (6) некоторые коэффициенты равны нулю, следовательно, мы имеем ограничения на свободные переменные и выполнены условия утверждения 3. Тогда свободные переменные будут равны соответствующей константе, и наше уравнение гиперплоскости примет вид (1). Гиперплоскость вида (1) униэкстремальна в общем смысле, а значит и в смысле специальных симметрических норм, что и требовалось доказать.

4. Для завершения доказательства теоремы 4 осталось заметить, что уравнение вида (3) можно преобразовать к уравнению вида (6) заменой соответствующих координат на -х;. Такая замена допустима, поскольку №(хь Х2,., X;, .Хп)= №(хь Х2,., -х;, .Хп) по определению.