数学专业英语[1]－The Real Number System - 第2页 - 数学专业英语及翻译 - 数学建模社区-数学中国

hehe123 发表于 2004-11-27 13:29

数学专业英语[20]－Mathematical Discovery

数学专业英语－Mathematical Discovery

To give the flavor of Polya’s thinking and writing in a very beautiful but subtle case , a case that involve a change in the conceptual mode , I shall quote at length from his Mathematical Discovery (vol.II , pp.54 ff): 
 EXAMPLE I take the liberty a little experiment with the reader , I shall state a simple but not too commonplace theorem of geometry , and then I shall try to reconstruct the sequence of idoas that led to its proof . I shall proceed slowly , very slowly , revealing one clue after the other , and revealing each gradually . I think that before I have finished the whole story , the reader will seize the main idea (unless there is some special hampering circumstance ) . But this main idea is rather unexpected , and so the reader may experience the pleasure of a little discovery .
 A.If three circles having the same radius pass through a point , the circle through their other three points of intersection also has the same radius .
<v:shapetype><v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0"></v:f><v:f eqn="sum @0 1 0"></v:f><v:f eqn="sum 0 0 @1"></v:f><v:f eqn="prod @2 1 2"></v:f><v:f eqn="prod @3 21600 pixelWidth"></v:f><v:f eqn="prod @3 21600 pixelHeight"></v:f><v:f eqn="sum @0 0 1"></v:f><v:f eqn="prod @6 1 2"></v:f><v:f eqn="prod @7 21600 pixelWidth"></v:f><v:f eqn="sum @8 21600 0"></v:f><v:f eqn="prod @7 21600 pixelHeight"></v:f><v:f eqn="sum @10 21600 0"></v:f></v:formulas><v:path extrusionok="f" connecttype="rect" gradientshapeok="t"></v:path><LOCK aspectratio="t" v:ext="edit"></LOCK></v:shapetype><v:shape><v:imagedata></v:imagedata></v:shape>
Fig.1 Three circles through one point.




 This is the theorem that we have to prove . The statement is short and clear , but does not show the details distinctly enough . If we draw a figure (Fig .1) and introduce suitable notation , we arrive at the following more explicit restatement :
 B . Three circles k , l , m have the same radius r and pass through the same point O . Moreover , l and m intersect in the point A , m and k in B , k and l in C . Then the circle e through A , B , C has also the radius 
<v:shape><v:imagedata></v:imagedata></v:shape>
Fig .2 too crowded .
 Fig .1 exhibits the four circles k , l , m , and e and their four points of intersection A, B , C , and O . The figure apt to be unsatisfactory , however , for it is not simple , and it is still incomplete ; something seems to be missing ; we failed to take into account something essential , it seems .
 We are dialing with circles . What is a circle ? A circle is determined by center and radius ; all its points have the same distance , measured by the length of the radius , from the center . We failed to introduce the common radius r , and so we failed to take into account an essential part of the hypothesis . Let us , therefore , introduce the centers , K of k , L of l , and M of m . Where should we exhibit the radius r ? there seems to be no reason to treat any one of the three given circles k ; l , and m or any one of the three points of intersection A , B , and C better than the others . We are prompted to connect all three centers with all the points of intersection of the respective circle ; K with B , C , and O , and so forth .
 The resulting figure (Fig . 2) is disconcertingly crowded . There are so many lines , straight and circular , that we have much trouble old－fashioned magazines . The drawing is ambiguous on purpose ; it presents a certain figure if you look t it in the usual way , but if you turn it to a certain position and look at it in a certain peculiar way , suddenly another figure flashes on you , suggesting some more or less witty comment on the first . Can you recognize in our puzzling figure , overladen with straight and circles , a second figure that makes sense ?
 We may hit in a flash on the right figure hidden in our overladen drawing , or we may recognize it gradually . We may be led to it by the effort to solve the proposed problem , or by some secondary , unessential circumstance . For instance , when we are about to redraw our unsatisfactory figure , we may observe that the whole figure is determined by its rectilinear part (Fig . 3) .
 This observation seems to be significant . It certainly simplifies the geometric picture , and it possibly improves the logical situation . It leads us to restate our theorem in the following form .
 C . If the nine segments 
KO , KC , KB ,
LC , LO , LA ,
MB , MA , MO ,



are all equal to r , there exists a point E such that the three segments 
EA , EB , EC ,



are also equal to r .
<v:shape><v:imagedata></v:imagedata></v:shape>
Fig . 3 It reminds you －of what ?
 This statement directs our attention to Fig . 3 . This figure is attractive ; it reminds us of something familiar . (Of what ?)
 Of course , certain quadrilaterals in Fig .3 . such as OLAM have , by hypothesis , four equal sided , they are rhombi , A rhombus I a familiar object ; having recognized it , we can “see “ the figure better . (Of what does the whole figure remind us ?)
 Oppositc sides of a rhombus are parallel . Insisting on this remark , we realize that the 9 segments of Fig . 3 . are of three kinds ; segments of the same kind , such as AL , MO , and BK , are parallel to each other . (Of what does the figure remind us now ?)
 We should not forget the conclusion that we are required to attain . Let us assume that the conclusion is true . Introducing into the figure the center E or the circle e , and its three radii ending in A , B , and C , we obtain (supposedly ) still more rhombi , still more parallel segments ; see Fig . 4 . (Of what does the whole figure remind us now ?)
 Of course , Fig . 4 . is the projection of the 12 edges of a parallele piped having the particularity that the projection of all edges are of equal length . 
<v:shape><v:imagedata></v:imagedata></v:shape>
Fig . 4 of course !



 Fig . 3 . is the projection of a “nontransparent “ parallelepiped ; we see only 3 faces , 7 vertices , and 9 edges ; 3 faces , 1 vertex , and 3 edges are invisible in this figure . Fig . 3 is just a part of Fig . 4 . but this part defines the whole figure . If the parallelepiped and the direction of projection are so chosen that the projections of the 9 edges represented in Fig . 3 are all equal to r (as they should be , by hypothesis ) , the projections of the 3 remaining edges must be equal to r . These 3 lines of length r are issued from the projection of the 8th , the invisible vertex , and this projection E is the center of a circle passing through the points A , B , and C , the radius of which is r .
 Our theorem is proved , and proved by a surprising , artistic conception of a plane figure as the projection of a solid . (The proof uses notions of solid geometry . I hope that this is not a treat wrong , but if so it is easily redressed . Now that we can characterize the situation of the center E so simply , it is easy to examine the lengths EA , EB , and EC independently of any solid geometry . Yet we shall not insist on this point here .)
 This is very beautiful , but one wonders . Is this the “ light that breaks forth like the morning . “ the flash in which desire is fulfilled ? Or is it merely the wisdom of the Monday morning quarterback ? Do these ideas work out in the classroom ? Followups of attempts to reduce Polya’s program to practical pedagogics are difficult to interpret . There is more to teaching , apparently , than a good idea from a master .
——From Mathematical Experience

hehe123 发表于 2004-11-27 13:31

<DIV class=Section1 style="LAYOUT-GRID: 15.6pt none">Vocabulary
</DIV> <DIV class=Section2 style="LAYOUT-GRID: 15.6pt none">subtle 巧妙的，精细的clue 线索，端倪hamper 束缚，妨碍disconcert 使混乱，使狼狈ambiguous 含糊的，双关的witty 多智的，有启发的rhombi 菱形（复数）rhombus 菱形parallelepiped 平行六面体projection 射影solid geometry 立体几何pedagogics 教育学，教授法commonplace 老生常谈；平凡的</DIV> <DIV class=Section3 style="LAYOUT-GRID: 15.6pt none"></DIV>

hehe123 发表于 2004-11-27 13:37

数学专业英语[21]－Notations and Abbreviations (I) Learn to understand

数学专业英语－Notations and Abbreviations (I) Learn to understand




N set of natural numbers



Z set of integers


R set of real numbers


C set of complex numbers


+ plus; positive


－　　　　 minus; negative


×　　　　 multiplied by; times


÷ divided by


＝ equals; is equal to


≡ identically equal to


≈,≌ approximately equal to


＞ greater than


≥ greater than or equal to


＜ less than


≤ less than or equal to


》 much greater than


《 much less than


<v:shapetype><v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0"></v:f><v:f eqn="sum @0 1 0"></v:f><v:f eqn="sum 0 0 @1"></v:f><v:f eqn="prod @2 1 2"></v:f><v:f eqn="prod @3 21600 pixelWidth"></v:f><v:f eqn="prod @3 21600 pixelHeight"></v:f><v:f eqn="sum @0 0 1"></v:f><v:f eqn="prod @6 1 2"></v:f><v:f eqn="prod @7 21600 pixelWidth"></v:f><v:f eqn="sum @8 21600 0"></v:f><v:f eqn="prod @7 21600 pixelHeight"></v:f><v:f eqn="sum @10 21600 0"></v:f></v:formulas><v:path extrusionok="f" connecttype="rect" gradientshapeok="t"></v:path><LOCK aspectratio="t" v:ext="edit"></LOCK></v:shapetype><v:shape><v:imagedata></v:imagedata></v:shape> square root


<v:shape><v:imagedata></v:imagedata></v:shape> cube root


<v:shape><v:imagedata></v:imagedata></v:shape> nth root


│a│ absolute value of a


n! n factorial


<v:shape><v:imagedata></v:imagedata></v:shape> a to the power n ; the nth power of a


 the greatest integer≤a


<v:shape><v:imagedata></v:imagedata></v:shape> the reciprocal of a





Let A, B be sets


∈　　　　 belongs to ; be a member of


<v:shape><v:imagedata></v:imagedata></v:shape> not belongs to


x∈A x os amember of A


∪ union


A∪B A union B


∩ intersection


A∩B A intersection B


A<v:shape> <v:imagedata></v:imagedata></v:shape>B A is a subset of B;A is contained in B


A<v:shape> <v:imagedata></v:imagedata></v:shape>B A contains B


<v:shape><v:imagedata></v:imagedata></v:shape> complement of A


<v:shape><v:imagedata></v:imagedata></v:shape> the closure of A


<v:shape><v:imagedata></v:imagedata></v:shape> empty set


(<v:shape> <v:imagedata></v:imagedata></v:shape>) i=1,2,…,r j=1,2,…,s r-by-s（r×s）matrix


│<v:shape> <v:imagedata></v:imagedata></v:shape>│I,j=1,2,…,n 　　　　determinant of order n


det(<v:shape> <v:imagedata></v:imagedata></v:shape>) the determinant of the matrix (<v:shape> <v:imagedata></v:imagedata></v:shape>)


<v:shape><v:imagedata></v:imagedata></v:shape> vector F


x=(<v:shape> <v:imagedata></v:imagedata></v:shape>,<v:shape> <v:imagedata></v:imagedata></v:shape>,…,<v:shape> <v:imagedata></v:imagedata></v:shape>) x is an n-tuple of <v:shape><v:imagedata></v:imagedata></v:shape>


‖‖　　　　　　　　　　the norm of …


‖ parallel to


┴ perpendicular to


<v:shape><v:imagedata></v:imagedata></v:shape> the exponential function of x


lin x the logarithmic function of x


sie sine


cos cosine


tan tangent


sinh hyperbolic sine


cosh hyperbolic cosine


<v:shape><v:imagedata></v:imagedata></v:shape> the inverse of f


<v:shape><v:imagedata></v:imagedata></v:shape> f is the composite or the composition of u and v


<v:shape><v:imagedata></v:imagedata></v:shape> the limit of …as n approaches ∞(as x approaches<v:shape> <v:imagedata></v:imagedata></v:shape>)


x<v:shape> <v:imagedata></v:imagedata></v:shape>a x approaches a


<v:shape><v:imagedata></v:imagedata></v:shape>,<v:shape> <v:imagedata></v:imagedata></v:shape> the differential coefficient of y; the 1st derivative of y


<v:shape><v:imagedata></v:imagedata></v:shape>,<v:shape> <v:imagedata></v:imagedata></v:shape> the nth derivative of y


<v:shape><v:imagedata></v:imagedata></v:shape> the partial derivative of f with respect to x


<v:shape><v:imagedata></v:imagedata></v:shape> the partial derivative of f with respect to y


<v:shape><v:imagedata></v:imagedata></v:shape> the indefinite integral of f


<v:shape><v:imagedata></v:imagedata></v:shape> the definite integral of f between a and b (from a to b)


<v:shape><v:imagedata></v:imagedata></v:shape> the increment of x


<v:shape><v:imagedata></v:imagedata></v:shape> differential x


<v:shape><v:imagedata></v:imagedata></v:shape> summation of …the sum of the terms indicated


∏　　　　　　　　　　the product of the terms indicated


=> implies


<v:shape><v:imagedata></v:imagedata></v:shape> is equivalent to


（ ） round brackets; parantheses


[ ] square brackets


{ } braces

hehe123 发表于 2004-11-27 13:38

数学专业英语[22]－Notations and Abbreviations (II) Learn to read

数学专业英语－Notations and Abbreviations (II) Learn to read




0.1 0 point one; zero point one; nough point one



0.01 0 point 0 one; zero point zero one


4.9….. four point nine recurring


3.03262626… three point nought three two six, two six recurring


38.72 thirty eight point seven two


a+b=c a plus b is c


c-a=b c minus b is a ; b taken from c leaves a


12÷3=4 twelve divided by 3 equals four


30=6×5 thirty is six times five


6×5=30 six multiplied by five is thirty


7+3＜12 seven plus three is less than twelve


(a+b) bracket a plus b bracket closed


20:5=16:4 the ratio of twenty to five equals the ratio of sixteen to four


a:b∷c:d a is to b as c is to d


v=s/t v equals s divided by t; v is s over t


(a+b-c×d)+e=f a plus b minus c multiplied by d, all divided by e equals f


% percent


3/8% three-eighths percent


<v:shapetype><v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0"></v:f><v:f eqn="sum @0 1 0"></v:f><v:f eqn="sum 0 0 @1"></v:f><v:f eqn="prod @2 1 2"></v:f><v:f eqn="prod @3 21600 pixelWidth"></v:f><v:f eqn="prod @3 21600 pixelHeight"></v:f><v:f eqn="sum @0 0 1"></v:f><v:f eqn="prod @6 1 2"></v:f><v:f eqn="prod @7 21600 pixelWidth"></v:f><v:f eqn="sum @8 21600 0"></v:f><v:f eqn="prod @7 21600 pixelHeight"></v:f><v:f eqn="sum @10 21600 0"></v:f></v:formulas><v:path extrusionok="f" connecttype="rect" gradientshapeok="t"></v:path><LOCK aspectratio="t" v:ext="edit"></LOCK></v:shapetype><v:shape><v:imagedata></v:imagedata></v:shape> x square; the square of x


<v:shape><v:imagedata></v:imagedata></v:shape> y cube; the cube of y


<v:shape><v:imagedata></v:imagedata></v:shape> the cube root of a


<v:shape><v:imagedata></v:imagedata></v:shape> the square root of five hundred and eighteen


<v:shape><v:imagedata></v:imagedata></v:shape> the nth root of the difference of b and c


lin x the natural logarithm of x; the Naperian logarithm of x


<v:shape><v:imagedata></v:imagedata></v:shape> log x to the base N


<v:shape><v:imagedata></v:imagedata></v:shape> sigma


<v:shape><v:imagedata></v:imagedata></v:shape> b prime


<v:shape><v:imagedata></v:imagedata></v:shape> b double prime


<v:shape><v:imagedata></v:imagedata></v:shape> b triple prime


<v:shape><v:imagedata></v:imagedata></v:shape> b sub m


<v:shape><v:imagedata></v:imagedata></v:shape> b double prime sub n


……… dots


π pi


α alpha


β beta


γ,Γ gamma


δΔ delta


ωΩ omega


ξ xi


η eta


ζ zeta


<v:shape><v:imagedata></v:imagedata></v:shape>Φ phi


ψΨ psi


χ chi


ρ rho


τ tau


υ nu


μ mu


λ lambda


κ kappa


ε epsilon


θ theta


∴ therefore


∵ because


<v:shape><v:imagedata></v:imagedata></v:shape> there exist (s)


<v:shape><v:imagedata></v:imagedata></v:shape> for any


iff if and only if


etc eccetra


e.g. for example


i.e. that is


viz. namely


w.r.t. with respect to

hehe123 发表于 2004-11-27 12:22

<DIV class=Section1 style="LAYOUT-GRID: 15.6pt none">




<A>Vocabulary</A>

</DIV> 
<DIV class=Section2 style="LAYOUT-GRID: 15.6pt none">
real number 实数
negative 负的
the real number system 实数系
rational number 有理数
collection 集体,总体
ratio 比,比率
object 对象,目的
denominator 分母
principle 原理,规则
numerator 分子
adopt 采用
irrational number 无理数
define 定义(动词)
signify 表示
definition 定义(名词)
geometrical 几何的
establish 建立
straight line 直线
explicit 清晰的,明显的
initial point 初始点
illustrate 说明
point of reference 参考点
positive 正的
origin 原点 
express 表达
assign 指定
plus 加
unit 单位
sign 记号,符号,正负号
property 性质
operation 运算,操作
closure property 封闭性质
addition 加法
commutative 交换的
multiplication 乘法
associative 结合的
substraction 减法
parentheses 圆括号
division 除法
brackets 括号
sum 和,总数
algebra 代数
procuct 乘积
yield 产生
difference 差,差分
term 术语,项
quotient 商
distributive 分配的
symbolism 符号系统
unique 唯一的
minus 减
additive inverse 加法逆运算
identify 使同一
multiplicative inverse 乘法逆运算
count 计数
reciprocal 倒数,互逆
natural number 自然数
concept 概念
zero 零
fraction 分数
integer 整数
arithmetic 算术的
greater than 大于
solution 解,解法
less than 小于
even 偶的
be equal to 等于
odd 奇的
arbitrary 任意的
square 平方
absolute value 绝对值
square root 平方根</DIV> 
cube 立方 
induction 归纳法

hehe123 发表于 2004-11-27 12:22

Note
1. Our working experience with numbers has provided us all with some familiarity with the principles that govern the real-number system.
意思是:我们对数的实际工作经验使我们大家对支配着实数系的各原则早已有了某些熟悉,这里working作”实际工作的”解,govern作”支配”解.
2.The plus sign,”+”, used here not express the operation of addition, but is rather part of the symbolism for the numbers themselves. 
意思是:这里的正符号”+”不是表示加法运算,而是数本身的符号系统的一部分.
3. A real number is said to be a rational number if it can be expressed as the ratio of two integers, where the denominator is not zero.
这是定义数学术语的一种形式.下面是另一种定义数学术语的形式.
 A matrix is called a square matrix if the number of its rows equals the number of its columns. 
这里is called与is said to be 可以互用,注意is called后面一般不加to be而is said后面一般要加.
4. A real number that cannot be expressed as the ratio of two integers is said to be an irrational number.
与注3比较,这里用定语从句界定术语.
5. There is a unique real number, called zero and denoted by 0, with the property that a+0=0+a, where a is any real number.
意思是:存在唯一的一个实数,叫做零并记为0,具有性质a+0=0+a,这里(其中)a是任一实数.
1) 这里called和denoted都是过去分词,与后面的词组成分词短语,修饰number.
2) with the property是前置短语,修饰number.<v:shapetype> <v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0"></v:f><v:f eqn="sum @0 1 0"></v:f><v:f eqn="sum 0 0 @1"></v:f><v:f eqn="prod @2 1 2"></v:f><v:f eqn="prod @3 21600 pixelWidth"></v:f><v:f eqn="prod @3 21600 pixelHeight"></v:f><v:f eqn="sum @0 0 1"></v:f><v:f eqn="prod @6 1 2"></v:f><v:f eqn="prod @7 21600 pixelWidth"></v:f><v:f eqn="sum @8 21600 0"></v:f><v:f eqn="prod @7 21600 pixelHeight"></v:f><v:f eqn="sum @10 21600 0"></v:f></v:formulas><v:path extrusionok="f" connecttype="rect" gradientshapeok="t"></v:path><LOCK aspectratio="t" v:ext="edit"></LOCK></v:shapetype><v:shape><v:imagedata></v:imagedata></v:shape>
3) 注意本句和注3.中where的用法,一般当需要附加说明句子中某一对象时可用此结构.

hehe123 发表于 2004-11-27 12:24

ExerciseI. Turn the following arithmetic expressions into English:i) 3+(-2)=1 ii) 2+3(-4)=-10iii) <v:shapetype><v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0"></v:f><v:f eqn="sum @0 1 0"></v:f><v:f eqn="sum 0 0 @1"></v:f><v:f eqn="prod @2 1 2"></v:f><v:f eqn="prod @3 21600 pixelWidth"></v:f><v:f eqn="prod @3 21600 pixelHeight"></v:f><v:f eqn="sum @0 0 1"></v:f><v:f eqn="prod @6 1 2"></v:f><v:f eqn="prod @7 21600 pixelWidth"></v:f><v:f eqn="sum @8 21600 0"></v:f><v:f eqn="prod @7 21600 pixelHeight"></v:f><v:f eqn="sum @10 21600 0"></v:f></v:formulas><v:path extrusionok="f" connecttype="rect" gradientshapeok="t"></v:path><LOCK aspectratio="t" v:ext="edit"></LOCK></v:shapetype><v:shape><v:imagedata></v:imagedata></v:shape>= -5<v:shape> <v:imagedata></v:imagedata></v:shape> iv) <v:shape><v:imagedata></v:imagedata></v:shape>=3v)2/5-1/6=7/30II. Fill in each blank the missing mathematical term to mark the following sentences complete.i) The of two real numbers of unlike signs is negative.ii) An integer n is called if n=2m for some integer m.iii) An solution to the equation xn=c is called the n is of c.iv) If x is a real number, then the of x is a nonnegative real number denoted by |x| and defined as follows x, if x<v:shape> <v:imagedata></v:imagedata></v:shape>0 <v:shape><v:imagedata></v:imagedata></v:shape>|x|= <v:shape><v:imagedata></v:imagedata></v:shape>-x, if x <0III. Translate the following exercises into Chinese:i) If x is an arbitrary real number, prove that there is exactly one integer n such that x<n<x+1.ii) Prove that there is no rational number whose square in 2.iii) Given positive real numbers a1,a2,a3,…such that an<can-1 for all n>2, where c is a fixed positive number, use induction to prove that an<cn-1a1, for all n>1.iv) Determine all positive integers n for which 2n<n!Ⅳ Translate the following passage into Chinese: There are many ways to introduce the real number system. One popular method is to begin with the positive integers 1,2,3,…and use them as building blocks to construct a more comprehensive system having the properties desired. Briefly, the idea of this method is to take the positive integers as undefined concepts, state some axioms concerning them, and them use the positive integers to build a larger system consisting of the positive rational numbers. The positive irrational numbers, in turn, may then be used as basis for constructing the positive irrational numbers. The final step is the introduction of the negative numbers and zero. The most difficult part of the whole process is the transition from the rational numbers to the irrational num
Ⅴ. Translate the following theorems into English: 1. 定理A: 每一非负数有唯一一个非负平方根. 2. 定理B: 若x>0, y是任意一实数,则存在一正整数n使得nx > y.Ⅵ. 1. Try to show the structure of the set of real numbers graphically. 2. List and state the laws that operations of addition and multiplication of real numbers obey.

hehe123 发表于 2004-11-27 12:26

数学专业英语[2]－Basic Concepts of the Theory of Sets

数学专业英语－Basic Concepts of the Theory of Sets





In discussing any branch of mathematics, be it analysis, algebra, or geometry, it is helpful to use the notation and terminology of set theory. This subject, which was developed by Boole and Cantor in the latter part of the 19th century, has had a profound influence on the development of mathematics in the 20th century. It has unified many seemingly disconnected ideas and has helped to reduce many mathematical concepts to their logical foundations in an elegant and systematic way. A thorough treatment of theory of sets would require a lengthy discussion which we regard as outside the scope of this book. Fortunately, the basic noticns are few in number, and it is possible to develop a working knowledge of the methods and ideas of set theory through an informal discussion . Actually, we shall discuss not so much a new theory as an agreement about the precise terminology that we wish to apply to more or less familiar ideas.
In mathematics, the word “set” is used to represent a collection of objects viewed as a single entity
The collections called to mind by such nouns as “flock”, “tribe”, ‘crowd”, “team’, are all examples of sets, The individual objects in the collection are called elements or members of the set, and they are said to belong to or to be contained in the set. The set in turn ,is said to contain or be composed of its elements.
 We shall be interested primarily in sets of mathematical objects: sets of numbers, sets of curves, sets of geometric figures, and so on. In many applications it is convenient to deal with sets in which nothing special is assumed about the nature of the individual objects in the collection. These are called abstract sets. Abstract set theory has been developed to deal with such collections of arbitrary objects, and from this generality the theory derives its power.
 NOTATIONS. Sets usually are denoted by capital letters: A,B,C,….X,Y,Z ; elements are designated by lower-case letters: a, b, c,….x, y, z. We use the special notation 
X∈S
To mean that “x is an element of S “or” x belongs to S”. If x does not belong to S, we write x∈S. When convenient ,we shall designate sets by displaying the elements in braces; for example ，the set of positive even integers less than 10 is denoted by the symbol{2,4,6,8}whereas the set of all positive even integers is displayed as {2,4,6,…},the dots taking the place of “and so on”.
 The first basic concept that relates one set to another is equality of sets:
DEFINITION OF SET EQUALITY Two sets A and B are said to be equal(or identical)if they consist of exactly the same elements, in which case we write A=B. If one of the sets contains an element not in the other ,we say the sets are unequal and we write A≠B.
 SUBSETS. From a given set S we may form new sets, called subsets of S. For example, the set consisting of those positive integers less than 10 which are divisible by 4(the set{4,8})is a subset of the set of all even integers less than 10.In general, we have the following definition.
DEFINITION OF A SUBSET.A set A is said to be a subset of a set B, and we write 
A<v:shapetype> <v:stroke joinstyle="miter"></v:stroke><v:formulas><v:f eqn="if lineDrawn pixelLineWidth 0"></v:f><v:f eqn="sum @0 1 0"></v:f><v:f eqn="sum 0 0 @1"></v:f><v:f eqn="prod @2 1 2"></v:f><v:f eqn="prod @3 21600 pixelWidth"></v:f><v:f eqn="prod @3 21600 pixelHeight"></v:f><v:f eqn="sum @0 0 1"></v:f><v:f eqn="prod @6 1 2"></v:f><v:f eqn="prod @7 21600 pixelWidth"></v:f><v:f eqn="sum @8 21600 0"></v:f><v:f eqn="prod @7 21600 pixelHeight"></v:f><v:f eqn="sum @10 21600 0"></v:f></v:formulas><v:path extrusionok="f" connecttype="rect" gradientshapeok="t"></v:path><LOCK aspectratio="t" v:ext="edit"></LOCK></v:shapetype><v:shape><v:imagedata></v:imagedata></v:shape>B
Whenever every element of A also belongs to B. We also say that A is contained in B or B contains A. The relation is referred to as set inclusion.
 The statement A<v:shape> <v:imagedata></v:imagedata></v:shape>B does not rule out the possibility that B<v:shape> <v:imagedata></v:imagedata></v:shape>A. In fact, we may have both A<v:shape> <v:imagedata></v:imagedata></v:shape>B and B<v:shape> <v:imagedata></v:imagedata></v:shape>A, but this happens only if A and B have the same elements. In other words, A=B if and only if A<v:shape> <v:imagedata></v:imagedata></v:shape>B and B<v:shape> <v:imagedata></v:imagedata></v:shape>A .
 This theorem is an immediate consequence of the foregoing definitions of equality and inclusion. If A<v:shape> <v:imagedata></v:imagedata></v:shape>B but A≠B, then we say that A is a proper subset of B: we indicate this by writing A<v:shape> <v:imagedata></v:imagedata></v:shape>B.
 In all our applications of set theory, we have a fixed set S given in advance, and we are concerned only with subsets of this given set. The underlying set S may vary from one application to another; it will be referred to as the universal set of each particular discourse.
 The notation 
 {X∣X∈S. and X satisfies P}
