(How to define a mathematical term?)
* P$ g, ^, h' W" E: l' Q) J, E0 M . ?' U' J6 y ~" a# H( ^1 a
1.
: I0 \8 d! S1 s: T( OSomething is defined as something.
, o e$ x: a. p) M Y0 V' |0 Z9 l; FSomething 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. ! O4 i4 x- o. A8 X7 z
The mapping ,is called a Mobius transformation. 2.
' b) `0 j* H! |8 O$ aSomething is defined to be something (or adjective) ' X* ?; v( Y; G! y
Something is said to be something (or adjective) 2 R# K2 U+ e' p7 U% q- R o
例如:
& l1 X% z# g3 R" _6 x& YThe difference A-B is defined to be the set of all elements of A which are not in B.
, c# |0 q7 f( X0 D
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
3 n6 l ]: P3 M# J% ], f E, uReal numbers which are greater than zero are said to be positive.
3.3 m8 ^0 X$ } {1 p/ O1 v2 t8 Y* c. t
We define something to be something. 3 ?7 l# b, [! r8 \& r0 c
We call something to be something.
& a5 k* F% m, x) _# O6 Q# e7 u例如:
We define the intersection of A and B to be the set of those elements common to both A and B.
! d! c7 _3 N( D9 j5 cWe call real numbers that are less than zero to be negative numbers.
4." E! t+ b+ A* k0 C( H
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式:
- [4 u& P4 c. a NLet…, Then … is called …
* s7 U! n+ M; o2 FLet…, 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 .
0 b* I* P7 G4 |7 [0 E) i) h
3 S! f7 O8 y9 J' y h4 }. w. gLet 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. 如果被定义术语,需要满足某些条件,则可用如下形式:
+ h, |+ L% q% \0 y6 N# U6 |If …, then …is called …
. z# V3 n" P" h* A5 ~7 g% S7 X! c- u
, W, x0 T; H; U; @5 a5 |3 u8 cIf …, then …is said to be …
) o3 T1 t0 F. @) j \If …, then …is defined as …
4 W& u1 h/ b: n
If …, then … is defined to be … # a0 n+ C/ q }, _* N* Q5 u
If the number of rows of a matrix A equals the number of its columns, then A
( h( C# ^/ y5 k7 R3 h* A: O1 f0 t& {is called a square matrix.
B& f- o/ u4 W: R7 ]+ hIf a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
4 @% F& C K: G- W4 V' T2 j' h
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式:
% o: b/ E/ X- r' b7 x, |Let(or Suppose) …. If …, then … is called …
Let(or Suppose) …. If …, then … is said to be … " t5 A0 [$ z0 i+ r
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with
0 ^ o4 \1 k7 ^: X0 J# ~+ O7 fz1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D. 7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式: " ]9 v. N4 t1 d0 j8 n
Let …and suppose(or assume) …. If … then…is called… 6 @! c9 z' W" p* ]1 n Q- _& B
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
3 H# e+ ?- a# [z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |