(How to define a mathematical term?)& ^6 R* e* G1 k' c4 o$ p
' D. x( @5 ` V/ W" \ W! z3 I
1.1 E+ L# |8 H8 |7 S9 h, d
Something is defined as something.
! t. V& h6 C5 [ r& QSomething is called something.
5 y& _) x; t8 A# n# @. B, I例如:
The union of A and B is defined as the set of those elements which are in A, in B or in both. . ^; A- u! z9 ~7 j0 `9 S$ O! l8 j
The mapping ,is called a Mobius transformation. 2.
' I% O2 }" R! A$ v+ ~Something is defined to be something (or adjective) 9 a, \% p5 E4 p4 D# C/ o( R
Something is said to be something (or adjective) , p! v& F$ D& Z1 M1 h1 l* N
The difference A-B is defined to be the set of all elements of A which are not in B.
7 I0 t! `* ?5 r" y ?A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
( B- _6 T& D3 r$ [& w7 c
Real numbers which are greater than zero are said to be positive. 3.
; D( m4 K% \% d' [We define something to be something. , e( N" i6 C8 W2 M6 {, c$ } Y: P
We call something to be something. . l' [6 c) `6 K% b8 N' ] x
例如: We define the intersection of A and B to be the set of those elements common to both A and B.
# p& m# }0 }" j* b& v% QWe call real numbers that are less than zero to be negative numbers.
4.. N v' F1 B7 U$ C3 ]
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: , r: Z- Z! a( O. _
Let…, Then … is called …
. M7 e1 e! q& l% u7 ]3 CLet…, 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 .
+ |. [7 f2 N$ T3 r 9 P8 _, [: P# ^ z+ `/ x4 [4 w
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. 如果被定义术语,需要满足某些条件,则可用如下形式:
" u8 {' u( _+ [$ t+ J( nIf …, then …is called …
/ T1 j! J% g& n6 b% U& f7 \* O
4 n& r7 C/ G* a7 ^, AIf …, then …is said to be …
( E# s2 B. c" ~1 wIf …, then …is defined as …
% H* f: D" G) v+ i3 Q
If …, then … is defined to be …
% a1 d6 M4 t, q& f" HIf the number of rows of a matrix A equals the number of its columns, then A6 M: h& O7 E# w0 m; ]9 B
is called a square matrix.
$ ^5 S/ N' A5 ~+ ?. i; F4 u
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D. 6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式:
5 S/ h* a' E4 o& N9 t9 u1 O( P4 NLet(or Suppose) …. If …, then … is called …
Let(or Suppose) …. If …, then … is said to be …
6 E; V1 ~& P \3 J- NLet f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with$ c( M# z( r7 w* a5 `
z1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D.
7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式: : k5 x- t% `4 v( a7 ^% l9 F) M+ z6 G
Let …and suppose(or assume) …. If … then…is called… 2 [: f+ E% t* W D$ s
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* \2 S8 E# ?! ]9 E+ D
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function . |