Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 1) Это следует из того, что инвариантный $n$-мерный интеграл классической динамики положителен. Если при этом речь идет не о всем многообразии $M$, а о некотором, содержащемся в $M$ множестве $A$, состоящем из кривых движения, то под «открытым множеством» здесь надо понимать множество, открытое относительно $A$, т. е. пересечение открытого множества многообразия $M$ с множеством $A$. к главе 7 Точка $P_{0}$ называется блуждающей, если существует открытое множество $\sigma_{0}$ и вещественное число $t_{1}$, такие, что $\sigma_{0}$ содержит $P_{0}$ и что $\sigma_{t}$ не имеет общих точек с $\sigma_{0}$ при всяких $t>t_{1}$. В противном случае точка $P_{0}$ называется неблуждающей. Рассмотрим произвольную точку $P$ множества $M_{1}-M_{1}^{\prime}$. Она является предельной точкой множества $W$. Поэтому существует последовательность $P^{1}, P^{2}, \ldots$ точек множества $W$, сходящаяся к $P$. По теореме о непрерывной зависимости от начальных условий отсюда следует, что при всяком вещественном $t$ последовательность $P_{t}^{1}, P_{t}^{2}, \ldots$ сходится к $P_{t}$. Так как точки $P_{t}^{i}$ также принадлежат $W$, ибо $W$ состоит из кривых движения, то отсюда следует, что $P_{t}$ есть предельная точка множества $W$. А так как $P_{t}$ принадлежит $M_{1}$ в силу того, что $P$ принадлежит $M_{1}$, то $P_{t}$ принадлежит $M_{1}-M_{1}^{\prime}$. Этим доказано, что кривая движения, проходящая через произвольную точку множества $M_{1}-M_{1}^{\prime}$, содержится в этом множестве, т.е., что $M_{1}-M_{1}^{\prime}$ состоит из кривых движения. Так как $M_{1}$ также состоит из кривых движения, то $M_{1}^{\prime}$ состоит из кривых движения, что и требуется доназать. С другой стороны, при условии аналитичности редакции неизвестны примеры, когда множество $M_{1}^{\prime \prime}$ непусто и отлично от $M$. 11) Как видно из авторского примечания к этой теореме, она формулирована «не вполне точно», т.е., попросту говоря, неправильно. Чтобы придти к правильной формулировке, достаточно заметить, что «точный счет выходов» движущейся точки из окрестности множества $M_{1}$ совсем не соответствует сути рассматриваемого вопроса, которая состоит в том, что эта точка находится в этой окрестности при всяком $t$, не принадлежащем некоторым исключительным интервалам. Таким образом мы получаем следующую формулировку. Для всякой окрестности $\Sigma$ множества $M_{1}$ существует натуральное число $N$ и положительное число $T$, удовлетворяющие условию: каково бы ни было движение системы, можно указать $N$ интервалов длины $T$ таких, что при $t$, не принадлежащем ни одному из них, движущаяся точка принадлежит $\Sigma$. Нетрудно видеть, что именно то и вытекает из приведенного в тексте рассуждения. где $A$ – множество всех вещественных $t$, при которых $P_{t}$ лежит в $\Sigma$, и mes $X$ означает лебегову меру множества $X$. Так как множество $\Sigma$ открыто и $P_{t}$ непрерывно зависит от $t$, то множество $A$ открыто, и потому числитель в выражении для вероятности существует. Теорема. Какова бы ни была окрестность $\Sigma$ множества $M_{p}$ и положительное число $\delta$, существует $L>0$ такое, что для любой точки $P$ и любых вещественных $t_{1} u t_{2}$, удовлетворяющих условию при этом через $W\left(P, \Sigma, t_{1}, t_{2}\right)$ обозначена вероятность того, что $P_{t}$ лежит в $\Sigma \kappa$ течение промежутка времени $\left[t_{1}, t_{2}\right]$ (см. предыдущее примечание). и рассмотрим движение точки $P_{t}$ в течение промежутка времени $\left[t_{1}, t_{2}\right]$, где $t_{2}-t_{1} \geqslant L$. Если через $A$ обозначить множество всех $t$, при которых $P_{t}$ принадлежит $\Sigma$, то дополнение к $A$ на числовой прямой содержится в сумме $N$ интервалов длины $T$. Следовательно, откуда, по определению вероятности (см. примечание 16), следует неравенство (1) примечания 17. при всяким $t$, принадлежащем $A$, то Мы прежде всего докажем теорему, основываясь на этих леммах, а затем докажем и самые леммы. В доказательстве теоремы мы будем пользоваться трансфинитной индукцией. Так как теорема верна при $p=1$ (см. предыдущее примечание), то нам надо лишь доказать следующие два утверждения: Доказательство утверждения ( $\alpha$ ). Допустим, что теорема верна для множества $M_{p}$, возьмем число $\delta>0$ и рассмотрим произвольную окрестность $\Sigma$ множества $M_{p+1}$. Обозначим через $\Sigma_{1}$ множество всех точек пространства $M$, расстояние которых от $M_{p+1}$ меньше, чем их же расстонние от $M-\Sigma$. Тогда $\Sigma_{1}$ также есть окрестность $M_{p+1}$ в силу замкнутости множества $M-\Sigma$ и $\bar{\Sigma}_{1}$ не пересекается с $M-\Sigma$ в силу замкнутости множества $M_{p+1}$, причем $\bar{X}$ означает замыкание множества $X$. Множество $\Sigma_{1} M_{p}$ есть поэтому окрестность $M_{p+1}$ в пространстве $M_{p}$. Но $M_{p+1}$ связано с $M_{p}$ совершенно так же, как $M_{1}$ с $M$. Поэтому в силу уже доказанной справедливости теоремы при $p=1$ существует $L_{1}>0$ такое, что какова бы ни была точка $P$, принадлежащая $M_{p}$, и каковы бы ни были числа $t_{1}, t_{2}$, удовлетворяющие условию $t_{2}-t_{1} \geqslant L_{1}$. Обозначим теперь через $\gamma$ совокупность всех открытых множеств $\sigma$, удовлетворяющих условию: при всяком $\tau$, не превосходящем $\frac{L_{1}}{2}$ по абсолютной величине, множество $\sigma_{\tau}$ не пересекается с одним из множеств $\bar{\Sigma}_{1}, M-\Sigma$. Так как последние два множества замкнуты и не пересекаются друг с другом, то согласно лемме 1 элементы $\sigma$ множества $\gamma$ покрывают все пространство $M$. Обозначим, далее, через $\Sigma_{2}$ сумму всех элементов множества $\gamma$, пересекаюшихся с $M_{p}$. В силу только что сказанного, эти элементы покрывают $M_{p}$. Следовательно, $\Sigma_{2}$ есть окрестность $M_{p}$ в пространстBe $M$. Согласно предположению, отсюда следует существование числа $L_{2}>0$ такого, что для всякой точки $P$ пространства $M$ и всяких вещественных $t_{1}$ и $t_{2}$, удовлетворяющих условию $t_{2}-t_{1} \geqslant L_{2}$. и покажем, что так определенное число $L$ обладает желаемым свойством. и $P$ – какая-либо точка пространства $M$. так как $t_{2}-t_{1} \geqslant L \geqslant L_{2}$. так как $Q$ принадлежит $M_{p}$. Отсюда Рассмотрим теперь произвольное $\tau$, принадлежащее множеству Так как $Q$ принадлежит $\sigma$, то $Q_{\tau}$ принадлежит $\sigma_{\tau}$. С другой стороны, $Q_{\tau}$ принадлежит $\Sigma_{1}$, так как $\tau$ принадлежит $C$. Следовательно, $\sigma_{\tau}$ пересекается с $\Sigma_{1}$ и тем более с $\bar{\Sigma}_{1}$. А так как $|\tau| \leqslant \frac{L_{1}}{2}$ и $\sigma$ есть элемент множества $\gamma$, то $\sigma_{\tau}$ не пересекается с $M-\Sigma$, т.е. содержится в $\Sigma$. Принимая, наконец, во внимание, что $P_{t}$ принадлежит $\sigma$, заключаем отсюда, что $P_{t+\tau}$ принадлежит $\Sigma$ и что $t+\tau$ принадлежит $B$. С другой стороны, $t+\tau$ принадлежит отрезку $\left[t-\frac{L_{1}}{2}, t+\frac{L_{1}}{2}\right]$, так как $\tau$ принадлежит отрезку $\left[-\frac{L_{1}}{2}, \frac{L_{1}}{2}\right]$. Мы доказали таким образом, что при всяком $\tau$, принадлежащем $C\left[-\frac{L_{1}}{2}, \frac{L_{1}}{2}\right]$, число $t+\tau$ принадлежит $B\left[t-\frac{L_{1}}{2}, t+\frac{L_{1}}{2}\right]$. что справедливо, таким образом, при всяком $t$, принадлежащем $A$. По определению множества $B$ это даст что, таким образом, верно, какова бы ни была точка $P$ и каковы бы ни были числа $t_{1}$ и $t_{2}$, удовлетворяющие условию (2). Этим утверждение $(\alpha$ ) доказано. Доказательство утверждения ( $\beta$ ). Допустим, что теорема справедлива при всяком $p$, меньшем предельного порядкового числа $q$, и возьмем произвольную окрестность $\Sigma$ множества $M_{q}$. Множества $M_{p}-\Sigma$ $(p<q)$ образуют убывающую последовательность. Они замкнуты, и пересечение их есть $M_{p}-\Sigma$, т. е. пустое множество. Так как пространство $M$, в котором все эти множества содержатся, есть замкнутое многообразие, то существует $p<q$, такое, что $M_{p}-\Sigma$ есть пустое множество. Для этого $p$ множество $\Sigma$ является окрестностью $M_{p}$. Следовательно, согласно допущению существует $L \geqslant 0$, такое, что для всякой точки $P$ и всяких чисел $t_{1}$ и $t_{2}$, удовлетворяющих условию (2). Этим доказано утверждение ( $\beta$ ). С другой стороны, последовательность $\tau^{1}, \tau^{2}, \ldots$ имеет точку сгущения $\tau$, так как $\left|\tau^{n}\right| \leqslant T(n=1,2, \ldots)$. А так как $P_{\tau^{n}}^{n, i}=Q^{n, i}$, то, следовательно, $P_{\tau}$ является точкой сгущения обеих последовательностей $Q^{1,1}, Q^{2,1}, \ldots$ и $Q^{1,2}, Q^{2,2}, \ldots$ В силу замкнутости множеств $F_{i}(i=1,2)$ отсюда следует, что точка $P_{\tau}$ принадлежит обоим этим множествам, вопреки предположению. Так как к этому противоречию мы пришли в результате допущения неправильности леммы 1 , то последняя тем самым доказана. Имеем Ho Следовательно, откуда согласно условию леммы: что и дает доказываемое неравенство. Пусть $F$ – рассматриваемая совокупность $\omega$-предельных точек движения точки $P$. Допустим, что она не связна. Тогда она представляется как сумма двух непустых замкнутых множеств $F_{1}$ и $F_{2}$, не имеющих общих точек. Эти множества находятся на положительном расстоянии $\varepsilon$ друг от друга. Обозначим через $G$, совокупность точек, находящихся на расстоянии, меньшем $\frac{\varepsilon}{2}$, от $F_{i}$. Тогда $G_{1}+G_{2}$ есть совокупность точек, находящихся на расстоянии, меньшем $\frac{\varepsilon}{2}$, от $F$. Следовательно, согласно доказанной в тексте теореме о приближении к $\omega$-предельному множеству существует число $\tau$, такое, что при всяком $t>\tau$ точка $P_{t}$ принадлежит одной из областей $G_{i}$. Она всегда принадлежит не более чем одной из них, так как эти области не имеют общих точек. Обозначим через $A_{i}$ совокупность всех $t>\tau$ таких, что $P_{i}$ принадлежит $G_{i}$. В силу непрерывной зависимости $P_{t}$ от $t$ множества $A_{i}$ открыты. Они не имеют общих точек и в сумме дают всю полупрямую $t>\tau$. В силу связности последней отсюда следует, что одно из них пусто, а другое совпадает со всей полупрямой $t>\tau$. Допустим для определенности, что $A_{2}$ пусто. Тогда $P_{t}$ не принадлежит $G_{2}$ при всяком $t>\tau$, и потому точки множества $F_{2}$, содержащиеся в открытом множестве $G_{2}$, не являются $\omega$-предельными точками рассматриваемого движения. Так как $F_{2}$ не пусто, то это означает противоречие. 21) Так как понятие совершенного множества кривых движения не определено, то фраза эта не имеет смысла. По-видимому, Биркгоф хочет сказать, что в случае, когда минимальное множество $\Sigma$ не состоит из одной замкнутой кривой движения (которая в частности может вырождаться в точку), это множество содержит неисчислимое множество кривых движения, причем в окрестности любой точки любой из этих кривых содержатся точки, принадлежащие другим кривым. Докажем это свойство минимального множества $\Sigma$. Пусть $P$ – произвольная точка множества $\Sigma, \varepsilon$ – произвольное положительное число. Согласно предположению кривая движения, проходящая через $P$, не может быть замкнута, так каю иначе множество $\Sigma$ состояло бы только из этой кривой. Следовательно, при $t_{1} В частности, сама точка $P=P_{0}$ является $\omega$-предельной. Следовательно, существует $t_{1}>1$, такое, что $\rho\left(P_{0}, P_{t_{1}}\right)<\frac{1}{2} \varepsilon_{0}$, где $\rho(X, Y)$ означает расстояние между точками $X$ и $Y$. Так как $t_{1}>1$, то точка $P_{t_{1}}$ не принадлежит дуге $P_{-1} P_{1}$ рассматриваемой кривой и потому находится от последней на положительном расстоянии $\varepsilon_{1}$, Так как $\rho\left(P_{0}, P_{t_{1}}\right)<\frac{\varepsilon_{0}}{2}$, то, разумеется, $\varepsilon_{1}<\frac{\varepsilon_{0}}{2}$. Точка $P_{t_{1}}$ является $\omega$-предельной. Следовательно, существует $t_{2}>$ $>t_{1}+1$ такое, что Точка $P_{t_{2}}$ не принадлежит дуге $P_{-t_{1}} P_{t_{1}}$ и потому находится от последней на положительном расстоянии $\varepsilon_{2}$ причем $\varepsilon_{2}<\frac{\varepsilon_{1}}{2}$, так как Продолжая этот процесс, получаем две последовательности: $t_{0}=0$, $t_{1}, t_{2}, \ldots$ и $\varepsilon_{0}, \varepsilon_{1}, \varepsilon_{2}, \ldots$, удовлетворяющие условиям: В силу условий (2) и (3) последовательность точек $P_{t_{0}}, P_{t_{1}}, P_{t_{2}}, \ldots$ сходится к некоторой точке $Q$, причем $\rho(P, Q)<\varepsilon_{0}$. В силу условия (1) эта точка является $\omega$-предельной для движения $P_{t}$ и потому принадлежит $\Sigma$. В силу условий (2) и (3) имеем откуда, согласно (4), следует, что $Q$ не принадлежит никакой дуге $P_{-t_{n}} P_{t_{n}}$. Этим доказано, что для любой точки $P$ множества $\Sigma$ и любого $\varepsilon_{0}>0$ существует точка $Q$ этого же множества, отстоящая от $P$ менее, чем на $\varepsilon_{0}>0$, и не лежащая на кривой движения, проходящей через $P$. Теперь остается доказать, что $\Sigma$ состоит из неисчислимого множества кривых движения. Мы сейчас докажем даже, что множество кривых движения, содержащихся в $\Sigma$, имеет мощность континуума (см. статью Биркгофа «Queiques théorèmes sur les mouvements des systèmes dynamiques», Bull. Soc. Math. France, т. 40, 1912). Для этого мы рассмотрим ( $n-1$ )-мерную площадку, пересекающую кривую движения, проходящую через точку $P$ в этой самой точке. Если эту площадку взять достаточно малой, то все кривые движения, содержащиеся в $\Sigma$, будут пересекать ее в одном направлении. Мы возьмем ее гомеоморфной ( $n-1$ )-мерному евклидову пространству. Тогда, согласно уже доказанному, пересечение площадки с множеством $\Sigma$ будет совершенным множеством относительно площадки. Отсюда, как известно, следует, что это пересечение имеет мощность континуума. С другой стороны, каждая кривая движения имеет с рассматриваемой площадкой не более чем исчислимое множество общих точек. Из всего этого следует, что содержащиеся в $\Sigma$ кривые движения образуют множество мощности континуума.
|
1 |
Оглавление
|