The homotopy dimension of codiscrete subsets of the 2-sphere

数学专业英语词汇(N)n ary relation n元关系n ball n维球n cell n维胞腔n chromatic graph n色图n coboundary n上边缘n cocycle n上循环n connected space n连通空间n dimensional column vector n维列向量n dimensional euclidean space n维欧几里得空间n dimensional rectangular parallelepiped n维长方体n dimensional row vector n维行向量n dimensional simplex n单形n dimensional skeleton n维骨架n disk n维圆盘n element set n元集n fold extension n重扩张n gon n角n graph n图n homogeneous variety n齐次簇n person game n人对策n simplex n单形n sphere bundle n球丛n th member 第n项n th partial quotient 第n偏商n th power operation n次幂运算n th root n次根n th term 第n项n times continuously differentiable n次连续可微的n times continuously differentiable function n次连续可微函数n tuple n组n tuply connected domain n重连通域n universal bundle n通用丛nabla 倒三角算子nabla calculation 倒三角算子计算nabla operator 倒三角算子napier's logarithm 讷代对数natural boundary 自然边界natural boundary condition 自然边界条件natural coordinates 自然坐标natural equation 自然方程natural equivalence 自然等价natural exponential function 自然指数函数natural frequency 固有频率natural geometry 自然几何natural injection 自然单射natural isomorphism 自然等价natural language 自然语言natural logarithm 自然对数natural mapping 自然映射natural number 自然数natural oscillation 固有振荡natural sine 正弦真数natural transformation 自然变换naught 零necessary and sufficient conditions 必要充分的条件necessary and sufficient statistic 必要充分统计量necessary condition 必要条件necessity 必然性negation 否定negation sign 否定符号negation symbol 否定符号negative 负数negative angle 负角negative binomial distribution 负二项分布negative complex 负复形negative correlation 负相关negative definite form 负定型negative definite hermitian form 负定埃尔米特形式negative definite quadratic form 负定二次形式negative function 负函数negative number 负数negative operator 负算子negative parity 负电阻negative part 负部分negative particular proposition 否定特称命题negative proposition 否定命题negative rotation 反时针方向旋转negative semidefinite 半负定的negative semidefinite eigenvalue problem 半负定特盏问题negative semidefinite form 半负定型negative semidefinite quadratic form 半负定二次形式negative sign 负号negative skewness 负偏斜性negative variation 负变差negligible quantity 可除量neighborhood 邻域neighborhood base 邻域基neighborhood basis 邻域基neighborhood filter 邻域滤子neighborhood retract 邻域收缩核neighborhood space 邻域空间neighborhood system 邻域系neighborhood topology 邻域拓扑neighboring vertex 邻近项点nephroid 肾脏线nerve 神经nested intervals 区间套net 网net function 网格函数net of curves 曲线网net of lines 直线网network 网络network analysis 网络分析network flow problem 网络潦题network matrix 网络矩阵neumann boundary condition 诺伊曼边界条件neumann function 诺伊曼函数neumann problem 诺伊曼问题neumann series 诺伊曼级数neutral element 零元素neutral line 中线neutral plane 中性平面neutral point 中性点newton diagram 牛顿多边形newton formula 牛顿公式newton identities 牛顿恒等式newton interpolation polynomial 牛顿插值多项式newton method 牛顿法newton potential 牛顿位势newtonian mechanics 牛顿力学nice function 佳函数nil ideal 零理想nil radical 幂零根基nilalgebra 幂零代数nilpotency 幂零nilpotent 幂零nilpotent algebra 幂零代数nilpotent element 幂零元素nilpotent group 幂零群nilpotent ideal 幂零理想nilpotent matrix 幂零矩阵nilpotent radical 幂零根基nine point circle 九点圆nine point finite difference scheme 九点有限差分格式niveau line 等位线niveau surface 等位面nodal curve 结点曲线nodal line 交点线nodal point 节点node 节点node locus 结点轨迹node of a curve 曲线的结点noetherian category 诺特范畴noetherian object 诺特对象nomogram 算图nomographic 列线图的nomographic chart 算图nomography 图算法non additivity 非加性non archimedean geometry 非阿基米德几何non archimedean valuation 非阿基米德赋值non countable set 不可数集non critical point 非奇点non denumerable 不可数的non denumerable set 不可数集non developable ruled surface 非可展直纹曲面non enumerable set 不可数集non euclidean geometry 非欧几里得几何学non euclidean motion 非欧几里得运动non euclidean space 非欧几里得空间non euclidean translation 非欧几里得平移non euclidean trigonometry 非欧几里得三角学non homogeneity 非齐non homogeneous chain 非齐次马尔可夫链non homogeneous markov chain 非齐次马尔可夫链non isotropic plane 非迷向平面non linear 非线性的non negative semidefinite matrix 非负半正定阵non oriented graph 无向图non parametric test 无分布检验non pascalian geometry 非拍斯卡几何non ramified extension 非分歧扩张non rational function 无理分数non relativistic approximation 非相对性近似non reversibility 不可逆性non singular 非奇的non stationary random process 不平稳随机过程non steady state 不稳定状态non symmetric 非对称的non symmetry 非对称non zero sum game 非零和对策nonabsolutely convergent series 非绝对收敛级数nonagon 九边形nonassociate 非结合的nonassociative ring 非结合环nonbasic variable 非基本变量noncentral chi squre distribution 非中心分布noncentral f distribution 非中心f分布noncentral t distribution 非中心t分布noncentrality parameter 非中心参数nonclosed group 非闭群noncommutative group 非交换群noncommutative ring 非交换环noncommutative valuation 非交换赋值noncommuting operators 非交换算子noncomparable elements 非可比元素nondegeneracy 非退化nondegenerate collineation 非退化直射变换nondegenerate conic 非退化二次曲线nondegenerate critical point 非退化临界点nondegenerate distribution 非退化分布nondegenerate set 非退化集nondense set 疏集nondenumerability 不可数性nondeterministic automaton 不确定性自动机nondiagonal element 非对角元nondiscrete space 非离散空间nonexistence 不存在性nonfinite set 非有限集nonholonomic constraint 不完全约束nonhomogeneity 非齐性nonhomogeneous 非齐次的nonhomogeneous linear boundary value problem 非齐次线性边值问题nonhomogeneous linear differential equation 非齐次线性微分方程nonhomogeneous linear system of differential equations 非齐次线性微分方程组nonisotropic line 非迷向线nonlimiting ordinal 非极限序数nonlinear equation 非线性方程nonlinear functional analysis 非线性泛函分析nonlinear lattice dynamics 非线性点阵力学nonlinear operator 非线性算子nonlinear optimization 非线性最优化nonlinear oscillations 非线性振动nonlinear problem 非线性问题nonlinear programming 非线性最优化nonlinear restriction 非线性限制nonlinear system 非线性系统nonlinear trend 非线性瞧nonlinear vibration 非线性振动nonlinearity 非线性nonlogical axiom 非逻辑公理nonlogical constant 非逻辑常数nonmeager set 非贫集nonmeasurable set 不可测集nonnegative divisor 非负除数nonnegative number 非负数nonnumeric algorithm 非数值的算法nonorientable contour 不可定向周线nonorientable surface 不可定向的曲面nonorthogonal factor 非正交因子nonparametric confidence region 非参数置信区域nonparametric estimation 非参数估计nonparametric method 非参数法nonparametric test 非参数检定nonperfect set 非完备集nonperiodic 非周期的nonperiodical function 非周期函数nonplanar graph 非平面图形nonprincipal character 非重贞nonrandom sample 非随机样本nonrandomized test 非随机化检验nonrational function 非有理函数nonremovable discontinuity 非可去不连续点nonrepresentative sampling 非代表抽样nonresidue 非剩余nonsense correlation 产生错觉相关nonsingular bilinear form 非奇双线性型nonsingular curve 非奇曲线nonsingular linear transformation 非退化线性变换nonsingular matrix 非退化阵nonspecial group 非特殊群nonstable 不稳定的nonstable homotopy group 非稳定的同伦群nonstandard analysis 非标准分析nonstandard model 非标准模型nonstandard numbers 非标准数nonsymmetric relation 非对称关系nonsymmetry 非对称nontangential 不相切的nontrivial element 非平凡元素nontrivial solution 非平凡解nonuniform convergence 非一致收敛nonvoid proper subset 非空真子集nonvoid set 非空集nonzero vector 非零向量norm 范数norm axioms 范数公理norm form 范形式norm of a matrix 阵的范数norm of vector 向量的模norm preserving mapping 保范映射norm residue 范数剩余norm residue symbol 范数剩余符号norm topology 范拓朴normability 可模性normal 法线normal algorithm 正规算法normal basis theorem 正规基定理normal bundle 法丛normal chain 正规链normal cone 法锥面normal congruence 法汇normal coordinates 正规坐标normal correlation 正态相关normal curvature 法曲率normal curvature vector 法曲率向量normal curve 正规曲线normal density 正规密度normal derivative 法向导数normal dispersion 正常色散normal distribution 正态分布normal distribution function 正态分布函数normal equations 正规方程normal error model 正规误差模型normal extension 正规开拓normal family 正规族normal force 法向力normal form 标准型normal form problem 标准形问题normal form theorem 正规形式定理normal function 正规函数normal homomorphism 正规同态normal integral 正规积分normal linear operator 正规线性算子normal mapping 正规映射normal matrix 正规矩阵normal number 正规数normal operator 正规算子normal order 良序normal plane 法面normal polygon 正规多角形normal polynomial 正规多项式normal population 正态总体normal probability paper 正态概率纸normal process 高斯过程normal sequence 正规序列normal series 正规列normal set 良序集normal simplicial mapping 正规单形映射normal solvable operator 正规可解算子normal space 正规空间normal surface 法曲面normal tensor 正规张量normal to the surface 曲面的法线normal valuation 正规赋值normal variate 正常变量normal variety 正规簇normal vector 法向量normality 正规性normalization 标准化normalization theorem 正规化定理normalize 正规化normalized basis 正规化基normalized function 规范化函数normalized variate 正规化变量normalized vector 正规化向量normalizer 正规化子normalizing factor 正则化因数normed algebra 赋范代数normed linear space 赋范线性空间normed space 赋范线性空间northwest corner rule 北午角规则notation 记法notation free from bracket 无括号记号notation of backus 巴科斯记号notion 概念nought 零nowhere convergent sequence 无处收敛序列nowhere convergent series 无处收敛级数nowhere dense 无处稠密的nowhere dense set 无处稠密点集nowhere dense subset 无处稠密子集nuclear operator 核算子nuclear space 核空间nucleus of an integral equation 积分方程的核null 零null class 零类null divisor 零因子null ellipse 零椭圆null function 零函数null hypothesis 虚假设null line 零线null matrix 零矩阵null method 衡消法null plane 零面null point 零点null ray 零射线null relation 零关系null representation 零表示null sequence 零序列null set 空集null solution 零解null system 零系null transformation 零变换null vector 零向量nullity 退化阶数nullring 零环nullspace 零空间number 数number defined by cut 切断数number defined by the dedekind cut 切断数number field 数域number interval 数区间number line 数值轴number notation 数记法number of partitions 划分数number of repetitions 重复数number of replications 重复数number of sheets 叶数number sequence 数列number set 数集number system 数系number theory 数论number variable 数变量numeration 计算numerator 分子numeric representation of information 信息的数值表示numerical 数值的numerical algorithm 数值算法numerical axis 数值轴numerical calculation 数值计算numerical coding 数值编码numerical coefficient 数字系数numerical computation 数值计算numerical constant 数值常数numerical data 数值数据numerical determinant 数字行列式numerical differentiation 数值微分numerical equality 数值等式numerical equation 数字方程numerical error 数值误差numerical example 数值例numerical function 数值函数numerical inequality 数值不等式numerical integration 数值积分法numerical invariant 不变数numerical mathematics 数值数学numerical method 数值法numerical model 数值模型numerical operator 数字算子numerical quadrature 数值积分法numerical series 数值级数numerical solution 数值解numerical solution of linear equations 线性方程组的数值解法numerical stability 数值稳定性numerical table 数表numerical value 数值numerical value equation 数值方程nutation 章动。

考研论坛»数学»低维拓扑knight51发表于2005-7-28 08:34低维拓扑<P>下面说说低维拓扑的内容：低维拓扑是微分拓扑的一部分，主要研究3，4维流形与纽结理论。

又叫几何拓扑。

主要以代数拓扑与微分拓扑为工具。

它与微分几何和动力系统关系密切。

国外搞这个方向的也几乎都搞微分几何和动力系统。

我国这个方向北大最牛，美国是伯克利和普林斯顿最牛。

比起代数几何来，它比较好入门。

初学者只需要代数拓扑，微分拓扑，黎曼几何的知识就行了。

美国这方面比较牛，几乎每个搞基础数学研究的都会低维拓扑。

</P><DIV class=postcolor>纠正一下上面的错误，美国也不是每个搞基础数的都精通低维拓扑，而是懂一些低维拓扑的知识。

如果入门后还想更加深入了解它，那还需要读一些双曲几何和拓扑动力系统的书。

</DIV><!-- THE POST --><!-- THE POST --><DIV class=postcolor>下面介绍一下这方面的牛人：Bill Thurston studied at New College, Sarasota, Florida. He received his B.S. from there in 1967 and moved to the University of California at Berkeley to undertake research under Morris Hirsch's and Stephen Smale's supervision. He was awarded his doctorate in 1972 for a thesis entitled Foliations of 3-manifolds which are circle bundles. This work showed the existence of compact leaves in foliations of 3-dimensional manifolds.After completing his Ph.D., Thurston spent the academic year 1972-73 at the Institute for Advanced Study at Princeton. Then, in 1973, he was appointed an assistant professor of mathematics at Massachusetts Institute of Technology. In 1974 he was appointed professor of mathematics at Princeton University.Throughout this period Thurston worked on foliations. Lawson ([5]) sums up this work:-It is evident that Thurston's contributions to the field of foliations are of considerable depth. However, what sets them apart is their marvellous originality. This is also true of his subsequent work on Teichmüller space and the theory of 3-manifolds.In [8] Wall describes Thurston's contributions which led to him being awarded a Fields Medal in 1982. In fact the1982 Fields Medals were announced at a meeting of the General Assembly of the International Mathematical Union in Warsaw in early August 1982. They were not presented until the International Congress in Warsaw which could not be held in 1982 as scheduled and was delayed until the following year. Lectures on the work of Thurston which led to his receiving the Medal were made at the 1983 International Congress. Wall, giving that address, said:-Thurston has fantastic geometric insight and vision: his ideas have completely revolutionised the study of topology in 2 and 3 dimensions, and brought about a new and fruitful interplaybetween analysis, topology and geometry.Wall [8] goes on to describe Thurston's work in more detail:-The central new idea is that a very large class of closed 3-manifolds should carry a hyperbolic structure - be the quotient of hyperbolic space by a discrete group of isometries, or equivalently, carry a metric of constant negative curvature. Although this is a natural analogue of the situation for 2-manifolds, where such a result is given by Riemann's uniformisation theorem, it is much less plausible - even counter-intuitive - in the 3-dimensional situation.Kleinian groups, which are discrete isometry groups of hyperbolic 3-space, were first studied by Poincaré and a fundamental finiteness theorem was proved by Ahlfors. Thurston's work on Kleinian groups yielded many new results and established a well known conjecture. Sullivan describes this geometrical work in [6], giving the following summary:-Thurston's results are surprising and beautiful. The method is a new level of geometrical analysis - in the sense of powerful geometrical estimation on the one hand, and spatial visualisation and imagination on the other, which are truly remarkable.Thurston's work is summarised by Wall [8]:-Thurston's work has had an enormous influence on 3-dimensional topology. This area has a strong tradition of 'bare hands' techniques and relatively little interaction with other subjects. Direct arguments remain essential, but 3-dimensional topology has now firmly rejoined the main stream of mathematics.Thurston has received many honours in addition to the Fields Medal. He held a Alfred P Sloan Foundation Fellowship in 1974-75. In 1976 his work on foliations led to his being awarded the Oswald Veblen Geometry Prize of the American Mathematical Society. In 1979 he was awarded the Alan T Waterman Award, being the second mathematician to receive such an award (the first being Fefferman in 1976).</DIV><!-- THE POST -->第2个牛人：Michael Freedman entered the University of California at Berkeley in 1968 and continued his studies at Princeton University in 1969. He was awarded a doctorate by Princeton in 1973 for his doctoral dissertation entitled Codimension-Two Surgery. His thesis supervisor was William Browder.After graduating Freedman was appointed a lecturer in the Department of Mathematics at the University of California at Berkeley. He held this post from 1973 until 1975 when he became a member of the Institute for Advanced Study at Princeton. In 1976 he was appointed as assistant professor in the Department of Mathematics at the University of California at San Diego.Freedman was promoted to associate professor at San Diego in 1979. He spent the year 1980/81 at the Institute for Advanced Study at Princeton returning to the University of California at San Diego where he was promoted to professor on 1982. He holds this post in addition to the Charles Lee Powell Chair of Mathematics which he was appointed to in 1985.Freedman was awarded a Fields Medal in 1986 for his work on the Poincaré conjecture. The Poincaré conjecture, one of the famous problems of 20th-century mathematics, asserts that a simply connected closed 3-dimensional manifold is a 3-dimensional sphere. The higher dimensional Poincaréconjecture claims that any closed n-manifold which is homotopy equivalent to the n-sphere must be the n-sphere. When n = 3 this is equivalent to the Poincaré conjecture. Smale proved the higher dimensional Poincaré conjecture in 1961 for n at least 5. Freedman proved the conjecture for n = 4 in 1982 but the original conjecture remains open.Milnor, describing Freedman's work which led to the award of a Fields Medal at the International Congress of Mathematicians in Berkeley in 1986, said:-Michael Freedman has not only proved the Poincaré hypothesis for 4-dimensional topological manifolds, thus characterising the sphere S4, but has also given us classification theorems, easy to state and to use but difficult to prove, for much more general 4-manifolds. The simple nature of his results in the topological case must be contrasted with the extreme complications which are now known to occur in the study of differentiable and piecewise linear 4-manifolds. ... Freedman's 1982 proof of the 4-dimensional Poincaré hypothesis was an extraordinary tour de force. His methods were so sharp as to actually provide a complete classification of all compact simply connected topological 4-manifolds, yielding many previously unknown examples of such manifolds, and many previously unknown homeomorphisms between known manifolds.Freedman has received many honours for his work. He was California Scientist of the Year in 1984 and, in the same year, he was made a MacArthur Foundation Fellow and also was elected to the National Academy of Sciences. In 1985 he was elected to the American Academy of Arts and Science. In addition to being awarded the Fields Medal in 1986, he also received the Veblen Prize from the American Mathematical Society in that year. The citation for the Veblen Prize reads (see [3]):-After the discovery in the early 60s of a proof for the Poincaré conjecture and other properties of simply connected manifolds of dimension greater than four, one of the biggest open problems, besides the three dimensional Poincaré conjecture, was the classification of closed simply connected four manifolds. In his paper, The topology of four-dimensional manifolds, published in the Journal of Differential Geometry (1982), Freedman solved this problem, and in particular, the four-dimensional Poincaré conjecture. The major innovation was the solution of the simply connected surgery problem by proving a homotopy theoretic condition suggested by Casson for embedding a 2-handle, i.e. a thickened disc in a four manifold with boundary.Besides these results about closed simply connected four manifolds, Freedman also proved:(a) Any four manifold properly equivalent to R4 is homeomorphic to R4; a related result holds for S3 R.(b) There is a nonsmoothable closed four manifold.&copy; The four-dimensional Hauptvermutung is false; i.e. there are four manifolds with inequivalent combinatorial triangulations.Finally, we note that the results of the above mentioned paper, together with Donaldson's work, produced the startling example of an exotic smoothing of R4.In his reply Freedman thanked his teachers (who he said included his students) and also gave some fascinating views on mathematics [3]:-My primary interest in geometry is for the light it sheds on the topology of manifolds. Here it seems important to be open to the entire spectrum of geometry, from formal to concrete. By spectrum, I mean the variety of ways in which we can think about mathematical structures. At one extreme the intuition for problems arises almost entirely from mental pictures. At the other extreme the geometric burden is shifted to symbolic and algebraic thinking. Of course this extreme is only a middle ground from the viewpoint of algebra, which is prepared to go much further in the direction of formal operations and abandon geometric intuition altogether.In the same reply Freedman also talks about the influence mathematics can have on the world and the way that mathematicians should express their ideas:-In the nineteenth century there was a movement, of which Steiner was a principal exponent, to keep geometry pure and ward off the depredations of algebra. Today I think we feel that much of the power of mathematics comes from combining insights from seemingly distant branches of the discipline. Mathematics is not so much a collection of different subjects as a way of thinking. As such, it may be applied to any branch of knowledge. I want to applaud the efforts now being made by mathematicians to publish ideas on education, energy, economics, defence, and world peace. Experience inside mathematics shows that it isn't necessary to be an old hand in an area to make a contribution. Outside mathematics the situation is less clear, but I cannot help feeling that there, too, it is a mistake to leave important issues entirely to experts.In June 1987 Freedman was presented with the National Medal of Science at the White House by President Ronald Reagan. The following year he received the Humboldt Award and, in 1994, he received the Guggenheim Fellowship Award.<DIV class=postcolor>介绍第3个牛人：Simon Donaldson's secondary school education was at Sevenoaks School in Kent which he attended from 1970 to 1975. He then entered Pembroke College, Cambridge where he studied until 1980, receiving his B.A. in 1979. One of his tutors at Cambridge described him as a very good student but certainly not the top student in his year. Apparently he would always come to his tutorials carrying a violin case.In 1980 Donaldson began postgraduate work at Worcester College, Oxford, first under Nigel Hitchen's supervision and later under Atiyah's supervision. Atiyah writes in [2]:-In 1982, when he was a second-year graduate student, Simon Donaldson proved a result that stunned the mathematical world.This result was published by Donaldson in a paper Self-dual connections and the topology of smooth 4-manifolds which appeared in the Bulletin of the American Mathematical Society in 1983. Atiyah continues his description of Donaldson's work [2]:-Together with the important work of Michael Freedman ..., Donaldson's result implied that there are "exotic" 4-spaces, i.e. 4-dimensional differentiable manifolds which are topologically but not differentiably equivalent to the standard Euclidean 4-space R4. What makes this result so surprising is that n = 4 is the only value for which such exotic n-spaces exist. These exotic 4-spaces have the remarkable property that (unlike R4) they contain compact sets which cannot be contained inside any differentiably embedded 3-sphere !After being awarded his doctorate from Oxford in 1983, Donaldson was appointed a Junior Research Fellow at All Souls College, Oxford. He spent the academic year 1983-84 at the Institute for Advanced Study at Princeton, After returning to Oxford he was appointed Wallis Professor of Mathematics in 1985, a position he continues to hold.Donaldson has received many honours for his work. He received the Junior Whitehead Prize from the London Mathematical Society in 1985. In the following year he was elected a Fellow of the Royal Society and, also in 1986, he received a Fields Medal at the International Congress at Berkeley. In 1991 Donaldson received the Sir William Hopkins Prize from the Cambridge Philosophical Society. Then, the following year, he received the Royal Medal from the Royal Society. He also received the Crafoord Prize from the Royal Swedish Academy of Sciences in 1994:-... for his fundamental investigations in four-dimensional geometry through application of instantons, in particular his discovery of new differential invariants ...Atiyah describes the contribution which led to Donaldson's award of a Fields Medal in [2]. He sums up Donaldson's contribution:-When Donaldson produced his first few results on 4-manifolds, the ideas were so new and foreign to geometers and topologists that they merely gazed in bewildered admiration.Slowly the message has gotten across and now Donaldson's ideas are beginning to be used by others in a variety of ways. ... Donaldson has opened up an entirely new area; unexpected and mysterious phenomena about the geometry of 4-dimensions have been discovered. Moreover the methods are new and extremely subtle, using difficult nonlinear partial differential equations. On the other hand, this theory is firmly in the mainstream of mathematics, having intimate links with the past, incorporating ideas from theoretical physics, and tying in beautifully with algebraic geometry.The article [3] is very interesting and provides both a collection of reminiscences by Donaldson on how he came to make his major discoveries while a graduate student at Oxford and also a survey of areas which he has worked on in recent years. Donaldson writes in [3] that nearly all his work has all come under the headings:-(1) Differential geometry of holomorphic vector bundles.(2) Applications of gauge theory to 4-manifold topology.and he relates his contribution to that of many others in the field.Donaldson's work in summed up by R Stern in [6]:-In 1982 Simon Donaldson began a rich geometrical journey that is leading us to an exciting conclusion to this century. He has created an entirely new and exciting area of research through which much of mathematics passes and which continues to yield mysterious and unexpected phenomena about the topology and geometry of smooth 4-manifolds</DIV><DIV class=postcolor>下面continue介绍第4个牛人：Robion Kirby。

小学上册英语第1单元期末试卷考试时间：90分钟（总分:140）B卷一、综合题(共计100题共100分)1. 听力题：The Earth's lithosphere is divided into tectonic ______.2. 选择题：What is the capital of Bangladesh?A. DhakaB. ChittagongC. KhulnaD. Rajshahi3. 听力题：My friend is very ________.4. 听力题：A ______ is a tool used to observe chemical reactions.5. 听力题：The baby is ________ in the crib.6. 填空题：A sunflower turns towards the _____.7. 听力题：The ______ helps kids learn to read.8. 听力题：The _____ (clock) shows the time.9. 选择题：How many legs does a dog have?A. TwoB. FourC. Six答案: B10. 听力题：The stars are out at ___. (night)11. 听力题：Tsunamis are caused by underwater ______ or volcanic eruptions.12. 填空题：I like eating ______ (苹果) because they are crunchy and ______ (健康).13. 选择题：What do we call a large body of salt water?A. RiverB. LakeC. OceanD. Pond答案:C14. 填空题：Planting flowers in clusters can create a stunning visual ______ in your garden. (成簇种植花卉可以在花园中创造出惊艳的视觉效果。

(0,2) 插值||(0,2) interpolation0#||zero-sharp; 读作零井或零开。

0+||zero-dagger; 读作零正。

1-因子||1-factor3-流形||3-manifold; 又称“三维流形”。

AIC准则||AIC criterion, Akaike information criterionAp 权||Ap-weightA稳定性||A-stability, absolute stabilityA最优设计||A-optimal designBCH 码||BCH code, Bose-Chaudhuri-Hocquenghem codeBIC准则||BIC criterion, Bayesian modification of the AICBMOA函数||analytic function of bounded mean oscillation; 全称“有界平均振动解析函数”。

BMO鞅||BMO martingaleBSD猜想||Birch and Swinnerton-Dyer conjecture; 全称“伯奇与斯温纳顿－戴尔猜想”。

B样条||B-splineC*代数||C*-algebra; 读作“C星代数”。

C0 类函数||function of class C0; 又称“连续函数类”。

CA T准则||CAT criterion, criterion for autoregressiveCM域||CM fieldCN 群||CN-groupCW 复形的同调||homology of CW complexCW复形||CW complexCW复形的同伦群||homotopy group of CW complexesCW剖分||CW decompositionCn 类函数||function of class Cn; 又称“n次连续可微函数类”。

Cp统计量||Cp-statisticC。

托福阅读TPO25(试题+答案+译文)第1篇:ThesurfaceofMarsTPO是我们常用的托福模考工具，对我们的备考很有价值，下面我给大家带来托福阅读TPO25(试题+答案+译文)第1篇:The surface of Mars。

托福阅读原文【1】The surface of Mars shows a wide range of geologic features, including huge volcanoes-the largest known in the solar system-and extensive impact cratering. Three very large volcanoes are found on the Tharsis bulge, an enormous geologic area near Mars’s equator. Northwest of Tharsis is the largest volcano of all: Olympus Mons, with a height of 25 kilometers and measuring some 700 kilometers in diameter at its base. The three large volcanoes on the Tharsis bulge are a little smaller-a “mere”18 kilometers high.【2】None of these volcanoes was formed as a result of collisions between plates of the Martian crust-there is no plate motion on Mars. Instead, they are shield volcanoes — volcanoes with broad, sloping slides formed by molten rock. All four show distinctive lava channels and other flow features similar to those found on shield volcanoes on Earth. Images of the Martian surface reveal many hundreds of volcanoes. Most of the largest volcanoes are associated with the Tharsis bulge, but many smaller ones are found in the northern plains.【3】The great height of Martian volcanoes is a direct consequence of the planet’s low surface gravity. As lava flows and spreads to form a shield volcano, the volcano’s eventual height depends on the new mountain’s ability to support its own weight. The lower the gravity, the lesser the weight and the greater the height of the mountain. It is no accident that Maxwell Mons on Venus and the Hawaiian shield volcanoes on Earth rise to about the same height (about 10 kilometers) above their respective bases-Earth and Venus have similar surface gravity. Mars’s surface gravity is only 40 percent that of Earth, so volcanoes rise roughly 2.5 times as high. Are the Martian shield volcanoes still active? Scientists have no direct evidence for recent or ongoing eruptions, but if these volcanoes were active as recently as 100 million years ago (an estimate of the time of last eruption based on the extent of impact cratering on their slopes), some of them may still be at least intermittently active. Millions of years, though, may pass between eruptions.【4】Another prominent feature of Mars’s surface is cratering. The Mariner spacecraft found that the surface of Mars, as well as that of its two moons, is pitted with impact craters formed by meteoroids falling in from space. As on our Moon, the smaller craters are often filled with surface matter-mostly dust-confirming that Mars is a dry desert world. However, Martian craters get filled in considerably faster than their lunar counterparts. On the Moon, ancient craters less than 100 meters across (corresponding to depths of about 20 meters) have been obliterated, primarily by meteoritic erosion. On Mars, there are relatively few craters less than 5 kilometers in diameter. The Martian atmosphere is an efficient erosive agent, with Martian winds transporting dust from place to place and erasing surface features much faster than meteoritic impacts alone can obliterate them.【5】As on the Moon, the extent of large impact cratering (i.e. craters too big to have been filled in by erosion since they were formed) serves as an age indicator forthe Martian surface. Age estimates ranging from four billion years for Mars’s southern highlands to a few hundred million years in the youngest volcanic areas were obtained in this way.【6】The detailed appearance of Martian impact craters provides an important piece of information about conditions just below the planet’s surface. Martian craters are surrounded by ejecta (debris formed as a result of an impact) that looks quite different from its lunar counterparts. A comparison of the Copernicus crater on the Moon with the (fairly typical) crater Yuty on Mars demonstrates the differences. The ejecta surrounding the lunar crater is just what one would expect from an explosion ejecting a large volume of dust, soil, and boulders. However, the ejecta on Mars gives the distinct impression of a liquid that has splashed or flowed out of crater. Geologists think that this fluidized ejecta crater indicates that a layer of permafrost, or water ice, lies just a few meters under the surface. Explosive impacts heated and liquefied the ice, resulting in the fluid appearance of the ejecta.托福阅读试题1.The word “enormous”(paragraph 1)in the passage is closest in meaning toA.importantB.extremely largeC.highly unusualD.active2.According to paragraph 1, Olympus Mons differs from volcanoes on the Tharsis bulge in that Olympus MonsA.has more complex geologic featuresB.shows less impact crateringC.is tallerD.was formed at a later time3.The word “distinctive”(paragraph 1)in the passage is closest in meaning toA.deep.plex.C.characteristic.D.ancient.4.According to paragraphs 1 and 2, which of the following is NOT true of the shield volcanoes on the Tharsis bulge?A.They have broad, sloping sides.B.They are smaller than the largest volcano on Mars.C.They have channels that resemble the lava channels of volcanoes on Earth.D.They are over 25 kilometers tall.5.The word “roughly” in the passage is closest in meaning toA.typically.B.frequently.C.actually.D.approximately.6.In paragraph 3, why does the author compare Maxwell Mons on Venus to the Hawaiian shield volcanoes on Earth?A.To help explain the relationship between surface gravity and volcano height.B.To explain why Mars’s surface gravity is only 40 percent of Earth’s.C.To point out differences between the surface gravity of Earth and the surface gravity of Venus.D.To argue that there are more similarities than differences between volcanoes on different planets.7.Which of the sentences below best expresses the essential information in the highlighted sentence in the passage? Incorrect choices change the meaningin important ways or leave out essential information.A.Although direct evidence of recent eruptions is lacking, scientists believe that these volcanoes were active as recently as 100 million years ago.B.Scientists estimate that volcanoes active more recently than 100 years ago will still have extensive impact cratering on their slopes.C.If, as some evidence suggests, these volcanoes erupted as recently as 100 million years ago, they may continue to be intermittently active.D.Although these volcanoes were active as recently as 100 million years ago, there is no direct evidence of recent or ongoing eruptions.8.The word “considerably”(paragraph 3)in the passage is closest in meaning toA.frequently.B.significantly.C.clearly.D.surprisingly.9.According to paragraph 4, what is demonstrated by the fact that cratersfill in much faster on Mars than on the Moon?A.Erosion from meteoritic impacts takes place more quickly on Mars than on the Moon.B.There is more dust on Mars than on the Moon.C.The surface of Mars is a dry desert.D.Wind is a powerful eroding force on Mars.10.In paragraph 4, why does the author point out that Mars has few ancient craters that are less than 5 kilometers in diameter?A.To explain why scientists believe that the surface matter filling Martian craters is mostly dust.B.To explain why scientists believe that the impact craters on Mars were created by meteoroids.C.To support the claim that the Martian atmosphere is an efficient erosive agent.D.To argue that Mars experienced fewer ancient impacts than the Moon did.11.According to paragraph 5, what have scientists been able to determinefrom studies of large impact cratering on Mars?A.Some Martian volcanoes are much older than was once thought.B.The age of Mars’s surface can vary from area to area.rge impact craters are not reliable indicators of age in areas with high volcanic activity.D.Some areas of the Martian surface appear to be older than they actually are.12.According to paragraph 6, the ejecta of Mars’s crater Yuty differs fromthe ejecta of the Moon’s Copernicus crater in that the ejecta of the Yuty craterA.Has now become part of a permafrost layer.B.Contains a large volume of dust, soil and boulders.C.Suggests that liquid once came out of the surface at the crater site.D.Was thrown a comparatively long distance from the center of the crater.13. Look at the four squares【■】that indicate where the following sentence could be added to the passage.Where would the sentence best fit? Click on a square to add the sentence to the passage. This surface feature has led to speculation about what may lie under Mars’s surface.The detailed appearance of Martian impact craters provides an important pieceof information about conditions just below the planet’s surface. Martian craters are surrounded by ejecta (debris formed as a result of an impact) that looks quite different from its lunar counterparts. A comparison of the Copernicus crater on the Moon with the (fairly typical) crater Yuty on Mars demonstrates the differences. The ejecta surrounding the lunar crater is just what one would expect from an explosion ejecting a large volume of dust, soil, and boulders. ■【A】However, the ejecta on Mars gives the distinct impression of a liquid that has splashed or flowed out of crater. ■【B】Geologists think that this fluidized ejecta crater indicates that a layer of permafrost,or water ice, lies just a few meters under the surface. ■【C】Explosive impacts heated and liquefied the ice, resulting in the fluid appearance of the ejecta. ■【D】14. Directions: An introductory sentence for a brief summary of the passage is provided below. Complete the summary by selecting the THREE answer choices that express the most important ideas in the passage. Some sentences do not belong in the summary because they express ideas that are not presented in the passage or are minor ideas in the passage. This question is worth 2 points.Drag your answer choices to the spaces where they belong. To remove an answer choice, click on it. To review the passage, click VIEW NEXT.Volcanoes and impact craters are major features of Martiangeology.A.Plate motion on Mars, once considered to have played no role in shaping the planet’s surface, is now seen as being directly associated with the planet’s earliest volcanoes.B.Mars has shield volcanoes, some of which are extremely tall because of the planet’s low surface gravity.C.Although the erosive power of the Martian atmosphere ensures that Mars has fewer craters than the Moon does, impact craters are prominent on Mars’ s surface.D.Scientists cannot yet reliably estimate the age of the Martian surface because there has been too much erosion of it.E.Scientists have been surprised to discover that conditions just below the surface of Mars are very similar to conditions just below the surface of the MoonF.Studies of crater ejecta have revealed the possibility of a layer of permafrost below the surface of Mars.托福〔阅读答案〕1.enormous 巨大的，所以正确答案是B，extremely large。

斯普林格数学研究生教材丛书《斯普林格数学研究生教材丛书》（Graduate Texts in Mathematics）GTM001《Introduction to Axiomatic Set Theory》Gaisi Takeuti, Wilson M.Zaring GTM002《Measure and Category》John C.Oxtoby（测度和范畴）（2ed.）GTM003《T opological Vector Spaces》H.H.Schaefer, M.P.Wolff（2ed.）GTM004《A Course in Homological Algebra》P.J.Hilton, U.Stammbach（2ed.）（同调代数教程）GTM005《Categories for the Working Mathematician》Saunders Mac Lane（2ed.）GTM006《Projective Planes》Daniel R.Hughes, Fred C.Piper（投射平面）GTM007《A Course in Arithmetic》Jean-Pierre Serre（数论教程）GTM008《Axiomatic set theory》Gaisi Takeuti, Wilson M.Zaring（2ed.）GTM009《Introduction to Lie Algebras and Representation Theory》James E.Humphreys（李代数和表示论导论）GTM010《A Course in Simple-Homotopy Theory》M.M CohenGTM011《Functions of One Complex VariableⅠ》John B.ConwayGTM012《Advanced Mathematical Analysis》Richard Beals GTM013《Rings and Categories of Modules》Frank W.Anderson, Kent R.Fuller（环和模的范畴）（2ed.）GTM014《Stable Mappings and Their Singularities》Martin Golubitsky, Victor Guillemin （稳定映射及其奇点）GTM015《Lectures in Functional Analysis and OperatorTheory》Sterling K.Berberian GTM016《The Structure of Fields》David J.Winter（域结构）GTM017《Random Processes》Murray RosenblattGTM018《Measure Theory》Paul R.Halmos（测度论）GTM019《A Hilbert Space Problem Book》Paul R.Halmos （希尔伯特问题集）GTM020《Fibre Bundles》Dale Husemoller（纤维丛）GTM021《Linear Algebraic Groups》James E.Humphreys （线性代数群）GTM022《An Algebraic Introduction to Mathematical Logic》Donald W.Barnes, John M.MackGTM023《Linear Algebra》Werner H.Greub（线性代数）GTM024《Geometric Functional Analysis and Its Applications》Paul R.HolmesGTM025《Real and Abstract Analysis》Edwin Hewitt, Karl StrombergGTM026《Algebraic Theories》Ernest G.ManesGTM027《General Topology》John L.Kelley（一般拓扑学）GTM028《Commutative Algebra》VolumeⅠOscar Zariski, Pierre Samuel（交换代数）GTM029《Commutative Algebra》VolumeⅡOscar Zariski, Pierre Samuel（交换代数）GTM030《Lectures in Abstract AlgebraⅠ.Basic Concepts》Nathan Jacobson（抽象代数讲义Ⅰ基本概念分册）GTM031《Lectures in Abs tract AlgebraⅡ.Linear Algabra》Nathan.Jacobson（抽象代数讲义Ⅱ线性代数分册）GTM032《Lectures in Abstract AlgebraⅢ.Theory of Fields and Galois Theory》Nathan.Jacobson（抽象代数讲义Ⅲ域和伽罗瓦理论）GTM033《Differential Topology》Morris W.Hirsch（微分拓扑）GTM034《Principles of Random Walk》Frank Spitzer（2ed.）（随机游动原理）GTM035《Several Complex Variables and Banach Algebras》Herbert Alexander, John Wermer（多复变和Banach代数）GTM036《Linear Topological Spaces》John L.Kelley, Isaac Namioka（线性拓扑空间）GTM037《Mathematical Logic》J.Donald Monk（数理逻辑）GTM038《Several Complex Variables》H.Grauert, K.Fritzshe GTM039《An Invitation to C*-Algebras》William Arveson （C*-代数引论）GTM040《Denumerable Markov Chains》John G.Kemeny, /doc/e96250642.htmlurie Snell, Anthony W.KnappGTM041《Modular Functions and Dirichlet Series in Number Theory》Tom M.Apostol （数论中的模函数和Dirichlet序列）GTM042《Linear Representations of Finite Groups》Jean-Pierre Serre（有限群的线性表示）GTM043《Rings of Continuous Functions》Leonard Gillman, Meyer JerisonGTM044《Elementary Algebraic Geometry》Keith KendigGTM045《Probabi lity TheoryⅠ》M.Loève（概率论Ⅰ）（4ed.）GTM046《Probability TheoryⅡ》M.Loève（概率论Ⅱ）（4ed.）GTM047《Geometric Topology in Dimensions 2 and 3》Edwin E.MoiseGTM048《General Relativity for Mathematicians》Rainer.K.Sachs, H.Wu伍鸿熙（为数学家写的广义相对论）GTM049《Linear Geometry》K.W.Gruenberg, A.J.Weir（2ed.）GTM050《Fermat's Last Theorem》Harold M.EdwardsGTM051《A Course in Differential Geometry》WilhelmKlingenberg（微分几何教程）GTM052《Algebraic Geometry》Robin Hartshorne（代数几何）GTM053《 A Course in Mathematical Logic for Mathematicians》Yu.I.Manin（2ed.）GTM054《Combinatorics with Emphasis on the Theory of Graphs》Jack E.Graver, Mark E.WatkinsGTM055《Introduction to Operator TheoryⅠ》Arlen Brown, Carl PearcyGTM056《Algebraic Topology：An Introduction》W.S.MasseyGTM057《Introduction to Knot Theory》Richard.H.Crowell, Ralph.H.FoxGTM058《p-adic Numbers, p-adic Analysis, and Zeta-Functions》Neal Koblitz（p-adic 数、p-adic分析和Z函数）GTM059《Cyclotomic Fields》Serge LangGTM060《Mathematical Methods of Classical Mechanics》V.I.Arnold（经典力学的数学方法）（2ed.）GTM061《Elements of Homotopy Theory》George W.Whitehead（同论论基础）GTM062《Fundamentals of the Theory of Groups》M.I.Kargapolov, Ju.I.Merzljakov GTM063《Modern Graph Theory》Béla BollobásGTM064《Fourier Series：A Modern Introduction》VolumeⅠ（2ed.）R.E.Edwards（傅里叶级数）GTM065《Differential Analysis on Complex Manifolds》Raymond O.Wells, Jr.（3ed.）GTM066《Introduction to Affine Group Schemes》William C.Waterhouse（仿射群概型引论）GTM067《Local Fields》Jean-Pierre Serre（局部域）GTM069《Cyclotomic FieldsⅠandⅡ》Serge LangGTM070《Singular Homology Theory》William S.MasseyGTM071《Riemann Surfaces》Herschel M.Farkas, Irwin Kra （黎曼曲面）GTM072《Classical Topology and Combinatorial Group Theory》John Stillwell（经典拓扑和组合群论）GTM073《Algebra》Thomas W.Hungerford（代数）GTM074《Multiplicative Number Theory》Harold Davenport （乘法数论）（3ed.）GTM075《Basic Theory of Algebraic Groups and Lie Algebras》G.P.HochschildGTM076《Algebraic Geometry：An Introduction to Birational Geometry of Algebraic Varieties》Shigeru Iitaka GTM077《Lectures on the Theory of Algebraic Numbers》Erich HeckeGTM078《A Course in Universal Algebra》Stanley Burris, H.P.Sankappanavar（泛代数教程）GTM079《An Introduction to Ergodic Theory》Peter Walters （遍历性理论引论）GTM080《A Course in_the Theory of Groups》Derek J.S.RobinsonGTM081《Lectures on Riemann Surfaces》Otto ForsterGTM082《Differential Forms in Algebraic Topology》Raoul Bott, Loring W.Tu（代数拓扑中的微分形式）GTM083《Introduction to Cyclotomic Fields》Lawrence C.Washington（割圆域引论）GTM084《A Classical Introduction to Modern Number Theory》Kenneth Ireland, Michael Rosen（现代数论经典引论）GTM085《Fourier Series A Modern Introduction》Volume 1（2ed.）R.E.Edwards GTM086《Introduction to Coding Theory》J.H.van Lint（3ed .）GTM087《Cohomology of Groups》Kenneth S.Brown（上同调群）GTM088《Associative Algebras》Richard S.PierceGTM089《Introduction to Algebraic and Abelian Functions》Serge Lang（代数和交换函数引论）GTM090《An Introduction to Convex Polytopes》Ame BrondstedGTM091《The Geometry of Discrete Groups》Alan F.BeardonGTM092《Sequences and Series in BanachSpaces》Joseph DiestelGTM093《Modern Geometry-Methods and Applications》（PartⅠ.The of geometry Surface s Transformation Groups and Fields）B.A.Dubrovin, A.T.Fomenko, S.P.Novikov （现代几何学方法和应用）GTM094《Foundations of Differentiable Manifolds and Lie Groups》Frank W.Warner（可微流形和李群基础）GTM095《Probability》A.N.Shiryaev（2ed.）GTM096《A Course in Functional Analysis》John B.Conway （泛函分析教程）GTM097《Introduction to Elliptic Curves and Modular Forms》Neal Koblitz（椭圆曲线和模形式引论）GTM098《Representations of Compact Lie Groups》Theodor Bre?cker, Tammo tom DieckGTM099《Finite Reflection Groups》L.C.Grove, C.T.Benson （2ed.）GTM100《Harmonic Analysis on Semigroups》Christensen Berg, Jens Peter Reus Christensen, Paul ResselGTM101《Galois Theory》Harold M.Edwards（伽罗瓦理论）GTM102《Lie Groups, Lie Algebras, and Their Representation》V.S.Varadarajan（李群、李代数及其表示）GTM103《Complex Analysis》Serge LangGTM104《Modern Geometry-Methods and Applications》（PartⅡ.Geometry and Topology of Manifolds）B.A.Dubrovin, A.T.Fomenko, S.P.Novikov（现代几何学方法和应用）GTM105《SL? (R)》Serge Lang（SL? (R)群）GTM106《The Arithmetic of Elliptic Curves》Joseph H.Silverman（椭圆曲线的算术理论）GTM107《Applications of Lie Groups to Differential Equations》Peter J.Olver（李群在微分方程中的应用）GTM108《Holomorphic Functions and Integral Representations in Several Complex Variables》R.Michael Range GTM109《Univalent Functions and Teichmueller Spaces》Lehto OlliGTM110《Algebraic Number Theory》Serge Lang（代数数论）GTM111《Elliptic Curves》Dale Husemoeller（椭圆曲线）GTM112《Elliptic Functions》Serge Lang（椭圆函数）GTM113《Brownian Motion and Stochastic Calculus》Ioannis Karatzas, Steven E.Shreve （布朗运动和随机计算）GTM114《A Course in Number Theory and Cryptography》Neal Koblitz（数论和密码学教程）GTM115《Differential Geometry：Manifolds, Curves, and Surfaces》M.Berger, B.Gostiaux GTM116《Measure and Integral》Volume1 John L.Kelley, T.P.SrinivasanGTM117《Algebraic Groups and Class Fields》Jean-Pierre Serre（代数群和类域）GTM118《Analysis Now》Gert K.Pedersen （现代分析）GTM119《An introduction to Algebraic Topology》Jossph J.Rotman（代数拓扑导论）GTM120《Weakly Differentiable Functions》William P.Ziemer（弱可微函数）GTM121《Cyclotomic Fields》Serge LangGTM122《Theory of Complex Functions》Reinhold RemmertGTM123《Numbers》H.-D.Ebbinghaus, H.Hermes, F.Hirzebruch, M.Koecher, K.Mainzer, J.Neukirch, A.Prestel, R.Remmert（2ed.）GTM124《Modern Geometry-Methods and Applications》（PartⅢ.Introduction to Homology Theory）B.A.Dubrovin, A.T.Fomenko, S.P.Novikov（现代几何学方法和应用）GTM125《Complex Variables：An introduction》Garlos A.Berenstein, Roger Gay GTM126《Linear Algebraic Groups》Armand Borel （线性代数群）GTM127《A Basic Course in Algebraic Topology》William S.Massey（代数拓扑基础教程）GTM128《Partial Differential Equations》Jeffrey RauchGTM129《Representation Theory：A First Course》William Fulton, Joe HarrisGTM130《T ensor Geometry》C.T.J.Dodson, T.Poston（张量几何）GTM131《A First Course in Noncommutative Rings》/doc/e96250642.htmlm（非交换环初级教程）GTM132《Iteration of Rational Functions：Complex Analytic Dynamical Systems》AlanF.Beardon（有理函数的迭代：复解析动力系统）GTM133《Algebraic Geometry：A First Course》Joe Harris （代数几何）GTM134《Coding and Information Theory》Steven Roman GTM135《Advanced Linear Algebra》Steven RomanGTM136《Algebra：An Approach via Module Theory》William A.Adkins, Steven H.WeintraubGTM137《Harmonic Function Theory》Sheldon Axler, Paul Bourdon, Wade Ramey（调和函数理论）GTM138《A Course in Computational Algebraic NumberTheory》Henri Cohen（计算代数数论教程）GTM139《T opology and Geometry》Glen E.BredonGTM140《Optima and Equilibria：An Introduction to Nonlinear Analysis》Jean-Pierre AubinGTM141《A Computational Approach to Commutative Algebra》Gr?bner Bases, Thomas Becker, Volker Weispfenning, Heinz KredelGTM142《Real and Functional Analysis》Serge Lang（3ed.）GTM143《Measure Theory》J.L.DoobGTM144《Noncommutative Algebra》Benson Farb, R.Keith DennisGTM145《Homology Theory：An Introduction to Algebraic Topology》James W.Vick（同调论：代数拓扑简介）GTM146《Computability：A Mathematical Sketchbook》Douglas S.BridgesGTM147《Algebraic K-Theory and Its Applications》Jonathan Rosenberg（代数K理论及其应用）GTM148《An Introduction to the Theory of Groups》Joseph J.Rotman（群论入门）GTM149《Foundations of Hyperbolic Manifolds》John G.Ratcliffe（双曲流形基础）GTM150《Commutative Algebra with a view toward Algebraic Geometry》David EisenbudGTM151《Advanced Topics in the Arithmetic of Elliptic Curves》Joseph H.Silverman（椭圆曲线的算术高级选题）GTM152《Lectures on Polytopes》Günter M.ZieglerGTM153《Algebraic Topology：A First Course》William Fulton（代数拓扑）GTM154《An introduction to Analysis》Arlen Brown, Carl PearcyGTM155《Quantum Groups》Christian Kassel（量子群）GTM156《Classical Descriptive Set Theory》Alexander S.KechrisGTM157《Integration and Probability》Paul MalliavinGTM158《Field theory》Steven Roman（2ed.）GTM159《Functions of One Complex Variable VolⅡ》John B.ConwayGTM160《Differential and Riemannian Manifolds》Serge Lang（微分流形和黎曼流形）GTM161《Polynomials and Polynomial Inequalities》Peter Borwein, Tamás Erdélyi（多项式和多项式不等式）GTM162《Groups and Representations》J.L.Alperin, Rowen B.Bell（群及其表示）GTM163《Permutation Groups》John D.Dixon, Brian Mortime rGTM164《Additive Number Theory：The Classical Bases》Melvyn B.NathansonGTM165《Additive Number Theory：Inverse Problems and the Geometry of Sumsets》Melvyn B.NathansonGTM166《Differential Geometry：Cartan's Generalization of Klein's Erlangen Program》R.W.SharpeGTM167《Field and Galois Theory》Patrick MorandiGTM168《Combinatorial Convexity and Algebraic Geometry》Günter Ewald（组合凸面体和代数几何）GTM169《Matrix Analysis》Rajendra BhatiaGTM170《Sheaf Theory》Glen E.Bredon（2ed.）GTM171《Riemannian Geometry》Peter Petersen（黎曼几何）GTM172《Classical Topics in Complex Function Theory》Reinhold RemmertGTM173《Graph Theory》Reinhard Diestel（图论）（3ed.）GTM174《Foundations of Real and Abstract Analysis》Douglas S.Bridges（实分析和抽象分析基础）GTM175《An Introduction to Knot Theory》W.B.Raymond LickorishGTM176《Riemannian Manifolds：An Introduction to Curvature》John M.LeeGTM177《Analytic Number Theory》Donald J.Newman（解析数论）GTM178《Nonsmooth Analysis and Control Theory》F.H.clarke, Yu.S.Ledyaev, R.J.Stern, P.R.Wolenski（非光滑分析和控制论）GTM179《Banach Algebra Techniques in Operator Theory》Ronald G.Douglas（2ed.）GTM180《A Course on Borel Sets》S.M.Srivastava（Borel 集教程）GTM181《Numerical Analysis》Rainer KressGTM182《Ordinary Differential Equations》Wolfgang Walter GTM183《An introduction to Banach Spaces》Robert E.MegginsonGTM184《Modern Graph Theory》Béla Bollobás（现代图论）GTM185《Using Algebraic Geomety》David A.Cox, John Little, Donal O’Shea（应用代数几何）GTM186《Fourier Analysis on Number Fields》Dinakar Ramakrishnan, Robert J.Valenza GTM187《Moduli of Curves》Joe Harris, Ian Morrison（曲线模）GTM188《Lectures on the Hyperreals：An Introduction to Nonstandard Analysis》Robert GoldblattGTM189《Lectures on Modules and Rings》/doc/e96250642.htmlm（模和环讲义）GTM190《Problems in Algebraic Number Theory》M.Ram Murty, Jody Esmonde（代数数论中的问题）GTM191《Fundamentals of Differential Geometry》Serge Lang（微分几何基础）GTM192《Elements of Functional Analysis》Francis Hirsch, Gilles LacombeGTM193《Advanced Topics in Computational Number Theory》Henri CohenGTM194《One-Parameter Semigroups for Linear Evolution Equations》Klaus-Jochen Engel, Rainer Nagel（线性发展方程的单参数半群）GTM195《Elementary Methods in Number Theory》Melvyn B.Nathanson（数论中的基本方法）GTM196《Basic Homological Algebra》M.Scott OsborneGTM197《The Geometry of Schemes》David Eisenbud, Joe HarrisGTM198《A Course in p-adic Analysis》Alain M.RobertGTM199《Theory of Bergman Spaces》Hakan Hedenmalm, Boris Korenblum, Kehe Zhu（Bergman空间理论）GTM200《An Introduction to Riemann-Finsler Geometry》D.Bao, S.-S.Chern, Z.Shen GTM201《Diophantine Geometry An Introduction》Marc Hindry, Joseph H.Silverman GTM202《Introduction to T opological Manifolds》John M.Lee GTM203《The Symmetric Group》Bruce E.SaganGTM204《Galois Theory》Jean-Pierre EscofierGTM205《Rational Homotopy Theory》Yves Félix, Stephen Halperin, Jean-Claude Thomas（有理同伦论）GTM206《Problems in Analytic Number Theory》M.Ram MurtyGTM207《Algebraic Graph Theory》Chris Godsil, Gordon Royle（代数图论）GTM208《Analysis for Applied Mathematics》Ward Cheney GTM209《A Short Course on Spectral Theory》William Arveson（谱理论简明教程）GTM210《Number Theory in Function Fields》Michael RosenGTM211《Algebra》Serge Lang（代数）GTM212《Lectures on Discrete Geometry》Jiri Matousek （离散几何讲义）GTM213《From Holomorphic Functions to Complex Manifolds》Klaus Fritzsche, Hans Grauert（从正则函数到复流形）GTM214《Partial Differential Equations》Jüergen Jost（偏微分方程）GTM215《Algebraic Functions and Projective Curves》David M.Goldschmidt（代数函数和投影曲线）GTM216《Matrices：Theory and Applications》Denis Serre （矩阵：理论及应用）GTM217《Model Theory An Introduction》David Marker（模型论引论）GTM218《Introduction to Smooth Manifolds》John M.Lee （光滑流形引论）GTM219《The Arithmetic of Hyperbolic 3-Manifolds》Colin Maclachlan, Alan W.Reid GTM220《Smooth Manifolds and Observables》Jet Nestruev（光滑流形和直观）GTM221《Convex Polytopes》Branko GrüenbaumGTM222《Lie Groups, Lie Algebras, and Representations》Brian C.Hall（李群、李代数和表示）GTM223《Fourier Analysis and its Applications》Anders Vretblad（傅立叶分析及其应用）GTM224《Metric Structures in Differential Geometry》Gerard Walschap（微分几何中的度量结构）GTM225《Lie Groups》Daniel Bump（李群）GTM226《Spaces of Holomorphic Functions in the Unit Ball》Kehe Zhu（单位球内的全纯函数空间）GTM227《Combinatorial Commutative Algebra》Ezra Miller, Bernd Sturmfels（组合交换代数）GTM228《A First Course in Modular Forms》Fred Diamond, Jerry Shurman（模形式初级教程）GTM229《The Geometry of Syzygies》David Eisenbud（合冲几何）GTM230《An Introduction to Markov Processes》Daniel W.Stroock（马尔可夫过程引论）GTM231《Combinatorics of Coxeter Groups》Anders Bjr?ner, Francesco Brenti（Coxeter 群的组合学）GTM232《An Introduction to Number Theory》Graham Everest, Thomas Ward（数论入门）GTM233《T opics in Banach Space Theory》Fenando Albiac, Nigel J.Kalton（Banach空间理论选题）GTM234《Analysis and Probability：Wavelets, Signals, Fractals》Palle E.T.Jorgensen（分析与概率）GTM235《Compact Lie Groups》Mark R.Sepanski（紧致李群）GTM236《Bounded Analytic Functions》John B.Garnett（有界解析函数）GTM237《An Introduction to Operators on the Hardy-Hilbert Space》Rubén A.Martínez-Avendano, Peter Rosenthal （哈代-希尔伯特空间算子引论）GTM238《A Course in Enumeration》Martin Aigner（枚举教程）GTM239《Number Theory：VolumeⅠT ools and Diophantine Equations》Henri Cohen GTM240《Number Theory：VolumeⅡAna lytic and Modern T ools》Henri Cohen GTM241《The Arithmetic of Dynamical Systems》Joseph H.SilvermanGTM242《Abstract Algebra》Pierre Antoine Grillet（抽象代数）GTM243《Topological Methods in Group Theory》Ross GeogheganGTM244《Graph Theory》J.A.Bondy, U.S.R.MurtyGTM245《Complex Analysis：In the Spirit of Lipman Bers》Jane P.Gilman, Irwin Kra, Rubi E.RodriguezGTM246《A Course in Commutative Banach Algebras》Eberhard KaniuthGTM247《Braid Groups》Christian Kassel, Vladimir TuraevGTM248《Buildings Theory and Applications》Peter Abramenko, Kenneth S.Brown GTM249《Classical Fourier Analysis》Loukas Grafakos（经典傅里叶分析）GTM250《Modern Fourier Analysis》Loukas Grafakos（现代傅里叶分析）GTM251《The Finite Simple Groups》Robert A.WilsonGTM252《Distributions and Operators》Gerd GrubbGTM253《Elementary Functional Analysis》Barbara D.MacCluerGTM254《Algebraic Function Fields and Codes》Henning StichtenothGTM255《Symmetry Representations and Invariants》Roe Goodman, Nolan R.Wallach GTM256《A Course in Commutative Algebra》Kemper GregorGTM257《Deformation Theory》Robin HartshorneGTM258《Foundation of Optimization》Osman GülerGTM259《Ergodic Theory：with a view towards Number Theory》Manfred Einsiedler, Thomas WardGTM260《Monomial Ideals》Jurgen Herzog, Takayuki Hibi GTM261《Probability and Stochastics》Erhan CinlarGTM262《Essentials of Integration Theory for Analysis》Daniel W.StroockGTM263《Analysis on Fock Spaces》Kehe ZhuGTM264《Functional Analysis, Calculus of Variations and Optimal Control》Francis ClarkeGTM265《Unbounded Self-adjoint Operatorson Hilbert Space》Konrad Schmüdgen GTM266《Calculus Without Derivatives》Jean-Paul PenotGTM267《Quantum Theory for Mathematicians》Brian C.HallGTM268《Geometric Analysis of the Bergman Kernel and Metric》Steven G.Krantz GTM269《Locally Convex Spaces》M.Scott Osborne。

