17.2.1999/H.

V aliaho

Pronunciation of mathematical expressions

The pronunciations of the most common mathematical expressions are given in the list below. In general, the shortest versions are preferred (unless greater precision is necessary). 1. Logic there exists for all p implies q / if p, then q p if and only if q /p is equivalent to q / p and q are equivalent

pq

pq

2. Sets xA x /A AB AB A\B x belongs to A / x is an element (or a member) of A x does not belong to A / x is not an element (or a member) of A A is contained in B / A is a subset of B A contains B / B is a subset of A A cap B / A meet B / A intersection B A cup B / A join B / A union B A minus B / the dierence between A and B A cross B / the cartesian product of A and B

AB AB

AB

3. Real numbers x+1 x1 xy x1 (x y )(x + y ) x y = x=5 x=5 x plus one x minus one x plus or minus one xy / x multiplied by y x minus y , x plus y x over y the equals sign x equals 5 / x is equal to 5 x (is) not equal to 5 1

xy

xy

x is equivalent to (or identical with) y x is not equivalent to (or identical with) y x is greater than y x is greater than or equal to y x is less than y x is less than or equal to y zero is less than x is less than 1 zero is less than or equal to x is less than or equal to 1 mod x / modulus x x squared / x (raised) to the power 2 x cubed x to the fourth / x to the power four x to the nth / x to the power n x to the (power) minus n (square) root x / the square root of x cube root (of) x fourth root (of) x nth root (of) x
2

x>y xy x<y xy 0<x<1 0x1 |x| x

2

x3 x4 xn xn x 3 x 4 x n x (x + y ) x y n! x x x xi
n 2

x plus y all squared x over y all squared n factorial x hat x bar x tilde xi / x subscript i / x sux i / x sub i

ai
i=1

the sum from i equals one to n ai / the sum as i runs from 1 to n of the ai

4. Linear algebra x OA OA AT A1 the norm (or modulus) of x OA / vector OA OA / the length of the segment OA A transpose / the transpose of A A inverse / the inverse of A 2

5. Functions f (x) xy f (x) f (x) f (x) f (4) (x) f x1 2f x2 1

0 x0 x+0 x0

f x / f of x / the function f of x a function f from S to T x maps to y / x is sent (or mapped) to y f prime x / f dash x / the (rst) derivative of f with respect to x f doubleprime x / f doubledash x / the second derivative of f with respect to x f tripleprime x / f tripledash x / the third derivative of f with respect to x f four x / the fourth derivative of f with respect to x the partial (derivative) of f with respect to x1 the second partial (derivative) of f with respect to x1 the integral from zero to innity the limit as x approaches zero the limit as x approaches zero from above the limit as x approaches zero from below log y to the base e / log to the base e of y / natural log (of) y log y to the base e / log to the base e of y / natural log (of) y

f :ST

lim

lim

lim

loge y ln y

Individual mathematicians often have their own way of pronouncing mathematical expressions and in many cases there is no generally accepted correct pronunciation. Distinctions made in writing are often not made explicit in speech; thus the sounds f x may be interpreted as any of: f x, f (x), fx , F X , F X , F X . The dierence is usually made clear by the context; it is only when confusion may occur, or where he/she wishes to emphasise the point, that the mathematician will use the longer forms: f multiplied by x, the function f of x, f subscript x, line F X , the length of the segment F X , vector F X . Similarly, a mathematician is unlikely to make any distinction in speech (except sometimes a dierence in intonation or length of pauses) between pairs such as the following: x + (y + z ) and (x + y ) + z ax + b and ax + b an 1 and an1

The primary reference has been David Hall with Tim Bowyer, Nucleus, English for Science and Technology, Mathematics, Longman 1980. Glen Anderson and Matti Vuorinen have given good comments and supplements. 3

Tai lieu tren lay tai www.math.helsinki.fi/engl.pdf . Sau ay la cac bo xung tai Khoa Toan-Tin , ai hoc Khoa hoc T nhien Tp Ho Ch Minh

['lf] ['bi:t] [kai] ['delt] [ep'sailn] [fai] ['gm] ['i:t] [ai'out] [fai] ['kp] ['lmd] [mju] [nju] [pai] [i:t] [rou] ['sigm] [tou] ['oumig] [sai] [psai]

['delt] [fai] ['gm] ['lmd] [pai] [i:t] ['sigm] ['oumig] [psai]

alpha according alpha also analysis analytic antisymmetric apply arbitrary Archimedean argument assertion assumption asymptotic basis because boundary case check claim clear closure coincide compact compactness complete completely conclusion condition consequent consequently consider contain continuity continuous continuously contradict contradiction converge converging conversely convex corresponding

'lf 'k:di 'lf ':lsou 'nlsis ,n'litik [,nti'simetrik] 'plai [':bitrri] ,:ki'mi:djn [':gjumnt] ['s:n] 'smpn ,simp'tti beisis bi'kz 'baundri keis tek [kleim] kli ['klou] ,kouin'said km'pkt km'pktnis km'pli:t km'pli:tli kn'klu:n kn'din 'knsikwnt ['knsikwntli] kn'sid kn'tein ,knti'nju:iti [kn'tinjus] kn'tinjusli ,kntr'dikt ,kntr'dikn kn'v:d [kn'v:di] kn'v:sli [kn'veks] ,kris'pndi

counter-example define definition delta delta denote determine determined discuss domain dual eigenvalue eigenvector element empty endomorphism epsilon equation equivalent Euclid example exist fixed follow generality generate generating homomorphism however hypotheses imbed imply increasing Indeed induction inequality infer infinite infinity injection integer interior interior

'kauntig,zmpl di'fain ,defi'nin 'delt 'delt [di'nout] di't:min di't:min dis'ks dou'mein 'dju:l aign'vlju: aign'vekt 'elimnt 'empti ,endou'm:fism ep'sailn i'kwein i'kwivlnt ['ju:klid] [ig'z:mpl] [ig'zist] fikst 'flou ,den'rliti 'denreit 'denreiti ,hm'm:fizm hau'ev [hai'pisi:z] im'bed im'plai in'kri:si in'di:d in'dkn ,ini:'kwliti in'f: infinit in'finiti in'dekn 'intid in'tiri [in'tiri]

interior interior interval inverse inversely invertible isomorphic iteration iterative lambda least lemma limit linear map maximal maximum minimal monotone moreover natural norm normal normality note observe obtain omega operator original point positive preceding previous principle problem property prove radius reflexive remark resonance respect

in'tiri in'tiri 'intvl in'v:s in'v:sli in'v:tbl ,aisou'm:fik [,it'rein] ['itrtiv] 'lmd li:st lem 'limit 'lini mp ['mksiml] 'mksimm ['miniml] 'mntoun m:'rouv 'ntrl n:m ['n:ml] n:'mliti nout ['bz:v] b'tein 'oumig preit 'ridnl pint 'pztiv 'presidi ['pri:vis] ['prinspl] 'prblm 'prpti pru:v 'reidis ri'fleksiv ri'm:k 'reznns ri'spekt

respectively reverse satisfy scheme sequence show sigma similar simple solution space special spectral standard statement step strictly style subsequence subsequence subset suffice suppose supposition system theorem theory therefore thus total totally transitive unbounded under unique unit vector wedge whenever zero

[ris'pektivli] ri'v:s stisfai [ski:m] 'si:kwns ou 'sigm 'simil 'simpl s'lu:n 'speis spel 'spektrl 'stndd 'steitmnt step 'striktli stail sbsikwns 'sbsikwns ['sbset] [s'fais] s'pouz ,sp'zin 'sistm 'irm iri 'ef: s toutl 'toutli trnztiv ,n'baundid 'nd [ju:'ni:k] 'ju:nit ['vekt] wed wen'ev 'zirou