Большая Советская Энциклопедия (ГИ) - Большая Советская Энциклопедия "БСЭ" - Страница 80

  x + y = (x₁ + y₁,..., x_n + y_n,...),

  lx = (lx₁, lx₂, ..., lx_n,...)/

  Для любых векторов х, y Î l₂ формула

  (x, y) = x₁y₁ + x₂y₂ + ... +x_ny_n + ...

  определяет их скалярное произведение, а под длиной (нормой) вектора х понимается неотрицательное число

  Скалярное произведение всегда конечно и удовлетворяет неравенству |(х, у)| £ ||x|| ||y||. Последовательность векторов х_n называется сходящейся к вектору х, если ||х_n—х|| ® 0 при n ® ¥. Многие определения и факты теории конечномерных евклидовых пространств переносятся и на Г. п. Например, формула

  где 0 £ j £ p определяет угол j между векторами х и у. Два вектора х и у называются ортогональными, если (х, у) = 0. Пространство l₂ полно: всякая фундаментальная последовательность Коши элементов этого пространства (т. е. последовательность х_n, удовлетворяющая условию ||х_п—х_m||® 0 при n, m ® ¥) имеет предел. В отличие от евклидовых пространств, Г. п. l₂ бесконечномерно, т. е. в нём существуют бесконечные системы линейно независимых векторов; например, такую систему образуют единичные векторы

  e₁ = (1, 0, 0,...), e₂ = (0, 1, 0,...),...

  При этом для любого вектора x из l₂ имеет место разложение

  x = x₁e₁ + x₂e₂ +...     (1)

  по системе {e_n}.

  Другим важным примером Г. п. служит пространство l₂ всех измеримых функций, заданных на некотором отрезке [a, b], для которых конечен интеграл

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

  Норма в этом случае равна

  Роль единичных векторов предыдущего примера здесь могут играть любые функции j_i(x) из L₂, обладающие свойствами ортогональности

  и нормированности

  а также следующим свойством замкнутости: если f(x) принадлежит L₂ и

  то f(x) = 0 всюду, кроме множества меры нуль. На отрезке [0,2p] в качестве такой системы функций можно взять тригонометрическую систему

  Разложению (1) соответствует разложение функции f(x) из L₂ в ряд Фурье

  сходящийся к f(x) по норме пространства L₂. При этом для всякой функции f(x) выполняется равенство Парсеваля

  Соответствие между функциями f(x) из L₂ и последовательностями их коэффициентов Фурье a, a₁, b₁, a₂, b₂,... является взаимно однозначным отображением L₂ на l₂, сохраняющим операции сложения, умножения на числа, а также сохраняющим длины и скалярные произведения. Т. о., эти пространства изоморфны и изометричны, значит имеют одинаковое строение.

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

  1) (х, х) = 0 в том и только том случае, если х = 0,

  2) (х, х) ³ 0 для любого x из Н,

  3) (х + у, z) = (x, z) + (у, z),

  4) (lx, у) = l(x, у) для любого комплексного числа l,

  5)

  где черта означает комплексно сопряжённую величину. Норма элемента х определяется равенством

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

  Лит.: Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 2 изд., М., 1968; Люстерник Л. А., Соболев В. И., Элементы функционального анализа, 2 изд., М., 1965; Данфорд Н., Шварц Дж., Линейные операторы, т. 1 — Общая теория, пер. с англ., М., 1962; Дэй М. М., Нормированные линейные пространства, пер. с англ., М., 1961.

  Ю. В. Прохоров.

Гильви'к, Гийевик (Guillevic) Эжен (р. 5.8.1907, Карнак), французский поэт. Член Французской компартии с 1942. Выступил в печати накануне 2-й мировой войны (стихи в память погибших испанских республиканцев в журнале «Коммюн» — «Соммune», 1939). Деятель Движения Сопротивления, Г. участвовал в подпольной патриотической печати. Трагические картины мира встают в стихах сборника «Из земли и воды» (1942). Лаконичные и суровые строки сборников «Изломы» (1947), «Исполнительный лист» (1947) зовут к борьбе с уродством окружающего. Как глашатай битвы с социальным злом выступает Г. в сборниках «Жажда жизни» и «Вкус мира» (оба 1951), «Земля для счастья» (1952). Темы многих его стихов 50—60-х гг. — вопросы мира и войны, философские раздумья о долге человека («Вместе», 1966; «Эвклидовы мотивы», 1967). Перевёл на французский язык сборник стихов Т. Г. Шевченко, стихи русских поэтов.

  Соч.: Carnac, P., 1961; Sphère. [Poèmes], P., [1963]; Ville, P., 1969: в рус. пер. — [Стихи], в кн.: Френо. Гильвик. Из французской поэзии, [Предисловие С. Великовского], М., 1969.

  Лит.: Ваксмахер М., Французская литература наших дней, М., 1967, с. 201—211; Daix P., Guillevic, P., 1954; Lacôte R., Guillevic, «Les Lettres françaises», 1961, 9—15 févr., № 862.

  М. Н. Ваксмахер.

Ги'льгамеш, полулегендарный правитель г. Урука в Шумере (28 в. до н. э.). В 3-м тыс. до н. э. возникли дошедшие до нас шумерские эпические песни о Г. В конце 3-го — начале 2-го тыс. на аккадском (ассиро-вавилонском) языке была составлена большая эпическая поэма о Г. В ней описываются дружба Г. с диким человеком Энкиду, отчаяние Г. после смерти друга и его странствования в поисках тайны бессмертия, посещение им предка Утнапишти, пережившего потоп, и т. д. Легенда о Г. была распространена также у хеттов, хурритов, в Палестине и т. п. Наиболее известен вариант начала 1-го тыс. до н. э. из Ниневии (Куюнджик).