(How to define a mathematical term?)
1 A0 v1 X+ ?8 j! m: w3 x% h ) t7 p9 O8 ]1 O% C$ y, \/ _& l
1.
* O- H3 b* D) {$ D. E+ SSomething is defined as something.
+ L) J4 E6 k" S, P4 uSomething 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.
5 y. u& W5 P. pThe mapping ,is called a Mobius transformation.
- ]2 d9 y! Z8 o( @4 j s) \! S
2.
% Q! g7 ~% ^0 i, c! n% T1 HSomething is defined to be something (or adjective) ' W5 V* j6 X# q0 i7 x
Something is said to be something (or adjective)
( X" o) T7 w% Q/ DThe difference A-B is defined to be the set of all elements of A which are not in B.
3 I; e, l) X4 [5 }# Z
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number. 0 q8 ?3 j& a# v# N M. R+ V6 O1 j
Real numbers which are greater than zero are said to be positive. 3.
% o ~+ j5 U/ [! l) _8 CWe define something to be something. 0 D$ @) Y! ~/ D! u6 g; E4 ]
We call something to be something.
9 ?/ L; m0 k% Z' T# x; T) q例如:
We define the intersection of A and B to be the set of those elements common to both A and B. 4 m. ?: V0 y/ L# X" Q+ W6 y
We call real numbers that are less than zero to be negative numbers. 4.. X \6 U9 R1 B
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: 1 y( X) v" \1 X, t; l: o- `9 k& J
Let…, Then … is called …
# \; Y/ T/ ?& j* H$ q" _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 ., T7 D3 Q* K B9 w8 |
# A- n* L3 _) ]+ I" dLet d(x,y) denote the distance between two points x and y of a set A. Then the number
: G) E$ X' x4 {* v; ?0 f3 S6 p
is called the diameter of A.
, ~/ L5 V9 ~8 W4 x. F2 F% L. N
5. 如果被定义术语,需要满足某些条件,则可用如下形式: , c. e% U8 P. Z4 [
If …, then …is called …
' u/ G- l% F) o3 v$ W% u4 f
3 x. J* ]$ J$ f( h+ w/ GIf …, then …is said to be …
( ]1 m3 I2 X5 m; t5 ^If …, then …is defined as …
& D+ G! ?5 s& ]4 Z X/ ^
If …, then … is defined to be …
% G H: k+ ^9 LIf the number of rows of a matrix A equals the number of its columns, then A
* u; M( l$ R! R. P2 z6 S4 i% c+ X2 {is called a square matrix.
4 [- B/ U' I2 y9 |2 h5 q' Z3 R
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D. 6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: & p1 e$ G$ {; K8 m1 v" k
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be … 3 y% q; k; |' W$ n* j- Y, A% J% Z
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with# |. `- O) s! 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. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
: W5 `+ w! O+ p# v, CLet …and suppose(or assume) …. If … then…is called…
3 j( j9 g2 H2 \6 _
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- H+ }" k t; _% |" _
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |