数学专业英语[1]－The Real Number System

hehe123

数学专业英语－Mathematical Discovery $ I# f# b) M. ~$ c

To give the flavor of Polya’s thinking and writing in a very beautiful but subtle case , a case that involve a change in the conceptual mode , I shall quote at length from his Mathematical Discovery (vol.II , pp.54 ff):

0 {1 }4 J" M1 U% }% p5 B& B$ N

EXAMPLE I take the liberty a little experiment with the reader , I shall state a simple but not too commonplace theorem of geometry , and then I shall try to reconstruct the sequence of idoas that led to its proof . I shall proceed slowly , very slowly , revealing one clue after the other , and revealing each gradually . I think that before I have finished the whole story , the reader will seize the main idea (unless there is some special hampering circumstance ) . But this main idea is rather unexpected , and so the reader may experience the pleasure of a little discovery .

A.If three circles having the same radius pass through a point , the circle through their other three points of intersection also has the same radius .

Fig.1 Three circles through one point.

8 F7 y% m P8 V. Z! x3 ~2 V9 t : J5 N' x- U5 R/ M

This is the theorem that we have to prove . The statement is short and clear , but does not show the details distinctly enough . If we draw a figure (Fig .1) and introduce suitable notation , we arrive at the following more explicit restatement :

B . Three circles k , l , m have the same radius r and pass through the same point O . Moreover , l and m intersect in the point A , m and k in B , k and l in C . Then the circle e through A , B , C has also the radius

; _% k( u7 N# v; h1 m5 g! T9 v

Fig .2 too crowded .

/ [4 T+ T# F" H' i7 P

Fig .1 exhibits the four circles k , l , m , and e and their four points of intersection A, B , C , and O . The figure apt to be unsatisfactory , however , for it is not simple , and it is still incomplete ; something seems to be missing ; we failed to take into account something essential , it seems .

We are dialing with circles . What is a circle ? A circle is determined by center and radius ; all its points have the same distance , measured by the length of the radius , from the center . We failed to introduce the common radius r , and so we failed to take into account an essential part of the hypothesis . Let us , therefore , introduce the centers , K of k , L of l , and M of m . Where should we exhibit the radius r ? there seems to be no reason to treat any one of the three given circles k ; l , and m or any one of the three points of intersection A , B , and C better than the others . We are prompted to connect all three centers with all the points of intersection of the respective circle ; K with B , C , and O , and so forth .

The resulting figure (Fig . 2) is disconcertingly crowded . There are so many lines , straight and circular , that we have much trouble old－fashioned magazines . The drawing is ambiguous on purpose ; it presents a certain figure if you look t it in the usual way , but if you turn it to a certain position and look at it in a certain peculiar way , suddenly another figure flashes on you , suggesting some more or less witty comment on the first . Can you recognize in our puzzling figure , overladen with straight and circles , a second figure that makes sense ?

, L; ^2 |) l+ k

We may hit in a flash on the right figure hidden in our overladen drawing , or we may recognize it gradually . We may be led to it by the effort to solve the proposed problem , or by some secondary , unessential circumstance . For instance , when we are about to redraw our unsatisfactory figure , we may observe that the whole figure is determined by its rectilinear part (Fig . 3) .

9 l& H/ r' ^/ n2 r% R' n1 ]& E+ d7 O

This observation seems to be significant . It certainly simplifies the geometric picture , and it possibly improves the logical situation . It leads us to restate our theorem in the following form .

; u9 G. x: l% X1 S: k* K# l

C . If the nine segments

KO , KC , KB ,

) L. [& [) c. H' F

LC , LO , LA ,

MB , MA , MO ,

5 I; h3 {) T/ i% f4 p

, C5 {; g/ G# y* E' J+ r; b

are all equal to r , there exists a point E such that the three segments

EA , EB , EC ,

" e- q. ?6 w3 Z2 R2 x$ J3 w

are also equal to r .

$ [; i' T% E1 d k) W% E x

Fig . 3 It reminds you －of what ?

- i7 i- }& q2 r, O" k1 m) F

This statement directs our attention to Fig . 3 . This figure is attractive ; it reminds us of something familiar . (Of what ?)

Of course , certain quadrilaterals in Fig .3 . such as OLAM have , by hypothesis , four equal sided , they are rhombi , A rhombus I a familiar object ; having recognized it , we can “see “ the figure better . (Of what does the whole figure remind us ?)

8 j ^# P9 P$ ?3 W3 B; b

Oppositc sides of a rhombus are parallel . Insisting on this remark , we realize that the 9 segments of Fig . 3 . are of three kinds ; segments of the same kind , such as AL , MO , and BK , are parallel to each other . (Of what does the figure remind us now ?)

We should not forget the conclusion that we are required to attain . Let us assume that the conclusion is true . Introducing into the figure the center E or the circle e , and its three radii ending in A , B , and C , we obtain (supposedly ) still more rhombi , still more parallel segments ; see Fig . 4 . (Of what does the whole figure remind us now ?)

Of course , Fig . 4 . is the projection of the 12 edges of a parallele piped having the particularity that the projection of all edges are of equal length .

1 Z4 E, @+ H+ a

9 d# W) w# z0 q' R# O5 t" a) W

Fig . 4 of course !

Fig . 3 . is the projection of a “nontransparent “ parallelepiped ; we see only 3 faces , 7 vertices , and 9 edges ; 3 faces , 1 vertex , and 3 edges are invisible in this figure . Fig . 3 is just a part of Fig . 4 . but this part defines the whole figure . If the parallelepiped and the direction of projection are so chosen that the projections of the 9 edges represented in Fig . 3 are all equal to r (as they should be , by hypothesis ) , the projections of the 3 remaining edges must be equal to r . These 3 lines of length r are issued from the projection of the 8^th , the invisible vertex , and this projection E is the center of a circle passing through the points A , B , and C , the radius of which is r .

d! E9 u# {( W5 T) M$ m7 }! H/ }

Our theorem is proved , and proved by a surprising , artistic conception of a plane figure as the projection of a solid . (The proof uses notions of solid geometry . I hope that this is not a treat wrong , but if so it is easily redressed . Now that we can characterize the situation of the center E so simply , it is easy to examine the lengths EA , EB , and EC independently of any solid geometry . Yet we shall not insist on this point here .)

This is very beautiful , but one wonders . Is this the “ light that breaks forth like the morning . “ the flash in which desire is fulfilled ? Or is it merely the wisdom of the Monday morning quarterback ? Do these ideas work out in the classroom ? Followups of attempts to reduce Polya’s program to practical pedagogics are difficult to interpret . There is more to teaching , apparently , than a good idea from a master .

# j% Y7 ~3 h, a$ ]' E1 N; O

——From Mathematical Experience

' e; t- W# T% b9 V- k) |! s& S( b

' T) l# ^9 w( s

hehe123

Vocabulary

subtle 巧妙的，精细的

clue 线索，端倪

hamper 束缚，妨碍

disconcert 使混乱，使狼狈

ambiguous 含糊的，双关的

witty 多智的，有启发的

rhombi 菱形（复数）

rhombus 菱形

parallelepiped 平行六面体

projection 射影

solid geometry 立体几何

pedagogics 教育学，教授法

commonplace 老生常谈；平凡的

hehe123

数学专业英语－Notations and Abbreviations (I) Learn to understand 7 z; x0 \2 R/ N! o, u% n! S

* \/ J: T# U+ R8 O+ S, O% Z$ V- P

3 R& c9 C9 _8 q/ A1 a' T

N set of natural numbers & a0 a0 u. E1 e# L

/ N# l3 u8 A. m5 z1 H1 x

Z set of integers

1 ], c3 ]0 Y# ~& v2 y0 Z" H. t5 w

8 V* i4 [! p+ w* F

R set of real numbers 9 n- R' A/ R' c0 n n2 N

; f3 X) i5 T% k

C set of complex numbers 7 F4 w5 U7 l! ]- m" J* \1 u* [

+ plus; positive

