CC BY
45
МАТЕМАТИКА
УДК 517.982.256
ВЫПУКЛОСТЬ ОГРАНИЧЕННЫХ ЧЕБЫШЁВСКИХ МНОЖЕСТВ В КОНЕЧНОМЕРНЫХ ПРОСТРАНСТВАХ С НЕСИММЕТРИЧНОЙ НОРМОЙ
А. Р. Алимов
Кандидат физико-математических наук, научный сотрудник лаборатории вычислительных методов механико-математического факультета, Московский государственный университет им. М. В. Ломоносова, alexey.alimov@gmail.com
Известная характеризация Царькова конечномерных банаховых пространств, в которых всякое ограниченное чебышёвское множество (ограниченное Р-ацикличное множество) выпукло, обобщается на несимметричный случай.
Ключевые слова: ограниченное чебышёвское множество, выпуклость, несимметричная норма.
Множество М из пространства X с фиксированной функцией расстояния р : X х X ^ К+ называется чебышёвским множеством,
если для каждой точки х е X множество Рмх := т£ р(х,у) ее бли-
усм
жайших точек из М состоит из одной точки. Исторически первыми интересными примерами чебышёвских множеств служили подпространства многочленов, тригонометрических полиномов и множество дробно-рациональных функций в С[0,1]. Единственность наилучшего приближения такими множествами была отмечена в XIX веке П. Л. Чебышёвым. Множества со свойством существования и единственности элемента наилучшего приближения были названы Ефимовым и Стечкиным [1] чебышёвскими в честь Чебышёва. В данной работе рассматривается вопрос выпуклости ограниченных чебы-шёвских множеств в конечномерных несимметрично нормированных пространствах.
Далее всегда предполагается, что М = 0, X — конечномерное линейное действительное пространство, в качестве функции расстояния р в котором служит норма или несимметричная норма, определяемая ниже.
В этой работе мы изучаем взаимосвязь между выпуклостью чебышёвских множеств в X и геометрическими свойствами пространства X. На конечномерные пространства с несимметричной нормой обобщается следующая характеризация Царькова [2], которую мы кратко сформулируем следующим образом: в конечномерном линейном нормированном пространстве X всякое ограниченное чебышёвское множество выпукло тогда и только тогда, когда множество экстремальных точек единичной сферы Б * сопряженного пространства плотно в ней.
Напомним [3], что несимметричной нормой || • || на действительном линейном пространстве X называется функционал Минковского некоторого фиксированного выпуклого ограниченно поглощающего
множества В (единичного шара), содержащего начало координат в своем ядре. Именно для х,у £ X, х = 0 определяется
Несимметричные нормы возникли впервые у Г. Минковского («функционал Минковского»), в бесконечномерный анализ они были привнесены М. Г. Крейном. Термин несимметричная норма был предложен Крейном [4, с. 197] в 1938 г.
Несимметричная норма удовлетворяет всем аксиомам нормы, исключая аксиому симметрии; в общем случае ||х — у|| = ||у — х||. Неравенство треугольника выполнено в следующем виде:
для любых x, y, z £ X.
В последние годы активно развивается тематика, связанная несимметричными нормами и односторонними приближениями (С. Кобзаш (S. Cobza§) [3], Х.-П.А. Кюнци (H.-P. A. Kiinzi), С. Ромагуера (S. Romaguera), К. Алегре (C. Alegre), Э.А. Санчес Перез (E.A. Sánchez Pérez), П. А. Бородин [5] и др.). Наиболее полно обзор результатов, относящихся к общим вопросам функционального анализа в несимметрично нормированных пространствах приведен в недавно вышедшей книге C. Кобзаша [3].
Основным результатом настоящей работы является обобщение характеризации Царькова на несимметричный случай. Попутно мы подчеркиваем роль инструментария геометрической топологии, в очередной раз продемонстрировавшего свою применимость в решении задач геометрической теории приближений.
Проблема выпуклости чебышёвских множеств в конкретных и абстрактных банаховых пространствах рассматривалась многими авторами (см., например, В. И. Бердышев [6], А. Брондстед (A. Br0ndsted) [7], А. Л. Браун (A. L. Brown) [8,9], Л. П. Власов [10], В. С. Балаганский и Л. П. Власов [11], И. Г. Царьков [2,12], А. Р. Алимов [13,14]). Коротко напомним результаты, относящиеся к конечномерному случаю.
Точка s единичной сферы S несимметрично нормированного пространства X называется точкой гладкости (гладкой точкой), если в ней опорная гиперплоскость к S единственна; точка s — достижимая точка сферы S (или единичного шара B), если существует опорная к B гиперплоскость, пересекающая B в точности по точке s. Множество экстремальных (крайних), достижимых (выставленных) и гладких точек единичной сферы S будет обозначаться соответственно посредством ext S, exp S и sm S. Пространство X называется гладким, если sm S = S.
Изучение геометрии чебышёвских множеств в линейных нормированных пространствах было начато Л. Бунтом (L. N. H. Bunt) [15], который доказал, что в строго выпуклых конечномерных пространствах с модулем гладкости второго порядка (в частности, в евклидовых) любое чебышёвское множество выпукло, причем в двумерном случае он показал, что от условия строгой выпуклости можно избавиться. T. C. Моцкин и X. Манн (см. [10, 11, 13, 16]) показали, что в двумерном случае гладкость пространства — необходимое и достаточное условие для выпуклости любого чебышёвского множества в этом пространстве.
Следующее серьёзное продвижение в исследовании чебышёвских множеств связано с работами В. Кли (V. L. Klee), Н. В. Ефимова и С. Б. Стечкина. В своих ранних работах Кли [17, 18] обобщил теоремы Бунта и Моцкина, показав, что каждое чебышёвское множество является выпуклым в любом конечномерном гладком пространстве. Ефимов и Стечкин (см. [10, 13, 16]) доказали, что в конечномерном банаховом пространстве X класс всех чебышёвских множеств совпадает с классом всех выпуклых замкнутых множеств тогда и только тогда, когда X строго выпукло и гладко.
A. Брондстед [7] охарактеризовал трехмерные несимметрично нормированные пространства, в которых всякое чебышёвское множество выпукло (и отметил, что результат Моцкина - Манна верен также и для двумерных несимметрично нормированных пространств). Независимо в то же самое время B. И. Бердышев [6] получил ту же характеризацию, но лишь для нормированного случая. В [9] Браун получил характеризацию четырехмерных линейных нормированных пространств, в которых всякое чебышёвское множество выпукло, позднее автор данной статьи [14] перенес характеризацию Брауна на несимметричный случай.
Сформулируем результаты Бердышева - Брондстеда - Брауна - Алимова в виде следующей теоремы (см. [6, 7, 9, 13, 14]).
x|| := sup{a ^ 0 | x / ^B},
011 = 0.
x — y|| ^ ||x — z|| + ||z — y
Теорема. Пусть X — несимметрично нормированное пространство размерности 3 или 4. Каждое чебышёвское множество в X выпукло, если и только если каждая достижимая точка единичного шара пространства X является точкой гладкости.
В дополнение к упомянутой характеризации Бердышев для n = 3 и Брондстед для всех натуральных n ^ 3 построили примеры негладких пространств, в которых всякое чебышёвское множество выпукло.
Вопрос о характеризации n-мерных пространств, в которых всякое чебышёвское множество выпукло, открыт для n ^ 5 (подробнее см. [9, 11, 13]).
Удивительно, но решение задачи о выпуклости чебышёвских множеств принципиально отличается в зависимости от того, рассматриваются ли ограниченные или неограниченные множества.
Ниже мы рассматриваем вопрос о характеризации пространств (в том числе несимметрично нормированных), в которых всякое ограниченное чебышёвское множество выпукло.
В 1958 г. Н. В. Ефимов и С. Б. Стечкин [1] сформулировали следующую задачу: охарактеризовать конечномерные линейные нормированные пространства, в которых всякое ограниченное чебышёвское множество выпукло. Полный ответ на этот вопрос был получен Царьковым в [2] (см. также и работу Брауна [8], в которой подробно разбирается доказательство Царькова и исследуются возникающие при этом сопутствующие задачи).
Рассматриваемая в работе задача для несимметрично нормированных пространств была поставлена в 1990-х гг. С. Б. Стечкиным, который был активным сторонником рассмотрения задач геометрической теории приближений в несимметричном случае.
Для того чтобы сформулировать результат Царькова о выпуклости ограниченных чебышёвских множеств, нам потребуется несколько определений и фактов.
Далее X — конечномерное несимметрично нормированное пространство, || ■ || — несимметричная норма на X. Для x е X и r > 0 положим:
S(x, r) := {y е X | ||x — y|| = r} — сфера,
B(x, r) := {y е X | ||x — y|| ^ r} — замкнутый шар,
B(x, r) := {y е X | ||x — y|| < r} — открытый шар соответственно с центром x и радиусом r. Единичный шар B(0,1) обозначается посредством B, S — единичная сфера. Сопряженное пространство к X обозначается X*; при этом естественная несимметричная норма на X* для f, g е X* определяется как d(0, f) := maxxeB f (x), d(f, g) := d(0, g — f). Для конечномерного (или метризуемого) X сопряженное является линейным пространством, в бесконечномерном неметризуемом случае в качестве сопряженного естественно возникают конусы. Единичная сфера пространства X* относительно введенной несимметричной нормы d обозначается посредством S*, а единичный шар — B*. Естественная топология на X порождается базой {B(x,r)}; если dimX = n < го, то эта топология совпадает с обычной евклидовой топологией на Rn.
Напомним еще несколько определений.
Для x е S посредством V(x) обозначим объединение 0 и всех прямых линий I таких, что
I П cl{A(B — x) | Л ^ 0} = {0}.
Буква «V» означает первую букву латинского «visibilitas» («видимость») — таким образом, множество x + V(x) состоит из всех точек вне единичного шара B, из которых можно «напрямую» (в строгом смысле) увидеть точку x на поверхности S шара B (см. [8]).
Подмножество R С S называется хребтом (ridge) [8] сферы S, если оно связно и найдутся подпространство L С X, dim L ^ 0, и открытое в R подмножество W С R такие, что
1) L \ {0} С int П V(x);
xeR
2) W гомеоморфно R(dimX-1-dimL).
Хребет R называется простым хребтом, если существует открытое подмножество U из S* такое, что R = U{f-1(1) П S | f е U}.
Примеры и свойства хребтов [8]:
1. Связное открытое в S подмножество R С S является хребтом размерности (dim X — 1) (здесь L = {0}). Такой хребет называется купольным.
2. Хребет размерности 0 — это точка, называемая «пиком».
3. Пусть X — пространство (R3, || ■ ). Вершины единичного куба являются простыми пиками; интервал, содержащийся в ребре куба, — это хребет, но не простой хребет; ребро куба — простой хребет.
Следующий результат был доказан в [8] без упоминания пространств с несимметричной сферой. Тем не менее его можно перенести безо всякого изменения на случай несимметрично нормированных пространств.
Предложение A. Пусть R — хребет на сфере S, а L — подпространство, фигурирующее в определении хребта F. Далее, пусть п : X ^ X/L — каноническое фактор-отображение. Тогда внутренность n(R) в S(X/L) непуста, а топологическая размерность R равна dim X — 1 — dim L.
Из предложения A следует, что выражение «хребет размерности к» корректно.
Следуя [8], определим
Если и С Б*, то Ф(и) обозначает множество и{Ф(/) | / е и}. Таким образом, Ф*(х) — достижимая грань сферы Б*, определяемая посредством х е Б, и Ф(/) — достижимая грань сферы Б, определяемая посредством / е Б * .В наших терминах точка х е Б есть точка гладкости, тогда и только тогда, когда Ф*(х) состоит из одной точки.
Коническое множество [2] определяется следующим образом: подмножество С сферы Б называется коническим множеством, если найдутся одномерное подпространство Ь пространства X и открытое подмножество и0 сферы Б * такие, что
Из этого определения немедленно следует, что
простой хребет размерности, меньшей чем dimX — 1, является (2)
коническим множеством.
Один из основных результатов работы Царькова [2] состоит в том, что если сфера S линейного нормированного пространства X содержит коническое множество, то в X имеется невыпуклое ограниченное чебышёвское множество. Аналогичный результат верен и в несимметричном случае.
Теория гомологий (когомологий) связывает с каждым топологическим пространством X последовательности абелевых групп Hk(X), к = 0,1, 2,... (группы гомологий) и Hk(X), к = 0,1, 2,... (группы когомологий), которые являются гомотопическими инвариантами пространства: если два пространства гомотопически эквивалентны, то и соответствующие группы гомологий изоморфны.
Пусть A — произвольная нетривиальная абелева группа. Пространство (все пространства предполагаются метризуемыми) называется ацикличным, если его группа чеховских когомологий с коэффициентами из A тривиальна (не имеет циклов, за исключением границы). Таким образом, определение ацикличности зависит от выбранной группы коэффициентов. В случае если гомология (когомоло-гия) имеет компактный носитель и коэффициенты группы гомологий (когомологий) лежат в поле, то понятия гомологической и когомологической ацикличности совпадают.
Далее, если не оговорено противное, ацикличность будет пониматься относительно чеховских когомологий с коэффициентами в произвольной абелевой группе.
Множество M называется P-ацикличным, если для всякого x е X множество PMx ближайших точек из M к x непусто и ациклично. Множество B-ациклично, если его пересечение с любым шаром ациклично.
Для наших целей важно отметить [8,9], что если M — P-ацикличное аппроксимативно компактное подмножество банахова пространства и если пересечение M с некоторым шаром B компактно, то M П B ациклично; в частности, в банаховом пространстве для ограниченно компактных множеств класс P-ацикличных множеств совпадает с классом B-ацикличных множеств [8, лемма 5.3].
Понятно, что всякое чебышёвское множество P-ациклично. Также отметим, что ограниченно компактное P-ацикличное подмножество банахова пространства всегда является солнцем (см. [10, теорема 4.4]).
В следующей основной теореме характеризация Царькова распространяется на конечномерные пространства с несимметричной нормой.
Ф*(х) = {/ е S* | f (x) = 1}, x е X,
Ф(/) = {x е S | f (x) = 1}, / е S*.
(1)
1) L \ {0} С int{nv(x) | x е C};
2) Ф(ио) С C.
Теорема 1. Пусть X — конечномерное несимметрично нормированное пространство. Тогда следующие условия эквиваленты:
а) всякое ограниченное чебышёвское множество в X выпукло;
б) всякое ограниченное P-ацикличное множество в X выпукло;
в) всякое ограниченное B-ацикличное множество в X выпукло;
г) eXp S* = S*;
д) iXt S * = S *;
е) сфера S не содержит конических подмножеств;
ж) сфера S не содержит простых хребтов размерности < dim X — 1.
В симметричном случае эквивалентность е) другим условиям в теореме 1, а также равносильность б)^в) была установлена Брауном [8].
Мы докажем б) ^ в) ^ а) ^ ж) ^ е) ^ д) ^ г) ^ б).
г) ^ д) гарантируется классической теоремой Страшевича, согласно которой множество достижимых точек конечномерного выпуклого компакта образует плотное подмножество во множестве его крайних точек.
Импликация ж) ^ е) следует из (2): простой хребет размерности < dimX — 1 является коническим множеством.
а) ^ ж) вытекает из следующего результата Царькова [2, лемма 5].
Лемма A. Пусть X — конечномерное нормированное пространство. Предположим, что на единичной сфере S найдется коническое множество. Тогда существует невыпуклое ограниченное чебышёвское множество в X.
На случай несимметрично нормированных пространств доказательство леммы A переносится без изменений.
Импликация г) ^ б) основывается на следующих утверждениях, из которых лемма B (см. [2,8]) достаточно интуитивно ясна: полукруг не выпуклый, следовательно, существует гиперплоскость, «отсекающая кусочки» от концов полукруга; полусфера также не выпукла, и поэтому возможно отсечь от нее гиперплоскостью обод. Как и выше, симметричность в лемме B не по существу.
Лемма B. Пусть X — конечномерное несимметрично нормированное пространство и M с X. Если M — ограничено, замкнуто, невыпукло и X \ M связно, то тогда существует открытое полупространство H и множество £ С H П M такие, что
1) £ является относительной границей некоторого выпуклого множества и, следовательно, £ гомеоморфно сфере;
2) £ является ретрактом H П M.
Напомним, что по определению подмножество A с C называется ретрактом множества C, если существует непрерывное отображение r : C ^ A, называемое ретракцией, такое, что r|A = 1|A, т.е. тождественное отображение 1A допускает непрерывное продолжение на все пространство C. Следующий результат хорошо известен. Пусть M — чебышёвское множество с непрерывной метрической проекцией, а B — замкнутый шар, BПM = 0. Тогда MПB — ретракт шара B (т. е. M — B-ретракт). Давно известно, что конечномерная сфера не является ретрактом замкнутого шара, границей которого она служит (в бесконечномерном случае это уже не так). Аналогом теоремы об отсутствии ретракций для 2-значных ретракций служит лемма 2, которая нам понадобится при перенесении утверждения о чебышёвских множествах на случай P- и B-ацикличных множеств.
Через exp2 A обозначается пространство всех, не более чем двухточечных подмножеств A с топологией Вьеториса. Пусть A С C. Непрерывное (т. е. полунепрерывное сверху и снизу) отображение r : C ^ exp2(A) называется 2-значной (exp2-значной) ретракцией C на A, если r|A = id.
Следующие два результата были сообщены автору Е. В. Щепиным и А. Н. Дранишниковым.
Лемма 1. Пусть X — конечномерное несимметрично нормированное пространство и пусть M с X — B-ацикличный компакт. Тогда существует 2-значная ретракция B(x, r) на B(x, r) ПM.
Напомним, что компакт Y называется клеточноподобным (имеющим шейп точки), если существует ANR Z и вложение i : Y ^ Z такое, что образ i(Y) стягиваем в любой своей окрестности U С Z. Согласно известной характеризации Д. Химана (D. Hyman) компакт клеточноподобен если и только если он гомеоморфен пересечению счетной убывающей последовательности абсолютных ретрактов (или стягиваемых компактов), т.е. является R$-множеством в смысле Ароншайна.
Для доказательства леммы 1 сначала заметим, что что симметрический квадрат (в смысле Бор-сука и Улама) ацикличного компакта клеточноподобен) [19]. Далее, согласно классической теореме А. Дольда (A. Dold) [20, Theorem 5.11], для полиэдров целочисленные гомологии пространства exp2 Y полностью определяется гомологиями пространства Y, т.е. если Hi (Y) = H^Y') при всех i ^ n, то тогда Hi(exp2 Y) = Hi(exp2 Y'), i ^ n. Окончательно, отсюда следует, что при вложении в симметрический квадрат ацикличного компакта стягиваемость диагонали эквивалентна существованию exp2-значной ретракции, иными словами, отображение диагонали продолжается до отображения диска.
Лемма 2. Не существует 2-значной ретракции конечномерного n-шара на сферу.
Лемма 2 есть следствие теоремы Дольда-Тома (A. Dold, R. Thom) (см. [19, § 3.E; 21]), согласно которой бесконечное симметрическое произведение SP ^(Sn) n-сферы является комплексом Эйленберга-Маклейна K(Z,n) (т.е. CW-комплексом K, у которого гомотопические группы ni(K) тривиальны при i = n и nn(K) = G), а вложение Sn ^ SP^ гомотопически нетривиально. Комплекс K(Z, n) можно понимать как CW-комплекс, получающийся из n-мерной сферы Sn добавлением клеток размерности ^ n + 2. Как следствие, вложение Sn С SP2(Sn) в симметрический квадрат гомотопически нетривиально. Поэтому его нельзя продолжить на шар Bn+1, что показывает отсутствие 2-значной (непрерывной) ретракции. С другой стороны, отметим, что 3-значная ретракция шара на границу всегда существует (Дранишников [22]).
Теперь импликация г)^б) может быть завершена при помощи следующих рассуждений. Предположим, что expS* = S*, и существует невыпуклое ограниченное P-ацикличное множество M. Пусть H и £ выбраны как в лемме B (лемма применима, так как дополнение ко множеству M связно: действительно, будучи P-ацикличным M является солнцем по известной теореме Власова [10, теорема 4.4], а дополнение к ограниченному солнцу всегда связно [23]). Полупространство H определяется посредством некоторого функционала / е S*. Слегка изменяя H, мы не меняем ситуации, так что мы можем предположить, что / е exp S*. Тогда если гиперплоскость bd H является опорной к некоторому шару, то касание происходит по гладкой точке. Соответственно можно выбрать замкнутый шар BR достаточно большого радиуса, таким образом, что £ С (BR ПM) С (HПM). По лемме 1 множество £ является ретрактом B П M, а множество B П M — 2-ретрактом B, но это невозможно, так как по лемме 2 сфера не может быть 2-ретрактом шара. Это противоречие доказывает импликацию г) ^ б).
Доказательство импликации е) ^ д) не меняется при переходе с симметричного случая на несимметричный.
Для доказательства б) ^ в) воспользуемся следующим утверждением, доказанным Брауном [8] для случая общих линейных нормированных пространств.
Лемма 3. Пусть M — замкнутое подмножество конечномерного несимметрично нормированного пространства X. Если B = B(z, R) — замкнутый шар и B П M = 0, то существует полунепрерывная сверху многозначная ретракция Ф : B ^ B П M такая, что для каждого z е B множество Ф^) совпадает с PM(z') для некоторого z' е B.
Доказательство. Мы используем схему рассуждений Брауна. Пусть B = B(z0,R). Для z е B положим k(z) = sup{к е [0,1] | р((1 — k)z + kzo,M) = kR}. Ясно, что p(zo,M) ^ R и p(z,M) ^ 0. Отсюда вследствие непрерывности функции расстояния точка k(z) определена корректно, при этом р((1 — k(z)z) + k(z)z0, M) = k(z)R. Определим Ф следующим образом:
Ф^) = Pm ((1 — k(z ))z + k(z)zo).
Понятно, что имеет место следующее включение шаров:
B((1 — k)z + kz0, kR) С B((1 — k')z + k'z0, k'R), 0 ^ k ^ k' ^ 1
(при этом мы воспользовались тем, что B(x,r) С B(x', r'), если и только если ||x — x'|| ^ r' — r, что верно в произвольных несимметрично нормированных пространствах).
Имеем: Ф^) = B((1 — k(z))z + k(z)z0, k(z)R) П M, откуда Ф(z) С B П M. Далее, если k е [0,1] и p((1 — k)z + kz0,M = kR, то k ^ k(z) и Pm((1 — k)z + kz^ С Ф(z).
Если z е B(z0, R) П M, то k(z) =0 и Ф(z) = {z}, а если z е S(z0, R), то z е S((1 — k)z + kz0, kR) при всех k е [0,1], и может случиться, что z е Ф^), Ф(z) = {z}.
Далее, пусть z е B и пусть U — открытая окрестность Ф(г). Рассмотрим последовательность (xn)neN, сходящуюся к z. Мы можем выбрать подпоследовательность (zn)neN таким образом, что последовательность (k(zn))neN является сходящейся к некоторому k е [0,1]. Тогда
(1 - k)z + kzo = lim (1 - k(zn))zn + k(zn)zo
n—
и, следовательно,
p((1 - k)z + kz0,M) = lim p((1 - k(zn))zn + k(zn)z0,M) = lim k(zn)R = kR.
n—^ n—^
Отсюда PM ((1 - k)z + kz0) С Ф^) С U. Теперь из полунепрерывности сверху метрической проекции на замкнутые множества в конечномерном пространстве следует, что Ф^п) С U при всех достаточно больших n, что показывает, что Ф полунепрерывна сверху. Доказательство леммы 3 завершено. □
Следствие. В конечномерном линейном несимметрично нормированном пространстве для замкнутых множеств класс P-ацикличных множеств совпадает с классом B-ацикличных множеств.
Открытый вопрос. В заключение отметим, что в настоящий момент не решены аналогичные задачи характеризации конечномерных пространств (размерности ^ 3), в которых всякое ограниченное строгое солнце (солнце, связное а-солнце) выпукло. Есть основания полагать, что для строгих солнц (и даже солнц) ответ будет аналогичный, приведенному в теореме 1 (конечно, этот так в размерности 2). При этом для положительного решения задачи для строгих солнц не хватает лишь «малого»: показать, что в любом конечномерном пространстве (ограниченное) строгое солнце (солнце) P-ациклично. (По поводу связанной с ней давно стоящей задачи о B-связности солнц в конечномерных пространствах см., например, [24-26].) В связи со сказанным выше сформулируем гипотезу, что всякое строгое солнце в конечномерном пространстве B-стягиваемо и, значит, B-ациклично.
Автор выражает благодарность Е. В. Щепину, А. Н. Дранишникову и У. Х. Каримову за консультации.
Работа выполнена при финансовой поддержке РФФИ (проект № 13-01-00022).
Библиографический список
1. Ефимов Н. В., Стечкин С. Б. Некоторые свойства чебышёвских множеств // Докл. АН СССР. 1958. T. 118, № 1. C. 17-19.
2. Царьков И. Г. Ограниченные чебышёвские множества в конечномерных банаховых пространствах // Ма-тем. заметки. 1984. T. 36, № 1. C. 73-87.
3. Cobzass S. Functional analysis in asymmetric normed spaces. Basel : Birkhauser, 2012.
4. Ахиезер Н. И., Крейн М. Г. О некоторых вопросах теории моментов. Харьков : ОНТИ, 1938.
5. Бородин П. А. О выпуклости n-чебышёвских множеств // Изв. РАН. Сер. матем. 2011. T. 75, № 4. C. 1946. DOI: 10.4213/im4280.
6. Бердышев В. И. К вопросу о чебышёвских множествах // Докл. АН АзССР. 1966. T. 22, № 9. C. 3-5.
7. Br0ndsted A. Convex sets and Chebyshev sets II // Math. Scand. 1966. Vol. 18. P. 5-15.
8. Brown A. L. Chebyshev sets and the shapes of convex bodies // Methods of Functional Analysis in Approximation Theory : Proc. Intern. Conf., Indian Inst. Techn. Bombay, 16-20.XII.1985 / eds. C. A. Micchelli. Bombay, 1986. P. 97-121.
9. Brown A. L. Chebyshev sets and facial systems of convex sets in finite-dimensional spaces // Proc. Lond. Math. Soc. (3). 1980. Vol. 41. P. 297-339. DOI: 10.1112/ plms/s3-41.2.297.
10. Власов Л. П. Аппроксимативные свойства множеств в линейных нормированных пространствах // УМН. 1973. T. 28, № 6. C. 3-66.
11. Балаганский В. С., Власов Л. П. Проблема выпуклости чебышёвских множеств // УМН. 1996. T. 51, № 6. C. 125-188. DOI: 10.4213/rm1020.
12. Царьков И. Г. Компактные и слабо компактные че-бышёвские множества в линейных нормированных пространствах // Тр. МИАН СССР. 1989. T. 189. C. 169184.
13. Алимов А. Р. Всякое ли чебышёвское множество выпукло? // Матем. просвещение. Сер. 3. 1998. № 2. C. 155-172.
14. Алимов А. Р. О структуре дополнения к чебышёв-ским множествам // Функц. анализ и его прил. 2001. T. 35, № 3. C. 19-27. DOI: 10.4213/faa255.
15. Bunt L. N. H. Bijdrage tot de theorie der convexe puntverzamelingen. Thesis. Amsterdam : Univ. Groningen, 1934.
16. Карлов М. И., Царьков И. Г. Выпуклость и связность чебышёвских множеств и солнц // Фундам. и прикл. матем. 1997. T. 3, № 4. C. 967-978.
17. Klee V. L. A characterization of convex sets // Amer. Math. Monthly. 1949. Vol. 56. P. 247-249. DOI: 10.2307/ 2304766.
18. Klee V. L. Convex bodies and periodic homeomor-
phisms in Hilbert space // Trans. Amer. Math. Soc. 1953. Vol. 74. P. 10-43. DOI: 10.1090/S0002-9947-1953-0054850-X.
19. Madsen I. B., Milgram R. J. The classifying spaces for surgery and cobordism of manifolds. Princeton, NJ : Princeton Univ. Press, 1979.
20. Dold A. Homology of symmetric products and other functors of complexes // Ann. Math. 1958. Vol. 68, № 1. P. 64-80. DOI: 10.2307/1970043.
21. Dold A., Thom R. Quasifaserunger und unendliche symmetrische Produkte // Ann. Math. 1958. Vol. 67. P. 239-281. DOI: 10.2307/1970005.
22. Дранишников А. Н. Абсолютные F-значные ретрак-ты и пространства функций в топологии поточечной сходимости // Сиб. матем. журн. 1986. T. 27, № 3. C. 74-86.
23. Alimov A. R. A number of connected components of sun's complement // East J. Approx. 1995. Vol. 1, № 4. P. 419-429.
24. Brown A. L. Suns in normed linear spaces which are finite-dimensional // Math. Ann. 1987, Vol. 279. P. 87101. DOI: 10.1007/BF01456192.
25. Brown A. L. Suns in polyhedral spaces // Seminar of Mathem. Analysis : Proc. / eds. D. G. Alvarez, G. Lopez Acedo, R. V. Caro, Univ. Malaga and Seville (Spain), Sept. 2002 - Feb. 2003. Sevilla : Universidad de Sevilla, 2003. P. 139-146.
26. Алимов А. Р. Монотонная линейная связность и солнечность связных по Менгеру множеств в банаховых пространствах // Изв. РАН. Сер. математическая. 2014. T. 78, № 4. С. 3-18. DOI: 10.4213/im8128.
Convexity of Bounded Chebyshev Sets in Finite-dimensional Asymmetrically Normed Spaces
A. R. Alimov
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, 1, Main Building, Leninskiye Gory, GSP-1, Moscow, 119991, Russia, alexey.alimov@gmail.com
The well-known Tsar'kov's characterisation of finite-dimensional Banach spaces in which every bounded Chebyshev set (bounded P-acyclic set) is convex is extended to the asymmetrical setting.
Keywords: bounded Chebyshev set, convexity, asymmetric norm.
This work was supported by the Russian Foundation for Basic Research (project no. 13-01-00022).
References
1. Efimov N. V., Stechkin S. B. Some properties of Chebyshev sets, Dokl. Akad. Nauk SSSR, 1958, vol.118, no. 1, pp. 17-19 (in Russian).
2. Tsar'kov I. G. Bounded Chebyshev sets in finite-dimensional Banach spaces, Math. Notes, 1984, vol. 36, no. 1, pp. 530-537. DOI: 10.1007/BF01139554.
3. Cobzas S. Functional Analysis in Asymmetric Normed Spaces. Basel, Birkhauser, 2012.
4. Akhiezer N. I., Krein M. G., O nekotorykh voprosah teorii momentov [Some Problems of the Theory of Moments]. Kharkov, Gonti, 1938.
5. Borodin P. A. On the convexity of N-Chebyshev sets. Izv. Math., 2011, vol. 75, no. 5, pp. 889-914. D0I:10.1070/IM2011v075n05ABEH002557.
6. Berdyshev V. I. On a question of Chebyshev sets. Dokl. AN AzSSR 1966, vol. 22, no. 9, pp. 3-5 (in Russian).
7. Br0ndsted A. Convex sets and Chebyshev sets II. Math. Scand., 1966, vol. 18, pp. 5-15.
8. Brown A. L. Chebyshev sets and the shapes of convex bodies. Methods of Functional Analysis in Approximation Theory, Proc. Intern. Conf., Indian Inst. Techn. Bombay, 16-20.XII.1985 / eds. C. A. Micchelli. Bombay, 1986, pp. 97-121.
9. Brown A. L. Chebyshev sets and facial systems of convex sets in finite-dimensional spaces. Proc. Lond. Math. Soc. (3), 1980, vol. 41, pp. 297-339. DOI: 10.1112/plms/s3-41.2.297.
10. Vlasov L. P. Approximative properties of sets
in normed linear spaces. Russ. Math. Surv., 1973, vol. 28, no. 6, pp. 1-66. DOI:10.1070/RM1973v028n06 ABEH001624.
11. Balaganskii V. S., Vlasov L. P. The problem of convexity of Chebyshev sets. Russ. Math. Surv., 1996, vol. 51, no 6, pp. 125-188. DOI: 10.1070/RM1996 v051n06ABEH003002.
12. Tsar'kov I. G. Compact and weakly compact Chebyshev sets in linear normed spaces. Proc. Steklov Inst. Math., 1990, vol. 189, pp. 199-215.
13. Alimov A. R. Is every Chebyshev set convex? Matematicheskoe prosviashchenie, Ser. 3, 1998, no. 2, pp. 155-172. (in Russian).
14. Alimov A. R. On the structure of the complements of Chebyshev sets. Funct. Anal. Appl., 2001, vol. 35, no. 3, pp. 176-182. DOI: 10.1023/A:1012370610709.
15. Bunt L. N. H. Bijdrage tot de Theorie der Convexe Puntverzamelingen. Thesis. Amsterdam, Univ. Groningen, 1934.
16. Karlov M. I., Tsar'kov I. G., Convexity and connectedness of Chebyshev sets and suns. Fundam. Prikl. Mat., 1997, vol. 3, no. 4, pp. 967-978.
17. Klee V. L. A characterization of convex sets. Amer. Math. Monthly, 1949, vol. 56, pp. 247-249. DOI: 10.2307/ 2304766.
18. Klee V. L. Convex bodies and periodic homeomor-phisms in Hilbert space. Trans. Amer. Math. Soc.,
1953, vol. 74, pp. 10-43. DOI: 10.1090/S0002-9947-1953-0054850-X.
19. Madsen I. B., Milgram R. J. The Classifying Spaces for Surgery and Cobordism of Manifolds. Princeton, NJ, Princeton Univ. Press, 1979.
20. Dold A. Homology of symmetric products and other functors of complexes Ann. Math. (2), 1958, vol. 68, no. 1, pp. 64-80. DOI: 10.2307/1970043.
21. Dold A., Thom R. Quasifaserungen und unendliche symmetrische Produkte. Ann. Math. (2), 1958, vol. 67, no. 2, pp. 239-281. DOI: 10.2307/1970005
22. Dranishnikov A. N. Absolute F-valued retracts and spaces of functions in the topology of pointwise convergence. Siberian Math. J., 1986, vol. 27, no. 3, pp. 366-376. DOI: 10.1007/BF00969273.
23. Alimov A. R. A number of connected components of sun's complement East J. Approx., 1995, vol. 1, no. 4, pp. 419-429.
24. Brown A. L. Suns in normed linear spaces which are finite-dimensional Math. Ann., 1987, vol. 279, pp. 87-101. DOI: 10.1007/BF01456192.
25. Brown A. L. Suns in polyhedral spaces. Seminar Math. Anal., Proceedings / eds.: D. G. Alvarez, G. Lopez Acedo, R. V. Caro, Univ. Malaga and Seville (Spain), Sept. 2002 - Feb. 2003. Sevilla, Universidad de Sevilla, 2003, pp. 139-146.
26. Alimov A. R. Monotone path-connectedness and solarity of Menger-connected sets in Banach spaces. Izv. Math., 2014, vol. 78, no. 4, pp. 641-655. DOI: 10.1070/IM2014v078n04ABEH002702.
УДК 517.518
О РАСХОДИМОСТИ ПОЧТИ ВСЮДУ РЯДОВ ФУРЬЕ НЕПРЕРЫВНЫХ ФУНКЦИЙ ДВУХ ПЕРЕМЕННЫХ
Н. Ю. Антонов
Доктор физико-математических наук, заведующий отделом теории приближения функций, Институт математики и механики им. Н. Н. Красовского УрО РАН, Екатеринбург, Nikolai.Antonov@imm.uran.ru
Рассматривается один вид сходимости двойных тригонометрических рядов Фурье, промежуточный между сходимостью по квадратам и А-сходимостью при Л > 1. Построен пример непрерывной функции двух переменных, ряд Фурье которой расходится в указанном смысле почти всюду.
Ключевые слова: кратные ряды Фурье, сходимость почти всюду.
Пусть N, Z, R — множества натуральных, целых и действительных чисел соответственно, T2 = [0, 2п)2 — двумерный тор,
^ aMei(kx+ly), (x,y) е T2, (1)
(k,i)ez2
— двойной тригонометрический ряд Фурье 2п-периодической по каждой переменной и суммируемой на T2 функции f и для (m, n) е N2
Sm,n (f,x, y) = ^ ak,i ei(kx+ly)
(k,0eZ2:
— (m, п)-я прямоугольная частичная сумма ряда (1).
Говорят, что ряд (1) сходится по Прингсхейму в точке (x,y) е T2, если существует
lim Smn (f,x, y). (2)
Пусть Л ^ 1. Ряд (1) называется А-сходящимся в точке (x, y) е T2, если существует предел (2), рассматриваемый только по тем парам (m, n), для которых 1/А ^ m/n ^ Л. В случае Л = 1 Л-схо-димость называется сходимостью по квадратам.
Аналогичным образом определяются кратный ряд Фурье, его прямоугольные частичные суммы и упомянутые виды сходимости для функций d переменных при d > 2.
Через f е C(T2) и Lp(T2), p ^ 1, будем обозначать множества 2п-периодических по каждой переменной функций, которые непрерывны и суммируемы с p-й степенью соответственно.
В случае сходимости по квадратам (кубам) известно [1,2], что если функция f принадлежит классу Lp(Td), p > 1, d ^ 2, в частности, если f непрерывна, то ряд Фурье этой функции сходится (по
