Разрывная линейная карта - Discontinuous linear map

В математика, линейные карты составляют важный класс «простых» функции которые сохраняют алгебраическую структуру линейные пространства и часто используются как приближения к более общим функциям (см. линейное приближение ). Если задействованные пространства также топологические пространства (то есть, топологические векторные пространства ), то имеет смысл спросить, все ли линейные отображения непрерывный. Оказывается, что для отображений, определенных на бесконечномразмерный топологические векторные пространства (например, бесконечномерные нормированные пространства ), обычно ответ отрицательный: существуют разрывные линейные карты. Если область определения полный, это сложнее; существование таких отображений можно доказать, но доказательство опирается на аксиома выбора и не дает явного примера.

Линейное отображение из конечномерного пространства всегда непрерывно

Позволять Икс и Y быть двумя нормированными пространствами и ж линейная карта из Икс к Y. Если Икс является конечномерный, выберите основу (е₁, е₂, …, е_п) в Икс которые можно принять за единичные векторы. Потом,

${displaystyle f(x)=sum _{i=1}^{n}x_{i}f(e_{i}),}$

и так неравенство треугольника,

${displaystyle |f(x)|=left|sum _{i=1}^{n}x_{i}f(e_{i})ight|leq sum _{i=1}^{n}|x_{i}||f(e_{i})|.}$

Сдача

${displaystyle M=sup _{i}{|f(e_{i})|},}$

и используя тот факт, что

${displaystyle sum _{i=1}^{n}|x_{i}|leq C|x|}$

для некоторых C> 0 что следует из того, что любые две нормы в конечномерном пространстве эквивалентны, можно найти

${displaystyle |f(x)|leq left(sum _{i=1}^{n}|x_{i}|ight)Mleq CM|x|.}$

Таким образом, ${displaystyle f}$ это ограниченный линейный оператор и так непрерывно. Фактически, чтобы увидеть это, просто обратите внимание, что ж линейно, поэтому ${displaystyle |f(x)-f(x')|=|f(x-x')|leq K|x-x'|}$ для некоторой универсальной постоянной K. Таким образом, для любого ${displaystyle epsilon >0}$, мы можем выбрать ${displaystyle delta leq epsilon /K}$ так что ${displaystyle f(B(x,delta ))subseteq B(f(x),epsilon )}$ (${displaystyle B(x,delta )}$ и${displaystyle B(f(x),epsilon )}$ Нормированные шары вокруг ${displaystyle x}$ и ${displaystyle f(x)}$), что дает непрерывность.

Если Икс является бесконечномерным, это доказательство не удастся, поскольку нет гарантии, что супремум M существуют. Если Y это нулевое пространство {0}, единственная карта между Икс и Y - нулевое отображение, которое тривиально непрерывно. Во всех остальных случаях, когда Икс бесконечномерно и Y не является нулевым пространством, разрывное отображение можно найти из Икс к Y.

Конкретный пример

Примеры разрывных линейных отображений легко построить в неполных пространствах; на любой последовательности независимых векторов Коши, не имеющей предела, линейный оператор может расти неограниченно.^{[требуется разъяснение ]} В некотором смысле линейные операторы не являются непрерывными, потому что в пространстве есть «дыры».

Например, рассмотрим пространство Икс реальных гладкие функции на отрезке [0, 1] с единая норма, то есть,

${displaystyle |f|=sup _{xin [0,1]}|f(x)|.}$

В производная -в момент карта, предоставленная

${displaystyle T(f)=f'(0),}$

определено на Икс а с действительными значениями - линейный, но не непрерывный. Действительно, рассмотрим последовательность

${displaystyle f_{n}(x)={frac {sin(n^{2}x)}{n}}}$

за п≥1. Эта последовательность сходится равномерно к постоянно нулевой функции, но

${displaystyle T(f_{n})={frac {n^{2}cos(n^{2}cdot 0)}{n}}=n o infty }$

в качестве п→ ∞ вместо ${displaystyle T(f_{n}) o T(0)=0}$ что было бы справедливо для непрерывной карты. Обратите внимание, что Т имеет реальную ценность, и поэтому на самом деле линейный функционал на Икс (элемент алгебраической двойное пространство Икс^*). Линейная карта Икс → Икс который присваивает каждой функции ее производную, аналогично разрывной. Обратите внимание, что хотя производный оператор не является непрерывным, он закрыто.

Важно то, что домен здесь не полный. Разрывные операторы на полных пространствах требуют немного больше работы.

Неконструктивный пример

Алгебраический базис для действительные числа как векторное пространство над рациональные известен как Основа Гамеля (обратите внимание, что некоторые авторы используют этот термин в более широком смысле, чтобы обозначить алгебраический базис любой векторное пространство). Обратите внимание, что любые два несоизмеримый числа, скажем 1 и π, линейно независимы. Можно найти базис Гамеля, содержащий их, и определить карту ж из р к р так что ж(π) = 0, ж действует как идентичность для остальной части основы Гамеля и распространяется на все р по линейности. Позволять {р_п}_п - любая последовательность рациональных чисел, сходящаяся к π. Тогда lim_п ж(р_п) = π, но ж(π) = 0. По построению ж линейно по Q (не закончено р), но не непрерывно. Обратите внимание, что ж тоже не измеримый; ан добавка вещественная функция линейна тогда и только тогда, когда она измерима, поэтому для каждой такой функции существует Виталий набор. Построение ж опирается на аксиому выбора.

Этот пример может быть расширен до общей теоремы о существовании разрывных линейных отображений на любом бесконечномерном нормированном пространстве (пока область не является тривиальной).

Общая теорема существования

Можно доказать, что разрывные линейные отображения существуют в более общем смысле, даже если пространство полно.^{[требуется разъяснение ]} Позволять Икс и Y быть нормированные пространства над полем K куда K = р или же K = C. Предположить, что Икс бесконечномерно и Y не нулевое пространство. Найдем разрывную линейную карту ж из Икс к K, что будет означать существование разрывного линейного отображения грамм из Икс к Y задается формулой грамм(Икс) = ж(Икс)у₀ куда у₀ - произвольный ненулевой вектор из Y.

Если Икс является бесконечномерным, чтобы показать существование линейного функционала, который не является непрерывным, тогда сводится к построению ж который не ограничен. Для этого рассмотрим последовательность (е_п)_п (п ≥ 1) из линейно независимый векторов в Икс. Определять

${displaystyle T(e_{n})=n|e_{n}|,}$

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

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

Роль аксиомы выбора

Как отмечалось выше, аксиома выбора (AC) используется в общей теореме существования разрывных линейных отображений. На самом деле не существует конструктивных примеров разрывных линейных отображений с полной областью определения (например, Банаховы пространства ). В анализе, который обычно практикуется работающими математиками, всегда используется аксиома выбора (это аксиома ZFC теория множеств ); таким образом, для аналитика все бесконечномерные топологические векторные пространства допускают разрывные линейные отображения.

С другой стороны, в 1970 г. Роберт М. Соловей выставил модель из теория множеств в котором измерим каждый набор действительных чисел.^[1] Это означает, что разрывных линейных действительных функций не существует. Ясно, что AC не держится в модели.

Результат Соловея показывает, что нет необходимости предполагать, что все бесконечномерные векторные пространства допускают разрывные линейные отображения, и есть школы анализа, которые принимают более конструктивист смотровая площадка. Например, Х.Г. Гарнир в поисках так называемых «пространств сновидений» (топологических векторных пространств, на которых каждое линейное отображение в нормированное пространство непрерывно) был вынужден принять ZF + ОКРУГ КОЛУМБИЯ + BP (зависимый выбор - это ослабленная форма и Бэр недвижимость отрицание сильного AC) как его аксиомы для доказательства Теорема Гарнира – Райта о замкнутом графике в котором, среди прочего, говорится, что любая линейная карта из F-пространство к ТВС непрерывно. Дойдя до крайности конструктивизм, есть Теорема Цейтена, в котором говорится, что каждый функция является непрерывной (это следует понимать в терминологии конструктивизма, согласно которой только представимые функции считаются функциями).^[2] Таких позиций придерживается лишь небольшая часть работающих математиков.

В результате существование разрывных линейных отображений зависит от AC; с теорией множеств без AC согласуется отсутствие разрывных линейных отображений на полных пространствах. В частности, никакая конкретная конструкция, такая как производная, не может преуспеть в определении разрывного линейного отображения всюду на полном пространстве.

Закрытые операторы

Многие естественные линейные разрывные операторы являются закрыто, класс операторов, которые обладают некоторыми чертами непрерывных операторов. Имеет смысл спросить, какие линейные операторы в данном пространстве замкнуты. В теорема о замкнутом графике утверждает, что повсеместно определенный Замкнутый оператор во всей области является непрерывным, поэтому для получения разрывного замкнутого оператора необходимо разрешить операторы, которые определены не везде.

Чтобы быть более конкретным, позвольте ${displaystyle T}$ быть картой из ${displaystyle X}$ к ${displaystyle Y}$ с доменом ${displaystyle operatorname {Dom} (T)}$, написано ${displaystyle T:operatorname {Dom} (T)subseteq X o Y}$. Мы мало что потеряем, если заменим Икс закрытием ${displaystyle operatorname {Dom} (T)}$. То есть при изучении операторов, которые не везде определены, можно ограничиться плотно определенные операторы не теряя общий смысл.

Если график ${displaystyle Gamma (T)}$ из ${displaystyle T}$ закрыт в Икс ×Y, мы называем Т закрыто. В противном случае рассмотрите его закрытие ${displaystyle {overline {Gamma (T)}}}$ в Икс ×Y. Если ${displaystyle {overline {Gamma (T)}}}$ сам является графиком некоторого оператора ${displaystyle {overline {T}}}$, ${displaystyle T}$ называется закрываемый, и ${displaystyle {overline {T}}}$ называется закрытие из ${displaystyle T}$.

Поэтому естественный вопрос о линейных операторах, которые не определены всюду, - это закрываемость ли они. Ответ: «не обязательно»; действительно, любое бесконечномерное нормированное пространство допускает незамкнутые линейные операторы. Как и в случае с разрывными операторами, рассмотренными выше, доказательство требует аксиомы выбора и, в общем, является неконструктивным, хотя опять же, если Икс не полный, есть конструктивные примеры.

На самом деле есть даже пример линейного оператора, график которого имеет замыкание все из Икс ×Y. Такой оператор не закрывается. Позволять Икс быть пространством полиномиальные функции от [0,1] до р и Y пространство полиномиальных функций от [2,3] до р. Они являются подпространствами C([0,1]) и C([2,3]) соответственно, и поэтому нормированные пространства. Определить оператора Т который принимает полиномиальную функцию Икс ↦ п(Икс) на [0,1] к той же функции на [2,3]. Как следствие Теорема Стоуна – Вейерштрасса, график этого оператора плотен в Икс×Y, так что это обеспечивает своего рода максимально разрывное линейное отображение ( нигде непрерывная функция ). Обратите внимание, что Икс здесь не является полным, как и должно быть, когда существует такая конструктивная карта.

Воздействие на двойное пространство

В двойное пространство топологического векторного пространства - это набор непрерывных линейных отображений из пространства в нижележащее поле. Таким образом, неспособность некоторых линейных отображений быть непрерывными для бесконечномерных нормированных пространств означает, что для этих пространств нужно отличать алгебраическое двойственное пространство от непрерывного двойственного пространства, которое в таком случае является собственным подмножеством. Это иллюстрирует тот факт, что при анализе бесконечномерных пространств требуется дополнительная доза осторожности по сравнению с конечномерными.

За пределами нормированных пространств

Аргумент в пользу существования разрывных линейных отображений на нормированных пространствах может быть обобщен на все метризуемые топологические векторные пространства, особенно на все Фреше-пространства, но существуют бесконечномерные локально выпуклые топологические векторные пространства такие, что каждый функционал непрерывен.^[3] С другой стороны, Теорема Хана – Банаха, который применяется ко всем локально выпуклым пространствам, гарантирует существование многих непрерывных линейных функционалов и, следовательно, большого двойственного пространства. Фактически, для каждого выпуклого множества Датчик Минковского связывает непрерывный линейный функционал. В результате пространства с меньшим количеством выпуклых множеств имеют меньше функционалов, а в худшем случае пространство может вообще не иметь функционалов, кроме нулевого функционала. Так обстоит дело с L^п(р,dx) пробелы с 0 <п <1, откуда следует невыпуклость этих пространств. Обратите внимание, что здесь указывается Мера Лебега на реальной линии. Есть другие L^п пробелы с 0 <п <1, которые имеют нетривиальные двойственные пространства.

Другой такой пример - пространство вещественных измеримые функции на единичном интервале с квазинорма данный

${displaystyle ||f||=int _{I}{frac {|f(x)|}{1+|f(x)|}}dx.}$

Это нелокально выпуклое пространство имеет тривиальное сопряженное пространство.

Можно рассматривать даже более общие пространства. Например, существование гомоморфизма между полной сепарабельной метрикой группы также можно показать неконструктивно.

Примечания

1. Соловей, Роберт М. (1970), «Модель теории множеств, в которой каждое множество действительных чисел измеримо по Лебегу», Анналы математики, Вторая серия, 92: 1–56, Дои:10.2307/1970696, МИСТЕР  0265151.
2. Шехтер, Эрик (1996), Справочник по анализу и его основам, Academic Press, стр. 136, ISBN  9780080532998.
3. Например, слабая топология w.r.t. пространство всех (алгебраически) линейных функционалов.

Рекомендации

• Константин Костара, Думитру Попа, Упражнения по функциональному анализу, Springer, 2003. ISBN  1-4020-1560-7.
• Шехтер, Эрик, Справочник по анализу и его основам, Academic Press, 1997. ISBN  0-12-622760-8.