Associative-algebraic approach to logarithmic conformal field theories

合集下载

An affine PI Hopf algebra not finite over a normal commutative Hopf subalgebra

An affine PI Hopf algebra not finite over a normal commutative Hopf subalgebra
(ii) Let H be a Hopf algebra. Recall the left and right adjoint actions of H on itself,
(adl a)(b) = a1bS(a2), and (adr a)(b) = S(a1)ba2,
for a, b ∈ H, where ∆(a) = a1 ⊗ a2. Also recall that a Hopf subalgebra A of H is normal in H provided (adl H)(A) and (adr H)(A) are contained in A.
December 2001.
Abstract. In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford’s biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1, 1), provides a noetherian prime counterexample.
arXiv:math/0112038v1 [math.QA] 4 Dec 2001

英文-中文数学词汇

英文-中文数学词汇
4
函数的自变量 算术 算术平均;等差中顶;算术 中顶 算术级数;等差级数 等差序列 等差级数 边 数组; 数组 前号 递升序 X 的升幂 断语; 断定 结合律 假定平均数 假定;假设 非对
average average speed axiom axiom of existence axiom of extension axiom of inclusion axiom of pairing axiom of power axiom of specification
仰角 静摩擦角; 极限角 最大斜率的角 倾斜角 相交角;交角 投射角 旋转角 扇形角 三角形内角和 同顶角 角移位 角动量 角运动 角速度 年(年利率 X%) 逆时针方向;返时针方向 逆时针力矩 反导数; 反微商 逆对数;反对数 反对称 顶点 接近;趋近 近似值 近似;略计;逼近 阿刺伯数字系统 任意 任意常数 弧 弧长 反余弦函数
7
centripedal force force centroid certain event chain rule chance change of axes change of base change of coordinates change of subject change of variable characteristic equation characteristic function characteristic of logarithm characteristic root chart check digit checking chord chord of contact circle circular circular function circular measure circular motion circular permutation circumcentre circumcircle circumference circumradius

The associative algebras of conformal field theory

The associative algebras of conformal field theory

(1
+
z)hφ(z)|χ
,
which coincides with Zhu’s definition of the product φ ∗ χ.
One can modify the N0-product by scaling its dimension h + h′ − r components by λr:
3
4 Zhu’s algebra and the algebra of zero modes
2 Operator product expansion and normal ordered products
The main reason for the unnecessary duplication of concepts seems to be the lack of familiarity of mathematicians with the operator product expansion (OPE).
Instead of splitting the sum at m = h one can use any other fixed value of m. The resulting field differs from N (φ, χ) by a linear combination of some fields of lower dimension, namely the ψr with r < 0. Splitting at m = 0 yields
A glaring example is the classification of representations of the W-algebra of holomorphic fields. Since the early days of conformal field theory, physicists have used the zero mode algebra for that purpose (e.g. [Zam85], [BG88], [KZ84]).

高等数学英语词汇

高等数学英语词汇

高等数学英语词汇高等数学英语词汇引导语:高等数学指相对于初等数学而言,数学的对象及方法较为繁杂的'一部分。

以下是店铺分享给大家的高等数学英语词汇,欢迎阅读!Aabelian group:阿贝尔群; absolute geometry:绝对几何; absolute value:绝对值; abstract algebra:抽象代数; addition:加法; algebra:代数; algebraicclosure:代数闭包; algebraic geometry:代数几何;algebraic geometry and analytic geometry:代数几何和解析几何; algebraic numbers:代数数; algorithm:算法; almost all:绝大多数; analytic function:解析函数; analytic geometry:解析几何; and:且;angle:角度; anticommutative:反交换律; antisymmetric relation:反对称关系; antisymmetry:反对称性; approximately equal:约等于; Archimedean field:阿基米德域; Archimedean group:阿基米德群; area:面积; arithmetic:算术; associative algebra:结合代数; associativity:结合律; axiom:公理; axiom of constructibility:可构造公理; axiom of empty set:空集公理;axiom of extensionality:外延公理; axiom of foundation:正则公理; axiom of pairing:对集公理; axiom of regularity:正则公理; axiom of replacement:代换公理; axiom of union:并集公理; axiom schema of separation:分离公理; axiom schema of specification:分离公理;axiomatic set theory:公理集合论; axiomatic system:公理系统;BBaire space:贝利空间; basis:基; Bézout's identity:贝祖恒等式; Bernoulli's inequality:伯努利不等式 ; Big O notation:大O符号; bilinear operator:双线性算子; binary operation:二元运算; binary predicate:二元谓词; binary relation:二元关系; Booleanalgebra:布尔代数;Boolean logic:布尔逻辑; Boolean ring:布尔环; boundary:边界; boundary point:边界点;bounded lattice:有界格;Ccalculus:微积分学; Cantor's diagonal argument:康托尔对角线方法; cardinal number:基数;cardinality:势; cardinality of the continuum:连续统的势; Cartesian coordinate system:直角坐标系; Cartesian product:笛卡尔积; category:范畴; Cauchy sequence:柯西序列; Cauchy-Schwarz inequality:柯西不等式; Ceva's Theorem:塞瓦定理; characteristic:特征;characteristic polynomial:特征多项式; circle:圆; class:类; closed:闭集; closure:封闭性或闭包; closure algebra:闭包代数; combinatorial identities:组合恒等式; commutativegroup:交换群; commutative ring:交换环; commutativity::交换律; compact:紧致的;compact set:紧致集合; compact space:紧致空间; complement:补集或补运算; completelattice:完备格; complete metric space:完备的度量空间; complete space:完备空间; complexmanifold:复流形; complex plane:复平面; congruence:同余; congruent:全等; connectedspace:连通空间; constructible universe:可构造全集; constructions of the real numbers:实数的构造; continued fraction:连分数; continuous:连续; continuum hypothesis:连续统假设;contractible space:可缩空间; convergence space:收敛空间; cosine:余弦; countable:可数;countable set:可数集; cross product:叉积; cycle space:圈空间; cyclic group:循环群;Dde Morgan's laws:德·摩根律; Dedekind completion:戴德金完备性; Dedekind cut:戴德金分割;del:微分算子; dense:稠密; densely ordered:稠密排列; derivative:导数; determinant:行列式; diffeomorphism:可微同构; difference:差; differentiablemanifold:可微流形;differential calculus:微分学; dimension:维数; directed graph:有向图; discrete space:离散空间; discriminant:判别式; distance:距离; distributivity:分配律; dividend:被除数;dividing:除; divisibility:整除; division:除法; divisor:除数; dot product:点积;Eeigenvalue:特征值; eigenvector:特征向量; element:元素; elementary algebra:初等代数;empty function:空函数; empty set:空集; empty product:空积; equal:等于; equality:等式或等于; equation:方程; equivalence relation:等价关系; Euclidean geometry:欧几里德几何;Euclidean metric:欧几里德度量; Euclidean space:欧几里德空间; Euler's identity:欧拉恒等式;even number:偶数; event:事件; existential quantifier:存在量词; exponential function:指数函数; exponential identities:指数恒等式; expression:表达式; extended real number line:扩展的实数轴;Ffalse:假; field:域; finite:有限; finite field:有限域; finite set:有限集合; first-countablespace:第一可数空间; first order logic:一阶逻辑; foundations of mathematics:数学基础;function:函数; functional analysis:泛函分析; functional predicate:函数谓词;fundamental theorem of algebra:代数基本定理; fraction:分数;Ggauge space:规格空间; general linear group:一般线性群; geometry:几何学; gradient:梯度;graph:图; graph of a relation:关系图; graph theory:图论; greatest element:最大元;group:群; group homomorphism:群同态;HHausdorff space:豪斯多夫空间; hereditarily finite set:遗传有限集合; Heron's formula:海伦公式; Hilbert space:希尔伯特空间;Hilbert's axioms:希尔伯特公理系统; Hodge decomposition:霍奇分解; Hodge Laplacian:霍奇拉普拉斯算子; homeomorphism:同胚; horizontal:水平;hyperbolic function identities:双曲线函数恒等式; hypergeometric function identities:超几何函数恒等式; hyperreal number:超实数;Iidentical:同一的; identity:恒等式; identity element:单位元; identity matrix:单位矩阵;idempotent:幂等; if:若; if and only if:当且仅当; iff:当且仅当; imaginary number:虚数;inclusion:包含; index set:索引集合; indiscrete space:非离散空间; inequality:不等式或不等; inequality of arithmetic and geometric means:平均数不等式; infimum:下确界; infiniteseries:无穷级数; infinite:无穷大; infinitesimal:无穷小; infinity:无穷大; initial object:初始对象; inner angle:内角; inner product:内积; inner product space:内积空间; integer:整数; integer sequence:整数列; integral:积分; integral domain:整数环; interior:内部;interior algebra:内部代数; interior point:内点; intersection:交集; inverse element:逆元;invertible matrix:可逆矩阵; interval:区间; involution:回旋; irrational number:无理数;isolated point:孤点; isomorphism:同构;JJacobi identity:雅可比恒等式; join:并运算;K格式: Kuratowski closure axioms:Kuratowski 闭包公理;Lleast element:最小元; Lebesgue measure:勒贝格测度; Leibniz's law:莱布尼茨律; Liealgebra:李代数; Lie group:李群; limit:极限; limit point:极限点; line:线; line segment:线段; linear:线性; linear algebra:线性代数; linear operator:线性算子; linear space:线性空间; linear transformation:线性变换; linearity:线性性; list of inequalities:不等式列表; list oflinear algebra topics:线性代数相关条目; locally compact space:局部紧致空间; logarithmicidentities:对数恒等式; logic:逻辑学; logical positivism:逻辑实证主义; law of cosines:余弦定理; L??wenheim-Skolem theorem:L??wenheim-Skolem 定理; lower limit topology:下限拓扑;Mmagnitude:量; manifold:流形; map:映射; mathematical symbols:数学符号; mathematicalanalysis:数学分析; mathematical proof:数学证明; mathematics:数学; matrix:矩阵;matrix multiplication:矩阵乘法; meaning:语义; measure:测度; meet:交运算; member:元素; metamathematics:元数学; metric:度量; metric space:度量空间; model:模型; modeltheory:模型论; modular arithmetic:模运算; module:模; monotonic function:单调函数;multilinear algebra:多重线性代数; multiplication:乘法; multiset:多样集;Nnaive set theory:朴素集合论; natural logarithm:自然对数; natural number:自然数; naturalscience:自然科学; negative number:负数; neighbourhood:邻域; New Foundations:新基础理论; nine point circle:九点圆; non-Euclidean geometry:非欧几里德几何; nonlinearity:非线性; non-singular matrix:非奇异矩阵; nonstandard model:非标准模型; nonstandardanalysis:非标准分析; norm:范数; normed vector space:赋范向量空间; n-tuple:n 元组或多元组; nullary:空; nullary intersection:空交集; number:数; number line:数轴;Oobject:对象; octonion:八元数; one-to-one correspondence:一一对应; open:开集; openball:开球; operation:运算; operator:算子; or:或; order topology:序拓扑; ordered field:有序域;ordered pair:有序对; ordered set:偏序集; ordinal number:序数; ordinarymathematics:一般数学; origin:原点; orthogonal matrix:正交矩阵;Pp-adic number:p进数; paracompact space:仿紧致空间; parallel postulate:平行公理;parallelepiped:平行六面体; parallelogram:平行四边形; partial order:偏序关系; partition:分割; Peano arithmetic:皮亚诺公理; Pedoe's inequality:佩多不等式; perpendicular:垂直;philosopher:哲学家; philosophy:哲学; philosophy journals:哲学类杂志; plane:平面; pluralquantification:复数量化; point:点; Point-Line-Plane postulate:点线面假设; polarcoordinates:极坐标系; polynomial:多项式; polynomial sequence:多项式列; positive-definitematrix:正定矩阵; positive-semidefinite matrix:半正定矩阵; power set:幂集; predicate:谓词; predicate logic:谓词逻辑; preorder:预序关系; prime number:素数; product:积;proof:证明; proper class:纯类; proper subset:真子集; property:性质; proposition:命题; pseudovector:伪向量; Pythagorean theorem:勾股定理;QQ.E.D.:Q.E.D.; quaternion:四元数; quaternions and spatial rotation:四元数与空间旋转;question:疑问句; quotient field:商域; quotient set:商集;Rradius:半径; ratio:比; rational number:有理数; real analysis:实分析; real closed field:实闭域; real line:实数轴; real number:实数; real number line:实数线; reflexive relation:自反关系; reflexivity:自反性; reification:具体化; relation:关系; relative complement:相对补集;relatively complemented lattice:相对补格; right angle:直角; right-handed rule:右手定则;ring:环;Sscalar:标量; second-countable space:第二可数空间; self-adjoint operator:自伴随算子;sentence:判断; separable space:可分空间; sequence:数列或序列; sequence space:序列空间; series:级数; sesquilinear function:半双线性函数; set:集合; set-theoretic definitionof natural numbers:自然数的集合论定义; set theory:集合论; several complex variables:一些复变量; shape:几何形状; sign function:符号函数; singleton:单元素集合; social science:社会科学; solid geometry:立体几何; space:空间; spherical coordinates:球坐标系; squarematrix:方块矩阵; square root:平方根; strict:严格; structural recursion:结构递归;subset:子集; subsequence:子序列; subspace:子空间; subspace topology:子空间拓扑;subtraction:减法; sum:和; summation:求和; supremum:上确界; surreal number:超实数; symmetric difference:对称差; symmetric relation:对称关系; system of linearequations:线性方程组;Ttensor:张量; terminal object:终结对象; the algebra of sets:集合代数; theorem:定理; topelement:最大元; topological field:拓扑域; topological manifold:拓扑流形; topological space:拓扑空间; topology:拓扑或拓扑学; total order:全序关系; totally disconnected:完全不连贯;totally ordered set:全序集; transcendental number:超越数; transfinite recursion:超限归纳法; transitivity:传递性; transitive relation:传递关系; transpose:转置; triangleinequality:三角不等式; trigonometric identities:三角恒等式; triple product:三重积; trivialtopology:密着拓扑; true:真; truth value:真值;Uunary operation:一元运算; uncountable:不可数; uniform space:一致空间; union:并集;unique:唯一; unit interval:单位区间; unit step function:单位阶跃函数; unit vector:单位向量;universal quantification:全称量词; universal set:全集; upper bound:上界;Vvacuously true:??; Vandermonde's identity:Vandermonde 恒等式; variable:变量;vector:向量; vector calculus:向量分析; vector space:向量空间; Venn diagram:文氏图;volume:体积; von Neumann ordinal:冯·诺伊曼序数; von Neumann universe:冯·诺伊曼全集;vulgar fraction:分数;ZZermelo set theory:策梅罗集合论; Zermelo-Fraenkel set theory:策梅罗-弗兰克尔集合论; ZF settheory:ZF 系统; zero:零; zero object:零对象;下载全文。

数学英语词汇

数学英语词汇

英语词汇-数学词汇abbreviation 简写符号;简写 abscissa 横坐标absolute complement 绝对补集 absolute error 绝对误差absolute inequality 绝不等式 absolute maximum 绝对极大值absolute minimum 绝对极小值 absolute monotonic 绝对单调absolute value 绝对值 accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积 accumulative 累积的accuracy 准确度 act on 施于action 作用; 作用力 acute angle 锐角acute-angled triangle 锐角三角形 add 加addition 加法 addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive inverse 加法逆元; 加法反元 additive property 可加性adjacent angle 邻角 adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数 algebraic 代数的algebraic equation 代数方程 algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic number 代数数 algebraic operation 代数运算algebraically closed 代数封闭 algorithm 算法系统; 规则系统alternate angle (交)错角 alternate segment 内错弓形alternating series 交错级数alternative hypothesis 择一假设; 备择假设; 另一假设altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数 analysis 分析;解析analytic geometry 解析几何angle 角 angle at the centre 圆心角angle at the circumference 圆周角angle between a line and a plane 直与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线;分角线angle in the alternate segment 交错弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角 angle sum of a triangle 三角形内角和angles at a point 同顶角 angular displacement 角移位angular momentum 角动量 angular motion 角运动angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点 approach 接近;趋近approximate value 近似值 approximation 近似;略计;逼近Arabic system 阿刺伯数字系统 arbitrary 任意arbitrary constant 任意常数 arc 弧arc length 弧长 arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积 Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数 arm 边array 数组; 数组arrow 前号 ascending order 递升序ascending powers of X X 的升幂 assertion 断语; 断定associative law 结合律 assumed mean 假定平均数assumption 假定;假设asymmetrical 非对称asymptote 渐近asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均;平均数;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory of probability 概率公理论axis 轴axis of parabola 抛物线的轴axis of revolution 旋转轴axis of rotation 旋转轴axis of symmetry 对称轴 back substitution 回代bar chart 棒形图;条线图;条形图;线条图 base (1)底;(2)基;基数base angle 底角 base area 底面base line 底线 base number 底数;基数base of logarithm 对数的底 basis 基Bayes′ theorem 贝叶斯定理bearing 方位(角);角方向(角)bell-shaped curve 钟形图belong to 属于Bernoulli distribution 伯努利分布Bernoulli trials 伯努利试验bias 偏差;偏倚biconditional 双修件式; 双修件句bijection 对射; 双射; 单满射bijective function 对射函数; 只射函数billion 十亿bimodal distribution 双峰分布binary number 二进数binary operation 二元运算binary scale 二进法binary system 二进制binomial 二项式 binomial distribution 二项分布binomial expression 二项式 binomial series 二项级数binomial theorem 二项式定理 bisect 平分;等分bisection method 分半法;分半方法bisector 等分线;平分线Boolean algebra 布尔代数boundary condition 边界条件boundary line 界(线);边界bounded 有界的bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函数bounded sequence 有界序列brace 大括号 bracket 括号breadth 阔度 broken line graph 折线图calculation 计算calculator 计算器;计算器calculus (1) 微积分学; (2) 演算 cancel 消法;相消canellation law 消去律 canonical 典型; 标准capacity 容量 cardioid 心脏Cartesian coordinates 笛卡儿坐标Cartesian equation 笛卡儿方程Cartesian plane 笛卡儿平面Cartesian product 笛卡儿积category 类型;范畴catenary 悬链Cauchy sequence 柯西序列Cauchy′s principal value 柯西主值Cauchy-Schwarz inequality 柯西 - 许瓦尔兹不等式central limit theorem 中心极限定理central line 中线central tendency 集中趋centre 中心;心centre of a circle 圆心centre of gravity 重心centre of mass 质量中心centrifugal force 离心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心;距心certain event 必然事件chain rule 链式法则chance 机会change of axes 坐标轴的变换change of base 基的变换change of coordinates 坐标轴的变换change of subject 主项变换change of variable 换元;变量的换characteristic equation 特征(征)方程characteristic function 特征(征)函数characteristic of logarithm 对数的首数; 对数的定位部characteristic root 特征(征)根chart 图;图表check digit 检验数位checking 验算chord 弦chord of contact 切点弦circle 圆circular 圆形;圆的circular function 圆函数;三角函数circular measure 弧度法circular motion 圆周运动circular permutation 环形排列; 圆形排列; 循环排列circumcentre 外心;外接圆心circumcircle 外接圆circumference 圆周circumradius 外接圆半径circumscribed circle 外接圆cissoid 蔓叶class 区;组;类class boundary 组界class interval 组区间;组距class limit 组限;区限class mark 组中点;区中点classical theory of probability 古典概率论classification 分类clnometer 测斜仪clockwise direction 顺时针方向clockwise moment 顺时针力矩closed convex region 闭凸区域closed interval 闭区间coaxial 共轴coaxial circles 共轴圆coaxial system 共轴系coded data 编码数据coding method 编码法co-domain 上域coefficient 系数coefficient of friction 摩擦系数coefficient of restitution 碰撞系数; 恢复系数coefficient of variation 变差系数cofactor 余因子; 余因式cofactor matrix 列矩阵coincide 迭合;重合collection of terms 并项collinear 共线collinear planes 共线面collision 碰撞column (1)列;纵行;(2) 柱column matrix 列矩阵column vector 列向量combination 组合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公约数;公约common factor 公因子;公因子common logarithm 常用对数common multiple 公位数;公倍common ratio 公比common tangent 公切commutative law 交换律comparable 可比较的compass 罗盘compass bearing 罗盘方位角compasses 圆规compasses construction 圆规作图compatible 可相容的complement 余;补余complement law 补余律complementary angle 余角complementary equation 补充方程complementary event 互补事件complementary function 余函数complementary probability 互补概率complete oscillation 全振动completing the square 配方complex conjugate 复共轭complex number 复数complex unmber plane 复数平面complex root 复数根component 分量component of force 分力composite function 复合函数; 合成函数composite number 复合数;合成数composition of mappings 映射构合composition of relations 复合关系compound angle 复角compound angle formula 复角公式compound bar chart 综合棒形图compound discount 复折扣compound interest 复利;复利息compound probability 合成概率compound statement 复合命题; 复合叙述computation 计算computer 计算机;电子计算器concave 凹concave downward 凹向下的concave polygon 凹多边形concave upward 凹向上的concentric circles 同心圆concept 概念conclusion 结论concurrent 共点concyclic 共圆concyclic points 共圆点condition 条件conditional 条件句;条件式conditional identity 条件恒等式conditional inequality 条件不等式conditional probability 条件概率cone 锥;圆锥(体)confidence coefficient 置信系数confidence interval 置信区间confidence level 置信水平confidence limit 置信极限confocal section 共焦圆锥曲congruence (1)全等;(2)同余congruence class 同余类congruent 全等congruent figures 全等图形congruent triangles 全等三角形conic 二次曲; 圆锥曲conic section 二次曲; 圆锥曲conical pendulum 圆锥摆conjecture 猜想conjugate 共轭conjugate axis 共轭conjugate diameters 共轭轴conjugate hyperbola 共轭(直)径conjugate imaginary / complex number 共轭双曲conjugate radical 共轭虚/复数conjugate surd 共轭根式; 共轭不尽根conjunction 合取connective 连词connector box 捙接框consecutive integers 连续整数consecutive numbers 连续数;相邻数consequence 结论;推论consequent 条件;后项conservation of energy 能量守恒conservation of momentum 动量守恒conserved 守恒consistency condition 相容条件consistent 一贯的;相容的consistent estimator 相容估计量constant 常数constant acceleration 恒加速度constant force 恒力constant of integration 积分常数constant speed 恒速率constant term 常项constant velocity 怛速度constraint 约束;约束条件construct 作construction 作图construction of equation 方程的设立continued proportion 连比例continued ratio 连比continuity 连续性continuity correction 连续校正continuous 连续的continuous data 连续数据continuous function 连续函数continuous proportion 连续比例continuous random variable 连续随机变量contradiction 矛盾converge 收敛convergence 收敛性convergent 收敛的convergent iteration 收敛的迭代convergent sequence 收敛序列convergent series 收敛级数converse 逆(定理)converse of a relation 逆关系converse theorem 逆定理conversion 转换convex 凸convex polygon 凸多边形convexity 凸性coordinate 坐标coordinate geometry 解析几何;坐标几何coordinate system 坐标系系定理;系;推论coplanar 共面coplanar forces 共面力coplanar lines 共面co-prime 互质; 互素corollary 系定理; 系; 推论correct to 准确至;取值至correlation 相关correlation coefficient 相关系数correspondence 对应corresponding angles (1)同位角;(2)对应角corresponding element 对应边corresponding sides 对应边cosecant 余割cosine 余弦cosine formula 余弦公式cost price 成本cotangent 余切countable 可数countable set 可数集countably infinite 可数无限counter clockwise direction 逆时针方向;返时针方向counter example 反例counting 数数;计数couple 力偶Carmer′s rule 克莱玛法则criterion 准则critical point 临界点critical region 临界域cirtical value 临界值cross-multiplication 交叉相乘cross-section 横切面;横截面;截痕cube 正方体;立方;立方体cube root 立方根cubic 三次方;立方;三次(的)cubic equation 三次方程cubic roots of unity 单位的立方根cuboid 长方体;矩体cumulative 累积的cumulative distribution function 累积分布函数cumulative frequecy 累积频数;累积频率cumulative frequency curve 累积频数曲cumulative frequcncy distribution 累积频数分布cumulative frequency polygon 累积频数多边形;累积频率直方图curvature of a curve 曲线的曲率curve 曲线curve sketching 曲线描绘(法)curve tracing 曲线描迹(法)curved line 曲线curved surface 曲面curved surface area 曲面面积cyclic expression 输换式cyclic permutation 圆形排列cyclic quadrilateral 圆内接四边形cycloid 旋输线; 摆线cylinder 柱;圆柱体cylindrical 圆柱形的damped oscillation 阻尼振动data 数据De Moivre′s theorem 棣美弗定理De Morgan′s law 德摩根律decagon 十边形decay 衰变decay factor 衰变因子decelerate 减速decelaration 减速度decile 十分位数decimal 小数decimal place 小数位decimal point 小数点decimal system 十进制decision box 判定框declarative sentence 说明语句declarative statement 说明命题decoding 译码decrease 递减decreasing function 递减函数;下降函数decreasing sequence 递减序列;下降序列decreasing series 递减级数;下降级数decrement 减量deduce 演绎deduction 推论deductive reasoning 演绎推理definite 确定的;定的definite integral 定积分definition 定义degenerated conic section 降级锥曲线degree (1) 度; (2) 次degree of a polynomial 多项式的次数degree of accuracy 准确度degree of confidence 置信度degree of freedom 自由度degree of ODE 常微分方程次数degree of precision 精确度delete 删除; 删去denary number 十进数denominator 分母dependence (1)相关; (2)应变dependent event(s) 相关事件; 相依事件; 从属事件dependent variable 应变量; 应变数depreciation 折旧derivable 可导derivative 导数derived curve 导函数曲线derived function 导函数derived statistics 推算统计资料; 派生统计资料descending order 递降序descending powers of x x的降序descriptive statistics 描述统计学detached coefficients 分离系数(法)determinant 行列式deviation 偏差; 变差deviation from the mean 离均差diagonal 对角线diagonal matrix 对角矩阵diagram 图; 图表diameter 直径diameter of a conic 二次曲线的直径difference 差difference equation 差分方程difference of sets 差集differentiable 可微分differential coefficient 微商; 微分系数differential equation 微分方程differential mean value theorem 微分中值定理differentiate 求...的导数differentiate from first principle 从基本原理求导数differentiation 微分法digit 数字dimension 量; 量网; 维(数)direct impact 直接碰撞direct image 直接像direct proportion 正比例direct tax, direct taxation 直接税direct variation 正变(分)directed angle 有向角directed line 有向直线directed line segment 有向线段directed number 有向数direction 方向; 方位direction angle 方向角direction cosine 方向余弦direction number 方向数direction ratio 方向比directrix 准线Dirichlet function 狄利克来函数discontinuity 不连续性discontinuous 间断(的);连续(的); 不连续(的) discontinuous point 不连续点discount 折扣discrete 分立; 离散discrete data 离散数据; 间断数据discrete random variable 间断随机变数discrete uniform distribution 离散均匀分布discriminant 判别式disjoint 不相交的disjoint sets 不相交的集disjunction 析取dispersion 离差displacement 位移disprove 反证distance 距离distance formula 距离公式distinct roots 相异根distincr solution 相异解distribution 公布distributive law 分配律diverge 发散divergence 发散(性)divergent 发散的divergent iteration 发散性迭代divergent sequence 发散序列divergent series 发散级数divide 除dividend (1)被除数;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除数;除式;因子divisor of zero 零因子dodecagon 十二边形domain 定义域dot 点dot product 点积double angle 二倍角double angle formula 二倍角公式double root 二重根dual 对偶duality (1)对偶性; (2) 双重性due east/ south/ west /north 向东/ 南/ 西/ 北dynamics 动力学eccentric angle 离心角eccentric circles 离心圆eccentricity 离心率echelon form 梯阵式echelon matrix 梯矩阵edge 棱;边efficient estimator 有效估计量effort 施力eigenvalue 本征值eigenvector 本征向量elastic body 弹性体elastic collision 弹性碰撞elastic constant 弹性常数elastic force 弹力elasticity 弹性element 元素elementary event 基本事件elementary function 初等函数elementary row operation 基本行运算elimination 消法elimination method 消去法;消元法ellipse 椭圆ellipsiod 椭球体elliptic function 椭圆函数elongation 伸张;展empirical data 实验数据empirical formula 实验公式empirical probability 实验概率;经验概率empty set 空集encoding 编码enclosure 界限end point 端点energy 能; 能量entire surd 整方根epicycloid 外摆线equal 相等equal ratios theorem 等比定理equal roots 等根equal sets 等集equality 等(式)equality sign 等号equation 方程equation in one unknown 一元方程equation in two unknowns (variables) 二元方程equation of a straight line 直线方程equation of locus 轨迹方程equiangular 等角(的)equidistant 等距(的)equilateral 等边(的)equilateral polygon 等边多边形equilateral triangle 等边三角形equilibrium 平衡equiprobable 等概率的equiprobable space 等概率空间equivalence 等价equivalence class 等价类equivalence relation 等价关系equivalent 等价(的)error 误差error allowance 误差宽容度error estimate 误差估计error term 误差项error tolerance 误差宽容度escribed circle 旁切圆estimate 估计;估计量estimator 估计量Euclidean algorithm 欧几里德算法Euclidean geometry 欧几里德几何Euler′s formula 尤拉公式;欧拉公式evaluate 计值even function 偶函数even number 偶数evenly distributed 均匀分布的event 事件exact 真确exact differential form 恰当微分形式exact solution 准确解;精确解;真确解exact value 法确解;精确解;真确解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive disjunction 不包含性析取exclusive events 互斥事件exercise 练习exhaustive event(s) 彻底事件existential quantifier 存在量词expand 展开expand form 展开式expansion 展式expectation 期望expectation value, expected value 期望值;预期值experiment 实验;试验experimental 试验的experimental probability 实验概率explicit function 显函数exponent 指数exponential function 指数函数exponential order 指数阶; 指数级express…in terms of… 以………表达expression 式;数式extension 外延;延长;扩张;扩充extension of a function 函数的扩张exterior angle 外角external angle bisector 外分角external point of division 外分点extreme point 极值点extreme value 极值extremum 极值face 面factor 因子;因式;商factor method 因式分解法factor theorem 因子定理;因式定理factorial 阶乘factorization 因子分解;因式分解factorization of polynomial 多项式因式分解fallacy 谬误FALSE 假(的)falsehood 假值family 族family of circles 圆族family of concentric circles 同心圆族family of straight lines 直线族feasible solution 可行解;容许解Fermat′s last theorem 费尔马最后定理Fibonacci number 斐波那契数;黄金分割数Fibonacci sequence 斐波那契序列fictitious mean 假定平均数figure (1)图(形);(2)数字final velocity 末速度finite 有限finite dimensional vector space 有限维向量空间finite population 有限总体finite probability space 有限概率空间finite sequence 有限序列finite series 有限级数finite set 有限集first approximation 首近似值first derivative 一阶导数first order differential equation 一阶微分方程first projection 第一投影; 第一射影first quartile 第一四分位数first term 首项fixed deposit 定期存款fixed point 定点fixed point iteration method 定点迭代法fixed pulley 定滑轮flow chart 流程图focal axis 焦轴focal chord 焦弦focal length 焦距focus(foci) 焦点folium of Descartes 笛卡儿叶形线foot of perpendicular 垂足for all X 对所有Xfor each /every X 对每一Xforce 力forced oscillation 受迫振动form 形式;型formal proof 形式化的证明format 格式;规格formula(formulae) 公式four leaved rose curve 四瓣玫瑰线four rules 四则four-figure table 四位数表fourth root 四次方根fraction 分数;分式fraction in lowest term 最简分数fractional equation 分式方程fractional index 分数指数fractional inequality 分式不等式free fall 自由下坠free vector 自由向量; 自由矢量frequency 频数;频率frequency distribution 频数分布;频率分布frequency distribution table 频数分布表frequency polygon 频数多边形;频率多边形friction 摩擦; 摩擦力frictionless motion 无摩擦运动frustum 平截头体fulcrum 支点function 函数function of function 复合函数;迭函数functional notation 函数记号fundamental theorem of algebra 代数基本定理fundamental theorem of calculus 微积分基本定理gain 增益;赚;盈利gain perent 赚率;增益率;盈利百分率game (1)对策;(2)博奕Gaussian distribution 高斯分布Gaussian elimination 高斯消去法general form 一般式;通式general solution 通解;一般解general term 通项generating function 母函数; 生成函数generator (1)母线; (2)生成元geoborad 几何板geometric distribution 几何分布geometric mean 几何平均数;等比中项geometric progression 几何级数;等比级数geometric sequence 等比序列geometric series 等比级数geometry 几何;几何学given 给定;已知global 全局; 整体global maximum 全局极大值; 整体极大值global minimum 全局极小值; 整体极小值golden section 黄金分割grade 等级gradient (1)斜率;倾斜率;(2)梯度grand total 总计graph 图像;图形;图表graph paper 图表纸graphical method 图解法graphical representation 图示;以图样表达graphical solution 图解gravitational acceleration 重力加速度gravity 重力greatest term 最大项greatest value 最大值grid lines 网网格线group 组;grouped data 分组数据;分类数据grouping terms 并项;集项growth 增长growth factor 增长因子half angle 半角half angle formula 半角公式half closed interval 半闭区间half open interval 半开区间harmonic mean (1) 调和平均数; (2) 调和中项harmonic progression 调和级数head 正面(钱币)height 高(度)helix 螺旋线hemisphere 半球体;半球heptagon 七边形Heron′s formula 希罗公式heterogeneous (1)参差的; (2)不纯一的hexagon 六边形higher order derivative 高阶导数highest common factor 最大公因子;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯数字histogram 组织图;直方图;矩形图Ho lder′s Inequality 赫耳德不等式homogeneous 齐次的homogeneous equation 齐次方程Hooke′s law 虎克定律horizontal 水平的;水平horizontal asymptote 水平渐近线horizontal component 水平分量horizontal line 横线;水平线horizontal range 水平射程hyperbola 双曲线hyperbolic function 双曲函数hypergeometric distribution 超几何分布hypocycloid 内摆线hypotenuse 斜边hypothesis 假设hypothesis testing 假设检验hypothetical syllogism 假设三段论hypotrochoid 次内摆线idempotent 全幂等的identical 全等;恒等identity 等(式)identity element 单位元identity law 同一律identity mapping 恒等映射identity matrix 恒等矩阵identity relation 恒等关系式if and only if/iff 当且仅当;若且仅若if…, then 若….则;如果…..则illustration 例证;说明image 像点;像image axis 虚轴imaginary circle 虚圆imaginary number 虚数imaginary part 虚部imaginary root 虚根imaginary unit 虚数单位impact 碰撞implication 蕴涵式;蕴含式implicit definition 隐定义implicit function 隐函数imply 蕴涵;蕴含impossible event 不可能事件improper fraction 假分数improper integral 广义积分; 非正常积分impulse 冲量impulsive force 冲力incentre 内力incircle 内切圆inclination 倾角;斜角inclined plane 斜面included angle 夹角included side 夹边inclusion mapping 包含映射inclusive 包含的;可兼的inclusive disjunction 包含性析取;可兼析取inconsistent 不相的(的);不一致(的) increase 递增;增加increasing function 递增函数increasing sequence 递增序列increasing series 递增级数increment 增量indefinite integral 不定积分idenfinite integration 不定积分法independence 独立;自变independent equations 独立方程independent event 独立事件independent variable 自变量;独立变量indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定系数;未定系数indeterminate form 待定型;不定型index,indices 指数;指index notation 指数记数法induced operation 诱导运算induction hypothesis 归纳法假设inelastic collision 非弹性碰撞inequality 不等式;不等inequality sign 不等号inertia 惯性;惯量infer 推断inference 推论infinite 无限;无穷infinite dimensional 无限维infinite population 无限总体infinite sequence 无限序列;无穷序列infinite series 无限级数;无穷级数infinitely many 无穷多infinitesimal 无限小;无穷小infinity 无限(大);无穷(大)inflection (inflexion) point 拐点;转折点inherent error 固有误差initial approximation 初始近似值initial condition 原始条件;初值条件initial point 始点;起点initial side 始边initial value 初值;始值initial velocity 初速度initial-value problem 初值问题injection 内射injective function 内射函数inner product 内积input 输入input box 输入inscribed circle 内切圆insertion 插入insertion of brackets 加括号instantaneous 瞬时的instantaneous acceleration 瞬时加速度instantaneous speed 瞬时速率instantaneous velocity 瞬时速度integer 整数integrable 可积integrable function 可积函数integral 积分integral index 整数指数integral mean value theorem 积数指数integral part 整数部份integral solution 整数解integral value 整数值integrand 被积函数integrate 积;积分;......的积分integrating factor 积分因子integration 积分法integration by parts 分部积分法integration by substitution 代换积分法;换元积分法integration constant 积分常数interaction 相互作用intercept 截距;截段intercept form 截距式intercept theorem 截线定理interchange 互换interest 利息interest rate 利率interest tax 利息税interior angle 内角interior angles on the same side of the transversal 同旁内角interior opposite angle 内对角intermediate value theorem 介值定理internal bisector 内分角internal division 内分割internal energy 内能internal force 内力internal point of division 内分点interpolating polynomial 插值多项式interpolation 插值inter-quartile range 四分位数间距intersect 相交intersection (1)交集;(2)相交;(3)交点interval 区间interval estimation 区间估计;区域估计intuition 直观invalid 失效;无效invariance 不变性invariant (1)不变的;(2)不变量;不变式inverse 反的;逆的inverse circular function 反三角函数inverse cosine function 反余弦函数inverse function 反函数;逆函数inverse cosine function 反三角函数inverse function 反函数;逆映射inverse mapping 反向映射;逆映射inverse matrix 逆矩阵inverse problem 逆算问题inverse proportion 反比例;逆比例inverse relation 逆关系inverse sine function 反正弦函数inverse tangent function 反正切函数inverse variation 反变(分);逆变(分)invertible 可逆的invertible matrix 可逆矩阵irrational equation 无理方程irrational number 无理数irreducibility 不可约性irregular 不规则isomorphism 同构isosceles triangle 等腰三角形iterate (1)迭代值; (2)迭代iteration 迭代iteration form 迭代形iterative function 迭代函数iterative method 迭代法jet propulsion 喷气推进joint variation 联变(分);连变(分)kinetic energy 动能kinetic friction 动摩擦known 己知末项L′Hospital′s rule 洛必达法则Lagrange interpolating polynomial 拉格朗日插值多项代Lagrange theorem 拉格朗日定理Lami′s law 拉密定律Laplace expansion 拉普拉斯展式last term 末项latent root 本征根; 首通径lattice point 格点latus rectum 正焦弦; 首通径law 律;定律law of conservation of momentum 动量守恒定律law of indices 指数律;指数定律law of inference 推论律law of trichotomy 三分律leading coefficient 首项系数leading diagonal 主对角线least common multiple, lowest common multiple 最小公倍数;最低公倍式least value 最小值left hand limit 左方极限lemma 引理lemniscate 双纽线length 长(度)letter 文字;字母like surd 同类根式like terms 同类项limacon 蜗牛线limit 极限limit of sequence 序列的极限limiting case 极限情况limiting friction 最大静摩擦limiting position 极限位置line 线;行line of action 作用力线line of best-fit 最佳拟合line of greatest slope 最大斜率的直;最大斜率line of intersection 交线line segment 线段linear 线性;一次linear convergence 线性收敛性linear differeantial equation 线性微分方程linear equation 线性方程;一次方程linear equation in two unknowns 二元一次方程;二元线性方程linear inequality 一次不等式;线性不等式linear momentum 线动量linear programming 线性规划linearly dependent 线性相关的linearly independent 线性无关的literal coefficient 文字系数literal equation 文字方程load 负荷loaded coin 不公正钱币loaded die 不公正骰子local maximum 局部极大(值)local minimum 局部极小(值)locus, loci 轨迹logarithm 对数logarithmic equation 对数方程logarithmic function 对数函数logic 逻辑logical deduction 逻辑推论;逻辑推理logical step 逻辑步骤long division method 长除法loop 回路loss 赔本;亏蚀loss per cent 赔率;亏蚀百分率lower bound 下界lower limit 下限lower quartile 下四分位数lower sum 下和lower triangular matrix 下三角形矩阵lowest common multiple 最小公倍数machine 机械Maclaurin expansion 麦克劳林展开式Maclaurin series 麦克劳林级数magnitude 量;数量;长度;大小major arc 优弧;大弧major axis 长轴major sector 优扇形;大扇形major segment 优弓形;大弓形mantissa 尾数mantissa of logarithm 对数的尾数;对数的定值部many to one 多个对一个many-sided figure 多边形many-valued 多值的map into 映入map onto 映上mapping 映射marked price 标价Markov chain 马可夫链mass 质量mathematical analysis 数学分析mathematical induction 数学归纳法mathematical sentence 数句mathematics 数学matrix 阵; 矩阵matrix addition 矩阵加法matrix equation 矩阵方程matrix multiplication 矩阵乘法matrix operation 矩阵运算maximize 极大maximum absolute error 最大绝对误差maximum point 极大点maximum value 极大值mean 平均(值);平均数;中数mean deviation 中均差;平均偏差mean value theorem 中值定理measure of dispersion 离差的量度measurement 量度mechanical energy 机械能median (1)中位数;(2)中线meet 相交;相遇mensuration 计量;求积法method 方法method of completing square 配方法method of interpolation 插值法; 内插法method of least squares 最小二乘法; 最小平方法method of substitution 代换法;换元法method of successive substitution 逐次代换法; 逐次调替法method of superposition 迭合法metric unit 十进制单位mid-point 中点mid-point formula 中点公式mid-point theorem 中点定理million 百万minimize 极小minimum point 极小点minimum value 极小值Minkowski Inequality 闵可夫斯基不等式minor (1)子行列式;(2)劣;较小的minor arc 劣弧;小弧minor axis 短轴minor of a determinant 子行列式minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 减minute 分mixed number(fraction) 带分数modal class 众数组mode 众数model 模型modulo (1)模; 模数; (2)同余modulo arithmetic 同余算术modulus 模; 模数modulus of a complex number 复数的模modulus of elasticity 弹性模(数)moment arm (1)矩臂; (2)力臂moment of a force 力矩moment of inertia 贯性矩momentum 动量monomial 单项式monotone 单调monotonic convergence 单调收敛性monotonic decreasing 单调递减monotonic decreasing function 单调递减函数monotonic function 单调函数monotonic increasing 单调递增monotonic increasing function 单调递增函数motion 运动movable pulley 动滑轮multinomial 多项式multiple 倍数multiple angle 倍角multiple-angle formula 倍角公式multiple root 多重根multiplicand 被乘数multiplication 乘法multiplication law (of probability) (概率)乘法定律multiplicative inverse 乘法逆元multiplicative property 可乘性multiplicity 重数multiplier 乘数;乘式multiply 乘multi-value 多值的mulually disjoint 互不相交mutually exclusive events 互斥事件mutually independent 独立; 互相独立mutually perpendicular lines 互相垂直n factorial n阶乘n th derivative n阶导数n th root n次根;n次方根n the root of unity 单位的n次根Napierian logarithm 纳皮尔对数; 自然对数natural logarithm 自然对数natural number 自然数natural surjection 自然满射necessary and sufficient condition 充要条件necessary condition 必要条件negation 否定式negative 负negative angle 负角negative binomial distribution 负二项式分布negative index 负指数negative integer 负整数negative number 负数negative vector 负向量; 负矢量neighborhood 邻域net 净(值)net force 净力。

斯普林格数学研究生教材丛书

斯普林格数学研究生教材丛书

斯普林格数学研究生教材丛书《斯普林格数学研究生教材丛书》(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。

离散数学中英文名词对照表

离散数学中英文名词对照表

离散数学中英⽂名词对照表离散数学中英⽂名词对照表外⽂中⽂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 三值命题逻辑。

A New Algebraization of the Lame Equation

A New Algebraization of the Lame Equation
uction
ψ ′′ (x) + E − m ℓ(ℓ + 1) sn2 x ψ (x) = 0 , (1.1)
The Lam´ e equation,
where ℓ is a real parameter1 , and sn x ≡ sn(x|m) is the usual Jacobian elliptic function of modulus m, occupies a central position in the theory of differential equations with periodic coefficients. The study of its properties has attracted the attention of many illustrious mathematicians over the last century; classical references are [1–4]. Basic properties of the Lam´ e equation are as follows. First, it arises by separation of variables in the Laplace equation in ellipsoidal coordinates. Secondly, it possesses two linearly independent 2K (k ) or 4K (k )-periodic solutions (for characteristic √ values of E ) if and only if ℓ is a nonnegative integer. Here k = m, and K (k ) (denoted by K from now on) is the complete elliptic integral of the first kind with parameter k :

The analytic structure of an algebraic quantum group

The analytic structure of an algebraic quantum group

a rXiv:funct-a n /9771v128J u l1997The analytic structure of an algebraic quantum group J.Kustermans 1Institut for Matematik og Datalogi Odense Universitet Campusvej 555230Odense M Denmark July 1997Abstract In [14],Van Daele introduced the notion of an algebraic quantum group.We proved in [5]and [9]that such algebraic quantum groups give rise to C ∗-algebraic quantum groups according to Masuda,Nakagami &Woronowicz.In this paper,we will pull down the analytic structure of these C ∗-algebraic quantum groups to the algebraic quantum group.Introduction Van Daele introduced the notion of an algebraic quantum group in [14].It is essentially a Multiplier Hopf-∗-algebra with a non-zero left invariant functional on it.He proved that these algebaic quantum groups form a well-behaved category :•The left and right invariant functionals are unique up to a scalar.•The left and right invariant functionals are faithful.•Each algebraic quantum group gives rise to a dual algebraic quantum group.•The dual of the dual is isomorphic to the original algebraic quantum group.This category of algebraic quantum groups contains the compact and discrete quantum groups.It is also closed under the double construction of Drinfel’d so it contains also non-compact non-discrete quantum groups.Most of the groups and quantum groups will however not belong to this category.It is nevertheless worth while to study these algebraic quantum groups :•The category contains interesting examples.•The theoretical framework is not technically complicated.In a sense,you have only to worry about essential quantum group problems.Not over C ∗-algebraic complications.At the moment,Masuda,Nakagami&Woronowicz are working on a possible definition of a C∗-algebraic quantum group.To get an idea of this definition,we refer to[10].You can also get aflavour of it in[5] and[9].This definition is technically rather involved and C∗-algebraic quantum groups in this scheme have a rich analytical sructure.We proved in[5]and[9]that an algebraic quantum group with a positive left invariant functional gives rise to such C∗-algebraic quantum groups.In this paper,we will pull down this analytic structure to the algebra level.It shows that such algebraic quantum groups are truely algebraic versions of C∗-algebraic quantum groups according to Masuda,Nakagami&Woronowicz.In thefirst section,we give an overview of the theory of algebraic quantum groups as can be found in[14]. The second and third section are essentially only intended to assure that an obvious theory of analytic one-parameter groups worksfine on this algebra level.The most important results can be found in section4where we prove that the analytic objects of the C∗-algebraic quantum groups are of an algebraic nature.In the last section,we connect the analytic objects of the dual to the analytic objects of the original algebraic quantum group.We end this section with some conventions and notations.Every algebra in this paper is an associative algebra over the complex numbers(not necessarily unital).A homomorphism between algebras is by definition a linear multiplicative mapping.A∗-homomorphism between∗-algebras is a homomorphism which preserves the∗-operation.If V is a vector space,then L(V)denotes the set of linear mappings from V into V.If V,W are two vector spaces,V⊙W denotes the algebraic tensor product.Theflip from V⊙W to W⊙V will be denoted byχ.We will also use the symbol⊙to denote the algebraic tensor product of two linear mappings.We will always use the minimal tensor product between two C∗-algebras and we will use the symbol⊗for it.This symbol will also be used to denote the completed tensor product of two mappings which are sufficiently continuous.If z is a complex number,then S(z)will denote the following horizontal strip in the complex plane: S(z)={y∈will be denoted by the same symbol as the original mapping.Of course,we have similar definitions and results for antimultiplicative mappings.If we work in an algebraic setting,we will always use this form of non-degeneracy as opposed to the non degeneracy of∗-homomorphisms between C∗-algebras!For a linear functionalωon a non-degenerate∗-algebra A and any a∈M(A)we define the linear functionalsωa and aωon A such that(aω)(x)=ω(xa)and(ωa)(x)=ω(ax)for every x∈A.You canfind some more information about non-degenerate algebras in the appendix of[17].Letωbe a linear functional on a∗-algebra A,then:1.ωis called positive if and only ifω(a∗a)is positive for every a∈A.2.Ifωis positive,thenωis called faithful if and only if for every a∈A,we have thatω(a∗a)=0⇒a=0.Consider a positive linear functionalωon a∗-algebra A.Let H be a Hilbert-space andΛa linear mapping from A into H such that•Λ(A)is dense in H.•We have for all a,b∈A thatω(a∗a)= Λ(a),Λ(b) .Then we call(H,Λ)a GNS-pair forω.Such a GNS-pair always exist and it is unique up to a unitary.We have now gathered the necessary information to understand the following definitionDefinition1.1Consider a non-degenerate∗-algebra A and a non-degenerate∗-homomorphism∆fromA into M(A⊙A)such that1.(∆⊙ι)∆=(ι⊙∆)∆.2.The linear mappings T1,T2from A⊙A into M(A⊙A)such thatT1(a⊗b)=∆(a)(b⊗1)and T2(a⊗b)=∆(a)(1⊗b) for all a,b∈A,are bijections from A⊙A to A⊙A.Then we call(A,∆)a Multiplier Hopf∗-algebra.In[17],A.Van Daele proves the existence of a unique non-zero∗-homomorphismεfrom A to•(ω⊙ι)(∆(a))b=(ω⊙ι)(∆(a)(1⊗b))•b(ω⊙ι)(∆(a))=(ω⊙ι)((1⊗b)∆(a))for every b∈A.In a similar way,the multiplier(ι⊙ω)∆(a)is defined.Letωbe a linear functional on A.We callωleft invariant(with respect to(A,∆)),if and only if (ι⊙ω)∆(a)=ω(a)1for every a∈A.Right invariance is defined in a similar way.Definition1.2Consider a Multiplier Hopf∗-algebra(A,∆)such that there exists a non-zero positive linear functionalϕon A which is left invariant.Then we call(A,∆)an algebraic quantum group.For the rest of this paper,we willfix an algebraic quantum group(A,∆)together with a non-zero left invariant positive linear functionalϕon it.An important feature of such an algebraic quantum group is the faithfulness and uniqueness of left invariant functionals:1.Consider a left invariant linear functionalωon A,then there exists a unique element c∈It is also possible to introduce the modular function of our algebraic quantum group.This is an invertible elementδin M(A)such that(ϕ⊙ι)(∆(a)(1⊗b))=ϕ(a)δbfor every a,b∈A.Concerning the right invariant functional,we have that(ι⊙ψ)(∆(a)(b⊗1))=ψ(a)δ−1bfor every a,b∈A.This modular function is,like in the classical group case,a one dimensional(generally unbounded) corepresentation of our algebraic quantum group:∆(δ)=δ⊙δε(δ)=1S(δ)=δ−1.As in the classical case,we can relate the left invariant functional to our right invariant functional via the modular function:we have for every a∈A thatϕ(S(a))=ϕ(aδ)=µϕ(δa).If we apply this equality two times and use the fact that S(δ)=δ−1,we get thatϕ(S2(a))=ϕ(δ−1aδ) for every a∈A.Not surprisingly,we have also thatρ(δ)=ρ′(δ)=µ−1δ.Another connection betweenρandρ′is given by the equalityρ′(a)=δρ(a)δ−1for all a∈A.We have also a property which says,loosely speaking,that every element of A has compact support(see e.g.[6]for a proof):Consider a1,...,a n∈A.Then there exists an element c in A such that c a i=a i c=a i for every i∈{1,...,n}.In a last part,we are going to say something about duality.We define the subspaceˆA of A′as follows:ˆA={ϕa|a∈A}={aϕ|a∈A}.Like in the theory of Hopf∗-algebras,we turnˆA into a non-degenerate∗-algebra:1.For everyω1,ω2∈ˆA and a∈A,we have that(ω1ω2)(a)=(ω1⊙ω2)(∆(a)).2.For everyω∈ˆA and a∈A,we have thatω∗(a)=2.We have for everyθ∈M(ˆA)and a∈A thatθ∗(a)=C into the set of homomorphisms from A into A such that the following properties hold:1.We have for every t∈I R thatαt is a∗-automorphism on A.2.We have for every s,t∈I R thatαs+t=αsαt.3.We have for every t∈I R thatαt is relatively invariant underϕ64.Consider a∈A andω∈ˆA.Then the function C:z→ω(αz(a))is analytic.Then we callαan analytic one-parameter group on(A,∆).Except for the last proposition in this section,we willfix an analytic one-parameter groupαon(A,∆). We will prove the basic properties ofα.Result2.2Consider z∈z(a∗)for a∈A.Proof:Choose a∈A.Take b∈A.Then we have two analytic functionsC:u→u(a∗)b∗)and C:u→ϕ(bαu(a))These functions are equal on the real axis:we have for all t∈I R that(a∗)b∗)=tϕ(αz(a∗)∗)=ϕ(bαz(a)).So the faithfulness ofϕimplies thatαIn the next result,we extend the group character ofαto the whole complex plane.Result2.3Consider y,z∈C→C→C→C→Corollary2.4Consider z∈We want to useαto define a positive injective operator in the GNS-space H ofϕ.In order to do so,we will need the following results.Result2.5There exists a unique strictly positive numberλsuch thatϕαt=λtϕfor t∈I R.Proof:By assumption,there exists for every t∈I R a strictly positive elementλt such thatϕαt=λtϕ. It is then clear thatλ0=1and thatλsλt=λs+t for every s,t∈I R.Now there exist a,b∈A such thatϕ(ba)=0.We have that the function I R→.So we see that the function[−t0,t0]→I R+0:t→λt is continuous.ϕ(α−t(b)a)Therefore the function I R→I R+0:t→λt is continuous.We get from this all the existence of a strictly positive numberλsuch thatλt=λt for t∈I R.So ϕαt=λtϕfor t∈I R.C.Proof:Choose a,b∈A.Then we have two analytic functionsC:u→λuϕ(aα−u(b))and C:u→ϕ(αu(a)b)These functions are equal on the real line:we have for all t∈I R thatλtϕ(aα−t(b))=ϕ(αt(aα−t(b)))=ϕ(αt(a)b)So they must be equal on the whole complex plane.We have in particular thatϕ(αz(a)b)=λzϕ(aα−z(b)),henceϕ αz(aα−z(b)) =λzϕ(aα−z(b)). Because A=Aα−z(A),we infer from this thatϕαz=λzϕ.2Λ(αt(a))for a∈A and t∈I R.Proof:We can define a unitary group representation u from I R on H such that u tΛ(a)=λ−t2 Λ(αt(a)),Λ(b)=λ−tC: u tΛ(a),Λ(b) is continuous.Because u is bounded andΛ(A)is dense in H,we conclude that the function I R→We want to show that every P iz is defined onΛ(A)and that the formula in the above definition has its obvious generalization to P iz.First we will need a lemma for this.8Lemma2.8Consider a∈A.Then the function C:z→λ−Re zϕ(αz(a)∗αz(a))is bounded on horizontal strips.Proof:Take r∈I R.We will prove that the function above is bounded on the horizontal strip S(ri). We have for every t∈I R thatϕ(αti(a)∗αti(a))=ϕ(α−ti(a∗)αti(a))=λ−itϕ(a∗α2ti(a))which implies that the function I R→I R+:t→ϕ(αti(a)∗αti(a))is continuous.So there exists M∈I R+such thatϕ(αti(a)∗αti(a))≤M for t∈[0,r].Hence we get for every z∈Result2.9Consider z∈2Λ(αz(a))for a∈A.Proof:Take v∈H and define the function f from C such that f(u)= λ−u C.Define also for every b∈A the function f b:C such that f b(u)= λ−u C. Then f b(u)=λ−u C which implies that f b is analytic.Choose y∈C around y.By the previous lemma,we get the existence of a positive number M such thatλ−Re uϕ(αu(a)∗αu(a))≤M2for u∈B.This implies easily that λ−u2Λ(αu(a)),Λ(b n) − λ−uC.It is also clear that f(t)= P itΛ(a),v for t∈R.This implies thatΛ(a)∈D(P iz)and that P izΛ(a)=λ−zResult2.10Consider z∈Proof:It is clear that alsoα−i=β−i.Now there exist strictly positive numbersλandµsuch thatϕαt=λtϕandϕβt=µtϕfor t∈I R. Then there exist also positive injective operators P and Q in H such that P itΛ(a)=λ−t2Λ(βt(a))for t∈I R and a∈A.We know thatΛ(A)is a core for both P and Q.We have moreover for every a∈A thatµi2λi2µi2QΛ(a)So we get thatµi2Q.It is clear thatµiλiC thatλ−z2Λ(βz(a))which by the faitfulness ofϕimplies thatλ−z2βz(a).Now we see thatµλα2is multiplicative.Because alsoα2is multiplicative,thisimplies thatµ3Analytic unitary representationsThis section contains the same basic ideas as the previous one.We only apply them in a differentsituation.We will use the results in this section to introduce complex powers of the modular function of an algebraic quantum group in the next section.We will againfix an algebraic quantum group(A,∆)with a positive left Haar functionalϕon it.Let (H,∆)be a GNS-pair forϕ.Let us start of with a definition.Definition3.1Consider a function u fromC→zfor every z∈C→ϕ(u−C→ϕ(u−ϕ(u−t a∗)=ϕ(a u∗−t)=ϕ(a u t)for all t∈I R.So they must be equal on the whole complex plane.We have in particular that z a∗)=ϕ(a u z)which implies thatϕ(a u z)=ϕ(a u∗−z=u z.Result3.3Consider y,z∈C→C→C→C→Corollary3.4Consider z∈C: v tΛ(a),Λ(b) is continuous.Because v is bounded andΛ(A)is dense in H,we conclude that the function I R→We want to show that every P iz is defined onΛ(A)and that the formula in the above definition has its obvious generalization to P iz.First we will need a lemma for this.Lemma3.6Consider a∈A.Then function C:z→ϕ((u z a)∗(u z a))is bounded on horizontal strips.Proof:Take r∈I R.We will prove that the function above is bounded on the horizontal strip S(ri). We have for every t∈I R thatϕ((u ti a)∗(u ti a))=ϕ(a∗u ti u ti a)=ϕ(a∗u2ti a)which implies that the function I R→I R+:t→ϕ((u ti a)∗(u ti a))is continuous.So there exists M∈I R+such thatϕ((u ti a)∗(u ti a))≤M for t∈[0,r].11Hence we get for every z∈Result3.7Consider z∈C into C. Define also for every b∈A the function f b:C such that f b(c)= Λ(u c a),Λ(b) for c∈C which implies that f b is analytic.Choose y∈C around y.By the previous lemma,we get the existence of a positive number M such thatϕ((u c a)∗(u c a))≤M2 for c∈B.This implies easily that Λ(u c a) ≤M for c∈BNow there exists a sequence(b n)∞n=1in A such that(Λ(b n))∞n=1converges to v.We have for every c∈B and n∈I N that|f(c)−f b n(c)|=| Λ(u c a),Λ(b n) − Λ(u c a),v |≤M Λ(b n)−vThis implies that(f b n)∞n=1converges uniformly to f on B,so f is analytic on B.This implies that f is analytic in y.So we see that f is analytic onResult3.8Consider z∈C thatΛ(u z a)=Λ(v z a)which by the faitfulness ofϕimplies that u z a=v z a.4The analytic structure of an algebraic quantum groupIn[5]and[9],we proved that every algebraic quantum group gives rise to a reduced and universal C∗-algebraic quantum group in the sense of Masuda,Nakagami and Woronowicz.These C∗-algebraic quantum groups have a very rich(complicated?)analytic structure.We show in this section that this analytic structure can be completely pulled down to the algebraic level.Consider an algebraic quantum group(A,∆)and letϕbe a positive left Haar functional of(A,∆).Let (H,Λ)be a GNS-pair forϕ.In[9],we constructed a universal C∗-algebraic quantum group(A u,∆u)out of(A,∆).We denote the canonical embedding of A into A u byπu.Soπu is an injective∗-homomorphism into A u such thatπu(A)is dense in A u.We have also for every a∈A and x∈A⊙A that∆u(πu(a))(πu⊙πu)(x)=(πu⊙πu)(∆(a)x)and(πu⊙πu)(x)∆u(πu(a))=(πu⊙πu)(x∆(a)) As a rule,we will give objects associated with A u a subscript‘u’.So the left Haar weight on(A u,∆u) will be denoted byϕu and its modular group byσu.The scaling group of(A u,∆u)will be denoted byτu,the anti-unitary antipode by R u.The modular group of the right Haar weightϕu R u will be denoted byσ′u.We will also need the co-unit on the universal C∗-algebraic quantum group(A u,∆u).Recall that we have a co-unitεon the algebraic quantum group(A,∆).This gives rise to a non-zero∗-homomorphism εu from A u intoC thatπu(a)belongs to D(δiz u)and that δiz uπu(a)belongs again toπu(A).We will use this fact to define any complex power ofδon the algebra level.The definition that we introduce in this paper is much better than the ad hoc definitions in[5]and [9]because we work here within the framework of the algebraic quantum group(A,∆).Proposition4.1There exist a unique analytic unitary representation w on A such that w−i=δ.We defineδz=w−iz for z∈Proof:We know already thatδiy uπu(A)⊆πu(A)for y∈C into M(A)such thatπu(w y a)=δiy uπu(a)for y∈y for y∈C→A u:y→δiy uπu(a)is analytic.This gives us that the mapping C:y→ϕu(πu(c)∗(δiy uπu(a))πu(b))is analytic. But we have for every y∈C→Notice that we have also proven the following characterization for powers ofδ.Proposition4.2We have for every z∈C thatδy+z=δyδz3.We have for z∈z4.Consider z∈2δt2is self adjoint.We have also the following analyticity property.Result4.5We have for everyω∈ˆA that the function C:z→ω(δz)is analytic.By proposition12.2of[9],we know thatπ(δu)=δr.Hence we get thatπ(δz u)=δz r for z∈Proposition4.6We have for every z∈We want now to prove a generalization of this result for complex parameters.The idea behind this proof is completely the same but we have to be a little bit careful in this case.Recall from[9]that every element ofπu(A)is analytic with respect toσu,σ′u andτu.First we prove a little lemma.15Lemma4.8Consider z∈C into C. We have by the previous proposition for every t∈I R that(σu)t(x)belongs toπu(A),which implies that ω (σu)z((σu)t(x)) =0.Hence f(z+t)=ω((σu)z+t(x))=ω (σu)z((σu)t(x)) =0for t∈I R.This implies that f=0.In particular,ω(x)=f(0)=0.So the density ofπu(A)in A u implies thatω=0.Therefore Hahn-Banach implies that(σu)z(πu(A))is dense in A u.C and a∈A.Then(σ′u)z(πu(a))=(σu)z(πu(δiz aδ−iz)).Proof:We introduce the one-parameter representations L,R,θon A u such thatL t(x)=δit u x R t(x)=xδ−itu θt(x)=δit u xδ−itufor x∈A u and t∈I R.Then L and R commute andθt=L t R t for t∈I R.This implies that L z R z⊆θz(see e.g.proposition3.9 of[8]).We know thatπ(a)∈D(R z)and that R z(πu(a))=πu(aδ−izu).This implies that R z(πu(a))∈D(L z)andthat L z(R z(πu(a)))=πu(δiz u aδ−izu ).So we get thatπu(a)∈D(θz)and thatθz(πu(a))=πu(δiz u aδ−izu).We have moreover thatσu andθcommute and that(σ′u)t=(σu)tθt for all t∈I R.This implies again that(σu)zθz⊆(σ′u)z.Therefore(σ′u)z(πu(a))=(σu)z θz(πu(a)) =(σu)z(πu(δiz aδ−iz)).C.Then(σu)z(πu(A))=(σ′u)z(πu(A)).Now we are in a position to prove a generalization of proposition4.7.Proposition4.11Consider z∈C.Consider elements a1,...,a m,b1,...,b m∈A and p1,...,p n,q1,...,q n∈A such that the equalitym i=1∆(a i)(1⊗b i)= n j=1p j⊗q j holds.Thenmi=1∆u(πu(a i))(1⊗πu(b i))=nj=1πu(p j)⊗πu(q j)We have now the following two analytic functions:andCorollary4.12We have that R u(πu(A))=πu(A).Proof:We know by theorem9.18of[9]that R u((τu)−iThese results imply that al the objects associated to the C∗-algebraic quantum group(A u,∆u)can be pulled down to the algebraic level.Thefirst(and typical)result is contained in the next proposition. Proposition4.13There exists a unique analytic one-parameter groupσon A such thatσ−i=ρ.We have moreover thatπu(σz(a))=(σu)z(πu(a))for every a∈A and z∈Proof:By proposition4.11,we know that(σu)z(πu(A))=πu(A)for every z∈C into the set of mappings from A into A such that πu(σz(a))=(σu)z(πu(a))for every a∈A and z∈C thatαz is a homomorphism on A.2.We have for every t∈I R thatαt is a∗-automorphism on A.3.We have for every s,t∈I R thatαs+t=αsαt.Choose z∈A.Thenπu(a)∈D((σu)z)∩Mϕu and(σu)z(πu(a))=πu(σz(a))∈Mϕu.Becauseϕu is invariant underσu,this implies by proposition2.14of[7]thatϕu(πu(a))=ϕu (σu)z(πu(a)) =ϕu πu(σz(a))which implies thatϕ(a)=ϕ(σz(a)).Take a∈A andω∈ˆA.Then there exist b,c∈A such thatω=cϕb∗.We know by proposition8.8of[9]thatπu(a)is analytic with respect toσu.This implies that the functionC→C thatϕu(πu(b)∗(σu)z(πu(a))πu(c))=ϕu(πu(b)∗πu(σz(a))πu(c))=ϕu(πu(b∗σz(a)c))=ϕ(b∗σz(a)c)=ω(σz(a))So the function C:z→ω(σz(a))is analytic.Hence we get by definition thatσis an analytic one-parameter group on A.Using proposition8.8of[9],we see thatσ−i=ρ.C thatϕσz=ϕ.There exists a canonical GNS-construction(H,Λu,π)for the weightϕu such thatπu(A)is a core forΛu andΛu(πu(a))=Λ(a)for a∈A(see definition10.2of[9]and theorem10.6of[9]).Denote the modular operator ofϕu by∇and the modular conjugation ofϕu by J(both with respect to this GNS-construction).Then these objects are completely characterized by the following two results.Result4.15Consider z∈Corollary4.16We have for every a∈A that JΛ(a)=Λ(σiBy the remarks after definition8.4of[9],we know thatπ(σu)t=(σr)tπfor t∈I R.Consequently,π(σu)z⊆(σr)zπfor z∈C and a∈A that(σr)z(πr(a))=πr(σz(a)).Completely similar to proposition4.13,we have the next results.Remember that we have proven in corollary7.3of[5]the existence of a unique strictly positive numberνsuch thatϕr(τr)t=νtϕr for t∈I R. Proposition9.19of[5],proposition8.17of[5]and proposition8.20of[7]imply thatϕr(σ′r)t=ν−tϕr for t∈I R.This gives us also thatϕr(τu)t=νtϕu and thatϕu(σu)z=ν−tϕu for every t∈I R.Proposition4.18There exists a unique analytic one-parameter groupσ′on A such thatσ′−i=ρ′. We have moreover thatπu(σ′z(a))=(σ′u)z(πu(a))for every a∈A and z∈C thatϕσ′z=ν−zϕ.Proposition4.20We have for every a∈A and z∈C.We callτthe scaling group of(A,∆).Result4.22We have for every z∈C thatπr(τz(a))=(τr)z(πr(a)).Now it is the turn of the anti-unitary antipode R u to be pulled down.This is possible thanks to corollary 4.12Definition4.24We define the mapping R from A into A such thatπu(R(a))=R u(πu(a))for a∈A. Then R is a∗-anti-automorphism on A such that R2=ι.We call R the anti-unitary antipode of(A,∆).We know by[9]that R rπ=πR u which gives us,as usual,the next result.Proposition4.25We have for every a∈A thatπr(R(a))=R r(πr(a)).19In the rest of this section,we will prove the most basic relations between the objects introduced in this section.In most cases,the proofs consist of pulling down the corresponding relations on the C∗-algebra level.We will make use of the results on the reduced C∗-algebra level because they were proved before the results on the universal level(in fact,most of the latter results depend on the results on the reduced level).First we describe the polar decompositionResult4.26We have for every z∈.2These are immediate consequences of corollary5.4of[5]and theorem5.6of[5].Corollary4.28We have the following commutation relations:1.We have for every z∈C thatτyσz=σzτy.Proof:The remarks before this result imply easily thatσtτs=τsσt for s,t∈I R.Take a,b∈A.Fix t∈I R for the moment.Then we have two analytic functionsC:u→ϕ(σ−t(b)τu(a))and C:u→νuϕ τ−u(b)σt(a)These functions are equal on the real line:we have for every s∈I R thatϕ(σ−t(b)τs(a))=ϕ bσt(τs(a)) =ϕ bτs(σt(a)) =νsϕ(τ−s(b)σt(a))So they must be equal onC→C→Now we prove some relations in connection with the comultiplication.Proposition4.30Consider z∈•(τz⊙τz)∆=∆τz•(τz⊙σz)∆=∆σz•(σ′z⊙τ−z)∆=∆σ′z•(σz⊙σ′−z)∆=∆τzProof:We only prove thefirst equality.The others are proven in the same way.Choose a∈A.Take b∈A.By proposition5.7of[5],we have for every t∈I R that(πr⊙πr)(∆(τt(a))(τt(b)⊗1))=∆ πr(τt(a)) (πr(τt(b))⊗1)=∆ (τr)t(πr(a)) ((τr)t(πr(b))⊗1)=((τr)t⊗(τr)t) ∆r(πr(a)) ((τr)t(πr(b))⊗1)=((τr)t⊗(τr)t)(∆r(πr(a))(πr(b)⊗1))=((τr)t⊗(τr)t) (πr⊙πr)(∆(a)(b⊗1)) =(πr⊙πr) (τt⊙τt)(∆(a)(b⊗1))which implies that∆(τt(a))(τt(b)⊗1)=(τt⊙τt)(∆(a)(b⊗1))(*)Choose p,q∈A.Then we have two functionsC:y→(ϕ⊙ϕ)((1⊗p)∆(q)∆(τy(a))(τy(b)⊗1))andC:y→(ϕ⊙ϕ) (1⊗p)∆(q)(τt⊙τt)(∆(a)(b⊗1))We see immediately that the second function is analytic.Because(ϕ⊙ϕ)((1⊗p)∆(q)∆(τy(a))(τy(b)⊗1))=ϕ(pτy(b))ϕ(qτy(a))for y∈A,also thefirst function is analytic.We know by(*)that both functions are equal on the real axis,so they must be equal on the whole complex plane.In particular,(ϕ⊙ϕ)((1⊗p)∆(q)∆(τz(a))(τz(b)⊗1))=(ϕ⊙ϕ) (1⊗p)∆(q)(τz⊙τz)(∆(a)(b⊗1)) . Hence the faithfulness ofϕimplies that∆(τz(a))(τz(b)⊗1)=(τz⊙τz)(∆(a)(b⊗1))=(τz⊙τz)(∆(a))(τz(b)⊗1)So we see that∆(τz(a))=(τz⊙τz)(∆(a)).C.Thenετz=ε.Corollary4.33We have thatεR=ε.In the next part,we look at some formulas involving the modular functionδ.Thefirst one says that everyδz is a one-dimensional corepresentations of(A,∆).Proposition4.34We have for every z∈Proof:Take a,b∈A.Then we have by proposition8.6of[5]for every t∈I R that(πr⊙πr)(∆(δit)∆(a)(b⊗1))=(πr⊙πr)(∆(δit a)(b⊗1))=∆r(πr(∆(δit a))(πr(b)⊗1) =∆r(δit rπr(a))(πr(b)⊗1)=(δit r⊗δit r)(πr⊙πr)(∆(a)(b⊗1))=(πr⊙πr)((δit⊗δit)∆(a)(b⊗1))which implies that∆(δit)∆(a)(b⊗1)=(δit⊗δit)∆(a)(b⊗1)(∗)We have now two functionsC:u→(ϕ⊙ϕ)(∆(δiu)∆(a)(b⊗1))andC:u→(ϕ⊙ϕ)((δiu⊗δiu)∆(a)(b⊗1))The second function is clearly analytic.Because(ϕ⊙ϕ)(∆(δiu)∆(a)(b⊗1))=ϕ(δiu a)ϕ(b)for u∈A, also the second is analytic.Furthermore,(*)implies that both functions are equal on the real line. So they must be equal on the whole complex plane.In particular,(ϕ⊙ϕ)(∆(δz)∆(a)(b⊗1))= (ϕ⊙ϕ)((δz⊗δz)∆(a)(b⊗1))Hence the faithfulness ofϕimplies that∆(δz)∆(a)(b⊗1)=(δz⊗δz)∆(a)(b⊗1)So we get that∆(δz)=δz⊗δz.C thatε(δz)=1and S(δz)=δ−z.Result4.36Consider y,z∈C→C→Combining the result concerningτwith corollary4.35and proposition4.27,we get the following one.Result4.37Consider z∈C that(σ′r)z=R r(σr)−z R r.So we get the next result.Result4.38Consider z∈C and a∈A thatσ′z(a)=δizσz(a)δ−iz.We end this section with some remarks concerning the right Haar functional on(A,∆).Recall that we have a right Haar functionalϕS on(A,∆)but we do not know(yet)whetherϕS is positive.By the formulaχ(R⊙R)∆=∆R,we have however the following proposition.Theorem4.40The functionalϕR is a positive Haar functional on(A,∆).Because S=τ−i2ϕR.BecauseϕS=δϕ,we have also thatϕ(R(a))=ϕ(δ12)for a∈A.5The analytic structure of the dualIn this section,we will connect the alytic objects associated to the dual of an algebraic quantum groups to the analytic objects of this algebraic quantum groups.So consider an algebraic quantum group(A,∆)with a positive left Haar functionalϕon it.As in the previous section,we will use the notationsσfor the modular group of the left Haar functional,σ′for the modular group of the right Haar functional,τfor the scaling group and R for the anti-unitary antipode. The corresponding objects on the dual quantum group(ˆA,ˆ∆)will get a hat on them,e.g.ˆσwill denote the modular group of the left Haar functional on(ˆA,ˆ∆).First we start with the modular group of the dual quantum group(ˆA,ˆ∆).(Similar results are also considered in[10]).We will introducefirst a temporary notation.Considerω∈M(ˆA).Then we defineωz∈A′such that ωz(a)=ω(τz(a)δ−iz)for a∈A.Lemma5.1Consider z∈where we used result4.36in the second last equality.Consequently,(ωz⊙ι)∆(a)=τ−z [(ω⊙ι)∆(τz(a)δ−iz)]δiz .The other equality is proven in the same way.C.Then we have the following properties.1.We have for everyω∈M(ˆA)thatωz∈M(ˆA).2.Considerω,θ∈M(ˆA).Then(ωθ)z=ωzθz.Lemma5.3Consider z∈Lemma5.4Considerω∈ˆA and a∈A.Then the fuction C:z→ωz(a)is analytic.Proof:There exist b,c,d∈A such thatω=bcϕd∗.We know thatπr(a)is analytic with respect toτr and thatπr(b)is analytic with respect toδr.This implies that the function C→A r:z→πr(b)πr(c))is analytic.ϕr(πr(d)∗(τr)z(πr(a))δ−izrBut we have for every z∈C→Proposition5.5We have for everyω∈ˆA,a∈A and z∈C into L(ˆA)such thatβz(ω)=ωz for z∈2.Choose s,t∈I R.Takeω∈ˆA.Then we have for every a∈A that[βs(βt(ω))](a)=[βt(ω)](τs(a)δ−it)=ω(τt(τs(a)δ−it)δ−is)=ω(τt(τs(a))δ−itδ−is)=ω(τs+t(a)δ−i(s+t)))=[βs+t(ω)](a), implying thatβs(βt(ω))=βs+t(ω).So we have proven thatβsβt=βs+t.3.Lemma5.2implies thatβt is multiplicative for every t∈I R.4.Choose t∈I R.Takeω∈ˆA.Then we have for every a∈A that[βt(ω)]∗(a)=ω(τt(S(a)∗)δ−it)=ω((δit S(τt(a)))∗)=C that b(βz(ω))=βz(ω)(a)=ωz(a))which implies that the function C:z→b(βz(ω))is analytic by lemma5.4So we can conclude from this al thatβz is an analytic one-parameter group onˆA.Choose a∈A.Lemma2.8of[6]implies thatˆσi(ψa)=ψδS2(a).We know by the proof of lemma5.3 that(ψa)i=ψδS2(a).So we see thatˆσi(ψa)=βi(ψa).Henceˆσi=βi which by proposition2.11implies thatˆσ=β.C thatˆσz(ω)(a)=ω(τz(a)δ−iz).The proof of the next result is completely similar(an easier)to the proof of the previous proposition.It is a consequence of the fact thatˆS2(ω)=ωS2forω∈ˆA.Proposition5.7We have for everyω∈M(ˆA),a∈A and z∈,we get easily the following on.2Corollary5.8We have for everyω∈M(ˆA)thatˆR(ω)=ωR.Remembering thatˆσ′z=ˆRˆσ−zˆR,it is now easy to check the next equality.Corollary5.9We have for every a∈A,ω∈M(ˆA)and z∈。

关于运算律的知识

关于运算律的知识

关于运算律的知识I believe that understanding the properties of arithmetic operations is crucial for anyone looking to excel in mathematics. 运算律是数学中非常重要的知识点,它们为我们解决数学问题提供了一个基本框架。

By understanding the associative, commutative, and distributive properties, one can simplify complex calculations and manipulate equations with ease. 通过掌握结合律、交换律和分配律,我们可以简化复杂的计算,并且轻松地处理方程式。

These properties form the foundation of algebraic reasoning and play a fundamental role in higher-level mathematical concepts. 这些性质构成了代数推理的基础,对于理解高层次的数学概念起着重要作用。

The associative property states that the grouping of numbers in an operation does not affect the outcome. 结合律指的是数字间的分组方式不会影响结果。

For example, when adding or multiplying a series of numbers, the order in which they are grouped does not change the sum or product. 例如,当对一系列数字进行加法或乘法时,分组的顺序不会改变它们的和或乘积。

1 Introduction A Modal Logic for Reasoning about Possibilistic Belief Fusion

1 Introduction A Modal Logic for Reasoning about Possibilistic Belief Fusion

A Modal Logic for Reasoning about Possibilistic Belief FusionChurn-Jung Liau Tuan-Fang FanInstitute of Information Science Institute of Information ManagementAcademia Sinica National Chiao-Tung UniversityTaipei115,Taiwan Hsinchu300,Taiwanliaucj@.tw tffan.iim92g@.tw1IntroductionIn this paper,we propose a modal logic for reasoning aboutpossibilistic belief fusion.This is a combination of multi-agent epistemic logic and possibilistic logic.We use gradedepistemic operators to represent agents’uncertain beliefs,andthe operators are interpreted in accordance with possibilisticsemantics.We employ ordered fusion based on a level skip-ping strategy to resolve the inconsistency caused by directfusion;that is,the level at which the inconsistency occurs isskipped.Here,we present the formal semantics and an ax-iomatic system for the logic.2SyntaxTo encode the degrees of reliability of n agents,we use or-dering relations over any subset of{1,...,n}.Let T O n de-note the set of all possible strict total orders over any non-empty subset of{1,...,n}.Then,we can associate a uniquesyntactic notation with each strict total order in T O n.LetX={i1,i2,...,i m}be a non-empty subset of{1,...,n}and>be a strict total order such that i j>i k iff j<k for all1≤,j,k≤m.Then,the syntactic notation for(X,>)is thestring i1>i2>···>i m.In this paper,the capital letter O is used to denote meta-variables ranging over such notations.Let O be the stringi1>i2>···>i m,then the set{i1,i2,...,i m}is calledthe domain of O,denoted byδ(O).In this case,O>i m+1denotes i1>i2>···>i m>i m+1if i m+1∈δ(O).Asthe syntactic notation is unique for each total order,we canalso identify the notation with the total order itself,and writeO∈T O n.Furthermore,the upper-case Greek letterΩisused to denote meta-variables ranging over nonempty subsetsof T O n.We now present the syntax of our logic for reasoning aboutpossibilistic belief fusion based on a level skipping strategy.The logic is called SFPL⊗,n ,where ∈[0,1]is the incon-sistency tolerance degree of the logic and⊗is a continuous T-norm1.LetΦ0be a set of propositional symbols.Then theset of well-formed formulas(wff)of SFPL⊗,n is defined asthe smallest set containingΦ0∪{⊥, },and is closed under Boolean operators and the following rule:1A T-norm is any binary operation on[0,1]that is commutative, associative,non-decreasing in each argument,and has1as unit.•ifϕis a wff,then[Ω]aϕand[Ω]+aϕare wffs for any nonemptyΩ⊆T O n,and any rational number a∈[0,1].IfΩ={O}is a singleton,we write[O]aϕ(resp.[O]+aϕ), instead of[{O}]aϕ(resp.[{O}]+aϕ).Intuitively,[O]aϕ(resp. [O]+aϕ)means that an agent merging distributed beliefs in ac-cordance with the ordering of O will believeϕwith a strength at least equal to(resp.more than)a.We can view each O as a virtual agent,and[Ω]corresponds to a distributed belief oper-ator[Fagin et al.,1996]of virtual agents inΩ.Note that our purpose is to ensure the consistency of ordered fusion based on any single order O.WhenΩcontains more than one or-der,[Ω]+ ⊥may hold.This does not matter,however,since a non-singletonΩplays only an auxiliary role in our logic.3SemanticsTo present the semantics,we briefly review possibility theory [Zadeh,1978].In this theory,each possibility distribution π:W→[0,1]can derive an associated possibility measure Π:2W→[0,1]and a necessity measure N:2W→[0,1], asΠ(X)=sup x∈Xπ(x)and N(X)=1−sup x∈Xπ(x).A possibility distributionπ:W→[0,1]is normalized if Π(W)=1.A normalized possibility distribution repre-sents a consistent belief state.Ifπis not normalized,i.e., sup x∈Wπ(x)<1,it represents a partially inconsistent belief state.1−sup x∈Wπ(x)is called the inconsistency degree of π,and is denoted byι(π).An SFPL⊗,n-structure is a tuple M=(W,(πi)1≤i≤n,V), where W is a set of possible worlds,eachπi maps each world w to a possibility distributionπi,w:W→[0,1]over W such thatι(πi,w)≤ ,and V maps elements inΦ0to subsets of W. We defineπO,w for each O∈T O n and w∈W inductively as follows:πO>i,w=πO,w ifι(πO,w⊗πi,w)> ,πO,w⊗πi,w otherwise. Furthermore,we also defineπΩ,w for eachΩ⊆T O n and w∈W,asπΩ,w=O∈ΩπO,w.Then,the satisfactionrelation|=for SFPL⊗,n-model is defined as•w|=p iff w∈V(p),for each p∈Φ0,•w|=⊥and w|= ,•w|=¬ϕiff w|=ϕ,•w|=ϕ∨ψiff w|=ϕor w|=ψ,•w|=[Ω]aϕiff NΩ,w(|ϕ|)≥a,•w|=[Ω]+aϕiff NΩ,w(|ϕ|)>a,where|ϕ|is the truth set ofϕin the model and NΩ,w is the necessity measure associated withπΩ,w.A set of wffsΣis satisfied in a world w,written as w|=Σ,if w|=ϕfor allϕ∈Σ.We writeΣ|=Mϕif,for each possible world w in M,w|=Σimplies w|=ϕ;andΣ|=SFPL⊗,n ϕifΣ|=Mϕfor each SFPL⊗,n-structure M.Σcan be omitted when it is an empty set,so a wffϕis valid inM,denoted by|=Mϕ,if∅|=Mϕ,and|=SFPL⊗,n ϕdenotes∅|=SFPL⊗,n ϕ.The subscript is usually omitted if it is clearfrom the context.•Axioms:1.P:all tautologies of the propositional calculus2.Bookkeeping:(a)[Ω]cϕ⊃[Ω]+d ϕif c>d(b)[Ω]+cϕ⊃[Ω]cϕ(c)[Ω]0ϕ(d)¬[Ω]+1ϕ3.V1:(a)([Ω]aϕ∧[Ω]a(ϕ⊃ψ))⊃[Ω]aψ(b)([Ω]+aϕ∧[Ω]+a(ϕ⊃ψ))⊃[Ω]+aψ4.V2:¬[i]+ ⊥5.V3:ifΩ1∩Ω2=∅,then(a)([Ω1]aϕ∧[Ω2]bϕ)⊃[Ω1∪Ω2]a⊕bϕ(b)([Ω1]+aϕ∧[Ω2]+b ϕ)⊃[Ω1∪Ω2]+a⊕bϕ6.O1:(a)¬[{O,i}]+ ⊥⊃([Ω∪{O>i}]aϕ≡[Ω∪{O,i}]aϕ)(b)¬[{O,i}]+ ⊥⊃([Ω∪{O>i}]+aϕ≡[Ω∪{O,i}]+aϕ)7.O2:(a)[{O,i}]+ ⊥⊃([Ω∪{O>i}]aϕ≡[Ω∪{O}]aϕ)(b)[{O,i}]+ ⊥⊃([Ω∪{O>i}]+aϕ≡[Ω∪{O}]+aϕ)•Rules of Inference:1.R1(Modus ponens,MP):ϕϕ⊃ψψ2.R2(Generalization,Gen):ϕ[Ω]1ϕFigure1:The axiomatic system for SFPL⊗,n 4Proof TheoryAn axiomatic system can be developed for SFPL⊗,nby gener-alizing the corresponding axioms of DBF s n[Liau,2005]and PL⊗n[Boldrin and Saffiotti,1999].The axiomatic system forSFPL⊗,nis presented in Figure1.The symbol⊕in axiom V3denotes the T-conorm corresponding to⊗,which is de-fined as a⊕b=1−(1−a)⊗(1−b).The axiom V2is the requirement that the inconsistency degree of each agent’s belief state is not more than ,which is the inconsistency tol-erance degree of the logic.The axioms O1and O2further enforce the same property for each virtual agent O.A wffϕis derivable from the system SFPL⊗,n,or sim-ply,ϕis a theorem of SFPL⊗,n,if there is afinite sequence ϕ1,...,ϕm such thatϕ=ϕm and everyϕi is an instance of an axiom schema;or it is obtained from earlierϕj’s by the application of an inference rule.It is written asSFPL⊗,nϕifϕis a theorem of SFPL⊗,n.LetΣ∪{ϕ}be a subset of wffs,thenϕis derivable fromΣin the system SFPL⊗,n,written asΣSFPL⊗,nϕ,if there is afinite subsetΣ ofΣsuch thatSFPL⊗,nΣ ⊃ϕ.We drop the subscript when no confu-sion occurs.We then have the soundness and completenesstheorem for SFPL⊗,n.Theorem1For any wffϕof SFPL⊗,n,|=ϕiff ϕ.5Concluding RemarksIn this paper,we present a modal logic for reasoning about ordered fusion of possibilistic beliefs based on a level skip-ping strategy.While direct fusion and ordered fusion in epis-temic logic[Fagin et al.,1996;Cholvy,1994;Liau,2005],as well as direct fusion in possibilistic logic[Boldrin and Saf-fiotti,1999]have been proposed previously in the literature, the results in this paperfill a gap in the previous works.The modal logic should be applicable to reasoning in multi-agent systems.In future work,it should be possible to consider op-erations other than T-norms for the fusion of possibility dis-tributions.References[Boldrin and Saffiotti,1999]L.Boldrin and A.Saffiotti.A modal logic for merging partial belief of multiple rea-soners.Journal of Logic and Computation,9(1):81–103, 1999.[Cholvy,1994]L.Cholvy.A logical approach to multi-souces reasoning.In M.Masuch and L.P´o los,editors, Knowledge Representation and Reasoning under Uncer-tainty,LNCS808,pages183–196.Springer-Verlag,1994. [Fagin et al.,1996]R.Fagin,J.Y.Halpern,Y.Moses,and M.Y.Vardi.Reasoning about Knowledge.MIT Press, 1996.[Liau,2005]C.J.Liau.A modal logic framework for multi-agent belief fusion.ACM Transactions on Computational Logic,6(1):124–174,2005.[Zadeh,1978]L.A.Zadeh.Fuzzy sets as a basis for a theory of possibility.Fuzzy Sets and Systems,1(1):3–28,1978.。

Keywords 单词表

Keywords 单词表

Chapter 1 Measurement 测量Physical quantity 物理量, Standard 标准, unit单位, Precision精度significant figures 有效数字, Dimension 量纲,维度, Force 力, Velocity 速度,Speed 速率, Acceleration 加速度, Momentum 动量, Base units 基本单位,Derived units 导出单位, phenomenon 性质, Cesium atom clock 铯原子钟,Definition 定义, vibrations 振动, platinum-iridium alloy 铂铱合金,multiply乘, divide除, product积, quotient商, consistent 一致,pendulum单摆, frequency 频率Chapter 2 Motion in one dimension 一维运动Kinematics运动学, Dynamics 动力学,vector矢量, Scalar 标量constant acceleration 匀加速度, Freely falling body 自由落体, Object 物体,Particle 质点, Translation 平动, Rigid body 刚体, Rotation 转动,Reference frame 参考系, magnitude and direction 大小和方向, equal 相等, opposite 相反addition 加,subtraction减, Triangle, Parallelogram 平行四边形,Commutative law 交换律, Associative law 结合律, Component分量,rectangular coordinate system直角坐标系, Unit Vectors 单位矢量,spherical coordinate system 球坐标系, Dot product 点乘, Cross product 叉乘,Radius 半径, Average velocity平均速度,Instantaneous velocity 瞬时速度,tangent 切线,initial position初始位置,vertical垂直, positive正, Derivative 导数,Integration 积分, Calculus 微积分, Simple harmonic motion 简谐运动Chapter 3 Force and Newton’s Laws 力和牛顿定律Classical mechanics 经典力学, interaction互作用, counteraction 反作用action-reaction force 作用与反作用力, environment 环境net force 净力remain at rest 保持静止,linear motion 线性运动, reference frame 参照系, inertia 惯性, inertial frame 惯性参照系,independent 独立的,无关的, friction 摩擦力,frictionless 无摩擦的, resistance 阻力,external force 外力, internal force 内力, horizontal 水平的, calibration 校准,定标, weight 重力, weightless 失重, perception 感觉,equator 赤道,North pole 北极,vary 变化Chapter 4 Motion in two and three dimensions 二维和三维运动Projectile motion 抛体运动, Drag force 曳力,阻力, Uniform circular motion 匀速圆周运动, Equivalent 相等,等价, Parabolic trajectory 抛物型轨道, range 射程,origin of coordinate 坐标原点, Differential equation 微分方程, angular velocity 角速度, centripetal acceleration 向心加速度, Relative Motion 相对运动, due east 正东Chapter 5 Application of Newton’s Laws牛顿定律的应用non-constant force 非恒力,inertial force 惯性力,pseudo-force 赝力,viscous force 黏滞力,tensile force, tension 张力,拉力,spring force 弹力,normal force正压力,frictionalforce 摩擦力,gravitational force万有引力,centrifugal force 离心力,Non-inertial frame 非惯性系, negligible 可忽略的, Massless and non-stretch string 无质量不可伸长的绳子,Passive force 被动力,active force 主动力,pulley 滑轮, Free-body diagram 隔离图,subscript 下标, superscript 上标,Coefficient of friction 摩擦系数, static friction静摩擦力,kinetic friction动摩擦力, conical pendulum 锥摆Chapter 6 Momentum 动量momentum 动量,collision 碰撞,impulse 冲量, conservation 守恒,strike 击打,theorem 定理, internal force 内力,external force 外力,elastic 弹性的,completely inelastic 完全非弹性, Center-of-mass reference frame 质心参考系,Coefficient of restitution 恢复系数Chapter 7 Systems of Particles 质点系Translational motion 平动,Rotational motion 转动,Combination 合成,simultaneous 同时的,trajectory 轨道,center of mass 质心, geometry 几何, symmetry 对称性, eliminate 消除,snapshot 快照,distribute 分布,numerator 分子,denominator 分母, decompose 分解,corollary 推论,distinction 区别,wobble 摇摆,oscillation 振动,tedious 冗长的,infinitesimal 无穷小,argument 论证,spherical symmetry 球对称,cylindrical symmetry 柱对称,irregular 不规则的,superimpose 重叠,mirror image 镜像,variable mass 可变质量Chapter 8 Rotational Kinematics 转动运动学rigid body 刚体,axis 轴,pure rotation 纯转动,angular displacement 角位移,angular velocity 角速度, angular acceleration 角加速度, degree of freedom 自由度,orientation 方向,spin 旋转,radian 弧度,circumference 一周,revolution 圈,increase增加, decrease 减少, counterclockwise 逆时针, characteristic 特征, finite 有限的,represent 表示, right-hand rule 右手定则, curl 卷曲, tangential 切向的,radial 径向的Chapter 9 Rotational Dynamics 转动动力学torque (moment of force)力矩, analogy 类比, analogue 类似物, analogous 类似的, emerge 出现, rotational inertia (moment of inertia) 转动惯量, intrinsic 固有的, arbitrary 任意的, resolve 分解, radial 径向的, tangential 切向的, moment arm力臂, cross-section 截面, cross product (vector product) 叉乘,矢量积,align 排列,substitute 替代,proportionality 比例性, parallel-axis theorem 平行轴定理, perpendicular-axis theorem 垂直轴定理, discrete 离散的, continuous 连续的, approximate 近似, uniform 均匀的,algebraic 代数的, calculus 微积分,approach 方法,instantaneous axis 瞬时轴, corollary 推论, equilibrium 平衡, nonequilibrium 非平衡, rolling without slipping 无滑滚动, inch 缓慢移动, superposition 叠加, inclined plane 斜面Chapter 10 Angular Momentum 角动量Specify 指定, right angle 直角, with respect to the origin 关于原点,time rate of change 随时间的变化率, moment of impulse 冲量矩,resolve a vector into components 将矢量分解,gyroscope 陀螺仪,回转仪, top 陀螺, axle 轮轴, shaft 轴, bearing 轴承, wobble 摇晃,symmetric 对称的, asymmetric 非对称的,lopsided 倾向一方的, sideways 向侧面的,invert 反转, divert 转向, deflect 偏转, orientational stability 取向稳定性,configuration 组态,构型, precession 进动, nutation 章动Chapter 11 Energy 1: Work and Kinetic Energy 功和动能Work 功, Kinetic energy 动能, Power 功率, Variable force 变力, Mechanical energy 机械能, Invariant 不变的, Work-energy theorem 功能原理, Negative work 负功,Electron-volt 电子伏特, Stretch 拉伸, Compress 压缩, Restoring force 恢复力, Integrate, integral, integration 积分, Elastic/inelastic collision 弹性(非弹性碰撞)Chapter 12 Potential Energy 势能Conservative force 保守力,Potential energy 势能, Agent Body, Round trip 环程,Cycle 循环, Characteristic 特征, Configuration 构型, State quantity 状态量,Process quantity 过程量, Isolated system 孤立系, Turning points 拐点,Stable equilibrium 稳定平衡, Unstable 非稳定的,Neutral 中性的,Dissociation energy 离解能, Gradient ▽梯度, Divergence ▽· 散度,Rotation ▽×旋度,Partial derivative 偏导数Chapter 13 Conservation of Energy 能量守恒Internal energy 内能, environment 环境, transfer 传递, microscopic 微观的,Weld 接触点, Protrusion 突出物, dissipative force 耗散力, decay 衰变,Exoergic 放能的, endoergic 吸能的, calorie 卡路里Chapter 14 Gravitation 引力Origin 起源,Universal gravitation 万有引力,Attract 吸引,Superposition 叠加,Shell theorem 壳层定理,Latitude 纬度,Altitude 高度,Inverse square law 平方反比律,Equator 赤道,Spherically symmetric 球对称的,Planet 行星,Satellite 卫星,Escape speed 逃逸速度,Perturb 扰动, Mutual interaction 相互作用,Torsion 扭力,Ellipsoid 椭圆体,Elliptic 椭圆的,Parabolic 抛物线的,Hyperbolic 双曲线的, Focus 焦点,Semi-major axis 半长轴,Eccentricity 离心率,Aphelion 远日点,Perihelion 近日点,Dark matter 暗物质, Dark energy 暗能量, General theory of relativity 广义相对论。

离散数学双语专业词汇表wps

离散数学双语专业词汇表wps

《离散数学》双语专业词汇表Abelian group:交换(阿贝尔)群absorption property:吸收律acyclic:无(简单)回路的adjacent vertices:邻接结点adjacent vertices:邻接结点adjacent vertices:邻接结点algorithm verification:算法证明algorithm:算法alphabet:字母表alternating group:交替群analogous:类似的analysis of algorithm:算法分析antisymmetric:反对称的approach:方法,方式argument:自变量associative:可结合的associative:可结合的asymmetric:非对称的backtracking:回溯base 2 exponential function:以2为底的指数函数basic step:基础步biconditional, equivalence:双条件式,等价bijection, one-to-one correspondence:双射,一一对应binary operation on a set A:集合A上的二元运算binary operation:二元运算binary relation:二元关系(complete) binary tree:(完全)二元(叉)树bland meats:未加调料的肉block, cell:划分块,单元Boolean algebra:布尔代数Boolean function:布尔函数Boolean matrix:布尔矩阵Boolean polynomial, Boolean expression:布尔多项式(表达式)Boolean product:布尔乘积bounded lattice:有界格brace:花括号bridge:桥,割边by convention:按常规,按惯例cancellation property:消去律capacity:容量cardinality:基数,势category:类别,分类catenation:合并,拼接ceiling function:上取整函数certain event:必然事件characteristic equation:特征方程characteristic function:特征函数chromatic number of G:G的色数chromatic polynomial:着色多项式circuit design:线路设计circuit:回路closed under the operation:运算对…是封闭的closed with respect to:对…是封闭的closure:闭包collision:冲突coloring graphs:图的着色column:列combination:组合common divisor:公因子commutative:可交换的commutative:可交换的commuter:经常往来于两地的人comparable:可比较的compatible with:与…相容compatible:相容的complement of B with respect to A:A与B的差集complement:补元complementary relation:补关系complete graph:完全图complete match:完全匹配complete n-tree:完全n-元树component sentence:分句component:分图composition:复合composition:关系的复合compound statement:复合命题conditional statement, implication:条件式,蕴涵式congruence relation:同余关系congruent to:与…同余conjecture:猜想conjunction:合取connected:连通的connected:连通的connection:连接connectivity relation:连通性关系consecutively:相继地consequent, conclusion:结论,后件constructive proof:构造性证明contain(in):包含(于)contingency:可满足式contradiction, absurdity:永假(矛盾)式contrapositive:逆否命题conversation of flow:流的守恒converse:逆命题conversely:相反地coordinate:坐标coset:陪集countable(uncountable):可数(不可数)counterexample;反例counting:计数criteria:标准,准则custom:惯例cut:割cycle:回路cyclic permutation:循环置换,轮换de Morgan’s laws:德摩根律declarative sentence:陈述句degree of a vertex:结点的度depot:货站,仓库descendant:后代diagonal matrix:对角阵die:骰子digraph:有向图dimension:维(数)direct flight:直飞航班discipline:学科disconnected:不连通的discrete graph(null graph):零图disjoint sets:不相交集disjunction:析取distance:距离distinguish:区分distributive lattice:分配格distributive:可分配的distributive:可分配的division:除法dodecahedron:正十二面体domain:定义域doubly linked list:双向链表dual:对偶edge:边edge:边element,member:成员,元素empty relation:空关系empty sequence(string):空串empty set:空集end point:端点entry(element):元素equally likely:等可能的,等概率的equivalence class:等价类equivalent relation:等价关系Euclidian algorithm:欧几里得算法,辗转相除法Euler path(circuit):欧拉路径(回路)event:事件everywhere defined:处处有定义的excess capacity:增值容量existence proof:存在性证明existential quantification:存在量词化expected value:期望值explicit:显式的extensively:广泛地,全面地extremal element:极值元素factor:因子factorial:阶乘finite (infinite) set:有限(无限)集finite group:有限(阶)群floor function:下取整函数free semigroup generated by A:由A生成的自由半群frequency of occurrence:出现次数(频率) function, mapping, transformation:函数,映射,变换GCD(greatest common divisor):最大公因子gender:性别generalize:推广generic element:任一元素graduate school:研究生院graph:(无向)图graph:无向图greatest(least) element:最大(小)元greedy algorithm:贪婪算法group:群growth of function:函数增长Hamiltonian path(circuit):哈密尔顿路径(回路) hashing function:杂凑函数Hasse diagram:哈斯图height:树高homomorphic image:同态像homomorphism:同态hypothesis:假设,前提,前件idempotent:等幂的idempotent:幂等的identity function on A:A上的恒等函数identity(element):么(单位)元identity:么元,单位元impossible event:不可能事件inclusion-exclusion principle:容斥原理in-degree:入度indirect method:间接证明法induction step:归纳步informal brand:不严格的那种inorder search:中序遍历intersection:交intuitively:直觉地inverse:逆关系inverse:逆元inverse:逆元inverter:反向器invertible function:可逆函数involution property:对合律irreflexive:反自反的isolated vertex:孤立结点isomorphism:同构isomorphism:同构join:,保联,并join:并Karnaugh map:卡诺图Kernel:同态核key:键Klein 4 group:Klein四元群Konisberg Bridge problem:哥尼斯堡七桥问题Kruskal’s algorithm:Kruskal算法labeled digraph:标记有向图lattice:格LCM(least common multiple):最小公倍数leaf(leave):叶结点least upper(greatest lower) bound:上(下)确界level:层,lexicographic order:字典序likelihood:可能性linear array(list):线性表linear graph:线性图linear homogeneous relation of degree k:k阶线性齐次关系linear order(total order):线序,全序linearly ordered set, chain:线(全)序集,链linked list:链表linked-list representation:链表表示logarithm function to the base n:以n为底的对数logical connective:命题联结词logically equivalent:(逻辑)等价的logically follow:是…的逻辑结论logician:逻辑学家loop:自回路lower order:低阶main diagonal:主对角线map-coloring problem:地图着色问题matching function:匹配函数matching problems:匹配问题mathematical structure(system):数学结构(系统)matrix:矩阵maximal match:最大匹配maximal(minimal) element:极大(小)元maximum flow:最大流meet:保交,交meet:交minimal spanning tree:最小生成树minterm:极小项modular lattice:模格modulus:模modus ponens:肯定律m odus tollens:否定律monoid:含么半群,独异点multigraph:多重图multiple:倍数multiplication table:运算表multi-valued function:多值函数mutually exclusive:互斥的,不相交的natural homomorphism:自然同态nearest neighbor:最邻近结点negation:否定(式)normal subgroup:正规(不变)子群notation:标记notion:概念n-tree:n-元树n-tuple:n-元组odd(even) permutation:奇(偶)置换offspring:子女结点one to one:单射,一对一函数onto:到上函数,满射operation on sets:集合运算optimal solution:最佳方法or(and, not) gate:或(与,非)门order of a group:群的阶order relation:序关系ordered pair:有序对,序偶ordered tree:有序树ordered triple:有序三元组ordinance:法规out-degree:出度parent:父结点partial order:偏序关系partially ordered set, poset:偏序集partition, quotient set:划分,商集path:路径path:通路,路径permutation:置换,排列pictorially:以图形方式pigeonhole principle:鸽巢原理planar graph:(可)平面图plausible:似乎可能的pointer:指针Polish form:(表达式的)波兰表示polynomial:多项式positional binary tree:位置二元(叉)树positional tree:位置树postorder search:后序遍历power set:幂集predicate:谓词preorder search:前序遍历prerequisite:预备知识prescribe:命令,规定Prim’s algorithm:Prim算法prime:素(数)principle of mathematical induction:(第一)数学归纳法probabilistic:概率性的probability(theory):概率(论)product partial order:积偏序product set, Caretesian set:叉积,笛product:积proof by contradiction:反证法proper coloring:正规着色propositional function:命题公式propositional variable:命题变元pseudocode:伪码(拟码)pumping station:抽水站quantifier:量词quotient group:商群random access:随机访问random selection(choose an object at random):随机选择range:值域rational number:有理数reachability relation:可达性关系reasoning:推理recreational area:游乐场所recursive:递归recycle:回收,再循环reflexive closure:自反闭包reflexive:自反的regular expression:正则表达式regular graph:正规图,正则图relation:关系relationship:关系relay station:转送站remainder:余数representation:表示restriction:限制reverse Polish form:(表达式的)逆波兰表示(left) right coset:(左)右陪集root:根,根结点rooted tree:(有)根树row:行R-relative set:R相关集rules of reference:推理规则running time:运行时间same order:同阶sample space:样本空间semigroup:半群sensible:有意义的sensible:有意义的sequence:序列sequential access:顺序访问set corresponding to a sequence:对应于序列的集合set inclusion(containment):集合包含set:集合siblings:兄弟结点simple cycle:简单回路simple path(circuit):基本路径(回路)simple path:简单路径(通路)sink:汇sophisticated:复杂的source:源spanning tree:生成树,支撑树square matrix:方阵statement, proposition:命题storage cell:存储单元string:串,字符串strong induction:第二数学归纳法subgraph:子图subgroup:子群sublattice:子格submonoid:子含么半群subscript:下标subsemigroup:子半群subset:子集substitution:替换subtree:子树summarize:总结,概括symmetric closure:对称闭包symmetric difference:对称差symmetric group:对称群symmetric:对称的tacitly:默认tautology:永真(重言)式tedious:冗长乏味的terminology:术语the capacity of a cut:割的容量topological sorting:拓扑排序transitive closure:传递闭包transitive:传递的transport network:运输网络transposition:对换traverse:遍历,周游tree searching:树的搜索(遍历)tree:树truth table:真值表TSP(traveling salesperson problem):货郎担问题unary operation:一元运算undirected edge:无向边undirected edge:无向边undirected tree:无向树union:并unit element:么(单位)元universal quantification:全称量词化universal set:全集upper(lower) bound:上(下)界value of a flow:流的值value, image:值,像,应变量Venn diagram:文氏图verbally:用言语vertex(vertices):结点vertex(vertices):结点,顶点virtually:几乎Warshal’s algorithm:Warshall算法weight:权weight:树weighted graph:(赋)权图well-defined:良定,完全确定word:词zero element:零元。

Vertex operator algebras associated to certain admissible modules for affine Lie algebras o

Vertex operator algebras associated to certain admissible modules for affine Lie algebras o

a rXiv:077.4129v1[mat h.Q A]27J u l27Vertex operator algebras associated to certain admissible modules for affine Lie algebras of type A Ozren Perˇs e Abstract Let L (−12(l +1),for even l .We study the category of weak modules for that vertex operator algebra which are in category O as modules for the associated affine Lie algebra.We classify irreducible objects in that category and prove semisimplicity of that category.1Introduction Let g be a simple finite-dimensional Lie algebra and ˆg the associated affine Lie algebra.For any complex number k =−h ∨,denote by L (k,0)the sim-ple vertex operator algebra associated to ˆg with level k .The representation theory of L (k,0)heavily depends on the choice of level k .If k is a posi-tive integer,L (k,0)is a rational vertex operator algebra (cf.[FZ],[Z]),i.e.the category of Z +-graded weak L (k,0)-modules is semisimple.Irreducible objects in that category are integrable highest weight ˆg -modules of level k ([FZ],[L]).The corresponding associative algebra A (L (k,0)),defined in [Z],is finite-dimensional (cf.[KWn]).In some cases such as k /∈Q or k <−h ∨(studied in [KL1]and [KL2]),categories of L (k,0)-modules have significantly different structure then categories of L (k,0)-modules for a positive integerk.However,there are examples of rational levels k such that the category of weak L(k,0)-modules which are in the category O asˆg-modules,has simi-lar structure as the category of Z+-graded weak L(k,0)-modules for positive integer levels k.These are so called admissible levels,defined in[KW1]and [KW2].The case of vertex operator algebras associated to affine Lie algebras of type C(1)lwith admissible half-integer levels has been studied in[A1]and[A2]. Vertex operator algebras associated to affine Lie algebras of type A(1)1with arbitrary admissible level have been studied in[AM]and[DLM].In these cases vertex operator algebra L(k,0)hasfinitely many irreducible weak mod-ules from the category O and every weak L(k,0)-module from the category O is completely reducible.One can say that these vertex operator algebras are rational in the category O.In[AM],authors gave a conjecture that ver-tex operator algebras L(k,0),for all admissible levels k,are rational in the category O.In the case of vertex operator algebras associated to affine Liealgebras of type B(1)l with admissible half-integer levels,certain parts of thisconjecture were verified in[P1].Admissible modules for affine Lie algebras were also recently studied in[A3],[FM],[GPW],[P2],[W].Vertex oper-ator algebras associated to certain affine Lie algebras with non-admissible negative integer levels have been studied in[AP].When k is an admissible level,vertex operator algebra L(k,0)is a quotient of the generalized Verma module by the maximal ideal generated by one singular vector.The formula for this singular vector is very complicated for general admissible level k(cf.[MFF]).But for some special cases of affine Lie algebras and half-integer admissible levels k,this singular vector has conformal weight2,and the formula for this vector is relatively simple (cf.[A1],[A2]and[P1]).In this paper we study one similar special case,for which we verify the conjecture from[AM].We consider the case of an affine Lie algebra of type A(1)l and the corre-sponding vertex operator algebra L(−12(l+1)is an admissible level for this affine Lie algebra.The results onadmissible modules from[KW1]imply that L(−12(l+1),0))with a certainquotient of U(g).Algebra A(L(−1A(L(−12(l+1),0))-modules from the category ing results from[Z],we obtain the classification of irreducible weak L(−12(l+1),0)-module from the category O is completelyreducible.In the case when l is odd,the lowest half-integer admissible level for affine Lie algebra of type A(1)lis−1where M(n)=0for n<0by definition.A weak V-module M is called a V-module if L(0)acts semisimply on M with the decomposition into L(0)-eigenspaces M=⊕α∈C M(α)such that for anyα∈C,dim M(α)<∞and M(α+n)=0for n∈Z sufficiently small.2.2Zhu’s A(V)theoryLet V be a vertex operator algebra.Following[Z],we define bilinear maps ∗:V×V→V and◦:V×V→V as follows.For any homogeneous a∈V and for any b∈V,let(1+z)wt aa◦b=Res zY(a,z)bzand extend to V×V→V by linearity.Denote by O(V)the linear span of elements of the form a◦b,and by A(V)the quotient space V/O(V).For a∈V,denote by[a]the image of a under the projection of V onto A(V). The multiplication∗induces the multiplication on A(V)and A(V)has a structure of an associative algebra.Proposition2.1([FZ],Proposition1.4.2)Let I be an ideal of V.As-sume1/∈I,ω/∈I.Then the associative algebra A(V/I)is isomorphic to A(V)/A(I),where A(I)is the image of I in A(V).For any homogeneous a∈V we define o(a)=a wt a−1and extend this map linearly to V.Proposition2.2([Z],Theorem2.1.2,Theorem2.2.1)(a)Let M=⊕∞n=0M(n)be a Z+-graded weak V-module.Then M(0)is an A(V)-module defined as follows:[a].v=o(a)v,for any a∈V and v∈M(0).(b)Let U be an A(V)-module.Then there exists a Z+-graded weak V-module M such that the A(V)-modules M(0)and U are isomorphic.Proposition2.3([Z],Theorem2.2.2)The equivalence classes of the ir-reducible A(V)-modules and the equivalence classes of the irreducible Z+-graded weak V-modules are in one-to-one correspondence.42.3Modules for affine Lie algebrasLet g be a simple Lie algebra over C with a triangular decomposition g=n−⊕h⊕n+.Let∆be the root system of(g,h),∆+⊂∆the set of positive roots,θthe highest root and(·,·):g×g→C the Killing form, normalized by the condition(θ,θ)=2.The affine Lie algebraˆg associated to g is the vector space g⊗C[t,t−1]⊕C c equipped with the usual bracket operation and the canonical central element c (cf.[K1]).Let h∨be the dual Coxeter number ofˆg.Letˆg=ˆn−⊕ˆh⊕ˆn+ be the corresponding triangular decomposition ofˆg.Denote byˆ∆the set of roots ofˆg,byˆ∆re(resp.ˆ∆re+)the set of real(resp.positive real)roots ofˆg and byα∨denote the coroot of a real rootα∈ˆ∆re.For every weightλ∈ˆh∗,denote by M(λ)the Verma module forˆg with highest weightλ,and by L(λ)the irreducibleˆg-module with highest weightλ.Let U be a g-module,and let k∈C.Letˆg+=g⊗t C[t]act trivially on U and c as scalar k.Considering U as a g⊕C c⊕ˆg+-module,we have the inducedˆg-module(so called generalized Verma module)U.N(k,U)=U(ˆg)⊗U(g⊕C c⊕ˆg+)For afixedµ∈h∗,denote by V(µ)the irreducible highest weight g-module with highest weightµ.We shall use the notation N(k,µ)to denote theˆg-module N(k,V(µ)).Denote by J(k,µ)the maximal proper submodule of N(k,µ)and L(k,µ)=N(k,µ)/J(k,µ).2.4Admissible modules for affine Lie algebrasLetˆ∆∨re(resp.ˆ∆∨re+)⊂ˆh be the set of real(resp.positive real)coroots of ˆg.Fixλ∈ˆh∗.Letˆ∆∨re={α∈ˆ∆∨re| λ,α ∈Z},ˆ∆∨reλ+=ˆ∆∨reλ∩ˆ∆∨re+,ˆΠ∨λthe set of simple coroots inˆ∆∨re andˆΠ∨λ={α∈ˆ∆∨reλ+|αnot equal to a sum of several coroots fromˆ∆∨reλ+}.Defineρin the usual way,and denote by w.λthe”shifted”action of an element w of the Weyl group ofˆg.Recall that a weightλ∈ˆh∗is called admissible(cf.[KW1],[KW2]and [W])if the following properties are satisfied:λ+ρ,α /∈−Z+for allα∈ˆ∆∨re+,Qˆ∆∨reλ=QˆΠ∨.5The irreducibleˆg-module L(λ)is called admissible if the weightλ∈ˆh∗is admissible.We shall use the following results from[KW1]and[KW2]:Proposition2.4([KW1],Corollary2.1)Letλbe an admissible weight. ThenL(λ)=M(λ)2(k+h∨)dim gi=1x i(−1)21,(2.1)where{x i}i=1,...,dim g is an arbitrary orthonormal basis of g with respect to the form(·,·).We have the following result from[FZ](see also[FB],[K2] [LL],[L],[MP]):Proposition2.6If k=−h∨,the quadruple(N(k,0),Y,1,ω)defined above is a vertex operator algebra.6The associative algebra A(N(k,0))is identified in next proposition:Proposition2.7([FZ],Theorem3.1.1)The associative algebra A(N(k,0)) is canonically isomorphic to U(g).The isomorphism is given by F:A(N(k,0))→U(g)F([x1(−n1−1)···x m(−n m−1)1])=(−1)n1+···+n m x m···x1,for any x1,...,x m∈g and any n1,...,n m∈Z+.Since everyˆg-submodule of N(k,0)is also an ideal in the vertex operator algebra N(k,0),it follows that L(k,0)is a vertex operator algebra,for anyk=−h∨.The associative algebra A(L(k,0))is identified in the next propo-sition,in the case when the maximalˆg-submodule of N(k,0)is generated by one singular vector.Proposition2.8Assume that the maximalˆg-submodule of N(k,0)is gen-erated by a singular vector,i.e.J(k,0)=U(ˆg)v.ThenU(g)A(L(k,0))∼=(1)V(µ)is an A(L(k,0))-module,(2)RV(µ)=0,(3)R0vµ=0.Let r∈R0.Clearly there exists the unique polynomial p r∈S(h)such thatrvµ=p r(µ)vµ.Set P0={p r|r∈R0}.We have:Corollary2.10There is one-to-one correspondence between(1)irreducible A(L(k,0))-modules from the category O,(2)weightsµ∈h∗such that p(µ)=0for all p∈P0.3Simple Lie algebra of type A lLet∆={ǫi−ǫj|i,j=1,...,l+1,i=j}be the root system of type A l. Fix the set of positive roots∆+={ǫi−ǫj|i<j}.Then the simple roots areα1=ǫ1−ǫ2,α2=ǫ2−ǫ3,...,αl=ǫl−ǫl+1.The highest root is θ=ǫ1−ǫl+1=α1+α2+···+αl.Let g be the simple Lie algebra associated to the root system of type A l.Let e i,f i,h i,i=1,...,l be the Chevalley generators of g.Fix the root vectors:eǫi−ǫj=[e j−1,[e j−2,[...[e i+1,e i]...]]],i<j,fǫi−ǫj=[f i,[f i+1,[...[f j−2,f j−1]...]]],i<j.Denote by hα=α∨=[eα,fα]coroots,for any positive rootα∈∆+.It isclear that hαi =h i.Let g=n−⊕h⊕n+be the corresponding triangulardecomposition of g.Denote byω1,...,ωl∈h∗the fundamental weights of g, defined byωi(α∨j)=δij for all i,j=1,...,l.84Vertex operator algebra L(−12(l+1),0)isgenerated by a singular vector,for even l.We need two lemmas to prove that.Denote byλthe weight−12(l+1),0)is a quotientof M(λ)and L(−12(l+1)Λ0is admissible andˆΠ∨λ={(2δ−θ)∨,α∨1,α∨2,...,α∨l}. Proof:Clearlyλ+ρ,α∨i =1for i=1,...,l,λ+ρ,α∨0 =−1l+1h i(−1)eθ(−1)1−l−1i=1eǫ1−ǫi+1(−1)eǫi+1−ǫl+1(−1)1−1 2(l+1),0).Proof:It can be directly verified thate j(0).v=0,j=1,...,l,fθ(1).v=0.9Theorem4.3The maximalˆg-submodule of N(−12(l+1),0)=U(ˆg)v,wherev=li=1l−2i+12(l−1)eθ(−2)1.Proof:It follows from Theorem2.4and Lemma4.1that the maximal sub-module of the Verma module M(λ)is generated by l+1singular vectors with weightsr2δ−θ.λ,rα1.λ,...,rαl.λ.It follows from Lemma4.2that v is a singular vector of weightλ−2δ+θ= r2δ−θ.λ.Other singular vectors have weightsrαi.λ=λ− λ+ρ,α∨i αi=λ−αi,i=1,...,l,so the images of these vectors under the projection of M(λ)onto N(−12(l+1),0)is generatedby the vector v,i.e.J(−12(l+1),0)∼=N(−1U(ˆg)v.Using Theorem4.3and Proposition2.8we can determine the associative algebra A(L(−12(l+1),0))is isomorphicto the algebra U(g)/I,where I is the two-sided ideal of U(g)generated byv′=li=1l−2i+12(l−1)eθ.Proof:The maximal submodule J(−12(l+1),0)is gen-erated by the singular vector v.It follows from Proposition2.8thatA(L(−1I,10where I is the two-sided ideal in U(g)generated by v′=F([v]).Proposition 2.7now implies thatv′=F([v])=li=1l−2i+12(l−1)eθ=li=1l−2i+12(l−1)eθ,which implies the claim of proposition.5Classification of irreducible weak L(−12(l+1),0)-modules that arein category O asˆg-modules,using methods from[A2],[AM],[MP]presented in Subsection2.6.First,we determine a basis for the vector space P0defined in that subsection.Recall that L denotes the adjoint action of U(g)on U(g) defined by X L f=[X,f]for X∈g and f∈U(g).Lemma5.1Letp i(h)=h i i−1 j=1−2j l+1h i+l j=i+12l−2j+22(l+1)−i , for i=1,...,l.Then p1,...,p l∈P0.Proof:We claim that(−1)i(f i f i−1...f1f i+1...f l)L v′∈p i(h)+U(g)n+,for i=1,...,l.(5.1) One can easily verify that for i∈{1,...,n}the following relations hold:(f i f i−1...f1f i+1...f l)L eθ=(−1)i h i,(f i f i−1...f1)L eǫ1−ǫj+1=(−1)i fǫj+1−ǫi+1,j<i,(f i+1...f l)L eǫj+1−ǫl+1=eǫj+1−ǫi+1,j<i,(f i−1f i−2...f1)L eǫ1−ǫj+1=(−1)i−1fǫj+1−ǫi,j<i−1,(f i f i+1...f l)L eǫj+1−ǫl+1=eǫj+1−ǫi,j<i−1. 11Using Proposition4.4,we obtain(f i f i−1...f1f i+1...f l)L v′∈(−1)ilj=1l−2j+12(l−1)(−1)i h i+U(g)n+. Sinceeǫj+1−ǫi+1fǫj+1−ǫi+1−eǫj+1−ǫifǫj+1−ǫi∈hǫj+1−ǫi+1−hǫj+1−ǫi+U(g)n+=h i+U(g)n+,it follows that(−1)i(f i f i−1...f1f i+1...f l)L v′∈lj=1l−2j+12(l−1)h i+U(g)n+,which implies relation(5.1).Lemma5.2P0=span C{p1,...,p l}.Proof:Lemma5.1implies that p1,...,p l are linearly independent polynomi-als in the set P0.It follows from the definition of set P0that dim P0=dim R0, where R is the highest weight U(g)-module with highest weightθ,and R0 the zero-weight subspace of R.Since R is isomorphic to the adjoint module for g,it follows that dim R0=l.Thus,polynomials p1,...,p l form a basis for P0.Proposition5.3For every subset S={i1,...,i k}⊆{1,2,...,l},i1< ...<i k,we define weightsµS=kj=1 k s=j+1(−1)s−j i s+j−1 s=1(−1)j−s+1i s+(−1)k−j+1l+1where ω1,...,ωl are fundamental weights for g .Then the set{V (µS )|S ⊆{1,2,...,l }}provides the complete list of irreducible A (L (−12(l +1),0))-modules V (µ)are in one-to-onecorrespondence with solutions of the system of polynomial equationsh i −i −1j =1jh j +l −2i +14(l +1)2−12h i k +12i k(l +1)=0.If we multiply the first equation of system(5.4)by i 1,the second equationby i 2−i 1,the third equation by i 3−i 2+i 1,...,the (k −1)-th equation by i k −1−i k −2+...+(−1)k i 1and then sum these equations and the k -th equation,we obtain: l +12−i k −1+i k −2−...+(−1)k −1i 1 =0.13Since l is even,we havel+12.Using thefirst k−1equations of system(5.4)one can easily obtain thath ij =ks=j+1(−1)s−j i s+j−1 s=1(−1)j−s+1i s+(−1)k−j+1l+12(l+1),0))-module which implies the claim of proposition.It follows from Zhu’s theory that:Theorem5.4The set{L(−12(l+1),0)-modules fromthe category O.Theorem5.4implies that there are2l irreducible weak L(−12(l+1),0)is the only irreducible L(−12(l+1),0)-modules from category O In this section we show that every weak L(−12(l+1)Λ0+µS,for every S⊆{1,2,...,l}.The following lemma is crucial for proving complete reducibility.14Lemma6.1The weightλS∈ˆh∗is admissible,for every S⊆{1,2,...,l}. Proof:We have to showλS+ρ,˜α∨ /∈−Z+for all˜α∈ˆ∆re+,(6.1)Qˆ∆∨reλS=QˆΠ∨.(6.2) First,let us prove relation(6.1).Any positive real root˜α∈ˆ∆re+ofˆg is of the form˜α=α+mδ,for m>0andα∈∆or m=0andα∈∆+.Positive roots of g areǫi−ǫj,i<j,and negative roots are−(ǫi−ǫj),i<j.Clearly,(¯ρ,ǫi−ǫj)=j−i.Let s,t∈{1,...,k}be the indices such that S∩{i,i+1,...,j−1}={i s,...,i t}.Clearly,i s≥i and i t≤j−1.Furthermore,(µS,ǫi−ǫj)=h is +...+h it.We obtainλS+ρ,˜α∨ =12,j=1,...,k.First consider the caseα=ǫi−ǫj,i<j and m≥0.If t−s+1is even,then using relations from system(5.4)we get (µS,ǫi−ǫj)=−(i s+1−i s)−...−(i t−i t−1)≥−(i t−i s),and relation(6.3)impliesλS+ρ,˜α∨ ≥(¯ρ,ǫi−ǫj)+(µS,ǫi−ǫj)≥(j−i)−(i t−i s)=(j−i t)+(i s−i)>0.Suppose now that t−s+1is odd.Then(µS,ǫi−ǫj)/∈Z,and if m=0, then λS+ρ,˜α∨ /∈Z.Let m≥1.Then(µS,ǫi−ǫj)=h is +...+h it−1+h it=−(i s+1−i s)−...−(i t−1−i t−2)+h it≥−(i t−1−i s)+h it.15We haveh it =ks=t+1(−1)s−t i s+t−1 s=1(−1)t−s+1i s+(−1)k−t+1l+12(l+1)≥−12(l+1).It follows thatλS+ρ,˜α∨ ≥12(l+1)+(j−i)−(i t−1−i s)−12(l+1)≥12(l+1)−i k.We obtainλS+ρ,˜α∨ ≥12(l+1)+(j−i)−(i t−1−i s)+1ThenλS+ρ,˜α∨ =12(l+1)−(j−i)+(i s+1−i s)+...+(i t−1−i t−2)−h it.If k−t is even,thenh it =i t−1−i t−2+...+(−1)t−1i2+(−1)t i1+i k−i k−1+...+i t+2−i t+1−1 2(l+1)−(j−i)+(i s−1−i s−2+...+(−1)t+1i1)−i k+(i k−1−i k−2)+...+(i t+3−i t+2)+i t+1+12(l+1),17which impliesλS+ρ,˜α∨ ≥12(l+1)≥(i t+1−j)+i+(i k−i k−1)+...+(i t+3−i t+2)>0. We have proved that,ifα=−(ǫi−ǫj),i<j and m≥1,then λS+ρ,˜α∨ /∈−Z+.Thus,we have verified the relation(6.1).Moreover,one can easily check that coroots(δ−αij)∨,j=1,...,k,α∨ij +α∨ij+1+...+α∨ij+1,j=1,...,k−1,α∨i,i/∈S,i∈{1,2,...,l}are elements of the setˆ∆∨reλS which implies Qˆ∆∨reλS=QˆΠ∨,and relation(6.2)is also proved.Theorem6.2Let M be a weak L(−12(l+1),0)-module,and Theorem5.4implies that thereexists S⊆{1,2,...,l}such thatλ=−12(l+1),0)is the only irreducible L(−12(l+1),0)-module is in the category O asˆg-module.It follows nowfrom Theorem6.2that every L(−12(l+1),0). References[A1]D.Adamovi´c,Some rational vertex algebras,Glas.Mat.Ser.III29(49) (1994),25–40.18[A2]D.Adamovi´c,Representations of vertex algebras associated to sym-plectic affine Lie algebra at half-integer levels(Croatian),Ph.D.Thesis, University of Zagreb,1996.[A3]D.Adamovi´c,A construction of admissible A(1)1-modules of level−4[GPW]A.Ch.Ganchev,V.B.Petkova and G.M.T.Watts,A note on de-coupling conditions for generic level sl(3)k and fusion rules,Nuclear Phys. B571(2000),457-478.[K1]V.G.Kac,Infinite dimensional Lie algebras,3rd ed.,Cambridge Univ. Press,Cambridge,1990.[K2]V.G.Kac,Vertex Algebras for Beginners,University Lecture Series, Second Edition,AMS,Vol.10(1998).[KL1]D.Kazhdan and G.Lusztig,Tensor structures arising from affine Lie algebras,I,II,J.Amer.Math.Soc.6(1993),905-947,949-1011.[KL2]D.Kazhdan and G.Lusztig,Tensor structures arising from affine Lie algebras,III,IV,J.Amer.Math.Soc.7(1994),335–381,383–453. [KW1]V.Kac and M.Wakimoto,Modular invariant representations of in-finite dimensional Lie algebras and superalgebras,Proc.Natl.Acad.Sci. USA85(1988),4956–4960.[KW2]V.Kac and M.Wakimoto,Classification of modular invariant rep-resentations of affine algebras,in Infinite Dimensional Lie algebras and groups,Advanced Series in Math.Phys.7,World Scientific,Teaneck NJ, 1989.[KWn]V.Kac and W.Wang,Vertex operator superalgebras and their repre-sentations,Mathematical aspects of conformal and topologicalfield theories and quantum groups(South Hadley,MA,1992),161–191,Contemp.Math. 175,AMS,Providence RI,1994.[L]H.-S.Li,Local systems of vertex operators,vertex superalgebras and modules,J.Pure Appl.Algebra109(1996),143–195.[LL]J.Lepowsky and H.Li,Introduction to vertex operator algebras and their representations,Progress in Math.,Vol.227,Birkhauser,Boston, 2004.[MFF]F.Malikov,B.Feigin,and D.Fuchs,Singular vectors in Verma mod-ules over Kac-Moody algebras(Russian),Funktsional.Anal.i Prilozhen. 20(1986),25–37.20[MP]A.Meurman and M.Primc,Annihilatingfields of standard modules of sl(2,C)˜and combinatorial identities,Mem.Amer.Math.Soc.137,AMS, Providence RI,1999.[P1]O.Perˇs e,Vertex operator algebras associated to type B affine Lie alge-bras on admissible half-integer levels,J.Algebra307(2007),215–248.[P2]O.Perˇs e,Vertex operator algebra analogue of embedding of B4into F4, J.Pure Appl.Algebra(2007),doi:10.1016/j.jpaa.2007.04.002[W]M.Wakimoto,Lectures on infinite-dimensional Lie algebra,World Sci-entific,River Edge NJ,2001.[Z]Y.-C.Zhu,Modular invariance of characters of vertex operator algebras, J.Amer.Math.Soc.9(1996),237–302.Department of Mathematics,University of Zagreb,Bijeniˇc ka30, 10000Zagreb,CroatiaE-mail address:perse@math.hr21。

有关于数学归纳法的英文文献

有关于数学归纳法的英文文献

有关于数学归纳法的英文文献Mathematical induction is a powerful and fundamental proof technique used in mathematics to establish the truth of statements or propositions that involve natural numbers. It is a deductive reasoning method that allows one to prove that a given statement is true for all natural numbers, starting from a base case and then showing that if the statement is true for a particular natural number, then it is also true for the next natural number.The essence of mathematical induction lies in the fact that the natural numbers form an ordered set with a well-defined starting point, the number 1, and a clear successor relationship, where each natural number has a unique next number. This structure allows us to build up proofs by starting with the base case and then demonstrating that the statement holds for the next number, and so on, until we can conclude that the statement is true for all natural numbers.The general structure of a mathematical induction proof consists of two main steps:1. Base case: Establish that the statement is true for the first natural number, typically 1.2. Inductive step: Assume that the statement is true for a particular natural number k, and then show that it is also true for the next natural number, k+1.Once these two steps are completed, the principle of mathematical induction allows us to conclude that the statement is true for all natural numbers.One of the key advantages of mathematical induction is its ability to handle statements that involve an infinite number of cases, such as those related to sequences, series, or properties of natural numbers. By proving the statement for the base case and then showing that it holds for the next number, we can establish the truth of the statement for all natural numbers, even though there are infinitely many of them.Mathematical induction has a wide range of applications in various branches of mathematics, including number theory, combinatorics, algorithm analysis, and even in some areas of computer science and physics. It is a fundamental tool for proving the correctness of algorithms, establishing properties of recursive data structures, and solving problems that involve the manipulation of natural numbers.One classic example of the application of mathematical induction is the proof of the formula for the sum of the first n positive integers, which states that the sum of the first n positive integers is equal to n(n+1)/2. To prove this formula using induction, we first establish the base case by showing that the statement is true for n=1, as 1(1+1)/2 = 1. Then, we assume that the statement is true for some natural number k, and we show that it is also true for the next natural number, k+1, by using the following steps:Assume the statement is true for n=k:Sum of the first k positive integers = k(k+1)/2Now, consider the sum of the first k+1 positive integers:Sum of the first k+1 positive integers = 1 + 2 + 3 + ... + k + (k+1)= (k(k+1)/2) + (k+1)= (k(k+1) + 2(k+1))/2= (k^2 + 3k + 2)/2= (k+1)(k+2)/2Therefore, the statement is also true for n=k+1. By the principle of mathematical induction, we can conclude that the formula for the sum of the first n positive integers is true for all natural numbers n.Another important application of mathematical induction is in thefield of algorithm analysis, where it is used to prove the correctness and runtime complexity of algorithms. For example, when analyzing the time complexity of a recursive algorithm, we can use induction to show that the algorithm's running time grows in a certain way as the input size increases.Consider the classic Fibonacci sequence, where each number in the sequence is the sum of the two preceding numbers, starting with 0 and 1. We can use mathematical induction to prove that the nth Fibonacci number can be calculated using the formula F(n) = (phi^n - psi^n) / sqrt(5), where phi = (1 + sqrt(5))/2 and psi = (1 - sqrt(5))/2.To prove this formula, we first establish the base cases for n=0 and n=1, where the formula holds true. Then, we assume that the formula holds for some natural number k, and we show that it also holds for the next number, k+1, by using the recursive definition of the Fibonacci sequence and some algebraic manipulations.Through this inductive argument, we can conclude that the formula for the nth Fibonacci number is valid for all natural numbers n.In addition to its applications in mathematics and computer science, mathematical induction has also found uses in other fields, such as physics and engineering. For example, in the study of the properties of materials, induction can be used to prove that a certain materialproperty holds true for all atoms or molecules in a system, starting from the base case of a single atom or molecule and then showing that the property extends to the next atom or molecule.Overall, mathematical induction is a powerful and versatile proof technique that allows us to establish the truth of statements involving natural numbers. Its ability to handle infinite cases and its applications in various domains make it an essential tool in the mathematician's and scientist's toolkit.。

斯普林格数学研究生教材丛书

斯普林格数学研究生教材丛书

《斯普林格数学研究生教材丛书》(Graduate Texts in Mathematics)GTM001《Introduction to Axiomatic Set Theory》Gaisi Takeuti, Wilson M.Zaring GTM002《Measure and Category》John C.Oxtoby(测度和范畴)(2ed.)GTM003《Topological 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 BealsGTM013《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 Operator Theory》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 Abstract 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.FritzsheGTM039《An Invitation to C*-Algebras》William Arveson(C*-代数引论)GTM040《Denumerable Markov Chains》John G.Kemeny, urie 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《Probability 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》Wilhelm Klingenberg(微分几何教程)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 IitakaGTM077《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 Surfaces 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 RangeGTM109《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《Tensor Geometry》C.T.J.Dodson, T.Poston(张量几何)GTM131《A First Course in Noncommutative Rings》m(非交换环初级教程)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 RomanGTM135《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 Number Theory》Henri Cohen(计算代数数论教程)GTM139《Topology 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 WalterGTM183《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》m(模和环讲义)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 Topological Manifolds》John M.LeeGTM203《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 CheneyGTM209《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《Topics 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ⅠTools and Diophantine Equations》Henri Cohen GTM240《Number Theory:VolumeⅡAnalytic and Modern Tools》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 HibiGTM261《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。

电气工程及其自动化专业英语单词

电气工程及其自动化专业英语单词

current ['kʌrənt] n. 电流alternating current 交流电流direct current 直流电流current density 电流密度active current 有功电流reactive current 无功电流voltage ['vəultidʒ] n. 电压voltage drop 电压降落voltage gain 电压增益voltage divider 分压器voltage stabilizer 稳压器variable ['vεəriəbl] n. 变量;a.可变的,可调的,易变的complex variable 复变量dependent variable 因变量independent variable 自变量input variable 输入变量charge n. 电荷,充电;v. 充电,带电,起电charge distribution 电荷分布charge particle 带电粒子test charge 试验电荷positive charge 正电荷negative charge 负电荷coulomb n. 库仑(电荷的单位)coulomb meter 库仑计circuit ['sə:kit] n. 电路circuit diagram 电路图analogue circuit 模拟电路short circuit 短路open circuit 开路active circuit 有源电路passive circuit 无源电路underlying [,ʌndə'laiiŋ] a. ①基本的,根本的②潜在的,在下(面)的,下伏的electron [i'lektrɔn] n. 电子magnitude ['mæɡnitju:d] n. 大小,尺寸,数量,数值electromotive a. 电动的,起电的electromotive force 电动势ampere ['æmpεə] n. 安,安培(电流的单位)ampere meter 安培ampere turn 安匝volt ampere 伏安integrate ['intiɡreit, 'intiɡrit, -ɡreit] v. 积分,求积分work n. 功potential a.势的,位的,电位的;n.势(能),位(能), 电势(位,压) potential difference 电位差,电势差earth potential 地电势(位)potential energy 势(位)能reference potential 参考(基准)电位rectangular ['rek'tæŋɡjulə] a. 矩形的,直角的,正交的joule [dʒu:l, dʒaul] n. 焦尔(能量、热量、功的单位)volt [vɔlt] n. 伏特(电压、电位、电势的单位)electron volt 电子伏特voltaic a. 动[流]的,电压的,电镀的,伏打(式)的voltaic battery 伏打电池convention [kən'venʃən] n. 习惯,惯例,常规by convention 按照惯例reference direction 参考方向polarity [pəu'lærəti] n. 极性power n. ①功率,效率②动力,电力,能力,电源③乘方,幂watt n. 瓦特(功率的单位)time-varying a. 时变的instant n. 瞬间,瞬时,即刻,时刻;a.立刻的,直接的,紧急的,迫切的instantaneous [,instən'teinjəs] a.瞬时(作用)的,瞬息的,即刻的instantaneous power 瞬时功率passive a. ①无源的②消极的,被动的;n. 无源passive network 无源网络algebraic a. 代数的active a. ①有源的,有功的,有效的②活动的,主动的,积极的③活性的,放射的,激励的active element 有源元件resistor n 电阻,电阻器capacitor n. 电容器inductor n. 电感器source n. 电源,(光,能,动力,信号,辐射,根,来,起)源voltage source 电压源current source 电流源ideal independent source 理想独立源constant voltage source 恒定电压源independent source 独立源dependent source 受控源controlled source 受控源voltage-controlled voltage source电压控制电压源current-controlled voltage source电流控制电压源voltage-controlled current source电压控制电流源current-controlled current source电流控制电流源generator n. ①发电机②(脉冲,信号,气体)发生器,振荡器,加速器AC generator 交流发电机diamond-shaped a. 菱形的transistor n. 晶体管,半导体管operational a. ①运算的,计算的②操作的,工作的,业务的,运转的amplifier n. 放大器integrated circuit 集成电路token n. ①标记,象征②特征by the same token 同理,同样;另外,还有Ohm 欧姆(电阻,电抗,阻抗的单位)Ohm's Law 欧姆定律resistance n. ①电阻,电阻器(件,装置)②阻力,阻尼③抵抗,抵制,反对resistance load 电阻(性)负载magnetic resistance 磁阻measuring resistance 标准电阻,测量用电阻rearrange v. 重新整理(安排,布置,排列),调整linear a. ①线性的,一次的②(直)线的,直线型的,线状的linear resistor 线性电阻nonlinear a. 非线性的,非直线的nonlinear resistor 非线性电阻incandescent a. 白炽(热)的,炽热的incandescent lamp 白炽灯voltage-current characteristic 伏安特性short circuit 短路open circuit 开路conductance n. ①电导,导电性,导纳②传导(性,率,系数),导率siemens n. 西门子(电导单位)network n. 网络,电路,电网linear time-varying network 线性变参数网络network analyzer 网络分析器configuration n. 结构,构造topology n. 拓扑,拓扑学,拓扑结构node n. ①节点,结点,交点,叉点②(波)节,结,节branch n. ①支路,支线,支脉②分支(路,线,流)③部门,分部,分行dimension n. ①维(数),度(数)②尺寸,线度③量纲,因次loop n. 回路,闭合电路,环路,循环,环clockwise a.; ad. 顺时针方向(的)counterclockwise a.; ad. 逆时针方向(的)nodal a. 节点的,结点的,交点的,节的,结的nodal analysis 节点分析mesh n. 网孔,网格,网眼,网状mesh analysis 网孔分析simultaneous a. ①联立(方程)的②同时(存在,发生)的,一起的,同步的quotient n. ①商(数),系数②份额,应分得的部分determinant n. ①行列式②决定因素,遗传素datum n. ①基准(点,线,面),基标②数据,资料,信息chassis n. 底盘,底(盘)架,底板(座)planar a. ①平面的,平的②二维的,二度的error-minimizing a. 令错误最少的symmetry n. 对称(性,现象),均称,调和coefficient n. ①系数,因数,常数,率②折算率phasor n. 相量,相图,相位复(数)矢量phasor diagram 相量图sinusoidal a. 正弦(波,式,形,曲线)的steady-state a. 稳态的domain n. ①(定义)域,区(领)域,定义范围②区,范围,界time domain 时域frequency domain 频域transform v.; n. ①变换,改变,转换,换(折)算②变换式,反式magnitude n. ①大小,幅值,幅度,量,数量,尺寸,②等级,量级phase n. ①相(位)②(发展)阶段,时期,局面③方(侧)面three-phase 三相single-phase 单相phase voltage 相电压phase current 相电流(be) out of phase 异相(的)lag n.; v. 滞后,落后,迟(时)滞lead v. 超前,提前,领先AC = alternating current 交流电流,交流电,交流DC = direct current 直流电流,直流电,直流theorem n. 定理,原理(则),命题,法则Thevenin's theorem 戴维南定理superposition n. 叠加,重叠superposition theorem 叠加定理transmission n. 输电,传(输,递,送,播,导)equivalent a. 等效的,等值的,等同的amplitude n. 振幅,幅度,波幅effective a. 有效的,等效的,生效的,能行的,有作用的,有影响的sequence n. 顺序,次序,时序,序列,系列positive sequence 正序negative sequence 负序,反序phase sequence 相序load n. 负荷,负载impedance n. 阻抗topologically ad. 在拓扑结构上,从拓扑结构electronics n. 电子学,电子仪器,电子设备,电子线路understatement n. 轻描淡写,有节制的表达omnipresent a. 无处不在的,普遍存在的electronic a. 电子(学)的transaction n. ①交易,业务②办理,处理,执行,记录digital a. 数字的,数字式的,计数的espionage n. 谍报,间谍活动,密探,监视signal-processing a. 信号处理的analog n. ①模拟(量,装置,设备,系统)②类似,类比,比拟velocity n. 速度,速率thermocouple n. 热电偶discrete a. 离散的,不连续的,分散的household a.; n. 家用的,普通的,一般用途的,家庭,家,户thermostat n. 恒温器,定温器,温度自动调节器preset v.; a. ①预定,预置,(预先)调整②安装程序,给定程序的switch n. 开关;v. 接通或关断,转变,换接A/D = Analog-to-Digital 模数转换,模数变换D/A = Digital-to-Analog 数模转换,数模变换transducer n. 传感器,变送器,发射器,换能器,换流器excitation n. ①激励,激发,激磁②刺激,干扰display v. 显示,显像,表现,陈列,展览;n. 显示,指示,表现Boolean 布尔的logic gate 逻辑门symbolic a. 符号的,记号的,象征(性)的proof n. 证明,证实,证据;v. 检验;a. 试验过的,合乎标准的,防……的singularly ad. 非凡地,特殊地,奇异地,单独地Manipulation n. 处理,计算,操作,控制,管理binary n.; a. 二进制的,二进位的,二元的,二成分的②二,双,复arithmetic n. 算术,计算,运算;a. 算术的,计算的,运算的associative a. 结合的,联合的,相关的,commutative a. 交换的,换向的,代替的,相互的distributive a. 分配的,分布的,个别的truth table 真值表multiplication n. ①乘法,相乘②增加,增多,增殖,倍增addition n. ①加法②增加,附加,相加conjunctive a. ①合取的,逻辑乘的②连接的,连系的disjunctive a. 析取的,分离的,转折的identity n. 单位,同一,完全相同,一致,恒等,身份null n. ; a. ①零的,空的,无②不存在的,没有的complement n.; a. ①补码,补数,余的,补的②补充,互补displacement n. ①位移,变位,移动,平移,偏移②排(水,汽,气,液)量intensity n. ①强度,密度,亮度,光强②强烈,紧张regulation n. ①调整,校准,控制②规则,规章,规程,章程,条例,细则quantize v. ①量化,分层,取离散值②(使)量子化clarity n. 清晰,清晰度,透明,透明度sine n. 正弦fidelity n. 保真,保真度,逼真,逼真度disc n. 盘,圆片,唱片sample v. 采样,取样,抽样;n. 采样,样品,标本,模型,实例straightforward a. ①直接的,明确的,坦率的②简单的,易懂的③顺向的,流水作业的sensitive a. 敏感的,灵敏的,易感光的;n. 对……敏感的材料sensitive element 敏感元件voltage divider 分压器photoelectric a. 光电的piezoelectric a. 压电的amplification n. 放大(率,系数,倍数,作用),加强,增强pulse n. 脉冲,脉动integral a. 积分的,累积的,整数的,整体的,总体的;n. 积分,整数,整体parameter n. 参数,参量,系数precision n. 精度,精密,精确; a. 精确的,精密的incompatible a 不相容的,不一致的concurrently ad. 同时microsecond n. 微秒bit n. 位,比特,二进制数full-scale a. ①满刻度的,满标度的,满量程的②完全的,全面的quantization n. 量化,分层,把连续量转换为数字byte n. 字节code n. 编码,密码,符号;v. 编码,译码encode v. 编码,译码,把……译成电码weighted a. ①加权的,权重的,加重的②受力的,负载的receipt n. 收到,接收,收据amplifier n. 放大器register n. ①寄存器,②记录,登记,注册,挂号;v. ①登记,注册,挂号②记数,存储parallel-in 并联输入的parallel-out 并联输出的resolution n. 分辨率,鉴别力gain n. 增益,放大系数,放大率,增量drift n. 漂移,偏移operational amplifier 运算放大器difference amplifier 差动放大器differential a. 微分的,差动的,差分的,差别的;n. 微分,差动,差分,差别feedback n. 反馈,回复,反应stability n. ①稳定性,稳定度,安定性,复原性②耐……性,耐久性capacitive a. 电容性的,电容的,容性的coupling n. 耦合,偶合,连接;a. 耦合的,连接的long-term a. 长期的,远期的power-supply n. 电源solid-state a. 固态的microvolt n. 微伏saturate v. 使饱和;a. 饱和的,浸透的comparator n. 比较器swing v.; n. 摇摆,摆动single-ended a. 单端的two-sided a. 双边的,双侧的,两边的,两方面的frequency band 频带semiconductor n. 半导体power electronic n. 电力电子loss n. 损耗,损失parasitic a. 寄生的,附加的winding n. ①绕组,线圈②一圈,一转transformer n 变压器,变换器,变量器dielectric n. 介质,电介质,绝缘材料;a. 绝缘的,介电的,介质的,不导电的eddy n. 涡流,旋涡; a. 涡流的,涡旋的;v. 涡流,起旋涡hysteresis n. 磁滞,滞后,迟滞on-state a. 通态的,接通的,开态off-state a. 关态的,断开的,断态的microamp n. 微安milliamp n. 毫安steering n. 转向,操纵,控制,调整buildup n. ①形成,产生,出现②增加,增大,上升③建造,建起ramp v. 斜变,倾斜,直线上升waveform n. 波形clamp v. 箝位,定位,使固定snubbering n. 缓冲zero-voltage 电压过零的zero-current 电流过零的ripple n.波纹,波度,微波rectifier n. 整流器isolation transformer 隔离变压器interface n. 接口Buck converter 降压式变换器,降压式斩波器Boost converter 升压式变换器,升压式斩波器Buck-Boost converter 升/降式变换器,升/降式斩波器quadrant n.象限,四分之一圆周,九十度弧step-down a. 降压的,降低的step-up a. 升压的,升高的dual a. 二重的,对偶的filter n.; v. 滤波,过滤periodically ad. 周期地portable a. 手提的,轻便的,可携带的sink n. 换能器,变换器,散热器,汇点,收点,穴hypothetical a. 假设的,假定的,有前提的duty ratio 功率比,能量比turn ratio 匝数比PWM pulse width modulation 脉冲宽度调制switch-mode power supplies 开关电源inverter n. 逆变器uninterruptible power supplies (UPS) 不间断电源single-phase a. 单相的three-phase a. 三相的parameter n. 参数unidirectional a. 单极性的,单向的electromagnetic a. 电磁的relay v. 中继,转播;n. 继电器synchronous motor 同步电动机torque n. 转矩non-sinusoidal a. 非正弦的low-pass 低通smoother n.滤波器,整平器polarity n. 极性bidirectional a. 双向的harmonics n. 谐波high order harmonics 高次谐波induction n. 感应square-wave 方波response time 响应时间notching n. ; a. 阶梯式,下凹的,切口,开槽step pulse 阶跃脉冲induction machine 感应电机horseshoe n. ①马蹄形,U形②马蹄铁magnet n. 磁铁,磁石,磁体horseshoe magnet 马蹄形磁铁permanent magnet 永久磁铁perpendicular a. ①(与……)垂直的②直立的;n. 垂直,正交,竖直magnetic field 磁场induction machine 感应电机horseshoe n. ①马蹄形,U形②马蹄铁magnet n. 磁铁,磁石,磁体horseshoe magnet 马蹄形磁铁eddy n. 涡流,涡旋permanent magnet 永久磁铁perpendicular a. ①(与……)垂直的②直立的;n. 垂直,正交,竖直magnetic field 磁场bar n. ①线棒,导条②条,杆slot n. ①槽②隙缝lamination n. ①叠片,冲片②分层③薄片braze v.铜焊,钎焊solder n.焊料,接合物;v. 焊,焊接short-circuiting a. 使短路的ring n. 环squirrel cage 鼠笼core n. ①铁芯②心,核心coil n. 线圈,绕组random-wound 散绕form-wound 模绕insulation n. 绝缘performance characteristics 工作特性air-gap 气隙polyphase n.; a. 多相,多相的motoring n.; a. 电动机运行plugging 反向制动,反相序制动控制generating n.; a. 发电机运行synchronous speed 同步速breakdown torque 失步转矩,停转转矩locked-rotor torque 止转转矩,起动转矩breakaway n. ①起步,起动②分离,脱离breakaway force 起动力rated a. ①额定的,标称的②计算的,设计的full-load a. 满(负)载的overhauling a. 检修的,大修的prime mover 原动机induction generator 感应发电机,异步发电机wind-driven generator 风力发电机inrush current 涌流synchronous machine 同步发电机armature n. 电枢armature winding 电枢绕组field winding 励磁绕组,磁极绕组quantitative a. 量的,数量的,定量的salient a. 凸出的,凸的,突出的salient pole 凸极saturation n. 饱和,饱和度cylindrical-rotor 隐极式转子,鼓极转子steam-turbine-driven generator 汽轮发电机Y-connected windings 星形连接绕组turbine generator 涡轮发电机,汽轮发电机,水轮发电机cps = cycles per second 周/秒,赫rpm = revolutions per minute 转/分steam turbine 汽轮机rating n. 额定值,额定参数;标称值,定额efficiency n. 效率wedge n. 楔[形],楔形物,槽楔;v. 楔进,斜楔concentric coil 同心线圈slip ring 滑环lead n. ①导线,导管,引线②铅;v. 超前,导前,引导carbon brush 碳刷mmf = magnetomotive force 磁动势step wave 阶跃波diameter n. 直径vibration n. 振荡field current 励磁电流exciter n. 励磁机shaft n. 轴regulation n. 调节stability n. 稳定性,稳定ventilation n. 通风,换气,通风装置flux n. 通量,磁力线transformer n. 变压器wrap v.; n. 包裹,包扎,缠绕,卷ferromagnetic core 铁磁芯primary winding 一次绕组,原绕组,初级绕组secondary winding 二次绕组,副绕组,次级绕组tertiary winding 三次绕组,第三绕组power transformer 电力变压器core form 铁芯式shell form 壳式innermost a. 最内部的,最里面的,最深处的leakage flux 漏磁通unit transformer 单元(机组)变压器substation transformer 配电变压器distribution transformer 配电变压器potential transformer 电压互感器current transformer 电流互感器copper loss 铜耗hysteresis loss 磁滞损耗,磁滞损失reluctance n. 磁阻self-inductance 自感应core-loss 铁芯损耗distill 提取…精华,蒸馏instruction 指令document n.文件thermostat 恒温器,定温器,温度自动调节器audio signal n. 声频信号,音频信号program n. 程序keyboard n. 键盘software n. 软件central processing unit 中央处理单元workstation n. 工作站videogame console 视频游戏操作板mainframe n. 主机,主机架supercomputer 超级计算机server 服务器client 客户microcomputer 微型计算机desktop computer 台式计算机notebook computer 笔记本电脑handheld computer 掌上电脑computer-aided 计算机辅助的three-dimensional 三维的animated graphics 动画图像local area network ( LAN)局域网LCD screen ( liquid crystal display screen ) 液晶显示屏display device 显示设备mouse n. 鼠标floppy disk drive 软盘驱动器hard disk drive 硬盘驱动器CD-ROM drive CD-ROM驱动器DVD drive DVD驱动器CD-writer CD写入器,刻录机sound card 声卡rudimentary a. 基本的,基础的,初步的,根本的built-in a. 嵌入的,安装在内部的,内装的,机内的modem n. 调制解调器peripheral device 外围设备scanner n. 扫描仪digital camera 数码相机joystick n. 控制杆graphics tablet 图形板operating system 操作系统miniaturized a. 小型的,小型化的ALU (arithmetic logic unit) 算术逻辑单元control unit 控制单元register n. 寄存器cycle n. 周期clock cycle 时钟周期word size 字长cache n. 高速患缓冲存储器instruction set 指令集megahertz n. 兆赫,兆赫兹gigahertz n. 吉赫,吉赫兹motherboard n. 母板, 主板chip n. 芯片,晶片,组件CISC (complex instruction set computer) 复杂指令集计算机RISC (reduced instruction set computer) 简化指令集合计算机serially ad. 串行地serial processing 串行处理parallel processing 并行处理pipelining a. 流水线的RAM (Random Access Memory) 随机存储器operating system 操作系统plug v. 插入,插上;n. 插头,插入物microscopic a. 微观的,细微的,显微(镜)的,显微的charge v. 充电,带电,起电;n. 电荷,充电discharge v. 放电bit n. 位byte n. 字节volatile a. 易失的,挥发的,易挥发的,易变的,短暂的megabytes (MB) 兆字节software package 软件包install v. 安装virtual memory 虚拟存储器nanosecond 纳秒SDRAM (synchronous dynamic RAM) 同步动态RAMROM (Read-Only Memory) 只读存储器startup n. 起动caterpillar-like a. 履带式的DIP ①= double in-line package 双列直插式组件②=dual in-line package 双列式封装BIOS (basic input/output system) 基本输入输出系统CMOS (complementary metal oxide semiconductor memory)rechargeable battery 充电电池setup 安装update v. 更新,修改,校正slot n. 槽expansion slot 扩展槽port n. 端口data bus 数据总线expansion bus 扩展总线socket n. 插座,插口expansion card 扩展卡adapter n. 适配器USB universal series bus 通用串行总线storage device 存储设备download v.; n. 下载ISA (industry standard architecture)工业标准结构PCI (peripheral component interconnect) 外部设备互连video capture card 视频捕获卡interface n.; v. 接口AGP (accelerated graphics port) 加速图形端口serial port 串行端口jack n. 插座,插孔,插口,弹簧开关protrude v.(使)伸出,突出,推出cutout n. 中断装置,断流器,断路器CRT (cathode ray tube) 阴极射线管LCD (liquid crystal display) 液晶显示dots of color 色点stand-alone 独立的diagonally ad. 对角地dot pitch 点距clarity n. 清晰度pixel n. 像素,图素,像元resolution n. 分辨率, 分辨度ink jet 喷墨printout n. 打印输出nozzle n. 喷管,喷头,喷嘴cartridge n. 夹头,卡盘cyan a.; n. 蓝绿色的,蓝绿色magenta a.; n. 深红色的,深红色photocopier n. 照相复印机,影印机light-sensitive a. 光敏的drum n. 磁鼓electrostatically ad. 静电地multicolored a. 多色的default n. 缺省,默认ribbon n. 色带module n. 模件,组件,模块document n. 文件,文献,公文Web browsing 网页浏览programmer n. 程序员computer language 计算机语言binary a.;n. 二进制的,二进位source code 源代码high-level language 高级语言machine language 机器语言batch n. 批,一批object code 目标代码compiler n. 编译程序interpreter n. 解释程序script n. 脚本operand n. 操作数octal a. 八进制的hexadecimal a. 十六进制的assembler n. 汇编程序system software 系统软件application software 应用软件operation system 操作系统user interface 用户界面,用户接口menu n. 菜单toolbar n. 工具条button n. 按钮compatible a. 兼容的,可共存的,兼容制的graphical user interface 图形用户界面click v. 按file management system 文件管理系统bootstrap n. 引导bootstrap program 引导程序single-user operating system 单用户操作系统multiuser operating system 多用户操作系统multitasking operating system 多任务操作系统data base 数据库redundant a. 冗余的,多余的,fault-tolerant a. 容错的redundancy n. 冗余disk array 磁盘阵列home computer 家用电脑dial up 拨号repository n. 仓库twisted-pair 双绞的,双绞线的coaxial cable 同轴电缆fiber-optic cable 光缆,光纤电缆microwave n. 微波infrared a. 红外线的;n. 红外线shielded a. 屏蔽的unshielded a. 非屏蔽的strand n. 股,股线bandwidth n. 带宽high-bandwidth 高带宽low-bandwidth 低带宽broadband n. 宽带narrowband n. 窄带hub n. 集线器router n. 路由器gateway n. 网关repeater n. 中继器,转播器electric power system 电力系统cable n. 电缆,缆,钢丝绳;v. 架设电缆,敷设电缆fuse n. 保险丝,熔断器;引信;v. 熔化,熔断meter n. 米;测量仪表,计量器customer n. 客户,用户radius n. 半径incandescent lamp 白炽灯transmission line 输电线路power loss 功率损耗voltage drop 电压降落AC transmission 交流输电transmission system 输电系统utility n. 公用事业,效用,中心电站flexibility n. 灵活性,机动性,适应性;柔性,柔度interconnection n. 相互连接,互联asynchronous a. 异步的nominal frequency 额定频率misoperation n. 误操作,误动作paramount a. 最高的,头等的;高过,优于in parallel 并联地synchronously ad. 同步地facility n. ①容易,方便②灵活,熟练③(便利)条件④(常用复数)设备,装置,工具,器材primary energy 一次能源fossil n. 化石,石块hydraulic a. 水力[学]的,水压的,液压的,液力的mechanical energy 机械能switching device 开关装置,开关设备subtransmission n. 二次输电subtransmission system 分支输电系统,二次输电系统distribution system 配电系统substation n. 变电所,变电站,分站,分所feeder n. 馈线,馈电电路redundancy n. 多余,冗余contingency n. 意外事故,偶然事故reliable a. 可靠的bus n. 母线overload n. 过载,超载,过负荷optimal a. 优化的,最优的,最佳的production cost 生产成本,生产费用hydro-generation n. 水力发电dry period 枯水期replenishment n.(再)补充,充实,充满economic dispatch 经济调度economic operation 经济运行security n. 安全性,可靠性emission n. 排放,放出,散放tie-line n. 联络线var flow 无功潮流throttle n. 阀门,节流阀,调速汽门thermal unit 热力机组,热力单位magnetizing current 激磁电流,励磁电流electric clock 电钟active power balance 有功功率平衡supplementary control 辅助控制load-frequency control (LFC) 负荷频率控制speed governor 调速器underfrequency load shedding 低周减载,低频减负荷automatic generation control (AGC) 自动发电控制stabilize v. 使……稳定reactive power 无功功率active power 有功功率automatic voltage regulator 自动电压调节器shunt capacitor 并联电容器,并联电容shunt reactor 并联电抗器,并联电抗synchronous condenser 同步调相机static var compensators (SVCs) 静止无功补偿器series capacitor 串联电容器tap-changing transformer 可调分接头变压器booster n. 升压器,增压器,加压泵angular a. 角的,角度的power versus angle relationship 功角关系synchronous reactance 同步电抗,功率—角度关系excitation voltage 励磁电压angular displacement 角位移rotor angle stability 转角稳定性,功角稳定性voltage stability 电压稳定性electromechanical a. 机电的electromagnetic a. 电磁的equilibrium n. 平衡,均衡mechanism n. 机理,机制;机构,装置;结构synchronism n. 同步accelerate v. 加速,促进decelerate v. 减速mechanical torque 机械转矩electrical torque 电气转矩outage n. 停电,断电,中断,停运,停机,事故short-circuit fault 短路故障power-angle relationship 功角关系fluctuation n. 波动,起伏small-signal stability 小信号稳定性transient stability 暂态稳定性small disturbance stability 小干扰稳定性damp v. 阻尼,(使)减弱,减幅;n. 阻尼,衰减damping torque 阻尼转矩instability 不稳定性out of step 失步synchronizing torque 同步转矩non-oscillatory a. 非振荡的,非周期的disturbance n. 扰动,干扰post-disturbance a. 干扰后的,扰动后的,事故后的unstable a. 不稳定的first-swing n.; a. 第一次摇摆power system protection 电力系统保护,电力系统继电保护abnormality n. 异常,反常,不正常sense v. 检测,读出,断定;感觉,感受,感到relay n. 继电器,中继器;v. 中继,转播,用继电器控制circuit breaker 断路器trip coil 跳闸线圈,脱扣线圈electromechanical relay 电磁继电器solid state 固态static relay 静态继电器,无触点继电器self-checking 自检,自校maloperation n. 误操作,误动作,维护不当energize v. 激励,激磁,驱动,通以电流overcurrent relay 过电流继电器undervoltage relay 低电压继电器,欠压继电器underfrequency relay 低周继电器,低频继电器directional relay 方向继电器thermal relay 热继电器,温度继电器,热敏继电器phase sequence relay 相序继电器negative sequence relay 负序继电器zero sequence relay 零序继电器differential relay 差动继电器percentage differential relay 比率差动继电器distance relay 距离继电器plane impedance relay 平面阻抗继电器angle impedance relay 角度阻抗继电器angle admittance relay 角度导纳继电器Mho relay 姆欧继电器,电导继电器offset relay 偏置继电器restricted relay 制约式继电器pilot relay 控制继电器,辅助继电器wire pilot relay 有线控制继电器carrier channel pilot relay 载波控制继电器microwave pilot relay 微波控制继电器transductor relay 饱和电抗型继电器rectifier bridge relay 整流桥型继电器electronic relay 电子继电器3-φ fault 三相故障3-φ to ground fault 三相接地短路故障double line to ground fault 两相短路接地故障line to line fault 相间短路故障single line to ground fault 单相接地故障ground fault 接地故障internal fault 内部故障external fault 外部故障interturn fault 匝间故障overvoltage n. 过电压overheat v. 过热,使过热overheating n. 过热,超温lubrication oil 润滑油out of step 失步overspeed n.; v.; a. 超速,过速,超转速,过速的miscellaneous a. 杂的,杂项的,各种的;n. 其他resonance n. 谐振,共振trip v. (使)断开,(使)跳闸,切断,关闭mechanical resonance 机械共振hydro turbine 水轮机inertia n. 惯性,惯量undercurrent n. 欠电流,电流不足;a. 欠电流的,低电流的arcing n. 飞弧,发弧,弧击穿overexcitation n. 过励air-blast circuit breaker 压缩空气断路器oil circuit breaker 油断路器,多油断路器quench v.; n. 熄灭,熄弧arc-quenching n. 灭弧minimum-oil circuit breaker 少油断路器magnetic air circuit breaker 磁吹断路器SF6 circuit breaker 六氟化硫(SF6)断路器vacuum circuit breaker 真空断路器interrupting capability 开断容量,遮断容量deion grid 去电离栅极,灭弧栅interrupting time 开断时间,遮断时间nameplate n. 铭牌operating mechanism (断路器的)操动机构horn gap 角隙,角放电器火花源horn gap contact 带灭弧功能的触头air switch 空气开关spring-action 弹簧动作spring-action driving mechanism 弹簧操作机构insulating barrier 绝缘隔板arc chute 灭弧罩,灭弧隔板,电弧隔板blowout coil 灭弧线圈,消弧线圈arc-extinguishing a. 灭弧的,消弧的molded-resin 模制树脂,浇铸树脂trigger n. 触发,起动;v. 触发,起动,激发,引起outdoor a. 户外的live-tank 带电箱体dead-tank 接地箱体gas-insulated substations (GISs) 气体绝缘变电站vacuum-bottle n. 真空罐switchgear n. 开关设备,配电设备,配电装置voltage-to-current ratio 电压电流比time-delayed relay 延时继电器timer relay 时间继电器overreach v.; n. 越过,伸得过长current transformer 电流互感器voltage transformer 电压互感器remote back-up 远后备arcing fault 闪络故障underreach v.; n. 达不到backup n. 后备,支持,备份;a. 后备的,备用的,备份的response n. 响应,反应lightning n. 雷(电),闪电;a. 闪电(般)的lightning arrester 避雷器overhead ground wire 架空地线surge n.; v. 电[浪]涌,冲击,波动surge arrester 避雷器over-voltage n. 过电压switching surge 操作冲击,操作浪涌clip n. 线夹,接线柱,夹子;v. 夹住,箝,钳牢,固定ionizer n. 电离装置,游离装置silicon carbide 碳化硅,金刚砂spark gap 火[电]花隙,放电器,避雷器valve block 阀片break down 击穿,断裂,破裂arc chamber 电弧室zinc-oxide n.氧化锌metal-oxide varistor 金属氧化物压敏电阻器basic impulse insulation level (BIL) 基本冲击绝缘水平coal-fired a. 燃煤的furnace n. 炉,炉膛,燃烧室pulverizer n. 磨煤机,粉煤机preheated a. 预热的boiler n. 锅炉,蒸发器,蒸汽发生器flue gas 烟气,废气,排烟electrostatic a. 静电的precipitator n. 除尘器electrostatic precipitator 电除尘chimney n.(高)烟囱,烟筒coal hopper 煤斗burner n. 燃烧器,喷燃器cooling tower 冷却塔feed water pump 给水泵psi 磅/平方英寸(压强单位)shutoff n. 关闭,切断,断路exhaust steam 乏汽heater exchanger 热交换器condenser n. 凝结器,冷凝器feed-water 给水turbogenerator n. 涡轮发电机single-stage turbine 单级汽轮机thermal efficiency 热效率multi-stage turbine 多级汽轮机tandem a.; ad. 级联(的),串联的,前后排列的;n. 前后排列使用的一组事物in tandem 前后地,协力地,相互合作地superheater n. 过热器high-pressure turbine 高压汽轮机reheater n. 再热器intermediate-pressure turbine 中压汽轮机low-pressure turbine 低压汽轮机cogeneration n. 热电联产,热电联供acid rain 酸雨greenhouse effect 温室效应hydropower n. 水力,水力发电cubic a. 立体的,三次的,体积的,正六面体的dam n. 坝,堰penstock n. 水道,压力水管hydroplant n. 水电厂,水电站high head 高水头low head 低水头tail race 尾水渠,退水渠nozzle n. 喷嘴periphery n. 周边,周围,外围,范围blade n. 叶片,轮叶spoked wheel 辐轮start up 起动,开动,触发thermal plant 热电厂dispatcher 调度员sparingly 节省地,有节制地,少量地spillway n. 泄水道,溢水孔base-loading 基荷pumped storage 抽水蓄能peak load 高峰负荷off-peak 非峰值的on-line 在线daily load-demand curve 日负荷曲线shaves the peaks (负荷曲线的)削峰fills the troughs (负荷曲线的)填谷bucket wheel rotor 勺轮转子fission n.; v. 裂变,分裂,剥离nuclear power plant 核电站,核电厂reactor n. 反应堆,反应器;电抗器,电抗线圈coolant n. 冷却剂,冷却液light-water reactor 轻水反应堆boiling-water reactor (BWR)沸水反应堆pressured-water reactor (PWR) 压水反应堆reactor core 反应堆堆芯,反应堆活性区bypass valve 旁路阀门reactor coolant pump 反应堆冷却泵moderator n. 减速剂,慢化剂self-regulation 自调整negative feedback 负反馈pressurize v. 增压,对……加压,产生压力pressurizer n. 保持压力装置,增压装置setpoint 设定值,给定值make-up 补给[水],补充let-down 下泄control rod (反应堆的)控制棒,控制杆visualize v. 使……可视化,具体化,形象化manoeuvre n. 调动,策略;v. 调动,操纵automatic control system 自动控制系统reconfigurable a. 可重构的,可再构的open-loop control system 开环控制系统functional block diagram 功能框图feedback n. 反馈closed-loop control system 闭环控制系统single-input single-output (SISO) 单输入单输出continuous control 连续控制discontinuous control 断续控制periodically ad. 周期地sample n. 采样,取样,样品,试件;v. 采样discrete-data 离散数据的sampled-data 采样数据的relay feedback control system 继电反馈控制系统servomechanism n. 伺服机构,伺服系统,随动系统multiple-input multiple-output (MIMO) 多输入多输出modern control theory 现代控制理论trajectory n. 轨迹,轨道multivariable 多变量differential equation 微分方程Laplace transform 拉普拉氏变换frequency-response 频率响应root-locus 根轨迹time response 时域响应state variable 状态变量nth-order n阶matrix n. 矩阵mathematical model 数学模型eigenstructure n. 特征结构eigenvalue n. 特征值eigenvector n. 特征向量block-diagram 框图transfer function 传递函数negative feedback 负反馈error signal 误差信号operator n. 算子,算符,操作符,控制器complex parameter 复数参数frequency parameter 频率参数time domain 时域denominator n. 分母open-loop transfer function 开环传递函数forward transfer function 前向传递函数transient a. 暂态的,瞬态的,短暂的steady-state error 稳态误差controllability n. 可控性observability n. 可观性linear time-invariant system 线性时不变系统polynomial n.; a. 多项式(的)response n. 响应,答复,应答driving a. 驱动的real part 实部inverse transform 反变换pole n. 极,极点necessary condition 必要条件sufficient condition 充分条件imaginary axis 虚轴s plane s平面triangular a. 三角的conjugate n. 共轭值;a. 共轭的,共轭根的quadruplet n. 四件一套,四个一组numerator n. 分子performance n. 性能frequency response 频率响应passband n. 通带,频带dynamic performance 动态性能robust a. 强壮的,强健的,健全的,鲁棒的,坚固的performance index 性能指标modern control theory 现代控制理论synthesis n. 综合,合成Fourier transform 傅立叶变换,傅氏变换inverse Fourier transform 傅氏反变换definite integral 定积分analytical a. 解析的,分析的,分解的qualitatively ad. 定性地logarithmic a. 对数的rectangular coordinates 直角坐标logarithmic coordinates 对数坐标Bode plots 波特图phase angle 相角polar coordinates 极坐标Nyquist plots 奈奎斯特图dissipation n. 消耗energy-storage element 储能元件spurious a. 寄生的,杂散的,乱真的attenuate v. 衰减,减少,削弱semilog n. 半对数logarithm n. 对数asymptotic a. 渐近的decibel n. 分贝radian n. 弧度octave n. 八度,倍频程(八度)。

英汉数学词汇

英汉数学词汇

数学词汇英汉对照Aabbreviation 簡寫符號;簡寫abscissa 橫坐標absolute complement 絕對補集absolute error 絕對誤差absolute inequality 絕不等式absolute maximum 絕對極大值absolute minimum 絕對極小值absolute monotonic 絕對單調absolute value 絕對值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累積accumulative 累積的accuracy 準確度act on 施於action 作用; 作用力acute angle 銳角acute-angled triangle 銳角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 鄰角adjacent side 鄰邊adjoint matrix 伴隨矩陣algebra 代數algebraic 代數的algebraic equation 代數方程algebraic expression 代數式algebraic fraction 代數分式;代數分數式algebraic inequality 代數不等式algebraic number 代數數algebraic operation 代數運算algebraically closed 代數封閉algorithm 算法系統; 規則系統alternate angle (交)錯角alternate segment 內錯弓形alternating series 交錯級數alternative hypothesis 擇一假設; 備擇假設; 另一假設altitude 高;高度;頂垂線;高線ambiguous case 兩義情況;二義情況amount 本利和;總數analysis 分析;解析analytic geometry 解析幾何angle 角angle at the centre 圓心角angle at the circumference 圓周角angle between a line and a plane 直 與平面的交角angle between two planes 兩平面的交角angle bisection 角平分angle bisector 角平分線 ;分角線angle in the alternate segment 交錯弓形的圓周角angle in the same segment 同弓形內的圓周角angle of depression 俯角angle of elevation 仰角angle of friction 靜摩擦角; 極限角angle of greatest slope 最大斜率的角angle of inclination 傾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋轉角angle of the sector 扇形角angle sum of a triangle 三角形內角和angles at a point 同頂角angular displacement 角移位angular momentum 角動量angular motion 角運動angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆時針方向;返時針方向anti-clockwise moment 逆時針力矩anti-derivative 反導數; 反微商anti-logarithm 逆對數;反對數anti-symmetric 反對稱apex 頂點approach 接近;趨近approximate value 近似值approximation 近似;略計;逼近Arabic system 阿刺伯數字系統arbitrary 任意arbitrary constant 任意常數arc 弧arc length 弧長arc-cosine function 反餘弦函數arc-sin function 反正弦函數arc-tangent function 反正切函數area 面積Argand diagram 阿根圖, 阿氏圖argument (1)論證; (2)輻角argument of a complex number 複數的輻角argument of a function 函數的自變數arithmetic 算術arithmetic mean 算術平均;等差中頂;算術中頂arithmetic progression 算術級數;等差級數arithmetic sequence 等差序列arithmetic series 等差級數arm 邊array 陣列; 數組arrow 前號ascending order 遞升序ascending powers of X X 的升冪assertion 斷語; 斷定associative law 結合律assumed mean 假定平均數assumption 假定;假設asymmetrical 非對稱asymptote 漸近asymptotic error constant 漸近誤差常數at rest 靜止augmented matrix 增廣矩陣auxiliary angle 輔助角auxiliary circle 輔助圓auxiliary equation 輔助方程average 平均;平均數;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配對公理axiom of power 冪集公理axiom of specification 分類公理axiomatic theory of probability 概率公理論axis 軸axis of parabola 拋物線的軸axis of revolution 旋轉軸axis of rotation 旋轉軸axis of symmetry 對稱軸Bback substitution 回代bar chart 棒形圖;條線圖;條形圖;線條圖base (1)底;(2)基;基數base angle 底角base area 底面base line 底線base number 底數;基數base of logarithm 對數的底basis 基Bayes' theorem 貝葉斯定理bearing 方位(角);角方向(角)bell-shaped curve 鐘形圖belong to 屬於Bernoulli distribution 伯努利分佈Bernoulli trials 伯努利試驗bias 偏差;偏倚biconditional 雙修件式; 雙修件句bijection 對射; 雙射; 單滿射bijective function 對射函數; 隻射函數billion 十億bimodal distribution 雙峰分佈binary number 二進數binary operation 二元運算binary scale 二進法binary system 二進制binomial 二項式binomial distribution 二項分佈binomial expression 二項式binomial series 二項級數binomial theorem 二項式定理bisect 平分;等分bisection method 分半法;分半方法bisector 等分線 ;平分線Boolean algebra 布爾代數boundary condition 邊界條件boundary line 界(線);邊界bounded 有界的bounded above 有上界的;上有界的bounded below 有下界的;下有界的bounded function 有界函數bounded sequence 有界序列brace 大括號bracket 括號breadth 闊度broken line graph 折線圖Ccalculation 計算calculator 計算機;計算器calculus (1) 微積分學; (2) 演算cancel 消法;相消canellation law 消去律canonical 典型; 標準capacity 容量cardioid 心臟Cartesian coordinates 笛卡兒坐標Cartesian equation 笛卡兒方程Cartesian plane 笛卡兒平面Cartesian product 笛卡兒積category 類型;範疇catenary 懸鏈Cauchy sequence 柯西序列Cauchy's principal value 柯西主值Cauchy-Schwarz inequality 柯西- 許瓦爾茲不等式central limit theorem 中心極限定理central line 中線central tendency 集中趨centre 中心;心centre of a circle 圓心centre of gravity 重心centre of mass 質量中心centrifugal force 離心力centripedal acceleration 向心加速度centripedal force force 向心力centroid 形心;距心certain event 必然事件chain rule 鏈式法則chance 機會change of axes 坐標軸的變換change of base 基的變換change of coordinates 坐標軸的變換change of subject 主項變換change of variable 換元;變量的換characteristic equation 特徵(征)方程characteristic function 特徵(征)函數characteristic of logarithm 對數的首數; 對數的定位部characteristic root 特徵(征)根chart 圖;圖表check digit 檢驗數位checking 驗算chord 弦chord of contact 切點弦circle 圓circular 圓形;圓的circular function 圓函數;三角函數circular measure 弧度法circular motion 圓周運動circular permutation 環形排列; 圓形排列; 循環排列circumcentre 外心;外接圓心circumcircle 外接圓circumference 圓周circumradius 外接圓半徑circumscribed circle 外接圓cissoid 蔓葉class 區;組;類class boundary 組界class interval 組區間;組距class limit 組限;區限class mark 組中點;區中點classical theory of probability 古典概率論classification 分類clnometer 測斜儀clockwise direction 順時針方向clockwise moment 順時針力矩closed convex region 閉凸區域closed interval 閉區間coaxial 共軸coaxial circles 共軸圓coaxial system 共軸系coded data 編碼數據coding method 編碼法co-domain 上域coefficient 系數coefficient of friction 摩擦係數coefficient of restitution 碰撞係數; 恢復係數coefficient of variation 變差係數cofactor 餘因子; 餘因式cofactor matrix 列矩陣coincide 疊合;重合collection of terms 併項collinear 共線collinear planes 共線面collision 碰撞column (1)列;縱行;(2) 柱column matrix 列矩陣column vector 列向量combination 組合common chord 公弦common denominator 同分母;公分母common difference 公差common divisor 公約數;公約common factor 公因子;公因數common logarithm 常用對數common multiple 公位數;公倍common ratio 公比common tangent 公切commutative law 交換律comparable 可比較的compass 羅盤compass bearing 羅盤方位角compasses 圓規compasses construction 圓規作圖compatible 可相容的complement 餘;補餘complement law 補餘律complementary angle 餘角complementary equation 補充方程complementary event 互補事件complementary function 餘函數complementary probability 互補概率complete oscillation 全振動completing the square 配方complex conjugate 複共軛complex number 複數complex unmber plane 複數平面complex root 複數根component 分量component of force 分力composite function 複合函數; 合成函數composite number 複合數;合成數composition of mappings 映射構合composition of relations 複合關係compound angle 複角compound angle formula 複角公式compound bar chart 綜合棒形圖compound discount 複折扣compound interest 複利;複利息compound probability 合成概率compound statement 複合命題; 複合敘述computation 計算computer 電腦;電子計算機concave 凹concave downward 凹向下的concave polygon 凹多邊形concave upward 凹向上的concentric circles 同心圓concept 概念conclusion 結論concurrent 共點concyclic 共圓concyclic points 共圓點condition 條件conditional 條件句;條件式conditional identity 條件恒等式conditional inequality 條件不等式conditional probability 條件概率cone 錐;圓錐(體)confidence coefficient 置信係數confidence interval 置信區間confidence level 置信水平confidence limit 置信極限confocal section 共焦圓錐曲 congruence (1)全等;(2)同餘congruence class 同餘類congruent 全等congruent figures 全等圖形congruent triangles 全等三角形conic 二次曲 ; 圓錐曲conic section 二次曲 ; 圓錐曲conical pendulum 圓錐擺conjecture 猜想conjugate 共軛conjugate axis 共軛conjugate diameters 共軛軸conjugate hyperbola 共軛(直)徑conjugate imaginary / complex number 共軛雙曲 conjugate radical 共軛虛/複數conjugate surd 共軛根式; 共軛不盡根conjunction 合取connective 連詞connector box 捙接框consecutive integers 連續整數consecutive numbers 連續數;相鄰數consequence 結論;推論consequent 條件;後項conservation of energy 能量守恒conservation of momentum 動量守恒conserved 守恒consistency condition 相容條件consistent 一貫的;相容的consistent estimator 相容估計量constant 常數constant acceleration 恒加速度constant force 恒力constant of integration 積分常數constant speed 恆速率constant term 常項constant velocity 怛速度constraint 約束;約束條件construct 作construction 作圖construction of equation 方程的設立continued proportion 連比例continued ratio 連比continuity 連續性continuity correction 連續校正continuous 連續的continuous data 連續數據continuous function 連續函數continuous proportion 連續比例continuous random variable 連續隨機變量contradiction 矛盾converge 收歛convergence 收歛性convergent 收歛的convergent iteration 收歛的迭代convergent sequence 收歛序列convergent series 收歛級數converse 逆(定理)converse of a relation 逆關係converse theorem 逆定理conversion 轉換convex 凸convex polygon 凸多邊形convexity 凸性coordinate 坐標coordinate geometry 解析幾何;坐標幾何coordinate system 坐標系系定理;系;推論coplanar 共面coplanar forces 共面力coplanar lines 共面co-prime 互質; 互素corollary 係定理; 系; 推論correct to 準確至;取值至correlation 相關correlation coefficient 相關係數correspondence 對應corresponding angles (1)同位角;(2)對應角corresponding element 對應邊corresponding sides 對應邊cosecant 餘割cosine 餘弦cosine formula 餘弦公式cost price 成本cotangent 餘切countable 可數countable set 可數集countably infinite 可數無限counter clockwise direction 逆時針方向;返時針方向counter example 反例counting 數數;計數couple 力偶Carmer's rule 克萊瑪法則criterion 準則critical point 臨界點critical region 臨界域cirtical value 臨界值cross-multiplication 交叉相乘cross-section 橫切面;橫截面;截痕cube 正方體;立方;立方體cube root 立方根cubic 三次方;立方;三次(的)cubic equation 三次方程cubic roots of unity 單位的立方根cuboid 長方體;矩體cumulative 累積的cumulative distribution function 累積分佈函數cumulative frequecy 累積頻數;累積頻率cumulative frequency curve 累積頻數曲 cumulative frequcncy distribution 累積頻數分佈cumulative frequency polygon 累積頻數多邊形;累積頻率直方圖curvature of a curve 曲線的曲率curve 曲線curve sketching 曲線描繪(法)curve tracing 曲線描跡(法)curved line 曲線curved surface 曲面curved surface area 曲面面積cyclic expression 輸換式cyclic permutation 圓形排列cyclic quadrilateral 圓內接四邊形cycloid 旋輸線; 擺線cylinder 柱;圓柱體cylindrical 圓柱形的Ddamped oscillation 阻尼振動data 數據De Moivre's theorem 棣美弗定理De Morgan's law 德摩根律decagon 十邊形decay 衰變decay factor 衰變因子decelerate 減速decelaration 減速度decile 十分位數decimal 小數decimal place 小數位decimal point 小數點decimal system 十進制decision box 判定框declarative sentence 說明語句declarative statement 說明命題decoding 譯碼decrease 遞減decreasing function 遞減函數;下降函數decreasing sequence 遞減序列;下降序列decreasing series 遞減級數;下降級數decrement 減量deduce 演繹deduction 推論deductive reasoning 演繹推理definite 確定的;定的definite integral 定積分definition 定義degenerated conic section 降級錐曲線degree (1) 度; (2) 次degree of a polynomial 多項式的次數degree of accuracy 準確度degree of confidence 置信度degree of freedom 自由度degree of ODE 常微分方程次數degree of precision 精確度delete 刪除; 刪去denary number 十進數denominator 分母dependence (1)相關; (2)應變dependent event(s) 相關事件; 相依事件; 從屬事件dependent variable 應變量; 應變數depreciation 折舊derivable 可導derivative 導數derived curve 導函數曲線derived function 導函數derived statistics 推算統計資料; 派生統計資料descending order 遞降序descending powers of x x的降冪descriptive statistics 描述統計學detached coefficients 分離係數(法) determinant 行列式deviation 偏差; 變差deviation from the mean 離均差diagonal 對角線diagonal matrix 對角矩陣diagram 圖; 圖表diameter 直徑diameter of a conic 二次曲線的直徑difference 差difference equation 差分方程difference of sets 差集differentiable 可微differential 微分differential coefficient 微商; 微分係數differential equation 微分方程differential mean value theorem 微分中值定理differentiate 求...的導數differentiate from first principle 從基本原理求導數differentiation 微分法digit 數字dimension 量; 量網; 維(數)direct impact 直接碰撞direct image 直接像direct proportion 正比例direct tax, direct taxation 直接稅direct variation 正變(分)directed angle 有向角directed line 有向直線directed line segment 有向線段directed number 有向數direction 方向; 方位direction angle 方向角direction cosine 方向餘弦direction number 方向數direction ratio 方向比directrix 準線Dirichlet function 狄利克來函數discontinuity 不連續性discontinuous 間斷(的);連續(的); 不連續(的) discontinuous point 不連續點discount 折扣discrete 分立; 離散discrete data 離散數據; 間斷數據discrete random variable 間斷隨機變數discrete uniform distribution 離散均勻分佈discriminant 判別式disjoint 不相交的disjoint sets 不相交的集disjunction 析取dispersion 離差displacement 位移disprove 反證distance 距離distance formula 距離公式distinct roots 相異根distincr solution 相異解distribution 公佈distributive law 分配律diverge 發散divergence 發散(性)divergent 發散的divergent iteration 發散性迭代divergent sequence 發散序列divergent series 發散級數divide 除dividend (1)被除數;(2)股息divisible 可整除division 除法division algorithm 除法算式divisor 除數;除式;因子divisor of zero 零因子dodecagon 十二邊形domain 定義域dot 點dot product 點積double angle 二倍角double angle formula 二倍角公式double root 二重根dual 對偶duality (1)對偶性; (2) 雙重性due east/ south/ west /north 向東/ 南/ 西/ 北dynamics 動力學Eeccentric angle 離心角eccentric circles 離心圓eccentricity 離心率echelon form 梯陣式echelon matrix 梯矩陣edge 棱;邊efficient estimator 有效估計量effort 施力eigenvalue 本徵值eigenvector 本徵向量elastic body 彈性體elastic collision 彈性碰撞elastic constant 彈性常數elastic force 彈力elasticity 彈性element 元素elementary event 基本事件elementary function 初等函數elementary row operation 基本行運算elimination 消法elimination method 消去法;消元法ellipse 橢圓ellipsiod 橢球體elliptic function 橢圓函數elongation 伸張;展empirical data 實驗數據empirical formula 實驗公式empirical probability 實驗概率;經驗概率empty set 空集encoding 編碼enclosure 界限end point 端點energy 能; 能量entire surd 整方根epicycloid 外擺線equal 相等equal ratios theorem 等比定理equal roots 等根equal sets 等集equality 等(式)equality sign 等號equation 方程equation in one unknown 一元方程equation in two unknowns(variables) 二元方程equation of a straight line 直線方程equation of locus 軌跡方程equiangular 等角(的)equidistant 等距(的)equilateral 等邊(的)equilateral polygon 等邊多邊形equilateral triangle 等邊三角形equilibrium 平衡equiprobable 等概率的equiprobable space 等概率空間equivalence 等價equivalence class 等價類equivalence relation 等價關係equivalent 等價(的)error 誤差error allowance 誤差寬容度error estimate 誤差估計error term 誤差項error tolerance 誤差寬容度escribed circle 旁切圓estimate 估計;估計量estimator 估計量Euclidean algorithm 歐幾里德算法Euclidean geometry 歐幾里德幾何Euler's formula 尤拉公式;歐拉公式evaluate 計值even function 偶函數even number 偶數evenly distributed 均勻分佈的event 事件exact 真確exact differential form 恰當微分形式exact solution 準確解;精確解;真確解exact value 法確解;精確解;真確解example 例excentre 外心exception 例外excess 起exclusive 不包含exclusive disjunction 不包含性析取exclusive events 互斥事件exercise 練習exhaustive event(s) 徹底事件existential quantifier 存在量詞expand 展開expand form 展開式expansion 展式expectation 期望expectation value, expected value 期望值;預期值experiment 實驗;試驗experimental 試驗的experimental probability 實驗概率explicit function 顯函數exponent 指數exponential function 指數函數exponential order 指數階; 指數級express…in terms of…以………表達expression 式;數式extension 外延;延長;擴張;擴充extension of a function 函數的擴張exterior angle 外角external angle bisector 外分角external point of division 外分點extreme point 極值點extreme value 極值extremum 極值Fface 面factor 因子;因式;商factor method 因式分解法factor theorem 因子定理;因式定理factorial 階乘factorization 因子分解;因式分解factorization of polynomial 多項式因式分解fallacy 謬誤FALSE 假(的)falsehood 假值family 族family of circles 圓族family of concentric circles 同心圓族family of straight lines 直線族feasible solution 可行解;容許解Fermat's last theorem 費爾馬最後定理Fibonacci number 斐波那契數;黃金分割數Fibonacci sequence 斐波那契序列fictitious mean 假定平均數figure (1)圖(形);(2)數字final velocity 末速度finite 有限finite dimensional vector space 有限維向量空間finite population 有限總體finite probability space 有限概率空間finite sequence 有限序列finite series 有限級數finite set 有限集first approximation 首近似值first derivative 一階導數first order differential equation 一階微分方程first projection 第一投影; 第一射影first quartile 第一四分位數first term 首項fixed deposit 定期存款fixed point 定點fixed point iteration method 定點迭代法fixed pulley 定滑輪flow chart 流程圖focal axis 焦軸focal chord 焦弦focal length 焦距focus(foci) 焦點folium of Descartes 笛卡兒葉形線foot of perpendicular 垂足for all X 對所有Xfor each /every X 對每一Xforce 力forced oscillation 受迫振動form 形式;型formal proof 形式化的證明format 格式;規格formula(formulae) 公式four leaved rose curve 四瓣玫瑰線four rules 四則four-figure table 四位數表fourth root 四次方根fraction 分數;分式fraction in lowest term 最簡分數fractional equation 分式方程fractional index 分數指數fractional inequality 分式不等式free fall 自由下墜free vector 自由向量; 自由矢量frequency 頻數;頻率frequency distribution 頻數分佈;頻率分佈frequency distribution table 頻數分佈表frequency polygon 頻數多邊形;頻率多邊形friction 摩擦; 摩擦力frictionless motion 無摩擦運動frustum 平截頭體fulcrum 支點function 函數function of function 複合函數;疊函數functional notation 函數記號fundamental theorem of algebra 代數基本定理fundamental theorem of calculus 微積分基本定理Ggain 增益;賺;盈利gain perent 賺率;增益率;盈利百分率game (1)對策;(2)博奕Gaussian distribution 高斯分佈Gaussian elimination 高斯消去法general form 一般式;通式general solution 通解;一般解general term 通項generating function 母函數; 生成函數generator (1)母線; (2)生成元geoborad 幾何板geometric distribution 幾何分佈geometric mean 幾何平均數;等比中項geometric progression 幾何級數;等比級數geometric sequence 等比序列geometric series 等比級數geometry 幾何;幾何學given 給定;已知global 全局; 整體global maximum 全局極大值; 整體極大值global minimum 全局極小值; 整體極小值golden section 黃金分割grade 等級gradient (1)斜率;傾斜率;(2)梯度grand total 總計graph 圖像;圖形;圖表graph paper 圖表紙graphical method 圖解法graphical representation 圖示;以圖樣表達graphical solution 圖解gravitational acceleration 重力加速度gravity 重力greatest term 最大項greatest value 最大值grid lines 網格線group 組;grouped data 分組數據;分類數據grouping terms 併項;集項growth 增長growth factor 增長因子Hhalf angle 半角half angle formula 半角公式half closed interval 半閉區間half open interval 半開區間harmonic mean (1) 調和平均數; (2) 調和中項harmonic progression 調和級數head 正面(錢幣)height 高(度)helix 螺旋線hemisphere 半球體;半球heptagon 七邊形Heron's formula 希羅公式heterogeneous (1)參差的; (2)不純一的hexagon 六邊形higher order derivative 高階導數highest common factor(H.C.F) 最大公因數;最高公因式;最高公因子Hindu-Arabic numeral 阿刺伯數字histogram 組織圖;直方圖;矩形圖Holder's Inequality 赫耳德不等式homogeneous 齊次的homogeneous equation 齊次方程Hooke's law 虎克定律horizontal 水平的;水平horizontal asymptote 水平漸近線horizontal component 水平分量horizontal line 橫線 ;水平線horizontal range 水平射程hyperbola 雙曲線hyperbolic function 雙曲函數hypergeometric distribution 超幾何分佈hypocycloid 內擺線hypotenuse 斜邊hypothesis 假設hypothesis testing 假設檢驗hypothetical syllogism 假設三段論hypotrochoid 次內擺線Iidempotent 全冪等的identical 全等;恆等identity 等(式)identity element 單位元identity law 同一律identity mapping 恒等映射identity matrix 恒等矩陣identity relation 恆等關係式if and only if/iff 當且僅當;若且僅若if…, then 若….則;如果…..則illustration 例證;說明image 像點;像image axis 虛軸imaginary circle 虛圓imaginary number 虛數imaginary part 虛部imaginary root 虛根imaginary unit 虛數單位impact 碰撞implication 蘊涵式;蘊含式implicit definition 隱定義implicit function 隱函數imply 蘊涵;蘊含impossible event 不可能事件improper fraction 假分數improper integral 廣義積分; 非正常積分impulse 衝量impulsive force 衝力incentre 內力incircle 內切圓inclination 傾角;斜角inclined plane 斜面included angle 夾角included side 夾邊inclusion mapping 包含映射inclusive 包含的;可兼的inclusive disjunction 包含性析取;可兼析取inconsistent 不相的(的);不一致(的) increase 遞增;增加increasing function 遞增函數increasing sequence 遞增序列increasing series 遞增級數increment 增量indefinite integral 不定積分idenfinite integration 不定積分法independence 獨立;自變independent equations 獨立方程independent event 獨立事件independent variable 自變量;獨立變數indeterminate (1)不定的;(2)不定元;未定元indeterminate coefficient 不定係數;未定係數indeterminate form 待定型;不定型index,indices 指數;指index notation 指數記數法induced operation 誘導運算induction hypothesis 歸納法假設inelastic collision 非彈性碰撞inequality 不等式;不等inequality sign 不等號inertia 慣性;慣量infer 推斷inference 推論infinite 無限;無窮infinite dimensional 無限維infinite population 無限總體infinite sequence 無限序列;無窮序列infinite series 無限級數;無窮級數infinitely many 無窮多infinitesimal 無限小;無窮小infinity 無限(大);無窮(大)inflection (inflexion) point 拐點;轉折點inherent error 固有誤差initial approximation 初始近似值initial condition 原始條件;初值條件initial point 始點;起點initial side 始邊initial value 初值;始值initial velocity 初速度initial-value problem 初值問題injection 內射injective function 內射函數inner product 內積input 輸入input box 輸入inscribed circle 內切圓insertion 插入insertion of brackets 加括號instantaneous 瞬時的instantaneous acceleration 瞬時加速度instantaneous speed 瞬時速率instantaneous velocity 瞬時速度integer 整數integrable 可積integrable function 可積函數integral 積分integral index 整數指數integral mean value theorem 積數指數integral part 整數部份integral solution 整數解integral value 整數值integrand 被積函數integrate 積;積分;......的積分integrating factor 積分因子integration 積分法integration by parts 分部積分法integration by substitution 代換積分法;換元積分法integration constant 積分常數interaction 相互作用intercept 截距;截段intercept form 截距式intercept theorem 截線定理interchange 互換interest 利息interest rate 利率interest tax 利息稅interior angle 內角interior angles on the same side of the transversal 同旁內角interior opposite angle 內對角intermediate value theorem 介值定理internal bisector 內分角internal division 內分割internal energy 內能internal force 內力internal point of division 內分點interpolating polynomial 插值多項式interpolation 插值inter-quartile range 四分位數間距intersect 相交intersection (1)交集;(2)相交;(3)交點interval 區間interval estimation 區間估計;區域估計intuition 直觀invalid 失效;無效invariance 不變性invariant (1)不變的;(2)不變量;不變式inverse 反的;逆的inverse circular function 反三角函數inverse cosine function 反餘弦函數inverse function 反函數;逆函數inverse cosine function 反三角函數inverse function 反函數;逆映射inverse mapping 反向映射;逆映射inverse matrix 逆矩陣inverse problem 逆算問題inverse proportion 反比例;逆比例inverse relation 逆關係inverse sine function 反正弦函數inverse tangent function 反正切函數inverse variation 反變(分);逆變(分) invertible 可逆的invertible matrix 可逆矩陣irrational equation 無理方程irrational number 無理數irreducibility 不可約性irregular 不規則isomorphism 同構isosceles triangle 等腰三角形iterate (1)迭代值; (2)迭代iteration 迭代iteration form 迭代形iterative function 迭代函數iterative method 迭代法Jjet propulsion 噴氣推進joint variation 聯變(分);連變(分)Kkinetic energy 動能kinetic friction 動摩擦known 己知LL.H.S. 末項L'Hospital's rule 洛必達法則Lagrange interpolating polynomial 拉格朗日插值多項代Lagrange theorem 拉格朗日定理Lami's law 拉密定律Laplace expansion 拉普拉斯展式last term 末項latent root 本征根; 首通徑lattice point 格點latus rectum 正焦弦; 首通徑law 律;定律law of conservation of momentum 動量守恒定律law of indices 指數律;指數定律law of inference 推論律law of trichotomy 三分律leading coefficient 首項係數leading diagonal 主對角線least common multiple, lowest common multiple (L.C.M) 最小公倍數;最低公倍式least value 最小值left hand limit 左方極限lemma 引理lemniscate 雙紐線length 長(度)letter 文字;字母like surd 同類根式like terms 同類項limacon 蝸牛線limit 極限limit of sequence 序列的極限limiting case 極限情況limiting friction 最大靜摩擦limiting position 極限位置line 線;行line of action 作用力線line of best-fit 最佳擬合line of greatest slope 最大斜率的直 ;最大斜率line of intersection 交線line segment 線段linear 線性;一次linear convergence 線性收歛性linear differeantial equation 線性微分方程linear equation 線性方程;一次方程linear equation in two unknowns 二元一次方程;二元線性方程linear inequality 一次不等式;線性不等式linear momentum 線動量linear programming 線性規劃linearly dependent 線性相關的linearly independent 線性無關的literal coefficient 文字係數literal equation 文字方程load 負荷loaded coin 不公正錢幣loaded die 不公正骰子local maximum 局部極大(值)local minimum 局部極小(值)locus, loci 軌跡logarithm 對數logarithmic equation 對數方程logarithmic function 對數函數logic 邏輯logical deduction 邏輯推論;邏輯推理logical step 邏輯步驟long division method 長除法loop 迴路loss 賠本;虧蝕loss per cent 賠率;虧蝕百分率lower bound 下界lower limit 下限lower quartile 下四分位數lower sum 下和lower triangular matrix 下三角形矩陣lowest common multiple(L.C.M) 最小公倍數Mmachine 機械Maclaurin expansion 麥克勞林展開式Maclaurin series 麥克勞林級數magnitude 量;數量;長度;大小major arc 優弧;大弧major axis 長軸major sector 優扇形;大扇形major segment 優弓形;大弓形mantissa 尾數mantissa of logarithm 對數的尾數;對數的定值部many to one 多個對一個many-sided figure 多邊形many-valued 多值的map into 映入map onto 映上mapping 映射marked price 標價Markov chain 馬可夫鏈mass 質量mathematical analysis 數學分析mathematical induction 數學歸納法mathematical sentence 數句mathematics 數學matrix 陣; 矩陣matrix addition 矩陣加法matrix equation 矩陣方程matrix multiplication 矩陣乘法matrix operation 矩陣運算maximize 極大maximum absolute error 最大絕對誤差maximum point 極大點maximum value 極大值mean 平均(值);平均數;中數mean deviation 中均差;平均偏差mean value theorem 中值定理measure of dispersion 離差的量度measurement 量度mechanical energy 機械能median (1)中位數;(2)中線meet 相交;相遇mensuration 計量;求積法method 方法method of completing square 配方法method of interpolation 插值法; 內插法method of least squares 最小二乘法; 最小平方法method of substitution 代換法;換元法method of successive substitution 逐次代換法; 逐次調替法method of superposition 疊合法metric unit 十進制單位mid-point 中點mid-point formula 中點公式mid-point theorem 中點定理million 百萬minimize 極小minimum point 極小點minimum value 極小值Minkowski Inequality 閔可夫斯基不等式minor (1)子行列式;(2)劣;較小的minor arc 劣弧;小弧minor axis 短軸minor of a determinant 子行列式minor sector 劣扇形;小扇形minor segment 劣弓形;小弓形minus 減minute 分mixed number(fraction) 帶分數modal class 眾數組mode 眾數model 模型modulo (1)模; 模數; (2)同餘modulo arithmetic 同餘算術modulus 模; 模數modulus of a complex number 複數的模modulus of elasticity 彈性模(數)moment arm (1)矩臂; (2)力臂moment of a force 力矩moment of inertia 貫性矩momentum 動量monomial 單項式monotone 單調monotonic convergence 單調收歛性monotonic decreasing 單調遞減monotonic decreasing function 單調遞減函數monotonic function 單調函數monotonic increasing 單調遞增monotonic increasing function 單調遞增函數motion 運動movable pulley 動滑輪multinomial 多項式multiple 倍數multiple angle 倍角multiple-angle formula 倍角公式multiple root 多重根multiplicand 被乘數multiplication 乘法multiplication law (of probability) (概率)乘法定律multiplicative inverse 乘法逆元multiplicative property 可乘性multiplicity 重數multiplier 乘數;乘式multiply 乘multi-value 多值的mulually disjoint 互不相交mutually exclusive events 互斥事件mutually independent 獨立; 互相獨立mutually perpendicular lines 互相垂直Nn factorial n階乘n th derivative n階導數n th root n次根;n次方根n the root of unity 單位的n次根Napierian logarithm 納皮爾對數; 自然對數natural logarithm 自然對數natural number 自然數natural surjection 自然滿射necessary and sufficient condition 充要條件necessary condition 必要條件negation 否定式negative 負negative angle 負角negative binomial distribution 負二項式分佈negative index 負指數negative integer 負整數negative number 負數negative vector 負向量; 負矢量neighborhood 鄰域net 淨(值)net force 淨力Newton-Cote's rule 牛頓- 高斯法則Newton-Raphson's method 牛頓- 納遜方法Newton's formula 牛頓公式Newton's law of motion 牛頓運動定律Newton's method 牛頓方法n-gon n邊形nonagon 九邊形non-collinear 不共線non-commutative 非交換的non-linear 非線性non-linear equation 非線性方程non-negative 非負的non-reflexive 非自反的non-singular (1)滿秩的; (2)非奇異的non-singular matrix 滿秩矩陣non-transitive 非可遞的non-trivial 非平凡的non-zero 非零norm 模方; 範數normal (1)垂直的;正交的;法線的(2)正態的(3)正常的;正規的normal curve 正態分佈曲 ;常庇分佈曲 ;正規曲 ;正庇曲normal distribution 正態分佈,常態分佈normal form 法線式normal reaction 反向法作用力normal to curve 曲線的法線normal vector 法向量normalize 正規化normalized form 標準型notation 記法;記號null 零; 空null hypothesis 零假設; 虛假設null set 空集null vector 零向量number 數number line 數線number pair 數偶number pattern 數型number plane 數平面number system 數系numeral 數字;數碼numeral system 記數系統numerator 分子numerical 數值的;數字的numerical analysis 數字分析numerical expression 數字式numerical integration 數值積分法numerical method 計算方法;數值法Oobjective function 目標函數oblique 斜的oblique asymptote 斜漸近線oblique cone 斜圓錐oblique impact 斜向碰撞oblique triangle 斜三角形obtuse angle 鈍角。

必备的数学英语词汇(a字表)大全

必备的数学英语词汇(a字表)大全

必备的数学英语词汇〔a字表〕大全学好课程的关键在于理解并掌握课程公式,接下来小编就为大家整理了一篇数学英语词汇,希望可以帮助到大家! abbreviation 简写符号;简写abscissa 横坐标absolute complement 绝对补集absolute error 绝对误差absolute inequality 绝不等式absolute maximum 绝对极大值absolute minimum 绝对极小值absolute monotonic 绝对单调absolute value 绝对值accelerate 加速acceleration 加速度acceleration due to gravity 重力加速度; 地心加速度accumulation 累积accumulative 累积的accuracy 准确度act on 施于action 作用; 作用力acute angle 锐角acute-angled triangle 锐角三角形add 加addition 加法addition formula 加法公式addition law 加法定律addition law(of probability) (概率)加法定律additive inverse 加法逆元; 加法反元additive property 可加性adjacent angle 邻角adjacent side 邻边adjoint matrix 伴随矩阵algebra 代数algebraic 代数的algebraic equation 代数方程algebraic expression 代数式algebraic fraction 代数分式;代数分数式algebraic inequality 代数不等式algebraic number 代数数algebraic operation 代数运算algebraically closed 代数封闭algorithm 算法系统; 规那么系统alternate angle (交)错角alternate segment 内错弓形alternating series 交织级数alternative hypothesis 择一假设; 备择假设; 另一假设altitude 高;高度;顶垂线;高线ambiguous case 两义情况;二义情况amount 本利和;总数analysis 分析;解析analytic geometry 解析几何angle 角angle at the centre 圆心角angle at the circumference 圆周角angle between a line and a plane 直?与平面的交角angle between two planes 两平面的交角angle bisection 角平分angle bisector 角平分线?;分角线?angle in the alternate segment 交织弓形的圆周角angle in the same segment 同弓形内的圆周角angle of depression 俯角angle of elevation 仰角angle of friction 静摩擦角; 极限角angle of greatest slope 最大斜率的角angle of inclination 倾斜角angle of intersection 相交角;交角angle of projection 投射角angle of rotation 旋转角angle of the sector 扇形角angle sum of a triangle 三角形内角和angles at a point 同顶角angular displacement 角移位angular momentum 角动量angular motion 角运动angular velocity 角速度annum(X% per annum) 年(年利率X%)anti-clockwise direction 逆时针方向;返时针方向anti-clockwise moment 逆时针力矩anti-derivative 反导数; 反微商anti-logarithm 逆对数;反对数anti-symmetric 反对称apex 顶点approach 接近;趋近approximate value 近似值approximation 近似;略计;逼近Arabic system 阿刺伯数字系统arbitrary 任意arbitrary constant 任意常数arc 弧arc length 弧长arc-cosine function 反余弦函数arc-sin function 反正弦函数arc-tangent function 反正切函数area 面积Argand diagram 阿根图, 阿氏图argument (1)论证; (2)辐角argument of a complex number 复数的辐角argument of a function 函数的自变量arithmetic 算术arithmetic mean 算术平均;等差中顶;算术中顶arithmetic progression 算术级数;等差级数arithmetic sequence 等差序列arithmetic series 等差级数arm 边array 数组; 数组arrow 前号ascending order 递升序ascending powers of X X 的升幂assertion 断语; 断定associative law 结合律assumed mean 假定平均数assumption 假定;假设asymmetrical 非对称asymptote 渐近?asymptotic error constant 渐近误差常数at rest 静止augmented matrix 增广矩阵auxiliary angle 辅助角auxiliary circle 辅助圆auxiliary equation 辅助方程average 平均;平均数;平均值average speed 平均速率axiom 公理axiom of existence 存在公理axiom of extension 延伸公理axiom of inclusion 包含公理axiom of pairing 配对公理axiom of power 幂集公理axiom of specification 分类公理axiomatic theory of probability 概率公理论axis 轴axis of parabola 拋物线的轴axis of revolution 旋转轴axis of rotation 旋转轴axis of symmetry 对称轴以上就是查字典数学网为大家整理的数学英语词汇,怎么样,大家还满意吗?希望对大家的学习有所帮助,同时也祝大家学习进步,考试顺利!。

相关主题
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
SPhT 06/154
Associative-algebraic approach to logarithmic conformal field theories
N. Read
a
a
and Hubert Saleur
b,c
c
arXiv:hep-th/0701117v1ment of Physics Yale University, P.O. Box 208120, New Haven, CT 06520-8120 USA b Service de Physique Th´ eorique, CEA Saclay, Gif Sur Yvette, 91191, France Department of Physics and Astronomy, University of Southern California Los Angeles, CA 90089, USA Abstract
1
Introduction
The interest in logarithmic conformal field theories (CFTs) (see [1] for an introduction) has grown over the last ten years or so as their potential role in condensed matter as well as string theory applications has become more evident. Condensed matter applications include critical geometrical models in two dimensions such as percolation and polymers (see [2] for a recent contribution and review), and critical points in non-interacting disordered fermion models in 2+1 dimensions (see [3, 4, 5] for recent contributions), such as the transition between plateaux in the integer quantum Hall and spin quantum Hall effect. String theory applications include the study of sigma models on non-compact (super-) target spaces such as PSU(1, 1|2) [6]. Logarithmic CFTs are also fascinating mathematical objects in their own right, bound to attract the attention of representation theory experts. Logarithmic CFTs were encountered as early as 1987 by Knizhnik [7]. In 1992, Rozansky and Saleur tackled in some details one of the simplest such theory, the WZW model on the U(1|1) supergroup. They found that the non-semisimplicity of U(1|1) carried over to the CFT, with the possibility of a non-diagonal Virasoro generator (here, proportional to the superalgebra Casimir) L0 , indecomposable operator product expansions (OPEs), and logarithms in some of the correlators [8]. The potential generality of these features was realized almost simultaneously by Gurarie in 1993 [9], who coined the name logarithmic CFT. Certainly the theory of symplectic fermions is the best understood logarithmic CFT [10]. [A close second is the WZW model on U(1|1) where powerful results were obtained recently using the 1
We set up a strategy for studying large families of logarithmic conformal field theories by using the enlarged symmetries and non–semi-simple associative algebras appearing in their lattice regularizations (as discussed in a companion paper). Here we work out in detail two examples of theories derived as the continuum limit of XXZ spin-1/2 chains, which are related to spin chains with supersymmetry algebras gl(n|n) and gl(n + 1|n), respectively, with open (or free) boundary conditions in all cases. These theories can also be viewed as vertex models, or as loop models. Their continuum limits are boundary conformal field theories (CFTs) with central charge c = −2 and c = 0 respectively, and in the loop interpretation they describe dense polymers and the boundaries of critical percolation clusters, respectively. We also discuss the case of dilute (critical) polymers as another boundary CFT with c = 0. Within the supersymmetric formulations, these boundary CFTs describe the fixed points of certain nonlinear sigma models that have a supercoset space as the target manifold, and of Landau-Ginzburg field theories. The submodule structures of indecomposable representations of the Virasoro algebra appearing in the boundary CFT, representing local fields, are derived from the lattice. A central result is the derivation of the fusion rules for these fields.
minisuperspace approach [11]. It is not clear to what extent the current algebra structure makes this example qualitatively different from the logarithmic CFTs of more physical interest.] A natural extension of the symplectic fermions has given rise to the so-called “augmented cp,1 models”, which exhibit an enlarged triplet W algebra [10, 12, 13]. An essential feature of these theories is that the identity has a logarithmic partner, and thus that there are at least two fields of vanishing dimension. There have been some attempts to generalize the structure of the augmented cp,1 models to other series, in particular the cp,2 case [14, 15]. One of the most interesting cases, with numerous condensed matter applications to disordered systems, corresponds to vanishing central charge. Consideration of singularities in OPEs as c → 0 led Gurarie to the conjecture that in t
相关文档
最新文档