(How to define a mathematical term?)+ G, ]6 t, o6 x# A" J" y
# |: L+ m* o. U; t) |, a# d
1.
9 D" u ?! ]+ \% BSomething is defined as something. 8 p/ y* U d) s- q- L
Something is called something. ( B% p- O: \" Q, A6 W
例如: The union of A and B is defined as the set of those elements which are in A, in B or in both.
( i' R6 [2 \, Y7 p& R1 fThe mapping ,is called a Mobius transformation.
9 D q# x" C( x) A0 T1 N H
2.
& T2 k+ f& I$ B' rSomething is defined to be something (or adjective) ) M3 |$ Z! k& E( L3 w
Something is said to be something (or adjective)
- X6 A! t* t4 H% B, e* L: l例如:
' @! a+ k$ b8 t) H' H
The difference A-B is defined to be the set of all elements of A which are not in B. 8 l- E- C' ], q: O9 t9 I. ]. c* [! {
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
; R d5 f# ^) \+ E) L/ f& Y9 I) V% t$ PReal numbers which are greater than zero are said to be positive.
3., l4 [, h, f; H- E6 Z
We define something to be something.
- X' P8 x% d$ AWe call something to be something.
. q' V/ }: P1 E" z! D! i: _/ N& ^
例如: We define the intersection of A and B to be the set of those elements common to both A and B. 8 p: h2 T4 c9 V: @( \
We call real numbers that are less than zero to be negative numbers. 4.' q+ b% E* s% a# ]2 y! N, A
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: + G2 ~1 J. x1 i. g% G* N5 A3 A
Let…, Then … is called … & y5 P$ H7 S Q( K" u
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 .0 Y% G0 ~0 Y9 y. C: I* x2 A; P
9 i' u0 ^5 L0 Z! |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.
9 Q1 F! P7 O( Z. S+ S! b8 p
5. 如果被定义术语,需要满足某些条件,则可用如下形式:
. i9 e+ m8 a! j) SIf …, then …is called …
% C! o1 R) V+ C& h1 ]5 Y: W/ k# w7 R6 f& z7 n) G# n# {
If …, then …is said to be …
$ @: f$ U; ]( B3 m
If …, then …is defined as …
# J1 `- _/ \9 c/ z9 lIf …, then … is defined to be …
, r, x% _; C4 i5 T8 k
If the number of rows of a matrix A equals the number of its columns, then A! d Q* c! u% ]2 \/ Q E4 P+ |9 J
is called a square matrix.
! v% [* `% G7 vIf a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式:
8 i% A/ d) q/ E, I( D& \Let(or Suppose) …. If …, then … is called …
Let(or Suppose) …. If …, then … is said to be … - p# m& c3 O0 d
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with
1 B4 I# v% V2 g6 qz1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D. / U- l! l* t* x6 }( e& Q) R
7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
; d4 @% z* x% i0 E( P/ Y0 yLet …and suppose(or assume) …. If … then…is called…
6 u7 H/ r' A1 t+ d+ x
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
1 u8 `: D' z% W" P% P6 c: S1 |8 Qz1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |