(How to define a mathematical term?)
1 c& X+ g9 w7 ]9 W, o, \2 X 1.
& |# [+ s; y4 M: pSomething is defined as something.
$ @' P( e/ ]6 x( ]Something is called something.
) S0 ^+ c" Y# n% p7 ]9 U& t* c2 O: U
例如: The union of A and B is defined as the set of those elements which are in A, in B or in both.
# k8 J# i& ^ L) J1 wThe mapping ,is called a Mobius transformation.
6 k% e$ J1 z( f( q# [; n) U
2.% F7 n. @: O P9 P
Something is defined to be something (or adjective) . e4 d" n: s7 [* Y
Something is said to be something (or adjective) 3 \: @0 D6 N9 N: u2 D
The difference A-B is defined to be the set of all elements of A which are not in B. , y2 L: C# ~& N2 S8 i
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number. + b! S' u! F" W; P5 H8 \) s3 J
Real numbers which are greater than zero are said to be positive. 3.# M1 E4 z. \& g6 `7 e# q
We define something to be something. 5 M" q2 b) [9 m. I
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. 2 E: B% L$ G$ L4 L
We call real numbers that are less than zero to be negative numbers. 4.7 l8 M% N+ X# t& M
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式:
. d+ f, S% v) D" r5 nLet…, Then … is called …
. z8 B6 U) K: t+ h( uLet…, 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 .. [$ i3 ~9 ^' Q
% r$ M) U8 a O! f! S I9 W O- d
Let 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. 如果被定义术语,需要满足某些条件,则可用如下形式: / g- y( K* B0 e; M
If …, then …is called …
) o0 u$ m% d5 R' u/ ~3 p7 U* \) u) f* a3 Q5 D, j
If …, then …is said to be …
' F$ J# A. l m6 b0 p* v3 x. G0 b vIf …, then …is defined as …
% x, R+ \+ O- G7 ^$ v, ]If …, then … is defined to be …
1 q9 i0 f! G/ f+ | kIf the number of rows of a matrix A equals the number of its columns, then A
9 D N6 t) L0 {/ uis called a square matrix.
- F; \. g4 `$ d8 C$ xIf a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: ! }1 X( `5 L' r
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be … 4 R6 l- @" E( s! O# t8 |! q
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with+ [" z+ } a. V& n! q! b# U! N
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. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
& ^; u2 K9 y! X/ O( P: z, ULet …and suppose(or assume) …. If … then…is called…
~ M g- T/ N/ W; t8 ~: l9 S4 qLet 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; {; N/ n+ ]1 a9 s, a# q
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function .
|