Cтраница 4
Мы не приводим формального доказательства леммы 1.4, но проиллюстрируем ее одним очень простым примером. [46]
Не останавливаясь на формальном доказательстве этого утверждения, приведем более физичные соображения, поясняющие его происхождение. [47]
Предметом данного пункта является формальное доказательство того, что в потенциальном поле произвольной формы, удовлетворяющем единственному условию быстрого убывания ( или обращения в нуль) на бесконечности, так же как и в точечной яме, глобула превращается в клубок путем фазового перехода второго рода. [48]
Здесь мы кратко приводим формальное доказательство того, как возникают такие замены. В случае взаимодействующих полей их пропагаторы не являются пропагаторами свободных частиц. [49]
Мы определим теперь понятие формального доказательства в формализованном языке. Это понятие является точным аналогом процесса вывода в интуитивной математике. [50]
Прежде чем переходить к формальному доказательству теоремы, дадим наглядное пояснение, показывающее, что сопряженные точки определяют такие вариации а ( и) в пространстве П, вдоль которых квадратичная часть функционала Е убывает. Будем считать, что на многообразии М задана положительно определенная риманова метрика и V - риманова связность, согласованная с этой метрикой. [51]