Большая Советская Энциклопедия (МН)
Шрифт:
Примеры. 1) Всякое множество
2) Любое множество функций f , определённых на числовой прямой, частично упорядочено, если положить f1 < f2 , тогда и только тогда, когда для каждого действительного числа х имеем f1 (x ) lb f2 (x ).
3) Всякое множество действительных чисел линейно упорядочено: меньшее из двух чисел считается предшествующим большему.
Два упорядоченных множества называются подобными между собой, или имеющими один и тот же порядковый тип, если между ними можно установить (1—1)-соответствие, сохраняющее порядок. Элемент упорядоченного множества называется первым, если он предшествует в этом упорядоченном множестве всем остальным
Упорядоченное множество называется вполне упорядоченным, если оно само и всякое его правильное подмножество имеют первый элемент. Порядковые типы вполне упорядоченных множеств называются порядковыми, или ординальными, числами. Если вполне упорядоченное множество конечно, то его порядковое число есть обычное порядковое число элементарной арифметики. Порядковые типы бесконечных вполне упорядоченных множеств называются трансфинитными числами .
Точечные множества. Теория точечных множеств, т. е. в первоначальном понимании слова — теория множеств, элементами которых являются действительные числа (точки числовой прямой), а также точки двух-, трёх- и вообще n– мерного пространства, основана Г. Кантором, установившим понятие предельной точки множества и примыкающие к нему понятия замкнутого множества и др. Дальнейшее развитие теории точечных множеств привело к понятиям метрического пространства и топологического пространства , изучением которых занимается общая топология . Наиболее самостоятельное существование ведёт дескриптивная теория множеств. Основанная французскими математиками Р. Бэром и А. Лебегом в связи с классификацией разрывных функций (1905), дескриптивная М. т. началась с изучения и классификации т. н. борелевских множеств (B– множеств). Борелевские множества определяются как множества, могущие быть построенными, отправляясь от замкнутых множеств, применением операций сложения и пересечения в любых комбинациях, но каждый раз к конечному или к счётному множеству множеств. А. Лебег показал, что те же множества — и только они — могут быть получены как множества точек, в которых входящая в Бэра классификацию действительная функция f (x ) обращается в нуль или, более общо, удовлетворяет условию вида а < f (x ) lb b . Дальнейшее развитие дескриптивной М. т. было осуществлено преимущественно русскими и польскими математиками, особенно московской школой, созданной Н. Н. Лузиным (П. С. Александров, М. Я. Суслин, М. А. Лаврентьев, А. Н. Колмогоров, П. С. Новиков). Александров доказал теорему (1916) о том, что всякое несчётное борелевское множество имеет мощность континуума. Аппарат этого доказательства был применен Суслиным для построения теории А– множеств, охватывающих как частный случай борелевские (или В– ) множества (считавшиеся до того единственными множествами, принципиально могущими встретиться в анализе). Суслин показал, что множество, дополнительное к А– множеству М , является само А– множеством только в том случае, когда множество М — борелевское (дополнение к борелевскому множеству есть всегда борелевское множество). При этом А– множества оказались совпадающими с непрерывными образами множества всех иррациональных чисел. Теория А– множеств в течение нескольких лет оставалась в центре дескриптивной М. т. до того, как Лузин пришёл к общему определению проективных множеств, которые могут быть получены, отправляясь от множества всех иррациональных чисел при помощи повторного применения операции вычитания и непрерывного отображения. К теории А– множеств и проективных множеств относятся также работы Новикова и др. Дескриптивная М. т. тесно связана с исследованиями по основаниям математики (с вопросами эффективной определимости математических объектов и разрешимости математических проблем).
Значение М. т. Влияние М. т. на развитие современной математики очень велико. Прежде всего, М. т. явилась фундаментом ряда новых математических дисциплин (теории функций действительного переменного, общей топологии, общей алгебры, функционального анализа и др.).
Постепенно теоретико-множественные методы находят всё большее применение и в классических частях математики. Например, в области математического анализа они широко применяются в качественной теории дифференциальных уравнений, вариационном исчислении, теории вероятностей и др.
Наконец, М. т. оказала глубокое влияние на понимание самого предмета математики или таких её больших отделов, как геометрия . Только М. т. позволила отчётливо сформулировать понятие изоморфизма систем объектов, заданных вместе со связывающими их отношениями, и привела к пониманию того обстоятельства, что каждая математическая теория в её чистой абстрактной форме изучает ту или иную систему объектов лишь «с точностью до изоморфизма», т. е. может быть без всяких изменений перенесена на любую систему объектов, изоморфную той, для изучения которой теория была первоначально создана.
Что касается М. т. в вопросах обоснования математики, т. е. создания строгого, логически безупречного построения математических теорий, то следует иметь в виду, что сама М. т. нуждается в обосновании применяемых в ней методов рассуждения. Более того, все логические трудности, связанные с обоснованием математического учения о бесконечности (см. Бесконечность в математике), при переходе на точку зрения общей М. т. приобретают лишь большую остроту (см. Аксиоматическая теория множеств , Логика , Конструктивная математика , Континуум ).
Лит.: Лузин Н. Н., Теория функций действительного переменного, 2 изд., М., 1948; Александров П. С., Введение в общую теорию множеств и функций, М. — Л., 1948; Хаусдорф Ф., Теория множеств, пер. с нем., М. — Л., 1937.
П. С. Александров.
Множественные
Мно'жественные проце'ссы, рождение большого числа вторичных сильно взаимодействующих частиц (адронов ) в одном акте столкновения частиц при высокой энергии. М. п. характерны для столкновения адронов, однако в редких случаях они наблюдаются и при столкновениях других частиц, если их энергия достаточна для рождения нескольких адронов (например, при электронных столкновениях на ускорителях со встречными пучками). При столкновениях адронов с энергией выше нескольких Гэв М. п. доминируют над процессами одиночного рождения мезонов и упругого рассеяния частиц. Впервые М. п. наблюдались в космических лучах , однако тщательное их изучение стало возможным после создания ускорителей заряженных частиц высоких энергий. В результате исследований взаимодействия частиц космических лучей с энергией до 106 —107 Гэв в лабораторной системе координат, а также частиц от ускорителей с энергией до ~ 103Гэв (встречные пучки) выявлены некоторые эмпирические закономерности М. п.
С наибольшей вероятностью в М. п. рождаются самые лёгкие адроны — nи-мезоны , составляющие 70—80 % вторичных частиц. Значительную долю составляют также К-мезоны и гипероны (~ 10—20 %) и нуклон-антинуклонные пары (порядка нескольких процентов). Многие из этих частиц возникают от распада рождающихся резонансов .
Вероятность столкновения, сопровождаемого М. п. (эффективное сечение М. п.), при высоких энергиях почти не зависит от энергии сталкивающихся частиц (меняется не более чем на несколько десятков процентов при изменении энергии столкновения в 104 раз). Приблизительное постоянство сечения М. п. привело к модели «чёрных шариков» для описания процессов столкновения адронов. Согласно этой модели, при каждом сближении адронов высокой энергии на расстояния, меньшие радиуса действия ядерных сил, происходит неупругий процесс множественного рождения частиц; упругое рассеяние при этом носит в основном дифракционный характер (дифракция волн де Бройля частиц на «чёрном шарике»). Эта модель сыграла важную роль в развитии теории сильных взаимодействий (в частности, в установлении теоремы Померанчука о равенстве эффективных сечений взаимодействия частиц и античастиц при предельно высоких энергиях). С другой стороны, согласно квантовой теории поля, возможен медленный рост сечения М. п. с увеличением энергии Е , не быстрее, чем ln2Е (теорема Фруассара).
Число частиц, рождающихся в различных актах столкновения адронов определённой энергии, сильно варьирует и в отдельных случаях оказывается очень большим (рис. 1 ). Среднее число вторичных частиц <n> (средняя множественность) медленно растет с ростом энергии столкновения Е и практически не зависит от типа сталкивающихся адронов (рис. 2 ). При существующей точности измерений зависимость <n> от энергии одинаково хорошо описывается как логарифмической, так и степенной (типа Ev ; v < 1 ) функцией от энергии, что затрудняет выбор между различными теоретическими моделями М. п., предсказывающими разные типы этой зависимости. Средняя множественность много меньше максимально возможного числа вторичных частиц, которое определяется условием, что вся энергия столкновения в системе центра инерции (с. ц. и.) сталкивающихся частиц переходит в массу покоя вторичных частиц. Так, при столкновении протонов с энергией 70 Гэв (от Серпуховского ускорителя) с протонами мишени могло бы рождаться до 70 p-мезонов, в действительности же средняя множественность заряженных частиц при этой энергии составляет 5—6 частиц. Это означает, что на создание массы покоя вторичных частиц идёт только небольшая часть энергии столкновения, т. е. энергия тратится главным образом на сообщение овной части генерированных частиц большой кинетической энергии (большого импульса). В то же время характерной эмпирической закономерностью М. п. является то, что поперечные (к оси соударения) компоненты р^ импульсов вторичных частиц, как правило, малы. Среднее значение р^ ; составляет приблизительно 0,3—0,4 Гэв/с и почти постоянно в очень широкой области энергий. Поэтому вторичные частицы вылетают резко направленными и сужающимися по мере роста энергии потоками вдоль направления движения сталкивающихся частиц (в с. ц. и. — вперёд и назад, в лабораторной системе — по направлению движения налетающей частицы).
Изучение М. п. очень существенно для выяснения структуры адронов и построения теории сильных взаимодействий. В этом отношении особое значение имеют закономерности, установленные при изучении специального класса М. п. — т. н. инклюзивных процессов, когда из большого числа М. п., происходящих при столкновениях адронов «а» и «b», отбираются события с рождением определённой частицы «с» независимо от того, какие др. частицы (X) и в каком количестве сопровождают рождение частицы «с». На важность изучения инклюзивных процессов указал в 1967 А. А. Логунов , установивший на основе квантовой теории поля предельные законы возрастания их сечения с ростом энергии (аналогичные теореме Фруассара). При экспериментальном исследовании инклюзивных процессов на Серпуховском ускорителе (1968) и сравнении полученных данных с результатами опытов при более низких энергиях был обнаружен своеобразный закон подобия в микромире — т. н. масштабная инвариантность, или скейлинг (scaling). Масштабная инвариантность состоит в том, что вероятность рождения «инклюзивной» частицы «с» с определённым значением продольного импульса pL , (проекции импульса на направление движения сталкивающихся частиц) является при разных энергиях столкновения универсальной функцией от переменной Х = pL/pмакс , где рмакс — максимально возможное (при данной энергии) значение продольного импульса частицы «с» (рис. 3 ). Т. о., продольные импульсы вторичных частиц растут пропорционально энергии столкновения. Указания на существование такого рода зависимости получались ранее при изучении космических лучей. Она вытекала из того факта, что энергетический спектр вторичной компоненты космических лучей почти точно повторяет форму энергетического спектра первичной компоненты (Г. Т. Зацепин и др.). Масштабная инвариантность имеет глубокий физический смысл. Объяснение её на основе модельных представлений о составном строении адронов было предложено в 1969 Р. Фейнманом . (В 1963 на возможность такой закономерности указывал американский физик К. Уилсон.)