数学专业英语－(a) How to define a mathematical term?

hehe123

数学专业英语－(a) How to define a mathematical term?

7 g! L8 m& L( M4 R2 w4 F

% \" Q4 k% j9 I4 l

数学术语的定义和数学定理的叙述，其基本格式可归纳为似“if…then…”的格式，其他的格式一般地说可视为这一格式的延伸或变形。 4 z$ T" v7 l; Q2 u2 ~; H% q" ^ ' C7 M: g k! F2 D N2 V; n

9 Y/ @, c. l* H4 Z# h+ B

如果一定语短语或定语从句，以界定被定义的词，所得定义表面上看虽不是“If……then……”的句型，而实际上是用“定语部分”代替了“If”句，因此我们可以把“定语部分”写成If句，从而又回到“If……then……”的句型。 . t3 S0 Z8 f+ {! x* s" l; x7 A

至于下面将要叙述的“Let…if…then”，“Let and assume…, If…then…”等句型，其实质也是基本句型“If……then……”的延伸。 2 _4 W$ x' } v2 D' C5 W

; ^, W7 v6 l0 E: I4 g

有时，在定义或定理中，需要附加说明某些成份，我们还可在“if…then…”句中插入如“where…”等的句子，加以延伸（见后面例子）。 " [& x9 V, _ T5 u0 M

/ K+ \ T4 }) I7 b G; s( i& ^$ r

总之，绝大部分（如果不是全部的话）数学术语的定义和定理的叙述均可采用本附录中各种格式之。 ! |% T6 O2 H* t9 @

# k& m9 U" A# p: z* ^

], }. Q5 X4 c x. e2 C' V0 t

（a）How to define a mathematical term?

: i5 k8 i! ~+ b8 {% Z

* H1 @ i9 c5 z3 y" R/ K

2 ~ f1 N }( { is defined as # M$ y o# ?' _9 \ is called - W4 \5 Q6 v% N4 G! t. K: t3 H

1. Something something

+ N5 b# |. M/ R

$ C# g T0 [3 D2 q. R& Y- p2 L

* R, W4 X$ V B* m t: N( b

{! ]) a6 W2 r

The union of A and B is defined as the set of those elements which are in A, in B or in both. : S8 ^+ A i9 |6 w+ t% F& h. m

8 Z+ D6 l) J I/ P9 \# A

The mapping , ad-bc 0, is called a Mobius transformation.

9 G7 p0 T/ V& p1 s( U' Q

is defined to be - H) x: z# _9 D2 \; y6 f' d 6 F) q+ Z* [! o, m5 y C8 \( H 0 V6 v" h' n5 T$ b+ B2 A is said to be , K4 @9 v7 X* b/ X3 V) f

2. Something something(or adjective)

6 w! x" [( z7 V. Y# A: Z

' E# y" z- [- F2 J1 T# @

$ S' ~# K8 P# n

- r8 b5 F9 a9 I/ `& F8 F, s

The difference A-B is defined to be the set of all elements of A which are not in B.

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

Real numbers which are greater than zero are said to be positive. 4 V8 B6 q, k' D/ w J# S( \( o

! Q( O1 F3 v- q5 {& S

2 X9 z$ u. \" E7 ]

# ^" T) S" Z1 u! D( ]9 N Z, X& |

; N/ m" ?% _' a define call & j# T' C7 _9 ]" F/ C! @& m- O+ f

- D9 r- s7 y" q9 f! |

3. We something to be something.

5 F" V! T4 k5 J' S* \

0 X4 q: s9 }! f! o

We define the intersection of A and B to be the set of those elements common to both A and B.

- v$ [: b$ V$ e8 D3 [: a+ O

We call real numbers that are less than zero (to be) negative numbers.

; c5 I- q7 }7 A" _) d

4. 如果在定义某一术语之前，需要事先交代某些东西（前提），可用如下形式： " O5 O( V6 D3 f" h5 m, a/ A1 C* Y5 @

6 D# c$ f# L2 [1 g

$ ]8 n1 z7 j7 k

# v7 m8 f) h* i1 x9 p/ w! h% q

is called 9 O% Q/ l+ P5 r ' V6 ]; B( R3 N 0 c' Q4 [3 \4 h2 j3 J is said to be : ] t4 i2 j/ }* Q 0 E$ T8 C% E- @& o1 r* j0 ~ is defined as 1 C5 i, _! t, G: a6 L) }$ h5 m % c: t9 V" I6 ^3 ]8 C0 m is defined to be

Let…, then… 7 u4 \$ d6 X% Z3 {. X

, F+ ^0 C. Y5 b8 g, Z

( U* X- d- R: M$ k: v# e; j' g

: Y$ b m' Z3 g+ H. ~8 p4 A

0 F' o4 Y4 P; q3 F! o4 k* ^

6 J2 x4 R* A( |1 Z# }( A/ {

8 Z( P b4 ^ ?9 n5 |; H! [6 Z

8 z2 @4 U3 G9 j8 b! s$ H

Let x=( ) be an n-tuple of real numbers. Then the set of all such n-tuples is defined as the Euclidean n-space R. 0 K K3 S2 E4 W3 J4 C+ }" \

/ b6 m" H! D& \2 F$ E* ~4 R

Let d(x,y) denote the distance between two points x and y of a set A. Then the number

7 R, e# J- ?; a: N0 M2 x# }# v

; O) g5 s6 q+ |. ~" t* E

D=

" \+ ~0 c: D% p |) h$ I

is called the diameter of A. 5 g: [+ I: g9 Q

% R" K0 X0 s6 X! ~

5．如果被定义术语，需要满足某些条件，则可用如下形式：

' {0 }" g0 {2 L! F3 L1 a

( b4 k+ J. l+ j# U6 S: e& b% w2 A% ^% [0 Q$ S% V

is called ! @1 u$ K) N, ]4 _ 6 n' r/ X: a, V( k+ H is said to be ( w/ l! w) i4 V4 O# t$ }& ^ is defined as is defined to be ! v; G3 f, x6 S( F4 I+ e; j 2 o1 v& r& {4 w

If…, then…

* E+ e' B( M( z( z# h

; o0 q, ?8 j" R6 \

( V: a2 d0 @( V

. D2 r2 {% l; y6 ]1 h; ~) Z8 U

% ?+ D0 k8 a3 p+ o4 @1 I" }& _3 Q* E

If the number of rows of a matrix A equals the number of its columns, then A is called a square matrix.

If a function f is differentiable at every point of a domain D, then it is said to be analytic in D.

! n2 ^- ]' G; ]$ K; a1 E' a

9 I, B1 P( U* B& B

6.如果需要说明被定义术语应在什么前提下，满足什么条件，则可用下面形式： - R3 f% e+ R9 p8 k

" q4 ]" f! i* g! X6 l2 W8 l0 v% w

3 j9 M2 D+ r2 k& L5 @ f

4 K8 B1 J9 k- q9 F1 I! o( t) ~! O Q% q5 b- Z& e3 ` a

9 k! k9 K) f. `; ] is called 4 i/ C3 ^2 B+ _& W0 z" S5 u is said to be

Let Suppose

…. If…then… … " v p0 O) W& N9 L* E) _

( ?+ B# k; ^9 [' d, w! E3 \$ t

. F _3 z+ H/ g0 Z

& `+ Z9 R2 z: ~8 d: b

$ E {( ]+ F: q) d4 Q( q; l

1 y3 S. Q, i: J* L, D

! k! y2 B* q- x% o) k

Let f(z) be an analytic function defined on a domain D (前提条件). If for every pair or points , and in D with , we have f( ) f( ) (直接条件)，then f(z) is called a schlicht function or is said to be schlicht in D.

. Q/ \, G0 b c: F) g

T2 A, P2 X& x. [, Q

2 I; c; k8 y* b( S. ^2 C" q u

hehe123

7. 如果被定义术语需要满足几个条件（大前提，小前提，直接条件）则可用如下形式：

suppose assume

Let…and …. If…then…is called…

Let D be a domain and suppose that f(z) is analytic in D. If for every pair of points and in D with , we have f( ) f( ), then f(z) is called a schlicht function.

Notes:

(a) 一种形式往往可写成另一种形式。

Let{ }be a sequence of sets. If for all n, then{ }is called an ascending or a non-decreasing sequence.

我们可用一定语短语来代替“If”句，使其变为“Let……then”句

Let{ }be a sequence of sets with for all n, then{ }is called an ascending or a non-decreasing sequence.

(b) 注意“Let”，“suppose”（“assume”），“if”的使用次序，一般来说，前面的可用后面的替换，但后面的用前面的替换就不好了，如上面句子可改写为：

Suppose{ }is a sequence of sets. If , then{ }is called an ascending sequence.

Let{ }be a sequence of sets and suppose that then{ }is called an ascending sequence.

但下面的句子是错误的（至少是不好的句子）；

If{ }is a sequence of sets, and let , then{ }is called an ascending sequence.

(c) 在定义一些术语后，往往需要用符号来表达，或者需要对句中某些成份作附加说明，这时我们需要把定义句扩充，扩充的办法是在定义的原有结构中，插入一个由连接词引导的句子，这类连接词或短语经常是“and”，“where”，“in this (that) case”…请参看PARTIA第一课注1和第二课注4、5、6。

If every element of a set A also belongs to another set B, then A is said to be the subset of B, and we write

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

(d) 在定义中，“if”句是关键句，且往往比较复杂，要特别注意在一些定义中，“if”句又有它自己的表达格式，读者对这类句子的结构也要掌握，下面我们以函数极限定义中的“if”句的结构作为例子加以说明：

If for every ＞0, there is (there exists) a ＞0, such that ＜ whenever 0＜ ＜ , then we say f(x) has a limit A at the point a.

上面是函数极限的定义，其中的“if”句是它的典型结构，凡与极限相关的概念，如连续，收敛，一致连续，一致收敛等定义均有类似结构。例：

A sequence of functions { } is said to have the Cauchy property uniformly on a set E if for any ＞0, there is an N such that ＜ whenever n,m＞N.

当然，极限定义还有其他表达形式但基本结构是一样的，只不过对句中某些部分用等价的语法结构互作替换而已。

下面是函数极限定义中“if”句的另一些表达式，读者可把这些句子和原来的句子作比较。

If, given any ＞0, there exists a ＞0, such that ＜ whenever (if,for) 0＜ ＜ ,…

If, corresponding to any ＞0, a ＞0 can be found such that ＜ whenever 0＜ ＜ ,…

If, for every ＞0,there is a ＞0, such that 0＜ ＜ implies ＜ .

hehe123

数学专业英语－（b）How to state a theorem? 4 j$ K0 K% b6 d7 {) W

% k6 G& J- `2 A' R+ }

' V k/ |# c6 L6 v" t" _

6 @2 Q4 N" l1 ]" F1 |

定理叙述的格式，基本上与数学术语的定义一样，只不过在术语的定义中，“then”句有比较固定的格式，而定理的“then”句则随其结果而变吧了。 % G2 o9 Y& [& T& p5 K / q: v+ e5 a% ?! [5 \3 _8 a& F- {" E 8 N* P# A# }5 @8 W

1．某些定理可用简单句叙述。 / O: c) g. i, v h) j' ?

The union of a finite number of closed sets is still a closed set. ) [- [' c$ g; { A

* |1 k& M- W. r: H+ [

The space (E,f) is complete. 8 z7 q1 c4 P! V& x$ y: a0 d- g

7 W, g ~8 v3 ~% \: D

2. 如果定理的结论是在一定前提下得到的，则可用下面形式： - r& ?: l$ ]# V

7 B' _( c% C) z

“Suppose…Then…”or“Let….Then…” 2 ~1 `* S0 Y5 v5 W

# N) b r( G l0 ]

Let f(x) be a continuous function defined on[a,b]. Then f(x) attains its maximum and minimum on [a,b].

Suppose that f(z) is analytic in a simply connected domain D, then for any closed simple curve C lying within D, we have ) I" x; `' M" o

- x& g8 ^" H: p7 T6 q+ ]3 P

" n1 g% {3 N# ~# L! j/ n

% Y4 i! b3 D8 f

( Q6 d E e/ I. k

# ?/ {, @, v3 N$ C& Q3 h) ~

3. 如果定理的结论在一定假设条件下成立，则可用下面的形式 7 S$ [0 h6 A* V% o

" F# k# R3 J7 f- i8 A* A% e; L

“If…, then…” 0 {, y' t3 r O& M/ a. P

/ r1 g; X# A ]# z

If P(z) is a non-constant polynomial then there is a complex number c with P(c)=0

& N0 {2 w. G7 m# D8 t0 w6 V

4. 如果定理的结论除了在一定条件下，还需在一定前提下才成立，这时可用如下形式 5 b, R' |" @% o

- q# o: }; b9 h: c: T- M& b. Q

“Let…. If…,then…”or

) w9 {4 R9 X" M" }! X; V

“Suppose…. If…,then…” 2 m/ g+ K* K4 a! p. R( J, Q

Let , , , be four distinct points. If all these four points lie on a circle, then the cross-ratio( , , , ) is real. - q- h; E# a) G* `* f# }* n

5. 如果定理的结论在不同层次的几种条件下面成立，可用如下形式：

“Let…, and assume….If…then…”

! |- S4 |8 f) F( U9 L! Z- O

Let f(x) be defined on open interval I, and assume that f(x) has a relative maximum or a relative minimum at an interior point c of I. If the derivative f’(c) exists, then f’(c)=0. ' @# u# b2 U+ {7 c5 V

. N; T, n$ T) \% j

hehe123

数学专业英语－（c）How to write an abstract?

% Y5 ~$ W3 Q; {) C8 C% `

论文摘要的写法不像数学术语的定义和数学定理的叙述那样。有一定的格式可循，但对于初学者来说仍有一些常见的句子可加以摹仿。现略举一些这样的句子，并附上一些论文摘要作为例子，供读者参考。需要指出的是，我们这里所举的例句对普遍的文章均适合，比较抽象，具体的论文摘要除了可用上下面某些句子外，必须有具体内容，更确切地说摘要中要包括一些 key words 以说明该文涉及的内容，但一般不要在摘要中引用文献。 ) M2 L# d% |8 Z" W z1 |, R1 [! F* c' e7 Z6 ]. s

1．开门见山，说明文章内容，可用下面的句子起句： ! `, G* z: q/ H8 S2 S

# x: ]4 x e7 Q# {' v% W* [: a

0 S# G. U! g. W( F; f

/ a T. e3 m* [8 \

0 F9 A" @: |) ~ prove show present develop generalize 7 g7 z5 l/ y! N5 I$ \& t$ I investigate $ m! R, o* m. [; ]4 o l8 C& r/ V: T

% |0 n6 y" u! X% U# g9 A( q! X) ^; K% q8 K

* V, R4 E3 J" l( I( D) d 3 a$ K/ u" X5 p; L paper note

9 l; ?7 f* ]( [) F% p9 X2 ~/ i, S; J1 [/ `( k, G3 J1 ]( L9 S

( i! y5 z8 n8 L8 q aim object 1 K* l2 O; M8 g8 { purpose

The of this is to … ; Y5 `$ @5 {6 o7 @/ ?. t. N$ j5 l2 p- P

2 X9 l; E0 ^3 a; p$ x

& r+ {6 H4 y8 J4 U

: @" W6 S9 Y( {8 Y0 m8 y

1 k, `+ n$ J9 D. Q

- I- T% Y+ S; C) V0 N

" o3 `! P0 f8 v+ M6 g, Y3 R+ d. w7 r1 e7 V( H7 \/ v

- R5 l" l5 s& r( @! N3 V+ w1 O prove + T7 D! ~/ u8 i# D; S show $ M- T$ c; a: t7 e: N% Z present develop generalize 5 ?, C! Y7 a5 q7 g investigate

It is the purpose of this paper to … ( q: h9 n( C' z2 h8 j3 F' }3 K

6 T! v& s( m; W5 r1 y, l6 T

) i% t$ ?5 G! J% K+ {& r

, a+ m% @, [% f

- l# l( @0 @2 d k/ U4 S

" K2 e/ r2 S! g

7 n# v2 R9 k/ ?) d. O

/ v9 t# G6 r' P8 b! B5 @

" \& E _: e# l) U9 `- ~/ u ^4 Y, V

, D" @6 z+ l: Y0 y is concerned * U& L. T" m( G4 ^4 R0 O; z# |% K3 { deals

This paper with… / i& _2 ?, r$ i- D5 T7 `4 w6 _

[0 p# B( x/ ^6 c" L& _

, b! o/ j# z7 f# Y

. B0 a; W/ J& d

% T ]9 L- [% A. N0 G' z

5 M/ v8 e# o& c: x& D0 u7 b

# d# F0 E7 y6 Q% u7 S2 C5 H prove present propose to show

In this paper we … . R) l2 [; ]! f0 Z

9 T; S) g1 B5 W9 V. V {3 |! N

6 }# W( D* y4 L A. J

, d, N- g' P- M: N- b+ D6 A! ~

( y' V9 @7 L2 m: A/ D: }4 K/ _: [- Y

/ g. i2 W, P t3 `/ f! n

2.如果需要简略回顾历史，然后再说明自己文章的内容，则可参考采用下面句子。

! H, H- F4 E+ u

1 ^1 Y6 d! I! p' P ?5 M0 D

The problem…was first treated by…and later…improved by…The purpose of this paper is to prove that it holds in a more general case.

…first raised the problem which was later partly solved by…We now solve this problem in the case of …

( r( u1 `" g7 a

3.如果文章推广了别人的结果，或减弱了别人结果中的条件，则可参考采用下面句子：

7 f! j* k" a( a3 s+ |! v- d

, q7 C+ h0 ~- V5 H i1 f: |! N

The purpose of this paper is to generalize the results obtained by…to a more general case,i.e.,… 9 N8 ?% g! t! J- V6 y9 ]0 R5 o

) _& e3 e3 A7 ^

( h4 x# h9 z q; T5 l

In this paper we shall prove several theorems which are generalizations to the results given by… & [5 |' f4 _3 a0 m% ]

/ Z S, m+ Z3 _6 e5 L# u

This paper intends to remove some unnecessary assumptions (e.g., regularity) from the paper on… ( S) [6 M# Q& F! V

0 v5 u* l1 [) l) n: @

This paper deals with generalizations of the following problem…

9 y( x+ ]3 i. K, p3 M

This paper improves the result of…on…by weakening the conditions…

" A0 Z) X/ ]. @. l0 }

例：

! I8 V* U& ]. X" M5 M( d$ b; @

$ t; O4 w# z* b3 W& l. W" u

It is the purpose of the present paper to point out that certain basic aspects of information-processing systems possess dynamical analogy, and to show that these analogies can be exploited to obtain deeper insights into the behavior of complex systems.

8 c. d( \5 a# j8 C& m

We present a general comparision principle for systems of boundary value problems and employ this result for proving existence and uniqueness of solutions, stability and existence of periodic solutions for non-linear boundary value problems. 5 l6 ?; O K0 C! _5 t0 J

We proved a theorem for generalized non-expansive mappings in locally convex spaces and extend the results of Kirk and Kaun. We also obtain a theorem which generalizes the results of Brouder. & I( {0 S+ f ~

This paper is concerned with the existence of multiple solutions of boundary problems for the non-linear differential equation of the form…. 3 Z9 G- z( ?8 y# u

This paper is concerned with the question of local uniqueness of solutions of Cauchy Problem for elliptic partial differential equations with characteristics of multiplicity not greater than 2. 0 b& u. K' R4 V' G& S/ G

The object of this paper is to investigate the behavior at the boundary of solutions to the uniformly semi-linear equation…

* |0 b1 F: C/ L$ P; s

The aim of this paper is to try to minimize the functional

8 I- h/ k' M3 X' w! ]1 S) j" [; l1 H

; q: K0 T3 S- Y) o

over the class of all absolutely continuous functions f(x) which satisfy the boundary conditions f( )= ,f( )= . , _$ I7 x8 f* B

风月晴

顶一下

布赖

尽管我还没写过英语论文，但还是十分感谢你

satre

参加MCM比赛就可以有锻炼的机会了!

rankvic

我不懂英语

summit001

对学习数学专业英语还是有一定的用处的.

谢了~!!

[em01][em01]

hxo1202

顶！