a r X i v :m a t h /0601441v 1 [m a t h .A T ] 18 J a n 2006ODD-PRIMARY HOMOTOPY EXPONENTS OF COMPACTSIMPLE LIE GROUPSDONALD M.DAVIS AND STEPHEN D.THERIAULTAbstract.We note that a recent result of the second author yields upper bounds for odd-primary homotopy exponents of com-pact simple Lie groups which are often quite close to the lower bounds obtained from v 1-periodic homotopy theory.1.Statement of resultsThe homotopy p -exponent of a topological space X ,denoted exp p (X ),is the largest e such that some homotopy group πi (X )contains a Z /p e -summand.1In work dat-ing back to 1989,the first author and collaborators have obtained lower bounds for exp p (X )for all compact simple Lie groups X and all primes p by using v 1-periodic homotopy theory.Recently,the second author ([11])proved a general result,stated here as Lemma 2.1,which can yield upper bounds for homotopy exponents of spaces which map to a sphere.In this paper,we show that these two bounds often lead to a quite narrow range of values for exp p (X )when p is odd and X is a compact simple Lie group.Our first new result,which will be proved in Section 2,combines Lemma 2.1with a classical result of Borel-Hirzebruch.Theorem 1.1.Let p be odd.a.If n <p 2+p ,then exp p (SU (n ))≤n −1+νp ((n −1)!).b.If n ≥p 2+1,then exp p (SU (n ))≤n +p −3+⌊n −2Date :January 17,2006.Key words and phrases.Homotopy group,Lie group.2000Mathematics Subject Classification :57T20,55Q52.1Some authors (e.g.[11])say that p e is the homotopy p -exponent.12DONALD M.DAVIS AND STEPHEN D.THERIAULTuseful to note the elementary fact that⌋+···,νp(m!)=⌊mp2and the well-known fact thatνp(m!)≤⌊m−1⌋!).pb.([8,1.8])If p is odd,1≤t<p,and tp−t+2≤n≤tp+1,then exp p(SU(n))≥n. Thus we have the following corollary,which gives the only values of n>p in which the precise value of exp p(SU(n))is known.Corollary1.3.If p is an odd prime,and n=p+1or n=2p,then exp p(SU(n))=n. When n=p+1,this was known(although perhaps never published)since,localized at p,SU(p+1)≃B(3,2p+1)×S5×···×S2p−1,the exponent of which follows from Proposition1.4together with the result of Cohen,Moore,and Neisendorfer([5])that if p is odd,then exp p(S2n+1)=n.Here and throughout,B(2n+1,2n+1+q)denotes an S2n+1-bundle over S2n+1+q with attaching mapα1a generator ofπ2n+q(S2n+1),and q=2p−2.Note also that the result of[5]implies that if n≤p,then exp p(SU(n))= exp p(S3×···×S2n−1)=n−1.Proposition1.4.If p is odd,then exp p(B(3,2p+1))=p+1,while if n>1,then n+p−1≤exp p(B(2n+1,2n+1+q))≤n+p.Proof.This just combines[3,1.3]for the lower bound and[11,2.1]for the upper bound.ODD-PRIMARY EXPONENTS OF LIE GROUPS3 Corollary1.8.Let p be odd.(1)exp p(Spin(2n+2))=exp p(Spin(2n+1))=exp p(Sp(n))≤exp p(SU(2n)),which is bounded according to Theorem1.1.(2)exp p(Sp(n))≥2n−1+νp(⌊2nFor all(X,p)with X an exceptional Lie group and p an odd prime,except(E7,3) and(E8,3),we can make an excellent comparison of bounds for exp p(X)using results in the literature.We use splittings of the torsion-free cases tabulated in[3,1.1],but known much earlier.([10])In Table1,we list the range of possible values of exp p(X) when the precise value is not known.We also list the factor in the product decom-position which accounts for the exponent.Finally,in cases in which the exponent bounds do not follow from results already discussed,we provide references.Here B(n1,...,n r)denotes a space built fromfibrations involving p-local spheres of the indicated dimensions and equivalent to a factor in a p-localizaton of a special unitary group or quotient of same.Also,B2(3,11)denotes a sphere-bundle with attaching mapα2,and W denotes a space constructed by Wilkerson and shown in[12,1.1]to4DONALD M.DAVIS AND STEPHEN D.THERIAULTfit into afibrationΩK5→B(27,35)→W.Finally,K3and K5denotes Harper’s space as described in[1]and[11].Theorem1.10.The homotopy p-exponents of exceptional Lie groups are as in Table 1.Table1.Homotopy exponents of exceptional Lie groupsX pG236B(3,11)G2>5F4,E6311,12B(23−q,23)F4,E61111S2318,19,20B(3,11,19,27,35)factor of SU(18) E7717,18B(35−q,35)E71717S3530,31W[6,1.1],[12,1.2] E8729,30B(59−q,59)E82929S592.Proof of Theorem1.1In[11,Lemma2.2],the second author proved the following result.Lemma2.1.([11,2.2,2.3])Suppose there is a homotopyfibrationF→E q−→S2n+1where E is simply-connected or an H-space and|coker(π2n+1(E)q∗−→π2n+1(S2n+1))|≤p r.Then exp p(E)≤r+max(exp p(F),n).ODD-PRIMARY EXPONENTS OF LIE GROUPS5In[11,2.2],it was required that E be an H-space,but[11,2.3]noted that if E is not an H-space,the desired conclusion can be obtained by applying the loop-space functor to thefibration.We require E to be simply-connected so that we do not loop away a large fundamental group.We now use this lemma to prove Theorem1.1.Proof of Theorem1.1.The proof is by induction on n.Let the odd prime p be im-plicit,and let SU′(n)denote the factor in the p-local product decomposition([10])of SU(n)which is built from spheres of dimension congruent to2n−1mod q.By the induction hypothesis,the exponents of the other factors are≤the asserted amount. We will apply Lemma2.1to thefibrationSU′(n−p+1)→SU′(n)q−→S2n−1.In order to determine|coker(π2n−1(SU′(n))q∗−→π2n−1(S2n−1))|,we use the classical result of Borel and Hirzebruch([4,26.7])thatπ2n−2(SU(n−1))≈Z/(n−1)!.When localized at p,it is clear that its p-component Z/pνp((n−1)!)must come from the SU′(n−p+1)-factor in the product decomposition of SU(n−1),sinceπ2n−2(SU(n−1)) is built from the classesαi∈π2n−2(S2n−1−iq)(p).Thusπ2n−2(SU′(n−p+1))≈Z/pνp((n−1)!),and the exact sequenceπ2n−1(SU′(n))q∗−→π2n−1(S2n−1)→π2n−2(SU′(n−p+1))impliesνp(|coker(q∗)|)≤νp((n−1)!).(2.2)(a.)By the induction hypothesis,exp p(SU′(n−p+1))≤n−p+νp((n−p)!).By hypothesis,n−p<p2and henceνp((n−p)!)≤p−1.Thus exp p(SU′(n−p+1))≤n−1, and so by2.1and(2.2)exp p(SU′(n))≤νp(|coker(q∗)|)+n−1≤νp((n−1)!)+n−1,as claimed.(b.)By(a),part(b)is true if p2+1≤n≤p2+p−1.Let n≥p2+p,and assume the theorem is true for SU′(n−p+1).Then by Lemma2.1and the induction6DONALD M.DAVIS AND STEPHEN D.THERIAULT hypothesisexp p(SU′(n))≤ν((n−1)!)+n−p+1+p−3+ ⌊n−p−1⌋,we obtainp−1exp p(SU′(n)≤ n−2p−1⌋−p+12= n−2p−1⌋−p+22 − ⌊n−2⌋−p+2p−12 ,as desired.ODD-PRIMARY EXPONENTS OF LIE GROUPS7 and thenexp7(B(23,35,47,59))≤3+max(25,29)=32.,The unstable Novikov spectral sequence for Sp(n),and the power series sinh−1(x),London Math Soc Lecture Notes176(1992)73-86.[3]M.Bendersky,D.M.Davis,and M.Mimura,v1-periodic homotopy groups ofexceptional Lie groups:torsion-free cases,Trans Amer Math Soc333(1992)115-135.[4]A.Borel and F.Hirzebruch,Characteristic classes and homogeneous spaces,II,American Jour Math81(1959)313-382.[5]F.R.Cohen,J.C.Moore,and J.A.Neisendorfer,The double suspensionand exponents of the homotopy groups of spheres,Annals of Math110(1979)549-565.[6]D.M.Davis,From representation theory to homotopy groups,Mem Amer MathSoc759(2002).[7]D.M.Davis and Z.W.Sun,A number-theoretic approach to homotopy expo-nents of SU(n),submitted,2005.[8]D.M.Davis and H.Yang,Tractable formulas for v1-periodic homotopy groupsof SU(n)when n≤p2−p+1,Forum Math8(1996)585-619.[9]B.Harris,On the homotopy groups of the classical groups,Annals of Math74(1961)407-413.[10]M.Mimura,G.Nishida,and H.Toda,Mod p decomposition of compact Liegroups,Publ RIMS Kyoto Univ13(1977)627-680.[11]S.D.Theriault,Homotopy exponents of Harper’s spaces,Jour Math KyotoUniv(2003).[12]S.D.Theriault,The5-primary homotopy exponent of the exceptional Lie groupE8,Jour Math Kyoto Univ44(2004)569-593.Department of Mathematics,Lehigh University,Bethlehem,PA18015,USAE-mail address:dmd1@Department of Mathematical Sciences,University of Aberdeen,Aberdeen AB24 3UE,United KingdomE-mail address:s.theriault@。

自测题III. Decide whether the following statements are true or false and write T or F in the brackets: (20%)( )1. Homonyms come mainly from borrowing, changes in sound and spelling, and dialects.( )2. “Radiation” shows that the derived meanings of a polysemic word are not directly related to the primary meaning.( )3. Borrowing is a very important source of synonyms.( )4. A word which has a synonym naturally has an antonym.( )5. The super ordinate differs from the subordinate in that the former covers the concept of the latter.( )6. Extra-linguistic context refers to the physical situation or cultural background.( )7. The way to differentiate homonyms from polysemants is mainly to see their origins as well as the relationship between their meanings.( )8. Unclear context is often the cause of ambiguity.( )9. Hyponymy deals with the relationship of semantic inclusion.( )10. In some pairs of antonyms, one term may cover the meaning of the other.( )11. Lexical context refers to the words that appear before the word in question.( )12. Idioms are phrases or short sentences whose meanings can be understood from the individual words.( )13. We classify idioms on a grammatical basis so that noun phrases will be put together and so will adjective phrases.( )14. A variation of an idiom is to use a different phrase instead of it.( )15. Context is important because without it, it would be difficult or impossible to tell the meaning of a polysemant.( )16. Monolingual dictionaries are good for advanced learners and bilingual ones are appropriate for advanced learners.( )17. Contradictory terms do not show degress.( )18. Stylistically speaking, most idioms are neither formal not informal.( )19. Semantic unity and structural stability are general features of idioms, but there are many exceptions.( )20. An unabridged dictionary contains at least 150,000 headwords.II. Group the following antonyms into three classes, namely contradictory terms, contrary terms and relative terms: (12%)hot— cold parent— child give— takeman— woman open— close male— femalebuy— sell above— below present— absentIII. Relative synonyms are similar only in some respects but different in others. Explain the differences between them with examples. (20%)IV. Give a term according to each of the definitions. (10%)1. Part of a piece of writing or speech which surrounds a word and helps to explain its meaning. ( )2. Guessing word-meaning according context. ( )3. Idioms which are complete sentences including proverbs and sayings. ( )4. The dictionaries which are compiled in two languages. ( )5. Sense relation that deals with the relationship of semantic inclusion. ( )6. A set of words which are semantically associated with one another. ( )7. Words that are identical in spelling but different in pronunciation and meaning. ( )8. The process in which a word that was pejorative in the past has now become appreciative. ( )9. The process that a word goes through by changing from specialized meaning to a more general meaning. ( )10. A word which is opposite in meaning. ( )V. Study the following sentences and explain the contextual clued which help you guess the meaning of the italicized words, for example, “definition”, “example”, “synonym”, and so on and put your answers in the brackets. (20%)1. Unlike her gregarious sister, Janet is unsociable as the refuses to go to parties. ( )2. Refugees crossed the border to escape the carnage in their homeland. Many of them still remembered the horrible slaughter not long ago. ( )3. I like fruit, but not avocado, which is too soft. ( )4. Carnivores are very dangerous. A tiger, for example, escaped from the zoo last month and killeda dog in the street and ate it. ( )5. Most of his works were published posthumously, for he was hardly known by anyone before his death. ( )VI. The italic ized part of each sentence is ambiguous. Improve the sentence so that each will have a single meaning. (10%)1. There is large audience present, including many old men and beautiful women.2. The steward greeted the girl with a smile.3. The shooting of the hunters occurred at dawn.4. Is Helen engaged?5. Margaret cannot bear children.VII. Match the terms in Column A with the words in Column B. (8%)A Bextension sillygeneralnarrowing ministermeatelevation manuscriptGovernordegradation accidentvillainVIII. Explain the characteristics of English idioms with examples.答案I．1．F 2.F 3.T 4.F 5.T 6.T 7.T 8.T 9.T 10.T 11.F 12.F 13.F 14.F 15.T 16.F 17.T 18.T 19.T 20.FII. Contradictory terms:male-female, present-absent, man-womancontrary terms:open-close, ho-coldRelative terms:Buy-sell, give-take, parent-child, right-left, above-belowIII.1.Difference in:1) Synonyms may differ in degree of intensity. For example, small, tiny, microscopic are synonyms, but they each denote a different degree of smallness. Tiny is smaller than small, and microscopic is the smallest of all.2) Synonyms may differ in the range of meaning. Some words have a wider range of meaning than others. Take walk and stroll for example. Stroll is walk in a leisurely way. Walk is more general than stroll and cover the meaning of it2. Difference in connotation:1) Synonyms differ in their stylistic appropriateness. For example the words borrowed from French and Latin are generally more formal than native words. In the following pairs of words, the first is native and not stylistically specific whereas the second term is borrowed from French or Latin and is more formal: answer/respond, wood/forest, homely/domestic, etc.2) Synonyms differ in emotive col ouring. Famous and notorious both mean “well-known”, but the former is appreciative and the latter is pejorative. Similarly, a lady wants to be slender, but not skinny because skinny has a negative connotation.3) Difference in usage:Many words are synonymous in meaning but different in usage. They form different collocations and fit into different sentence patterns. For example, allow and let are synonyms, but we allow sb to do sth and let sb do sth. V acant and empty are synonymous, but we say vacant chair, but not empty chair, whereas we say empty box, but not vacant box.IV. 1. lexical context 2. inference of meaning3. sentence idioms4. bilingual dictionaries5. hyponymy6. semantic field7. homograph 8. elevation9. extension/generalization 10.antonymV 1. antonym 2. synonym 3. hyponym 4. example 5. relevan detailsVI. 1. many old men and many beautiful women (or) many old men and old beautiful women2. With a smile, the steward greeted the girl. (or)The steward greeted the girl with a smile on her face.3. The hunters did the shooting at dawn. (or)The hunters were shot at dawn.4. Is Helen engaged? I want to see her right now. (or)Is Helen engaged? Why does she refuse to go out with any boys?5. Margaret is infertile.Margaret can’t put up with children.VII. Extension (manuscript)narrowing (general, meat, accident)elevation (minister, governor)degradation (silly, villain)VIII.1. Semantic unity. An idiom contains at least two words of different part of speech. But semantically each is a unity. For example, make up one’s mind functions as a verb, rain cats and dogs means “rain heavily” which has nothing to do with the individual elements th at make up the idiom and functions as verb phrase.2. Structural stability. First, the constituents cannot be replaced with synonyms, for example, kick the bucket cannot become strike the bucket or kick a bucket or kick the pail, etc. Secondly, the positions of the words cannot be changed, for example, heart and soul cannot be changed into soul and heart, nor by twos and threes into by threes and twos. Thirdly, we should not add or delete any element to an idiom, for example, out of the question (impossible) cannot be turned into out of question, which becomes a different idiom. Lastly, some idioms are grammatically unexplainable, for example, Like cures like and Diamond cut diamond are both correct. If we change the verb in either, both will be wrong. This is because idioms are structurally fixed。

离散数学中英⽂名词对照表离散数学中英⽂名词对照表外⽂中⽂AAbel category Abel 范畴Abel group (commutative group) Abel 群(交换群)Abel semigroup Abel 半群accessibility relation 可达关系action 作⽤addition principle 加法原理adequate set of connectives 联结词的功能完备（全）集adjacent 相邻（邻接）adjacent matrix 邻接矩阵adjugate 伴随adjunction 接合affine plane 仿射平⾯algebraic closed field 代数闭域algebraic element 代数元素algebraic extension 代数扩域（代数扩张）almost equivalent ⼏乎相等的alternating group 三次交代群annihilator 零化⼦antecedent 前件anti symmetry 反对称性anti-isomorphism 反同构arboricity 荫度arc set 弧集arity 元数arrangement problem 布置问题associate 相伴元associative algebra 结合代数associator 结合⼦asymmetric 不对称的(⾮对称的)atom 原⼦atomic formula 原⼦公式augmenting digeon hole principle 加强的鸽⼦笼原理augmenting path 可增路automorphism ⾃同构automorphism group of graph 图的⾃同构群auxiliary symbol 辅助符号axiom of choice 选择公理axiom of equality 相等公理axiom of extensionality 外延公式axiom of infinity ⽆穷公理axiom of pairs 配对公理axiom of regularity 正则公理axiom of replacement for the formula Ф关于公式Ф的替换公式axiom of the empty set 空集存在公理axiom of union 并集公理Bbalanced imcomplete block design 平衡不完全区组设计barber paradox 理发师悖论base 基Bell number Bell 数Bernoulli number Bernoulli 数Berry paradox Berry 悖论bijective 双射bi-mdule 双模binary relation ⼆元关系binary symmetric channel ⼆进制对称信道binomial coefficient ⼆项式系数binomial theorem ⼆项式定理binomial transform ⼆项式变换bipartite graph ⼆分图block 块block 块图（区组）block code 分组码block design 区组设计Bondy theorem Bondy 定理Boole algebra Boole 代数Boole function Boole 函数Boole homomorophism Boole 同态Boole lattice Boole 格bound occurrence 约束出现bound variable 约束变量bounded lattice 有界格bridge 桥Bruijn theorem Bruijn 定理Burali-Forti paradox Burali-Forti 悖论Burnside lemma Burnside 引理Ccage 笼canonical epimorphism 标准满态射Cantor conjecture Cantor 猜想Cantor diagonal method Cantor 对⾓线法Cantor paradox Cantor 悖论cardinal number 基数Cartesion product of graph 图的笛卡⼉积Catalan number Catalan 数category 范畴Cayley graph Cayley 图Cayley theorem Cayley 定理center 中⼼characteristic function 特征函数characteristic of ring 环的特征characteristic polynomial 特征多项式check digits 校验位Chinese postman problem 中国邮递员问题chromatic number ⾊数chromatic polynomial ⾊多项式circuit 回路circulant graph 循环图circumference 周长class 类classical completeness 古典完全的classical consistent 古典相容的clique 团clique number 团数closed term 闭项closure 闭包closure of graph 图的闭包code 码code element 码元code length 码长code rate 码率code word 码字coefficient 系数coimage 上象co-kernal 上核coloring 着⾊coloring problem 着⾊问题combination number 组合数combination with repetation 可重组合common factor 公因⼦commutative diagram 交换图commutative ring 交换环commutative seimgroup 交换半群complement 补图(⼦图的余) complement element 补元complemented lattice 有补格complete bipartite graph 完全⼆分图complete graph 完全图complete k-partite graph 完全k-分图complete lattice 完全格composite 复合composite operation 复合运算composition (molecular proposition) 复合（分⼦）命题composition of graph (lexicographic product)图的合成（字典积）concatenation (juxtaposition) 邻接运算concatenation graph 连通图congruence relation 同余关系conjunctive normal form 正则合取范式connected component 连通分⽀connective 连接的connectivity 连通度consequence 推论（后承）consistent (non-contradiction) 相容性（⽆⽭盾性）continuum 连续统contraction of graph 图的收缩contradiction ⽭盾式（永假式）contravariant functor 反变函⼦coproduct 上积corank 余秩correct error 纠正错误corresponding universal map 对应的通⽤映射countably infinite set 可列⽆限集（可列集）covariant functor (共变)函⼦covering 覆盖covering number 覆盖数Coxeter graph Coxeter 图crossing number of graph 图的叉数cuset 陪集cotree 余树cut edge 割边cut vertex 割点cycle 圈cycle basis 圈基cycle matrix 圈矩阵cycle rank 圈秩cycle space 圈空间cycle vector 圈向量cyclic group 循环群cyclic index 循环（轮转）指标cyclic monoid 循环单元半群cyclic permutation 圆圈排列cyclic semigroup 循环半群DDe Morgan law De Morgan 律decision procedure 判决过程decoding table 译码表deduction theorem 演绎定理degree 次数,次(度)degree sequence 次(度)序列derivation algebra 微分代数Descartes product Descartes 积designated truth value 特指真值detect errer 检验错误deterministic 确定的diagonal functor 对⾓线函⼦diameter 直径digraph 有向图dilemma ⼆难推理direct consequence 直接推论（直接后承）direct limit 正向极限direct sum 直和directed by inclution 被包含关系定向discrete Fourier transform 离散 Fourier 变换disjunctive normal form 正则析取范式disjunctive syllogism 选⾔三段论distance 距离distance transitive graph 距离传递图distinguished element 特异元distributive lattice 分配格divisibility 整除division subring ⼦除环divison ring 除环divisor (factor) 因⼦domain 定义域Driac condition Dirac 条件dual category 对偶范畴dual form 对偶式dual graph 对偶图dual principle 对偶原则(对偶原理) dual statement 对偶命题dummy variable 哑变量（哑变元）Eeccentricity 离⼼率edge chromatic number 边⾊数edge coloring 边着⾊edge connectivity 边连通度edge covering 边覆盖edge covering number 边覆盖数edge cut 边割集edge set 边集edge-independence number 边独⽴数eigenvalue of graph 图的特征值elementary divisor ideal 初等因⼦理想elementary product 初等积elementary sum 初等和empty graph 空图empty relation 空关系empty set 空集endomorphism ⾃同态endpoint 端点enumeration function 计数函数epimorphism 满态射equipotent 等势equivalent category 等价范畴equivalent class 等价类equivalent matrix 等价矩阵equivalent object 等价对象equivalent relation 等价关系error function 错误函数error pattern 错误模式Euclid algorithm 欧⼏⾥德算法Euclid domain 欧⽒整环Euler characteristic Euler 特征Euler function Euler 函数Euler graph Euler 图Euler number Euler 数Euler polyhedron formula Euler 多⾯体公式Euler tour Euler 闭迹Euler trail Euler 迹existential generalization 存在推⼴规则existential quantifier 存在量词existential specification 存在特指规则extended Fibonacci number ⼴义 Fibonacci 数extended Lucas number ⼴义Lucas 数extension 扩充（扩张）extension field 扩域extension graph 扩图exterior algebra 外代数Fface ⾯factor 因⼦factorable 可因⼦化的factorization 因⼦分解faithful (full) functor 忠实（完满）函⼦Ferrers graph Ferrers 图Fibonacci number Fibonacci 数field 域filter 滤⼦finite extension 有限扩域finite field (Galois field ) 有限域（Galois 域）finite dimensional associative division algebra有限维结合可除代数finite set 有限（穷）集finitely generated module 有限⽣成模first order theory with equality 带符号的⼀阶系统five-color theorem 五⾊定理five-time-repetition 五倍重复码fixed point 不动点forest 森林forgetful functor 忘却函⼦four-color theorem(conjecture) 四⾊定理（猜想）F-reduced product F-归纳积free element ⾃由元free monoid ⾃由单元半群free occurrence ⾃由出现free R-module ⾃由R-模free variable ⾃由变元free-?-algebra ⾃由?代数function scheme 映射格式GGalileo paradox Galileo 悖论Gauss coefficient Gauss 系数GBN (G?del-Bernays-von Neumann system)GBN系统generalized petersen graph ⼴义 petersen 图generating function ⽣成函数generating procedure ⽣成过程generator ⽣成⼦（⽣成元）generator matrix ⽣成矩阵genus 亏格girth （腰）围长G?del completeness theorem G?del 完全性定理golden section number 黄⾦分割数（黄⾦分割率）graceful graph 优美图graceful tree conjecture 优美树猜想graph 图graph of first class for edge coloring 第⼀类边⾊图graph of second class for edge coloring 第⼆类边⾊图graph rank 图秩graph sequence 图序列greatest common factor 最⼤公因⼦greatest element 最⼤元（素）Grelling paradox Grelling 悖论Gr?tzsch graph Gr?tzsch 图group 群group code 群码group of graph 图的群HHajós conjecture Hajós 猜想Hamilton cycle Hamilton 圈Hamilton graph Hamilton 图Hamilton path Hamilton 路Harary graph Harary 图Hasse graph Hasse 图Heawood graph Heawood 图Herschel graph Herschel 图hom functor hom 函⼦homemorphism 图的同胚homomorphism 同态（同态映射）homomorphism of graph 图的同态hyperoctahedron 超⼋⾯体图hypothelical syllogism 假⾔三段论hypothese (premise) 假设(前提)Iideal 理想identity 单位元identity natural transformation 恒等⾃然变换imbedding 嵌⼊immediate predcessor 直接先⾏immediate successor 直接后继incident 关联incident axiom 关联公理incident matrix 关联矩阵inclusion and exclusion principle 包含与排斥原理inclusion relation 包含关系indegree ⼊次（⼊度）independent 独⽴的independent number 独⽴数independent set 独⽴集independent transcendental element 独⽴超越元素index 指数individual variable 个体变元induced subgraph 导出⼦图infinite extension ⽆限扩域infinite group ⽆限群infinite set ⽆限（穷）集initial endpoint 始端initial object 初始对象injection 单射injection functor 单射函⼦injective (one to one mapping) 单射（内射）inner face 内⾯inner neighbour set 内（⼊）邻集integral domain 整环integral subdomain ⼦整环internal direct sum 内直和intersection 交集intersection of graph 图的交intersection operation 交运算interval 区间invariant factor 不变因⼦invariant factor ideal 不变因⼦理想inverse limit 逆向极限inverse morphism 逆态射inverse natural transformation 逆⾃然变换inverse operation 逆运算inverse relation 逆关系inversion 反演isomorphic category 同构范畴isomorphism 同构态射isomorphism of graph 图的同构join of graph 图的联JJordan algebra Jordan 代数Jordan product (anti-commutator) Jordan乘积（反交换⼦）Jordan sieve formula Jordan 筛法公式j-skew j-斜元juxtaposition 邻接乘法Kk-chromatic graph k-⾊图k-connected graph k-连通图k-critical graph k-⾊临界图k-edge chromatic graph k-边⾊图k-edge-connected graph k-边连通图k-edge-critical graph k-边临界图kernel 核Kirkman schoolgirl problem Kirkman ⼥⽣问题Kuratowski theorem Kuratowski 定理Llabeled graph 有标号图Lah number Lah 数Latin rectangle Latin 矩形Latin square Latin ⽅lattice 格lattice homomorphism 格同态law 规律leader cuset 陪集头least element 最⼩元least upper bound 上确界（最⼩上界）left (right) identity 左（右）单位元left (right) invertible element 左（右）可逆元left (right) module 左（右）模left (right) zero 左（右）零元left (right) zero divisor 左（右）零因⼦left adjoint functor 左伴随函⼦left cancellable 左可消的left coset 左陪集length 长度Lie algebra Lie 代数line- group 图的线群logically equivanlent 逻辑等价logically implies 逻辑蕴涵logically valid 逻辑有效的（普效的）loop 环Lucas number Lucas 数Mmagic 幻⽅many valued proposition logic 多值命题逻辑matching 匹配mathematical structure 数学结构matrix representation 矩阵表⽰maximal element 极⼤元maximal ideal 极⼤理想maximal outerplanar graph 极⼤外平⾯图maximal planar graph 极⼤平⾯图maximum matching 最⼤匹配maxterm 极⼤项（基本析取式）maxterm normal form(conjunctive normal form) 极⼤项范式（合取范式）McGee graph McGee 图meet 交Menger theorem Menger 定理Meredith graph Meredith 图message word 信息字mini term 极⼩项minimal κ-connected graph 极⼩κ-连通图minimal polynomial 极⼩多项式Minimanoff paradox Minimanoff 悖论minimum distance 最⼩距离Minkowski sum Minkowski 和minterm (fundamental conjunctive form) 极⼩项（基本合取式）minterm normal form(disjunctive normal form)极⼩项范式（析取范式）M?bius function M?bius 函数M?bius ladder M?bius 梯M?bius transform (inversion) M?bius 变换（反演）modal logic 模态逻辑model 模型module homomorphism 模同态(R-同态)modus ponens 分离规则modus tollens 否定后件式module isomorphism 模同构monic morphism 单同态monoid 单元半群monomorphism 单态射morphism (arrow) 态射（箭）M?bius function M?bius 函数M?bius ladder M?bius 梯M?bius transform (inversion) M?bius 变换（反演）multigraph 多重图multinomial coefficient 多项式系数multinomial expansion theorem 多项式展开定理multiple-error-correcting code 纠多错码multiplication principle 乘法原理mutually orthogonal Latin square 相互正交拉丁⽅Nn-ary operation n-元运算n-ary product n-元积natural deduction system ⾃然推理系统natural isomorphism ⾃然同构natural transformation ⾃然变换neighbour set 邻集next state 下⼀个状态next state transition function 状态转移函数non-associative algebra ⾮结合代数non-standard logic ⾮标准逻辑Norlund formula Norlund 公式normal form 正规形normal model 标准模型normal subgroup (invariant subgroup) 正规⼦群（不变⼦群）n-relation n-元关系null object 零对象nullary operation 零元运算Oobject 对象orbit 轨道order 阶order ideal 阶理想Ore condition Ore 条件orientation 定向orthogonal Latin square 正交拉丁⽅orthogonal layout 正交表outarc 出弧outdegree 出次(出度)outer face 外⾯outer neighbour 外（出）邻集outerneighbour set 出(外)邻集outerplanar graph 外平⾯图Ppancycle graph 泛圈图parallelism 平⾏parallelism class 平⾏类parity-check code 奇偶校验码parity-check equation 奇偶校验⽅程parity-check machine 奇偶校验器parity-check matrix 奇偶校验矩阵partial function 偏函数partial ordering (partial relation) 偏序关系partial order relation 偏序关系partial order set (poset) 偏序集partition 划分,分划,分拆partition number of integer 整数的分拆数partition number of set 集合的划分数Pascal formula Pascal 公式path 路perfect code 完全码perfect t-error-correcting code 完全纠-错码perfect graph 完美图permutation 排列（置换）permutation group 置换群permutation with repetation 可重排列Petersen graph Petersen 图p-graph p-图Pierce arrow Pierce 箭pigeonhole principle 鸽⼦笼原理planar graph （可）平⾯图plane graph 平⾯图Pólya theorem Pólya 定理polynomail 多项式polynomial code 多项式码polynomial representation 多项式表⽰法polynomial ring 多项式环possible world 可能世界power functor 幂函⼦power of graph 图的幂power set 幂集predicate 谓词prenex normal form 前束范式pre-ordered set 拟序集primary cycle module 准素循环模prime field 素域prime to each other 互素primitive connective 初始联结词primitive element 本原元primitive polynomial 本原多项式principal ideal 主理想principal ideal domain 主理想整环principal of duality 对偶原理principal of redundancy 冗余性原则product 积product category 积范畴product-sum form 积和式proof (deduction) 证明（演绎）proper coloring 正常着⾊proper factor 真正因⼦proper filter 真滤⼦proper subgroup 真⼦群properly inclusive relation 真包含关系proposition 命题propositional constant 命题常量propositional formula(well-formed formula,wff)命题形式（合式公式）propositional function 命题函数propositional variable 命题变量pullback 拉回(回拖) pushout 推出Qquantification theory 量词理论quantifier 量词quasi order relation 拟序关系quaternion 四元数quotient (difference) algebra 商（差）代数quotient algebra 商代数quotient field (field of fraction) 商域（分式域）quotient group 商群quotient module 商模quotient ring (difference ring , residue ring) 商环（差环，同余类环）quotient set 商集RRamsey graph Ramsey 图Ramsey number Ramsey 数Ramsey theorem Ramsey 定理range 值域rank 秩reconstruction conjecture 重构猜想redundant digits 冗余位reflexive ⾃反的regular graph 正则图regular representation 正则表⽰relation matrix 关系矩阵replacement theorem 替换定理representation 表⽰representation functor 可表⽰函⼦restricted proposition form 受限命题形式restriction 限制retraction 收缩Richard paradox Richard 悖论right adjoint functor 右伴随函⼦right cancellable 右可消的right factor 右因⼦right zero divison 右零因⼦ring 环ring of endomorphism ⾃同态环ring with unity element 有单元的环R-linear independence R-线性⽆关root field 根域rule of inference 推理规则Russell paradox Russell 悖论Ssatisfiable 可满⾜的saturated 饱和的scope 辖域section 截⼝self-complement graph ⾃补图semantical completeness 语义完全的（弱完全的）semantical consistent 语义相容semigroup 半群separable element 可分元separable extension 可分扩域sequent ⽮列式sequential 序列的Sheffer stroke Sheffer 竖（谢弗竖）simple algebraic extension 单代数扩域simple extension 单扩域simple graph 简单图simple proposition (atomic proposition) 简单（原⼦）命题simple transcental extension 单超越扩域simplication 简化规则slope 斜率small category ⼩范畴smallest element 最⼩元（素）Socrates argument Socrates 论断（苏格拉底论断）soundness (validity) theorem 可靠性（有效性）定理spanning subgraph ⽣成⼦图spanning tree ⽣成树spectra of graph 图的谱spetral radius 谱半径splitting field 分裂域standard model 标准模型standard monomil 标准单项式Steiner triple Steiner 三元系⼤集Stirling number Stirling 数Stirling transform Stirling 变换subalgebra ⼦代数subcategory ⼦范畴subdirect product ⼦直积subdivison of graph 图的细分subfield ⼦域subformula ⼦公式subdivision of graph 图的细分subgraph ⼦图subgroup ⼦群sub-module ⼦模subrelation ⼦关系subring ⼦环sub-semigroup ⼦半群subset ⼦集substitution theorem 代⼊定理substraction 差集substraction operation 差运算succedent 后件surjection (surjective) 满射switching-network 开关⽹络Sylvester formula Sylvester公式symmetric 对称的symmetric difference 对称差symmetric graph 对称图symmetric group 对称群syndrome 校验⼦syntactical completeness 语法完全的（强完全的）Syntactical consistent 语法相容system ?3 , ?n , ??0 , ??系统?3 , ?n , ??0 , ??system L 公理系统 Lsystem ?公理系统?system L1 公理系统 L1system L2 公理系统 L2system L3 公理系统 L3system L4 公理系统 L4system L5 公理系统 L5system L6 公理系统 L6system ?n 公理系统?nsystem of modal prepositional logic 模态命题逻辑系统system Pm 系统 Pmsystem S1 公理系统 S1system T (system M) 公理系统 T(系统M)Ttautology 重⾔式（永真公式）technique of truth table 真值表技术term 项terminal endpoint 终端terminal object 终结对象t-error-correcing BCH code 纠 t -错BCH码theorem (provable formal) 定理（可证公式）thickess 厚度timed sequence 时间序列torsion 扭元torsion module 扭模total chromatic number 全⾊数total chromatic number conjecture 全⾊数猜想total coloring 全着⾊total graph 全图total matrix ring 全⽅阵环total order set 全序集total permutation 全排列total relation 全关系tournament 竞赛图trace (trail) 迹tranformation group 变换群transcendental element 超越元素transitive 传递的tranverse design 横截设计traveling saleman problem 旅⾏商问题tree 树triple system 三元系triple-repetition code 三倍重复码trivial graph 平凡图trivial subgroup 平凡⼦群true in an interpretation 解释真truth table 真值表truth value function 真值函数Turán graph Turán 图Turán theorem Turán 定理Tutte graph Tutte 图Tutte theorem Tutte 定理Tutte-coxeter graph Tutte-coxeter 图UUlam conjecture Ulam 猜想ultrafilter 超滤⼦ultrapower 超幂ultraproduct 超积unary operation ⼀元运算unary relation ⼀元关系underlying graph 基础图undesignated truth value ⾮特指值undirected graph ⽆向图union 并(并集)union of graph 图的并union operation 并运算unique factorization 唯⼀分解unique factorization domain (Gauss domain) 唯⼀分解整域unique k-colorable graph 唯⼀k着⾊unit ideal 单位理想unity element 单元universal 全集universal algebra 泛代数（Ω代数）universal closure 全称闭包universal construction 通⽤结构universal enveloping algebra 通⽤包络代数universal generalization 全称推⼴规则universal quantifier 全称量词universal specification 全称特指规则universal upper bound 泛上界unlabeled graph ⽆标号图untorsion ⽆扭模upper (lower) bound 上（下）界useful equivalent 常⽤等值式useless code 废码字Vvalence 价valuation 赋值Vandermonde formula Vandermonde 公式variery 簇Venn graph Venn 图vertex cover 点覆盖vertex set 点割集vertex transitive graph 点传递图Vizing theorem Vizing 定理Wwalk 通道weakly antisymmetric 弱反对称的weight 重（权）weighted form for Burnside lemma 带权形式的Burnside引理well-formed formula (wff) 合式公式(wff) word 字Zzero divison 零因⼦zero element (universal lower bound) 零元（泛下界）ZFC (Zermelo-Fraenkel-Cohen) system ZFC系统form)normal(Skolemformnormalprenex-存在正则前束范式(Skolem 正则范式)3-value proposition logic 三值命题逻辑。