Рид М., Саймон Б. Методы современной математической физики. 1. Функциональный анализ (1972) (1095471), страница 2
Текст из файла (страница 2)
О тематике следующих томов можно составить представление по оглавлению этих томов, которое мы здесь помещаем. Мы глубоко благодарны студентам (особенно Д. Гукенхеймеру), которые прослушали наш курс в 1970/71 г. и высказали плодотворные замечания как по поводу лекций, так и по поводу их записей; Л. Гроссу, Т. Като и особенно Д. Рюеллю, которые прочитали некоторые части рукописи и сделали множество полезных замечаний и исправлений; Ф, Армстронг, Э. Эпштейн и Х.
Верц за перепечатку записей лекций; М. Голдбергеру, Э. Нельсону, М. Саймон, И. Стейну и А. Вайтману за помощь и поддержку. Майк Рид Барри Саймон ') Как видно нз уже вышедшего в английском издании второго тома, авторы ие уложнлнсь в запланированную схему (см. оглавление следующих томов, которое мы приводим по второму тому). †)урии. ред. Корни математики лежат в теории чисел, геометрии и физике. Со времен Ньютона поиски математических моделей физических явлений служили источником математических задач. фактически целые области математики выросли из попыток разобраться в конкретных физических ситуациях. Например, весь гармонический анализ развился'из работы Фурье об уравнении теплопроводности.
И хотя в этом столетии математика и физика развивались порознь, физика продолжала стимулировать математические исследования. Отчасти по этой причине влияние физики на математику всем хорошо понятно. Однако значение математики для физики далеко не все правильно оценивают. Существует широко распространенное заблуждение, что математика полезна для физики лишь постольку, поскольку она дает средства для вычислений. На деле математика играет гораздо более тонкую роль, которая в конечном счете куда важнее. Когда создается удачная математическая модель физического явления, т.
е. модель, которая позволяет делать точные вычисления и предсказания, то сама математическая структура модели открывает новые стороны этого явления. Иными словами, когда модель удачна, то естественно думать о физических величинах на языке математических объектов, их представляющих, и интерпретировать сходные или вторичные явления на языке той же модели. В результате исследование внутренней математической структуры модели может изменить и расширить наше представление о физическом явлении.
Великолепным примером служит механика Ньютона, которая дала столь ясную и совершенную картину движения небесных тел, что ею стали пользоваться.для обьяснения практически всех физических явлений. Сама эта модель заняла центральное место в понимании всего физического мира, и отказаться от нее в конце девятнадцатого века было необычайно трудно даже перед лицом очевидных противоречий. Более современный пример подобного влияния математики на физику дает применение теории групп к классификации элементарных частиц. Исследование математических моделей физических явлений составляет часть предмета математической физики. Под иссле- ю дованием здесь понимается и строгий вывод конечных формул, и анализ внутренней математической структуры моделей.
В обоих случаях возникают задачи, которые приводят к более общим математическим вопросам, уже не связанным непосредственно с какой-либо частной моделью. И хотя эти общие вопросы оказываются иногда чисто математическими, их принято относить к математической .физике, поскольку они возникли из физических задач. Традиционная математическая физика имела дело сматемати» ческими задачами классическойфизики:механики, гидродинамики, акустики, теории потенциала и оптики, Главным математическим средством была теория дифференциальных уравнений, обыкновенных и в частных производных, а также родственные области, такие, как теория интегральных уравнений и вариационное исчисление. Эта классическая математическая физика давно уже входит в учебную программу математических н физических факультетов.
Но начиная с 1926 г. фронт исследований все больше смещается в сторону квантовой механики и областей, начало которым положила квантовая теория: атомной физики, ядерной физики, теории твердого тела, физики элементарных частиц. Основной математической дисциплиной при изучении этих областей оказывается функциональный анализ, хотя важную роль играют также теория представлений групп и функции многих комплексных переменных.
Сразу после 1926 г. фон Нейман приступил к анализу общей структуры квантовой механики, но тогда почти не делалось попыток исследовать характер отдельных квантовых систем (исключение составляют лишь некоторые работы Фридрихса и Реллиха). Положение изменилось в начале 50-х годов, когда Като доказал самосопряженность атомных гамильтонианов, а Гординг и Вайтман сформулировали аксиомы квантовой теории поля. В этих работах- продемонстрирована плодотворность методов функционального анализа и поднято множество трудных математических вопросов, к которым приводит современная физика. С тех пор необычайно расширился как арсенал средств функционального анализа, так и круг объектов, рассматриваемых в математической физике.
Диапазон задач простирается здесь от самых конкретных — например, вычисление или оценка точечного спектра некоего частного оператора — н до самых общих, таких, как теория представлений С*-алгебр. Методы и общий подход к предмету стали более абстрактными. И хотя есть такие области, где физика настолько понятна, что задачи сводятся к чисто математическим упражнениям, но есть и такие, где ни физическая, ни математическая модель не очень понятны. Такая эволюция имела много серьезных последствий, из которых отнюдь не последнее — затрудненность общения между математиками и физиками. Физики встревожены растущимитре- 11 бованиями к широте математического образования и математической искушенности, которые нужны теперь для понимания моделей.
А математики страдают от своей неспособности понять физику и от того, что физики не способны формулировать свои задачи так, чтобы они стали понятны математикам. Несколько замечаний о самой книге. Предварительные знания, которые требуются для ее чтения, отвечают тому среднему уровню, который достигается после примерно первым трех лет обучения в американском университете. Первая глава была задумана как обзор этого предварительного материала. Мы рассчитывали также, что читатель отчасти знаком с материалом глав 11 — 1Ч, и опускали некоторые доказательства, если считали их несущественными и не представляющими самостоятельного интереса.
Содержание этого тома укладывается в двухсеместровый курс. Правда, мы прочитали большую часть этого материала в специальном односеместровом курсе в 'Принстонском университете, встречаясь со своими слушателями по пять раз в неделю, но никому не советуем повторять этот опыт. Чтобы содержание книги было легче приспособить к лекциям, мы располагали материал внутри глав так, что первые разделы содержат основные понятия, а последующие †бол специальные н трудные вопросы и приложения.
Например, основной материал о неограниченных операторах можно прочитать студентам в девяти или десяти лекциях на материале 5 1 — 4 гл. ЧШ. С другой стороны, если восполнить детали доказательств и добавить материал из замечаний и задачи, то из главы Ч1П можно сделать отдельный односеместровый курс. Каждая глава в этой книге заканчивается длинным списком задач.
Некоторые задачи должны заполнить пробелы основного текста (они отмечены крестом ('). В других намечены иные доказательства нли вводится новый материал. Мы включили н трудные задачи (отмеченные звездочкой э), чтобы зажечь читателя. Очень советуем всем решать 'задачи. Ни для кого не секрет, что математику учат решая задачи, а не наблюдая, как их решают другие. Мы надеемся, что наш курс откроет физикам доступ к современным абстрактным методам, и что математики тоже выиграют, если будут изучать эти методы одновременно с их приложениями.
СОДЕРЖАНИИ СЛЕДУЮЩИХ ТОМОВ Том П. Гармонический анализ, самосопряженность. 1Х. Гармонический анализ. Х. Самосопряженность и существование динамики. Том Ш. Теория операторов. Х1. Возмущенна точечного спектра. ХП. Теория рассеяния. ХП1. Спектральный анализ. Другие тома. Х1У.
Представления групп. ХУ. Коммутативные банаховы алгебры. ХУ1. Выпуклые множества. ХУП. ГНС-конструкция. ХУИ1. Алгебры фон Неймана. Х!Х. Применения в квантовой теории поля. ХХ. Применения в статистической механике.. ! УЕ«ЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ Начинающий ... не диез«ее смуиуиивсе, еиви ... он обнарузсию, чию у нвио не ззаааею нредеариеюеаные знаний дами дзн чнюнин иредеаршпезвны» сведений. и. хзлмош 1А. Миозиаствв и фуиицми Мы предполагаем, что читатель знаком с множествами и функциями, но думаем не будет лишним сразу же установить определенную терминологию н ввести обозначения, которыми мы будем пользоваться далее на протяжении всей книги. Пусть Х вЂ” некоторое множество; запись хЕХ означает, что х есть элемент множества Х, а запись х(Х вЂ” что х не лежит во множестве Х.
Вместо высказывания «для всех х из Х» мы пишем (Чхй Х), а вместо выражения «существует такое хЕХ, что» вЂ” (Бхй Х). Символом «х«Р(х)» обозначается множество всех хЕХ, удовлетворяющих условию (илн условиям) Р(х). Если А— подмножество множества Х (обозначается А~Х), то Х",А представляет собой дополнение подмножества А до множества Х, т. е. Х",А='«хЕХ«х(А».
Вообще если А и  — подмножества одного и того же множества Х, то А",В = «х Е Х «х 6 А, х ( В». В случаях, когда мы рассматриваем множества, снабженные топологиями, под А всегда подразумеваетея замыкание множества А. Наконец, множество упорядоченных пар «(х,у>«хЕХ, уй У» называется декартовым произведением множеств Х и У и обозначается Хх У. Словами «функция» и «отображение» мы пользуемся как синонимами.