will designate the set of all elements X in S which satisfy the property P. When the universal set to which we are referring id understood, we omit the reference to S and we simply write{X∣X satisfies P}.This is read “the set of all x such that x satisfies p.” Sets designated in this way are said to be described by a defining property For example, the set of all positive real numbers could be designated as {X∣X>0};the universal set S in this case is understood to be the set of all real numbers. Of course, the letter x is a dummy and may be replaced by any other convenient symbol. Thus we may write 
{x∣x>0}={y∣y>0}={t∣t>0}
and so on .
 It is possible for a set to contain no elements whatever. This set is called the empty set or the void set, and will be denoted by the symbolφ.We will consider φto be a subset of every set. Some people find it helpful to think of a set as analogous to a container(such as a bag or a box)containing certain objects, its elements. The empty set is then analogous to an empty container.
 To avoid logical difficulties, we must distinguish between the element x and the set {x} whose only element is x ,(A box with a hat in it is conceptually distinct from the hat itself.)In particular, the empty setφis not the same as the set {φ}.In fact, the empty set φcontains no elements whereas the set {φ} has one element φ(A box which contains an empty box is not empty).Sets consisting of exactly one element are sometimes called one-element sets.
 UNIONS,INTERSECTIONS, COMPLEMENTS. From two given sets A and B, we can form a new set called the union of A and B. This new set is denoted by the symbol
A∪B(read: “A union B”)
And is defined as the set of those elements which are in A, in B, or in both. That is to say, A∪B is the set of all elements which belong to at least one of the sets A,B.
 Similarly, the intersection of A and B, denoted by
A∩B(read: “A intersection B”)
Is defined as the set of those elements common to both A and B. Two sets A and B are said to be disjoint if A∩B=φ.
 If A and B are sets, the difference A-B (also called the complement of B relative to A)is defined to be the set of all elements of A which are not in B. Thus, by definition,
A- B={X|X∈A and X<v:shape> <v:imagedata></v:imagedata></v:shape>B}
 The operations of union and intersection have many formal similarities with (as well as differences from) ordinary addition and multiplications of union and intersection, it follows that A∪B=B∪A and A∩B=B∩A. That is to say, union and intersection are commutative operations. The definitions are also phrased in such a way that the operations are associative:
(A∪B)∪C=A∪(B∪C)and(A∩B)∩C=A=∩(B∩C).
 The operations of union and intersection can be extended to finite or infinite collections of sets.

hehe123 发表于 2004-11-27 12:26

<A>Vocabulary</A>
Set 集合 proper subset 真子集Set theory 集合论 universal set 泛集Branch 分支 empty set空集 Analysis 分析 void set 空集Geometry 几何学 union 并，并集Notation 记号，记法 intersection交，交集Terminology 术语，名词表 complement余，余集Logic 逻辑 relative to相对于Logical 逻辑的 finite有限的Systematic 系统的 disjoint不相交Informal 非正式的 infinite无限的Formal正式的 cardinal number基数，纯数Entity 实在物 ordinal number序数Element 元素 generality一般性，通性Abstract set 抽象集 subset子集Designate 指定， divisible可除的Notion 概念 set inclusion 集的包含Braces 大括号 immediate consequence直接结果Identical 恒同的，恒等的

hehe123 发表于 2004-11-27 12:27

Notes
1. In discussing any branch of mathematics, be it analysis, algebra, or geometry, it is helpful to use the notation and terminology of set theory.意思是：在讨论数学的任何分支时，无论是分析，代数或分析，利用集合论的记号和术语是有帮助的。这一句中be it analysis, algebra, or geometry 是以be开头的状语从句，用倒装形式。类似的句子还有：people will use the tools in further investigations, be it in mathematic, hysics , or what have you .2. Actually, we shall discuss not so much a new theory as an agreement about the precise terminology that we wish to more or less familiar ideas.意思是：事实上，我恩将讨论的与其说是一种新理论，不如说是关于精确术语的一种约定，我们希望将它们应用到或多或少熟悉的思想上去。注意：not so much A as B 在这里解释为“与其说A不如说B。”类似的用法如：This is not so much a lecture as a friendly chat.(与其说这是演讲不如说是朋友间的交谈。)3．Two sets A and B are said to be equal if they consist of exactly the same elements, in which case we write A=B. 数学上常常在给定了定义后，就 用符号来表达。上面句子是常见句型。类似的表达法有：A set A is said to be a subset of a set B, and we write A=B whenever every element of A also belongs to B. This set is called the empty set or the void set, and will be denoted by the symbol Φ.

页: 1 [2] 3 4 5 6 7 8 9 10 11

数学建模社区-数学中国's Archiver

数学专业英语[20]－Mathematical Discovery

数学专业英语[21]－Notations and Abbreviations (I) Learn to understand

数学专业英语[22]－Notations and Abbreviations (II) Learn to read

数学专业英语[2]－Basic Concepts of the Theory of Sets