\. h) L+ [0 F# F9 k/ [& n6 j- z- l

－　　　　 minus; negative {! A% r ~ s( W' V9 d# o/ B

8 x: g. s$ O2 h

×　　　　 multiplied by; times & _3 w7 P7 Z3 [$ h

1 B4 i: I$ ^% O) u$ D# c

÷ divided by 5 e5 n( k6 x$ V, U" @1 e, y# x; [6 |

＝ equals; is equal to

3 {2 r! q. ~. u3 f" y

, b. u1 L! p c& q3 J1 T N. O* N

≡ identically equal to

≈,≌ approximately equal to

~$ _. x/ r' p) S' ~) c* N2 T

＞ greater than ( R8 m( R$ Q, e) ?% H4 r* v- J }

≥ greater than or equal to 5 c! U/ k4 M5 z5 X& [

＜ less than $ ^$ g/ S7 F- r# i9 ^

≤ less than or equal to

8 a9 l- X D% o, w2 \

》 much greater than

* o/ M1 w, H( F2 D& [5 Q

《 much less than

square root 0 k% ^6 O$ ?( C8 w

3 G4 q4 \3 p) [0 g |" x

8 Q7 M* n4 L. k9 N9 x5 F4 I

cube root

nth root 9 F- H8 C( U3 u/ K O

2 ?/ {7 u( M" _( n, `1 N+ C

│a│ absolute value of a

2 I+ |& ~2 Q' X5 ?

n! n factorial

" @' [1 L& c. I& S

a to the power n ; the nth power of a . [+ h, @ v" ?! m( h! [

. e! s! t' T. n) q$ c

0 @# {# u+ V, V( L1 p: U1 M6 l

[a] the greatest integer≤a - N2 p( s" Y; l

% L8 l! I+ c7 K

the reciprocal of a + `$ h. B' \5 I/ j; n6 ~

+ p6 C1 J/ O% W) s5 v* T6 g0 ~

t5 X. {1 ]8 j9 o/ \: r- K

+ \/ p# ^, @& o% n. ]; H8 F

3 Z. n1 Y. }7 g1 t& u3 f

Let A, B be sets r# ?4 B! F/ h# B3 B8 X. D# O f/ f

∈　　　　 belongs to ; be a member of

) `; {. l5 |2 N& w

not belongs to

2 C& f- ^8 F. d3 Y1 z' v3 b

/ O/ }$ N* `% b3 c4 S

x∈A x os amember of A $ G+ g: F) l, \/ T7 M) t- i6 L5 q

9 k/ t' p# A/ N9 X+ a# l9 ]

∪ union ! _! ~. N* S8 {0 D' ^

A∪B A union B

- L& F' |, k* @1 e' s

∩ intersection

& p' u2 I$ J1 W* e4 f' k0 y

A∩B A intersection B

/ Q- A. Y% Q1 F

A B A is a subset of B;A is contained in B ) i( Y" S+ p l* B9 `4 J2 a

* M- f: i* _; i* n) B

A B A contains B

complement of A ; B6 f% [7 w$ [; ~8 U* X

the closure of A j7 o& t C! {2 {" |

9 F, u/ h. C2 {( W/ I2 r

/ t$ ~5 K# W. Q

empty set

; I" B( s q+ l z* B: a! R, N0 j6 C

( ) i=1,2,…,r j=1,2,…,s r-by-s（r×s）matrix

- W' w! U! x. b, S' i c

│ │I,j=1,2,…,n 　　　　determinant of order n # L/ x! C4 G( p& C3 [: w! t, y

; i5 b* U7 A/ K( o) V, s

det( ) the determinant of the matrix ( ) ( I7 W5 _: }+ K+ S" C

$ v, A/ _4 `' ? U7 H

vector F % _0 m; N/ E; T. P) {6 q1 u; a

6 p1 Q1 R8 x1 w7 D5 m( Z5 `

x=( , ,…, ) x is an n-tuple of

) ]( x/ l; N4 x: L4 O0 i

‖‖　　　　　　　　　　the norm of … # L( j j1 g- W$ J. i

& ^5 j* {8 m8 Z6 p

! o1 P, t9 [! x# t

‖ parallel to

* P4 S& p# ^. t; F

┴ perpendicular to / N7 D u1 U$ G9 n- w3 Q# W0 e

the exponential function of x

& M' A; t' T/ K1 A% T

! w3 [8 a9 G* g3 s% N# m* I

lin x the logarithmic function of x % D, c* V+ x' R R0 O4 h) x

* M" {: B9 \/ T; D% G3 z+ e

sie sine

) G! F9 T8 I. Q1 G* D

& u+ f* { U3 z& @2 W# f

cos cosine

4 J6 N; k; Z" @6 N

$ `0 W) {4 X" ?

tan tangent

sinh hyperbolic sine ' k8 k9 X5 K' n/ f& `+ f

: c! Z! O; K9 y$ D" o

cosh hyperbolic cosine 3 ?3 t- I' p2 E; v: g

- ?1 q1 w4 M/ n

& l0 @4 R6 F/ H& I

the inverse of f : i1 k3 k7 v- e3 w

f is the composite or the composition of u and v

$ _; @- u8 j3 C3 L4 v& N; M7 e: s

the limit of …as n approaches ∞(as x approaches ) ' a8 c6 C+ J9 X5 {& v& @

x a x approaches a 0 D P! ^& y1 b* e% J. J

, the differential coefficient of y; the 1st derivative of y 7 u2 N/ n* M2 S% \

' h# C* Q" ?5 {3 |0 i

6 Q- a* V" A b* Y9 b

, the nth derivative of y & B2 C& M+ D% [

% @ V* U: l6 q) ^

7 s) }7 o' `, x. Y; N" V4 g1 o

the partial derivative of f with respect to x 7 r: i5 B: `1 O- f& t- N

( w! p5 U) b* v3 ]8 @- Y. H' b, U

6 k) c1 d( |( {6 S! c0 c7 ]

the partial derivative of f with respect to y $ j: u6 P2 r/ k

% s9 _9 o- t' {0 n$ D

the indefinite integral of f * R& O4 G9 o" Y9 H

* o: ]; e0 Z( g: v% a

the definite integral of f between a and b (from a to b) & x! O3 `, Z/ N& }5 p

3 C; ], \! \7 P

& u6 m; v7 b8 W' k% x- i2 e

the increment of x

; O, l3 U/ ]0 z. Z

4 J- q; m& @* s0 g

differential x $ Q! L/ Q) X" U" T: s2 H" c; Z

- o0 H4 T, U0 [7 \% N" Y- r

summation of …the sum of the terms indicated * t) W, ^5 [2 K: h: O& c8 `+ L7 V

! ?3 R1 R3 L6 |* P' {

∏　　　　　　　　　　the product of the terms indicated

; Q. g ]# k7 n+ R# t$ P6 n

, o! {! @1 x$ _ P: ^ e

=> implies 8 T4 p9 v$ }8 n" B; E

( ~1 y% m: \. S; H5 l) c

9 j1 \* W; ?8 Q0 b- {% K4 ]. ?

is equivalent to

（ ） round brackets; parantheses O) }' Y/ g2 R9 S) J7 T* ?

2 H$ ]0 ?8 D& t/ B

[ ] square brackets

{ } braces

/ o( W1 H% n/ v* d; _1 u

+ ?6 Y, f8 v2 z( d) z; t

# L1 ]" o w3 ?% \

hehe123

数学专业英语－Notations and Abbreviations (II) Learn to read . ~" K0 t0 ?/ ]% h% J4 O# `

0.1 0 point one; zero point one; nough point one - u" X7 M% s! m0 Q# T

4 |: B/ z, h: V1 ?

0.01 0 point 0 one; zero point zero one + h; a, E3 \3 H/ V& L4 z* I$ G

4.9….. four point nine recurring ]; ~& D+ t' q. x8 @0 k# F5 ~; X

2 n7 }2 T* t+ p- w8 K0 I

3.03262626… three point nought three two six, two six recurring - t* u4 J% Y! v) a2 x' d0 e/ c

' _. I% n, I. H' r0 e L# m

38.72 thirty eight point seven two # B, Z0 r# U( G$ N

, {. P4 U' ?) q# r4 F

a+b=c a plus b is c , `- a x+ t) R2 c2 j% K+ U9 ^0 H/ X

% b8 C3 G/ p% x2 f

c-a=b c minus b is a ; b taken from c leaves a

12÷3=4 twelve divided by 3 equals four - G* I: f& C/ @/ E4 ~2 |3 @, E

1 z5 e% s6 j# d! M4 d2 I+ J5 g

0 G2 U$ N! e, H

30=6×5 thirty is six times five

. L" Y: `( u/ V7 X

6×5=30 six multiplied by five is thirty

- V. v t7 w* k9 G

7+3＜12 seven plus three is less than twelve

+ v+ q4 y* p8 [7 E; ^8 Z% a

(a+b) bracket a plus b bracket closed

* q8 E3 v) V9 W+ e

( Q. J2 A; Z5 }: w' O+ M2 i8 X

20:5=16:4 the ratio of twenty to five equals the ratio of sixteen to four

; e+ I! ^1 u2 ~6 n

a:b∷c:d a is to b as c is to d

3 x y1 i" q3 x

v=s/t v equals s divided by t; v is s over t

! S) J% H1 ~# a4 {2 O R" f

(a+b-c×d)+e=f a plus b minus c multiplied by d, all divided by e equals f 8 q7 b9 z4 Y0 L; ~# Q- U

2 \, ^. U' l8 v) u

% percent % k: s3 L2 E% U

5 N1 F+ \$ O( K# C( u0 S0 o; {

$ |" c/ v2 ?$ y$ ^1 @# ]

3/8% three-eighths percent , b" U9 M/ s* E4 y; l. D( x# e8 `

: X6 s/ h/ H5 s9 | V' ]! A

x square; the square of x

2 I! b& P5 u3 ?1 `1 h g

8 c y7 F* x9 V+ \% ~

y cube; the cube of y ' Z9 t- P7 b# I2 W# Y

, J8 a- i2 I2 f

the cube root of a 1 ?6 e5 d: ^) u6 M% G" u( s

the square root of five hundred and eighteen

0 m, n# a# ?' \0 E! r' `

the nth root of the difference of b and c ; ~5 ], L; k! w& p# }

lin x the natural logarithm of x; the Naperian logarithm of x

* a+ |8 \, R; M

log x to the base N

% ~' l5 @+ {7 e# O* R

sigma

& R5 u; @. \; h1 D% s. e Z

b prime

- j7 v1 M" P3 Z+ j

9 T" M C, P% k: c/ A0 U

b double prime

& a8 {6 i1 l' ]) z) M

/ I) n4 C4 _8 U: W T3 i

b triple prime

4 S) N( j* ]% c

b sub m

# D2 X4 u6 [4 w1 ^

$ m0 d" _- w! w7 l# a. `

b double prime sub n

" H' u7 t( Z4 J) p* |# e c; ~

% [: i2 O0 [* G" M0 u5 l! Q/ _

……… dots

π pi . E, _# W) @. }* L

% b* t t9 ?3 P4 m3 E0 ~

0 v8 l& t# m* f1 E) T

α alpha

8 U- i* M. c. K2 b- F% |

β beta

γ,Γ gamma

δΔ delta

ωΩ omega

' I6 L* e% ^5 ~/ M9 w

ξ xi : E, y( l- a; O9 V

# R9 S1 |6 r( Y& G; H O) p

η eta

ζ zeta

- V, S4 ?5 ?& E; L

* y% C0 \* s# @$ h5 z- ~, |" Z

Φ phi % V2 p3 Y, |: x! s

. X1 m# O: j2 b+ J" U

ψΨ psi

3 k2 @0 _9 n8 z2 }+ d$ ?6 ^

χ chi 9 S1 c5 R3 P" p

ρ rho

' p5 h. @- J0 P

τ tau

0 G; I0 B7 x3 \) _

5 h( d# L g' Y( C" `

υ nu 2 j" z* n# c( T$ F/ X

- U4 r% ]7 v. u/ ]2 T; l

μ mu

λ lambda - p) Z7 M2 H5 `- t& N. p1 H( P

& t: v/ n5 }6 ?. @2 y/ B

& N8 \. y& [4 r2 Q, b9 B6 a

κ kappa

5 V4 {; T; X' H* B( M/ p1 o

ε epsilon ) d0 `8 u& S. I) f- A

θ theta * @8 X' }% g3 [/ I6 V: @2 p

∴ therefore - V" N" Z- y7 V8 M; _; h9 r

$ c8 ?+ A; y0 Y. ^0 |; g3 B+ x

6 o- C4 N4 Z3 K7 G

∵ because * p, |6 u% [& d2 v0 X' n

1 F$ N% A5 e2 z% }$ l

$ p) n6 v' O3 @& ^) t

there exist (s) . }8 L: u* ?$ Q, C9 Z4 _$ D3 ]

& G6 L4 Y* n2 F% l- z

for any

4 [. o/ j8 P& Z; s3 h# E

iff if and only if

etc eccetra 9 K1 x, ]& P$ Q2 W/ Q" W; c" h% t; h

e.g. for example

i.e. that is + I R6 W# D- ]- s( j# P4 u

viz. namely

w.r.t. with respect to , d" l+ K6 f& D0 w' G' u$ W' B

8 O# S( Q' M0 ?9 A3 f

0 X( M. r& h) I9 k' ~" c6 v" ^

# @8 d- \2 G3 T) U

hehe123

# g& r9 n( R$ B

- y, N2 _+ `+ ?) _) U: k

) h, t& }% j! r, y9 r z

Vocabulary 8 w5 q) N6 q: n+ w" m) p: c C7 Z

' G6 n9 h& b' j1 T7 H/ B

+ t8 u! b# F' h1 O0 A( H

real number 实数

negative 负的

' _+ h) v A, E7 q

the real number system 实数系

rational number 有理数

k' Z" F o6 H7 C0 j3 R; N9 m+ a$ V) S

collection 集体,总体

5 w! k7 w( l* I5 E! x9 W

ratio 比,比率

object 对象,目的

denominator 分母

* c5 _3 M; a5 W6 m& Z7 @8 u" W

principle 原理,规则

numerator 分子

adopt 采用

- Z) O: P1 p2 p3 @5 o% W9 ]

irrational number 无理数

define 定义(动词)

signify 表示

definition 定义(名词)

geometrical 几何的

9 I/ H2 H' s# N0 O

establish 建立

' `9 k. X# c, u

straight line 直线

( n# L' B# w6 n- ~

explicit 清晰的,明显的

initial point 初始点

* S' i5 i9 I+ h: Q. I4 |, b

illustrate 说明

! L6 I" Z. p% g, U+ N) @: u1 P

point of reference 参考点

, A5 P8 K/ M" T& J6 }/ O1 Q1 t7 J2 h

positive 正的

3 r9 j# M, q: \7 [9 k

origin 原点

# q) E& g* h0 m1 r

express 表达

assign 指定

plus 加

5 d* F0 b' N- j/ o/ ~

unit 单位

sign 记号,符号,正负号

property 性质

- R! M6 a Z4 `( w3 b$ y5 v% y

operation 运算,操作

/ X: H! a0 ^ p/ w

closure property 封闭性质

* z+ D! C% o9 u3 Z9 y

addition 加法

commutative 交换的

multiplication 乘法

associative 结合的

substraction 减法

parentheses 圆括号

6 S- [& p$ {# e

division 除法

" @. d. L8 o3 [$ f( A1 @: n6 m

brackets 括号

* c& ~$ F3 c/ ^8 B& L8 ]3 _

sum 和,总数

algebra 代数

- ^6 }! ~' @7 p, T

procuct 乘积

' J& U+ ~" t; Y! L8 j$ ~

yield 产生

! _5 ?& J l$ v6 t% O/ W

difference 差,差分

& p6 U. X* B$ u. Q: Y

term 术语,项

, C" |+ e& }: [8 `8 v' }+ D

quotient 商

distributive 分配的

symbolism 符号系统

unique 唯一的

: j7 ^0 J0 C. F0 G: V3 g

minus 减

- Y) {* x) }% N; L

additive inverse 加法逆运算

& M8 S8 y7 z9 l0 r' C' E

identify 使同一

multiplicative inverse 乘法逆运算

2 m# r2 j, I4 S2 }) G& \8 O2 x

count 计数

reciprocal 倒数,互逆

, y5 X3 a5 {5 V2 u

natural number 自然数

4 \& t7 Z0 U$ p9 @3 L

concept 概念

zero 零

fraction 分数

integer 整数

arithmetic 算术的

greater than 大于

8 D4 F1 z6 H! ^9 \$ t

solution 解,解法

1 F8 }& A* s7 j2 I0 |

less than 小于

even 偶的

be equal to 等于

odd 奇的

/ Y3 t" @8 U( P' c2 f

arbitrary 任意的

- K! |8 C6 B: t4 k4 T; G6 o

square 平方

absolute value 绝对值

square root 平方根

4 O1 j J" I6 X1 o/ H' B% {2 O, S, B: s

cube 立方

induction 归纳法

; S5 O" C4 ^1 K7 v8 d" ?

hehe123

Note

1. Our working experience with numbers has provided us all with some familiarity with the principles that govern the real-number system.

意思是:我们对数的实际工作经验使我们大家对支配着实数系的各原则早已有了某些熟悉,这里working作”实际工作的”解,govern作”支配”解.

2.The plus sign,”+”, used here not express the operation of addition, but is rather part of the symbolism for the numbers themselves.

' _3 ?9 y2 l0 P0 I7 z! X1 t5 w" J

意思是:这里的正符号”+”不是表示加法运算,而是数本身的符号系统的一部分.

; o9 l R. T1 j5 w& x$ h# u

3. A real number is said to be a rational number if it can be expressed as the ratio of two integers, where the denominator is not zero.

这是定义数学术语的一种形式.下面是另一种定义数学术语的形式.

7 s& B. @# e/ A

A matrix is called a square matrix if the number of its rows equals the number of its columns.

这里is called与is said to be 可以互用,注意is called后面一般不加to be而is said后面一般要加.

4. A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.

T3 ]! I8 e4 m+ C& s

与注3比较,这里用定语从句界定术语.

5. There is a unique real number, called zero and denoted by 0, with the property that a+0=0+a, where a is any real number.

( Z8 |) ~4 j/ U9 j

意思是:存在唯一的一个实数,叫做零并记为0,具有性质a+0=0+a,这里(其中)a是任一实数.

& e) f5 H0 I# U4 r& p: a

1) 这里called和denoted都是过去分词,与后面的词组成分词短语,修饰number.

+ l8 h9 j7 ^8 G# I

2) with the property是前置短语,修饰number.

+ B) x5 r) r" Z

3) 注意本句和注3.中where的用法,一般当需要附加说明句子中某一对象时可用此结构.

1 |' ~- Y$ f$ h' U& d6 D# n0 ]

2 F* R, O7 n) }* T+ j9 s

hehe123

Exercise

I. Turn the following arithmetic expressions into English:

i) 3+(-2)=1 ii) 2+3(-4)=-10

iii) = -5 iv) =3

v)2/5-1/6=7/30

II. Fill in each blank the missing mathematical term to mark the following sentences complete.

i) The of two real numbers of unlike signs is negative.

ii) An integer n is called if n=2m for some integer m.

iii) An solution to the equation xⁿ=c is called the n is of c.

iv) If x is a real number, then the of x is a nonnegative real number denoted by |x| and defined as follows

x, if x 0

|x|= -x, if x <0

III. Translate the following exercises into Chinese:

i) If x is an arbitrary real number, prove that there is exactly one integer n such that x<n<x+1.

ii) Prove that there is no rational number whose square in 2.

iii) Given positive real numbers a1,a2,a3,…such that an<ca_n-1 for all n>2, where c is a fixed positive number, use induction to prove that an<c^n-1a₁, for all n>1.

iv) Determine all positive integers n for which 2ⁿ<n!

Ⅳ Translate the following passage into Chinese:

