(How to define a mathematical term?)
3 I7 y, P3 A" | w / @8 M/ h* U3 N( R' S2 N ?
1.+ b7 p. K6 S: M7 }
Something is defined as something. / ~& Q. S7 f+ q( \5 u1 o P
Something is called something.
3 N J1 |8 g. Y- X5 p ]例如:
The union of A and B is defined as the set of those elements which are in A, in B or in both. 7 s% {6 H6 H1 P) c* {
The mapping ,is called a Mobius transformation. 2.
8 ?1 ^# [6 f# x3 g& ~ U& A+ hSomething is defined to be something (or adjective)
/ @: Q G1 C5 eSomething is said to be something (or adjective)
( b0 |, B: S& X0 f, r+ D7 r例如:
0 j \( Z; H g( [( V( r0 EThe difference A-B is defined to be the set of all elements of A which are not in B.
) V2 |, ^" O { C
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
% Y$ }, E) p8 R$ FReal numbers which are greater than zero are said to be positive.
3.
0 u9 b! X6 X( b f" gWe define something to be something.
Q) ?2 m) f+ ?' |We call something to be something.
# K1 W9 ~+ K4 N) f! B* P
例如: We define the intersection of A and B to be the set of those elements common to both A and B.
" b6 y |$ N0 l: q. |We call real numbers that are less than zero to be negative numbers.
4.
' B- g6 {3 X0 p: q' V" q& Y如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: ; I3 A% ~6 @ c2 r4 B( u: p
Let…, Then … is called …
+ n. q# l$ y5 v4 KLet…, 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 .# X+ b- B( N* m1 f" h2 |
6 D8 y3 g" g( I- L$ {+ ?3 R6 F
Let d(x,y) denote the distance between two points x and y of a set A. Then the number
# [" ]* L' m/ z' N* h& D, m6 |% S
is called the diameter of A. 5. 如果被定义术语,需要满足某些条件,则可用如下形式: * |1 y2 `9 Z+ p8 s
If …, then …is called … # K0 L0 R* T q% ?
$ U z9 Z& S5 @ }% G7 v4 G- @9 [7 JIf …, then …is said to be … % D/ Q" x6 ?5 T+ C3 V4 K
If …, then …is defined as … 5 I- P2 T# f( i* ?) }0 d+ r
If …, then … is defined to be …
' h7 y* G/ {8 H& O6 p/ d* Y7 XIf the number of rows of a matrix A equals the number of its columns, then A+ J: [' b9 ` g. j: T; C
is called a square matrix.
) j) T& p+ q+ j# O# j
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D. - Z: W. I5 R) b* H% y8 B, U
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: " C0 z6 |2 Q1 Y& }
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be … 8 {* s( s* B- d7 {8 k
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 G G; {8 m8 D& O7 @0 M$ \2 w0 j3 ez1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D. 7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
! x V# v1 n9 l; k* E u2 sLet …and suppose(or assume) …. If … then…is called…
" r( N9 Q) | j& r1 L |
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: q* J7 d% J0 ^
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |