查看: 5004|回复: 6

如何定义数学用语

字体大小: 正常放大

kidd0323

4 主题	6 听众	10 积分

升级 5.26%

该用户从未签到

电梯直达

1^#

发表于 2009-2-5 10:44 |只看该作者 |倒序浏览

|招呼Ta 关注Ta

如何定义数学术语?

（How to define a mathematical term?）
) H, O/ Z' u5 E/ W7 @7 W6 ?

! w) q' g+ Z8 S

5 o* \9 p+ V9 R7 q0 Y# a

1.
Something is defined as something.

Something is called something.

例如：

The union of A and B is defined as the set of those elements which are in A, in B or in both.

The mapping ,is called a Mobius transformation.

2.
Something is defined to be something (or adjective)

Something is said to be something (or adjective)

例如：

The difference A-B is defined to be the set of all elements of A which are not in B.

A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.

Real numbers which are greater than zero are said to be positive.

3.
We define something to be something.

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.

We call real numbers that are less than zero to be negative numbers.

4.
如果在定义某一术语之前，需要事先交代某些东西（前提），可用如下形式：

Let…, Then … is called …

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 .

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. 如果被定义术语，需要满足某些条件，则可用如下形式：

If …, then …is called …

If …, then …is said to be …

If …, then …is defined as …

If …, then … is defined to be …

例如：

If the number of rows of a matrix A equals the number of its columns, then A
is called a square matrix.

If a function f is differentiable at every point of a domain D, then it is said to be analytic in D.

6. 如果需要说明被定义术语应在什么前提下，满足什么条件，则可用下面形式：

Let(or Suppose) …. If …, then … is called …

Let(or Suppose) …. If …, then … is said to be …

例如：

Let f(z) be an analytic function defined on a domain D(前提条件).If for every pair of points z1 and z2 in D with
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. 如果被定义术语需要满足几个条件（大前提，小前提，直接条件），则可用如下形式：

Let …and suppose(or assume) …. If … then…is called…

例如：

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
z1≠z2 ，we have f(z1)≠f(z2)，then f(z) is called a schlicht function .

zan