There are many ways to introduce the real number system. One popular method is to begin with the positive integers 1,2,3,…and use them as building blocks to construct a more comprehensive system having the properties desired. Briefly, the idea of this method is to take the positive integers as undefined concepts, state some axioms concerning them, and them use the positive integers to build a larger system consisting of the positive rational numbers. The positive irrational numbers, in turn, may then be used as basis for constructing the positive irrational numbers. The final step is the introduction of the negative numbers and zero. The most difficult part of the whole process is the transition from the rational numbers to the irrational num

* H7 l8 D* ?: q9 @0 Z- N

Ⅴ. Translate the following theorems into English:

1. 定理A: 每一非负数有唯一一个非负平方根.

2. 定理B: 若x>0, y是任意一实数,则存在一正整数n使得nx > y.

Ⅵ. 1. Try to show the structure of the set of real numbers graphically.

2. List and state the laws that operations of addition and multiplication of real numbers obey.

hehe123

数学专业英语－Basic Concepts of the Theory of Sets 4 I# `1 A9 {7 d0 s ; _' |! I' E4 V& S" r2 n

5 B( }! M( `7 m" y& b

In discussing any branch of mathematics, be it analysis, algebra, or geometry, it is helpful to use the notation and terminology of set theory. This subject, which was developed by Boole and Cantor in the latter part of the 19^th century, has had a profound influence on the development of mathematics in the 20^th century. It has unified many seemingly disconnected ideas and has helped to reduce many mathematical concepts to their logical foundations in an elegant and systematic way. A thorough treatment of theory of sets would require a lengthy discussion which we regard as outside the scope of this book. Fortunately, the basic noticns are few in number, and it is possible to develop a working knowledge of the methods and ideas of set theory through an informal discussion . Actually, we shall discuss not so much a new theory as an agreement about the precise terminology that we wish to apply to more or less familiar ideas.

5 F# j% v( @& E- s( v/ ? |

In mathematics, the word “set” is used to represent a collection of objects viewed as a single entity

$ q" Y4 W" \, M7 J# R& w

The collections called to mind by such nouns as “flock”, “tribe”, ‘crowd”, “team’, are all examples of sets, The individual objects in the collection are called elements or members of the set, and they are said to belong to or to be contained in the set. The set in turn ,is said to contain or be composed of its elements.

. C* H4 ]# f& _/ R

We shall be interested primarily in sets of mathematical objects: sets of numbers, sets of curves, sets of geometric figures, and so on. In many applications it is convenient to deal with sets in which nothing special is assumed about the nature of the individual objects in the collection. These are called abstract sets. Abstract set theory has been developed to deal with such collections of arbitrary objects, and from this generality the theory derives its power.

NOTATIONS. Sets usually are denoted by capital letters: A,B,C,….X,Y,Z ; elements are designated by lower-case letters: a, b, c,….x, y, z. We use the special notation

X∈S

& \' c) r# g8 c% I1 k5 k

To mean that “x is an element of S “or” x belongs to S”. If x does not belong to S, we write x∈S. When convenient ,we shall designate sets by displaying the elements in braces; for example ，the set of positive even integers less than 10 is denoted by the symbol{2,4,6,8}whereas the set of all positive even integers is displayed as {2,4,6,…},the dots taking the place of “and so on”.

) r+ F4 `' h( Z5 L, l) f' G

The first basic concept that relates one set to another is equality of sets:

DEFINITION OF SET EQUALITY Two sets A and B are said to be equal(or identical)if they consist of exactly the same elements, in which case we write A=B. If one of the sets contains an element not in the other ,we say the sets are unequal and we write A≠B.

SUBSETS. From a given set S we may form new sets, called subsets of S. For example, the set consisting of those positive integers less than 10 which are divisible by 4(the set{4,8})is a subset of the set of all even integers less than 10.In general, we have the following definition.

0 t7 d( {. F: t( d+ j1 q: `

DEFINITION OF A SUBSET.A set A is said to be a subset of a set B, and we write

A B

4 p r- ?, e1 Y

Whenever every element of A also belongs to B. We also say that A is contained in B or B contains A. The relation is referred to as set inclusion.

. u1 u+ X8 }: ?5 Q1 K

The statement A B does not rule out the possibility that B A. In fact, we may have both A B and B A, but this happens only if A and B have the same elements. In other words, A=B if and only if A B and B A .

This theorem is an immediate consequence of the foregoing definitions of equality and inclusion. If A B but A≠B, then we say that A is a proper subset of B: we indicate this by writing A B.

In all our applications of set theory, we have a fixed set S given in advance, and we are concerned only with subsets of this given set. The underlying set S may vary from one application to another; it will be referred to as the universal set of each particular discourse.

7 `: p) x4 Z# s

The notation

{X∣X∈S. and X satisfies P}

; h1 L$ S: X! n- J C1 \/ f+ A

will designate the set of all elements X in S which satisfy the property P. When the universal set to which we are referring id understood, we omit the reference to S and we simply write{X∣X satisfies P}.This is read “the set of all x such that x satisfies p.” Sets designated in this way are said to be described by a defining property For example, the set of all positive real numbers could be designated as {X∣X>0};the universal set S in this case is understood to be the set of all real numbers. Of course, the letter x is a dummy and may be replaced by any other convenient symbol. Thus we may write

- L% g2 \, t* I2 j3 O

{x∣x>0}={y∣y>0}={t∣t>0}

and so on .

- R! N. O) p( Q+ d: r

It is possible for a set to contain no elements whatever. This set is called the empty set or the void set, and will be denoted by the symbolφ.We will consider φto be a subset of every set. Some people find it helpful to think of a set as analogous to a container(such as a bag or a box)containing certain objects, its elements. The empty set is then analogous to an empty container.

% z. V& A9 C/ X2 d6 m! M1 u

To avoid logical difficulties, we must distinguish between the element x and the set {x} whose only element is x ,(A box with a hat in it is conceptually distinct from the hat itself.)In particular, the empty setφis not the same as the set {φ}.In fact, the empty set φcontains no elements whereas the set {φ} has one element φ(A box which contains an empty box is not empty).Sets consisting of exactly one element are sometimes called one-element sets.

y x& S7 `! |# s

UNIONS,INTERSECTIONS, COMPLEMENTS. From two given sets A and B, we can form a new set called the union of A and B. This new set is denoted by the symbol

# b' W ?% V/ R8 [( j/ T* u/ m

A∪B(read: “A union B”)

! z4 f4 t- ?7 X, R

And is defined as the set of those elements which are in A, in B, or in both. That is to say, A∪B is the set of all elements which belong to at least one of the sets A,B.

' E! G! B/ k# r3 ?! B

Similarly, the intersection of A and B, denoted by

Z% t6 v; `1 X: x" V

A∩B(read: “A intersection B”)

C5 e* I7 T9 c

Is defined as the set of those elements common to both A and B. Two sets A and B are said to be disjoint if A∩B=φ.

If A and B are sets, the difference A-B (also called the complement of B relative to A)is defined to be the set of all elements of A which are not in B. Thus, by definition,

8 q, V! g1 `! F. o0 B8 D% Z3 ^

A- B={X|X∈A and X B}

The operations of union and intersection have many formal similarities with (as well as differences from) ordinary addition and multiplications of union and intersection, it follows that A∪B=B∪A and A∩B=B∩A. That is to say, union and intersection are commutative operations. The definitions are also phrased in such a way that the operations are associative:

(A∪B)∪C=A∪(B∪C)and(A∩B)∩C=A=∩(B∩C).

The operations of union and intersection can be extended to finite or infinite collections of sets.

4 s, x. R1 H; O% Z, f

( X" g) n: M0 h5 g

hehe123

Vocabulary

Set 集合 proper subset 真子集

Set theory 集合论 universal set 泛集

Branch 分支 empty set空集

Analysis 分析 void set 空集

Geometry 几何学 union 并，并集

Notation 记号，记法 intersection交，交集

Terminology 术语，名词表 complement余，余集

Logic 逻辑 relative to相对于

Logical 逻辑的 finite有限的

Systematic 系统的 disjoint不相交

Informal 非正式的 infinite无限的

Formal正式的 cardinal number基数，纯数

Entity 实在物 ordinal number序数

Element 元素 generality一般性，通性

Abstract set 抽象集 subset子集

Designate 指定， divisible可除的

Notion 概念 set inclusion 集的包含

Braces 大括号 immediate consequence直接结果

Identical 恒同的，恒等的

hehe123

Notes 5 f5 Y G7 V9 i

1. In discussing any branch of mathematics, be it analysis, algebra, or geometry, it is helpful to use the notation and terminology of set theory.

意思是：在讨论数学的任何分支时，无论是分析，代数或分析，利用集合论的记号和术语是有帮助的。

这一句中be it analysis, algebra, or geometry 是以be开头的状语从句，用倒装形式。类似的句子还有：

people will use the tools in further investigations, be it in mathematic, hysics , or what have you .

2. Actually, we shall discuss not so much a new theory as an agreement about the precise terminology that we wish to more or less familiar ideas.

意思是：事实上，我恩将讨论的与其说是一种新理论，不如说是关于精确术语的一种约定，我们希望将它们应用到或多或少熟悉的思想上去。

注意：not so much A as B 在这里解释为“与其说A不如说B。”类似的用法如：

This is not so much a lecture as a friendly chat.

(与其说这是演讲不如说是朋友间的交谈。)

3．Two sets A and B are said to be equal if they consist of exactly the same elements, in which case we write A=B.

数学上常常在给定了定义后，就 用符号来表达。上面句子是常见句型。类似的表达法有：

A set A is said to be a subset of a set B, and we write A=B whenever every element of A also belongs to B.

This set is called the empty set or the void set, and will be denoted by the symbol Φ.