(How to define a mathematical term?)% V$ z; `' ^ s' T, y& ^0 u1 B
1.- s: Y8 t) x" }" y
Something is defined as something. 0 s, }) M4 l/ B
Something is called something. f' w0 r" \, b3 h0 m9 q
例如: The union of A and B is defined as the set of those elements which are in A, in B or in both. 4 ~. u4 B' r6 B' e+ E9 I+ }
The mapping ,is called a Mobius transformation. 2.. E h# D* o( W; ^0 d
Something is defined to be something (or adjective) % A$ T1 l. A" ?7 n) N8 ]- A t
Something is said to be something (or adjective)
- W, o2 C/ A1 j- M- x9 b0 Q例如:
$ F" } ]. P" x- a) u, e" a
The difference A-B is defined to be the set of all elements of A which are not in B. % N8 q) S2 @" b9 O$ f! U
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number. 5 l; k0 J" a/ d
Real numbers which are greater than zero are said to be positive.
+ g- N$ W$ ]+ K$ ~; H; Y( r
3." H# n' H/ O" c3 y
We define something to be something.
9 x$ Y6 j- M* v. J& YWe call something to be something.
; C0 _: g2 T3 u9 p$ w& M
例如: We define the intersection of A and B to be the set of those elements common to both A and B.
' {. V7 c, ?: D. l/ EWe call real numbers that are less than zero to be negative numbers.
4.8 _8 u( R9 c9 o# y- D4 |$ ]' o- v" C
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: + u9 @6 t: V7 P! f
Let…, Then … is called …
, i/ L0 g! F( T0 qLet…, Then … is said to be …
Let…, Then … is defined as … Let…, Then … is defined to be … Let x=(x1, x2, … xn) be an n-tuple of real numbers. Then the set of all such n-tuples is defined as the Euclidean n-space Rn .
) J* P* ~* r, t5 j/ r( B6 y
# H( u. p' ?7 y x G# K. b c% YLet d(x,y) denote the distance between two points x and y of a set A. Then the number
is called the diameter of A. % _- h( y; \+ J% {, u7 d! A
5. 如果被定义术语,需要满足某些条件,则可用如下形式: ) g) N5 e' F; e( e; H. i' U
If …, then …is called …
3 D" a4 g) d& H/ Z+ T+ S8 P$ u
2 p5 T+ r4 k' t6 h, h6 f4 g+ eIf …, then …is said to be …
) v! F) }/ U# tIf …, then …is defined as …
( r' Y" d8 d- R% ^
If …, then … is defined to be … 7 }6 D6 \4 B+ C1 |, g6 v6 _; O
If the number of rows of a matrix A equals the number of its columns, then A
# {0 h! D/ }2 w5 k, _/ Sis called a square matrix. : k8 B/ o" K. \* ?! H4 f
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D. , V- b( v$ Y$ }: D' \ j8 \. d7 E
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: & \" r& I! F2 q: ^" f8 P% N; W
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be … 9 a& ]9 S3 z* `: y3 u
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with
4 E# |, ]0 y" t, C5 l9 E! Cz1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D.
; c! p# X" Q$ a" d v) b* @
7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式: & Q0 p9 i7 e. {; T' F" M
Let …and suppose(or assume) …. If … then…is called… 2 X, ^3 {/ e b1 o% C& L
Let D be a domain and suppose that f(z) is analytic in D. If for every pair of points z1 and z2 in D with# L8 v, E4 _+ X! q
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |