(How to define a mathematical term?): Y9 p" Y+ K) V3 v. i( V$ t" L
1.
6 P( X1 ~ w# P- G @1 t; N5 iSomething is defined as something. 1 b) w/ J" U! E
Something is called something. ; ^( R& B& r# y0 P6 L% N2 Y0 Q) ?3 Z
例如: The union of A and B is defined as the set of those elements which are in A, in B or in both. 0 A; W, j ^3 m# l9 ^ ~3 L( L& A
The mapping ,is called a Mobius transformation. 2.
# W5 [7 b; ^0 x$ s+ {. p2 tSomething is defined to be something (or adjective)
% @: l0 V3 }: d: _! TSomething is said to be something (or adjective)
' A$ y( O* M* Q5 F# i$ D例如:
) s& k' v- D s$ U3 w1 eThe difference A-B is defined to be the set of all elements of A which are not in B.
Q6 d5 j9 r" |# }% F: |
A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
' t* [, J3 Z9 b" w( M) U' X( C5 gReal numbers which are greater than zero are said to be positive.
3.
/ V$ B4 c' y. V! d+ O! E6 o2 hWe define something to be something.
# x x. h* V1 y- ~1 ]% Z {We call something to be something.
! F$ D6 k! z% M. g( Z
例如: We define the intersection of A and B to be the set of those elements common to both A and B. # n& ]6 G! q; K2 D* g
We call real numbers that are less than zero to be negative numbers. Z/ ]0 Y+ [$ s: J( |6 [3 P
4.4 s* v* F7 y! h5 G* E9 E. ?& G) ?& D! g
如果在定义某一术语之前,需要事先交代某些东西(前提),可用如下形式: 8 L2 l$ H5 m! C( i: }
Let…, Then … is called … 0 X" O, I8 L6 K* P. _/ `: {
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 .
- d$ _6 O# O5 ^& n& K* V ; Q& | ], V6 d: g" c9 d
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. / _6 a! F V- G1 G( H1 Q/ X5 U* k
5. 如果被定义术语,需要满足某些条件,则可用如下形式:
9 O) G) ~ F+ k, m- GIf …, then …is called …
; ~8 Q, f3 p" X1 ]! }
2 p( \$ ?5 c" N! T. a9 C7 pIf …, then …is said to be …
, q$ R2 X. [0 M# A9 C
If …, then …is defined as …
4 |2 q' o% t9 R2 |If …, then … is defined to be …
; q( _" g0 y) \, a ]If the number of rows of a matrix A equals the number of its columns, then A0 D. Q' C3 d8 L5 K. O e
is called a square matrix.
, u. ]: v% u' y/ l# V# k
If a function f is differentiable at every point of a domain D, then it is said to be analytic in D.
3 G/ F! M! ^3 c: c$ r, w. O2 h
6. 如果需要说明被定义术语应在什么前提下,满足什么条件,则可用下面形式: - D- J( P5 k: B, `. d2 `5 J
Let(or Suppose) …. If …, then … is called … Let(or Suppose) …. If …, then … is said to be …
3 W/ l# I+ X$ M. s5 ?: GLet f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with
6 @1 o. Q$ G/ k+ j6 Ez1≠z2 ,we have f(z1)≠f(z2) (直接条件),then f(z) is called a schlicht function or is said to be schlicht in D.
: ]+ D5 `5 R8 A7 B! G2 W G. k
7. 如果被定义术语需要满足几个条件(大前提,小前提,直接条件),则可用如下形式: / @9 T4 x. t0 O% p9 w1 O& s% ]
Let …and suppose(or assume) …. If … then…is called…
) R6 g/ L& X7 x% L% E* b/ C+ [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, y- f8 ^: R# M6 K, ~% ^/ y/ y
z1≠z2 ,we have f(z1)≠f(z2),then f(z) is called a schlicht function .
|