(How to define a mathematical term?); v8 V& Y9 `* l! K8 f* ~# m
: R, T9 a/ g# ~6 N5 U' |) b
1.
+ r% A4 f8 V0 s, b3 u& eSomething is defined as something. $ K/ o8 V7 _: e+ D0 f0 A7 \6 w& `: A
Something is called something. The union of A and B is defined as the set of those elements which are in A, in B or in both. 8 n2 J8 m" I) m W# ?
The mapping ,is called a Mobius transformation. " ~ G3 h+ b6 k. E! `/ ]+ x
2.# R2 d( T) `$ c: ^3 F8 j
Something is defined to be something (or adjective) : D3 S7 D7 k( Y- u& a
Something is said to be something (or adjective)
1 v/ Z% q3 O! S5 b$ ]6 y" ^例如:
; j! _8 p( E) lThe difference A-B is defined to be the set of all elements of A which are not in B.
0 K6 [: o+ G7 a; D
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
& O5 w4 j" W* J0 A" fReal numbers which are greater than zero are said to be positive.
7 a ]) `7 C- g3 ^) S l( m/ ]. \
3.
5 u6 x. w. W5 Z$ F/ p6 x9 S/ sWe define something to be something.
s; M l2 L5 }2 N. A+ j* E. ~We call something to be something.
We define the intersection of A and B to be the set of those elements common to both A and B.
6 \1 o3 f$ W3 ZWe call real numbers that are less than zero to be negative numbers.
4 d( `5 [! q" }/ x. k' Z C% K( |
4.
4 o0 @* H0 }* g1 O, n如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: , n* F1 X3 k( V, n& @$ q* k d
Let…, Then … is called … ! |* u( R+ | u, l
Let…, 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 .
5 w- h, J! d* D& c3 q! [) v
; X. u. m K% o5 X, jLet 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. 5. 如果被定义术语,需要满足某些条件,则可用如下形式:
- Q0 D% R/ @0 m# q% D% P |* WIf …, then …is called …
3 d, f" m* Y2 e- d5 T, Z5 V2 ~) D; j+ N+ ~
If …, then …is said to be …
) k6 i) W4 ^2 Z0 bIf …, then …is defined as …
9 r) \' r; t* A' v/ g
If …, then … is defined to be … 2 D' d1 f2 X6 m
If the number of rows of a matrix A equals the number of its columns, then A" H0 y0 u4 ~4 X" g
is called a square matrix. ! P0 s0 R; [5 V# Q G* K
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D. 5 d0 a0 r, k8 h) H0 F5 B, I
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式:
) h0 v4 {# J- Y# e# J/ b i5 cLet(or Suppose) …. If …, then … is called …
Let(or Suppose) …. If …, then … is said to be … 1 p4 `- |; i e+ O. r" b% H
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with* P9 A3 _/ ^4 O0 Y* g
z1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D. 7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
- ]/ k5 O4 d- U; HLet …and suppose(or assume) …. If … then…is called…
! P. e2 i2 z5 i3 i1 k
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
" o; L* M( @" K$ bz1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |