Dictionary - Mathematical English Usage
Dictionary - Mathematical English Usage
A Dictionary
by
Jerzy Trzeciak
Senior Copy Editor
Institute of Mathematics
Polish Academy of Sciences
Updated August 8, 2012
Available online at: http://www.impan.pl/Dictionary
c _ Copyright by Jerzy Trzeciak, Warszawa 2012
2 JERZY TRZECIAK
A
a, an We conclude that there is a smallest integer p for which f(p) = 0. Theorem 2 has a very
important converse, the Radon-Nikodym theorem. Our present assumption implies that the
last inequality in (8) must actually be an equality. Some of the isomorphisms classes above
will have a rank of 2. The only additional feature is the appearance of a factor of 2. This
says that f is no longer than the supremum of the boundary values of G, a statement similar
to (1). This term derives from quiver, a notion used in representation theory of algebras.
The earth has an average density 5.5 times that of water. If p = 0 then there are an additional
m arcs.
abbreviate [sth for sth; sth as sth; sth to sth; see also: brevity, short] We shall abbreviate the
expression (3) to F(k). We abbreviate this as f = g a.e. Thus, in abbreviated notation,.....
abbreviation [for sth; see also: shorthand, short] Note that (3) is merely an abbreviation for
the statement that.....
able [to do sth; see also: can] Using some facts about polynomial convexity, we are able to
deduce..... It seems plausible that..... but we have been able to establish this only in certain
cases. However, we have thus far been unable to nd any magic squares with seven square
entries.
abound [see also: numerous, plentiful, profusion, abundance, variety, wealth] Examples abound
in which P is discontinuous.
about [see also: roughly, approximately] The Taylor expansion of f about around) zero is.....
If s
0
lies below R
2
, then we can reect about the real axis and appeal to the case just considered.
These slits are located on circles about the origin of radii r
k
. The diameter of F is about
twice that of G. Then n(r) is about kr
n
. Let A denote the rectangle B rotated through /6 in
a clockwise direction about the vertex (0, 1). What would this imply about the original series?
What about the case where q > 2? It is hoped that a deeper understanding of these residues
will help establish new results about the distribution of modular symbols. On the other hand,
there is enormous ambiguity about the choice of M. In this section we ask about the extent
to which F is invertible. Here the interesting questions are not about individual examples,
but about the asymptotic behaviour of the set of examples as one or another of the invariants
(such as the genus) goes to innity. However, as we are about to see, this complication is easily
handled. This brings about the natural question of whether or not there is any topology on
the set of all possible itineraries.
above [see also: foregoing, precede, previous] The function F is bounded above below) by 1.
By the above,..... Let T be an isometric semigroup as above. In the notation above In the
above notation),.....
absence [see also: lack] The location of the zeros of a holomorphic function in a region is
subject to no restriction except the obvious one concerning the absence of limit points in .
[Note the dierence: absence = non-presence; lack = shortage of something desirable.]
absorb The second term can be absorbed by the rst.
abstract It seems that the relations between these concepts emerge most clearly when the setting
is quite abstract, and this (rather than a desire for mere generality) motivates our approach to
MATHEMATICAL ENGLISH USAGE 3
the subject. This abstract theory is not in any way more dicult than the special case of the
real line.
abundance [see also: wealth, variety, profusion, numerous] The monograph is illustrated with
an abundance of gures and diagrams.
abuse By abuse of notation, we continue to write f for f
1
. We shall, by convenient abuse
of notation, generally denote it by x
t
whatever probability space it is dened on. With the
customary abuse of notation, the same symbol is used for.....
accessible [to sb] Thus the paper is intended to be accessible both to logicians and to topologists.
The present paper is motivated by the desire to make the subject as accessible as possible.
accidental [see also: deliberately, intentionally] The use of the word generic is not accidental
here.
accomplish [see also: complete, nish, do, perform] We can accomplish both tasks by showing
that..... Actual construction of..... may be accomplished in a variety of ways.
accord [see also: agree, correspond, match] This accords with the intuition that as we pass down
the coding tree, we nd out more and more detailed information about the ordering actually
represented.
accordance [see also: agreement] Choose in accordance with Section 8.
according [as X or Y; to sth; to whether X or Y] The solutions are f or g according as t = 1 or
t = 2. Then F can be decomposed according to the eigenspaces of P. Choose S
k
according
to the following scheme. The middle part of Table 2 compares the classication according to
max a
i
, where only the longitudinal information is utilized, with those according to max b
ik
,
where both longitudinal and survival information are used.
accordingly [see also: respectively, suitably] The player has to decide which of the two strategies
is better for him and act accordingly. Write A = BC, factor a = bc accordingly, and let.....
account 1 [of sth; see also: description] A very readable account of the theory has been given in
[Zag]. We are indebted here to Villanis account (see [2]) of a standard generalization of convex
conjugacy. For a recent account we refer to [4]. See the simplied account in [2, Section 4].
See [17] for a brief account of the results obtained. [Not: the obtained results] The Markov
chain z
k
takes no account of how long the process stays in V . On account of (5), we have.....
2 [for sth; see also: explain, justify, reason, represent] This theorem accounts for the term
subharmonic. [= explains] So all the terms of (2) are accounted for, and the theorem
is proved. He accounts for all the major achievements in topology over the last few years.
[= He records] Firms employing over 1000 people accounted for 50% of total employment.
[= represented 50%]
accurate [see also: precise] The zeros of L-functions are all accurate to within 10
5
.
achieve [see also: attain, reach, take, gain] Equality is achieved only for a = 1. The function
g achieves its maximum at x = 5. Among all X with xed L
2
norm, the extremal properties
are achieved by multiples of U. This achieves our objective of describing.....
achievement [see also: result] He accounts for all the major achievements in topology over the
last few years. Their remarkable achievement seemed to validate Johns claim. However, it
4 JERZY TRZECIAK
soon turned out that..... a considerable extraordinary/ne/important/impressive/outstand-
ing/signicant) achievement
acknowledge We acknowledge a debt to the paper of Black [7]. This research was initiated when
the rst author was visiting the University of Alberta in the summer of 2008; the nancial support
and kind hospitality are gratefully acknowledged. We also acknowledge useful discussions with
J. Brown. The author gratefully acknowledges the referees helpful comments pertaining to the
rst draft of this paper. [Do not write: I acknowledge Dr. Brown for..... if you mean: I wish
to thank Dr. Brown for.....]
acquire [see also: get] Thus, the tensor algebra acquires a graded algebra structure.
across Along the way, we come across some perhaps unexpected rigidity properties of familiar
spaces.
act [see also: operate, proceed] We make G act trivially on Y . The player has to decide which
of the two strategies is better for him and act accordingly.
action All of the action in creating S
i+1
takes place in the individual cells of type 2 or 3. Away
from critical points, the action of G is reminiscent of the action of a cyclic group of order d.
actual Actual construction of..... may be accomplished in a variety of ways.
actually [see also: fact, more] The operator A is not merely symmetric, but actually selfadjoint.
Actually, Theorem 3 gives more, namely,..... Actually, the proof gives an even more precise
conclusion:..... Although the denition may seem articial, it is actually very much in the spirit
of Darbos old argument in [5]. Our present assumption implies that the last inequality in (8)
must actually be an equality. This accords with the intuition that as we pass down the coding
tree, we nd out more and more detailed information about the ordering actually represented.
adapt [,= adopt; see also: adjust, alter, change, convert, modify, vary, t, suitable] The proof
of Theorem 5 is easily adapted to any open set. The method of proof of Theorem B can be
adapted to extend the right-to-left direction of Mostowskis result by showing that..... This
denition is well adapted for dealing with meromorphic functions. The hypotheses of [4] are
dierent, however, and do not seem to adapt easily to the time-inhomogeneous case.
adaptation [see also: adjustment, modication, variation] Our method of proof will be an
adaptation of the reasoning used on pp. 7172 of [3].
add [see also: sum, total] Adding equations (2) and (3), we obtain..... [Not: Adding by sides]
The terms with n > N add up to less than 2.
addition Addition of (2) and (3) gives..... The set S is a semigroup with respect to coordi-
natewise addition. If h is modied by the addition of a suitable constant, it follows that.....
In addition to illustrating how our formulas work in practice, it provides a counterexample
to Browns conjecture. In addition to f being convex, we require that..... In addition to a
contribution to W
1
, there may also be one to W
2
. Assume, in addition to the hypotheses of
Exercise 4, that.....
additional [see also: extra, further, more] Now F has the additional property of being convex.
This solution has the additional advantage of being easily computable. If p = 0 then there
are an additional m arcs. [Note the article an.]
MATHEMATICAL ENGLISH USAGE 5
additionally [see also: also, moreover] Now F is additionally assumed to satisfy.....
address [see also: deal, take up] Strong compactness will be addressed in Section 3. The
main problems that we address are..... Addressing this issue requires using the convergence
properties of Fourier series. We close this article by addressing, in part, the case of what
happens if we replace the map T by convolution.
adhere [to sth; see also: adopt] We adhere to the convention that 0/0 = 0.
ad hoc [see also: provisional, temporary] With Lemma 2 in mind, we make the following ad
hoc denition.
adjoin If we adjoin a third congruence to F, say a = b, we obtain..... The extended real number
system is R with two symbols, and , adjoined.
adjust [see also: alter, adapt, change, modify] In the latter case we may simply adjust F to
equal 1 on the Borel set where it falls outside the specied interval. The constants are so
adjusted in (6) that (8) holds.
adjustment [see also: adaptation, modication] Although these proofs run along similar lines,
there are subtle adjustments necessary to t the argument to each new situation.
admit [sth; of sth] The continuum Y is tree-like since it admits a map onto X. This inequality
admits of a simple interpretation.
adopt [,= adapt; see also: adhere, take] We adopt throughout the convention that compact
spaces are Hausdor. We adopt the convention that the rst coordinate i increases as one goes
downwards, and the second coordinate j increases as one goes from left to right. To avoid
undue repetition in the statements of our theorems, we adopt the following convention. This
is the point of view adopted in Section 3. Furthermore, adopting this strategy considerably
eases constructing a coding tree from a linear order. We could have adopted an approach to
proving Theorem 2 along a line of reasoning which bears greater resemblance to the treatment
of the analogous result in Section 1.
advance [see also: development] The primary advance is to weaken the assumption that H is
C
2
, used by previous authors, to the natural condition that H is C
1
. Remarkable advances
have been made recently in the understanding of.....
advantage [of sth over sth; of doing sth; see also: merit, benet] One major advantage of..... is
that..... The advantage of using..... lies in the fact that..... This solution has the additional
advantage of being easily computable. This approach fails to take advantage of the Gelfand
topology on the character space. We take advantage of this fact on several occasions, by not
actually specifying the topology under consideration. On the other hand, as yet, we have
not taken advantage of the basic property enjoyed by S: it is a simplex. a considerable
decisive/denite/obvious/main/signicant) advantage
advantageous [see also: helpful, useful] In this case it is advantageous to transfer the problem
to (say) the upper half-plane.
advent However, with the recent advent of simulation based inference, the need for analytically
tractable posteriors is no longer critical.
6 JERZY TRZECIAK
aect [see also: inuence] Altering nitely many terms of the sequence u
n
does not aect the
validity of (9). We show that one can drop an important hypothesis of the saddle point theorem
without aecting the result. How is the result aected if we assume merely that f is bounded?
If a, b, and c are permuted cyclically, the left side of (2) is unaected. Properties involving
topological centres are unaected by a change to an equivalent weight.
armative We give an armative answer to the question of [3].
aord [see also: provide, furnish, yield] A counterexample is aorded by the KleinGordon
equation. We can now pose a problem whose solution will aord an illustration of how (5) can
be used. Having illustrated our method in Section 2, we can aord to be brief in our proof of
Theorem 5.
aeld To go into this in detail would take us too far aeld.
aforementioned Our rst result generalizes (8) by exploiting some general facts seemingly over-
looked by the aforementioned authors. We underline that the aforementioned results in [1] all
rely on the conformality of the underlying construction.
after The proof of (8) will be given after we have proved that..... We defer the proof of the
moreover statement in Theorem 5 until after the proof of the lemma. After making a linear
transformation, we can assume..... The desired conclusion follows after one divides by t and
lets t tend to 0. However, as pointed out right after (5),.....
again Hence, by (7) again, we have..... Finally, case (E) is completed by again invoking Theo-
rem 1. The operator H is again homogeneous.
against No specic evidence against the conjecture has been produced yet.
agree [see also: accord, correspond, match] Our denition agrees with the one of [3]. The
liftings on A and B agree on A B, hence we can piece them together to obtain.....
agreement [see also: accordance] This is in agreement with our previous notation. With this
agreement, it is clear that.....
aid [see also: help] The solutions can be carried back to H(V ) with the aid of the mapping
function . We see with the aid of an integration by parts that..... We now construct a group
that will be of aid in determining the order of G.
aim 1 [see also: desire, end, object, objective, task, purpose, intention] Our rst aim is to study
the ergodic properties of T. Our aim here is to give some sort of functorial description of K
in terms of G. This connection has been exploited to construct various innite families, with
the aim of lling possible gaps. In the remainder of this section, we study some properties
of K, with the eventual aim (not realized yet) of describing K directly using G. the broad
general/central/main/major/primary/limited/modest/underlying/original) aim
2 [to do sth, at sth, for sth; see also: design, intend] We aim to prove the following inequality:.....
These results therefore describe the very close connection between the method of encoding and
the structures we are aiming to classify. Aiming for a contradiction, suppose that.....
alas [see also: unfortunately] Having established (1), one might be tempted to try to extend
this result to general p through the choice of a suitable ideal B. Alas, as we shall see now, this
attempt is futile.
MATHEMATICAL ENGLISH USAGE 7
albeit [= though] However, we shall show in Section 3 that this simply results in Denition 3
again, albeit with complex weight. It is proved in [1] (albeit with a slightly dierent formulation)
that.....
algebra By elementary algebra, we can show that.....
algorithm It is obvious that the above theorem supplies an algorithm to eectively recognize
whether SP is in A. He used a new version of an algorithm for nding all normal subgroups
of up to a given index in a nitely presented group.
all [see also: any, each, every, whole, total] Hence all that we have to do is choose an x in X
such that..... Thus, all that remains is to repeat the construction for f in place of g. An
examination of the argument just given reveals that this is all we have used. All but a nite
number of the G
s
are empty. Note that any, but not all, of the sets h
1
and g
1
can be
empty. Now E, F and G all extend to U. a manifold all of whose geodesics are closed [= a
manifold whose geodesics are all closed] They all have their supports in V . They are all zero
at p. This map extends to all of M. These volumes bring together all of R. Bings published
mathematical papers. If t does not appear in P at all, we can jump forward n places. But
A
n
z
n
is much larger than the sum of all the other terms in the series
A
k
z
k
. Thus A is the
union of all the sets B
x
. the space of all continuous functions on X the all-one sequence
Any vector with three or fewer 1s in the last twelve places has at least eight 1s in all. The
elements of G, numbering 122 in all, range from 9 to 2000.
allow [sth; sth to be sth; sb to do sth; see also: enable, permit, possible] These theorems allow
one to guess the Plancherel formula. [Or: allow us to guess; not: allow to guess] As the
space of Example 3 shows, complete regularity of X is not enough to allow us to do that.
This allows proving the representation formula without having to integrate over X. This easily
allows the cases c = 1, 2, 4 to be solved. By allowing f to have both positive and negative
coecients, we obtain..... It is therefore natural to allow (5) to fail when x is not a continuity
point of F. The limit always exists (we allow it to take the value ). Lebesgue discovered
that a satisfactory theory of integration results if the sets E
i
are allowed to belong to a larger
class of subsets of the line. In [3] we only allowed weight functions that were C
1
. It should be
possible to enhance the above theorem further by allowing an arbitrary locally compact group L.
Here we allow a = 0. We deliberately allow that a given B may reappear in many dierent
branches of the tree.
allude [to sth; see also: mention, refer] We now come to the theorem which was alluded to in
the introduction of the present chapter. One should remark that the ambiguity alluded to in
Remark 3 disappears when talking about an ane eld.
almost [see also: nearly, practically] It is almost as easy to nd an element..... Incidentally,
the question of whether K(E) is amenable for specic Banach spaces E seems to have received
almost no attention in the literature.
alone [see also: only, solely] Neither (1) nor (2) alone is sucient for (3) to hold. Now M does
not consist of 0 alone. Then F is a function of x alone.
along This is derived in Section 3 along together) with a new proof of Morgans theorem.
The proof proceeds along the same lines as the proof of Theorem 5, but the details are more
complicated. For direct constructions along more classical lines, see [KL]. Although these
8 JERZY TRZECIAK
proofs run along similar lines, there are subtle adjustments necessary to t the argument to each
new situation. Along the way, we come across some perhaps unexpected rigidity properties of
familiar spaces.
already This has already been proved in Section 4. This idea is very little dierent from what
can already be found in [2]. We put b in R unless a is already in. In the physical context
already referred to, K is the density of..... [Note the double r in referred.] Inserting additional
edges destroys no edges that were already present.
also [see also: moreover, furthermore, likewise, too] Hence f
n
also converges to f. We shall
also leave to the reader the proof of (5). Since R is a polynomial in x, so also is P. The map
G is also not C
1
. It is also not dicult to obtain the complete additivity of . The k
i
are
not values of u and hence also not values of w.
alter [see also: adjust, change, convert, modify, transform, vary] We shall need ways of con-
structing new triangulations from old ones which alter the f-vector in a predictable fashion.
Altering nitely many terms of the sequence u
n
does not aect the validity of (9). The theorem
implies that some nite subcollection of the f
i
can be removed without altering the span.
alternate The terms of the series (1) decrease in absolute value and their signs alternate.
Successive vertices on a path have alternating labels.
alternately Every path on G passes through vertices of V and W alternately.
alternative An alternative way to analyze S is to note that..... Here is an alternative phrasing
of part (1):..... An ingenious alternative proof, shorter but still complicated, can be found
in [MR].
alternatively Alternatively, it is straightforward to show directly that.....
although [see also: though] Although [1] deals mainly with the unit disc, most proofs are
so constructed that they apply to more general situations. Although these proofs run along
similar lines, there are subtle adjustments necessary to t the argument to each new situation.
Although the denition may seem articial, it is actually very much in the spirit of Darbos old
argument in [5]. Now f is independent of the choice of (although the integral itself is not).
Thus, although we follow the general pattern of proof of Theorem A, we must also introduce new
ideas to deal with the lack of product structure. Although standard, the notion of a virtual
vector bundle is not particularly well known.
altogether [see also: completely, total, whole] However, we prefer to avoid this issue altogether
by neglecting the contribution of B to S. There are forty-three vertices altogether.
always The problem is that, whatever the choice of F, there is always another function f such
that..... The induced topology is not compact, but we can always get it to be contained in a
Bohr topology. The vector eld H always points towards the higher A-level.
ambiguity On the other hand, there is enormous ambiguity about the choice of M. One should
remark that the ambiguity alluded to in Remark 3 disappears when talking about an ane eld.
When there is no ambiguity we drop the dependence on B and write just Y
T
for Y
T,B
. This
also resolves the ambiguity introduced earlier in choosing an order of the lifts of U.
among [= amongst; see also: between, of, out of, include] Among the attempts made in this
direction, the most notable ones were due to Jordan and Borel. Among all X with xed L
2
MATHEMATICAL ENGLISH USAGE 9
norm, the extremal properties are achieved by multiples of U. If a
n
is the largest among
a
1
, ..., a
n
, then..... Our main results state in short that MEP characterizes type 2 spaces
among reexive Banach spaces. The existence of a large class of measures, among them that
of Lebesgue, will be established in Chapter 2. There are several theorems for a number of
other varieties. Among these are the Priestley duality theorem and..... the number of solutions
(x
1
, . . . , x
n
) in which there are fewer than r distinct values amongst the x
i
The next corollary
shows among other things that..... [Not: among others] Our result generalizes Urysohns
extension theorems, among others. [= among other theorems]
amount 1 The quantities F and G dier by an arbitrarily small amount. Thus will be less
than by an amount comparable to a(s). It is intuitively clear that the amount by which S
n
exceeds zero should follow the exponential distribution. It contributes half of the amount on
the right hand side of (1).
2 [to sth; to doing sth; see also: total, add up] When n = 0, (7) just amounts to saying
that..... This just amounts to a choice of units. Consumer spending on those items amounts
to $9 billion. Internet sales still amounted to only 3% of all retail sales in November.
analogous [to sth] The theory of..... is entirely completely) analogous to..... We shall also
refer to a point as backward nonsingular, with the obvious analogous meaning. Using (2) and
following steps analogous to those above, we obtain.....
analogously [to sth] The lower limit is dened analogously: simply interchange sup and inf
in (1). The notion of backward complete is dened analogously by exchanging the roles of f
and f
1
. Analogously to Theorem 2, we may also characterize.....
analogue [of sth; amer. analog] This is an exact analogue of Theorem 1 for closed maps. No
analogue of such a metric appears to be available for Z.
analogy Let us see what such a formula might look like, by analogy with Fourier series. In
analogy with (1) we have..... There is a close analogy between..... The analogy with statistical
mechanics would suggest..... Our presentation is therefore organized in such a way that the
analogies between the concepts of topological space and continuous function, on the one hand,
and of measurable space and measurable function, on the other, are strongly emphasized.
analyse A model for analysing rank data obtained from several observers is proposed.
analysis [see also: exploration, investigation, study] The only case requiring further analysis
occurs when f = 0. We now transfer the above analysis back to M(A). The analysis is
similar to that of [3]. Analysis of the proofs of these previous results shows that..... These
results show that an analysis purely at the level of functions cannot be useful for describing.....
a careful close/comprehensive/detailed/systematic/thorough) analysis
angle Draw the half-line from x at angle to . The line T makes a right angle with the chosen
direction. Then F and G make angle . Let ABC be an angle of sixty degrees. The two
lines intersect at an angle of ninety degrees. As the point z moves around the unit circle, the
corresponding J
z
s are rotations of angle t(z).
announce Kim announces that (by a tedious proof) the upper bound can be reduced to 10.
anomalous The prime 2 is anomalous in this respect, in that the only edge from 2 passes
through 3.
10 JERZY TRZECIAK
another Another group of importance in physics is SL
2
(R). In the next section we introduce
yet another formulation of the problem. It has some basic properties in common with another
most important class of functions, namely, the continuous ones. We have thus found another
three solutions of (5). [= three more] Here the interesting questions are not about individual
examples, but about the asymptotic behaviour of the set of examples as one or another of the
invariants (such as the genus) goes to innity. Then one Y
i
can intersect another only in one
point. It is highly likely that if one of the Xs is exchanged for another, the inequality fails.
answer [see also: explanation, solution] An armative answer is given to the question of [3]
whether..... When A is commutative, the answer to both questions is yes. The algorithm
returns 0 as its answer. The answer depends on how broadly or narrowly the term matrix
method is dened. The answer is not known to us. What is the answer if a = 0?
any [see also: arbitrary, all, each, every, whatever, whichever] By deleting the intervals con-
taining x, if any, we obtain..... There are few, if any, other signicant classes of processes for
which such precise information is available. Let Q denote the set of positive denite forms
(including imprimitive ones, if there are any). The preceding denitions can of course equally
well be made with any eld whatsoever in place of the complex eld. If K is now any compact
subset of H, then there exists..... Note that F(t) may only be dened a.e.; choose any one
determination in (7). Note that any, but not all, of the sets h
1
and g
1
can be empty.
for any two triples [Not: for every two triples; every requires a singular noun.]
apart [from sth; see also: besides, except, distinguish] Apart from these two lemmas, we make
no use of the results of [4]. That isapart from the use of relaxed controlsprecisely the
stochastic Bellman equation. Apart from being very involved, the proof requires the use of.....
There is a curve lying entirely in the open strip 0 < < 1 apart from the endpoints such
that..... for no x apart from the unique solution of..... [Note the dierence between besides,
except and apart from: besides usually indicates adding something, except subtracts, and
apart from can be used in both senses; after no, nothing etc., all three can be used.] Their
centres are a distance at least N apart. The m points x
1
, . . . , x
m
are regularly spaced t units
apart. What sets the case n = 5 apart is the fact that homotopic embeddings in a 5-manifold
need not be isotopic.
apparatus Keller, in his fundamental paper [7] concerning duality, develops an apparatus that
allows him to obtain a very wide variety of duality theorems.
apparent [see also: clear, evident, obvious, plain] If one studies the proof of..... it is apparent
that (2) is never used. It is now apparent what the solution for K will be like:..... This is
usually called the area theorem, for reasons that will become apparent in the proof.
apparently [see also: seemingly] Fox has apparently [= as one can see] overlooked the case
of..... Note that the apparently [= seemingly] innite product in the denominator is in fact
nite. The reader may wonder why we have apparently ignored the possibility of obtaining a
better lower bound by considering.....
appeal 1 [see also: recourse] Recently proofs have been constructed which make no appeal to
integration. In the preceding proof, the appeal to the dominated convergence theorem may
seem to be illegitimate since..... Through an appeal to (5.3) we have.....
2 [see also: invoke, refer] At this stage we appeal to Theorem 2 to deduce that..... We can
also appeal to Lemma 5 to see that the uniform continuity condition (5.3) is met. If s
0
lies
MATHEMATICAL ENGLISH USAGE 11
below R
2
, then we can reect about the real axis and appeal to the case just considered. One
of the appealing aspects of the spectral set is that it readily lends itself to explicit computation.
appear [see also: look, occur, seem, turn out, turn up, look] However, no extension in this
direction has appeared in the literature. The statement does appear in [3] but there is a simple
gap in the sketch of proof supplied. It will eventually appear that the results are much more
satisfactory than one might expect. The zeros appear at intervals of 2m. Every prime in the
factorization appears to an even power. No analogue of such a metric appears to be available
for Z. Conditions relating to bounds on the eigenvalues appear to be rare in the literature.
At rst glance, this appears to be a strange denition. [= seems to be] Neighbourhoods of
points in these spaces appear at rst glance to have a nice regular structure, but upon closer
scrutiny, one sees that many neighbourhoods contain collections of arcs hopelessly folded up.
This may appear rather wasteful, especially when n is close to m, but these terms only give a
small contribution to our sum. It does not appear feasible to adapt the methods of this paper
to.....
appearance The only additional feature is the appearance of a factor of 2. This convention
simplies the appearance of results such as the inversion formula.
applicability The abstract theory gives us a tool of much wider applicability.
applicable [to sth] We now provide a bound applicable to systems of..... The hypothesis n > 1
ensures that Lemma 2 is applicable.
application [see also: means, use, via] Repeated application of (4) shows that..... As an
example of the application of Theorem 5, suppose..... Even in the case n = 2, the application
of Theorem 6 gives essentially nothing better than the inequality..... Specically, one might
hope that a clever application of something like Choquets theorem would yield the desired
conclusion. A drawback to Polya trees, and perhaps the main reason why they have not seen
much application within the Bayesian nonparametric literature, is that an arbitrary partition
tree needs to be specied. As an application, consider the Dirichlet problem Lf = 0. We
then show how this leads to stronger results in applications. [Do not use application when
you mean map: a map f : X Y (not: an application f).]
apply [to sth; sth to sth; sth to do sth; see also: employ, use, utilize, pertinent, relevant] Now (5)
follows from (4) if (2) is applied to the last equation. We now apply the previous observation
to estimate F. We apply this to g to obtain..... In particular, the theorem applies to weakly
conuent maps. We nish by mentioning that, suitably modied, the results of Section 2 apply
to the AP case. More generally this argument also applies to characterizing Hurewicz subsets
of I. Then the same argument as in Theorem 5 applies to show that L(R) fails to be amenable.
Actually, [3, Theorem 2] does not apply exactly as stated, but its proof does.
appreciation He would like to express his appreciation to the faculty and sta of the Dartmouth
mathematics department for their hospitality.
approach 1 [to sth; to doing sth; see also: method, technique, procedure, way, line] We take
the same approach as in [3]. We could have adopted an approach to proving Theorem 2 along
a line of reasoning which bears greater resemblance to the treatment of the analogous result in
Section 1. Very recently, Heck introduced a general approach that unies and extends all these
results. The case a = 1 requires a dierent approach. It seems that the relations between
12 JERZY TRZECIAK
these concepts emerge most clearly when the setting is quite abstract, and this (rather than a
desire for mere generality) motivates our approach to the subject. We sketch below one possible
approach to obtaining such renements. The novelty of our approach lies in using..... It is
important to notice some of the weaknesses inherent in the above approach The approach in
[GT] provides a unied way of treating a wide variety of seemingly disparate examples.
2 [see also: converge, tend] In the study of innite series
a
n
it is of signicance whether the
a
n
approach zero rapidly.
appropriate [see also: suitable, convenient, good, t, correspond] Theorems 3 and 6 of [2],
with the appropriate changes, are also valid. By writing out the appropriate equations, we see
that this is equivalent to..... Perhaps it is appropriate at this point to note that a representing
measure is countably additive if and only if..... It seems appropriate to mention in passing the
corresponding formula for the cohomology of B
n
.
appropriately [see also: conveniently, suitably] Now choose t appropriately as a function of .
If A is such an operator (appropriately chosen) then..... Suppose that S is an (appropriately
normalized) positive current on M.
approximate 1 an approximate solution
2 It is therefore reasonable that the behaviour of p should in some rough sense approximate the
behaviour of q. Here Y is a Poisson variable suitably chosen to approximate X in distribution.
a sequence of smooth domains that approximates D from within
approximately [see also: roughly, about] Then x R
j
for some j which is approximately equal
to m+k. When we pass from T to T +, f(z) changes by approximately M. in the ratio of
approximately 3 : 1
arbitrarily The quantities F and G dier by an arbitrarily small amount. [Not: arbitrary
small] .....where C can be made arbitrarily small by taking..... Runges theorem will now be
used to prove that meromorphic functions can be constructed with arbitrarily preassigned poles.
arbitrary [see also: all, each, every, whatever, whichever] This enables us to dene solution
trajectories x(t) for arbitrary t. The theorem indicates that arbitrary multipliers are much
harder to handle than those in M(A). One cannot in general let A be an arbitrary substructure
of B here. If X happens to be complete, we can dene f on E in a perfectly arbitrary manner.
area [see also: eld] The region A has an area of 15 m
2
. This is an interesting area for future
research. This is an area where there is currently a lot of activity.
argue [see also: assert, claim, reason] To see that A = B we argue as follows. But if we argue
as in (5), we run into the integral....., which is meaningless as it stands. Arguing by duality we
obtain..... It might be argued that the h-principle gives the most natural approach to.....
argument [see also: reasoning] A similar argument holds for the other cases. A deformation
retract argument completes the proof. In outline, the argument follows that of the single-valued
setting, but there are several signicant issues that must be addressed in the n-valued case.
This argument comes from [4]. This argument is invalid for several reasons. However, this
argument is fallacious, because as remarked after Lemma 3,..... By an elementary argument,.....
This is handled by a direct case-by-case argument. Following the argument in [3], set.....
The case f = 1 requires a dierent argument. But the T
n
need not be contractions in L
1
, which
is the main obstruction to applying standard arguments for densities. We give the argument
MATHEMATICAL ENGLISH USAGE 13
when I = R. Continuity then nishes o the argument. This completes our argument for (1).
This assumption enables us to push through the same arguments. It simplies the argument,
and causes no loss of generality, to assume.....
arise [see also: emerge, occur, result] ....., the last equality arising from (8). This case arises
when..... The question arises whether..... A further complication arises from BP, which
works rather dierently from the other labels. If no confusion can arise, we write K for both
the operator and its kernel.
around The Laurent expansion of f around about) zero is..... To get around this delicate issue,
we shall separate the variables s and u. To get around overcome) this diculty, assume.....
As the point z moves around the unit circle, the corresponding J
z
s are rotations of angle t(z).
arrange [see also: order, organize] We wish to arrange that f be as smooth as possible. We
can arrange the X
i
s to include every element of F. Let (a
n
) be the sequence of zeros of f
arranged so that [a
1
[ [a
2
[ ..... The present proof is so arranged that it applies without
change to holomorphic functions of several variables.
arrangement [see also: order, organization] Since most of the results presented are quite clas-
sical (the novelty lies in the arrangement, and some of the proofs are new), I have not attempted
to document the source of every item.
arrive [at sth; see also: reach] Setting f = 0, we arrive at a contradiction.
article [see also: paper] We close this article by addressing, in part, the case of what happens
if we replace the map T by convolution. We can now formulate the problem to which the rest
of this article is dedicated.
articial Although the denition may seem articial, it is actually very much in the spirit of
Darbos old argument in [5].
as [see also: like, since] If f is as in (8), then..... [Not: like in (8)] We can multiply two
elements of E by concatenating paths, much as in the denition of the fundamental group.
....., where each function g is as specied described) above. Actually, [3, Theorem 2] does not
apply exactly as stated, but its proof does. They were dened directly by Lax [2], essentially as
we have dened them. For k = 2 the count remains as is. In the case where A is commutative,
as it will be in most of this paper, we have..... As a rst step we identify the image of .
Then F has T as its natural boundary. The algorithm returns 0 as its answer. Now X can
be taken as coordinate variable on M. If one thinks of x, y as space variables and of z as time,
then..... Then G is a group with composition as group operation. We have A B as right
modules. Then E is irreducible as an L-module. ....., as is easily veried. ....., as noted as
was noted) in Section 2. [Not: as it was noted] ....., as desired claimed/required). The
elements of F are not in S, as they are in the proof of..... Note that F is only nonnegative
rather than strictly positive, as one may have expected. Then G has 10 normal subgroups and
as many non-normal ones. Moreover, H is a free R-module on as many generators as there are
path components of X. But A has three times as many elements as B has. We can assume
that p is as close to q as is necessary for the following proof to work. Then F can be as great
as 16. Each tree is about two-thirds as deep as it was before. As M is ordered, we have no
diculty in assigning a meaning to (a, b). The ordered pair (a, b) can be chosen in 16 ways so
as not to be a multiple of (c, d). Now (3) is clear. As for (4), it is an immediate consequence
14 JERZY TRZECIAK
of Lemma 6. [= Concerning (4)] As with the digit sums, we can use alternating digit sums to
prove..... [= Just as in the case of digit sums]
ask In this section we ask about the extent to which F is invertible. This is the same as asking
which row vectors in R have diering entries at positions i and j. An obvious question to ask
is whether the assertion of Theorem 1 continues to hold for.....
aspect [see also: detail, feature, characteristic, ingredient, point] One of the appealing aspects
of the spectral set is that it readily lends itself to explicit computation. I shall limit myself
to three aspects of the subject. We shall touch only a few aspects of the theory. a central
crucial/fundamental/key/main/major/principal/fascinating/striking/neglected) aspect
assert [see also: say, state] The spectral radius formula asserts that..... Puiseuxs theorem
asserts the existence of..... We also need the following technical lemma, which asserts the
rarity of numbers with an inordinately large number of prime factors. Here is a more explicit
statement of what the theorem asserts. To prove the asserted convergence result, rst note
that.....
assertion [see also: conclusion, statement] Now (2) is clearly equivalent to the assertion that.....
....., which proves the assertion. [Not: the thesis] If we prove (8), the assertion follows.
The interest of the lemma is in the assertion that..... Assertion (b) is known as the Radon-
Nikodym theorem.
assess [see also: estimate] To assess the quality of this lower bound, we consider the following
special case.
assign [see also: associate] The map f assigns to each x the unique solution of..... As M is
ordered, we have no diculty in assigning a meaning to (a, b). A weighted graph is one in
which each vertex is assigned an integer (called its weight). Here the variable h is assigned
degree 1.
assignment The assignment of K
1
to K, and of T
1
to T, denes a functor between the category of
commutative algebras and the category of compact semigroups with continuous homomorphisms.
associate [sth with/to sth; see also: assign, connect, link, relate, join] With each D there is
associated a region V
D
. Associated with each Steiner system is its automorphism group, that
is, the set of all..... Let l be an eigenvalue of A, and let v be an associated eigenvector.
Generally we add a tilde to distinguish between quantities associated to
G and those associated
to G.
assume [see also: suppose, presume] Here F is assumed to be open. [But: We assume that F is
open, not: We assume F to be open.] ....., the limit being assumed to exist for every real x.
The assumed positivity of u
n
is essential for these results. We can assume, by decreasing
n if necessary, that..... We may (and do) assume that..... We tacitly assume that..... It is
assumed that..... We follow Kato [3] in assuming that f is upper semicontinuous. The reader
is assumed to be familiar with elementary K-theory. Then X assumes values 0, 1, ..., 9, each
with probability 1/10.
assumption [see also: condition, hypothesis, requirement] We make two standing assump-
tions on the maps under consideration. By the smoothness assumption on f,..... By as-
sumption,..... If the boundary is never hit then x
t
is a Feller process under reasonable con-
MATHEMATICAL ENGLISH USAGE 15
tinuity assumptions. We establish our results both unconditionally and on the assumption
of the Riemann Hypothesis. We note that the assumption of GCH is made for convenience
and ease of presentation. Then F is continuous at zero, contrary to assumption. a basic
fundamental/implicit/tacit/underlying/reasonable/erroneous) assumption
at At the fourth comparison we have a mismatch. At the suggestion of the referee, we consider
some simple cases. The match occurs at position 7 in T. Now R is the localization of Q at a
maximal ideal. Next, F preserves angles at each point of U. We may assume that this is the
rst point at which these two curves have met. at the end of Section 2 Now F is dened to
make G and H match up at the left end of I. The zeros appear at intervals of 2m. We can
make g Lipschitz at the price of weakening condition (i). The two lines intersect at an angle
of ninety degrees.
attach The name of Harald Bohr is attached to bG in recognition of his work on almost periodic
functions.
attain [see also: achieve, reach, take] Equality is attained only for a = 1. The function g
attains its maximum at x = 5. Now (c) asserts only that the overall maximum of f on U is
attained at some point of the boundary.
attempt 1 [at sth; at doing sth; to do sth; see also: trial] This work was intended as an
attempt to motivate at motivating)..... There are other problems with this example which
would hinder any attempt to follow the proof given here too closely. Among the attempts
made in this direction, the most notable ones were due to Jordan and Borel. This attempt is
doomed because the homogeneity condition fails to hold. [= The attempt is certain to fail]
Having established (1), one might be tempted to try to extend this result to general p through
the choice of a suitable ideal B. Alas, as we shall see now, this attempt is futile. a successful
unsuccessful/failed/serious/repeated) attempt
2 [sth; to do sth; see also: try] In 1988, while attempting to generalize this result, the second
author noticed that..... Since most of the results presented are quite classical (the novelty lies
in the arrangement, and some of the proofs are new), I have not attempted to document the
source of every item. Thus it is reasonable to attempt, using this homeomorphism, to gain an
understanding of the structure of M.
attention It is a pleasure to thank R. Greenberg for bringing his criterion for..... to our attention,
and for generously sharing his ideas about it. We now turn our attention to..... We can do
this by restricting attention to..... In this section I shall focus attention on..... From now on
we conne attention to R
2
. Incidentally, the question of whether K(E) is amenable for specic
Banach spaces E seems to have received almost no attention in the literature.
author The author thanks H. Miller for a careful reading of an earlier draft. This observation
prompted the author to look for a more constructive solution. The above construction has led
the author to believe that..... The authors interest in this problem was recently rekindled by a
conversation with David Lees. To the best of the authors knowledge, the problem is still open.
The only references known to the authors are [A] and [V], where the case A = L(E) is settled
in the negative. In 1988, while attempting to generalize this result, the second author noticed
that..... The paper was commenced whilst the second author held a Fullbright Fellowship.
Our rst result generalizes (8) by exploiting some general facts seemingly overlooked by the
aforementioned authors. This topic has been dealt with by many authors. A number of
16 JERZY TRZECIAK
authors have considered, in varying degrees of generality, the problem of determining.....
automatic An i-dependent lower bound is automatic by continuity.
automatically Note that f = limf
n
automatically exists.
auxiliary In Section 2 the reader will be reminded of some important properties of Bernoulli
numbers, and some auxiliary results will be quoted or derived.
available No analogue of such a metric appears to be available for Z. A further tool available
is the following classical result of Chen.
average 1 The observed values of X will on average cluster around points where..... How many
multiplications are done on average?
2 P rides a cycle at an average speed of 20 km an hour. The earth has an average density 5.5
times that of water.
3 The measure is then obtained by averaging the standard measures over all choices of.....
avoid [sth; doing sth; see also: miss] We should avoid using (2) here, since..... [Not: avoid
to use] However, we prefer to avoid this issue altogether by neglecting the contribution of
B to S. To avoid undue repetition in the statements of our theorems, we adopt the following
convention. They dened the concept solely in terms of the norm of the Banach space, delib-
erately avoiding any extra structure. This example indicates that the inductive argument in
the proof of Theorem 1 is unavoidable.
await Nevertheless we still await a full characterization of the Banach spaces E such that K(E)
is amenable.
aware [see also: know] At the time of writing [5], I was not aware of this reference. One must
also be aware that the curvature of M
i
might not be bounded uniformly in i. In 1925 Franklin,
unaware of Stackels work, showed.....
away [see also: beyond, o, outside, distance] Then F is smooth away bounded away) from
zero. Away from critical points, the action of G is reminiscent of the action of a cyclic group
of order d. It follows that z is at least 2MN away from the left endpoint of I.
B
back A linear transformation brings takes) us back to the case in which..... The solutions can
be carried back to H(V ) with the aid of the mapping function . .....(a result that dates back
to a 1915 paper of Hadamard) This idea goes back at least as far as [3]. This argument goes
back to Banach. Schenzels formula frequently allows us to move back and forth between the
commutative algebra of k[P] and the combinatorics of P. We now transfer the above analysis
back to M(A). We now turn back to our main question.
background For background information, see [5]. For relevant background material concerning
random walks, see [2]. Section 2 contains an overview of the necessary background.
backward(s) We shall also refer to a point as backward nonsingular, with the obvious analogous
meaning. The notion of backward complete is dened analogously by exchanging the roles of
f and f
1
. Extend this sequence of numbers backwards, dening N
1
, N
2
and N
3
by.....
Then G is simply g with its periodic string read backwards. Let A
be A run backwards.
MATHEMATICAL ENGLISH USAGE 17
[In most adverbial uses, backward and backwards are interchangeable; as an adjective, the more
standard form is backward: a backward shift.]
ball a ball of radius r about the origin the ball of radius r centred at x with centre at x)
base 1 [see also: basis] the base p expansion representation) of x From now on all logarithms
are to base two. Take as base for a topology on X the sets of the form..... For the base step
of the induction, consider a vertex t in A.
2 [see also: depend, rest, rely] Our proof of Theorem 2 is based upon ideas found in [BN]. We
base our development on two properties of prolongation peculiar to this case. For our purposes
here, the best way is to base the proof on the following theorem, a derivation of which can be
found in [P].
basic [see also: crucial, essential, critical, main, key, primary, elementary] On the other hand,
as yet, we have not taken advantage of the basic property enjoyed by S: it is a simplex. We
presume a basic knowledge of large cardinals and forcing. For the basics on tensor products,
see [Da].
basically [see also: essentially, mainly] As noted in the introduction, this is basically combining
Sawyers result with a variation of the arguments of Hunt.
basis [of sth, for sth; pl. bases; see also: base, foundation, underlie] Theorem 2 will form the
basis for our subsequent results. The basis of most of these theorems is Jensens formula.
be [see also: being] The theorem to be proved is the following. [= which will be proved] We
conclude with two simple lemmas to be used mainly in..... One can, for example, take A to
be the rationals in X. This assumption is certainly necessary if the distribution of x
t
is to
converge to F. If there are to be any nontrivial solutions x then any odd prime must satisfy.....
However, as we are about to see, this complication is easily handled.
bear An example to bear in mind is behaviour in the basin of a periodic point. There is a
fourth notion of phantom map which bears the same relation to the third denition as the rst
does to the second. We could have adopted an approach to proving Theorem 2 along a line
of reasoning which bears greater resemblance to the analogous result in Section 1. All three
cases bear a striking resemblance. This shape bears a striking similarity to that of..... While
we suspect that the methods of the present section can be brought to bear on this question also
[= be relevant to this question], we will not pursue this analysis in detail here.
because [see also: as, for, since] However, this argument is fallacious, because as remarked
after Lemma 3, K is discontinuous. This is because the factor M satises condition (P).
Unfortunately, because of the possible presence of cusps, this need not be true. Because of
this, W is never long enough to cancel with M in the product ABC.
become Then F becomes inner when extended to B. The conclusion of Theorem 3 becomes
false if this requirement is omitted. When h is in H, the integral formula becomes Af =.....
It becomes impracticable to compute the zeros of F for degrees greater than 6; in any event,
deciding whether the divisors found in this way represent irreducible curves becomes increasingly
dicult. Indeed, as n increases, it becomes increasingly rare for a manifold to be a hyperplane
section of another projective manifold.
before The sum of the depths is at most two-thirds of what it was before. Each tree is about
18 JERZY TRZECIAK
two-thirds as deep as it was before. The remainder of the estimation is largely as before with
B replaced by C. The proof concludes as before. Most of the theorems presented here have
never been published before. As noted before, there exists N homeomorphic to P such that.....
Note that P comes before Q along the arc l. We may require that the point P lie in one of
the trees constructed before or during the ith stage of the induction. [Note the subjunctive lie.]
beforehand For these considerations it will be convenient to state beforehand, for easy reference,
the following variant of.....
begin [with sth; by doing sth; see also: proceed, start, commence] We begin by describing the
class of functions f considered, which includes the special cases quoted above. We begin with
a detailed analysis of..... There is quite an extensive literature concerning resonance problems,
beginning with the work of Lazer. To begin, let A
0
be the trivial algebra with automorphism g
0
.
beginning [see also: initially, originally, rst, start, outset] (see the denition at the beginning
of Section 2) In the beginning [= Initially], he suspected that.....
behave Note that C behaves covariantly with respect to maps of both X and G. We need to
check that F-derivatives behave in the way we expect with regard to sums, scalar multiples and
products. Hence we would expect the functions F
i
to behave similarly. For general rings,
Out(R) is not necessarily well-behaved.
behaviour [amer. behavior] It is therefore reasonable that the behaviour of p should in some
rough sense approximate the behaviour of q. Some restrictions must be placed on the behaviour
of f. This gives some control over the behaviour of..... A function exhibiting this type
of behaviour has been constructed by..... We also show the existence of E-transformations
exhibiting nearly the full range of behaviours possible for scaling transformations.
behind The idea behind our use of the map is that..... This is the motivation behind the
following process.
being Note that M being cyclic implies F is cyclic. The probability of X being rational equals
1/2. This is exactly our denition of a weight being regulated. We have to show that the
property of there being x and y such that x < y uniquely determines P up to isomorphism.
In addition to f being convex, we require that..... Here J is dened to equal Af, the function
f being as in (3). [= where the function f is.....; not: being the function f as in] ....., the
constant C being independent of..... The ideal is dened by m =....., it being understood
that..... But....., it being impossible to make A and B intersect. [= since it is impossible
to make] The map F being continuous, we can assume that..... Actually, S has the much
stronger property of being convex. This method has the disadvantage of not being intrinsic.
[Do not write: the function f being the solution of (1) if you mean: the function f that is the
solution of (1).]
believe It is this proposition that we believe to be false in Morava E-theory. While nonpara-
metric priors are typically dicult to manipulate, we believe the contrary is true for quantile
pyramids. There is no reason to expect this to be an inverse map on K, but we do have the
following.
belong [see also: element, member, membership] Lebesgue discovered that a satisfactory theory
of integration results if the sets E
i
are allowed to belong to a larger class of subsets of the line.
Two consecutive elements do not belong both to A or both to B. It turns out that A, B and C
MATHEMATICAL ENGLISH USAGE 19
all belong to the same class, which we represent by the symbol P
2
. For the sake of clarity, we
shall indicate in what follows to which space X belongs. [Do not write: E belongs to the most
important classes of algebras if you mean: E is one of the most important classes of algebras
or E is among the most important classes of algebras.]
below A brief sketch of the reasoning is given below. By Remark 3 below,..... The pressure
increases are signicantly below those in Table 2. This proves that the dimension of S does not
go below q. a function bounded below above) by 1 As a rst step we shall bound A below.
benet [see also: advantage, merit] 1 The benet of formulating our notion of isomorphism sec-
tion as above will become clear shortly. For the benet of Pascal programmers, we explain.....
Although our proof is a little tedious, it is much less so than Itos original proof, which was
carried out without the benet of martingale technology.
2 In doing this we will also benet from having the following notation. We have beneted
greatly from discussions with many people, including.....
besides [see also: apart from, except] Besides being very involved, the proof requires the use.....
for no x besides the unique solution of..... [Note the dierence between besides, except and
apart from: besides usually adds something, except subtracts, and apart from can be used in
both senses; after no, nothing etc., all three can be used.] [Do not write: Besides, the solution
is given by (5) if you mean: Moreover, the solution is given by (5).]
best It is best not to use..... The best one could hope for is K F. This result is best
possible. [Or: the best possible] In Theorem 2 we show that the bound is not far from best
possible. The above bound on a
n
is close to best possible. The best known of these is the
Knaster continuum. It can be inferred from known results that these series at best converge
conditionally in L
p
.
better [see also: improve, improvement] Recent improvements in the HL-method enable us to
do better than this. In fact, we can do even better, and prescribe nitely many derivatives at
each point of A. Even in the case n = 2, the application of Theorem 6 gives essentially nothing
better than the inequality.....
between [see also: among] There cannot be two edges between one pair of vertices. Generally
we add a tilde to distinguish between quantities associated with
G and those associated with G.
It seems that the relations between these concepts emerge most clearly when the setting is
quite abstract, and this (rather than a desire for mere generality) motivates our approach to the
subject. The assignment of K
1
to K, and of T
1
to T, denes a functor between the category of
commutative algebras and the category of compact semigroups with continuous homomorphisms.
beware [see also: caution] Beware that the pro-objects of [Me] are indexed by categories that
are not necessarily small. Beware that more than one equation is referred to as the fast diusion
equation in the literature.
beyond [see also: away, o, outside] We would like to know....., but that is beyond our reach at
this point. It is beyond the scope of this paper to give a complete treatment of..... Ination
in the rst quarter rose beyond the acceptable level of 5%.
body We refer the reader to the body of the paper for details.
20 JERZY TRZECIAK
borrow We summarize some of its main properties, borrowing from the elegant discussion in
Hensons article.
both [see also: either] Both f and g are obtained by..... [Or: f and g are both obtained]
For both C
/in the
norm of L
p
/in L
p
norm/in norm/in probability).
convergence Moreover, one has estimates on the rate at which this convergence is taking place.
Addressing this issue requires using the convergence properties of Fourier series. The con-
vergence of the sum on the left is of course a weaker statement than the convergence of (2).
We give X the topology of uniform convergence on compact subsets of A. Almost everywhere
convergence is the best we can hope for.
converse [of sth; to sth; see also: inverse, opposite, reverse] In this section we investigate under
what conditions the converse holds. The converse is far from obvious. For the converse,
consider..... This theorem is a converse partial converse) of Theorem 2.
conversely We have thus proved that (a) implies (b). Conversely, assume that (b) holds and
dene..... [Not: Reciprocally, assume.]
convert [see also: transform, change into, turn into, make into] This isomorphism converts the
shift operator to the multiplication operator. The Fourier transform converts multiplication
by a character into translation, and vice versa, it converts convolutions to pointwise products.
convey [see also: express, indicate] The main information conveyed by this formula is that A
cannot be.....
convince If nothing else, I hope to convince my readers that Segals theorem deserves recognition
as a profound contribution to Gaussian analysis.
coordinate There are N vertices of the 24-cube which have a 1 in the ith coordinate and a total
of ve 1s. We adopt the convention that the rst coordinate i increases as one goes downwards,
and the second coordinate j increases as one goes from left to right. Now X can be taken as
coordinate variable on M. This explains why we chose 9 rather than, say, 1 for the second
coordinate. Keep only those vertices whose coordinates sum to 4.
core [see also: essence, heart] At the core of our proof of Theorem 1 is a simple counting
argument.
corollary [to sth; of sth] To illustrate, let us state the following corollary. That (2) implies (1)
is the content of Corollary 3. This corollary calls for some explanation and comment. The
rest of the proof goes through as for Corollary 2, with hardly any changes. The signicance of
this fact for our purposes is captured by Corollary 3. We will nish this section by oering a
second application of our machinery (although in truth it is largely a corollary of the above).
correct [see also: true, valid, hold] Whether or not this is correct does not matter; we are trying
to motivate the proof that follows.
correctly The only thing to check is that maps compose correctly; but this is an easy, if tedious,
verication.
36 JERZY TRZECIAK
correspond [to sth; see also: accord, agree, match, respective] To every f there correspond two
functions a and b. Consider the dierences between these integrals and the corresponding ones
with f replaced by g. Let v be an arbitrary control and x
t
the corresponding controlled process.
[Not: the respective process; respective requires a plural noun.] It seems appropriate to
mention in passing the corresponding formula for the cohomology of B
n
. Corresponding to
each choice of V there is a function f such that.....
correspondence Observe that A is thereby put into one-to-one correspondence with B. The
elements of C are in one-to-one correspondence with.....
coset Here A is a coset of H in G. [H is a subgroup of G.]
cost [see also: expense, price] The latter hypothesis can be removed at the cost of an extra
factor on the right hand side of (5).
could Where we could, we have chosen these examples from naturally occurring mathematical
structures. [Note the double r in occurring.] The number of distinct values that could be in a
memory cell is at most s. This shows that f could not have n zeros without being identically
zero. Without losing any generality, we could have restricted our denition of integration to
integrals over all of X. It is possible that the methods of this paper could be used to....., but
there remain considerable obstacles to overcome. One might hope that in the particular case
of the GL energy, this could be established, but we do not see an easy path to such a conclusion.
count 1 A quick count shows that A has 36 points.
2 Those more than half a square count as whole ones. We shall thus avoid doubly counting
the same contribution. At the core of our proof of Theorem 1 is a simple counting argument.
the number of zeros of f counted according to their multiplicities counted with multiplicity)
counterexample In addition to illustrating how our formulas work in practice, it provides a
counterexample to Browns conjecture. For a counterexample, consider S =.....
couple 1 [see also: some, several] A couple of dierences between this denition and the treat-
ment of [KS] should be noted.
2 [see also: combine] This follows immediately from (8) coupled with the fact that.....
course [see also: process] This paper was written in the course of the semester on..... In the
course of proof, we shall encounter..... In the course of writing this paper we learned that P. Fox
has simultaneously obtained results similar to ours in certain respects. The prerequisite for this
book is a good course in advanced calculus. [Not: of advanced calculus] Then, of course, F
will be one-to-one. Of course, before going further, we must check that such a P exists. The
convergence of the sum on the left is of course a weaker statement than the convergence of (2).
cover [see also: encompass, include] Note that (4) covers the other cases. Then P covers M
twofold.
create [see also: produce, generate, develop] All of the action in creating S
i+1
takes place in
the individual cells of type 2 or 3.
criterion [pl. criteria] Part (c) is a frequently used criterion for the measurability of a real-valued
function. The criterion for its existence is Af = 0. The following is an explicit criterion for f
to be hamiltonian. Note that this lemma does not give a simple criterion for deciding whether
MATHEMATICAL ENGLISH USAGE 37
a given topology is indeed of the form T
f
. The following result gives a criterion for when a
point belongs to B.
critical [to sth; see also: basic, crucial, essential, key] In particular, F is compact (a fact which
was critical to our arguments in [6]). However, with the recent advent of simulation based
inference, the need for analytically tractable posteriors is no longer critical.
cross Let M
.
entire [see also: whole, complete, full, total] Since the entire argument is based solely upon
assumption (6.1), the conclusion of the theorem must hold.
entirely [see also: completely, fully, wholly] The diculty disappears entirely if we think of our
functions as elements of E. Each component which meets X lies entirely within Y . There is
another, entirely dierent, way to see that A = B. Namely, one can rst show that.....
entry Dene A to be the matrix with 1 in the (i, j) entry and 0 elsewhere. Take A to be the
matrix with all entries zero except for i j at (i, j).
enumerate [see also: list] There is not space to enumerate them all here. Computing f(y)
can be done by enumerating A(y) and testing each element for membership in C.
enumeration Let r
1
, r
2
, . . . be an enumeration of the rationals in [0, 1].
envisage Even though more general probabilistic constructions could be envisaged [= contem-
plated], we focus on those schemes where.....
equal 1 Then A equals B. [= A is equal to B; not: A is equal B] The degree of P equals
that of Q. Now J is dened to equal Af, the function f being as in (3). [= where the function
f is.....] Therefore this condition is equivalent to the correlation equalling 1 B.
2 The resulting metric space consists precisely of the Lebesgue integrable functions, provided
we identify any two that are equal almost everywhere.
50 JERZY TRZECIAK
equality Equality holds occurs) in (9) if..... ....., with equality if a = 1. There is equality if
a = 1. Equality is achieved only for a = 1. Then a b c a. We therefore have equality
throughout. The relation becomes an equality if the w
i
form an orthonormal basis.
equally [see also: just] But H itself can equally well be a member of S. The method applies
equally well to certain other error terms. All inputs of size n are equally likely to occur.
However, as observed in [5], the proof given in [7] is equally valid for regular sets.
equate Equating coecients we see that..... Equating the coecient of x
2
in V to zero, we
get..... Now equate the coecients of x
2
at either end of this chain of equalities.
equation Equation (2) now reads Ax =..... We can solve the resulting equations successively
for c
1
, ..., c
n
. [Do not overuse equation for expressions without equality sign; use estimate,
inequality, formula, relation etc. instead.]
equip The algebra D(F) comes equipped with a dierential d such that H(d) = 0.
equivalent [to sth; to doing sth] This is equivalent to requiring saying) that..... Therefore
this condition is equivalent to the correlation equalling 1 B. The following three statements
are equivalent:..... For this it is sucient to check that x is in V , or, what is equivalent, that
a(x) is bounded. Many equivalents are known for this property.
equivalently Thus F can be equivalently dened as F =..... Then f = g, or equivalently
a(f) = a(g). Firstly, if G is abelian, does it follow that S(G) = K, or equivalently, that
X
G
= p(M(G))?
erroneous [see also: fallacious, invalid] Our main nding in this paper is that this intuition
turns out to be erroneous.
error [see also: mistake] The equations are satised with error at most O(n). The saddle-point
conditions are satised up to an error o(n). We take this opportunity to correct a minor error
in Lemma 2 of [PS]. Unfortunately, there is a simple but serious error in the nal step of the
proof.
especially [see also: notably, particularly, particular] This may appear rather wasteful, espe-
cially when n is close to m, but these terms only give a small contribution to our sum. An
especially interesting case occurs when.....
essence [see also: core, substance, nature, point, heart] In detail the classication is complex,
but in essence it is simple.
essential [see also: basic, critical, crucial, key] Essential to the proof are certain topological
properties of G. The assumed positivity of u
n
is essential for these results. We shall not use
this fact in any essential way.
essentially [see also: basically, largely, mostly, mainly] The operator P satises essentially
the same inequality as does F. Even in the case n = 2, the application of Theorem 6 gives
essentially nothing better than the inequality..... Here G enters essentially in an algebraic way.
They were dened directly by Lax [2], essentially as we have dened them.
establish [see also: prove, show, demonstrate, set] We need only establish (8) for intervals of the
form..... They established the Hasse principle subject to a rank condition on the coecients.
To establish uniqueness, suppose..... This establishes (i). The problem now reduces to
MATHEMATICAL ENGLISH USAGE 51
establishing that..... One might hope that in the particular case of the GL energy, this could
be established, but we do not see an easy path to such a conclusion.
establishment We now work toward the establishment of properties (A) to (D).
estimate 1 We now give an estimate for..... in terms of..... The weight satises a weak type
(1, 1) estimate. a crude rough/sharp/precise) estimate
2 [see also: bound, dominate, assess] To estimate F from above below), consider.....
estimation [see also: estimate] Theorem 3 can be applied to the estimation of b
k
. The
remainder of the estimation is largely as before with B replaced by C. [Note that estimation
is an activity; its result is an estimate.]
even Actually, the proof gives an even more precise conclusion:..... Nevertheless, it might be
possible to make sense of (2) even for non-injective V by considering a multi-valued operator Z.
This is true even if H
2
(B) = 0, as evidenced by the existence of manifolds whose ane base
is a Klein bottle. Even though we were able to derive a formula for....., it is not easy to use.
The fact that the number T(p) is uniquely dened, even though p is not, enables us to dene
the nullity of A as follows.
event [see also: case] It becomes impracticable to compute the zeros of F for degrees greater
than 6; in any event, deciding whether the divisors found in this way represent irreducible curves
becomes increasingly dicult. In the event of a tie, the winner is decided by the toss of a coin.
eventual [= occurring at the end; ,= possible; see also: ultimate, nal] It is impossible to predict
the eventual outcome of the process. The eventual aim is to obtain a closed form expression
for F. In the remainder of this section, we study some properties of K, with the eventual aim
(not realized yet) of describing K directly using G.
eventually [= in the end; ,= possibly] The iterates eventually reach the value 1. Then we can
nd some net (s
k
) which eventually leaves every compact subset of G. It will eventually appear
that the results are much more satisfactory than one might expect. an eventually increasing
sequence
ever The question of whether B is ever strictly larger than A remains open.
every [see also: all, any, each, arbitrary] To every F there corresponds a unique..... For every
g in X not in X) there exists an X..... [But: for all f and g, for any two maps f and g; every
is followed by a singular noun.] Every invariant subspace is of the form..... [Do not write:
Every subspace is not of the form..... if you mean: No subspace is of the form.....; every has to
be followed by an armative statement.] However, not every ring enjoys the stronger property
of being bounded. Every possible such sequence gives rise to..... The generally accepted point
of view in this domain of science seems to be changing every few years.
evidence 1 [see also: proof, data, material, fact] There is no evidence to the contrary. Com-
puter evidence suggests the dynamics of these maps is rich and varied. Some partial evidence to
support this conjecture is discussed in [3]. We oer numerical evidence to support a conjecture
that there exist innitely many primes of this type.
2 [see also: show, prove] This is true even if H
2
(B) = 0, as evidenced by the existence of
manifolds whose ane base is a Klein bottle.
52 JERZY TRZECIAK
evident [see also: clear, obvious, plain] From this previous work, it was not at all evident that
there would be some covering or non-covering properties which would be preserved by one of
these kinds of extensions. The description of Q makes it evident that (3) holds. [Note that the
it is necessary here.]
evidently [see also: clearly, manifestly, obviously] The algebraic properties (i) and (ii) required
of j are evidently true.
exactly [see also: precisely] Actually, [3, Theorem 2] does not apply exactly as stated, but its
proof does. The function F vanishes to order exactly n at zero.
examination [see also: check, consideration, discussion, inspection, scrutiny, verication] An
examination of the argument just given reveals that this is all we have used. Examination of
the left and right members of (1) shows that.....
examine [see also: study, explore, investigate, look] Examining how the Lipschitz constant
depends on F, we nd that..... The algorithm examines only roughly one-quarter to one-third
of the characters. By carefully examining the relations between the quantities U
i
, we see that.....
example [see also: illustration, exemplify] To see an example, set..... As an example, let.....
Here is an example of..... An explicit example is two planes through the origin. This can
obviously happen for some X: examples are c
0
and l
1
. We can make this clear with the following
example. The simplest example of this is furnished by..... We now describe a more interesting
example featuring an operator that is non-trivially supercyclic. It is easy to see, by means of
an example, that..... Show by an example that a P-system need not be a eld. Examples are
given to show that..... Examples abound in which P is discontinuous.
exceed [see also: outnumber, surpass] The degree of F exceeds that of G by at least 4. The
support of F has diameter not exceeding l. It is intuitively clear that the amount by which S
n
exceeds zero should follow the exponential distribution. Dene a
k
to be the probability that
exactly k out of the 2n values X
i
exceed T, conditional on X
0
> T.
except [see also: apart from, besides] 1 for all n except a nite number for no x except the
unique solution of..... [Note the dierence between besides, except and apart from: besides
usually adds something, except subtracts, and apart from can be used in both senses; after
no, nothing etc., all three can be used.] Then G is dierentiable except for a jump at x = 0.
Except for these two lemmas, we make no use of the results of [4]. That isexcept the use
of relaxed controlsprecisely the stochastic Bellman equation. Then F is invertible except
possibly on an at most countable set. Thus, F is invertible except where at) x = 0. Hence
F is invertible except at countably many points. The desingularization of f is X except when
Q and Q
have a common factor, in which case..... We have not required f to be....., and we
shall not do so except when explicitly stated. The assumptions of Section 3 are still in force
except that for greater generality we do not assume f to be continuous.
2 The trivial cases when the family consists of only one set are excepted.
exception There are few exceptions to this rule. As the proof will show, these properties, with
the exception of (c), also hold for complex measures. With the exception noted below, we
follow Stanleys presentation [3, Sec. 2].
exceptional Only in exceptional circumstances is it true that f(x +y) = f(x) +f(y). [Note the
inversion.]
MATHEMATICAL ENGLISH USAGE 53
exercise It is an elementary exercise to show that.....
exchange [see also: interchange] The notion of backward complete is dened analogously by
exchanging the roles of f and f
1
. It is highly likely that if one of the Xs is exchanged for
another, the inequality fails.
exclude [see also: preclude, prevent, rule out] The condition A < B excludes quite a few of the
standard Young functions. It remains to exclude the case where..... Note that we explicitly
exclude from the values of a simple function. The possibility A = is not excluded.
exclusive The two cases are not mutually exclusive.
exclusively We will work exclusively in the category of standard Borel probability spaces, and
so will often suppress mention of their sigma-algebras.
exemplify [see also: example, witness] The elasticity of M is clearly at least equal to n (as
exemplied by the element x).
exhibit [see also: demonstrate, reveal, show, display, indicate, express] Formula (7) exhibits
the same phenomenon. The resulting formula exhibits u as the Laplace transform of x.
This rather counterintuitive phenomenon is exhibited by the following example. A function
exhibiting this type of behaviour has been constructed by Cox [7].
exist Note that dimE, if it exists, is..... There exists a function f and a constant c such that.....
[Or: There exist a function f and a constant c] The limit lim
x0
f(x) exists. [Not: There
exists a limit lim
x0
f(x).] What relations exist between A and B?
existence [see also: presence] We rst show that existence of a solution of..... provides a
sucient condition for optimality. Given f and w, we shall prove the existence of a solution
to (Q). This result shows that the mere existence of a nontrivial automorphism j of M produces
the cut I(j) of M that satises (2).
expand [see also: develop, work out, detail, length] Theorem 3 below expands on this idea.
Expand f in powers of x. The purpose of this paper is to expand substantially the class of
maps for which the index can be computed.
expansion The Laurent expansion of f around about) zero is..... expansion in powers of x
the base p expansion representation) of x
expect [see also: hope] Hence we would expect the functions..... to behave similarly. We need
to check that F-derivatives behave in the way we expect with regard to sums, scalar multiples
and products. Compact multipliers, as one would expect, are those elements of A which.....
It seems reasonable to expect that....., but we have no proof of this. That is the least one
can expect. There is no reason to expect this to be an inverse map on K, but we do have
the following. However, F is only nonnegative rather than strictly positive, as one may have
expected. It will eventually appear that the results are much more satisfactory than one might
expect. Some such diculty is to be expected. Along the way, we come across some perhaps
unexpected rigidity properties of familiar spaces.
expectation [see also: hope] Kearnes developed a commutator theory for relative congruences,
with the expectation that it can be used to prove Pigozzis conjecture.
54 JERZY TRZECIAK
expense [see also: cost, price, sacrice] At the expense of replacing b by b
2
we may remove the
condition.....
explain [see also: describe, account, reason, justify] This explains why we chose 9 rather than,
say, 1 for the second coordinate. In Chapter 5, we shall explain what it means for a subset V
of A to be determining for the centre of X. To obtain the required map one must modify the
method as explained in [9]. Any other unexplained notation is as found in Fox (1995).
explanation [see also: answer, solution, explication] The explanation for this denition is
that..... This corollary calls for some explanation and comment. A formula like (3) surely
deserves some explanation. a lucid clear/plausible/likely/straightforward) explanation
explication A complete explication of the Fox spaces is warranted, as it will likely reveal further
clues to the dierences between the parabolic and hyperbolic theories.
explicit We write K(Q) for K to make the dependence on Q explicit. This module is denoted
by H(X), or H(X, R) if we want to make explicit the coecient ring. For simplicity, we
suppress the explicit dependence on x in the notation. We shall proceed without making
explicit distinctions between the two types of convergence. Throughout what follows, we shall
freely use without explicit mention the elementary fact that..... An explicit example is two
planes through the origin. Here is a more explicit statement of what the theorem asserts.
explicitly [not: explicitely] Explicitly, we have the formula..... We have not required f to
be....., and we shall not do so except when explicitly stated. The semigroup F can be explicitly
determined. Note that we explicitly exclude from the values of a simple function.
exploit [= make full use of] We now exploit the relation (15) to see what else we can say
about G. Our rst result generalizes (8) by exploiting some general facts seemingly overlooked
by the aforementioned authors. This connection has been exploited on occasion [= sometimes]
to construct various innite families of regular maps.
exploration [see also: analysis, investigation] As Corollary 2 shows, it is certainly a question
deserving further exploration.
explore [see also: examine, investigate, study] The question of..... has been explored under a
variety of conditions on A.
expose [,= present] [Do not write We expose examples of maps if you mean: We present
examples of maps; to expose something means to uncover it (if it has been hidden) or make
it known (if it has been secret).]
exposition [see also: presentation] The proof is mainly included to keep the exposition as self-
contained as possible. A detailed exposition, more suited to the purposes of the present article,
is given in [9]. For convenience of exposition, we work with an error term of the form..... For
completeness of exposition, we now recall the denition of the ordering on R. The exposition
owes much to the work of Dold described in [3]. The author thanks the referee for recommending
various improvements in exposition.
express [see also: show, demonstrate, indicate, convey] We can express f in terms of..... Each
f can be expressed in either of the forms (1) and (2). The chart shows government spending
expressed as a proportion of national income. This is sometimes expressed by saying that.....
We would like to express our thanks to all of these institutions for their hospitality and support.
MATHEMATICAL ENGLISH USAGE 55
expression We shall abbreviate the expression (3) to F(k). For this choice of , and with
u = z = s, the expression (5.3) simplies greatly. The eventual aim is to obtain a closed form
expression for F. How many such expressions are there? the expression in brackets in braces,
in parentheses) the rightmost expression [= the last one on the right] the right-hand side
expression
extend [see also: continue, generalize] We can extend f by zero to the whole . Now A, B
and C all extend to a small neighbourhood of x. We extend f to be homogeneous of degree 1.
We make D a Poisson algebra by extending the Poisson bracket on A by linearity. We begin
by extending Construction 2.1 to encompass B-algebras. This procedure can be extended to
take care of any number of terms. This conclusion extends to the general diraction problem.
Much of the foregoing can be extended to the noncompact case. The method of proof of
Theorem B can be adapted to extend the right-to-left direction of Mostowskis result by showing
that.....
extension [see also: generalization] Then F has no holomorphic extension to any larger region.
[BS] contains an extension of Proposition 2 to the setting of nitely additive set functions.
an extension of f o U
extensive [see also: thorough, large, wide, substantial, detail] There is now an extensive lit-
erature dealing with..... For a comprehensive treatment and for references to the extensive
literature on the subject one may refer to the book [M] by Markov. An extensive treatment of
the h-principle can be found in [6].
extensively [see also: fully, detail, expand, length] This subject has recently been extensively
studied.
extent [see also: scope, range, degree, far] It is not clear to what extent this can be generalized
to other varieties of loops. The aim of this article is to study the relationship between the size
of A, as measured by its diameter, and the extent to which A fails to be convex. In this section
we ask about the extent to which F is invertible.
extra [see also: additional, further, more] There is an extra statement that causes a new char-
acter to be read. We nd ourselves forced to introduce an extra assumption. These extra
stipulations are unimportant, but are given for deniteness. The method sketched in Section
3 of [Con] carries through with our choice of =
1
+
2
, but there is one extra ingredient
worthy of mention. The rst of these was suggested by J. Serrin, who showed how to modify
my earlier treatment of..... so as to obtain stronger results with no extra eort. They dened
the concept solely in terms of the norm of the Banach space, deliberately avoiding any extra
structure.
extract We extract the following from the proof of Lemma 5 of [KL].
extreme 1 Two natural extremes arise that one has to consider: the case when..... and the case
when..... At the other extreme, L could be empty. At the other extreme is the set of tent
maps with a dense orbit.
2 An extreme example is when F is a singleton.
56 JERZY TRZECIAK
F
fact [see also: information, detail, evidence, proof, actually, more] A stronger result is in fact
true. We note that H is in fact not Lipschitz continuous if this condition is violated. In fact,
we can do even better, and prescribe nitely many derivatives at each point of A. Now, just
the fact that F is a homeomorphism lets us prove that..... The advantage of applying..... lies
in the fact that..... Observe that (1) just uses the fact that m is unary.
factor 1 E is similar to F but scaled by a factor 1/3. Thus E is similar to F with a scale factor
1/3. The only additional feature is the appearance of a factor of 2. Thus we need only alter
our constants by a factor of 2 to deal with this case. This accounts for the factor 1/2 in (4).
2 The map f factors through the space X. We can factor g into a product of irreducible
elements.
fail [see also: hold, invalid, short] The space X fails to have the Radon-Nikodym property.
Hence A fails to satisfy (3). For j = 1 the operator is bounded, yet the integral (8) fails to be
nite. It is highly likely that if one of the Xs is exchanged for another, the inequality fails.
fairly [used with positive properties; see also: rather, reasonably] Tietzes theorem is a fairly
direct consequence of Urysohns lemma. To see that f = g is fairly easy. In the next theorem,
we give fairly minimal conditions that imply..... There are, however, a few important papers
of which we were unaware until fairly recently.
fall The most frequently used models fall into one of the following two categories. This example
falls within the scope of Coxs theorem. The method falls short of providing an explicit formula
for the index. [= fails to provide] In the latter case we may simply adjust F to equal 1 on the
Borel set where it falls outside the specied interval.
fallacious [see also: invalid, erroneous] However, this argument is fallacious, because as re-
marked after Lemma 3,.....
false The theorem is denitely false without the assumption that....., as an inspection of Exam-
ple 3 shows. It is this proposition that we believe to be false in Morava E-theory. Suppose,
towards a contradiction, that this is false. This works regardless of whether B is true or false.
There are nite measures for which the omission of (iv) would make (b) false.
familiar [see also: common, customary, usual, standard] The reader is assumed to be familiar
with elementary K-theory. Let E be Cantors familiar middle thirds set. We encourage the
reader unfamiliar with techniques from the theory of..... to consult [BS].
family [see also: collection, set] Let I be the family of all subalgebras which contain F. [Or:
that contain F; you can use either that or which in dening clauses.] The diculty is that it
is by no means clear what one should mean by a normal family. The words collection, family
and class will be used synonymously with set.
far [see also: extent, much] This problem is still far from being solved. Its description is far
from complete. To go into this in detail would take us too far aeld. However, (1) has been
proved so far only in the case where..... So far we have not topologized M(R). So far it seems
not to be known whether the geometric condition on X can be omitted. However, we have
thus far been unable to nd any magic squares with seven square entries. Functions which are
equal almost everywhere are indistinguishable as far as integration is concerned.
MATHEMATICAL ENGLISH USAGE 57
fashion [see also: manner, way, method] This was proved in elementary fashion by P. J. Cohen.
We shall need ways of constructing new triangulations from old ones which alter the f-vector
in a predictable fashion. Continuing in this fashion, we get a collection V
r
of open sets, one
for every rational r, with..... in a similar fashion
fast [see also: rapidly] a fast decreasing function [Not: a fastly decreasing function] The
other player is one-third as fast.
favorable In (3.6), the most favorable case is when t is in the centre of the interval.
feasible [see also: possible] It does not appear feasible to adapt the methods of this paper to.....
feature [see also: characteristic, detail, element, ingredient] 1 One unusual feature of the solu-
tion should be pointed out. The remarkable feature of this theorem is that..... The only addi-
tional feature is the appearance of a factor of 2. The main new feature is the use of the face ring
to produce lower bounds for the number of vertices. This t has the feature we want. Iterated
correspondences display many of the features of..... a basic distinctive/essential/key/main/
major/signicant/dominant/special) feature
2 We now describe a more interesting example featuring an operator that is non-trivially super-
cyclic. This article features results in both spectral theory and operator ergodic theory made
possible by a recent renewal of interest in the consequences of Jamess inequalities.
fellowship The paper was commenced whilst the second author held a Fullbright Fellowship.
few [see also: some, several, less] There are few exceptions to this rule. [= not many] There are
few, if any, other signicant classes of processes for which such precise information is available.
Few of various existing proofs are constructive. He accounts for all the major achievements in
topology over the last few years. The generally accepted point of view in this domain of science
seems to be changing every few years. This set has no fewer elements than K has. [Not: no
less elements; less should not be followed by a plural countable noun. However, use less when
it is followed by than or when it appears after a noun: X has no less than twenty elements; Y
has ten elements or less.] Any vector with three or fewer 1s in the last twelve places has at
least eight 1s in all. Theorem 3 is remarkable in that considerably fewer conditions than in
the previous theorems ensure universality. Therefore, F has the fewest points when the index
vanishes. There are a few exceptions to this rule. [= some] Apart from a few embellishments
necessitated by some technical diculties, the ideas dier very little from those used to prove
Lemma 4. Many interesting examples are known. We now describe a few of these. Only a
few of those results have been published before. Quite a few of them are now widely used.
[= A considerable number] The condition A < B excludes quite a few of the standard Young
functions.
eld [see also: area] Further motivation for looking at ideal class groups comes from the eld
of cryptography. his eld of scientic interest
gure As shown in Figure 3, neither curve intersects X. These patterns are illustrated in Fig. 4.
An example is plotted in Figure 1. The graph of Fig. 5 shows that..... This gure is drawn
to a scale of one to ten.
ll The reader is encouraged to ll in the missing details. Sets of the form (6) are disjoint and
ll out any such orbit.
58 JERZY TRZECIAK
nal [see also: eventual, ultimate] This paper is in nal form. In the nal section of the paper,
we list some open problems.
nally [see also: last, lastly] Finally, multiplication by a permutation matrix will get the expo-
nents in descending order. With Lemma 4 in at) hand, we can nally dene E to be equal to
P(m)/H. This nally yields f = g. [Not: yields that f = g]
nd [see also: come across, discover, see, obtain] Continuing in this manner, we see that for
4, the curve C
4k+3
is found in the half-strip B. The main results of the paper are found in
Section 2. Our proof of Theorem 2 is based upon ideas found in [BN]. Any other unexplained
notation is as found in Fox (1995). Following the same lines we nd that it takes k prolongations
to get an immersed curve. This will help us nd what conditions on A are needed for T(A)
to be analytic. Then, for any two xed points that Wagners method does not nd to be
equivalent, he considers the possible lengths of potential solutions to (1). We nd ourselves
forced to introduce an extra assumption. This accords with the intuition that as we pass down
the coding tree, we nd out more and more detailed information about the ordering actually
represented. Our main nding in this paper is that this intuition turns out to be erroneous.
ne [see also: delicate, subtle, minor] There is only a ne distinction between the two schemes.
A change in perspective allows us to gain not only more general, but also ner results than
in [ST].
nish [sth; doing sth; see also: close, complete, conclude, end, terminate] This nishes the
proof. Two more triangulations will nish the job. After having nished proving (2), we shall
return to..... [Not: nished to prove (2)] We nish by mentioning that, suitably modied,
the results of Section 2 apply to the AP case. Continuity then nishes o the argument.
rst 1 [see also: original] He was the rst to propose a complete theory of triple intersections.
Because N. Wiener is recognized as the rst to have constructed such a measure, the measure
is often called the Wiener measure. Let S
i
be the rst of the remaining S
j
. The rst two are
simpler than the third. [Or: the third one; not: The rst two ones] As a rst step we shall
bound A below. We do this in the rst section, which the reader may skip on a rst reading.
At rst glance, this appears to be a strange denition. The rst and third terms in (5) combine
to give..... the rst author = the rst-named author
2 [see also: initially, originally, beginning, rstly] First, we prove (2). [Not: At rst] We
rst prove a reduced form of the theorem. Suppose rst that..... His method of proof was to
rst exhibit a map..... In Lemma 6.1, the independence of F from V is surprising at rst. It
might seem at rst that the only obstacle is the fact that the group is not compact. [Note the
dierence between rst and at rst: rst refers to something that precedes everything else in a
series, while at rst [= initially] implies a contrast with what happens later.]
rstly [see also: rst] Firstly, if G is abelian, does it follow that S(G) = K, or equivalently,
that X
G
= p(M(G))?
t [see also: suit, suitable, satisfactory, appropriate] Other types t into this pattern as well.
We aim at tting this result into the general scheme of..... Although these proofs run along
similar lines, there are subtle adjustments necessary to t the argument to each new situation.
The key part is to show that the submanifolds U
k
t together to form a complex submanifold.
x For xed k,..... We temporarily x n in N. Fix n for the moment. Fix n and let c vary.
MATHEMATICAL ENGLISH USAGE 59
The mapping f leaves keeps) the origin xed. Thus F has x as its unique xed point.
focus 1 In this paper, the main focus is on the Riemann moduli space. Our focus now will be
on one-sided averages.
2 In this section we shall focus attention on..... Even though more general probabilistic con-
structions could be envisaged [= contemplated], we focus on those schemes where.....
-fold Then P covers M twofold. Sales increased almost fourfold in this period. The motivation
for writing this paper was twofold. By k-fold integration by parts,.....
folklore The following easy lemma is surely folklore. We now prove a simple fact about semi-
groups: this is surely a folklore result. The following simple example has long been a part of
ergodic-theoretic folklore.
follow [see also: imply, ensuing, subsequent] The remarks following Theorem 2 show that a = 0.
The analysis to follow only covers the case d = 1. We make the following provisional denition,
which is neither general nor particularly elegant, but is convenient for the induction which is
to follow. The following three statements are equivalent:..... For D a smooth domain, the
following are equivalent. The following has an almost identical proof to that of Lemma 2.
The idea of the ensuing computations is the following:..... His argument is as follows. The
fact that the number T(p) is uniquely dened, even though p is not, enables us to dene the
nullity of A as follows. In what follows In all that follows), L stands for..... Throughout
what follows, we shall freely use without explicit mention the elementary fact that..... It follows
that a is positive. [= Hence Consequently,/Therefore,) a is positive.] Firstly, if G is abelian,
does it follow that S(G) = K, or equivalently, that X
G
= p(M(G))? If we prove that G > 0,
the assertion follows. The general case follows by changing x to x a. We follow Kato [3]
in assuming f to be upper semicontinuous. Following the same lines we nd that it takes k
prolongations to get an immersed curve. The proof follows very closely the proof of (2), except
for the appearance of the factor x
2
. It is intuitively clear that the amount by which S
n
exceeds
zero should follow the exponential distribution.
for 1 We write z = (x, y) for the common point of A and B. We rst consider the M/G/1 queue,
where M (for Markov) means that..... For D a smooth domain, the following are equivalent.
For m not an integer, the norm can be dened by interpolation. For (ii), consider..... [= To
prove (ii), consider] Now (3) is clear. As for (4), it is an immediate consequence of Lemma 6.
[= Concerning (4)] Thus F is integrable for the product measure. Then for such a map to
exist, we must have H(M) = 0. The problem with this approach is that V has to be C
1
for
(3) to be well dened. Computing f(y) can be done by enumerating A(y) and testing each
element for membership in C. Therefore, the system (5) has a solution of the sought-for type.
2 [see also: because] We must have Lf = 0, for otherwise we can replace f by fLf. [= because
otherwise] It turns out that it suces to show that A = 1, for if this is proved, the preceding
remark shows that..... [This use of for sometimes leads to confusion; e.g., never write: for
x X if you mean: since x X. Also, avoid starting a sentence with a For in this sense.]
[Do not use for followed by an ing-form to indicate the purpose of ones actions: instead of: For
showing that f is bounded, we observe, write: To show that f is bounded, we observe. However,
you can use for to indicate the purpose of a thing: This provides a method for recognizing pure
injective modules.]
force [see also: strength] 1 The next lemma is the rst in this section that seems to require the
60 JERZY TRZECIAK
full force of the normality of X. The assumptions of Section 3 are still in force except that for
greater generality we do not assume f to be continuous.
2 [see also: make, necessitate, impose, require] If we choose close to 1, we can force r < 0.
This forces f to satisfy (6). We nd ourselves forced to introduce an extra assumption.
foregoing [see also: above, precede] How much of the foregoing can be extended to the non-
compact case?
form 1 [see also: shape, structure, type, kind] The map F can be put brought) into this form
by setting..... Let S be the set of all solutions of (8) of the form (3). We shall then show that
this f can be represented in the form f =..... This implies that the local martingale must take
a very specic form. in diagonal form
2 [see also: constitute, make up, account for, represent] Consider the Blaschke product formed
with the zeros of f. They form a base of the topology of X. Theorem 2 will form the basis
for our subsequent results. The key part is to show that the submanifolds U
k
t together to
form a complex submanifold.
formalism In this subsection, we develop a formalism that will be used in the proofs of our main
results.
formally The sum in (2), though formally innite, is therefore actually nite.
former [see also: latter] Then either....., or..... In the former case,..... Examples 1 and 2 give
two operators, the former bounded and the latter not, with..... The denition is stated in terms
of local martingales, rather than martingales, for the technical reason that the former are easier
to characterize in applications.
formula [pl. formulas or formulae] The main information conveyed by this formula is that.....
These models furnish integral formulas for the matrix entries of F. It seems appropriate to
mention in passing the corresponding formula for the cohomology of B
n
. In addition to illus-
trating how our formulas work in practice, it provides a counterexample to Browns conjecture.
Find integral formulas by means of which the coecients c
n
can be computed from f. For
later use, we record the following formulas:.....
formulate [see also: state] We can now formulate the problem to which the rest of this article is
dedicated. It is also clear that there are extensions to....., but they do not seem to be worth the
eort of formulating them separately. The benet of formulating our notion of isomorphism
section as above will become clear shortly.
formulation [see also: statement] In the next section we introduce yet another formulation of
the problem. Here we consider a dual variational formulation which can be derived similarly
to that for the sandpile model. It is proved in [1] (albeit with a slightly dierent formulation)
that.....
forthcoming In this section we gather some miscellaneous results that are more or less standard.
These will be used to calculate the constants c
.
glance [see also: look, sight] At rst glance Lemma 2 seems to yield four possible outcomes.
Neighbourhoods of points in these spaces appear at rst glance to have a nice regular struc-
ture, but upon closer scrutiny, one sees that many neighbourhoods contain collections of arcs
hopelessly folded up. Now, for arbitrary n, a glance at the derivative shows that.....
glue Then M is obtained by glueing gluing) X to Y along Z. There is a natural way to glue
the associated varieties together along their common boundary. The set A is obtained from B
by removing a neighbourhood of C and gluing in a copy of D.
go 1 [see also: stroke] Its role is to rule out having two or more consecutive P-moves (on the
grounds that they can be performed in one go).
2 [see also: continue, proceed, pursue, turn] a path obtained by going from A to B along the
lower half of the circle Here the interesting questions are not about individual examples, but
about the asymptotic behaviour of the set of examples as one or another of the invariants (such
as the genus) goes to innity. This proves that the dimension of S does not go below q.
We adopt the convention that the rst coordinate i increases as one goes downwards, and the
second coordinate j increases as one goes from left to right. Some members go into more than
one V
k
. To go into this in detail would take us too far aeld. We now go through the clauses
of Denition 3. Before going to the proof, it is worth noting that..... This idea goes back at
least as far as [3]. This argument goes back to Banach. Many of these results are known, and
indeed they go back to the seminal paper of Dixmier [D] of 1951. Going back to the existential
step of the proof, suppose that..... Before we go on, we need a few facts about the spaces L
p
.
64 JERZY TRZECIAK
The equation PK = 0 then goes over to QK = 0. The rest of the proof goes through as for
Corollary 2, with hardly any changes. There are kneading sequences for which the arguments
of Section 4 go through routinely.
good [see also: satisfactory, appropriate, suitable] The kernel satises good large time bounds
if.....
grant We claim that F is the product of two disjoint cycles. Granting this, we reach a contra-
diction as follows.
grasp [see also: understand, recognize, realize, see] To grasp the dierence between the two
notions, consider.....
grateful [not: greatful] The author is grateful to the referee for a number of helpful suggestions
for improvement in the article.
gratefully The author gratefully acknowledges the referees helpful comments pertaining to the
rst draft of this paper.
great [see also: large, more] Then F is 3 greater than G. Thus F is not no) greater than G.
Consequently, F is greater by a half. However, F can be as great as 16. One should take great
care with..... In his Stony Brook lectures, he laid great emphasis on the use of..... Another
topic of great interest is how much of adjunction theory holds for ample vector bundles. We
could have adopted an approach to proving Theorem 2 along a line of reasoning which bears
greater resemblance to the treatment of the analogous result in Section 1. To show the greater
simplicity of our method over Browns, let us..... It seems preferable, for claritys sake, not to
present the construction at the outset in the greatest generality possible.
greatly [see also: considerably, signicantly, substantially] For this choice of , and with
u = z = s, the expression (5.3) simplies greatly.
ground [see also: reason] Its role is to rule out having two or more consecutive P-moves (on
the grounds that they can be performed in one go).
grow [see also: develop, increase] The product being considered grows like n
3
. Our study grew
out of some valuable conversations with Kirk Douglas.
growth The structure of a Banach algebra is frequently reected in the growth properties of its
analytic semigroups. We give a fairly simple description of a wide class of averaging operators
for which this rate of growth can be seen to be necessary. the growth rate of V
n
as n
a function of moderate growth
guarantee [see also: ensure] Observe how the completeness of L
2
was used to guarantee the
existence of f. However, (5) is sucient to guarantee invertibility in A. We are guaranteed
only one dense product for each k. This guarantees that f satises all our requirements. .....,
which, by another theorem of Kimneys, is more than enough to guarantee that P gives A outer
measure 1.
H
half 1 We sketch the proof of the easy half of the theorem. This proves one half of (2); the
other half is a matter of direct computation. the left half of the interval the upper half of
the unit disc Thus F is greater by a half.
MATHEMATICAL ENGLISH USAGE 65
2 F is half the sum of the positive roots. [Or: half of the sum] Half of the sets of R miss i and
half the remaining miss j. Then J contains an interval of half its length in which f is positive.
On average, about half the list will be tested. Now F is half as long as G. [Or: as G is]
We divide N in half. The length of F is thus reduced by half.
hand Our presentation is therefore organized in such a way that the analogies between the
concepts of topological space and continuous function, on the one hand, and of measurable
space and measurable function, on the other, are strongly emphasized. On the other hand, F
fails to have property P. [Not: On the other side] With Lemma 4 in at) hand, we can
nally dene E to be equal to P(m)/H. Once the dissipation relation is in hand, no further
work is required. It can be easily calculated by hand that the nonzero solutions are.....
handle [see also: consider, deal, take up, treat, manipulate, control] The theorem indicates that
arbitrary multipliers are much harder to handle than those in M(A). But (9) needs handling
with greater care. However, as we are about to see, this complication is easily handled.
The map G can be handled in much the same way. This is handled by a direct case-by-case
argument.
happen [see also: occur] If this happens on a set of positive measure, then f cannot be contin-
uous. It may happen that B
1
is the only compatible compactication. What happens if the
word nonnegative is omitted? Under what conditions does it happen that r < s?
hard [see also: dicult, complex, complicated, involved, intricate] This is the hard part of
Joness theorem. The theorem indicates that arbitrary multipliers are much harder to handle
than those in M(A). The calculation of M(f) is usually no harder than the calculation of
N(f). The cases p = 1 and p = 2 will be the ones of interest to us, but the general case is no
harder to prove.
hardly [see also: little] The rest of the proof goes through as for Corollary 2, with hardly any
changes. [= with almost no changes] On the whole, the solution can hardly be considered
satisfactory. [= is rather unsatisfactory]
harm [see also: loss] The hypothesis f(0) ,= 0 causes no harm in applications, for if.....
have [see also: possession] This square has a perimeter equal to the circumference of the circle.
Then M is a Banach algebra having for its identity the unit point mass at 0. Thus R
has rank 2 determinant zero/cardinality c). Therefore F has a countable spectrum a nite
norm/a compact support). [Or: F has countable spectrum etc.] Since....., we have Tf equal
to 0 or 2. Then L consists of those g which have Kg(n) = 0 for all n. Is it possible to have
m(E) < 1 for such a set? However, X does have nite uniform dimension. Then B does
not have the Radon-Nikodym property. Let f be a map with f[M having the Mittag-Leer
property. Suppose A is maximal with respect to having connected preimage. This allows
proving the representation formula without having to integrate over X. It has to be assumed
that..... The problem with this approach is that V has to be C
1
for (3) to be well dened.
heart [see also: core, essence] This simple observation lies at the heart of the proof of our rst
theorem.
heavily [= a lot] Standard Banach space notation is used throughout. For clarity, however, we
record the notation that is used most heavily. We shall draw heavily on ideas from [3].
66 JERZY TRZECIAK
heavy [see also: cumbersome] This section makes heavy use of a theorem of Alsen and related
results.
help [see also: aid] This will help us nd what conditions on A are needed for T(A) to be
analytic. [Or: help us to nd] The knowledge of the invariant subspaces of an operator helps
us to visualize its action. It is hoped that a deeper understanding of these residues will help
establish new results about the distribution of modular symbols. To calculate (2), it helps to
visualize the S
n
as the successive positions in a random walk. It may help to think of F as
being a smooth approximation to the Heaviside function.
helpful [see also: useful, advantageous, valuable] It is helpful to keep these similarities in mind.
hence [see also: consequently, so, thus, therefore, follow] Then F is continuous, hence bounded
on D. We can suppose R is semilocal (and hence a PID).
henceforth [= hereafter, from this time on] This theorem will henceforth be referred to as the
minimum principle. [Note the double r in referred.] We henceforth identify SC(K K) with
a -subalgebra of L
-algebras.
The maps f
t
are homotopic, so f
1
and f
0
induce the same maps in homology. These intervals
are disjoint from all those used in dening J
1
. In doing this we will also benet from having
the following notation. This also resolves the ambiguity introduced earlier in choosing an order
of the lifts of U. Each A
i
meets A in a nite set. [= A
i
A is nite] Then one Y
i
can
intersect another only in one point. Values computed for the right side of (2) were rounded
up in the fourth decimal place. Then F varies smoothly in t. Thus F
n
(x, y) converges to
F(x, y) uniformly in x. Clearly, A
j
is increasing in j. The word ends in a. in diagonal form
in geometric language In less precise language, the requirement is that the two angles are
the same in size and in orientation. Then P is the product of several integer factors of about
x
n
in size. The set A is roughly triangular in shape. The proof proper [= The actual proof]
will consist of establishing the following statements in sequence. convergence in probability in
distribution) Less than 1 in p of its points will result in a quartic with ideal class number p.
Theorem 3 is remarkable in that considerably fewer conditions than in the previous theorems
ensure universality. As M is ordered, we have no diculty in assigning a meaning to (a, b).
The prime 2 is anomalous in this respect, in that the only edge from 2 passes through 3. This
is where the notion of an upper gradient comes in. The set A is obtained from B by removing
a neighbourhood of C and gluing in a copy of D.
inability A shortcoming of our method is the inability to compare three or more progressions.
incidentally [see also: by-product, pass, way] Incidentally, our computation shows that.....
Incidentally, the question of whether K(E) is amenable for specic Banach spaces E seems to
have received almost no attention in the literature.
include [see also: embrace, cover, subsume, comprise, contain] We shall only use (2), but
have included (1) for completeness. Some of the basic ideas from functional analysis are also
included. The proof is mainly included to keep the exposition as self-contained as possible.
The nal lemma is due to F. Black and is included with his kind permission. We begin by
describing the class of functions f considered, which includes the special cases quoted above.
This paper enlarges the class of continua with this property, namely to include those which.....
Let Q denote the set of positive denite forms (including imprimitive ones, if there are any).
Let K and L be quasivarieties such that K is properly included in L. from stage A up to,
but not including, stage B
MATHEMATICAL ENGLISH USAGE 71
incomparable [with sth, to sth] By genericity of P there is an x incomparable with both y
and z.
incompatible [with sth] However, rigidity is incompatible with the existence of an absolutely
continuous component.
incomplete From the standpoint of linear programming, the above discussion is incomplete in
that it throws no light upon the question whether the function F attains its inmum.
increase 1 an increase of 5%a 5% increase) in the cost of living A small percentage reduction in
the cost of materials resulted in a signicant increase in prot. a considerable major/marked/
signicant/substantial/modest/small/sharp/steady/sixfold/overall) increase
2 [see also: enhance, grow, raise] Obviously, G
n
increases to G as n . Sales increased
almost fourfold in this period. The budget has increased by more than a third. We adopt the
convention that the rst coordinate i increases as one goes downwards, and the second coordinate
j increases as one goes from left to right. The index increases by 1 when the path is crossed
from right to left. The numbers inserted in L must increase strictly down each column. Also,
F does not increase distances. There has recently been increasing interest in the theory of.....
It becomes impracticable to compute the zeros of F for degrees greater than 6; in any event,
deciding whether the divisors found in this way represent irreducible curves becomes increasingly
dicult. Indeed, as n increases, it becomes increasingly rare for a manifold to be a hyperplane
section of another projective manifold.
indebt I am greatly indebted to S. Brown for this example. We are indebted here to Villanis
account (see [2]) of a standard generalization of convex conjugacy.
indeed Note that this lemma does not give a simple criterion for deciding whether a given
topology is indeed of the form T
f
. We now prove..... Indeed, suppose otherwise. Then..... We
leave to the reader the proof that f is indeed self-adjoint, and not merely symmetric. Many of
these results are known, and indeed they go back to the seminal paper of Dixmier [D] of 1951.
indenitely Suppose that the process continues indenitely.
independence [of sth from sth] In Lemma 6.1, the independence of F from V is surprising at
rst.
independent [of sth, not: on sth] ....., the constant C being independent of n. Note that
F is independent of the choice of the family S. Indeed, it is routine to verify that the index
so constructed is independent of the choices made. It turns out that this is independent of the
representations taken (as long as they are faithful). The two notions of rank are independent
of each other. a result of independent interest
independently Similar results were obtained independently in [AB]. All our results hold in-
dependently of whether the underlying eld is R or C. Here Q
j
for j = 1, ..., n are drawn
independently, conditional on the values generated at level m.
indeterminate We write V [[h]] for the space of formal power series in an indeterminate h.
indicate [see also: demonstrate, show, point, express, convey, suggest, mark] ....., where the
prime indicates that only terms with p > 0 may appear. We shall write a.e. [] whenever
clarity requires that the measure be indicated. We now indicate some of the inherent diculties.
72 JERZY TRZECIAK
The proof will only be indicated briey. We now show that G is in the symbol class indicated.
for k in the indicated range
indication The proof is nonconstructive and gives no indication of what the exceptional set may
look like.
indistinguishable Functions which are equal almost everywhere are indistinguishable as far as
integration is concerned.
individual [see also: particular, single, specic, unique] Here the interesting questions are not
about individual examples, but about the asymptotic behaviour of the set of examples as one or
another of the invariants (such as the genus) goes to innity.
individually Although individually these systems can still be quite complicated, a possibly more
tractable task is to describe their possible joint distributions.
induce The maps f
t
are homotopic, so f
1
and f
0
induce the same maps in homology. The
induced homomorphism is multiplication by 2. On TK we set up [= introduce] the symplectic
structure induced by the metric.
induction The proof is by induction on n. By decreasing induction on p,..... We show that.....
by reverse induction on i, starting at i = n and working down to i = 0. We proceed by
induction. If we apply induction to (3) we see that..... For the base step of the induction,
consider a vertex t in A. We may require that the point P lie in one of the trees constructed
before or during the ith stage of the induction. [Note the subjunctive lie.] Induction shows
that if.....
inductive This example indicates that the inductive argument in the proof of Theorem 1 is
unavoidable.
inductively Thanks to Lemma 2, we can now modify the proof of Theorem 3 by inductively
constructing ve sequences..... Dene two polynomials f and g inductively as follows.
inequality opposite reverse) inequality inequality in the opposite direction Strict inequality
can occur hold) in (8) only if..... The condition (8) holds with strict inequality.
infer [see also: conclude, deduce, follow] From (5) we infer that..... We have shown that.....,
whence it is readily inferred that..... It can be inferred from known results that these series at
best converge conditionally in L
p
.
innite Leray and Schauder laid the foundations for the generalization of the Lefschetz index
to innite dimensions. Thus F vanishes to innite order at x. Note that both sides of the
inequality may well be innite. The sum in (2), though formally innite, is therefore actually
nite. We consider every subset of N, whether nite or innite, to be an increasing sequence.
innitely The known results show that the situation is innitely more complicated there than
in L
2
. We oer numerical evidence to support a conjecture that there exist innitely many
primes of this type. innitely often an innitely dierentiable function
innity Here the interesting questions are not about individual examples, but about the asymp-
totic behaviour of the set of examples as one or another of the invariants (such as the genus)
goes to innity.
inuence [see also: aect] Inuenced by (2) of Theorem 3, Danes (1989) suggested that.....
MATHEMATICAL ENGLISH USAGE 73
informally Informally said, gaps go to gaps. Stated informally, continuous functions of mea-
surable functions are measurable.
information [see also: data, material] Theorem 1 gives information on about)..... Also, wher-
ever possible, we work with integer coecients, enabling us to obtain information about torsion.
The main information conveyed by this formula is that..... For background information,
see [5]. This accords with the intuition that as we pass down the coding tree, we nd out
more and more detailed information about the ordering actually represented. The interested
reader is referred to [4] for further information. [Note the double r in referred.] Another proof
(yielding more information) can be found in [GH]. The survey article [5] by Diestel contains a
wealth of information about the Dunford-Pettis property. Intuitively, entropy of a partition is
a measure of its information contentthe larger the entropy, the larger the information content.
These three results lead to several illuminating pieces of information about the (insuciently
studied) Berger property in general spaces. [Note that information has no plural and does not
appear with an.]
informative a highly informative book
ingredient [see also: element, feature, detail, characteristic, point, aspect] The main crucial/key)
ingredient in the proof of..... is..... The method sketched in Section 3 of [Con] carries through
with our choice of =
1
+
2
, but there is one extra ingredient worthy of mention.
inherent [see also: essential, basic, intrinsic] It is important to notice some of the weaknesses
inherent in the above approach. We now indicate some of the inherent diculties.
initially [= at rst] The function f (initially dened on C
0
) determines a functional on S.
initiate This research was initiated when the rst author was visiting the University of Alberta
in the summer of 2008; the nancial support and kind hospitality are gratefully acknowledged.
innermost the innermost sum in (4)
inordinately We also need the following technical lemma, which asserts the rarity of numbers
with an inordinately large number of prime factors.
insert [see also: plug, put, place] Inserting additional edges destroys no edges that were already
present.
inside [see also: within] Inside U, the zeros are also quantitatively restricted. The intervals we
are concerned with are either completely inside A or completely inside B. the inside diameter
inspection [see also: check, examination, scrutiny, verication] The theorem is false without
the assumption that....., as an inspection of Example 3 shows. A close inspection of the proof
reveals that..... a careful detailed/thorough/brief/routine) inspection
inspiration [see also: motivation, impulse] The inspiration for Theorem 1 was the paper of
Snow.
inspire [see also: motivate, impulse] This inspired us to take a fresh look at all the results in
[BG].
instead [see also: place, replace, rather] Instead of using the Fourier method we can multiply.....
[Not: Instead using] Instead of dealing with lines one by one, we deal with collections of
lines simultaneously. The proof we give is based instead on Galois theory. Strictly speaking,
74 JERZY TRZECIAK
we should write something like a(l, m, n) to reect the dependence; we shall rely upon context
instead. Rather than working directly with V (s), we shall instead consider the following two
general integrals:..... [Or: Rather than work]
institution We would like to express our thanks to all of these institutions for their hospitality
and support.
integer Then F has simple zeros with residue 1 at the integers. a polynomial with integer
coecients
integrable a p-integrable function the space of pth power integrable functions
integral 1 the integral of f on A over A)
2 the integral multiples of 2
n
integrate We now integrate around the circle over [x[ < 1 /on [x[ < 1) to obtain.....
integration We see with the aid of an integration by parts that..... Theorem 2 makes it
legitimate to apply integration by parts. By k-fold integration by parts,..... This bound is
integrable and on integration one again obtains the same form of..... Functions which are equal
almost everywhere are indistinguishable as far as integration is concerned. Without losing any
generality, we could have restricted our denition of integration to integrals over all of X. [Not:
Without loosing] Recently proofs have been constructed which make no appeal to integration.
To justify the interchange of summation and integration, consider..... The interchange in the
order of integration was legitimate, since..... One is tempted to reverse the order of integrations
but that is illegitimate here.
intend [see also: aim, design] We intend to analyze ideals of the form x
i
) for i N. Condition
(c) is intended to give us rm control over..... Thus the paper is intended to be accessible both
to logicians and to topologists. This volume was originally intended as a celebration volume
marking the occasion of N. Wieners seventieth birthday.
intention [see also: aim, purpose, objective, design] It has not been our intention to claim the
originality of this result.
intentionally [see also: deliberately] This terminology is intentionally provocative.
interchange [see also: exchange] 1 To justify the interchange of summation and integration,
consider..... The interchange in the order of integration was legitimate, since.....
2 It follows, by interchanging the roles of X and Y , that..... The lower limit is dened analo-
gously: simply interchange sup and inf in (1).
interchangeably We shall write H(x, t) and H
t
(x) interchangeably.
interest 1 [see also: importance] The interest of the lemma is in the assertion that..... There
has recently been increasing interest in the theory of..... This article features results in both
spectral theory and operator ergodic theory made possible by a recent renewal of interest in the
consequences of Jamess inequalities. Our interest in extending Strangs results comes from
the fact that..... The authors interest in this problem was recently rekindled by a conversation
with David Lees. The theorem gains in interest if we realize that..... The usefulness and
interest of this correspondence will of course be enhanced if there is a way of returning from the
transforms to the functions, that is to say, if there is an inversion formula. This class is wide
enough to include a number of examples of interest. It is therefore of interest to look at the
MATHEMATICAL ENGLISH USAGE 75
asymptotic behaviour of..... Of particular interest to us is S(5, 3). Canonical products are of
great interest in the study of entire functions of nite order. The polynomials R
i
do not have
this stability property, and are therefore of little interest. We now prove a result that may be of
independent interest. The case n = 2 is of no interest since..... We have made modications
in the interest of readability.
2 We shall be interested in seeing whether..... We now prove a lemma which is interesting in
its own right. The preceding proof contains a result which is interesting enough to be stated
separately. Interestingly, it turns out that there are examples of..... Galois correspondences
are uninteresting from the dynamical point of view.
interplay The interplay of these two kinds of sets will be crucial in the proof of our main theorem.
interpret [not: interprete] Now (1) can be interpreted to mean that A = B. Theorem 3
may be interpreted as saying that A = B, but it must then be remembered that..... Neverthe-
less, in interpreting this conclusion, caution must be exercised because the number of potential
exceptions is huge. The right-hand members of (1) and (2) are to be interpreted by continuity
when f is in Z.
interpretation This inequality admits of a simple interpretation. The interpretation of is
that for every x,..... Of course, a literal interpretation of (1) makes no sense.
interrupt In this section we gather some miscellaneous results that are more or less standard.
These will be used to calculate the constants c
if and only if..... It is these buers that make it easy to see that the limit continuum
is contractible. Of course, it is tacitly understood that it is this measure that is really under
discussion. It has to be assumed that..... Theorem 2 makes it legitimate to apply integration
by parts. We leave it to the reader to verify that..... We shall nd it convenient not to
distinguish between two such sequences which dier only by a string of zeros at the end.
But....., it being impossible to make A and B intersect. [= since it is impossible to make]
item [see also: point, matter, issue] Since most of the results presented are quite classical (the
novelty lies in the arrangement, and some of the proofs are new), I have not attempted to
document the source of every item. The third item is proved similarly.
iterate 1 One can iterate Theorem 2 to conclude that.....
2 The iterates eventually reach the value 1.
itself This itself does not produce a solution of (1), but an additional hypothesis such as the
Palais-Smale condition does provide such a solution. We have to show that M itself is an
algebra. [Or: M is itself an algebra.] But H itself can equally well be a member of S. Now
f is independent of the choice of (although the integral itself is not). Thus in G itself there
can be no such equivalences with f(r) = 2.
J
job Two more triangulations will nish the job.
join [see also: connect, relate, tie, associate] We can join a to b by a path . [Or: join a and b;
not: join a with b] Parallel lines never join. These subsets join up to form a simple closed
curve passing through A and B.
just [see also: equally, merely, only, simply, exactly, precisely] His techniques work just as well
for general v. The other inequality is just as easy to prove. When n = 0, (7) just amounts to
saying that..... We shall be brief here and just estimate the terms that are the most challenging.
When there is no ambiguity we drop the dependence on B and write just Y
T
for Y
T,B
. Now,
just the fact that F is a homeomorphism lets us prove that..... Can f(x) > 1 be replaced by
just x > 1? The inverse image of A consists of just the basepoint of X. In fact, we shall prove
78 JERZY TRZECIAK
our result under the weaker hypothesis that W is weakly bounded, rather than just bounded, on
an innite subset of G. This follows from Lemma 2 just the way (a) follows from (b). This
class includes just under 3000 items.
justify [see also: legitimate, meaningful, explain, reason] To justify the interchange of summa-
tion and integration, consider..... The last but one step is justied by the fact that.....
juxtaposition Concatenation of sequences is indicated by juxtaposition in the obvious way.
K
keep [see also: leave, retain, preserve, maintain, stick] Keep only those vertices whose coordi-
nates sum to 4. The mapping f keeps the origin xed. The proof is mainly included to keep
the exposition as self-contained as possible. Keep in mind that we are now using algebraic
notation. We have to keep track of how the constant K depends on the domain D.
key [see also: basic, critical, crucial, essential, main] The key observation is that if..... The key
part is to show that the submanifolds U
k
t together to form a complex submanifold. A key
step in obtaining (6) is Jensens inequality. It supplies the key to the proof of Theorem 2.
The following lemma is the key to extending Wagners results.
kind [see also: sort, type, form] Another kind of modication is illustrated in the next lemma.
The same kind of approach has been taken successfully to determine all regular maps of various
small genera. processes of an entirely new kind a connection of some kind
know [see also: realize, recognize, grasp, aware] We do not know whether or not Q(R) = R in
this situation. The map f, which we know to be bounded, is also right-continuous. Knowing
this matrix is equivalent to knowing the multiplicities of the k
i
. However, we know of no way
of deriving one theory directly from the other. All the Cox maps F are known to have L(F)
nite. The best known of these is the Knaster continuum. The answer is not known to us.
The only references known to the authors are [A] and [V], where the case A = L(E) is settled in
the negative. Many of them were already known to Gauss. It has long been known that.....
It has been known for some time that..... The conjecture (now known not to be true in
general) was that..... So far it seems not to be known whether the geometric condition on X
can be omitted. In particular, there is a summary of what is known about polarized pairs
with small genus. The importance of these examples lay not only in lowering the dimension of
known counterexamples, but also in..... [Note that the past tense of lie is lay, not lied.] The
following proposition is probably well known, but we do not have a reference.
knowledge To the best of the authors knowledge, the problem is still open. However, to our
knowledge this is not fully resolved. Indeed, to our knowledge, cardinality restrictions on Berg
spaces have received no prior attention outside the metric context. Give a proof of Theorem
2 which requires no knowledge of the boundary values of f. The knowledge of the invariant
subspaces of an operator helps us to visualize its action. We presume a basic knowledge of
large cardinals and forcing.
L
label 1 The edges F and G have opposite labels. The vertex F has label 1.
2 [see also: indicate, mark] The point F is labelled 1. [Or: labelled by 1.] We may assume
after passing to a subsequence (still labelled v
n
) that.....
MATHEMATICAL ENGLISH USAGE 79
lack 1 [see also: absence] Note that the lack of compactness prevents us from using Theorem 1.
Thus, although we follow the general pattern of proof of Theorem A, we must also introduce new
ideas to deal with the lack of product structure. [Note the dierence: absence = non-presence;
lack = shortage of something desirable.]
2 The space R is pseudo-compact but lacks any such subset.
language [see also: term] This can be translated into the language of dierential forms.
Rephrased in the language of [HT], Proposition 2 says that..... In geometric language, the
hypothesis is that F is.....; part of the conclusion is that F satises.....
large [see also: great, more, extensive, substantial] This is a condition on how large f is. The
process slows down for large x. Unfortunately, this only holds for n suciently large. Then
M
n
(x) = 0 for every x, however large. [= no matter how large] Here L can be taken as large
as desired. There are a large number of examples showing that..... [Not: There is a large
number] The kernel satises good large time bounds if..... But A
n
z
n
is much larger than
the sum of all the other terms in the series
A
k
z
k
. The question of whether B is ever strictly
larger than A remains open. Intuitively, entropy of a partition is a measure of its information
contentthe larger the entropy, the larger the information content. the second largest element
By and large, we shall use the same notation as in..... [= In general]
largely [see also: mostly, mainly, essentially, broadly] This eect is largely [= mostly] due to
the presence of the logarithmic factor. The remainder of the estimation is largely [= to a great
extent] as before with B replaced by C. Over the past ten years the isomorphic structure of
spaces of weighted holomorphic functions has been largely [= almost completely] determined.
We will nish this section by oering a second application of our machinery (although in truth
it is largely a corollary of the above).
last The vector v has at least n ones in its last m positions. This last result means that.....
This last means that..... These last two are called the Banach maps. (see the last paragraph
but one of page 24) The last but one step is justied by the fact that..... the next-to-last
inequality = the second last inequality = the penultimate inequality the third last row = the
antepenultimate row the last-mentioned map Now (d) is clear from the very last statement
of Theorem 4. He accounts for all the major achievements in topology over the last few years.
We can at last show that the limit in (1) exists. [Note that at last means after much delay;
to introduce a last point or reason, use nally or lastly.]
lastly [see also: nally, last] And lastly, what do we mean by an admissible map?
late [see also: subsequently] For later use, we prove a mild renement of this latter characteri-
zation. Let us note (for later reference) that..... Later, by bringing in the injectivity radius,
Fong simplied the argument. We shall see later that the values of h(n) for large n are irrele-
vant to the problem. We now state a result that will be of use later. To save space later on,
all modules are given in the form.....
latter [,= later; see also: former] Both F and G are connected, but the latter is in addition
compact. Then either..... or..... In the latter case,..... Examples 1 and 2 give two operators,
the former bounded and the latter not, with.....
lay The conference laid the basis for a series of annual gatherings. In his Stony Brook lectures,
he laid great emphasis on the use of..... In Section 2, we lay the foundations for a systematic
80 JERZY TRZECIAK
study of..... Leray and Schauder laid the foundations for the generalization of the Lefschetz
index to innite dimensions. There are some obvious necessary conditions, rst laid in [8].
[= presented] We lay out the details of this generalization in the rst part of this paper.
lead This leads to the contradiction that 0 < a < b = 0. Interchanging the roles of f and g
leads from (5) to..... These properties led him to suggest that..... This leads us to consider the
closed subscheme dened by G. The above construction has led the author to believe that.....
So one is naturally led to an investigation of..... If we simply mimic the standard proof of.....,
we are led to.....
learn [see also: nd out, discover] In the course of writing this paper we learned that P. Fox
has simultaneously obtained results similar to ours in certain respects. However, shortly after
learning about Wieners work, P. Levy found a more elementary argument.
least [see also: minimal] This is the least useful of the four theorems. The least such constant
is called the norm of G. The rank of appearance (or simply the rank) of an integer in the
sequence U(P) is the least positive integer n such that..... We select a system for which the
power of b dividing n is least. That is the least one can expect. It does not matter in the
least whether..... Each f lies in zA for at least one A. The degree of F exceeds that of G by
at least 4.
leave [see also: keep, remain, preserve] Then we can nd some net (s
k
) which eventually leaves
every compact subset of G. We leave the details to the reader. We leave it to the reader to
verify that..... The mapping f leaves the origin xed. These results leave open the basic case
k = . So s can be thought of as q with F
q
extended but X
q
left the same. What is left is
to show that..... We are left with the task of determining.....
left [see also: right] Examination of the left and right members of (1) shows that..... Under
those conditions, what does the sum on the left hand side of (8) signify? Note that (2) serves
as the denition of its left side. We denote the left-hand such interval by I
L
and the right-hand
one by I
R
. Now F is dened to make G and H match up at the left end of I. The tangent
space to N at x is identied with M via left translation. The method of proof of Theorem B
can be adapted to extend the right-to-left direction of Mostowskis result by showing that.....
Comparisons are done in left-to-right order. The entries in each row are increasing from left
to right. The string N (read from right to left) starts with..... We say that F is low if F(c)
lies to the left of c. To be precise, A is only left-continuous at 0.
legitimate [see also: justify, meaningful] Theorem 2 makes it legitimate to apply integration by
parts. The denition is legitimate, because..... The interchange in the order of integration was
legitimate, since..... In the preceding proof, the appeal to the dominated convergence theorem
may seem to be illegitimate, since.....
lemma [pl. lemmas or lemmata] We shall prove this theorem shortly, but rst we need a key
lemma. The proof will be divided into a sequence of lemmas. We now prove a lemma which
is interesting in its own right. The interest of the lemma is in the assertion that..... We defer
the proof of the moreover statement in Theorem 5 until after the proof of the lemma. With
Lemma 4 in at) hand, we can nally dene E to be equal to P(m)/H. ....., from which it
is an easy step, via Lemma 1, to the conclusion that..... The following lemma is the key to
extending Wagners results. The following lemma, crucial to Theorem 2, is also implicit in [4].
Note that this lemma does not give a simple criterion for deciding whether a given topology is
MATHEMATICAL ENGLISH USAGE 81
indeed of the form T
f
. At rst glance Lemma 2 seems to yield four possible outcomes. The
nal lemma is due to F. Black and is included with his kind permission.
lend One of the appealing aspects of the spectral set is that it readily lends itself to explicit
computation. This lends precision to an old assertion of Dini:.....
length [see also: detail, depth, expand] Pick the rst arc of length 1 in this sequence. The
interval J has length 2k. This subject is treated at length in Section 2. We shall discuss this
again at somewhat greater length in Section 2.1.
lengthy A rather lengthy calculation shows that.....
less [see also: few] Then F is 2 less than G. Let A
n
be a sequence of positive integers none of
which is 1 less than a power of two. Thus F is less than or equal to G. [Not: less or equal to
G, nor less than or equal G] Here F is strictly less than G. Thus F is no less than G.
Clearly, F is less than 1 in absolute value. Less than 1 in p of its points will result in a quartic
with ideal class number p. [Do not write: X has no less elements than Y has if you mean:
X has no fewer elements than Y has; less should not be followed by a plural countable noun.
However, use less when it is followed by than or when it appears after a noun: X has no less
than twenty elements; Y has ten elements or less.] Much less is known about hyperbolically
convex functions. Although our proof is a little tedious, it is much less so than Itos original
proof, which was carried out without the benet of martingale technology. This method is
recently less and less used. to in) a lesser degree
let Let R be a ring and A a right R-module. [Not: Let R a ring] Let f satisfy (2). [Not:
Let f satises (2), nor Let f verify (2).] Let f be the linear form g (m, g). We let T
denote the set of..... One cannot in general let A be an arbitrary substructure here. Letting
m tend to zero identies this limit as H. As we let t vary, f(t) describes a curve in M. The
desired conclusion follows after one divides by t and lets t tend to 0. Now, just the fact that
F is a homeomorphism lets us prove that.....
letter We use the letter m for..... The letter will be reserved for characteristic functions
throughout this book.
level [see also: degree, stage] Two words are m-equivalent if the corresponding paths terminate
at level m at the same vertex and coincide from level m+ 1 to n. These results show that an
analysis purely at the level of functions cannot be useful for describing..... The vector eld H
always points towards the higher A-level. The temperature has to be maintained at a very high
level. Ination in the rst quarter rose beyond the acceptable level of 5%. The level of.....
has remained largely unchanged for many years. Prewar levels of production were surpassed
in 1929.
lie Each component which meets X lies entirely within Y . Then C lies on no segment both of
whose endpoints lie in K. The advantage of using..... lies in the fact that..... This simple
observation lies at the heart of the proof of our rst theorem. The importance of these examples
lay not only in lowering the dimension of known counterexamples, but also in..... [Note that the
past tense of lie is lay, not lied.]
light These facts shed new light a new light) on..... From the standpoint of linear programming,
the above discussion is incomplete in that it throws no light upon the question whether the
82 JERZY TRZECIAK
function F attains its inmum. In light of In the light of) the obvious inequality a b,.....
This is no coincidence, in the light of the remarks preceding Denition 2.
like [see also: as, resemble, similar] Thus modules over categories are in many ways like ordinary
modules. So we must in particular show that sets like this are not added. It should come as
no surprise that a condition like a
i
,= b
i
turns up in this theorem. A formula like (3) surely
deserves some explanation. Specically, one might hope that a clever application of something
like Choquets theorem would yield the desired conclusion. Construct an example, like that of
Example 9, in which (1) fails but (2) holds. It is now apparent what the solution for K will be
like:..... Let us see what such a formula might look like, by analogy with Fourier series. The
proof is nonconstructive and gives no indication of what the exceptional set may look like.
likely [see also: possible, plausible] All inputs of size n are equally likely to occur. It seems
likely that the arguments would be much more involved. It is highly likely that if one of the
Xs is exchanged for another, the inequality fails. A complete explication of the Fox spaces
is warranted, as it will likely reveal further clues to the dierences between the parabolic and
hyperbolic theories. This change is unlikely to aect the solution. It is unlikely that the
disturbances will eventually disappear.
likewise [see also: similarly, also, moreover] Likewise, if A does not span C(I), removal of any
of its elements will diminish the span.
limit 1 The limit lim
x0
f(x) exists. [Not: There exists a limit lim
x0
f(x).] Now (1) follows
after passage to the limit as n .
2 [see also: conne, restrict] I shall limit myself to three aspects of the subject.
limitation [see also: restriction] All these methods had severe limitations.
line [see also: approach, procedure] The proof proceeds along the same lines as the proof of
Theorem 5, but the details are more complicated. Following the same lines we nd that it takes
k prolongations to get an immersed curve. For direct constructions along more classical lines,
see [2]. Although these proofs run along similar lines, there are subtle adjustments necessary
to t the argument to each new situation. Further results along these lines were obtained by
Clark [4]. This paper, for the most part, continues this line of investigation. The same line
of reasoning applies in the continuous time setting. Here c denotes a constant which can vary
from line to line. Then....., where the fact that A = B was used on the penultimate line. The
inmum in the nal line here is equal to S. a broken dashed, dotted, slanting, wavy) line
link 1 [see also: connection, relationship] There is a close direct/strong) link between..... We
also make links with some classical notions, in particular, Taylors structure semigroup. It is
worth making a link with Theorem 1.
2 [with/to sth; see also: connect, join, relate, tie, associate] The spectral theory of..... is closely
linked to the discrete Hilbert transform.
list 1 Let f be the ith formula on the list. The algorithm compares x with each entry in turn
until a match is found or the list is exhausted.
2 [see also: enumerate] In the nal section of the paper, we list some open problems. All
possible types are listed in Table 4.
literal Of course, a literal interpretation of (1) makes no sense.
MATHEMATICAL ENGLISH USAGE 83
literature There is now an extensive literature dealing with..... For a comprehensive treatment
and for references to the extensive literature on the subject one may refer to the book [M] by
Markov. However, no extension in this direction has appeared in the literature. Inciden-
tally, the question of whether K(E) is amenable for specic Banach spaces E seems to have
received almost no attention in the literature. Unfortunately, the connection with Gromovs
work has been obscured in recent years by an emphasis (in the algebraic topology literature) on
conguration spaces.
little [see also: minor, slight, somewhat, hardly] The polynomials R
i
do not have this stability
property, and are therefore of little interest. This idea is very little dierent from what can
already be found in [2]. Apart from a few embellishments necessitated by some technical
diculties, the ideas dier very little from those used to prove Lemma 4. With a little more
work we can prove..... Little else is known about the Klein property in this class of spaces.
locate Let us digress to locate the need for relative ergodicity in the above arguments. These
slits are located on circles about the origin of radii r
k
.
location [see also: place, position] Theorem 7 imposes a quantitative restriction on the location
of the zeros of..... The location of the zeros of a holomorphic function in a region is subject
to no restriction except the obvious one concerning the absence of limit points in . Let n
k
be
the rst location to the right of the kth decimal place of W that has a value less than b.
long Hence F is twice as long as G. However, with the recent advent of simulation based
inference, the need for analytically tractable posteriors is no longer critical. It turns out that
this is independent of the representations taken (as long as they are faithful). [= provided that
they are faithful] It has long been known that..... The following simple example has long
been a part of ergodic-theoretic folklore. a long-standing conjecture
look 1 [see also: glance, inspection, scrutiny] Let us now take a quick look at the class N, with
the purpose of determining how much of Theorems 1 and 2 is true here. This inspired us to
take a fresh look at all the results in [BG]. A careful look at the proofs reveals that.....
2 [see also: view, regard, examine, study, appear, seem] The preceding observation, when
looked at from a more general point of view, leads to..... Rather than discuss this in full
generality, let us look at a particular situation of this kind. Suppose, to look at a more specic
situation, that..... The next lemma shows how such a semilattice looks when embedded in a
larger compact semilattice. Let us see what such a formula might look like, by analogy with
Fourier series. The proof is nonconstructive and gives no indication of what the exceptional set
may look like. This observation prompted the author to look for a more constructive solution.
Here, of course, the set A produced is rather thin and certainly nowhere near the densities we
are looking for.
lose This extension retains control on..... at the sacrice of losing some control on..... [Not:
loosing] The total amount of information lost is.....
loss [see also: harm] It simplies the argument, and causes no loss of generality, to assume.....
This involves no loss of generality. Without loss of generality we can assume that..... [In
many cases, the phrase without loss of generality can be omitted; write simply: We can assume
that..... Avoid using the abbreviation w.l.o.g.]
lot [see also: heavily] This is an area where there is currently a lot of activity.
84 JERZY TRZECIAK
low [see also: lower] The weight dropped to a low of 7 kg.
lower 1 [see also: decrease, diminish, reduce, cut down, limit] The importance of these examples
lay not only in lowering the dimension of known counterexamples, but also in..... [Note that the
past tense of lie is lay, not lied.]
2 The lower limit is dened analogously: simply interchange sup and inf in (1). The reader
may wonder why we have apparently ignored the possibility of obtaining a better lower bound
by considering..... a path obtained by going from A to B along the lower half of the circle
a lower semicontinuous function
M
machinery We will nish this section by oering a second application of our machinery (although
in truth it is largely a corollary of the above).
magnitude [see also: size] In all our analysis, only the order of magnitude of P will be signicant.
main [see also: critical, crucial, essential, key, major, primary, principal] The main problems
that we address are..... Our main results state in short that MEP characterizes type 2 spaces
among reexive Banach spaces. In brief outline, here is the main idea of the proof. The main
new feature is the use of the face ring to produce lower bounds for the number of vertices.
mainly [see also: mostly, largely, primarily, part] The proof is mainly included to keep the
exposition as self-contained as possible. Although [1] deals mainly with the unit disc, most
proofs are so constructed that they apply to more general situations. We conclude with two
simple lemmas to be used mainly in.....
maintain [see also: keep, retain, preserve] We maintain the convention that implied constants
depend only on n. The temperature has to be maintained at a very high level. Now it is
a simple matter to change the denition of the F
i
at the single point zero, still maintaining
condition (C), so that F is no longer discontinuous.
major [see also: important, principal, main, signicant] One major advantage of..... is that.....
This was one of the major steps in Wieners original proof of his Tauberian theorem.
majority [see also: most] There is, however, a simple condition, satised in the vast majority
of applications, which ensures.....
make [see also: do, build, construct, perform, carry out, produce, convert, transform, turn into,
force, compose, comprise, consist, constitute] The tensor product makes G a module over R.
In [2], this theorem is made the starting point of Gelfand theory. This norm makes X into
a Banach space. Theorem 2 makes it legitimate to apply integration by parts. Now (8)
makes it obvious that..... This device makes it possible to replace multivalued functions by
functions with..... .....where C can be made arbitrarily small by taking..... If this is not so,
a linear fractional transformation will make it so. We make G act trivially on Y . Now F
is dened to make G and H match up at the left end of I. But..... it being impossible to
make A and B intersect. [= since it is impossible to make.....] The denition of generator
is designed to make the proof above work for M = Z. The function of Lemma 2 can be
made to satisfy..... A similar reformulation can be made for..... It is sucient to make the
computation for T. After making a linear transformation, (9) becomes..... Let us make the
following observation assumption/denition). We make the convention that f(Q) = i(Q).
MATHEMATICAL ENGLISH USAGE 85
Recently proofs have been constructed which make no appeal to integration. It is worth
making a link with Theorem 1. Nevertheless, it might be possible to make sense of (2) even
for non-injective V by considering a multi-valued operator Z. Indeed, it is routine to verify
that the index so constructed is independent of the choices made. The set WF(u) is made up
of bicharacteristic strips. Each of the terms that make up G(t) is well dened. Women make
up two-fths of the labour force.
manage Suppose we have managed to nd A
i
for all i < n.
manifestly [= evidently] This series is manifestly convergent.
manipulate [see also: manage, control, handle] While nonparametric priors are typically dicult
to manipulate, we believe the contrary is true for quantile pyramids.
manner [see also: fashion, way, method] Theorem 2, at the end of Section 2, was not originally
obtained in the manner indicated there. If our measure happens to be complete, we can dene
f on E in a perfectly arbitrary manner. It is an easy matter to use Theorem 10 to construct
all manner of interesting Peano continua [= continua of dierent kinds]
many [see also: abound, number, numerous, profusion, several, variety, abundance] Many of
them were already known to Gauss. The proof makes use of many of the ideas of the general
case, but in a simpler setting. Thus G has 10 normal subgroups and as many non-normal ones.
Consequently, H is a free R-module on as many generators as there are path components
of X. Therefore, A has two elements too many. [Or: A has two too many elements.] Then
A has three times as many elements as B has. It meets only countably many of the Y
i
.
a sequence with only nitely many terms nonzero To compute how many such solutions there
are, observe..... How many of them are convex? How many such expressions are there?
How many entries are there in this section? How many multiplications are done on average?
How many zeros can f have in the disc D?
map 1 an onto map a one-to-one map The continuum Y is tree-like since it admits a map
onto X. This map carries lines to lines carries M onto N).
2 [see also: send] F maps a, b to c, d. The point x maps to under f.
mark 1 [see also: sign] The mark over an element denotes that it has been omitted.
2 [see also: indicate, label] The arrow marks the direction of the resulting ow. The greatest
element is marked with a dot. In Figure 2, the set A is marked by a square with a small
triangle on top. Number the successive segments of the boundary line between A and B
(marked thickly in the picture) with the numbers 0, 1, ..., n, starting at the bottom. a marked
dierence [= obvious, noticeable]
match 1 The algorithm compares x with each entry in turn until a match is found or the list is
exhausted.
2 [see also: accord, agree, correspond] Suppose the rst three characters of the pattern match
three consecutive text characters. Now F is dened to make G and H match up at the left
end of I.
material [see also: information, data, fact, detail] Basic material on semigroups of operators
can be found in [4]. For relevant background material concerning random walks, see [2].
Section 2 contains some specic preparatory material, notably a brief discussion of the category
of virtual vector bundles.
86 JERZY TRZECIAK
matrix Dene A to be the matrix with 1 in the (i, j) entry and 0 elsewhere. Take A to be the
matrix with all entries zero except for i j at (i, j). a real n n matrix
matter 1 [see also: issue, subject, topic, thing, problem, point] This proves one half of (2); the
other half is a matter of direct computation. The rst of the above equalities is a matter of
denition, and the second follows from (3). It is a simple matter a routine matter/a matter
of routine) to show that..... It is an easy matter to use Theorem 10 to construct all manner
of interesting Peano continua [= continua of dierent kinds] We conclude that, no matter
what the class of b is, we have an upper bound on M. Nevertheless, no matter how small a
neighbourhood of x we take, the image will be..... However, for three more subgroups, matters
become more complicated.
2 [see also: important, relevant] It does not matter in the least whether..... Whether or not
this is correct does not matter; we are trying to motivate the proof that follows.
maximal [see also: maximum] Suppose A is maximal with respect to having connected preim-
age. Take N to be a family of normal measures in P(X) such that N is maximal subject to the
condition that the supports of the measures in the family are pairwise disjoint. Now suppose
that F(n) = x and that n is maximal in this respect.
maximum [see also: maximal, supremum] The function g attains takes/achieves) its maximum
at x = 5. For example, F reaches a relative maximum of 5.2 at about x = 2.1. Now (c)
asserts only that the overall maximum of f on U is attained at some point of the boundary.
By computing the second derivative we note that x = 1 is a maximum point for f. This has a
maximum value of 4 when x = 2. Then V (x) is the maximum value of J
x
(v) over all controls v.
Let q be the maximum number of variables occurring in..... [Note the double r in occurring.]
vectors in V at maximum distance from v the maximum possible density
may [see also: can, could, might] Then F may or may not x B. Here S may be P, but it may
also not be P. In other algorithms, this may not be true. In addition to a contribution to W
1
,
there may also be one to W
2
. Note that both sides of the inequality may well be innite. It
may well be that no optimal time exists, as the following example shows. It may seem strange
to dene 0. = 0. We may (and do) assume that..... Since the integrands vanish at 0, we
may as well assume that..... However, F is only nonnegative rather than strictly positive, as
one may have expected. Since Z is a nite set, we may continue subtracting suitable scalar
multiples of the x
i
from x. [Or: we can continue]
mean 1 Indeed, N is a Gaussian random variable with mean 0 and variance g.
2 [see also: signify, indicate, convey, suggest] We partially order M by declaring X < Y to
mean that..... Here (1) can be interpreted to mean that..... The rst equality is understood
to mean that..... In Chapter 5, we shall explain what it means for a subset V of A to be
determining for the centre of X. Note that (A) means precisely that condition (B) is not
satised. Important analytic dierences appear when one writes down precisely what is meant
by..... Then (6) merely means that..... The diculty is that it is by no means clear what one
should mean by a normal family.
meaning [see also: sense] We shall also refer to a point as backward nonsingular, with the
obvious analogous meaning. As M is ordered, we have no diculty in assigning a meaning to
(a, b).
MATHEMATICAL ENGLISH USAGE 87
meaningful [see also: justify, legitimate, meaningless] This shows that the sequence (1) is
bounded below, and so the denition of L(f) is meaningful.
meaningless [see also: meaningful] But if we argue as in (5), we run into the integral....., which
is meaningless as it stands.
means [see also: application, device, use, via] This provides an eective means for computing
the index. By relatively straightforward means one can show that..... Then F and G are
homotopic by means of a homotopy H such that..... It is easy to see, by means of an example,
that..... Find integral formulas by means of which the coecients c
n
can be computed from f.
The diculty is that it is by no means clear what one should mean by a normal family.
measure 1 Here dx stands for Lebesgue measure. [Or: the Lebesgue measure] Each set A
carries a product measure.
2 The aim of this article is to study the relationship between the size of A, as measured by its
diameter, and the extent to which A fails to be convex.
meet [see also: intersect, encounter, come across, run into, satisfy] The sets A and B meet in
two points. [= Their intersection is a two-point set] We may assume that this is the rst point
at which these two curves have met. Each component which meets X lies entirely within Y .
The remaining requirements for a type F map are also met. We can also appeal to Lemma 5
to see that the uniform continuity condition (5.3) is met.
member [see also: element, side] Moreover, x is the set whose only member is x. Exami-
nation of the left and right members of (1) shows that.....
membership Computing f(y) can be done by enumerating A(y) and testing each element for
membership in C. Thus W satises two of the four requirements for membership in Z.
mention 1 We conclude with a brief mention of free inverse semigroups. Throughout what
follows, we shall freely use without explicit mention the elementary fact that..... We will work
exclusively in the category of standard Borel probability spaces, and so will often suppress
mention of their sigma-algebras. The method sketched in Section 3 of [Con] carries through
with our choice of =
1
+
2
, but there is one extra ingredient worthy of mention.
2 [sth; doing sth; see also: allude, refer] In [5] he mentions having proved that for g 1. One
more case merits mentioning here. It seems appropriate to mention in passing the corresponding
formula for the cohomology of B
n
. There has since been a series of improvements, of which we
briey mention the work of Levinson. the above-mentioned element the last-mentioned map
the problem mentioned [Not: the mentioned problem]
mere [see also: just, only] The quantity A was greater by a mere 20%. However, this equality
turned out to be a mere coincidence. This result shows that the mere existence of a nontrivial
automorphism j of M produces the cut I(j) of M that satises (2).
merely [see also: just, only] It turns out that A is not merely symmetric, but actually selfadjoint.
But (3) is merely an abbreviation for the statement that..... Here (6) merely means that.....
How is the result aected if we assume merely that f is bounded?
merit 1 [see also: advantage, benet] The merit of Theorem 5 is that it identies.....
2 [see also: worth, warrant] One more case merits mentioning here. The results have been
encouraging enough to merit further investigation.
88 JERZY TRZECIAK
method [see also: approach, device, means, procedure, strategy, technique, way] His method of
proof was to rst exhibit a map..... The method of proof carries over to domains satisfying.....
We require a method of dividing z into subwords z
i
for which we know the structure of
f(z
i
). This provides a method for recognizing pure injective modules. Our method has the
disadvantage of not being intrinsic. All these methods had severe limitations. A shortcoming
of our method is the inability to compare three or more progressions. To show the greater
simplicity of our method over Browns, let us..... In [1] the methods used are those of dierential
topology.
middle We divide them into three classes depending on the width of the middle term as compared
with the width of the other terms. Let E be Cantors familiar middle thirds set.
might [see also: may, could] One might hope that this method would work at least for suciently
regular maps; however,..... It will eventually appear that the results are much more satisfactory
than one might expect. Let us see what such a formula might look like, by analogy with..... .
One must also be aware that the curvature of M
i
might not be bounded uniformly in i.
mild [see also: moderate, reasonable] For later use, we prove a mild renement of this latter
characterization. under mild restrictions on f
mimic If we simply mimic the standard proof of..... we are led to.....
mind [see also: remember] With Lemma 2 in mind, we make the following ad hoc denition.
An example to bear in mind is behaviour in the basin of a periodic point. Two necessary
conditions come to mind immediately. When reading the proof of Lemma 2, it is helpful to
keep in mind that..... It is helpful to keep these similarities in mind.
minimal [see also: least, maximal] In the next theorem, we give fairly minimal conditions that
imply..... Suppose that of all such solutions, (x, y, z) is one with y minimal. Dene n to be
minimal such that f
n
(x) = y.
minimum [see also: maximum] Under what conditions can f have a local minimum in the
interval A at the point x
0
)? This is the minimum property of the Jordan decomposition
which was mentioned in Section 6.
minor [see also: slight, ne] We take this opportunity to correct a minor error in Lemma 2 of
[PS]. with minor modications
minus [see also: plus, remove, delete, negative] It follows that the last sum is equal to minus
itself, and is therefore zero. the minus sign a conformal mapping of Q onto the complex plane
minus the nonnegative real axis
miscellaneous [see also: various] In this section we gather some miscellaneous results that are
more or less standard. These will be used to calculate the constants c
is one
in V . Suppose that of all such solutions, (x, y, z) is one with y minimal. In addition to a
contribution to W
1
, there may also be one to W
2
. Necessarily, one of X and Y is in Z. Here
the interesting questions are not about individual examples, but about the asymptotic behaviour
of the set of examples as one or another of the invariants (such as the genus) goes to innity.
Instead of dealing with lines one by one, we deal with collections of lines simultaneously.
Clearly, A is thereby put in one-to-one correspondence with B. The algorithm examines only
roughly one-quarter to one-third of the characters. Asymptotically, more than one-fth of the
polynomials B
n
(x) are irreducible. The other player is one-third as fast. [The numbers 1 to
12, when used for counting objects (without units of measurement), should be written in words:
There exists exactly one such map; for other uses, sometimes gures permit avoiding ambiguity,
e.g. it is 1 less than the other.]
only [see also: alone, just, merely, single, solely] Assume that the only functions v, w satisfying
(2) are v = w = 0. Then the one and only integral curve of L starting from x is the straight
line l. Here x is the set whose only member is x. The problem is to move all the discs to
the third peg by moving only one at a time. However, only ve of these are distinct. Note
that F is dened only up to an additive constant. We need only consider the case..... [Or: We
only need to consider] The proof will only be indicated briey. We have to change the proof
of Lemma 3 only slightly. To prove (8), it only remains to verify that..... Thus X assumes
the values 0 and 1 only. Only for x = 1 does the limit exist. [Note the inversion.] If we know
a covering space E of X then not only do we know that..... but we can also recover X (up to
homeomorphism) as E/G.
onwards from line 6 onwards
open [see also: unresolved] These results leave open the basic case k = . Conjecture 2 of
[KH], to the eect that [=meaning that] there is no relation P with E(P) = 1, still remains
open.
operate [see also: act] When operated on by a rotation, each of these vectors is mapped to.....
opportunity We take this opportunity to correct a minor error in Lemma 2 of [PS]. We shall
have a number of opportunities in the following arguments to make use of this simple observation.
oppose [see also: contrary, contrast, unlike] As opposed to the situation considered in [5], the
100 JERZY TRZECIAK
functions used here are..... [Not: Contrary to the situation] The rest of the paper concerns
the existence of greedy bases (as opposed to basic sequences).
opposite [see also: reverse] For the opposite inclusion, suppose that..... the opposite inequality
Then D is the face of the simplex s opposite to A. [Or: opposite A] (see the page opposite)
or There is no recursive or denable R such that..... The answer depends on how broadly or
narrowly the term matrix method is dened. If..... then R is right Noetherian provided R is
semiprime [2] or commutative [4] or R/N has zero socle. The case when f is decreasing can
be proved similarly, or else can be deduced from..... Then f = g, or equivalently a(f) = a(g).
Here the interesting questions are not about individual examples, but about the asymptotic
behaviour of the set of examples as one or another of the invariants (such as the genus) goes to
innity. Moreover, for L tame or otherwise, it may happen that E is a free module. Then F
may or may not x B. The question we shall be concerned with is whether or not f is..... Its
role is to rule out having two or more consecutive P-moves. Any vector with three or fewer 1s
in the last twelve places has at least eight 1s in all. The intervals we are concerned with are
either completely inside A or completely inside B. By Corollary 2, distinct 8-sets have either
zero, two or four elements in common. Either f or g must be bounded. Any map either has
a xed point, or sends some point to its antipode.
order 1 [see also: arrangement, organization] Comparisons are done in left-to-right order.
They are numbered in order of increasing diameter. The diagram of L + M is obtained by
taking the rows of the diagrams of L and M and reassembling them in order of decreasing length.
in reverse order arranged in increasing order The interchange in the order of integration was
legitimate, since..... One is tempted to reverse the order of integrations but that is illegitimate
here. The rst 15 chapters should be taken up in the order in which they are presented, except
for Chapter 9, which may be postponed. an element of order a power of p an element of
prime power order Then F has continuous y-derivatives of all orders up to order k). Thus F
vanishes to order 3 to innite order) at x. Unfortunately, the details of the calculations were
omitted, and there is some doubt on whether the result is correct since our analysis suggests
that P
2
must vanish to third order; the presence of L
2
is also suspect. In all our analysis,
only the order of magnitude of P will be signicant. A form of the central limit theorem is
used to show that for large n,E(R
n
) is on the order of c
weights are sharp weights. That there are no others is the main
result of Section 2. Then V has the following invariant subspaces, and no others:..... The
others being obvious, only (iv) needs proof. It follows that the semigroup S
t
is none other
than e(t)T. The identity p(A) = 0 is nothing other than the Cayley-Hamilton theorem. Each
vertex is adjacent to q others. The other inequality is just as easy to prove. [= the other of the
two mentioned] the other end of the interval In this and the other theorems of this section,
the X
n
are any independent random variables with a common distribution. One of these lies
in the union of the other two. On combining this with our other estimates in (3.5), we deduce
that..... Any other unexplained notation is as found in Fox (1995). The next corollary shows
among other things that..... [Not: among others] Our result generalizes Urysohns extension
theorems, among others. [= among other theorems] These n disjoint boxes are translates of
each other.
otherwise [see also: contrary] We must have Lf = 0, for otherwise we can replace f by f Lf.
We claim that f(z) > 1. Otherwise, the disc D would intersect B. We now prove..... Indeed,
suppose otherwise. Then..... Unless otherwise stated, we assume that..... Moreover, for L
tame or otherwise, it may happen that E is a free module. Simplicity (or otherwise) of the
underlying graphs will be discussed in the next section.
ought There ought therefore to be a point x such that.....
out Choose one out of these ten. in nine cases out of ten Dene a
k
to be the probability that
exactly k out of the 2n values X
i
exceed T, conditional on X
0
> T. The only edges out of 3
lead to 2 or into B. It is clear that (up to set-theoretic niceties) this denes a partial order on
the class of R-equivalence classes of Borel maps out of the given space X. A second technique
for creating new triangulations out of old ones is central retriangulation. The detailed analysis
of..... is carried out in Section 2. This term drops out when f is dierentiated. We were
surprised to nd out that..... at nding out that.....) This accords with the intuition that
as we pass down the coding tree, we nd out more and more detailed information about the
ordering actually represented. Our study grew out of some valuable conversations with Kirk
Douglas. We lay out the details of this generalization in the rst part of this paper. The
image of U under f misses out more than three points of the sphere. Then A = B, as one
sees by multiplying out the product on the right. One unusual feature of the solution should
be pointed out. To round out the picture presented by Theorem 5, we mention the following
consequence of..... The possibility A = B is ruled out in the same way. By modifying the
technique set out [= presented] in [3], we obtain..... With this denition of a tree, no vertex
is singled out as the root. It turns out that these properties play no role in the proof. By
writing out the appropriate equations, we see that this is equivalent to.....
outcome [see also: eect, result] At rst glance Lemma 2 seems to yield four possible outcomes.
102 JERZY TRZECIAK
It is impossible to predict the eventual outcome of the process. It produces the same outcome
whichever path is taken. [= no matter which] We tabulate the outcome for n 10; in
particular, the column headed R lists R(n) truncated to three decimal places.
outline [see also: sketch, organization] 1 In brief outline, here is the main idea of the proof. In
outline, the argument follows that of the single-valued setting, but there are several signicant
issues that must be addressed in the n-valued case. The outline of this paper is as follows.
2 We shall briey outline the necessary changes. Where it is possible, we outline the proofs so
that the reader will not have to hunt for obscure references.
outnumber In that population, women outnumbered men by) 2 to 1.
output The algorithm outputs a list of.....
outset [see also: beginning, start] We remark at the outset that this formula makes sense,
because..... It seems preferable, for claritys sake, not to present the construction at the outset
in the greatest generality possible.
outside [see also: beyond, away, o] The family of 4-sets will be used to generate a symmetry
outside N but in M. Outside the xed points, the group T acts freely on M. In the latter case
we may simply adjust F to equal 1 on the Borel set where it falls outside the specied interval.
In the present paper we move outside the random walk case and treat time-inhomogeneous
convolutions.
outstanding an outstanding scientist [= excellent] Two tasks still remain outstanding. [= not
done]
outward(s) It is sucient to prove that this vector eld points outwards on M. [In most
adverbial uses, outward and outwards are interchangeable; as an adjective, the more standard
form is outward: the outward layer.]
over Note that F is the product over the integers m in B. Hence V (x) is the maximum value of
J
x
(v) over all controls v. .....where E runs over the family B. To show the greater simplicity
of our method over Browns, let us..... Over the past ten years the isomorphic structure of
spaces of weighted holomorphic functions has been largely [= almost completely] determined.
Firms employing over 1000 people accounted for 50% of total employment. [= represented 50%]
The method of proof carries over to domains satisfying..... The equation PK = 0 then goes
over to QK = 0. Here s takes over the role of the time parameter.
overall Now (c) asserts only that the overall maximum of f on U is attained at some point of
the boundary.
overcome [see also: circumvent, get around] To overcome this problem, we revise our denition
of a branch. It is possible that the methods of this paper could be used to....., but there remain
considerable obstacles to overcome.
overlap The two categories overlap to some extent. non-overlapping intervals
overlook [see also: miss] Our rst result generalizes (8) by exploiting some general facts seem-
ingly overlooked by the aforementioned authors.
overview [see also: survey] We start with a brief overview of our strategy. Section 2 contains
an overview of the necessary background.
MATHEMATICAL ENGLISH USAGE 103
owe The present paper owes a great debt to Strangs work. The exposition owes much to the
work of Dold described in [3].
own Theorem 2 is interesting in its own right.
P
page on page 13 [Not: on the page 13] at the top of page 4 (see the last paragraph but
one of page 24) (see the page opposite) Our method of proof will be an adaptation of the
reasoning used on pp. 7172 of [3].
pair 1 The ordered pair (a, b) can be chosen in 16 ways so as not to be a multiple of (c, d).
There cannot be two edges between one pair of vertices.
2 Write out the integers from 1 to n. Pair up the rst and the last, the second and next to last,
etc.
paper [see also: article] in paper [3] [Or: in the paper [3]; better: in [3]] in a companion
paper [4] The aim of this paper is to bring together two areas in which..... In the present
paper we move outside the random walk case and treat time-inhomogeneous convolutions.
There are, however, a few important papers of which we were unaware until fairly recently.
These volumes bring together all of R. Bings published mathematical papers.
paragraph [indented fragment of text; ,= section] Let the notation be as in the preceding
paragraph. (see the last paragraph but one of page 24)
parallel 1 The proof runs parallel to that of Lemma 2. [Not: parallelly]
2 From the viewpoint of the Fox theorem, there is not an exact parallel between the odds and
the evens.
3 The proof closely parallels that of Theorem 1.
parameter The parameter interval was here taken to be (0, 1). Here s takes over the role of
the time parameter.
parametrize [= parameterize] a curve parametrized on the interval [0, 1]
paraphrase The motivation for the results of this section is the following result of John (para-
phrased slightly to suit our purposes).
parenthesis [pl. parentheses; see also: bracket] With no parentheses, and take priority
over the group operation. the expression in parentheses
part [see also: role] This is part of a larger project to study the Galois groups of periodic points
of arbitrary polynomial maps. [Or: This is a part] Part of the conclusion is that F moves
each z closer to the origin than it was. The equality f = g, which is part of Theorem 2,
implies..... This is the hard part of Joness theorem. The if part is straightforward.
Translations have already played an important part in our study of Fourier transforms. The
key part is to show that the submanifolds U
k
t together to form a complex submanifold.
Mary Lane deserves our special thanks for her part in bringing this volume to a successful
completion. Denition 3 is motivated in part by certain dierential operators to be introduced
in Section 3. This paper, for the most part, continues this line of investigation. the greater
signicant/substantial/principal/central/indispensable/integral/easy) part
104 JERZY TRZECIAK
partial As a partial answer to that question, we prove:..... However, it is not known when L(S)
is weakly amenable; for some partial results, see [BS].
partially [= partly] Research partially supported by NSF Grant No. 23456.
particular [see also: specic, concrete, notably] When it is necessary to emphasize one particu-
lar coordinate, we write..... The probability that any particular edge is a bond is 2p. Rather
than discuss this in full generality, let us look at a particular situation of this kind. Here the
constants of proportionality depend on the particular curve being considered. One might hope
that in the particular case of the GL energy, this could be established, but we do not see an easy
path to such a conclusion. In particular, E contains a copy of l
1
. So we must in particular
show that sets like this are not added.
particularly [see also: especially] This realization is particularly convenient for determining.....
Although standard, the notion of a virtual vector bundle is not particularly well known. We
make the following provisional denition, which is neither general nor particularly elegant, but
is convenient for the induction which is to follow. There is also a decrease in clustering as n
increases, particularly for normally distributed X.
partition 1 Intuitively, entropy of a partition is a measure of its information contentthe larger
the entropy, the larger the information content. a partition of unity subordinate to the covering
U
i
-algebras.
The point of the lemma is that it allows one to..... The point is that the operator is now
much easier to analyse than is the case in the original setting of the space B. An important
point is that..... The only point remaining concerns the behaviour of..... In [2], this theorem
is made the starting point of Gelfand theory. See [KT] for discussion of this technical point.
We shall not pursue this point here. We would like to know..... but that is beyond our reach
at this point. At this point, the reader is urged to review the denitions of..... Perhaps it is
appropriate at this point to note that a representing measure is countably additive if and only
if..... The arguments from this point up to Theorem 2 do not depend on.....
2 The vector v points in the negative direction points north) for x < 0. The vector points
outwards from M. It is sucient to prove that this vector eld points outwards on M. Here
M is a unit vector normal to M pointing into M. the inward pointing unit normal to M
All the evidence points to the validity of the conjecture. Hochberg pointed to the need for
procedures that are more powerful than classical comparison methods. One unusual feature of
the solution should be pointed out. However, as pointed out right after (5),.....
pose [see also: present, raise] We now pose a problem whose solution will aord an illustration
of how the Plancherel theorem can be used. The factor Gf poses no problem because..... [Do
not write: We pose f =..... if you mean: We set dene) f =.....]
position [see also: location, place] Then K appears in the last position in the list. The vector
v has at least n ones in its last m positions. This is the same as asking which row vectors in R
have diering entries at positions i and j. We are now in a position to prove our main result.
[Better: We can now prove] This puts us in a position to apply Lemma 2 to deduce that.....
After receiving his PhD he took a position at the University of Texas.
positive [see also: armative] This question was answered negatively in [5]. However, on the
positive side, Davies [5] proved that..... By allowing f to have both positive and negative
coecients, we obtain..... Here u
+
and u
a
n
it is of signicance whether the a
n
approach zero rapidly. a rapidly decreasing function
rare [see also: unusual] Conditions relating to bounds on the eigenvalues appear to be rare
in the literature. Indeed, as n increases, it becomes increasingly rare for a manifold to be a
hyperplane section of another projective manifold.
rarely While C
p
can be a Baire space, it rarely has the stronger completeness properties men-
tioned above. Berg spaces have been rarely considered outside the metric context.
rarity We also need the following technical lemma, which asserts the rarity of numbers with an
inordinately large number of prime factors.
rate These estimates only require that f have a a certain polynomial rate of decay at innity.
We give a fairly simple description of a wide class of averaging operators for which this rate
of growth can be seen to be necessary. Moreover, one has estimates on the rate at which this
convergence is taking place. the growth rate of V
n
as n
rather [see also: fairly, somewhat, quite, instead] However, F is only nonnegative rather than
strictly positive, as one may have expected. In fact, we shall prove our result under the weaker
hypothesis that W is weakly bounded, rather than just bounded, on an innite subset of G.
The denition is stated in terms of local martingales, rather than martingales, for the technical
reason that the former are easier to characterize in applications. It seems that the relations
between these concepts emerge most clearly when the setting is quite abstract, and this (rather
than a desire for mere generality) motivates our approach to the subject. Rather than working
directly with V (s), we shall instead consider the following two general integrals:..... [Or: Rather
than work] Rather than discuss this in full generality, let us look at a particular situation
of this kind. The proof is rather cumbersome. This may appear rather wasteful, especially
when n is close to m, but these terms only give a small contribution to our sum. For explicit
116 JERZY TRZECIAK
solutions, it may be necessary to have rather precise information about the amplitude . We
rst prove the (rather simpler) Theorem 7, by eecting a quite general reduction of the problem
to the study of certain isotropy factors. A further complication arises from BP, which works
rather dierently from the other labels.
ratio [see also: proportion] The female/male ratio in the sample was 19 to 1. the ratio of P
to Q the ratio between Haar measures on G and H in the ratio of approximately 3 : 1
reach 1 We would like to know..... but that is beyond our reach at this point. It seems that
the solution of Problem 1 is still out of reach.
2 [see also: achieve, attain, arrive at] The point A can be reached from B by moving along an
edge of G. For example, F reaches a relative maximum of 5.2 at about x = 2.1. The iterates
eventually reach the value 1.
read Equation (2) now reads Ax =..... The author thanks H. Miller for a careful reading of an
earlier draft. The string N (read from right to left) starts with..... Then G is simply g with
its periodic string read backwards. This can be read o from (8). We do this in the rst
section, which the reader may skip on a rst reading.
readability We have made modications in the interest of readability.
readable A very readable account of the theory has been given by Zagier [3].
reader We leave the details to the reader. We leave it to the reader to verify that..... [Note that
the it is necessary here.] For more details we refer the reader to [4]. If nothing else, I hope
to convince my readers that Segals theorem deserves recognition as a profound contribution to
Gaussian analysis. It may be worth reminding the reader that..... The reader is cautioned
that our notation is in conict with that of [3]. The reader is assumed to be familiar with
elementary K-theory. The interested reader is referred to [4] for further information. [Note the
double r in referred.] At this point, the reader is urged to review the denitions of..... The
reader might want to compare this remark with [2, Cor. 3]. For the convenience of the reader,
we repeat the main points. [Or: For the readers convenience]
readily [= without diculty] We have shown that....., whence it is readily inferred that..... One
of the appealing aspects of the spectral set is that it readily lends itself to explicit computation.
ready [see also: position] We are now ready to proceed to the nal stage of our construction.
realize [see also: know, recognize, understand, grasp, aware] The theorem gains in interest if
we realize that..... This has deeper signicance than one might rst realize. The geodesics (8)
are the only ones that realize the distance between their endpoints. In the remainder of this
section, we study some properties of K, with the eventual aim (not realized yet) of describing
K directly using G.
really [see also: actually, fact] We did not really have to use the existence of T. Of course, it
is tacitly understood that it is this measure that is really under discussion. Each x here really
designates the pair (x, Ax).
rearrange Rearranging terms we obtain the inequality.....
rearrangement The obvious rearrangement reveals the right side to be identical with (8).
MATHEMATICAL ENGLISH USAGE 117
reason 1 [see also: explain, justify, ground] This argument is invalid for several reasons. It
is for this reason that his argument is incorrect. The denition is stated in terms of local
martingales, rather than martingales, for the technical reason that the former are easier to
characterize in applications. This is the reason for calling f the derivative of g. One reason
for using this rather elaborate model is that it permits a simple and concrete denition of the
realization. A drawback to Polya trees, and perhaps the main reason why they have not seen
much application within the Bayesian nonparametric literature, is that an arbitrary partition
tree needs to be specied. The reason that this is signicant is that..... Indeed, there is reason
to suspect that diculties could increase with increasing n. There is no reason to expect this
to be an inverse map on K, but we do have the following.
2 [see also: argue, proceed] To see this, we reason as follows. The simplest way is to reason
by induction on n.
reasonable [see also: mild, moderate] It is therefore reasonable that the behaviour of p should
in some rough sense approximate the behaviour of q. Thus it is reasonable to attempt, using
this homeomorphism, to gain an understanding of the structure of M. It seems reasonable to
expect that....., but we have no proof of this. If the boundary is never hit then x
t
is a Feller
process under reasonable continuity assumptions.
reasonably [see also: fairly] Our asymptotic results compare reasonably well with the numerical
results reported in [8]. There are quite a number of cases, but they can be described reasonably
systematically.
reasoning [see also: argument] By the same kind of reasoning it suces to consider..... Our
method of proof will be an adaptation of the reasoning used on pp. 7172 of [3]. The same
line of reasoning applies in the continuous time setting. We could have adopted an approach to
proving Theorem 2 along a line of reasoning which bears greater resemblance to the treatment
of the analogous result in Section 1. To recover Wieners famous result that Brownian paths
are continuous, one needs to use more sophisticated reasoning.
reassemble [= put together again] The diagram of L+M is obtained by taking the rows of the
diagrams of L and M and reassembling them in order of decreasing length.
recall [see also: remind, remember] We recall what this means. [Not: We remind] Recall
the denition of T from Section 3.
receive [see also: get, obtain] He received his master and Ph.D. degrees from the University
of Texas. Incidentally, the question of whether K(E) is amenable for specic Banach spaces
E seems to have received almost no attention in the literature. Indeed, to our knowledge,
cardinality restrictions on Berg spaces have received no prior attention outside the metric context.
recent For a recent account we refer to [4]. However, the connection with Gromovs work
has been obscured in recent years by an emphasis (in the algebraic topology literature) on
conguration spaces.
recently This subject has recently been extensively studied. There has recently been increasing
interest in the theory of..... The authors interest in this problem was recently rekindled by a
conversation with David Lees. This method is recently less and less used. There are, however,
a few important papers of which we were unaware until fairly recently. Very recently, Heck
introduced a general approach that unies and extends all these results.
118 JERZY TRZECIAK
recognition The name of Harald Bohr is attached to bG in recognition of his work on almost
periodic functions. If nothing else, I hope to convince my readers that Segals theorem deserves
recognition as a profound contribution to Gaussian analysis.
recognize [see also: identify, know, nd, establish, realize, grasp, understand, admit, acknowl-
edge] It is important to recognize that there is a signicant subclass of vector elds for which
the ambiguity alluded to above disappears. It is obvious that the above theorem supplies an
algorithm to eectively recognize whether SP is in A. Because N. Wiener is recognized as
the rst to have constructed such a measure, the measure is often called the Wiener measure.
a method for recognizing pure injective modules
recommend [see also: suggest] The author thanks the referee for recommending various im-
provements in exposition.
record Before proceeding we record an inequality for the size of an admissible X. For later
use, we record the following formulas:..... For future reference, we record this in the following
corollary. Standard Banach space notation is used throughout. For clarity, however, we record
the notation that is used most heavily.
recourse [see also: appeal, invoke, refer] Let us now prove directly (without recourse to [5])
that..... This case can in fact be treated without recourse to the methods of that paper.
recover [see also: retrieve] If we know a covering space E of X then not only do we know
that....., but we can also recover X (up to homeomorphism) as E/G. Thus F can be recovered
from X
k
F by k-fold integration. Replacing f by log f, we recover the theorem of [6]. This
is nearly the same as formula (6) of [7], which we can recover by multiplying (2.3) by F(s).
To recover Wieners famous result that Brownian paths are continuous, one needs to use more
sophisticated reasoning.
recur This sort of proof will recur frequently in what follows.
rederive The inequality (2.4) is essentially contained in [LS] but will be rederived in Corollary 5
below.
reduce [see also: decrease, diminish, lower, cut down] We claim that, by setting w to zero on
this interval, the value of F(w) is reduced. Kim announces that (by a tedious proof) the upper
bound can be reduced to 10. The length of F is thus reduced by half. By induction, we are
reduced to proving the following lemma. The problem now reduces to establishing that.....
We rst prove a reduced form of the theorem.
reduction A small percentage reduction in the cost of materials resulted in a signicant increase
in prot. We rst prove the (rather simpler) Theorem 7, by eecting a quite general reduction
of the problem to the study of certain isotropy factors.
redundant [see also: superuous, unnecessary, drop, omit] Note that no boundedness assump-
tion is made in this denition; in fact, this would be redundant as shown by Theorem 3 below.
refer [see also: mention, allude, touch, appeal, invoke, recourse] For more details we refer the
reader to [4]. We refer the reader to the body of the paper for details. For a comprehensive
treatment and for references to the extensive literature on the subject one may refer to the
book [M] by Markov. The interested reader is referred to [4] for further information. [Note
the double r in referred.] In the physical context already referred to, K is the density of.....
MATHEMATICAL ENGLISH USAGE 119
This theorem will hereafter be referred to as the minimum principle. We refer to these as
homogeneous Sobolev spaces. We shall also refer to a point as backward nonsingular, with the
obvious analogous meaning. In the following, all topological notions refer to the weak topology
of Y . To be precise, refer to the notation in Theorem 1 and dene.....
referee 1 The author thanks the referee for his helpful suggestions concerning the presentation
of this paper. The author thanks the referee for recommending various improvements in expo-
sition. We are grateful to the referee for a number of helpful suggestions for improvement in
the article. The referee deserves thanks for careful reading and many useful comments. At
the suggestion of the referee, we consider some simple cases.
2 While the rst version was being refereed, I found that Zhang [2] had given a similar treatment
of E
n
(X).
reference Let us note (for later reference) that..... We quote for future reference another result of
Fox: there exists..... For these considerations it will be convenient to state beforehand, for easy
reference, the following variant of..... We have thus proved the theorem without any reference
to integration. If G is clear from context, then we suppress reference to it in the notation. The
best general reference An excellent recent reference) for..... is [5]. The following proposition
is probably well known, but we do not have a reference. At the time of writing [5], I was not
aware of this reference. Where it is possible, we outline the proofs so that the reader will not
have to hunt for obscure references. For a comprehensive treatment and for references to the
extensive literature on the subject one may refer to the book [M] by Markov.
rene [see also: improve, sharpen, strengthen, progress, sophisticated] In that case, we may
rene Lemma 3 to the following more precise statement. Slightly rening a result of [8],
Davenport proved..... a succession of more and more rened discrete models
renement [see also: improvement, strengthen] For later use, we prove a mild renement of
this latter characterization.
reect [see also: represent, reveal, show, indicate] The structure of a Banach algebra is fre-
quently reected in the growth properties of its analytic semigroups. Strictly speaking, we
should write something like a(l, m, n) to reect the dependence; we shall rely upon context in-
stead. In particular, integral curves evolve continuously, and we should seek to represent them
using a measure which reects this continuity in some way. If s
0
lies below R
2
, then we can
reect about the real axis and appeal to the case just considered.
reection A little reection on the denitions makes it clear that.....
reformulate [see also: rephrase, restate, rewrite] This can be easily reformulated in purely
geometric terms.
reformulation A similar reformulation can be made for.....
refute [= prove that sth is incorrect] However, this argument can be easily refuted by showing
that.....
regard 1 [see also: respect] We need to check that F-derivatives behave in the way we expect
with regard to sums, scalar multiples and products. See Section 3 in this regard.
2 [see also: consider, concern, view] We can regard (8) as an equation for . Regarded as the
120 JERZY TRZECIAK
intersection of two quadrics, E represents..... We also discuss some intriguing open questions
regarding triply periodic surfaces. Regarding (8) [= Concerning (8)], we have.....
regardless [of sth; see also: irrespective] This works regardless of whether B is true or false.
Their result gives no information when k is large, whereas (5) is signicant regardless of the size
of k.
relabel [see also: rename] Next we relabel the collection A
n
, B
n
as C
n
. Then we can nd
a subsequence (not relabelled) such that a
n
< 1 for all n.
relate [see also: concern, connect, link, tie, associate, pertain, relevant] We describe how the
notion of positivity relates to the other properties. Conditions relating to bounds on the
eigenvalues appear to be rare in the literature. Theorem 1 relates the quantity a(n) to the
quantity b(n). [Not: with the quantity b(n)] There are numerous results in the literature
relating spectral conditions to invertibility of f. The following proposition relates the two
denitions. There is a related result concerning primitivity. We rst replace a(n) by the
related and simpler function b(n), where..... Our results are closely related to those of Strang [5].
The above-mentioned measure is of course intimately related to the geometry of the real line.
How are these two optimality notions related? In general, they are not.
relation [see also: connection, link, relationship] But there is a much more important relation
between equivalent regions:..... By carefully examining the relations between the quantities U
i
,
we see that..... There is a fourth notion of phantom map which bears the same relation to the
third denition as the rst does to the second. What relation exists between f and g?
relationship [see also: connection, link, relation] On the way we analyze the relationship be-
tween..... The two characteristics are connected, but the relationship is quite a complex one.
The aim of this article is to study the relationship between the size of A, as measured by its
diameter, and the extent to which A fails to be convex.
relative [see also: respect, compare] Then P is said to be elliptic relative to the action of G
if..... [Not: relatively to] Then G is a subgroup of R (relative to addition). The pull-back
of F is homotopic to G relative to the end-points. the complement of A relative to B Here
A is small relative to B. [= in comparison with B]
relax [see also: weaken] The idea is to relax the constraint of being a weight function in Theo-
rem 3. The assumption that the test statistics are identically distributed can be relaxed without
much diculty.
relevance [see also: role, importance, signicance] What is the relevance of this example to
Fatous lemma? To understand the relevance of locality, note that it implies that.....
relevant [to sth; see also: pertinent, connect, concern, pertain] We now turn to a brief discussion
of another concept which is relevant to Johns theorem. This comment is relevant in proving
Theorem 1. For a list of relevant references, see [2]. [= references connected with the subject
being considered] For relevant background material concerning random walks, see [2].
reliance [see also: dependence] The proof is self-contained, without reliance on a computer-
algebra system.
rely [see also: base, depend] The proof is not direct, but relies on the results of [2]. We
underline that the aforementioned results in [1] all rely on the conformality of the underlying
MATHEMATICAL ENGLISH USAGE 121
construction. This will provide us with a way of getting some information about M without
relying on general theory. Strictly speaking, we should write something like a(l, m, n) to reect
the dependence; we shall rely upon context instead.
remain [see also: stay, keep, continue, persist] Conjecture 2 of [KH], to the eect that [= mean-
ing that] there is no relation P with E(P) = 1, still remains open. The case where p > 1
remains unresolved. For k = 2 the count remains as is. The two probabilities remain essen-
tially what they were before. The situations with domains other than sectors remain to be
investigated. It remains to exclude the case where..... To prove (8), it only remains to verify
that..... Thus, all that remains is to repeat the construction for f in place of g. There remains
the second question. [But: It remains to consider the second question.] It is possible that the
methods of this paper could be used to....., but there remain considerable obstacles to overcome.
Let S
i
be the rst of the remaining S
j
. Half of the sets of the family R miss i and half the
remaining miss j. The remaining possibility is that v is labelled 2.
remainder [see also: rest] The remainder of our work breaks into ve steps. In the remainder
of this section we shall be trying to answer the question:..... The map f is xed for the remainder
of the proof.
remark 1 [see also: observation] However, the ambiguity alluded to in Remark 3 disappears
when talking about an ane eld. The reader might want to compare this remark with [2,
Cor. 3]. First, some remarks concerning the term closure are in order. This is no coincidence,
in the light of the remarks preceding Denition 2. Following these preliminary remarks, we
now state.....
2 [see also: note, observe, comment] It is perhaps worth remarking that..... We remark at the
outset that this formula makes sense, because..... However, this argument is fallacious, because
as remarked after Lemma 3,.....
remarkable [see also: unusual] Their remarkable achievement seemed to validate Johns claim.
However, it soon turned out that..... The remarkable feature of this theorem is that.....
Theorem 3 is remarkable in that considerably fewer conditions than in the previous theorems
ensure universality.
remarkably In this paper we apply combinatorial group theory (sometimes in a remarkably
elementary way) to prove a number of results in this direction.
remedy In this case we need to take into account the diculty with tting a ball into a sector.
The obvious remedy is to replace the ball by a suitable disc.
remember [see also: recall, reminiscent, mind] To understand why, let us remember that.....
Theorem 3 may be interpreted as saying that A = B, but it must then be remembered that.....
remind [sb that sth; sb of sth; see also: recall] It may be worth reminding the reader that.....
[Not: reminding that] The purpose of this section is to remind the reader of some of the
results on the structure of..... In Section 2 the reader will be reminded of some important
properties of Bernoulli numbers, and some auxiliary results will be quoted or derived.
reminiscent [of sth; see also: similar] It has properties reminiscent of partition functions.
Away from critical points, the action of G is reminiscent of the action of a cyclic group of
order d.
122 JERZY TRZECIAK
removal Likewise, if A does not span C(I), removal of any of its elements will diminish the span.
remove [see also: delete, drop, omit, dispense with] This theorem removes the restriction
to convex regions which was imposed in Theorem 8. The theorem implies that some nite
subcollection of the f
i
can be removed without altering the span. Let D be the plane with
three disjoint discs removed.
rename [see also: relabel] Then we can nd a subsequence (not renamed) such that a
n
< 1 for
all n.
renewal This article features results in both spectral theory and operator ergodic theory made
possible by a recent renewal of interest in the consequences of Jamess inequalities.
repeat Thus, all that remains is to repeat the construction for f in place of g. Repeating this
procedure enough times gives the desired triangulation. Note that some of the a
n
may be
repeated, in which case B has multiple zeros at those points. This process can be repeated
until we obtain the promised triangulation. By repeated squaring to eliminate the radicals in
this equality, we obtain.....
repeatedly [see also: frequently, often] This property will be used repeatedly hereafter.
repetition To avoid undue repetition in the statements of our theorems, we adopt the following
convention. The proof is essentially a repetition of the arguments used to prove.....
rephrase [see also: reformulate, restate, rewrite] As usual, we can rephrase the above result
as a uniqueness theorem. Rephrased in the language of [HT], Proposition 2 says that.....
A rephrasing of the denition is that.....
replace [see also: change, place, instead] We now construct f as in the proof of Theorem 5, with
V replaced by W. A similar result holds with compact replacing convex. The statement
of Theorem 5 remains valid if we replace f is compact by the norm of f is bounded. We
must have Lf = 0, for otherwise we can replace f by f Lf.
replacement Then F satises the following replacement for condition (e). Replacement of z
by 1/z transforms (4) into (5). We produce an evolution equation which diers from (2.3) only
in the replacement of the F
2
term by F
3
.
report Our asymptotic results compare reasonably well with the numerical results reported in [8].
represent [see also: present, reect, picture, account] We can represent W by the integral.....
We represent A as a quotient space of X by sending the point..... to..... [Not: We present]
It turns out that A, B and C all belong to the same class, which we represent by the symbol P
2
.
In particular, integral curves evolve continuously, and we should seek to represent them using
a measure which reects this continuity in some way. We shall use the symbol to represent
intersection. We use upper case letters to represent inverses of generators. This accords
with the intuition that as we pass down the coding tree, we nd out more and more detailed
information about the ordering actually represented. We shall then show that this f can be
represented in the form (5).
representative a complete set of representatives of the isomorphism classes of A-modules
require [see also: call for, entail, demand, want, desire, necessitate, force, involve, requisite]
Then f = 1, as required claimed/desired). In addition to f being convex, we require that F
MATHEMATICAL ENGLISH USAGE 123
be holomorphic. [Note the subjunctive be.] This is equivalent to requiring that..... If (ii) is
required for nite unions only, then M is called an algebra of sets. When clarity requires it,
we shall write I
A
(f) instead of I(f). [Note that the it is necessary here.] The above denition
was rst given in [D]; care is required because this term has been used in a slightly dierent
sense elsewhere. Many of the results that follow only require W to satisfy (8). The algebraic
properties (i) and (ii) required of j are evidently true. Lemma 3 does not require D to be
prime. The only point that requires care is the verication of..... The projection technique
requires the introduction of an appropriate homomorphism. We require a method of dividing
z into subwords z
i
for which we know the structure of f(z
i
). This requires us to give M an
R-module structure. We shall show that V is the required open cover.
requirement [see also: condition, demand, stipulation] The conclusion of Theorem 3 be-
comes false if this requirement is omitted. We next show how the continuity requirement
on f in Theorem 2 can be weakened. In less precise language, the requirement is that the
two angles are the same in size and in orientation. The remaining requirements of Deni-
tion 3 are also easily seen to hold in L
1
. The other requirements for a type F map are
also met. Thus W satises two of the four requirements for membership in Z. the main
key/essential/detailed/precise/reasonable/minimum/further/specic) requirement
requisite [= necessary for a particular purpose; see also: require] In order to prove the opposite
inequality, we rst construct the requisite number of balanced spheres of type A.
research [see also: investigation, study] Research partially supported by NSF Grant No. 23456.
This research was initiated when the rst author was visiting the University of Alberta in
the summer of 2008; the nancial support and kind hospitality are gratefully acknowledged.
A survey of the research on f
n
(x, y) up to 1970 (most of it dealing with the case n = 1) was given
in [3]. This is an interesting area for future research. We close this paper by oering some
questions and problems for further research. This work continues research begun in [5]. In the
present work we continue this line of research. detailed in-depth/extensive/pioneering/ground-
breaking/thorough) research
resemblance [see also: similarity] We could have adopted an approach to proving Theorem
2 along a line of reasoning which bears greater resemblance to the treatment of the analogous
result in Section 1. All three cases bear a striking resemblance.
resemble [see also: like, similar] Littlewood proved that certain subharmonic functions on the
unit disc resemble bounded analytic functions in having radial limits almost everywhere. While
topological measures resemble Borel measures, they in general need not be subadditive.
reserve The letter will be reserved for characteristic functions throughout this book. A dier-
ent notation is used because the usual tensor product symbol is reserved for the tensor product
of A-bimodules.
resistant On the other hand, the second case appears to be resistant to the methods we use to
prove Lemma 2.
resolve [see also: solve] However, to our knowledge this is not fully resolved. This also resolves
the ambiguity introduced earlier in choosing an order of the lifts of U. The case where p > 1
remains unresolved.
124 JERZY TRZECIAK
respect [see also: regard, relative, compare] The set S is a semigroup with respect to coor-
dinatewise addition. Thus C behaves covariantly with respect to maps of both X and G.
Suppose A is maximal with respect to having connected preimage. We denote the complement
of A by A
c
whenever it is clear from the context with respect to which larger set the comple-
ment is taken. Now suppose that F(n) = x and that n is maximal in this respect. The
prime 2 is anomalous in this respect, in that the only edge from 2 passes through 3. It is in
all respects similar to matrix multiplication. In the course of writing this paper we learned
that P. Fox has simultaneously obtained results similar to ours in certain respects. Keller [2,
Theorem 5] obtains a duality theorem that is stronger than Theorem 2 in a number of respects,
but the proof is much more dicult. Identical conclusions hold in respect of the condition BN.
[= concerning BN]
respective [= relating separately to the individual objects just mentioned, in the same order;
see also: correspond] Let x
1
, . . . , x
n
be the distinct values assumed by f and A
1
, . . . , A
n
the
respective sets where these values are assumed. Dierentiation of (5) and (6) gives the respective
equations A = B and C = D.
respectively Let x
1
, x
2
be variable points in the intervals (a, b), (c, d) respectively. The sub-
spaces of M() consisting of the discrete and continuous measures are M
d
() and M
c
(),
respectively. We call E
x
and E
y
the x-section and y-section respectively of E. These might
be called respectively the regular and the singular parts of B.
rest 1 [see also: remainder] F = 1 on the rest of A. Each row of A has a single 1 and the
rest of the entries 0. The rest of the proof runs as before. Much of the rest of the paper is
devoted to a general study of.....
2 [see also: base, depend, rely] This rests on a result of Kummer.
restate [see also: reformulate, rephrase, rewrite] Thus the conjecture can be restated as follows.
restraint [see also: constraint, restriction] A computational restraint is the algebraic number
theory involved in nding these ranks, which will typically be more demanding than in our
example of Section 1.
restrict [see also: conne, limit] It is not generally possible to restrict f to the class D. Then
F restricts to a C
0
ow on M. Theorem 2 still holds for A(x) provided that k is restricted
to the range [0, 1]. The supremum in (1) does not change if we restrict ourselves to rational
points in Q. We shall restrict the discussion to plane regions.
restriction [see also: constraint, limitation, restraint] Theorem 7 imposes a quantitative restric-
tion on the location of the zeros of..... However, if B were omitted in (1), the case n = 0 would
imply Nf = 1, an undesirable restriction. Some restrictions must be placed on the behaviour
of f. When A is the order complex of a poset, there are further restrictions on the h-vector
of A. This theorem removes the restriction to convex regions which was imposed in Theorem 8.
All our estimates hold without this restriction. The location of the zeros of a holomorphic
function in a region is subject to no restriction except the obvious one concerning the absence
of limit points in .
restrictive [see also: stringent] The usual denition is more restrictive in that it requires that
a A.
MATHEMATICAL ENGLISH USAGE 125
result 1 [see also: consequence, eect, outcome, achievement] Let n , applying Lemma 5.
The result is..... As a result, B is isomorphic to C. As usual, we can rephrase the above result
as a uniqueness theorem. Slightly rening a result of [8], Davenport proved..... The method
of proof of Theorem B can be adapted to extend the right-to-left direction of Mostowskis result
by showing that..... We now prove a simple fact about semigroups: this is surely a folklore
result. It is hoped that a deeper understanding of these residues will help establish new results
about the distribution of modular symbols. We could have adopted an approach to proving
Theorem 2 along a line of reasoning which bears greater resemblance to the treatment of the
analogous result in Section 1. In the course of writing this paper we learned that P. Fox
has simultaneously obtained results similar to ours in certain respects. There is a related
result concerning primitivity. The results have been encouraging enough to merit further
investigation. We show that one can drop an important hypothesis of the saddle point theorem
without aecting the result. This rests on a result of Kummer.
2 [see also: cause] The resulting formula exhibits u as the Laplace transform of x. [Not: The
obtained formula] We can solve the resulting equations successively for c
1
, ..., c
n
. Their
study resulted in proving the conjecture for k = 1. The demand that each entry be a perfect
square results in nine equations. [Note the subjunctive be.] Less than 1 in p of its points will
result in a quartic with ideal class number p. Lebesgue discovered that a satisfactory theory
of integration results if the sets E
i
are allowed to belong to a larger class of subsets of the line.
[Do not write: It results that if you mean: It follows that.]
retain [see also: keep, maintain, preserve] This extension retains control on..... at the sacrice
of loosing some control on..... The lemma shows that properties of certain subsets of X are
retained by their images under F.
retrieve [see also: recover] We can retrieve H from H
by the formula.....
return [see also: go back, turn back, revert] The algorithm returns 0 as its answer. We shall
return to this central theme in Chapter 7. The usefulness and interest of this correspondence
will of course be enhanced if there is a way of returning from the transforms to the functions,
that is to say, if there is an inversion formula.
reveal [see also: exhibit, show, demonstrate, display, reect] A careful look at the proofs re-
veals that P is measurable. The next two theorems reveal the importance of this concept.
A complete explication of the Fox spaces is warranted, as it will likely reveal further clues to the
dierences between the parabolic and hyperbolic theories. The obvious rearrangement reveals
the right side to be identical with (8).
reverse [see also: converse, opposite] 1 in reverse order the reverse inequality inclusion)
We show that..... by reverse induction on i, starting at i = n and working down to i = 0.
2 None of these implications can be reversed. By reversing the steps above, we see that.....
One is tempted to reverse the order of integrations but that is illegitimate here. with the order
of a and b reversed
revert [see also: return, go back] Reverting to our former notation, we see in particular that.....
review In Section 2 we review [= go over] the separation of variables formula.
revise [see also: alter, change, modify] To overcome this problem, we revise our denition of a
branch. By revising our choice of A if necessary, we may assume that.....
126 JERZY TRZECIAK
revolution the revolution of the earth about round) the sun
rewrite [see also: reformulate, rephrase, restate] Hence (8) can be rewritten in the form.....
right 1 We now prove a lemma which is interesting in its own right. We cannot hope to say
anything about the structure of each isotropy factor as a system in its own right.
2 the right member of (8) = the right side of (8) = the right-hand side of (8) [Or: the right hand
side] the right-hand side expression on the right of (8) = on the right-hand side of (8) The
exact sequence ends on the right with H(X). composition on the right with p Then D lies to
the right of G. Let n
k
be the rst location to the right of the kth decimal place of W that has
a value less than b. Comparisons are done in left-to-right order. The entries in each row are
increasing from left to right. The string N (read from right to left) starts with..... The map
f, which we know to be bounded, is also right-continuous. The method of proof of Theorem
B can be adapted to extend the right-to-left direction of Mostowskis result by showing that.....
the rightmost integral [= the last one on the right]
3 However, as pointed out right after (5),.....
rigorous [see also: precise] To make this argument rigorous, apply (1.12) to.....
rise 1 [see also: lead] Every possible such sequence gives rise to..... [Not: gives raise]
2 [see also: increase] Ination in the rst quarter rose beyond the acceptable level of 5%.
role [see also: part, importance, signicance, relevance, interest] By interchanging exchanging)
the roles of X and Y , it follows that..... Here f takes over the role of the time parameter. It
turns out that these properties play no role in the proof. In closing this section we take up a
result which will play a pivotal role in the characterization of..... Its role is to rule out having
two or more consecutive P-moves (on the grounds that they can be performed in one go). a key
principal/signicant/important) role
root We now multiply (7) by p and take nth roots to obtain.....
rotate This is the lattice packing rotated 45
o
. Let A denote the rectangle B rotated through
/6 in a clockwise direction about the vertex (0, 1).
rotation [see also: turn] As the point z moves around the unit circle, the corresponding J
z
s
are rotations of angle t(z). rotation through /3 through an angle ) a 180
o
rotation
rough [see also: approximate, rudimentary] It is therefore reasonable that the behaviour of p
should in some rough sense approximate the behaviour of q. For most of the proof it suces
to use the rough bound p < 1.
roughly [see also: approximately, about] Roughly speaking, we shall produce a synthesis of
index theory with Fourier analysis. This says (roughly speaking) that the real part of g is.....
Roughly 0.7 comparisons were done for each character.
round 1 [see also: around] It is also tempting to get round get around) this problem by working
with.....
2 To round out the picture presented by Theorem 5, we mention the following consequence of.....
Values computed for the right side of (2) were rounded up in the fourth decimal place.
routine [see also: standard] It is a routine matter a matter of routine) to show that.....
Indeed, it is routine to verify that the index so constructed is independent of the choices made.
MATHEMATICAL ENGLISH USAGE 127
The remainder of the proof is routine. We sketch the rest of the proof, leaving routine details
to the reader.
routinely There are kneading sequences for which the arguments of Section 4 go through rou-
tinely.
rudimentary [= very basic, at the simplest level] The requirement that competitors are sym-
metric will only be used to get some very rudimentary control on the asymptotics of G.
rule 1 However, such situations are the exception rather than the rule. There are few exceptions
to this rule. It follows that any itinerary that obeys these four rules corresponds to a point
in B.
2 [see also: exclude, preclude] The possibility A = B is ruled out in the same way. Its role is
to rule out having two or more consecutive P-moves (on the grounds that they can be performed
in one go).
run The rest of the proof runs as before. Although these proofs run along similar lines, there
are subtle adjustments necessary to t the argument to each new situation. Let A
be A run
backwards. As t runs from 0 to 1, the point f(t) runs through the interval [a, b]. The problem
one runs into, however, is that f need not be smooth. But this obvious attack runs into a
serious diculty. But if we argue as in (5), we run into the integral....., which is meaningless
as it stands. .....where E runs over runs through) the family B.
S
s Unlike Bells method, Halls does not use transnite induction. To show the greater simplicity
of our method over Browns, let us..... Smiths theorem [without the] = the Smith theorem
a theorem of Smiths [= one of Smiths theorems] But we have....., which, by another
theorem of Kimneys, is more than enough to guarantee that P gives A outer measure 1.
Gausss remarkable theorem on..... = the remarkable theorem of Gauss on..... [Adding s is
recommended even after names ending in s, z or x, except ancient ones: Pythagoras theorem;
however, the forms like Jones theorem are also correct.] Feerman and Steins theorem = the
Feerman-Stein theorem [In the plural of abbreviations and numerals, the apostrophe is best
omitted: ve 1s, PDEs, in the 1980s. However, it should sometimes be used to avoid confusion:
There are three is in row k.]
sacrice [see also: cost, price, expense] This extension retains control on..... at the sacrice of
losing some control on..... [Not: loosing]
sake for the sake of simplicity = for simplicity For the sake of clarity, we shall indicate in what
follows to which space X belongs. It seems preferable, for claritys sake, not to present the
construction at the outset in the greatest generality possible.
same [see also: identical] We use the same trick as Boas as Boas does/that Boas does).
.....with the same symbols as are) used in..... The quiver Q
1
is the same as Q but with x
deleted. Then the same argument as in Theorem 5 applies to show that L(R) fails to be
amenable. This is the same as saying that..... Since the code is linear, showing that it is
3-error-correcting is the same as showing that..... But if E is not reexive orwhat is the
samew is weak, then..... But in fact we get the same thing if we consider all maps into S.
Thus A-equivalence and B-equivalence are the same thing. Now G can be handled in much
128 JERZY TRZECIAK
the same way. The same applies to D. So s can be thought of as q with F
q
extended but X
q
left the same.
satisfactory [see also: suitable, appropriate, good, t] Fortunately, there is a very satisfactory
solution to this problem, due to Vermes. It will eventually appear that the results are much
more satisfactory than one might expect. On the whole, the solution can hardly be considered
satisfactory.
satisfy [,= verify; see also: obey] Here a and b are chosen to satisfy (2). [Not: to verify (2)]
This forces f to satisfy (6). The function of Lemma 2 can be made to satisfy (6). The
operator P satises essentially the same inequality as F does. However, A fails to satisfy (3).
Then F need not satisfy (2). [= F does not necessarily satisfy (2).] The products F
i
G
i
are
very close to satisfying (1).
save To save space later on, all modules are given in the form..... Taking J minimal such that
this inequality holds we get a saving of 1 in the codimension.
say [see also: assert, state, tell] When n = 0, (7) just amounts to saying that..... This is
the same as saying that..... To say that A is totally disconnected means that..... Thus f is
bounded, and (1) says that f(a) = 0. This says (roughly speaking) that the real part of g
is..... Let us state once more, in dierent words, what the preceding result says if p = 1. We
now exploit the relation (15) to see what else we can say about G. We cannot hope to say
anything about the structure of each isotropy factor as a system in its own right. If we adjoin
a third congruence to F, say a b, we obtain..... In this case it is advantageous to transfer the
problem to (say) the upper half-plane. Let D be a disc (with centre at a and radius r, say)
in C. Such cycles are said to be homologous (written c c
a
n
it is of signicance whether the a
n
approach zero rapidly. This has deeper
signicance than one might rst realize.
signicant [see also: considerable, important, substantial] This can result in a signicant loss
of smoothness. It is important to recognize that there is a signicant subclass of vector elds
for which the ambiguity alluded to above disappears. In all our analysis, only the order of
magnitude of P will be signicant. Their result gives no information when k is large, whereas
(5) is signicant regardless of the size of k.
signicantly [see also: considerably, greatly, substantially] The other values are signicantly
smaller than x. The pressure increases are signicantly below those in Table 2.
signify [see also: mean] Under those conditions, what does the sum on the left hand side of (8)
signify?
similar [to sth; see also: like, reminiscent, resemble] It is in all respects similar to matrix
multiplication. [Not: similar as] In the course of writing this paper we learned that P. Fox
has simultaneously obtained results similar to ours in certain respects. The proof is similar in
spirit to that of [8]. Analysis similar to that in Section 2 shows that..... Similar arguments to
those above show that..... This says that I is no longer than the supremum of the boundary
values of G, a statement similar to (1). A similar result holds for..... in a similar fashion in
an exactly similar way
MATHEMATICAL ENGLISH USAGE 133
similarity [see also: resemblance] This shape bears a striking similarity to that of..... Note
the similarity with Lusins theorem.
similarly [see also: likewise] Then F is similarly obtained from G. Similarly to [4], we rst
consider the nondegenerate case. [Or: Just Much) as in [4]; not: Similarly as in [4]] Here
we consider a dual variational formulation which can be derived similarly to that for the sandpile
model. Each A(n) corresponds to an element A
.
still [see also: continue, yet] The operators A
n
have still better smoothness properties. The new
X is no more continuous, although it still has norm 1. An ingenious alternative proof, shorter
but still complicated, can be found in [MR]. This is of course still an implicit characterization
of V , since..... It seems that the solution of Problem 1 is still out of reach. Then we can nd
a subsequence (still denoted by a
n
) such that a
n
< 1 for all n.
stipulation [see also: requirement, demand] These extra stipulations are unimportant, but are
given for deniteness.
straight [see also: directly] Then the one and only integral curve of L starting from x is the
straight line l. The boundedness follows straight from the denition of G.
straightforward [see also: direct, easy, simple] Alternatively, it is straightforward to show
directly that..... The proof of (2) is a matter of straightforward computation, and depends on
the relation ab cd = 1. in a fairly straightforward way
strange [see also: unusual] It may seem strange to dene 0. = 0.
strategy [see also: procedure, scheme, method, way] Our basic strategy for proving (1) is
dierent. We start with a brief overview of our strategy. Furthermore, adopting this strategy
considerably eases constructing a coding tree from a linear order. The condition..... can be
improved by employing a strategy similar to that underlying the proof of Theorem 2. The
strategy is much the same as for the proof of Theorem 2. a basic broad/general/overall/viable)
strategy
strength [see also: force] We do not need the full strength of the bounds in (4).
strengthen [see also: improve, sharpen, rene, strong] Theorem 3 can be strengthened by re-
quiring that the ultralter U be additionally conservative. [Note the subjunctive be.] However,
a slight strengthening of the hypotheses does give us a regular measure.
stress 1 [see also: emphasis] In his lectures, he laid great stress on the use of.....
2 [see also: emphasize, underline] Let us stress that c is a term and not a subset of C. We
should stress that this is only one of several versions of the measurable selector theorem, due
variously to von Neumann, Jankow, Lusin and others. It should be stressed, however, that.....
strict Strict inequality [= with a < or > sign] can occur hold) in (8) only if..... The condition
(8) holds with strict inequality.
strictly [see also: properly] This class is strictly larger than..... Then F is strictly less than G.
strike This shape bears a striking similarity to that of..... All three cases bear a striking
resemblance:..... This is in striking contrast to..... The two gures appear strikingly dierent.
stringent [see also: restrictive] Condition (i) becomes more stringent as n increases.
strive Striving for a contradiction, assume that.....
MATHEMATICAL ENGLISH USAGE 139
stroke [see also: go] The idea of the following proof, which yields both (a) and (b) at one stroke,
is due to von Neumann.
strong [see also: strengthen] A stronger topology makes it easier for a given function to be
continuous. In fact, this proof shows that a stronger result holds, namely,..... The rst of
these was suggested by J. Serrin, who showed how to modify my earlier treatment of..... so as
to obtain stronger results with no extra eort.
structure [see also: form] Then G has the structure of a group such that..... Neighbourhoods
of points in these spaces appear at rst glance to have a nice regular structure, but upon closer
scrutiny, one sees that many neighbourhoods contain collections of arcs hopelessly folded up.
This requires us to give M an R-module structure. Note that E can be given a complex
structure by setting..... Thus, the tensor algebra acquires a graded algebra structure. They
dened the concept solely in terms of the norm of the Banach space, deliberately avoiding
any extra structure. The structure of a Banach algebra is frequently reected in the growth
properties of its analytic semigroups.
study 1 [see also: consideration, discussion, examination, investigation, research, exploration,
analysis] Our study grew out of some valuable conversations with Kirk Douglas. Their study
resulted in proving the conjecture for..... Much of the rest of the paper is devoted to a general
study of..... In Section 2, we lay the foundations for a systematic study of..... In the study of in-
nite series
a
n
it is of signicance whether the a
n
approach zero rapidly. In Section 3 we pro-
ceed with the study of..... [= start or continue the study] In [7] the authors undertook a detailed
study of..... a careful comprehensive/close/systematic/comparative/denitive/profound/
thorough/meticulous) study
2 [see also: consider, examine, investigate, explore] One can also study these equations on
manifolds, but we stick to R
n
for simplicity. If one studies the proof of..... it is apparent that
(2) is never used. The aim of this article is to study the relationship between the size of A,
as measured by its diameter, and the extent to which A fails to be convex. This is part of
a larger project to study the Galois groups of periodic points of arbitrary polynomial maps.
This functor is much studied in [Ab] and [Ce]. These three results lead to several illuminating
pieces of information about the (insuciently studied) Berger property in general spaces.
subdivide [see also: split] Each ray will subdivide into a pair of dynamically distinct pieces.
subject 1 [see also: theme, topic, matter, point, issue] This subject is treated at length in
Section 2. See also [3], where functions of exponential type are the main subject. We cannot
survey this whole subject here. It seems that the relations between these concepts emerge most
clearly when the setting is quite abstract, and this (rather than a desire for mere generality)
motivates our approach to the subject.
2 Choose f in G subject only to the condition that Lf = 0. They established the Hasse principle
subject to a rank condition on the coecients. Take N to be a family of normal measures in
P(X) such that N is maximal subject to the condition that the supports of the measures in the
family are pairwise disjoint. The location of the zeros of a holomorphic function in a region
is subject to no restriction except the obvious one concerning the absence of limit points in .
subordinate a partition of unity subordinate to the covering U
i
weights are sharp weights. That there are no others is the main result of Section 2.
The degree of P equals that of Q. The continuity of f implies that of g. The diameter of
F is about twice that of G. It is this point of view which is close to that used in C
-algebras.
Dene f(z) to be that y for which..... Where there is a choice of several acceptable forms,
that form is selected which..... Associated with each Steiner system is its automorphism group,
that is, the set of all..... The usefulness and interest of this correspondence will of course be
enhanced if there is a way of returning from the transforms to the functions, that is to say, if
there is an inversion formula. We now state a result that will be of use later. A principal
ideal is one that is generated by a single element. Let I be the family of all subalgebras that
contain F. [Or: which contain F; you can use either that or which in dening clauses.]
the Note that the P produced in Theorem 2 need not have dP = 0. .....where the P
k
are
polynomials. We characterize the Banach spaces X for which n(X) = 1. Thus
n
(X) can be
interpreted as the homotopy classes of maps S
n
X. [= as the set of all homotopy classes] It
has some basic properties in common with another most important class of functions, namely,
the continuous ones. In the plane, the open sets are those which are unions of open circular
discs. Since u is constant on the level sets of a, it follows that..... the number of zeros of f
in D the density of the zeros of f Let A be the union of the sets f(Q) for f in F. Here p
2
(r)
is the sum of the squares of the divisors of r. The problem has a very natural connection with
the problem of the distribution of the zeros of a bounded holomorphic function in a half-plane.
MATHEMATICAL ENGLISH USAGE 147
Intuitively, entropy of a partition is a measure of its information contentthe larger the entropy,
the larger the information content.
theme [see also: subject, topic] We shall return to this central theme in Section 4.
then The complex case then follows from (a). Continuity then nishes o the argument.
Theorem 3 may be interpreted as saying that A = B, but it must then be remembered that.....
Then G has 10 normal subgroups and as many non-normal ones. If p = 0 then there are an
additional m arcs. [Note the article an.] If y is a solution, then ay also solves (3) for all a in B.
theorem Here is a more explicit statement of what the theorem asserts. What the theorem is
saying in substance is that..... This theorem accounts for the term subharmonic. Theorem 2
will form the basis for our subsequent results. [Not: The Theorem 2] In particular, the
theorem applies to weakly conuent maps. Finally, case (E) is completed by again invoking
Theorem 1. At this stage we appeal to Theorem 2 to deduce that..... Browns theorem
[without the] = the Brown theorem a theorem of Browns [= one of Browns theorems] .....,
which, by another theorem of Kimneys, is more than enough to guarantee that P gives A outer
measure 1. Wieners famous renowned/celebrated) theorem
theory In [2], this theorem is made the starting point of Gelfand theory. This approach is
standard in homotopy theory. Unfortunately, the notation from number theory slightly conicts
with the notation from probability theory. More specialized notions from Banach space theory
will be introduced as needed. This abstract theory is not in any way more dicult than the
special case of the real line. Kearnes developed a commutator theory for relative congruences,
with the expectation that it can be used to prove Pigozzis conjecture.
there Theorem 2, at the end of Section 2, was not originally obtained in the manner indicated
there. That approach was used earlier in [2]. There, however, it was applied in simply connected
regions only. This shows that there is r 0 such that..... [Or: there is an r 0] Now, there
are a and b such that..... There exists a function f and a constant c such that..... [Or: There
exist a function f and a constant c] However, there are a large number of examples showing
that..... [Not: There is a large number] If p = 0 then there are an additional m arcs. [Note
the article an.] We have to show that the property of there being x and y such that x < y
uniquely determines P up to isomorphism. Then (3.5) is a necessary and sucient condition
for there to be a function f such that..... How many such expressions are there? How many
entries are there in this section? In general, we have a b; there is equality if..... There has
recently been increasing interest in the theory of..... There is not space to enumerate them
all here. From the viewpoint of the Fox theorem, there is not an exact parallel between the
odds and the evens. For general linear operators, there is not such an extensive functional
calculus as there is for self-adjoint operators. Hence there can be no condition on the norms
which guarantees (7). In representation theory, there can never be a B-map whose domain
is nite-dimensional. There cannot be two edges between one pair of vertices. With each
D there is associated a region V
D
. There remain four intervals of length 1/4 each. There
remains one further case to consider. [But: It remains to consider one further case.] In [6]
there occur the following formulas. There seems to be no simple formula for .....
thereafter [= from that time on] This procedure, once implemented, can thereafter be applied
with great eectiveness.
148 JERZY TRZECIAK
thereby [= as a result of that] Clearly, A is thereby put in one-to-one correspondence with B.
So F must be constant on H, thereby showing that A = B, as desired.
therefore [= for that reason; see also: consequently, hence, thus] It is therefore of interest
to look at..... The polynomials R
i
do not have this stability property, and are therefore of
little interest. One must therefore also introduce the class of..... Therefore, whenever it is
convenient, we may assume that.....
these In this way, D yields operators D
+
and D
. Therefore, F has
the unique lift F
= p
1
F. Let F be the unique map such that..... Hence M is the unique
largest submodule of type (a).
uniquely This normalization determines V uniquely. Then G is uniquely determined up to
unitary equivalence. The fact that the number T(p) is uniquely dened, even though p is not,
enables us to dene the nullity of A as follows.
unit The m points x
1
, . . . , x
m
are regularly spaced t units apart. an interval of unit length
the unit mass concentrated at x an algebra with unit the units digit
unity The coecients of A add up to unity.
university After receiving his PhD he took a position at he came to) the University of Texas.
He received his master and PhD degrees from the University of Texas. In 1987 he went to
Delhi University. He is currently Professor of Mathematics at Texas State University. This
research was initiated when the rst author was visiting the University of Alberta in the summer
of 2008; the nancial support and kind hospitality are gratefully acknowledged.
MATHEMATICAL ENGLISH USAGE 155
unless We now prove that f cannot have compact support unless f = 0 a.e. We put b in R
unless a is already in. The S-function f is zero unless l = m, in which case it depends only
on M.
unlike [see also: contrast, oppose] Note that, unlike the maximal function, the Hilbert transform
is not..... Unlike Bells method, Halls does not use transnite induction. Unlike the case with
designs, there exist weak designs where the universe size does not depend on the number of sets.
unlikely This change is unlikely to aect the solution. We drop the subscript when confusion
is unlikely. It is unlikely that the disturbances will eventually disappear.
unnecessarily His proof is unnecessarily complicated.
unnecessary [see also: superuous, redundant] It is therefore unnecessary to specify G on M.
unresolved [see also: open] The question whether A belongs to W was left unresolved there.
until The algorithm compares x to each entry in turn until a match is found or the list is
exhausted. This process can be repeated until we obtain the promised triangulation. We
postpone the proof until Section 2. We walk from X to Y until the rst place where G
changes. We defer the proof of the moreover statement in Theorem 5 until after the proof of
the lemma. There are, however, a few important papers of which we were unaware until fairly
recently.
unusual [see also: remarkable, rare, strange] One unusual feature of the solution should be
pointed out.
up The saddle-point conditions are satised up to an error o(n). He used a new version of an
algorithm for nding all normal subgroups of up to a given index in a nitely presented group.
Here F is only dened up to an additive constant. Therefore, G is uniquely determined up
to unitary equivalence. If we know a covering space E of X then not only do we know that.....,
but we can also recover X (up to homeomorphism) as E/G. from stage A up to, but not
including, stage B The arguments from this point up to Theorem 2 do not depend on.....
Up to now, we have assumed that..... The coecients of A add up to unity. Other situations
in dynamics where the p-adic numbers come up are surveyed in [W]. Arguing as before, we
shall end up with a simple tree all of whose facets contain V . Neighbourhoods of points in
these spaces appear at rst glance to have a nice regular structure, but upon closer scrutiny, one
sees that many neighbourhoods contain collections of arcs hopelessly folded up. These subsets
join up to form a simple closed curve passing through A and B. The set WF(u) is made up
of bicharacteristic strips. Each of the terms that make up G(t) is well dened. Now F is
dened to make G and H match up at the left end of I. Write out the integers from 1 to n.
Pair up the rst and the last, the second and next to last, etc. Values computed for the right
side of (2) were rounded up in the fourth decimal place. In Section 2 we set up notation and
terminology. [= prepare] On TK we set up the symplectic structure induced by the metric.
[= introduce] This space of curves also shows up in the theorem of Meyer on..... We shall
split up K as follows. First we take up the trivial case h = 0. In closing this section we
take up a result which will play a pivotal role in the characterization of..... It should be no
surprise that a condition like a
i
,= b
i
turns up in this theorem. The lectures were written up
by M. Stong.
156 JERZY TRZECIAK
upon The second inequality follows upon considering R
i
for i > 0. We may assume, upon
replacing F by F
1
, that..... Upon combining the estimate for B with (5), we have now estab-
lished the rst conclusion of Theorem 8. Adding E to both sides of (1), we can call upon (2)
to obtain (3).
upper Kim announces that (by a tedious proof) the upper bound can be reduced to 10.
We use upper case letters to represent inverses of generators. [= capital letters] an upper
semicontinuous function
use 1 [see also: application, means, via, utility] Apart from these two chapters, we make no use
of the results of [4]. The proof makes essential use of the Sobolev inequalities. This section
makes heavy use of a theorem of Alsen and related results. Our proofs make substantial use of
classical topology of the plane. That isapart from the use of relaxed controlsprecisely the
stochastic Bellman equation. In the following applications use will be made of..... The idea
behind our use of the s is that..... We depart from these previous works in our use of the
non-ergodic versions of the basic machinery. We now state a result that will be of use later.
For later use in conjunction with the weighted averages occurring in (2), we next consider.....
[Note the double r in occurring.] For future use, choose any monotone h(m) tending to innity
such that..... The main new feature is the use of the face ring to produce lower bounds for
the number of vertices. The second way of constructing K(F) is through the use of..... Some
proofs may be simplied by the use by use) of.....
2 [see also: apply, employ, exploit] We shall not use this fact in any essential way. We obtain
(using the fact that Q is a probability measure) Q(A) =..... The advantage of using..... lies
in the fact that..... Quite a few of them are now widely used. We conclude with two simple
lemmas to be used mainly in the proof of..... This method for solving (1) was described in [5].
In [1] the methods used are those of dierential topology.
useful [see also: helpful, advantageous, valuable, convenient] A concept which has proved useful
in the study of measures is tameness. These results show that an analysis purely at the level of
functions cannot be useful for describing..... This assumption is useful for simplifying proofs.
The following variant of Theorem 2 is occasionally useful. This is the least useful of the four
theorems. At times [= Occasionally] it will be useful to consider..... It is useful to consider
some rather simple examples to gain some intuition. These idempotents provide a useful tool
for analysing the structure of G.
usefulness [see also: utility] The usefulness and interest of this correspondence will of course
be enhanced if there is a way of returning from the transforms to the functions, that is to say,
if there is an inversion formula.
usual [see also: common, customary, familiar, standard] As usual, we can rephrase the above
result as a uniqueness theorem. [Not: As usually] (with the usual modication for p = )
One unusual feature of the solution should be pointed out.
usually It will usually be assumed that..... The calculation of M(f) is usually no harder than
the calculation of N(f). In practice, D is usually too large a set to work with. This topology
is compact, but not usually Hausdor, nor even T
1
.
utility [see also: usefulness] The following result illustrates the utility of (3). These functions
are sometimes called elementary factors. Their utility depends on the fact that.....
MATHEMATICAL ENGLISH USAGE 157
utilize [see also: use, employ, apply] The middle part of Table 2 compares the classication
according to max a
i
, where only the longitudinal information is utilized, with those according
to max b
ik
, where both longitudinal and survival information are used.
V
vacuous In the case k = 0 condition (A) becomes vacuous.
vacuously If K is empty, part of the hypothesis is vacuously satised.
valid [see also: correct, true, hold] Theorems 3 and 6 of [2], with the appropriate changes, are
also valid. The statement of Theorem 5 remains valid if we replace f is compact by the norm
of f is bounded. However, as observed in [5], the proof given in [7] is equally valid for regular
sets. This argument is invalid for several reasons.
validate [see also: prove] Their remarkable achievement seemed to validate Johns claim. How-
ever, it turned out that.....
validity Altering nitely many terms of the sequence u
n
does not aect the validity of (9). All
the evidence points to the validity of the conjecture.
valuable [see also: useful, helpful, worth] Our study grew out of some valuable conversations
with Kirk Douglas.
value The iterates eventually reach the value 1. The map U(t) takes values in some compact
space G. Each factor in (4) has absolute value 1 on T. Let n
k
be the rst location to the right
of the kth decimal place of W that has a value less than b. Every element of A has f-value 2.
[= the value of f at this element is 2] Then F is less than 1 in absolute value. The terms of
the series (1) decrease in absolute value and their signs alternate. We claim that, by setting w
to zero on this interval, the value of F(w) is reduced. the largest k value
vanish [see also: disappear, zero] Hence F vanishes to order 3 to innite order) at x. a nowhere
vanishing vector eld
variable Thus X can be taken as coordinate variable on M. If one thinks of x, y as space
variables and of z as time, then..... a function of several variables [Not: of many variables]
Thorin discovered the complex-variable proof of Rieszs theorem. A homogeneous two-variable
function f can be reduced to a one-variable function F(x) = f(1, x).
variant [see also: adaptation, adjustment, modication, variation, version] The following variant
of Theorem 2 is occasionally useful. The argument is a variant of one in [5] and has been used
several times since.
variation [see also: adaptation, adjustment, modication, variant, version] The example is a
variation on the space known as the Warsaw circle. This is essentially a variation on the
prime number theorem. Let us sketch the proof of the rst estimate, which is a variation of
standard arguments. As noted in the introduction, this is basically combining Sawyers result
with a variation of the arguments of Hunt.
variety [see also: number, many, plentiful, several] Actual construction of..... may be accom-
plished in a variety of ways. The question of..... has been explored under a variety of conditions
on A. The approach in [GT] provides a unied way of treating a wide variety of seemingly
disparate examples.
158 JERZY TRZECIAK
various [see also: dierent, several] We shall be considering L on various function spaces.
We do not know how V depends on the various choices made. Few of various existing proofs
are constructive. The author thanks the referee for recommending various improvements in
exposition.
variously These spaces are dened and variously characterized in [1]. We should stress that
this is only one of several versions of the measurable selector theorem, due variously to von
Neumann, Jankow, Lusin and others.
vary [see also: alter, change, range, dier, dierent] Here c denotes a constant which can vary
from line to line. Fix n and let c vary. A natural question to ask is how the quantities A(S, T)
and B(S, T) vary as S and T change. As we let t vary, f(t) describes a curve in M. Within I,
the function f varies oscillates) by less than 1. The idea is that C is xed, but X and Y vary
according to circumstances. Then F varies smoothly in t. The samples vary in length. Note
that m is permitted to vary with the number of inputs. A number of authors have considered,
in varying degrees of generality, the problem of determining..... a slowly varying function
Computer evidence suggests the dynamics of these maps is rich and varied.
verication [see also: check, examination, inspection, proof, scrutiny] The only point that
requires care is the verication of..... A standard verication shows that..... This concludes
the verication of Claim 2. The only thing to check is that maps compose correctly; but this
is an easy, if tedious, verication.
verify [,= satisfy; see also: check, examine] We are seeking to verify the conjecture that every
Banach sequence algebra A that is a Ditkin algebra is PAA. To prove (8), it only remains to
verify that..... Indeed, it is routine to verify that the index so constructed is independent of the
choices made. We leave it to the reader to verify that..... ....., as is easily veried. Now the
reader will have no trouble verifying that..... [Do not write: The function F veries condition
(2) if you mean: The function f satises condition (2).]
version [see also: variant, variation] We should stress that this is only one of several versions of
the measurable selector theorem, due variously to von Neumann, Jankow, Lusin and others.
We will call on this version of the inverse theorem when we come to our applications in Section 2.
We write = ....., which is a slight modication to the previous version of . a current up-to-
date/preliminary/denitive/nal/amended/enhanced/plausible/rened/sophisticated/elaborate/
simplied/weakened/explicit/quantitative) version
very [see also: precise] These results therefore describe the very close connection between the
method of encoding and the structures we are aiming to classify. By its very denition, f is
continuous. Finally, (d) is clear from the very last statement of Theorem 4. A cycle may very
well be represented as a sum of paths that are not closed.
via [see also: means] The tangent space to N at x is identied with M via left translation.
Then F and G are homotopic via a homotopy H such that..... It is clear that A is related to
B via (3.4). The standard proofs proceed via the Cauchy formula. ....., from which it is an
easy step, via Lemma 1, to the conclusion that.....
view 1 [see also: viewpoint, idea, perspective] The preceding observation, when looked at from
a more general point of view, leads to..... It is this point of view which is close to that used
in C
-algebras. Both of these conditions are satised if f is bounded (the second in view of
MATHEMATICAL ENGLISH USAGE 159
Assumption 3). With a view to bounding I in (8) by the right side of (6), we rst.....
2 [see also: consider, regard, see, think] It is convenient to view G as a nilpotent group. The
theory of correspondences may be viewed as bridging the gap between..... Here we are viewing
the coecients as reduced fractions.
viewpoint [see also: standpoint, view, perspective] From the viewpoint of the Fox theorem,
there is not an exact parallel between the odds and the evens.
violate [see also: fail] We note that H is in fact not Lipschitz continuous if this condition is
violated. This violates the maximum principle.
visit 1 This work was conducted during a visit of the author to Dartmouth College.
2 This research was initiated when the rst author was visiting the University of Alberta in the
summer of 2008; the nancial support and kind hospitality are gratefully acknowledged.
visualize To calculate (2), it helps to visualize the S
n
as the successive positions in a random
walk. The knowledge of the invariant subspaces of an operator helps us to visualize its action.
W
want [see also: wish, desire, require] The reader might want to compare this remark with [2,
Cor. 3]. This module is denoted by H(X), or H(X, R) if we want to make explicit the coecient
ring. This t has the feature we want.
warrant [see also: merit, worth] A complete explication of the Fox spaces is warranted, as it
will likely reveal further clues to the dierences between the parabolic and hyperbolic theories.
way [see also: approach, method, procedure, technique, incidentally] Now G can be handled in
much the same way. Actual construction of..... may be accomplished in a variety of ways.
Thus modules over categories are in many ways like ordinary modules. We shall not use this
fact in any essential way. This abstract theory is not in any way more dicult than the special
case of the real line. An alternative way to analyze S is to note that..... Here is another way
of stating (c). However, we know of no way of deriving one theory directly from the other.
The approach in [GT] provides a unied way of treating a wide variety of seemingly disparate
examples. This is the way Theorem 3 was proved. This follows from Lemma 2 just the way
(a) follows from (b). It follows from the way f was dened that..... Any congruence arises
this way. Theorem 2 can be proved a number of dierent ways. Put this way, the question
is not precise enough. By way of illustration, here is an example of..... The implication one
way follows from Theorem 2. On the way we analyze the relationship between..... Along the
way, we come across some perhaps unexpected rigidity properties of familiar spaces.
weak The convergence of the sum on the left is of course a weaker statement than the convergence
of (2). In fact, we shall prove our result under the weaker hypothesis that W is weakly bounded,
rather than just bounded, on an innite subset of G. The weight satises a weak type (1, 1)
estimate. Then x
n
converges weak
to x.
weaken [see also: relax] The primary advance is to weaken the assumption that H is C
2
, used
by previous authors, to the natural condition that H is C
1
. We can make g Lipschitz at the
price of weakening condition (i). Note that (2) is a slightly weakened version of the Polya
inequality.
160 JERZY TRZECIAK
weakness [see also: disadvantage, shortcoming, fail] It is important to notice some of the
weaknesses inherent in the above approach.
wealth [see also: abundance, much] The survey article [5] by Diestel contains a wealth of
information about the Dunford-Pettis property.
well [see also: also, too] For binary strings, the algorithm does not do quite as well. But H
itself can equally well be a member of S. Our asymptotic results compare reasonably well with
the numerical results reported in [8]. Since the integrands vanish at 0, we may as well assume
that..... Other types t into this pattern as well. Note that both sides of the inequality may
well be innite. A cycle may very well be represented as a sum of paths that are not closed. It
may well be that no optimal time exists, as the following example shows. Although standard,
the notion of a virtual vector bundle is not particularly well known.
were Suppose the lemma were false. Then we could nd..... Suppose x were not in B. Then
there would be..... If it were true that....., the same argument would apply to f. However, if
B were omitted in (1), the case n = 0 would imply Nf = 1, an undesirable restriction.
what Under those conditions, what does the sum on the left hand side of (8) signify? Does
the limit of f(z) exist as z goes to zero? If so, what is it? What is F(c) if c is a positively
oriented circle? What relation exists between f and g? What about the case where q > 2?
By what has been proved, there exists n such that..... What is left is to show that..... What
is still lacking is an explicit description of ker C. The sequence a
n
is what is sometimes called
a recovery sequence for v. Here is a more explicit statement of what the theorem asserts.
The sum of the depths is at most two-thirds of what it was before. Throughout what follows,
we shall freely use without explicit mention the elementary fact that..... It is not immediately
obvious what this generalization has to be. We conclude that, no matter what the class of
b is, we have an upper bound on M. But if E is not reexive orwhat is the samew is
weak, then..... Here G is discontinuous and, what is more, it does not belong to V . [Note the
dierence between what and which in sentences similar to the last two examples: what refers to
what follows it, while which refers to what precedes it.]
whatever We shall, by convenient abuse of notation, generally denote it by x
t
whatever prob-
ability space it is dened on. The problem is that, whatever the choice of F, there is always
another function f such that.....
whatsoever The preceding denitions can of course equally well be made with any eld what-
soever in place of the complex eld.
when [see also: if, whenever] Then F becomes inner when extended to B. It is important to
pay attention to the ranges of the mappings involved when trying to dene..... When reading
the proof of Lemma 2, it is helpful to keep in mind that..... When is it the case that.....? We
have d(f, g) = 0 precisely when f = g a.e.
whence [= as a consequence of which] We have shown that....., whence it is readily inferred
that.....
whenever [see also: if, when] Whenever the dimension drops by 1, the rank drops by at most Z.
We denote the complement of A by A
c
whenever it is clear from the context with respect to
which larger set the complement is taken. Next, (1) shows that (2) holds whenever g = f(n)
MATHEMATICAL ENGLISH USAGE 161
for some n. Suppose that T