(How to define a mathematical term?)* o: S6 ^; O8 ?' X- c" ^
* t2 K/ B. p$ c/ O& h* L' U
1.2 {' G0 o5 U, c9 I
Something is defined as something. ' G* d/ Z: \, `. U, F
Something is called something. 0 L6 V; h9 w R- y% m% s% s" i
例如: The union of A and B is defined as the set of those elements which are in A, in B or in both. O) u% W* n& t7 o8 M. P
The mapping ,is called a Mobius transformation. 2., Y+ u8 V0 o) V
Something is defined to be something (or adjective) . B9 i! g4 v# c
Something is said to be something (or adjective) 9 D( k0 \# {5 M, M% ^: h
The difference A-B is defined to be the set of all elements of A which are not in B.
2 t4 ~) }2 t$ l7 U8 DA real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
. R8 F$ y2 E6 [* BReal numbers which are greater than zero are said to be positive.
3.6 a" v; A* {: W- `2 q# x
We define something to be something.
0 q5 A3 z! B7 cWe call something to be something.
3 u% K! A& N' K) ^. [, P
例如: We define the intersection of A and B to be the set of those elements common to both A and B. & p$ i+ u G: m2 f0 U$ J. Y
We call real numbers that are less than zero to be negative numbers. 4.5 Q6 D2 {' p+ C2 ?! Q! x; ~9 S$ l
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: + ^" y. N, E1 i: Q
Let…, Then … is called … 6 d R6 }1 F3 |
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 .6 @" i P7 E7 b
% p+ F" \# S' X Q5 K5 w( {, c
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. 如果被定义术语,需要满足某些条件,则可用如下形式: 4 `6 f( _8 V5 O# d
If …, then …is called … / F3 Q; K; c; R+ R! F' b* O. b
6 Q6 W$ B& L5 y9 {
If …, then …is said to be …
0 d' [$ o, l9 R1 DIf …, then …is defined as …
6 o$ b# @$ d, A
If …, then … is defined to be … 9 C6 | M! }5 j/ ]
If the number of rows of a matrix A equals the number of its columns, then A
+ ^: k- A' Z4 r. o, n8 G3 p8 Ais called a square matrix.
X1 n; n9 |1 ?3 A4 @7 @, ^* tIf a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: 9 P; a3 g) ]; t& p j8 m% ^
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be …
6 t3 s& \( a7 P6 } ILet f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with
* |4 P* n- {& \, Hz1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D.
7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式:
( | @2 U9 ?* m4 HLet …and suppose(or assume) …. If … then…is called…
# m; P, y4 F T }
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 z+ J: e; \+ ]9 g, jz1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |