(How to define a mathematical term?)
) v$ Q; W5 _% m5 `! z& B 1.
0 z1 p- y) K. }- ?3 ySomething is defined as something.
7 L& {) y8 r) S$ X6 TSomething is called something.
0 I. W, y5 S6 P* |7 f9 A' D例如:
The union of A and B is defined as the set of those elements which are in A, in B or in both.
2 C' J% a* I1 g/ P, x: x( lThe mapping ,is called a Mobius transformation.
2.; c2 D3 z$ @! H& D+ @ E# G
Something is defined to be something (or adjective) ' q0 ?! r0 P" h
Something is said to be something (or adjective) 6 @. s2 ] Q8 i+ }& v9 f
The difference A-B is defined to be the set of all elements of A which are not in B.
$ }0 k- O) c. ?- y# R% {A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
9 K- i3 n4 h8 q6 i2 |
Real numbers which are greater than zero are said to be positive. 3.
9 r2 ^9 A& M* M/ d6 f+ lWe define something to be something. ; s) w1 k8 `" f- ~
We call something to be something.
0 e, ]9 t' M. ]% {( z) D例如:
We define the intersection of A and B to be the set of those elements common to both A and B.
9 C+ v& m, m4 |- c. JWe call real numbers that are less than zero to be negative numbers.
4., a& ]2 c$ A' J. q9 j
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: E& z2 i& s, R" v- R
Let…, Then … is called …
: ~% ~! `- H( q; S' C! MLet…, 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 .
" N+ B5 O4 N6 }1 _9 m! |4 n
9 L; w0 }; c# ]2 xLet 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. & b s2 i" q* w! ]4 m( X: W3 R
5. 如果被定义术语,需要满足某些条件,则可用如下形式:
) `$ q! t6 K" d% A. I. @7 JIf …, then …is called …
, P2 B! d9 e& G0 Y
% ? j: l, O2 x' SIf …, then …is said to be …
! L6 I. C# ~0 ^0 H! v0 FIf …, then …is defined as …
" ]) N: K: M" r. f3 D
If …, then … is defined to be …
% e9 P( e1 ~4 D2 o4 y: C6 IIf the number of rows of a matrix A equals the number of its columns, then A
0 g: L+ M$ B! a& j0 y% ois called a square matrix.
& U4 }% J3 J3 @4 A1 k9 GIf a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: 5 N$ ?7 @; Q3 c+ H9 r; w x" ~
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be … 1 B( r; a9 y1 w) l: C
Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with4 m: E$ p# q( l' B; F3 D* V; s
z1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D. 3 p. a" P8 p/ L& [" n3 N( {
7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式: ! ~% ?2 f6 {! y* a! m
Let …and suppose(or assume) …. If … then…is called… - m$ P0 c% V" E. e+ Q; X }7 C f
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 with3 t2 l# K- g- J! u1 v
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |