(How to define a mathematical term?)" S! I ?5 E( T3 B: l+ o
1 x$ l4 S! f8 \3 p) `4 I y& p
' g# O. s0 K3 e3 A; `( z! R9 `0 M
1.* u& e( w* @/ M8 t
Something is defined as something.
/ X1 i- @* o( W+ `7 ^/ l- KSomething is called something.
) x, D, _9 n+ |. |9 i
例如: The union of A and B is defined as the set of those elements which are in A, in B or in both.
8 w# p" i1 K1 B1 y7 r% jThe mapping ,is called a Mobius transformation.
2.0 z& V5 v7 m9 t! l1 T- F* V
Something is defined to be something (or adjective)
K f% P: q8 p$ Y. ZSomething is said to be something (or adjective)
8 \# d2 ^. b2 `$ b7 ^
例如: - f, h$ k0 Q0 z3 L, C" y. O+ J
The difference A-B is defined to be the set of all elements of A which are not in B.
# }5 M0 \: U" k+ a3 X! GA real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
" i9 N1 ^# z+ HReal numbers which are greater than zero are said to be positive.
5 B- |" m5 Q. W2 y' C. G/ X
3.3 D' r' X9 O- h% ^. ]7 L
We define something to be something. - }) y6 m9 A; N
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.
% v4 h; j% u, ~* @ T0 PWe call real numbers that are less than zero to be negative numbers.
7 \7 f& j& C& W) e2 B; b; v4 o
4., A m g( j9 |) n$ ?5 T4 V! `: l
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: : ]2 O9 C% X# X* G* o# H. J
Let…, Then … is called …
) E! H: v1 N4 p3 Y/ v. q GLet…, 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 .# o ^- G+ K+ v: X) C
% I9 Z \+ [0 l
Let d(x,y) denote the distance between two points x and y of a set A. Then the number
) }+ ^- T6 I R: m" p' ~' k, }
is called the diameter of A. 5. 如果被定义术语,需要满足某些条件,则可用如下形式: ! g# ]' v& f6 w
If …, then …is called … 5 ^0 X m1 \. a2 L
5 _9 r' x* t2 }
If …, then …is said to be … ) V# a7 C2 f% [0 E# i
If …, then …is defined as … 6 x ~5 Z! `: }0 g4 I* {' D( D
If …, then … is defined to be …
/ D M* B" V0 A% a3 c4 |# f5 pIf the number of rows of a matrix A equals the number of its columns, then A( K' Q- c; h+ A6 G( J6 R
is called a square matrix.
. O1 x/ N) x6 m! n
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
! f: U+ }6 P% x! @' p: D3 @ A# d
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: 7 d4 y" s+ ?0 Q! @1 b# s; r: F$ x9 u
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be … 5 B! a! G+ D8 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" Y' q: k& d! I$ ^5 u, ?
z1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D.
( S, g! ?& ?- [& @# {. {0 @
7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
7 ?! _3 {! p: x wLet …and suppose(or assume) …. If … then…is called…
4 _# a$ P! T. I5 oLet D be a domain and suppose that f(z) is analytic in D. If for every pair of points z1 and z2 in D with6 J) y2 K, g$ S4 ~3 |, M+ I% Y8 T
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function .
|