49
Правило весьма строгое. Так, (3!x)^(x) выражают словами there exists a unique x such that <^(x). Впрочем, секреты оборотов there is/there are столь существенны, что им будет отведена самостоятельная глава. Отметьте здесь же, что such вообще не используют, если у существительного поставлен определенный артикль или один из demonstratives или possessives. Важный вопрос — применение определителей при ссылках на нумерованные или именованные леммы, предложения и т. п. Верную стратегию легко понять на следующем примере. Если Вы сформулировали теорему 3.5 и, наконец, после предварительных рассуждений переходите к ее доказательству, то перед Вами открываются две возможности. Вы (с известной и, в общем, недопустимой игривостью) можете сказать: “The time has come to prove the theorem.” Или же более академично: “We now prove Theorem 3.5.” Обе конструкции грамматически корректны. В первом случае указание на рассматриваемую теорему дает определенный артикль the. Во втором варианте Theorem 3.5 является именем собственным (proper noun), подразумевающим однозначную отсылку к теореме 3.5. При этом артикль неуместен. Ещё одна полезная тонкость в употреблении артикля. Правильно писать: “the Sobolev Embedding Theorem” или же “Sobolev’s Embedding Theorem.” Объединение этих двух конструкций узусом (и лингвистами) не одобряется. Впрочем, вариант the famous Sobolev’s Theorem вполне нормален. Обратите внимание, что требуют определителя варианты с притяжательным падежом, не связанные с собственными именами типа “the author’s theorem.” Отметьте также, что есть вкусовые (или корпоративные) детали: например, в технической литературе принято писать Eq. (5) или Equation (5) (с большой буквы), а в математической периодике это соглашение не действует: в ней пишут лапидарно — (5). 49
|