 98  (Если бы A равнялось нулю, то A2 было нулем. При этом явно подразумевается, что A на самом деле не равняется нулю. Ясно, что речь идет об unreal condition в настоящем.) If A = 0 had been soluble nontrivially, then |A| would have been other than zero. (Если бы A = 0 было разрешимо нетривиально, то |A| был бы не нуль, но A, решавшее уравнение A = 0, на самом деле было нулем. При этом обсуждается некое unreal condition в прошлом.) Иногда используют варианты без союза if в стиле Had C([0,1]) a weakly compact neighborhood of zero, this space would be reflexive. Существует еще одна возможность отразить русское «если бы» с нереальным условием с помощью were — в конструкции Past Subjunctive: If the function A were B, then C would equal D. (По-русски: если бы функция A была B, то C равнялось бы D. Обратите внимание на were.) Ясно, что варианты, подобные приведенным оборотам, легко применять в доказательствах от противного. Запомните, что were — это единственная (универсальная и уникальная) форма Past Subjunctive. Еще деталь: если по смыслу if = whether, такое were никогда не употребляется. Здесь же стоит вспомнить о предлоге but for, выражающем русское «если бы не ...» (английский эквивалент if it were not ...). Например, But for completeness, we would readily find a divergent Cauchy sequence. Не забывайте также, что стереотипные импликации могут быть замаскированы. Вот варианты: Granted A, prove B. Heeding A, deduce B. Basing (it) on A, derive B. Leaning on A, infer B. Grounded on A, the claim B appears. Founding (it) on A, we conclude that B is true. With A available, B is immediate. 98 |
|
|
|
|
Последние статьи
http://comtutor.ru - Семейство онлайн курсов для изучения английского языка