Cтраница 3
Позднее, в возрасте двенадцати лет, он увидел чудо другого рода: книжку по евклидовой геометрии на плоскости, из которой он узнал, что вовсе не очевидные утверждения ( например, пересечение трех высот треугольника в одной точке) могут быть доказаны с такой достоверностью, что всякое сомнение кажется исключенным. [31]
Преимущество проведенного доказательства состоит в том, что оно позволило получить нам новое содержательное утверждение ( о связи монотонности функции и ее производной) исходя из более простых и более очевидных утверждений механики. Недостатком его является то, что перевод теоремы на язык механической модели сделан описательно, без формулировки точных определений и аксиом, исходя из индивидуальных представлений о механическом движении и его характеристиках. [32]
Теорема 2.3 вытекает из теоремы 2.1, если перейти от нормальной формы задания многогранника М ( А, Ь1, №, d1, d2) к канонической, вводя фиктивные переменные, и воспользоваться очевидным утверждением: матрица А является унимодулярной тогда и только тогда, когда абсолютно унимодулярна матрица А, / т, где 1т - единичная ( шхт) - матрица. [33]
Удобным средством для доказательства теоремы о сложности является использование упрощенного варианта теоремы о рекурсии Клини [9]: для каждой общерекурсивной функции а найдется такое натуральное число /, что фао -) Ф Примером использования этой теоремы может служить доказательство очевидного утверждения: плохо построенная машина может тратить зря огромное число шагов при вычислении простой функции. [34]
Преимущество проведенных нами доказательств о связи свойств функции и ее производной состоит в том, что они позволили нам получить новые содержательные утверждения ( например, о связи монотонности функции и ее производной), исходя из более простых и более очевидных утверждений механики. [35]
Мы не останавливаемся на сложном вопросе о том, каким наименее ограничительным условиям нужно подчинить функции u ( s) и v ( s) для того, чтобы формулы (6.6) и (6.7) имели место. Ограничимся очевидным утверждением, что для этого достаточно, чтобы они удовлетворяли условию Гельдера. [36]
Это очевидное утверждение будет неоднократно использоваться в дальнейшем. [37]
Достижимость цели зависит от расходов на ее выполнение. Это очевидное утверждение также необходимо учитывать при формировании системы-цели. [38]
![]() |
Транзитивность сравнения мощностей. [39] |
Если А имеет не большую мощность, чем В, а В имеет не большую мощность, чем А, то они рав-номощны. Это вовсе не очевидное утверждение составляет содержание теоремы Кантора - Берн-штейна, которую мы сейчас докажем. [40]
Применяя это соотношение к круговым процессам, мы полагали 1 1 1 / 2, и поэтому ( А. Фактически, это очевидное утверждение и является первымзакономтермодинамики действительно, если бы внутренняя энергия системы не была бы однозначной функцией состояния, то / ь 172, а следовательно, и само уравнение (1.34) не могли бы иметь определенного смысла. [41]
Индекс означает, что при вычислении веса в ( ffk, а. Имеют место следующие, почти очевидные утверждения. [42]
Использованное им положение о не более чем счетности множества непересекающихся интервалов на прямой доказывалось, как мы говорили не раз, с обращением все к той же аксиоме. Все же на последнем пункте нужно, пожалуй, остановиться несколько подробнее, поскольку Лебег в заключительных словах третьего абзаца приведенного выше текста предлагает доказательство этого вполне очевидного утверждения. [43]
Сама по себе верность этих трех утверждений, вероятно, читателю очевидна. С другой стороны, столь же вероятно, что на данном этапе чтения книги ему останется не ясным, зачем нужны эти три утверждения, чем именно они интересны, почему из всевозможных очевидных утверждений я фиксировал его внимание именно на этих трех утверждениях. [44]
Таким образом, показателем эффективности технического обслуживания и ремонта обособленного объекта линейной части трубопровода являются средние затраты на обслуживание и ремонт и коэффициент готовности. Снижение средних удельных затрат на обслуживание и ремонт и повышение коэффициента готовности каждого объекта способствует повышению эффективности эксплуатации линейной части трубопровода. Это очевидное утверждение является основой при разработке целесообразных стратегий. Стратегия технического обслуживания и ремонта линейной части представляет собой совокупность индивидуальных рациональных стратегий обособленных объектов, режим обслуживания которых корректируется с учетом их работы в системе. Множество конкурирующих рациональных стратегий обслуживания и ремонта обособленного объекта составляют стратегии, обеспечивающие наилучшие значения обоих показателей 3Pi и ki или одного из них. [45]