(How to define a mathematical term?)# q4 E+ x9 [: g8 n3 ?/ `) z
2 f& k9 e m" a5 I/ k1 i, W
: c6 z5 }3 i0 ~+ L/ F9 u1 c
1.. |9 M2 A0 A/ h6 H
Something is defined as something. 8 _' Z. _' m/ I1 {' ]
Something is called something.
# [. M8 Y7 w9 D) g [: I例如:
The union of A and B is defined as the set of those elements which are in A, in B or in both.
+ j$ u# T/ Q. bThe mapping ,is called a Mobius transformation.
2.
+ U) R. \2 p8 H8 USomething is defined to be something (or adjective)
- d1 i8 s) y) z9 Z! v& U! B$ JSomething is said to be something (or adjective)
% y3 Y) C2 l& q8 i/ ^The difference A-B is defined to be the set of all elements of A which are not in B.
: ]$ h. W1 |. H# LA real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
3 H5 ~* k! u9 z1 y7 a
Real numbers which are greater than zero are said to be positive. 3.
, m/ L) m4 V% P" {* L8 MWe define something to be something.
1 U0 g+ [7 b4 K5 N6 f6 kWe call something to be something.
5 |$ l9 s- |" M. T* [' H3 l例如:
We define the intersection of A and B to be the set of those elements common to both A and B. 0 d1 [) R9 ^) ^( ]7 |( q3 h0 v
We call real numbers that are less than zero to be negative numbers. 4.8 l* q2 s3 {- Q
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式:
6 |( Y( \& t' y- \5 F4 m* i) l# }7 cLet…, Then … is called …
N- y; o7 T. D 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 .
& q$ p# j$ v! o/ E& R. U , ^: E! q9 J5 M3 t; o
Let d(x,y) denote the distance between two points x and y of a set A. Then the number + ` N% _( Z, g5 n# f2 `' ~2 ~
is called the diameter of A. 5. 如果被定义术语,需要满足某些条件,则可用如下形式: / q% G& O2 t/ U; c; Z! m2 `6 w
If …, then …is called … 1 w6 ?7 N- P5 E. i5 m* C4 J
* e8 N7 s: Y0 C9 k- [If …, then …is said to be … ; c# x2 t7 q" P- c7 n5 k
If …, then …is defined as … I* b, a: e) j# b$ c4 q9 D
If …, then … is defined to be …
- ?1 }5 q% o g& e7 ~1 C3 lIf the number of rows of a matrix A equals the number of its columns, then A" s4 D% w: G$ e$ x4 U
is called a square matrix.
3 q' m! J$ C# ~3 M- ?If a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式:
$ |# B4 d9 p( R# L/ o4 p, JLet(or Suppose) …. If …, then … is called …
Let(or Suppose) …. If …, then … is said to be … , P4 z) Y' X4 k! C! c
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with! l& `! a1 s) i0 Q' P. |: Q6 q q
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. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
7 K1 K7 d9 F- N) L- z& S( DLet …and suppose(or assume) …. If … then…is called…
% n6 P# _% N4 i+ k: l F, D( k% N. [# ?
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
$ B- l1 M% n! a8 Zz1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |