(How to define a mathematical term?)
3 Y7 g2 a3 H4 C% q7 r 1.
3 Q0 E8 r6 d% M# tSomething is defined as something.
! X7 f2 x# @9 D! r2 r) Z7 ~Something is called something.
; I$ p+ J. d0 _# S+ ~, K
例如: The union of A and B is defined as the set of those elements which are in A, in B or in both.
0 U1 ^1 y; I2 Y6 dThe mapping ,is called a Mobius transformation.
2.
( k# t) W6 k0 N* ]' ?$ ESomething is defined to be something (or adjective) 2 v9 r, A) \* x1 A1 Y! I% H( D
Something is said to be something (or adjective) . ~* S h! t; Q. B( j! _6 [# P
例如:
+ |( {# R" ~3 RThe difference A-B is defined to be the set of all elements of A which are not in B.
C6 t, H" V+ ^6 k4 c# W
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number. * H& T$ M. V q6 b
Real numbers which are greater than zero are said to be positive. 3.* X; g6 @1 E7 C' u" N# \ _8 s
We define something to be something. 4 U& @' H; e* o0 m3 ]; [
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. ( v2 V- `2 h5 V9 x+ ^! H, V" T
We call real numbers that are less than zero to be negative numbers. 4.
7 }% t9 Q9 v- m4 V: V3 V7 x如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: 6 p; a2 t4 F+ Q$ P
Let…, Then … is called …
. a z$ ^( ]' K- w# jLet…, 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 .
& V" K) y8 M7 N6 [0 O : m' n8 S" W/ l
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. 如果被定义术语,需要满足某些条件,则可用如下形式:
. _7 n) D7 S; M j8 h7 mIf …, then …is called …
" Z/ \/ M ?% }7 ^* D/ Z0 ` x$ u1 W0 W, t$ \
If …, then …is said to be …
0 B) Y( m7 ~% @0 q& _# m2 _9 {( e) |
If …, then …is defined as …
# X- S; q3 p4 c9 i$ L/ j% tIf …, then … is defined to be …
) \& F5 s( x1 j. ^6 }8 _& f1 ?
If the number of rows of a matrix A equals the number of its columns, then A
. @$ \ w7 s z6 q$ g- Bis called a square matrix. 9 w! H* j( I0 M6 w+ m9 l
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
( j/ R* z7 H/ D" s5 O9 q& u
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式:
- L+ [6 o% L9 E tLet(or Suppose) …. If …, then … is called …
Let(or Suppose) …. If …, then … is said to be … - A$ p: Y5 \& S) K- i
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with
; @) H( e5 f3 H/ tz1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D. 7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
& _1 }" \9 Y! Q) rLet …and suppose(or assume) …. If … then…is called…
4 Y# M0 d3 ]: f( B+ T8 U+ V% Q+ u5 BLet 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
2 V. C9 r9 g- r' D6 a" }z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function .
|