Базис

Множества X — минимальное порождающее его подмножество В. Порождение означает, что применением операций нек-рого класса к элементам получается любой элемент Это понятие связано с понятием зависимости: элементы Xпосредством операций из ставятся в зависимость от элементов В. Минимальность означает, что никакое собственное подмножество не порождает X. Это свойство обусловливает в нек-ром смысле независимость его элементов: никакой элемент не порождается остальными его элементами. Напр., множество всех натуральных чисел имеет Б. единствевг-ный элемент 0 и порождается из него операцией непосредственного следования и ее итерациями; множество всех натуральных чисел порождается операцией умножения из Б., состоящего из всех простых чисел. алгебры кватернионов состоит из четырех элементов если порождающими операциями являются сложение и умножение на действительные числа; если же кроме этих операций используется еще и умножение кватернионов, то Б. будет состоять лишь из трех элементов (ибо ). натурального ряда порядка — подпоследовательность множества натуральных чисел с включением 0, к-рая в результате Декретного сложения с собой (операция порождения) дает все Это означает, что каждое натуральное число ппредставимо в виде где Напр., всякое натуральное число есть сумма четырех квадратов натуральных чисел (теорема Лагранжа), т. е. последовательность квадратов есть Б. порядка 4. Вообще, последовательность степеней натуральных чисел является Б. (теорема Гильберта), порядок к-рого оценивается Виноградова методом. Понятие Б. обобщается на случай произвольных числовых последовательностей, т. е. функций на . Порождающие множества существуют всегда (тривиально: порождает ), однако минимальность может оказаться принципиально невозможной (подобная ситуация типична для классов , содержащих бес-конечноместные операции, в частности в топологич. структурах, решетках и т. п.). Поэтому условие минимальности заменяется более слабым требованием: Б. есть порождающее множество минимальной мощности. В связи с этим обычно . Вопределяется как параметризованное множество (или семейство), т. е. как функция на множестве индексов со значениями в , причем ; мощность Тиногда наз. базисной размерностью (или рангом) Напр., счетное всюду плотное множество сепарабель-ного топологич. пространства можно считать его .; порождается из операцией замыкания (к-рая, кстати, и в более общих случаях родственна порождению, см. ниже). топологии топологич. пространства (база) — Б. совокупности всех открытых подмножеств X;порождение осуществляется объединением элементов булевой алгебры (двойственный базе в смысле Тарского) — плотное множество (минимальной мощности) в ; порождение из (а тем самым и само ) определяется условием (что равносильно ), где , , — единица , — операция импликации. Аналогично вводится ибазис фильтра , как множество такое, что для любого существует , и . Большинство частных случаев Б. множества вводится по следующей схеме. Пусть — булеан , т. е. совокупность всех его подмножеств. Порождающим оператором (или оператором замыкания) называется отображение в себя такое, что: если Элемент порождается множеством , если в частности, порождает , если . Минимальное множество , обладающее этим свойством, и наз. базисом .определенным оператором . Порождающий оператор J имеет конечный тип, если для любых из следует для нек-рого конечного подмножества порождающий оператор обладает свойством замещения, если для любых следует Порождающий оператор конечного типа со свойством замещения определяет на X отношение зависимости, т. е. разбиение на два класса — зависимых и независимых множеств; множество Аназ. зависимым, если для нек-рого , и независимым, если для любого . При этом зависимо (независимо) тогда и только тогда, когда некоторое (любое) непустое конечное подмножество зависимо (независимо). Для того чтобы множество было Б. множества , необходимо н достаточно, чтобы было независимым порождающим множеством или, иначе, максимальным независимым в множеством. Если — произвольное независимое множество, а С — порождающее множество, содержащее А, то существует Б. Вв X такой, что В частности, Xвсегда обладает Б., и любые два его Б. равно-мощны. В алгебраич. системах X важную роль играет понятие так наз. свободного базиса В, характеризующегося следующим свойством: произвольное отображение в любую алгебраич. систему (той же сигнатуры) может быть продолжено до (гомо) морфизма в , пли, что то же самое, для любого (гомо)морфизма и любого множества порождающие операторы удовлетворяют условию: Алгебрапч. система, имеющая свободный В., наз. свободной. Типичным примером является базис (унитарного) модуля Mнад кольцом К — свободное семейство элементов из М, порождающее М(см. [3]). Здесь семейство элементов K-модуля Мназ. свободным, если из (где для всех, кроме конечного числа индексов следует для всех , а порождение осуществляется представлением элементов хв виде линейных комбинаций элементов : существует (зависящее от х).множество элементов такое, что для всех, кроме конечного числа индексов t, и имеет место разложение (т. е. X- линейная оболочка A). Б. Мв этом смысле является его свободным Б. в вышеуказанном смысле; обратное также верно. Так, множество периодов двоякопериодич. функции одного комплексного переменного, являющееся дискретной абелевой группой (и потому модулем над кольцом ). имеет свободный Б., наз. базисом периодов функции ; он состоит из двух так наз. примитивных периодов. Аналогично определяется Б. периодов абелевой функции нескольких комплексных переменных. В случае, когда К — тело, всякий Б. (в прежнемсмысле) является свободным. Напротив, существуют модули, не имеющие свободного Б.; таковы, напр., неглавные идеалы в области целостности К, рассматриваемой как K-модуль. векторного пространства X над полем К- (свободный) В. подлежащего Xунитарного модуля. Аналогично, базис алгебры Анад полем К — Б. подлежащего A векторного пространства. Все Б. данного векторного пространства Xимеют одинаковую мощность, равную мощности Т, к-рая наз. его алгебраической размерностью. Каждый элемент представим линейной комбинацией элементов Б. единственным образом. Элементы , являющиеся линейными функционалами на X, наз. компонентами (координатами) в данном Б.. Множество Аявляется Б. в Xтогда и только тогда, когда А — максимальное (относительно включения) свободное множество в X. Отображение где , если — значение t-й компоненты хв Б. A и 0 в противном случае, наз. базисным отображением; оно является линейным инъективным отображением Xв пространство функций на Тсо значениями в K. В данном случае образ состоит из функций с конечным числом значений, отличных от нуля (конечнозначных функций). Эта интерпретация позволяет определить обобщенный базис векторного пространства над полем как биективное линейное отображение его на нек-рое подпространство пространства функций на со значениями в , где — нек-рое надлежащим образом подобранное множество. Однако без введения дополнительных ограничений на (напр., порядка) и структур на (напр., топологии) и согласованных с этим условий на понятие обобщенного Б. практически мало полезно. Иногда Б. векторного пространства наз. алгебраическим базисом (чем подчеркивается отсутствие связи с дополнительными структурами на , даже если они и согласованы с его векторной структурой). Гамеля (Хамеля) — Б. поля действительных чисел R, рассматриваемого как векторное пространство над полем рациональных чисел. Введен Г. Гамелем [4] для получения разрывного решения функционального уравнения ; график решения его всюду плотен на плоскости . Каждой почти периодич. функции соответствует нек-рый счетный базис Гамеля такой, что каждый показатель Фурье этой функции принадлежит линейной оболочке . При этом элементы можно выбрать принадлежащими последовательности ; множество наз. базисом почтп периодической функции. Аналогичный Б. строится в кольце, содержащем тело Ри имеющем единицу тела Рсвоей единицей. Алгебраич. Б. произвольного векторного пространства также наз. иногда базисом Гамеля. топологический (Б. топологического векторного пространства Xнад полем К) — семейство , свойства и функции к-рого аналогичны свойствам н функциям алгебраич. Б. векторного пространства. Понятие топологич. В.- одно из важнейших в функциональном анализе — расширяет и углубляет понятие алгебраич. Б. с учетом топологич. структуры X и позволяет получать для каждого элемента его разложение по Б. и притом единственное, т. е. представление хв виде предела (в том или ином смысле) линейных комбинаций элементов : где — линейные функционалы на Xсо значениями в К, наз. компонентами х в Б . А, или коэффициентами разложениям по Б. А. Очевидно, для существования разложения любого хнеобходимо, чтобы Абыло полным множеством в X, а для единственности такого разложения (т. е. для того, чтобы нулевой элемент Xимел все компоненты равными нулю) необходимо, чтобы Абыло топологическим свободным множеством в X. Смысл и практич. значение топологич. Б. (наз. далее просто Б.) заключается в установлении биективного линейного отображения X, наз. базисным отображением , на нек-рое, зависящее от X, пространство функций со значениями в К, определенных на (топологическом) пространстве Т, а именно: где , так что символически и ; при этом строение вследствие конкретности, эффективности своего определения проще и обозримее, чем строение абстрактно заданного . Так, напр., алгебраич. Б. бесконечномерного банахова пространства несчетен, в то время как в ряде случаев при надлежащем обобщении понятия Б. мощность существенно уменьшается, одновременно упрощается и . Пространство содержит все конечнозначные функции, и множество элементов Б. является биективным прообразом множества функций , имеющих лишь одно ненулевое значение, равное 1 ("однозначных" функций): где при . Другими словами, — образующая одномерного подпространства , дополнительного в Xк гиперплоскости, определяемой уравнением Таким образом, роль Б. сводится к организации из множества компонент , составляющих образ хпри базисном отображении, суммируемого (в том или ином смысле) семейства , т. е. Б. "разлагает" пространство Xв (обобщенную) прямую сумму одномерных подпространств: Аналогичным образом определяется Б. в векторных пространствах, наделенных равномерной, предельной (псевдотопологической), линейной , близостной и другими дополнительными структурами. Мыслимы (и существуют) обобщения понятия Б., идущие в различных направлениях. Так, введение топологии и меры на Тприводит к понятию так наз. непрерывной суммы элементов из Xи соответствующим интегральным представлениям; разложение пространства Xна необязательно одномерные компоненты находит применение в спектральной теории линейных операторов; рассмотрение вместо К(Т).произвольных топологич. алгебр над полем К(напр., алгебры мер на Тсо значениями в Кили даже в X, алгебры проекторов и т. д.) позволяет конкретизировать многие понятия абстрактной двойственности для топологич. векторных пространств и, в частности, использовать развитый аппарат теории характеров. счетный- наиболее исследованный (и в то же время практически наиболее важный) пример Б.- последовательность элементов пространства Xтакая, что каждому элементу ходнозначно соответствует разложение его в ряд по Б. сходящийся (в топологии X).к х. Здесь причем существен естественный порядок в нем. Часто счетный Б. наз. просто Б. [Аналогично, если подразумевается слабая сходимость разложения х, определяется слабый счетный базис.] Так, напр., функции , образуют Б. в пространствах (абсолютно суммируемых в степени рпериодич. функций), напротив, в пространствах (измеримых функций, совпадающих почти всюду с ограниченными функциями) и (непрерывных периодич. функций) эти функции Б. не образуют. Необходимым (но далеко не достаточным) условием существования счетного Б. является сепарабельность (напр., в пространстве измеримых на отрезке функций со значениями в счетного Б. быть не может). Впрочем, пространство ограниченных последовательностей, не будучи сепарабельным в топологии , не обладает счетным Б., однако элементы , где при и при , образуют Б. в слабой топологии . Вопрос о существовании счетного Б. в сепарабельных банаховых пространствах (проблема базиса) решен отрицательно [6]. Аналогичный вопрос для ядерных пространств также решен отрицательно [7]. Счетный Б., однако, не всегда оказывается "достаточно хорошим" для применений (напр., компоненты не являются непрерывными, разложение не сходится безусловно и т. п.), в связи с чем на Б. накладываются некоторые условия или вводится надлежащее его обобщение. счетного типа — одно из обобщений понятия счетного В., для к-рого хотя и несчетно, но разложение элемента по нему естественно определяется: соответствующее пространство состоит из счетнозначных функций. Напр., полное орто-нормированное множество в гильбертовом пространстве Нявляется Б.; если , то (где — скалярное произведение в Н).для всех, за исключением быть может счетного множества, индексов , и ряд сходится к х. ное отображение определяется ортогональным проектированием на замкнутые подпространства, порожденные элементами Б. пространства всех комплекснозначных почти периодич. функций на состоит из функций ; здесь — совокупность счетнозначных функций, а базисное отображение определяется формулой безусловный- счетный Б. в пространстве Xтакой, что разложение любого элемента хсходится безусловно (т.