The asymptotic geometry of right-angled Artin groups, I
- 格式:pdf
- 大小:511.14 KB
- 文档页数:49
SAT Subject Test Practice - Results Summary Mathematics Level 21Your answer Omitted!What is the distance in space between the points with coordinates and ?(A)(B)(C)(D)(E)ExplanationDifficulty: EasyThe correct answer is D.The distance between the points with coordinates and is given by the distance formula: .Therefore, the distance between the points with coordinates and is:,which simplifies to .2Your answer Omitted!If , what value does approach as gets infinitely larger?(A)(B)(C)(D)(E)ExplanationDifficulty: EasyThe correct answer is E.One way to determine the value that approaches as gets infinitely larger is to rewrite the definition of the function to use only negative powers of and then reason about the behavior of negative powers of as gets infinitely larger. Since the question is only concerned with what happens to as gets infinitely larger, one can assume that is positive. For , theexpression is equivalent to the expression . As gets infinitely larger, the expression approaches the value , so as gets infinitely larger, the expression approaches the value . Thus, as gets infinitely larger, approaches .Alternatively, one can use a graphing calculator to estimate the height of the horizontal asymptote for the function . Graph the function on an interval with “large”, say, from to .By examining the graph, the all seem very close to . Graph the function again, from, say, to .The vary even less from . In fact, to the scale of the coordinate plane shown, the graph of the function is nearly indistinguishable from the asymptotic line . This suggests that as gets infinitely larger, approaches , that is, .Note: The algebraic method is preferable, as it provides a proof that guarantees that the value approaches is . Although the graphical method worked in this case, it does not provide a complete justification; for example, the graphical method does not ensure that the graph resembles a horizontal line for “very large”such as .3Your answer Omitted!If is a factor of , then(A)(B)(C)(D)(E)ExplanationDifficulty: EasyThe correct answer is A.By the Factor Theorem, is a factor of only when is a root ofthat is, , which simplifies to . Therefore, .Alternatively, one can perform the division of by and then find a value for so that the remainder of the division is .Since the remainder is , the value of must satisfy . Therefore, .4Your answer Omitted!Alison deposits into a new savings account that earns percent interest compounded annually. If Alison makes no additional deposits or withdrawals, how many years will it take for the amount in the account to double?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumAfter year, the amount in the account is equal to . After years, the amount isequal to , and so on. After years, the amount is equal to . You needto find the value of for which . There are several ways to solve this equation. You can use logarithms to solve the equation as follows.Since , it will take more than years for the amount in the account to double. Thus, you need to round up to .Another way to find is to use your graphing calculator to graph and . From the answer choices, you know you need to set the viewing window with values from to about and values extending just beyond . The of the point of intersection is approximately . Thus you need to round up to .5Your answer Omitted!In the figure above, when is subtracted from , what is the length of the resultant vector?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThe resultant of can be determined by . The length of the resultant is:6Your answer Omitted!In the -plane, what is the area of a triangle whose vertices are , , and ?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumIt is helpful to draw a sketch of the triangle:The length of the base of the triangle is and the height of the triangle is . Therefore, the area of the triangle is . The correct answer is B.7Your answer Omitted!A right circular cylinder has radius and height . If and are two points on its surface, what is the maximum possible straight-line distance between and ?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThe maximum possible distance occurs when and are on the circumference of opposite bases: You can use the Pythagorean Theorem:The correct answer is (B).8Your answer Omitted!Note: Figure not drawn to scale.In the figure above, and the measure of is . What is the value of ?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThere are several ways to solve this problem. One way is to use the law of sines. Since ,the measure of is and the measure of is . Thus, and . (Make sure your calculator is in degree mode.)You can also use the law of cosines:Since is isosceles, you can draw the altitude to the triangle.9Your answer Omitted!The function is defined by for .What is the difference between the maximum and minimum values of ?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumIt is necessary to use your graphing calculator for this question. First graph the function. It is helpful to resize the viewing window so the -values go fromto . On this interval the maximum value of is and the minimum value of is. The difference between these two values is , which rounds to .10Your answer Omitted!Suppose the graph of is translated units left and unit up. If the resulting graph represents , what is the value of ?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumIt may be helpful to draw a graph of and .The equation for is . Therefore,. The correct answer is B.11Your answer Omitted!A sequence is recursively defined by , for . If and , what is the value of ?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThe values for and are given. is equal to . is equal to. is equal to . is equal to.If your graphing calculator has a sequence mode, you can define the sequence recursively and findthe value of . Let , since the first term is . Define . Let , since we have to define the first two terms and . Then examining a graph or table, you can find .12Your answer Omitted!The diameter and height of a right circular cylinder are equal. If the volume of the cylinder is , what is the height of the cylinder?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThe correct answer is A.To determine the height of the cylinder, first express the diameter of the cylinder in terms of theheight, and then express the height in terms of the volume of the cylinder.The volume of a right circular cylinder is given by , where is the radius of the circular base of the cylinder and is the height of the cylinder. Since the diameter and height are equal, . Thus . Substitute the expression for in the volume formula to eliminate :. Solving for gives . Since the volume of the cylinder is , theheight of the cylinder is .13Your answer Omitted!If ,then(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThe correct answer is E.One way to determine the value of is to apply the sine of difference of two angles identity: . Since and , the identity gives . Therefore, .Another way to determine the value of is to apply the supplementary angle trigonometric identity for the sine: . Therefore, .14Your answer Omitted!A line has parametric equations and , where is the parameter. The slope of the line is(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThe correct answer is B.One way to determine the slope of the line is to compute two points on the line and then use the slope formula. For example, letting gives the point on the line, and letting gives the point on the line. Therefore, the slope of the line is equal to .Alternatively, one can express in terms of . Since and , it follows that . Therefore, the slope of the line is .15Your answer Omitted!What is the range of the function defined by ?(A) All real numbers(B) All real numbers except(C) All real numbers except(D) All real numbers except(E) All real numbers between andExplanationDifficulty: MediumThe correct answer is D.The range of the function defined by is the set of such thatfor some .One way to determine the range of the function defined by is to solve the equation for and then determine which correspond to at least one . To solve for , first subtract from both sides to get and then take the reciprocal of both sides to get . The equation shows that for anyother than , there is an such that , and that there is no such for . Therefore, the range of the function defined by is all real numbers except .Alternatively, one can reason about the possible values of the term . The expression can take on any value except , so the expression can take on any value except . Therefore, the range of the function defined by is all real numbers except .16Your answer Omitted!The table above shows the number of digital cameras that were sold during a three-day sale. The prices of models , , and were , , and , respectively. Which of the following matrix representations gives the total income, in dollars, received from the sale of the cameras for each of the three days?(A)(B)(C)(D)(E)ExplanationDifficulty: MediumThe correct answer is C.A correct matrix representation must have exactly three entries, each of which represents the total income, in dollars, for one of the three days. The total income for Day is given by the arithmetic expression , which is the single entry of the matrix product; in the same way, the total income for Day is given by, the single entry of ; and the total income for Day is given by , the single entry of. Therefore, the matrix representationgives the total income, in dollars, received from the sale of the cameras for each of the three days. Although it is not necessary to compute the matrix product in order to answer the question correctly, equals .17Your answer Omitted!The right circular cone above is sliced horizontally forming two pieces, each of which has the sameheight. What is the ratio of the volume of the smaller piece to the volume of the larger piece?(A)(B)(C)(D)(E)ExplanationDifficulty: HardIt is helpful to label the figure.The top piece is a cone whose height is one-half the height of the original cone . Using the properties of similar right triangles, you should realize the radii of these two cones must be in the same ratio. So if the top cone has radius , the original cone has radius .The volume of the top piece is equal to . The volume of the bottom piece is equal to the volume of the original cone minus the volume of the top piece.The ratio of the volume of the smaller piece to the volume of the larger piece is .18Your answer Omitted!In the figure above, is a regular pentagon with side of length . What is the -coordinate of ?(A)(B)(C)(D)(E)ExplanationDifficulty: HardThe sum of the measures of the interior angles of a regular pentagon is equal to . Each interior angle has a measure of . Using supplementary angles, has a measure of . You can use right triangle trigonometry to find the -coordinate of point .Since , is about . Since the length of each side of the pentagon is , the -coordinate of point is . Putting the information together tells us that the -coordinate of point is . The correct answer is (B).19Your answer Omitted!For a class test, the mean score was , the median score was , and the standard deviation of the scores was . The teacher decided to add points to each score due to a grading error. Which of the following statements must be true for the new scores?I. The new mean score is .II. The new median score is .III. The new standard deviation of the scores is .(A) None(B) only(C) only(D) and only(E) , , andExplanationDifficulty: HardFor this type of question you need to evaluate each statement separately. Statement is true. If you add to each number in a data set, the mean will also increase by . Statement is also true. The relative position of each score will remain the same. Thus, the new median score will be equal to more than the old median score. Statement is false. Since each new score is more than the old score, the spread of the scores and the position of the scores relative to the mean remain the same. Thus, the standard deviation of the new scores is the same as the standard deviation of the old scores.20Your answer Omitted!A game has two spinners. For the first spinner, the probability of landing on blue is . Independently, for the second spinner, the probability of landing on blue is What is the probability that the first spinner lands on blue and the second spinner does not land on blue?(A)(B)(C)(D)(E)ExplanationDifficulty: HardSince the two events are independent, the probability that the first spinner lands on blue and the second spinner does not land on blue is the product of the two probabilities. The first probability is given. Since the probability that the second spinner lands on blue is the probability that thesecond spinner does not land on blue is Therefore, . The correct answer is (E).21Your answer Omitted!In January the world’s population was billion. Assuming a growth rate of percent per year, the world’s population, in billions, for years after can be modeled by theequation . According to the model, the population growth from January to January was(A)(B)(C)(D)(E)ExplanationDifficulty: HardThe correct answer is C.According to the model, the world’s population in January was and in January was . Therefore, according to the model, the population growth from January to January , in billions, was , or equivalently,.22Your answer Omitted!What is the measure of one of the larger angles of a parallelogram in the that has vertices with coordinates , , and ?(A)(B)(C)(D)(E)ExplanationDifficulty: HardThe correct answer is C.First, note that the angle of the parallelogram with vertex is one of the two larger angles of the parallelogram: Looking at the graph of the parallelogram in the makes this apparent. Alternatively, the sides of the angle of the parallelogram with vertex are a horizontal line segment with endpoints and and a line segment of positive slope with endpoints and that intersects the horizontal line segment at its left endpoint , so the angle must measure more than Since the sum of the measures of the four angles of aparallelogram equals , the angle with vertex must be one of the larger angles.One way to determine the measure of the angle of the parallelogram with vertex is to apply the Law of Cosines to the triangle with vertices , , and . The length of the two sides of the angle with vertex are and; the length of the side opposite the angle is . Let represent the angle with vertex and apply the Law of Cosines: , so. Therefore, the measure of one of the larger angles of the parallelogram is .Another way to determine the measure of the angle of the parallelogram with vertex is to consider the triangle , , and . The measure of the angle of this triangle with vertex is less than the measure of the angle of the parallelogram with vertex . The angle of the triangle has opposite side of length and adjacent side of length , so the measure of this angle is . Therefore, the measure of the angle of the parallelogram withvertex is .Yet another way to determine the measure of the angle of the parallelogram with vertex is to use trigonometric relationships to find the measure of one of the smaller angles, and then use the fact that each pair of a larger and smaller angle is a pair of supplementary angles. Consider the angle of the parallelogram with vertex ; this angle coincides with the angle at vertex of the right triangle with vertices at , , and , with opposite side of lengthand adjacent side of length , so the measure of this angle is . This angle, together with the angle of the parallelogram with vertex , form a pair of interior angles on the same side of a transversal that intersects parallel lines, so the sum of the measures of the pair of angles equals . Therefore, the measure of the angle of the parallelogram with vertex is.23Your answer Omitted!For some real number , the first three terms of an arithmetic sequence are, and . What is the numerical value of the fourth term?(A)(B)(C)(D)(E)ExplanationDifficulty: HardThe correct answer is E.To determine the numerical value of the fourth term, first determine the value of and then apply the common difference.Since , and are the first three terms of an arithmetic sequence, it must be true that, that is, Solving for gives . Substituting for in the expressions of the three first terms of the sequence, one sees that they are , , and , respectively. The common difference between consecutive terms for this arithmetic sequence is , and therefore, the fourth term is .24Your answer Omitted!In a group of people, percent have brown eyes. Two people are to be selected at random from the group. What is the probability that neither person selected will have brown eyes?(A)(B)(C)(D)(E)ExplanationDifficulty: HardThe correct answer is A.One way to determine the probability that neither person selected will have brown eyes is to count both the number of ways to choose two people at random from the people who do not have brown eyes and the number of ways to choose two people at random from all people, and then compute the ratio of those two numbers.Since percent of the people have brown eyes, there are people with brown eyes, and people who do not have brown eyes. The number of ways of choosing two people, neither of whom has brown eyes, is : there are ways to choose a first person and ways to choose a second person, but there are ways in which that same pair of people could be chosen. Similarly, the number of ways of choosing two people at random from the people is . Therefore, the probability that neither of the two people selected has brown eyes is.Another way to determine the probability that neither person selected will have brown eyes is to multiply the probability of choosing one of the people who does not have brown eyes at random from the people times the probability of choosing one of the people who does not have brown eyes at random from the remaining people after one of the people who does not have brown eyes has been chosen.Since percent of the people have brown eyes, the probability of choosing one of the people who does not have brown eyes at random from the people is . If one of the people who does not have brown eyes has been chosen, there remain people who do not have brown eyes out of a total of people; the probability of choosing one of the people who does not have brown eyes at random from the people is . Therefore, if two people are to be selected from the group at random, the probability that neither person selected will have brown eyes is .25Your answer Omitted!If , what is ?(A)(B)(C)(D)(E)ExplanationDifficulty: HardThe correct answer is E.One way to determine the value of is to solve the equation for . Since , start with the equation , and cube both sides to get. Isolate to get , and apply the cube root to both sides of the equation to get .Another way to determine the value of is to find a formula for and then evaluate at Let and solve for : cubing both sides gives , so , and. Therefore, , and .26Your answer Omitted!Which of the following equations best models the data in the table above?(A)(B)(C)(D)(E)ExplanationDifficulty: HardThe correct answer is D.One way to determine which of the equations best models the data in the table is to use a calculator that has a statistics mode to compute an exponential regression for the data.The specific steps to be followed depend on the model of calculator, but can be summarized as follows: Enter the statistics mode, edit the list of ordered pairs to include only the four points givenin the table and perform an exponential regression. The coefficients are, approximately, for the constant and for the base, which indicates that the exponential equation is the result of performing the exponential regression. If the calculator reports a correlation, it should be a number that is very close , to which indicates that the data very closely matches the exponential equation. Therefore, of the given models, best fits the data.Alternatively, without using a calculator that has a statistics mode, one can reason about the data given in the table.The data indicates that as increases, increases; thus, options A and B cannot be candidates for such a relationship. Evaluating options C, D and E at shows that option D is the one that gives a value of that is closest to In the same way, evaluating options C, D and E at each of the other given data points shows that option D is a better model for that one data point than either option C or option E. Therefore, is the best of the given models for the data.27Your answer Omitted!The linear regression model above is based on an analysis of nutritional data from 14 varieties of cereal bars to relate the percent of calories from fat to the percent of calories from carbohydrates . Based on this model, which of the following statements must be true?I. There is a positive correlation between and .II. When percent of calories are from fat, the predicted percent of calories from carbohydrates is approximately .III. The slope indicates that as increases by , decreases by .(A) II only(B) I and II only(C) I and III only(D) II and III only(E) I, II, and IIIExplanationDifficulty: HardThe correct answer is D.Statement I is false: Since , high values of are associated with low values of which indicates that there is a negative correlation between and .Statement II is true: When percent of calories are from fat, and the predicted percent of calories from carbohydrates is .Statement III is true: Since the slope of the regression line is , as increases by , increases by ; that is, decreases by .28Your answer Omitted!The number of hours of daylight, , in Hartsville can be modeled by , where is the number of days after March . The day with the greatest number of hours of daylight has how many more daylight hours than May ? (March and May have days each. April and June have days each.)(A) hr(B) hr(C) hr(D) hr(E) hrExplanationDifficulty: HardThe correct answer is A.To determine how many more daylight hours the day with the greatest number of hours of daylight has than May , find the maximum number of daylight hours possible for any day and then subtract from that the number of daylight hours for May .To find the greatest number of daylight hours possible for any day, notice that the expressionis maximized when , which corresponds to , so. However, for this problem, must be a whole number, as it represents a count of days after March . From the shape of the graph of the sine function, either or corresponds to the day with the greatest number of hours of daylight, and since, the expression is maximized when days after March . (It is not required to find the day on which the greatest number of hours of daylight occurs, but it is days after March ,that is, June .)Since May is days after March , the number of hours of daylight for May is .Therefore, the day with the greatest number of hours of daylight hasmore daylight hours than May .。
Geometry Analysis by Qiu WeishengGeometry analysis, a branch of mathematics that deals with the properties and relationships of geometric figures, plays a fundamental role in various fields such as physics, computer graphics, and engineering. In this article, we will delve into the key concepts and techniques of geometry analysis.Euclidean GeometryEuclidean geometry, named after the ancient Greek mathematician Euclid, forms the foundation of modern geometry. It is based on a set of axioms and rules, from which various theorems and propositions can be derived.One of the most famous theorems in Euclidean geometry is the Pythagorean theorem, which states that in a right-angled triangle, the square of the hypotenuse (the side opposite the right angle) is equal to the sum of the squares of the other two sides. This theorem has numerous applications in fields such as trigonometry and physics.Another important concept in Euclidean geometry is congruence. Two geometric figures are said to be congruent if they have the same shape and size. Congruence can be established through various methods, such as side-angle-side (SAS), angle-angle-side (AAS), or side-side-side (SSS) congruence criteria.Analytic GeometryAnalytic geometry, also known as coordinate geometry, combines algebraic techniques with geometry to study geometric figures. It introduces a coordinate system, where points on a plane are represented by ordered pairs (x, y).The distance between two points in a coordinate system can be calculated using the distance formula:d = √((x₂-x₁)² + (y₂-y₁)²)Analytic geometry also provides a method to determine the equation of geometric figures. For example, the equation of a straight line can be written in the form y = mx + c, where m is the gradient (slope) and c is the y-intercept.Transformational GeometryTransformational geometry investigates the properties of geometric figures under transformations such as translation, rotation, reflection, and dilation. These transformations preserve the shape and size of the figures.Translations shift figures to a different location while preserving their orientation and size. Rotations involve rotating a figure around a fixed point by acertain angle. Reflections mirror a figure across a line called the line of reflection. Dilations scale a figure up or down by multiplying its coordinates by a scale factor.Transformational geometry is widely used in computer graphics and animation to create realistic visual effects. It provides a mathematical framework for manipulating and moving objects in a virtual 3D space.Non-Euclidean GeometryNon-Euclidean geometry explores geometries that do not adhere to Euclid’s axioms. One of the most well-known non-Euclidean geometries is spherical geometry, which deals with figures on the surface of a sphere. In spherical geometry, the sum of the angles in a triangle exceeds 180 degrees.Another important non-Euclidean geometry is hyperbolic geometry, where the sum of angles in a triangle is less than 180 degrees. Hyperbolic geometry finds applications in the theory of relativity and the study of curved spaces.ConclusionGeometry analysis encompasses a wide range of topics and techniques that are crucial in various disciplines. From the fundamental principles of Euclidean geometry to the applications of transformational geometry and the exploration of non-Euclidean geometries, the study of geometry offers powerful tools for understanding and modeling the physical and abstract world around us.Note: This document is an original work by Qiu Weisheng and does not contain any images, AI, artificial intelligence, machine learning, GPT, or explicit mentions of Markdown.。
你叙事的方式写平面图形的认识作文英文回答:When it comes to my understanding of plane geometry, I can say that it is the branch of mathematics that dealswith the properties and relationships of two-dimensional figures. It involves the study of shapes such as triangles, squares, circles, and rectangles, as well as their angles, sides, and areas.In plane geometry, I have learned about different types of triangles, such as equilateral, isosceles, and scalene triangles. I know that an equilateral triangle has three equal sides and three equal angles of 60 degrees each. An isosceles triangle has two equal sides and two equal angles, while a scalene triangle has no equal sides or angles.Furthermore, I am familiar with the concept of anglesin plane geometry. I know that a right angle measures 90 degrees, an acute angle measures less than 90 degrees, andan obtuse angle measures more than 90 degrees but less than 180 degrees. For example, when I look at a rectangle, I can see that it has four right angles, while a triangle can have three angles that add up to 180 degrees.In addition to shapes and angles, I have also learned about the properties of circles in plane geometry. I know that a circle is a closed curve where all points are equidistant from the center. It has a radius, which is the distance from the center to any point on the circle, and a diameter, which is twice the length of the radius. I also know that the circumference of a circle is calculated using the formula 2πr, where r is the radius.Overall, my understanding of plane geometry allows me to analyze and solve problems involving two-dimensional figures. I can calculate the areas of different shapes, determine the measures of angles, and apply various formulas to find unknown values. This knowledge is not only useful in mathematics but also in real-life situations, such as measuring the area of a room or determining the angles of a roof.中文回答:说到我对平面几何的理解,我可以说它是数学的一个分支,涉及到二维图形的性质和关系。
初一英语几何证明方法单选题20题1.There is a round object on the table. What is it?A.circleB.squareC.triangleD.rectangle答案:A。
本题考查几何图形的英文名称。
“round”表示圆形的,选项A“circle”是圆;选项B“square”是正方形;选项C“triangle”是三角形;选项D“rectangle”是长方形。
只有 A 符合题意。
2.The shape has four equal sides and four right angles. What is it?A.parallelogramB.rhombusC.squareD.trapezoid答案:C。
本题考查几何图形的特征描述。
“four equal sides and four right angles”表示四条边相等且有四个直角,选项C“square”是正方形,符合这个特征;选项A“parallelogram”是平行四边形;选项B“rhombus”是菱形;选项D“trapezoid”是梯形。
3.This shape has three sides. What is it?A.pentagonB.hexagonC.triangleD.octagon答案:C。
本题考查几何图形的边数。
“three sides”表示三条边,选项C“triangle”是三角形,有三条边;选项A“pentagon”是五边形;选项B“hexagon”是六边形;选项D“octagon”是八边形。
4.The shape looks like a book. What is it?A.rectangleB.circleC.triangleD.square答案:A。
本题考查几何图形的实际形状联想。
书通常是长方形的,选项A“rectangle”是长方形;选项B“circle”是圆;选项C“triangle”是三角形;选项D“square”是正方形。
周髀算经英语The "Zhou Bi Suan Jing", which translates to "The Arithmetical Classic of the Gnomon and the Circular Paths of Heaven," is one of the most significant mathematical texts from ancient China. It was written during the Warring States period (circa 475–221 BC) and is attributed to the mathematician and astronomer Zhou Gong. The text is a compilation of mathematical knowledge and astronomical observations, which played a crucial role in the development of Chinese mathematics and astronomy.The "Zhou Bi Suan Jing" covers a wide range of mathematical topics, including arithmetic, algebra, geometry, and even some early concepts of trigonometry. It is particularly known for its detailed explanations of the use of the gnomon, a device used to measure the sun's altitude at noon and thus determine the time of the year. This was essential for the ancient Chinese calendar system and for agricultural planning.One of the most notable contributions of the "Zhou Bi Suan Jing" is the Pythagorean theorem, which was known in China long before Pythagoras. The text provides a geometric proof of the theorem, which states that in a right-angled triangle, the square of the length of the hypotenuse (the side opposite the right angle) is equal to the sum of the squares of the lengths of the other two sides. This theoremis fundamental to Euclidean geometry and has countlessapplications in mathematics and physics.The text also delves into the calculation of areas and volumes, providing formulas for rectangles, triangles, and circles, as well as for cylinders and pyramids. It discusses the concept of negative numbers and their use in solving problems, which was a significant departure from the mathematical norms of the time.In addition to its mathematical content, the "Zhou BiSuan Jing" contains astronomical observations and calculations, reflecting the close relationship between mathematics and astronomy in ancient China. It describes the use of the gnomon to determine the solstices and equinoxes, which were essential for the agricultural calendar.The influence of the "Zhou Bi Suan Jing" extends beyond China, as it had an impact on the development of mathematicsin other East Asian countries, such as Korea and Japan. The text is a testament to the advanced state of mathematical knowledge in ancient China and continues to be studied by scholars interested in the history of science and mathematics.In summary, the "Zhou Bi Suan Jing" is a seminal work in the history of Chinese mathematics, offering insights intothe mathematical and astronomical knowledge of the time. Its methods and theorems have had a lasting impact on the field, and it remains an important resource for understanding the mathematical traditions of ancient China.。
数学常用词汇中英文对照代数部分1.有关基本运算add. plus加subtract 减difference 差multiply.time s 乘product 积divide 除divisible可被整除的divide by被整除dividend被除数divisor因了除数quotient 商remainder 余数factorial 阶乗geometric mean几何平均数exponent指数.券base乘辑的底数.底边cube立方数、立方体square root平方根cube root立方根common logarithm常圧对数digit数字constant 常数variable 变量inversefunction 反函数complementary function余函数linear-次的,线性的factorization 因式分解absolute value绝对值,round off四舍五入power乘方radical sign.root sign根号round to四舍五入totlienearest 四舍五入6.有关数论natural number自然数positive number 正数negative number负数2.有关集合union并集proper subset宾了-集solution set解集odd integer.odd number奇数even integer.even number偶数integer,whole number整数positive whole number正整数negative whole number负整数3.有关代数式、方程和不等式algebraic term代数项like terms.similar terms 同类项numerical coefficient 数字系数literal coefficient字母系数inequality 不等式triangle inequality三角不等式range值域original equation原方程equivalent equation 同解方程等价方程linear equation线性方程consecutive number连续整数realnumber.rational nunber实数,有理数irrational(number)无理数inverse 倒数composite number合数prime number质数reciprocal 倒数common divisor公约数multiple 倍数(least)common multiple(最小)公倍数(prime)factor(质)因了- common factor公因了・ordinary scale.decimal scale十进制4.有关分数和小数proper fraction真分数improper fraction®分数mixed number带分数vulgar fraction. common fraction 普通分数simple fraction简分数complex fraction繁分数numerate r 分了・denominator 分母(least)common denominator(最小)公分母quarter四分之_ decimal fraction纯小数infinite decimal无穷小数recurring decimal循环小数tenths,digit十分位nonnegative 非负的tens十位units个位mode 众数median中数common ratio公比7.数列arithmetic progressionisequence)等差数列geometric progression(sequence)等比数列8.其它approximate 近似(anti)clockwise(逆)顺时针方向cardinal 基数5.基本数学概念arithmetic mean算术平均值weighted average加权平均值ordinal中数direct proportion 正比distinct不同的estimation估计,近似line segment线段parentheses 括号parallel lines平行线proportion 比例segment of a circle弧形permutation 排列combination 组合5•有关立体图形table表格cube立方体、立方数trigonometric function三角函数rectangular solid长方体unit单位.位regular solid/regular pclyiiedron 正多面体几何部分circular cylinder圆柱体cone|31 锥1 .所有的角sphere球体alternate angle内错角solid立体的corresponding angle 同位角vertical angle对顶角6.有关图形上的附属物central angle圆心角altitude 高interior angle内角depth深度exterior angle 外角side边长supplementary angles补角circumference.perimeter 周长complementary angle余角radian弧度adjacent angle邻角surface area 表面积acute angle锐角volume体积obtuse angle钝角arm直角三角形的股right angle直角cross section横截面round angle 周角center of a circle圆心straight angle平角chord 弦included angle夹角radius半径2.所有的三角形angle bisector角平分线diagonal对角线equilateral triangle等边三角形diameter 直径scalene triangle不等边三角形edge 梭isosceles triangle等腰三角形face of a solid立体的面right triangle直角三角形hypotenuse 斜边oblique斜三角形included side 夹边inscribed triangle内接三角形leg三角形的直角边3.有关收敛的平面图形.除三角形外median of a triangle三角形的中线base底边,底数semicircle 半圆opposite直角三角形中的对边concentric circles同心圆midpoint 中点quadrilateral 四边形endpoint 端点pentagon五边形vertex(复数形式vertices)顶点hexagon六边形tangent切线的heptagon t边形transversal 截线octagon八边形intercept 截距nonagon九边形decagon十边形7•有关坐标polygon多边形coordinate system坐标系parallelogram平行四边形rectangular coordinate直角坐标系equilateral 等边形origin原点plane平面abscissa横坐标square iE方形.平方ordinate纵坐标rectangle长方形number line数轴regular polygon正多边形quadrant 象限rhombus 菱形slope斜率trapezoid 梯形complex plane复平面4其它平面图形8.其它arc弧plane geometry平面几何line.straight line 直线trigonometry 三角学bisect平分非负整数集the set of all non-negat^e integers circumscribe 外切自然数集the set of all natural numbers inscribe 内切正整数集the set of all positive integers intersect相交整数集the set of all integersperpendicular 垂直有理数集the set of all rational numbers pytiiagorean theorem 勾股定理实数集the set of all real numberscongruent全等的元素elementmultilateral 多边的属于belong to1.单位类不属于not belong to 有限集finite setcent美分九限集infinite setpenny一美分硬币空集empty setnickels美分硬币包含inclusion, includedime一角硬币包含于lie indozen打(12个)了集subsetscore 廿(20 个)且了•集proper subsetCentigrade 摄氏补集(余集)complementary setFahrenheit 华氏全集universequart夸脱交集 intersectiongallon 加仑(1gallon=4quart)并集unionyard 码偶数集the set of all even numbersmeter 米奇数集the set of all odd numbersmicron微米含绝对值的不等式inch英寸inequality with absolute valuefoot英尺一元二次不等式minute分(角度的度量单位,60分=1度)one-variable quadratic inequalitysquare measure平方单位制逻辑logiccubic meter立方米逻辑联结词logic connectivepint品脱(干量或液量的单位)或or2.有关文字叙述题、主要是有关商业旦and 非notintercalary year(leap year)闰年(366天)真truecommon year平年(365天)假falsedepreciation 折旧真偵表truth tabledown payment直接付款原命題original propositiondiscount 打折逆命題converse propositionmargin利润否命題negative propositionprofit利涧逆否命題converse-negative propositioninterest 利息充分条件sufficient conditionsimple interest单利必要条件necessary conditioncompounded interest复利充要条件sufficient and necessary condition dividend 红利……的充要条件是……decrease to减少到... if and only if ...decrease by减少了increase to増加到函数increase by增加了函数functiondenote表示自变量argumentlist price标价定义域domainmarkup涨价偵域rangeper capit□每人区间intervalratio比率闭区间closed intervalretail price零侔价开区间open intervaltie打平函数的图象graph of function集合与简易逻辑映射mapping 象image 原象inverse image集合(集)set 单调monotone增函数increasing function减函数decreasing function 単调区间monotone interxal 反函数inverse function 指数exponent 根式radical 根指数radical exponent 被开方数radicand 指数函数exponential function 对数logarithm 常用对数common logarithm Q 然对数natural logarithm 对数函数logarithmic function 数列数歹ijsequence of number 项term 通项公式the formula of general term 有穷数列finite sequence of number 无穷数歹ijinfinite sequence of number 递推公式recurrence formula 等差数列arithmetic progression . arithmetic series 公差common difference 等差中项arithmetic mean 等比数列geometric series/progression 公比common ratio 等比中项geometric mean三角函数三角函数trigonometric function 始边initial side 终边terminal side 正角positive angle 负角negative angle 零角zero angle 象限角quadrant angle 弧度radian 弧度制radian measure 角度制degree measure 正弦sine 余弦cosine 正切tangent 余切cotangent 正割secant 余割c osecant 诱导公式induction formula 正弦曲线sine curve 余弦曲线cosine curve 最大fftmaximum 最小fftminimum 周期period 最小正周期minimal positive period 周期函数periodic function 抚]幅amplitude of vibration 频率frequency 相位phase 初相initial phase 反正弦arc sine 反余弦arc cosine 反正切arc tangent 平面向量有向线段directed line segment 数量scalar quantity 向量vector 零向量zero vector 相等向量equal vector 共线向量collinear vectors 平行向量parallel vectors 向量的数乘multiplication of vector by scalar 单位向量unit vector 基底base基向量base vectors 平移translation 数量积inner product 正弦定理sine theorem 余弦定理cosine theorem不等式算术平均数arithmetic rrean 几何平均数geometric mean 比较法method of compare 综合法method of synthesis 分析法method of analysis直线倾斜角angle of inclination 斜率gradient 点斜式point slope form 截距intercept 斜截式gradient interceot form 两点式tu'o-point form 一般式general form 夹角included angle 线性规划linear prograrrming 约束条件constraint condition 冃标函数objective function 可行infeasible region 最优解optimal solution 圆锥曲线曲线curve 坐标法method of coordinate 解析几何analytic geometry 笛卡儿Descartes 标准方程standard equation一股方程general equation 参数方程parameter equation 参数parameter 13锥曲线point conic 椭圆ellipse 焦点focus, focal pointscube root立方根/,审关迅肃common logarithm常圧对数add. plus加digit数字subtract 减constant 常数difference 差variable 变量multiply, times乘inverse function反函数product 积complementary function余函数divide 除linear-次的,线性的divisible可被整除的factorization 因式分解divided evenly被整除absolute value绝对值.e.g.|-32|=32dividend被除数round off四舍五人divisor因子、除数6名关以论quotient 商natural number fl 然数remainder 余数positive number 正数factorial 阶乗negative number负数power乘方odd integer, odd number奇数radical sign, root sign根号even integer, even number偶数round to四舍五入integer, whole number整数to the nearest四舍五入positive whole number正整数2彳关県金negative whole number负整数union并集consecutive number连续整数proper subset宾了-集real number, rational number实数,有理数solution set解集irrational(number)无理数3.4关代微R,方奴和系*武inverse 倒数algebraic term代数项composite number合数e.g.4,6.S t9.10t12.14.15 like terms, similar terms同类项prime number质数e.g.2,3.5,7,11,13.15 ...... numerical coefficient数字系数reciprocal 倒数literal coefficient字母系数common divisor公约数inequality 不等式multiple 倍数triangle inequality三角不等式(least)common multiple(最小)公倍数range值域(prime)factor(质)因子original equation原方程common factor公因了・equivalent equation 同解方程ordinary scale, decimal scale十进制等价方程nonnegative 非负的linear equation线性方程(e.g.5?x?+6=22) tens十位4 a关令微衣日,教units个位proper fraction真分数mode众数improper fraction假分数median中数mixed number带分数common ratio公比vulgar fraction. common fraction 普通分数7.數列simple fraction简分数arithmetic progressionisequence)等差数列complex fraction繁分数geometric progression(sequence)等比数列numerato r 分了・球空denominator 分母approximate 近似(least)common denominator(最小)公分母(anti)clockwise(逆)顺时针方向quarter四分之_ cardinal 基数decimal fraction纯小数ordinal 序数infinite decimal无穷小数direct proportion lEkErecurring decimal循环小数distinct不同的tenths unit十分位estimation估计.近似parentheses 括号arithmetic mean算术平均值proportion 比例weighted average加权平均值permutation 排列geometric mean几何平均数combination 组合exponent指数、蒂table表格base乘雑的底数,底边trigonometric function三角函数cube立方数.立方体unit单位.位square root平方根几倒都含7.所】的有alternate angle内错角corresponding angle同位角vertical angle对顶角centralangle|3|心角interior angle内角exterior angle 外角supplement angles补角complement angle余角adjacent angle邻角acute angle锐角obtuse angle钝角right angle直角round angle 周角straight angle平角included angle夹角2所彳的三角怡equilateral triangle等边三角形scalene triangle不等边三角形isosceles triangle等腰三角形right triangle直角三角形oblique斜三角形inscribed triangle内接三角形彳关就孜的単血田布,险三南彬外semicircle 半圆concentric circles同心圆quadrilateral 四边形pentagon五边形hexagon六边形heptagon t 边形octagon八边形nonagon九边形decagon十边形polygon多边形parallelogram平行四边形equilateral 等边形plane平面square正方形.平方rectangle长方形regular polygoniE多边形rhombus 菱形trapezoid 梯形4.戻它4•面曲弔arc弧line, straight line直线line segment线段parallel lines平行线segment of a circle引R形s.a关或作曲弔cube立方体.立方数rectangular solid长方体regular solid'regular polyhedron 正多面体circular cylinder^柱体cone |S)锥sphere球体solid立体的6名关曲衫上的附属於altitude depth深度side边长circumference, perimeter周长radian弧度surface area 表面积volume体积arm直角三角形的股cross section横截面center of a circle 圆心chord 弦radius半径angle bisectorffj平分线diagonal对角线diameter 直径edge 梭face of a solid立体的面hypotenuse 斜边included side夹边leg三角形的直角边median of a triangle三角形的中线base底边.底数(e.g.2的5次方.2就是底数)opposite直角三角形中的对边midpoint 中点endpoint 端点vertex (复数形式vertices)顶点tangent切线的transversal 截线intercept 截距7. %关殳称coordinate system坐标系rectangular coordinate it 角坐标系origin原点abscissa横坐标ordinate纵坐标number line数轴quadrant 象限slope斜率complex plane复平面球它plane geometry平面几何trigonometry 三角学bisect平分circumscribe 外切inscribe 内切intersect相交perpendicular 垂直Pythagorean tlieorem 勾股定理congruent全等的multilateral 多边的焦距focal length major/minor axis长 / 短轴eccentricity 离心率hyperbola双曲线real axis实轴imaginary axis虚轴asymptote渐近线parabola^ 物线directrix 准线。
美国大学生数学建模MCM 数学专用名词augmented matrix增广矩阵asymptotic渐进的asymptote渐进线asymmetrical非对称的associative law结合律ascending上升的arrangement排列arithmetic算术argument幅角,幅度,自变量,论证area面积arc length弧长apothem边心距apex顶点aperiodic非周期的antisymmetric反对称的antiderivative原函数anticlockwise逆时针的annihilator零化子angular velocity角速度angle of rotation旋转角angle of incidence入射角angle of elevation仰角angle of depression俯角angle of circumference圆周角analytic space复空间analytic geometry解析几何analytic function解析函数analytic extension解析开拓amplitude幅角,振幅alternative互斥的alternate series交错级数almost everywhere几乎处处algebraic topology代数拓扑algebraic expression代数式algebraic代数的affine仿射(几何学)的admissible error容许误差admissible容许的adjugate伴随转置的adjoint operator伴随算子adjoint伴随的adjacency邻接additive加法,加性acute angle锐角accumulation point聚点accidential error偶然误差accessible point可达点abstract space抽象空间abstract algebra抽象代数absolute value绝对值absolute integrable绝对可积absolute convergent绝对收敛Abelian阿贝尔的,交换的balance equation平衡方程bandwidth带宽barycenter重心base基base vectors基向量biased error有偏误差biased statistic有偏统计量bilinear双线性的bijective双射的bilateral shift双侧位移的binomial二项式bisector二等分线,平分线boundary边界的,边界bounded有界的broken line折线bundle丛,把,卷calculus微积分calculus of variations变分法cancellation消去canonical典型的,标准的canonical form标准型cap交,求交运算capacity容量cardinal number基数Cartesian coordinates笛卡尔坐标category范畴,类型cell单元,方格,胞腔cell complex胞腔复形character特征标characterization特征circuit环路,线路,回路circular ring圆环circulating decimal循环小数clockwise顺时针方向的closed ball闭球closure闭包cluster point聚点coefficient系数cofinal共尾的cohomology上同调coincidence重合,叠和collinear共线的collective集体的columnar rank列秩combinatorial theory组合理论common tangent公切线commutative交换的compact紧的compact operator紧算子compatibility相容性compatible events相容事件complementary余的,补的complete完全的,完备的complex analysis复变函数论complex potential复位势composite复合的concave function凹函数concentric circles同心圆concurrent共点conditional number条件数confidence interval置信区间conformal共形的conic圆锥的conjugate共轭的connected连通的connected domain连通域consistence相容,一致constrained约束的continuable可延拓的continuity连续性contour周线,回路,轮廓线convergence收敛性convexity凸形convolution对和,卷积coordinate坐标coprime互质的,互素的correspondence对应coset陪集countable可数的counterexample反例covariance协方差covariant共变的covering覆盖critical临界的cubic root立方根cup并,求并运算curl旋度curvature曲率curve曲线cyclic循环的decade十进制的decagon十边形decimal小数的,十进制的decision theory决策论decomposable可分解的decreasing递减的decrement减量deduction推论,归纳法defect亏量,缺陷deficiency亏格definition定义definite integral定积分deflation压缩deflection挠度,挠率,变位degenerate退化的deleted neighborhood去心邻域denominator分母density稠密性,密度density function密度函数denumerable可数的departure偏差,偏离dependent相关的dependent variable因变量derangement重排derivation求导derivative导数descent下降determinant行列式diagram图,图表diameter直径diamond菱形dichotomy二分法diffeomorphism微分同胚differentiable可微的differential微分differential geometry微分几何difference差,差分digit数字dimension维数directed graph有向图directed set有向集direct prodect直积direct sum直和direction angle方向角directional derivative方向导数disc圆盘disconnected不连通的discontinuous不连续的discrete离散的discriminant判别式disjoint不相交的disorder混乱,无序dissection剖分dissipation损耗distribution分布,广义函数divergent发散的divisor因子,除数division除法domain区域,定义域dot product点积double integral二重积分dual对偶dynamic model动态模型dynamic programming动态规划dynamic system动力系统eccentricity离心率econometrics计量经济学edge棱,边eigenvalue特征值eigenvector特征向量eigenspace特征空间element元素ellipse椭圆embed嵌入empirical equation经验公式empirical assumption经验假设endomorphism自同态end point端点entropy熵entire function整函数envelope包络epimorphism满同态equiangular等角equilateral等边的equicontinuous等度连续的equilibrium平衡equivalence等价error estimate误差估计estimator估计量evaluation赋值,值的计算even number偶数exact sequence正合序列exact solution精确解excenter外心excision切割,分割exclusive events互斥事件exhaustive穷举的expansion展开,展开式expectation期望experimental error实验误差explicit function显函数exponent指数extension扩张,外延face面factor因子factorial阶乘fallacy谬误fiducial置信field域,场field theory域论figure图形,数字finite有限的finite group有限群finite iteration有限迭代finite rank有限秩finitely covered有限覆盖fitting拟合fixed point不动点flag标志flat space平旦空间formula公式fraction分数,分式frame架,标架free boundary自由边界frequency频数,频率front side正面function函数functional泛函functor函子,算符fundamental group基本群fuzzy模糊的gain增益,放大率game对策gap间断,间隙general topology一般拓扑学general term通项generalized普遍的,推广的generalized inverse广义逆generalization归纳,普遍化generating line母线genus亏格geodesic测地线geometrical几何的geometric series几何级数golden section黄金分割graph图形,网格half plane半平面harmonic调和的hexagon六边形hereditary可传的holomorphic全纯的homeomorphism同胚homogeneous齐次的homology同调homotopy同伦hyperbola双曲线hyperplane超平面hypothesis假设ideal理想idempotent幂等的identical恒等,恒同identity恒等式,单位元ill-condition病态image像点,像imaginary axis虚轴imbedding嵌入imitation模仿,模拟immersion浸入impulse function脉冲函数inclination斜角,倾角inclined plane斜面inclusion包含incomparable不可比的incompatible不相容的,互斥的inconsistent不成立的indefinite integral不定积分independence无关(性),独立(性)index指数,指标indivisible除不尽的inductive归纳的inductive definition归纳定义induced诱导的inequality不等式inertia law惯性律inference推理,推论infimum下确界infinite无穷大的infinite decimal无穷小数infinite series无穷级数infinitesimal无穷小的inflection point拐点information theory信息论inhomogeneous非齐次的injection内射inner point内点instability不稳定integer整数integrable可积的integrand被积函数integral积分intermediate value介值intersection交,相交interval区间intrinsic内在的,内蕴的invariant不变的inverse circular funct反三角函数inverse image逆像,原像inversion反演invertible可逆的involution对合irrational无理的,无理数irreducible不可约的isolated point孤立点isometric等距的isomorphic同构的iteration迭代joint distribution联合分布kernel核keyword关键词knot纽结known已知的large sample大样本last term末项lateral area侧面积lattice格子lattice point格点law of identity同一律leading coefficient首项系数leaf蔓叶线least squares solution最小二乘解lemma引理Lie algebra李代数lifting提升likelihood似然的limit极限linear combination线性组合linear filter线性滤波linear fraction transf线性分linear filter线性滤波式变换式变换linear functional线性泛函linear operator线性算子linearly dependent线性相关linearly independent线性无关local coordinates局部坐标locus(pl.loci)轨迹logarithm对数lower bound下界logic逻辑lozenge菱形lunar新月型main diagonal主对角线manifold流形mantissa尾数many-valued function多值函数map into映入map onto映到mapping映射marginal边缘master equation主方程mathermatical analysis数学分析mathematical expectati数学期望matrix(pl. matrices)矩阵maximal极大的,最大的maximum norm最大模mean平均,中数measurable可测的measure测度mesh网络metric space距离空间midpoint中点minus减minimal极小的,最小的model模型modulus模,模数moment矩monomorphism单一同态multi-analysis多元分析multiplication乘法multipole多极mutual相互的mutually disjoint互不相交natural boundary自然边界natural equivalence自然等价natural number自然数natural period固有周期negative负的,否定的neighborhood邻域nil-factor零因子nilpotent幂零的nodal节点的noncommutative非交换的nondense疏的,无处稠密的nonempty非空的noncountable不可数的nonlinear非线性的nonsingular非奇异的norm范数normal正规的,法线normal derivative法向导数normal direction法方向normal distribution正态分布normal family正规族normal operator正规算子normal set良序集normed赋范的n-tuple integral重积分number theory数论numerical analysis数值分析null空,零obtuse angle钝角octagon八边形octant卦限odd number奇数odevity奇偶性off-centre偏心的one-side单侧的open ball开球operations reserach运筹学optimality最优性optimization最优化optimum最佳条件orbit轨道order阶,级,次序order-preserving保序的order-type序型ordinal次序的ordinary寻常的,正常的ordinate纵坐标orient定方向orientable可定向的origin原点original state初始状态orthogonal正交的orthonormal规范化正交的outer product外积oval卵形线overdetermined超定的overlaping重叠,交迭pairity奇偶性pairwise两两的parabola抛物线parallel平行parallel lines平行线parallelogram平行四边形parameter参数parent population母体partial偏的,部分的partial ordering偏序partial sum部分和particle质点partition划分,分类path space道路空间perfect differential全微分period周期periodic decimal循环小数peripheral周界的,外表的periphery边界permissible容许的permutable可交换的perpendicular垂直perturbation扰动,摄动phase相,位相piecewise分段的planar平面的plane curve平面曲线plane domain平面区域plane pencil平面束plus加point of intersection交点pointwise逐点的polar coordinates极坐标pole极,极点polygon多边形polygonal line折线polynomial多项式positive正的,肯定的potency势,基数potential位势prime素的primitive本原的principal minor主子式prism棱柱proof theory证明论probability概率projective射影的,投影proportion比例pure纯的pyramid棱锥,棱锥体quadrant像限quadratic二次的quadric surface二次曲面quantity量,数量quasi-group拟群quasi-norm拟范数quasi-normal拟正规queuing theory排队论quotient商radial径向radical sign根号radication开方radian弧度radius半径ramified分歧的random随机randomize随机化range值域,区域,范围rank秩rational有理的raw data原始数据real function实函数reciprocal倒数的,互反的reciprocal basis对偶基reciprocity互反性rectangle长方形,矩形rectifiable可求长的recurring decimal循环小数reduce简化,化简reflection反射reflexive自反的region区域regular正则regular ring正则环related function相关函数remanent剩余的repeated root重根residue留数,残数resolution分解resolvent预解式right angle直角rotation旋转roundoff舍入row rank行秩ruled surface直纹曲面runs游程,取遍saddle point鞍点sample样本sampling取样scalar field标量场scalar product数量积,内积scale标尺,尺度scattering散射,扩散sectorial扇形self-adjoint自伴的semicircle半圆semi-definite半定的semigroup半群semisimple半单纯的separable可分的sequence序列sequential相继的,序列的serial序列的sheaf层side face侧面similar相似的simple curve简单曲线simplex单纯形singular values奇异值skeleton骨架skewness偏斜度slackness松弛性slant斜的slope斜率small sample小样本smooth manifold光滑流形solid figure立体形solid geometry立体几何solid of rotation旋转体solution解solvable可解的sparse稀疏的spectral theory谱论spectrum谱sphere球面,球形spiral螺线spline function样条函数splitting分裂的statistics统计,统计学statistic统计量stochastic随机的straight angle平角straight line直线stream-line流线subadditive次可加的subinterval子区间submanifold子流形subset子集subtraction减法sum和summable可加的summand被加数supremum上确界surjective满射的symmetric对称的tabular表格式的tabulation列表,造表tangent正切,切线tangent space切空间tangent vector切向量tensor张量term项terminal row末行termwise逐项的tetrahedroid四面体topological拓扑的torsion挠率totally ordered set全序集trace迹trajectory轨道transcendental超越的transfer改变,传transfinite超限的transformation变换式transitive可传递的translation平移transpose转置transverse横截、trapezoid梯形treble三倍,三重trend趋势triad三元组triaxial三轴的,三维的trigon三角形trigonometric三角学的tripod三面角tubular管状的twist挠曲,扭转type类型,型,序型unbiased无偏的unbiased estimate无偏估计unbounded无界的uncertainty不定性unconditional无条件的unequal不等的uniform一致的uniform boundness一致有界uniformly bounded一致有界的uniformly continuous一致连续uniformly convergent一致收敛unilateral单侧的union并,并集unit单位unit circle单位圆unitary matrix酉矩阵universal泛的,通用的upper bound上界unrounded不舍入的unstable不稳定的valuation赋值value值variation变分,变差variety簇vector向量vector bundle向量丛vertex顶点vertical angle对顶角volume体积,容积wave波wave form波形wave function波函数wave equation波动方程weak convergence弱收敛weak derivatives弱导数weight权重,重量well-ordered良序的well-posed适定的zero零zero divisor零因子zeros零点zone域,带</Words>。
a rXiv:078.1937v1[mat h.G R]14Aug27THE ASYMPTOTIC GEOMETRY OF RIGHT-ANGLEDARTIN GROUPS,I MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEV Abstract.We study atomic right-angled Artin groups –those whose defining graph has no cycles of length ≤4,and no separating vertices,separating edges,or separating vertex stars.We show that these groups are not quasi-isometrically rigid,but that an intermediate form of rigidity does hold.We deduce from this that two atomic groups are quasi-isometric iffthey are isomorphic.Contents 1.Introduction 22.Preliminaries 93.Quarter-planes 134.Preservation of maximal product subcomplexes 205.Flat space 236.Dual disk diagrams 317.Rigidity of taut cycles358.-rigidity399.The proofs of corollaries 1.7,1.8,and 1.94310.Further implications of Theorem 1.64411.Quasi-isometric flexibility and the proof of Theorem 1.1045References472MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEV1.Introduction1.1.Background.We recall that to everyfinite simplicial graphΓ, one may associate a presentation with one generator for each vertex of Γand one commutatation relation[g,g′]=1for every pair of adjacent vertices g,g′∈Γ.The resulting group is the right-angled Artin group (RAAG)defined byΓ,and will be denoted G(Γ)(we will often shorten this to G when the defining graphΓis understood).This class of groups contains the free group F k,whose defining graph has k vertices and no edges,and is closed under taking products;in particular it contains Z k and F k×F l.Every RAAG G(Γ)has a canonical Eilenberg-MacLane space¯K(Γ)which is a nonpositively curved cube complex (called the Salvetti complex in[Cha]);when G is2-dimensional¯K(Γ)is homeomorphic to the presentation complex.We let K(Γ)denote the universal cover of¯K(Γ).RAAG’s have been studied by many authors.The solution to the isomorphism problem has the strongest form:if G(Γ)∼=G(Γ′)then Γ∼=Γ′[Dro87],[KMLNR80].Servatius[Ser89]conjectured afinite generating set for Aut(G(Γ))and his conjecture was proved by Lau-rence[Lau95].The group G(Γ)is commensurable with a suitable right angled Coxeter group[J´S01].There is an analog of Outer space in the case whenΓis connected and triangle-free[CCV].For a nice intro-duction to and more information about RAAG’s see Charney’s survey [Cha].Our focus is on quasi-isometric rigidity properties of right-angled Artin groups.Some special cases have been treated earlier:•The free group G=F k.Here the standard complex K(Γ)is a tree of valence2k.Quasi-isometries are not rigid–there are quasi-isometries which are not at bounded distance from isometries–but nonetheless anyfinitely generated group quasi-isometric to a free group acts geometrically on some tree[Sta68],[Dun85],[Gro93,1.C1]and is commensurable to a free group[KPS73].Furthermore,any quasi-action G′ K is quasi-isometrically conjugate to an isometric action on a tree,see[MSW03]and Section2.•G=F k×F l.The model space K is a product of simplicial trees;as with free groups,quasi-isometries are not rigid.However,by[MSW03, KKL98,Ahl02,KL07],quasi-actions are quasi-isometrically conjugate to isometric actions on some product of trees.It is a standard fact that there are groups quasi-isometric to G which are not commensurable toRAAG RIGIDITY3 it(see[Wis96,BM00]for examples that are non-residuallyfinite,or simple,respectively).•G=Z k.The model space is R k,which is not quasi-isometrically rigid.In general,quasi-actions are not quasi-isometrically conjugate to isometric actions,although this is the case for discrete cobounded quasi-actions[Gro81,Bas72],i.e.any group quasi-isometric to Z k is commensurable to it.•G(Γ)whereΓis a tree of diameter at least3.Behrstock-Neumann [BN06]showed that any two such Artin groups are quasi-isometric. Using work of Kapovich-Leeb[KL97],they also showed that afinitely generated group G is quasi-isometric to such an Artin group iffit is commensurable to one.1.2.Statement of results.Ourfirst result is that quasi-isometries of2-dimensional RAAG’s preserveflats(recall that aflat is a subset isometric to R2with the usual metric):Theorem1.1.LetΓ,Γ′befinite,triangle-free graphs,and let K= K(Γ),K′=K(Γ′).Then there is a constant D=D(L,A)such that ifφ:K−→K′is an(L,A)-quasi-isometry and F⊂K is aflat,then there is aflat F′⊂K′such that the Hausdorffdistance satisfiesHd(φ(F),F′)<D.The remaining results in this paper concern a special class of RAAG’s: Definition1.2.Afinite simplicial graphΓis atomic if(1)Γis connected and has no vertex of valence<2.(2)Γcontains no cycles of length<5.(3)Γhas no separating closed vertex stars.A RAAG is atomic if its defining graph is atomic.The pentagon is the simplest example of an atomic graph.Our main results and most of the issues in the proofs are well illustrated by the pentagon case.Conditions(1)-(3)above exclude some of the known phenomena from the examples above.For instance,Condition(2)rules out abelian subgroups of rank greater than2and subgroups isomorphic to F k×F l where min(k,l)>1.Condition(3)prevents G(Γ)from splitting in an obvious way over a subgroup with a nontrivial center; such a splitting would lead to a large automorphism group.4MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEV Remark1.3.The main result of[Lau95]implies that the outer auto-morphism group of an atomic RAAG is generated by the symmetries ofΓand inversions of generators.It also implies that an arbitrary sim-plicial graphΓwith no cycles of length<5is atomic iffG(Γ)hasfinite outer automorphism group.The following example shows that Condition(3)is necessary in order for a RAAG to be determined up to isomorphism by its quasi-isometry class.Example1.4.LetΓbe any connected graph with no triangles and choose a vertex v∈Γ.Let f:G(Γ)→Z2be the homomorphism that sends v to1∈Z2and sends all other generators to0∈Z2.Then G′=ker(f)is a RAAG whose defining graphΓ′can be obtained from Γby doubling along the closed star of v∈Γ.Concretely,whenΓis the pentagon,G and G′are commensurable but not isomorphic.Thus the atomic property for RAAG’s is not a commensurability invariant(in particular,it is not quasi-isometry invariant).See Section11for more discussion.Until further notice,Γwill denote afixed atomic graph,G=G(Γ),¯K=¯K(Γ)and K=K(Γ),and V=V(K)will denote the vertex set of K.WheneverΓ′appears,it will also be an atomic graph,and the associated objects will be denoted by primes.Before stating our main rigidity theorem we need another definition: Definition1.5.A standard circle(respectively standard torus)is a circle(respectively torus)in¯K associated with a vertex(respectively edge)inΓ.A standard geodesic(respectively standardflat)is a geodesic γ⊂K(respectivelyflat F⊂K)which covers a standard circle (respectively torus).Note that if p∈K is a vertex,then the standard geodesics passing through p are in1-1correspondence with vertices inΓ,and the standard flats are in1-1correspondence with edges ofΓ.As a consequence,the defining graphΓis isomorphic to the associated incidence pattern. Theorem1.6(Rigidity,first version).Supposeφ:K→K′is an (L,A)-quasi-isometry.Then there is a unique bijectionψ:V→V′of vertex sets with the following properties:(1)d(ψ,φ|V)<D=D(L,A).RAAG RIGIDITY5 (2)(Preservation of standardflats)Any two vertices v1,v2∈V lyingin a standardflat F⊂K are mapped byψto a pair of vertices lying in a standardflat F′⊂K′.(3)(Preservation of standard geodesics)Any two vertices v1,v2∈Vlying in a standard geodesicγ⊂K are mapped byψto a pair of vertices lying on a standard geodesicγ′⊂K′.This theorem is proved,in the language offlat spaces,as Theorem 8.10.An immediate corollary is:Corollary1.7.Atomic RAAG’s are quasi-isometric iffthey are iso-morphic.This follows from Theorem1.6because the pattern of standard geodesics and standardflats passing through a vertex p∈V determines the defin-ing graph,and by the theorem,it is preserved by quasi-isometries. Theorem1.6has two further corollaries,which may also be deduced from[Lau95]:Corollary1.8(Mostow-type rigidity).Every isomorphism G→G′between atomic RAAG’s is induced by a unique isometry K→K′, where we identify G and G′with subsets of Isom(K),Isom(K′). Corollary1.9.Every homotopy equivalence¯K(Γ)→¯K(Γ)is homo-topic to a unique isometry;equivalently,the homomorphism Isom(¯K)→Out(G)is an isomorphism.In particular,there is an extension1−→H−→Out(G)−→Aut(Γ)→1where Aut(Γ)denotes the automorphism group of the graphΓ,and H consists of automorphisms that send each generator g to g±1.Thus H is isomorphic to Z V2,where V is the number of vertices inΓ.To complement the rigidity theorem,we construct examples showing that K is not quasi-isometrically rigid,and that the failure of rigidity cannot be accounted for by the automorphism group,or even the com-mensurator:Theorem1.10.Let Comm(G)denote the commensurator of G.Then both of the canonical homomorphismsAut(G)→Comm(G),Comm(G)→QI(G)are injective,and have infinite index images.6MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEVThe proof is in Section11.Every atomic RAAG is commensurable to groups which do not admit a geometric action on its associated CAT(0)complex;see Remark11.1 for more discussion.In Example1.4the obvious involution of G′cannot be realized by an isometric involution on K.Nonetheless,there is a form of rigidity for quasi-actions of atomic RAAG’s,which will appear in a forthcoming paper:Theorem1.11.If Hρ K is a quasi-action of a group on the stan-dard complex K for an atomic RAAG,thenρis quasi-conjugate to an isometric action H ˆX,whereˆX is a CAT(0)2-complex.In fact,the2-complexˆX is closely related to K.The following remains open:Question1.12.If G is an atomic RAAG and H is afinitely generated group quasi-isometric to G,are H and G commensurable?Does H admit afinite index subgroup which acts isometrically on K?1.3.Discussion of the proofs.The proof of Theorem1.6bears some resemblance to proof of quasi-isometric rigidity for higher rank symmetric spaces.One may view both proofs as proceeding in two steps.In thefirst step one shows that quasi-isometries map top dimensionalflats to top dimensionalflats,up tofinite Hausdorffdistance;in the second step one uses the asymp-totic incidence of standardflats to deduce that the quasi-isometry has a special form.In both proofs,the implementation of thefirst step proceeds via a structure theorem for top dimensional quasiflats,but the methods are rather different.The arguments used in the second step are completely different,although in both cases they are ulti-mately combinatorial in nature;in the symmetric space case one relies on Tits’theorem on building automorphisms,while our proof requires the development and analysis of a new combinatorial object.Another significant difference is that quasi-isometric rigidity is false in our case, and so the rigidity statement itself is more subtle.The proof of Theorem1.1goes roughly as follows.We begin by invoking a result from[BKS07]which says that,modulo a bounded subset,every quasiflat in K is atfinite Hausdorffdistance from afi-nite union of quarter-planes.Here a quarter-plane is a subcomplex isometric to a Euclidean quadrant,and the Hausdorffdistance is con-trolled by the quasiflat constants.The pattern of asymptotic incidenceRAAG RIGIDITY7 of quarter-planes can be encoded in the quarter-plane complex,which is a1-complex analogous to the Tits boundary of a Euclidean build-ing or higher rank symmetric space.Flats in K correspond to mini-mal length cycles in the quarter-plane ing the fact that the image of a quasiflat under a quasi-isometry is a quasiflat,one ar-gues that quasi-isometries induce isomorphisms between quarter-plane complexes.Hence they carry minimal length cycles to minimal length cycles,andflats toflats(up to controlled Hausdorffdistance).The outline of the proof of Theorem1.6goes as follows.Step1.φmaps standardflats in K to within uniformly bounded Hausdorffdistance of standardflats in K′.Theorem1.1and standard CAT(0)geometry imply thatφmaps maximal product subcomplexes to within controlled Hausdorffdistance of maximal product subcom-plexes.BecauseΓis atomic,every standardflat is the intersection of two maximal product subcomplexes.Since maximal product subcom-plexes are preserved,their coarse intersections are also preserved,and this leads to preservation of standardflats.Before proceeding further we introduce an auxiliary object,theflat space=(Γ),which is a locally infinite CAT(0)2-complex associated withΓ.This complex coincides with the modified Deligne complex of Charney-Davis[CD95](see also[Dav98,HM96]);we are giving it a different name since we expect that the appropriate analog in other rigid situations will not coincide with the modified Deligne complex. Start with the discrete set(0),namely the collection of standardflats in K.Join two of these points by an edge iffthe correspondingflats intersect in a standard geodesic;this defines the1-dimensional subset (1)of.It is convenient to think of(0)and(1)as the0-and1-skeleton of even though formally this is rarely the case.To specify the rest of,we recall that the standardflats passing through a vertex p∈K correspond bijectively to the edges inΓ.Using this correspondence,for each p∈K we cone offthe corresponding subcomplex of(1)to obtain the2-complex.With an appropriately chosen metric(see Section5),this becomes a CAT(0)complex.We use the notation(p)to denote the subcomplex of corresponding to theflats passing through p∈K.It is easy to see that Theorem1.6is equivalent to saying that quasi-isometries K→K′induce isometries betweenflat spaces:Theorem1.13(Rigidity,second version).There is a constant D= D(L,A)with the following property.Ifφ:K→K′is an(L,A)-quasi-isometry,then there is a unique isometryφ∗:→′such that for8MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEVeach vertex F∈,the image of F underφhas Hausdorffdistance at most D fromφ∗(F)∈′.We now switch to proving Theorem1.13.Step1produces a bijection φ0:(0)→′(0)between0-skeleta.Step2.The bijectionφ0extends to an isomorphismφ∗:→′. We know that if two distinct standardflats F1,F2∈(0)intersect in a standard geodesic,thenφ0(F1)andφ0(F2)intersect coarsely in a ge-(φ0(F1))∩odesic,i.e.for some D1=D1(L,A),the intersection N D1N D(φ0(F2))is at controlled Hausdorffdistance from a standard geo-1desic in K′.The property of intersecting coarsely in a geodesic defines a relation on the collection of standardflats which is quasi-isometry invariant.The remainder of the argument establishes the following: Theorem1.14.Any bijection(0)→′(0)which preserves the relation of intersecting coarsely in a geodesic,is the restriction of an isometry →′.This boils down to showing that if p∈K,then there is a point p′∈K′such that all theflats passing through p are mapped byφ0 toflats passing through p′.To establish this we exploit taut cycles, which are special class of cycles in the1-skeleton offlat space;in the pentagon case these are just the5-cycles.The heart of the proof is Theorem7.1,that the mapφ0carries the vertices of a taut cycle to the vertices of a taut cycle.The proof of this theorem is based on small cancellation theory.Due to the abundance of taut cycles and their manner of overlap,one deduces from this that theflats in(p) are mapped byφ0to(p′)for some p′∈K′(see Section8).anization of the paper.In Section2we discuss some back-ground material on RAAG’s,CAT(0)spaces,and cube complexes.Sec-tions3and4develop the geometry of quasiflats,culminating in the proof of Theorem1.1.Sections5,6,and7build toward the proof that (the standardflats corresponding to)the vertices of a taut cycle in are mapped by a quasi-isometry to(the standardflats corresponding to)the vertices of a taut cycle(cf.Theorem7.1).This is proved by studying cycles in(1),and certain diskfillings of them;the argument is developed in Sections6and7.Section8promotes taut cycle rigidity (Theorem7.1)to full-rigidity(Theorem1.13).Sections9,10,and11 work out various implications of-rigidity.RAAG RIGIDITY92.Preliminaries2.1.The structure of the model space K(Γ).We begin by intro-ducing some notation and terminology connected with RAAG’s.LetΓbe afinite simplicial graph.IfΓcontains no triangles,denote by¯K(Γ)the presentation complex for G(Γ).Thus¯K(Γ)has one vertex, one oriented edge for every vertex ofΓ,and one2-cell,glued in a commutator fashion,for every edge ofΓ.The closed2-cells are tori. More generally,one may define¯K(Γ)for arbitraryΓby adding higher dimensional cells(tori),one k-cell for every complete subgraph ofΓon k vertices.Then¯K(Γ)is a nonpositively curved complex.The universal cover is a CAT(0)cube complex denoted K(Γ).We will often use the notation¯K or K,suppressing the graphΓ,when there is no risk of confusion.We label the edges of¯K and K by vertices ofΓ,and the squares by edges ofΓ.More generally,each k-dimensional cubical face of¯K or K is labelled by a k-tuple of vertices inΓ,or equivalently,by a face of theflag complex ofΓ.If Y⊂K is a subcomplex,we define the label of Y to be the collectionΓY of faces of theflag complex ofΓarising as labels of faces of Y.In this paper we will be concerned primarily with 2-dimensional complexes,when theflag complex ofΓisΓitself. Recall that a full subgraph ofΓis a subgraphΓ′⊂Γsuch that two vertices v,w∈Γ′span an edge inΓ′iffthey span an edge inΓ.(This is closely related to the notion of the induced subgraph of a set of vertices ofΓ.)IfΓ′⊂Γis a full subgraph,then there is a canonical embedding ¯K(Γ′)֒→¯K(Γ),which is locally convex and locally isometric.We call the image of such an embedding a standard subcomplex of¯K,or simply a standard subcomplex.The inverse image of a standard subcomplex under the universal covering K→¯K is a disjoint union of convex subcomplexes,each of which is isometric to K(Γ′);we also refer to these as standard subcomplexes.A standard product subcomplex is a standard subcomplex associated with a full subgraphΓ′⊂Γwhich decomposes as a nontrivial join.A standardflat is a standard subcomplex F⊂K which is isometric to R2,i.e.it is associated with a single edge in Γ.A standard geodesic is a standard subcomplexγ⊂K associated with a single vertex inΓ.If V⊂Γis a set of vertices inΓ,then the orthogonal complement of V is the set of vertices w∈Γwhich are adjacent to every element of V:(2.1)V⊥:={w∈Γ|d(w,v)=1for every v∈V}.10MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEVThus the join V◦V⊥is a(bipartite)subgraph ofΓ.Note that the sub-group generated by V⊥lies in the centralizer of the subgroup generated by V.A singular geodesic is a geodesicγ⊂K contained in the1-skeleton of K.Note that standard geodesics are singular,but singular geodesics need not be standard.(As an example,consider the case whenΓis a finite set,andRAAG RIGIDITY11 Lemma2.4.Suppose C,C′are convex subsets of a CAT(0)space X, and let∆:=d(C,C′)(here d(C,C′)denote the minimum distance). Then(1)The setsY:={x∈C|d(x,C′)=∆}(2.5)Y′:={x∈C′|d(x,C)=∆},(2.6)are convex.(2)The nearest point map r:X→C maps Y′isometrically onto Y;similarly,the nearest point map r′:X→C′maps Y isometrically onto Y′.(3)Y and Y′cobound a convex subset Z Isom≃Y×[0,∆].(4)If in addition X is a locallyfinite CAT(0)complex with cocompactisometry group,and C,C′are subcomplexes,then the sets Y and Y′are nonempty,and there is a constant A>0such that if p∈C,p′∈C′,and if d(p,Y)≥1,d(p′,Y′)≥1then(2.7)d(p,C′)≥∆+A d(p,Y),d(p′,C)≥∆+A d(p′,Y′).Furthermore,the constant A depends only on∆and X(but not on C and C′).Proof.Assertions(1)-(3)are standard CAT(0)facts,so we only prove assertion(4).Suppose{p k}⊂C,{p′k}⊂C′are sequences such that d(p k,p′k)→∆. After passing to a subsequence if necessary,we mayfind a sequence {g k}⊂Isom(X)such that the sequences of pairs(g k(C),g k p k),(g k(C′),g k p′k)converge in the pointed Hausdorfftopology to pairs(C∞,p∞),(C′∞,p′∞). Since there are onlyfinitely many subcomplexes of X which are con-tained in a given bounded set,we will have p∞∈g k(C),p′∞∈g k(C′)for sufficiently large k.Therefore g−1k (p∞)∈C,g−1k(p′∞)∈C′,andthe distance∆is realized.This shows that the sets Y1and Y2are nonempty.We now prove thefirst estimate in(2.7);the second one has a similar proof.Observe that a convergence argument as above implies that there is a constant A>0such that if x∈C and d(x,Y)=1,then d(x,C′)>∆+A.If p∈C\N1(Y),then d C′(the distance from C′) equals∆at r(p)and at least∆+A at the point x:=p r(p)denotes the geodesic segment with endpoints p and r(p). Since d C′is convex,this implies(2.7).12MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEV Remark2.8.Note that the convex sets Y and Y′in4of Lemma2.4 need not be subcomplexes.Corollary2.9.Supposeα,α′are asymptotic singular rays in K.Then there are singular raysβ⊂α,β′⊂α′which bound aflat half-strip subcomplex,and hence have the same labels.Proof.By passing to subrays,may assume thatαandα′are subcom-plexes.Applying Lemma2.4toαandα′,onefinds that the distance between αandα′is attained on singular subraysβ⊂α,β′⊂α′,which bound a convex subset Z isometric toβ×[0,∆].If∆=0thenβ=β′and we are done,so suppose∆>0.We may assume also that the initial point p of the rayβis a vertex of K. We claim that Z is a subcomplex of K.To see this,let p′∈β′be the initial point of the rayβ′,and consider the segmentp p′.Repeating this reasoning,it follows that every point x∈RAAG RIGIDITY13 2.2.Cube complexes and hyperplanes.We recall basic terminol-ogy and facts about CAT(0)cubical complexes.For more details,see [Sag95].A cubical complex is a combinatorial cell complex whose closed cells are Euclidean n-dimensional cubes[0,1]n of various dimensions such that the link of each vertex is a simplicial complex(no1-gons or2-gons).A theorem of Gromov[Gro87]then tells us that a simply connected cubical complex is CAT(0)if and only if the link of each vertex is a flag complex.Since an n-cube is a product of n unit intervals,each n-cube comes equipped with n natural projection maps to the unit interval.A hyper-cube is the preimage of{114MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEV(1)(Equivalent)There is a quarter-plane E′′⊂E∩E′;hence E′′hasfinite Hausdorffdistance from both E and E′.(2)(Incident)There are constants A,B∈(0,∞)such that afterrelabelling the factors of the E and E′if necessary,αis asymp-totic toα′and for every p∈E,p′∈E′,(3.2)d(p,E′)≥A(d(p,α)−B),d(p′,E)≥A(d(p′,α′)−B).(3)(Divergent)The distance function d E grows linearly on E′,andvice-versa,i.e.there are constants A,B∈(0,∞)such that forall x∈E,y∈E′,(3.3)d(x,E′)≥A(d(x,p)−B),d(y,E)≥A(d(x,p)−B). Proof.We apply Lemma2.4with C=E and C′=E′,and let∆∈[0,∞),Y⊂E,Y′⊂E′and Z≃Y×[0,∆]≃Y′×[0,∆]be as in that Lemma.We claim that one of the following holds:a.Y=Y′is a quarter-planeb.Y(respectively Y′)is atfinite Hausdorffdistance from one of the boundary raysα,β(respectivelyα′,β′)c.Y,Y′are bounded.To see this,first suppose∆=0.Then Y=Y′=E∩E′is a convex subcomplex of both E and E′.Since K is a square complex, this implies that Y and Y′are product subcomplexes of E,and the claim follows.If∆>0,then since Z meets Y and Y′orthogonally, it follows that Y,Y′are contained in the1-skeleton.The claim then follows immediately.Lemma2.4now completes the proof. Henceforth we will use the terms equivalent,incident,and divergent, for the3cases in the lemma above.Definition3.4.We define the quarter-plane complex Q as follows.It has one vertex for each asymptote class of singular geodesic rays,and one edge joining[α]to[β]for each equivalence class of quarter-planes [α×β].Note that this definition is motivated by the complex of chambers at infinity that one has for symmetric spaces of noncompact type,and also by the Tits boundary.RAAG RIGIDITY15 Lemma 3.5.Suppose E=α×β⊂K is a quarter-plane.Then precisely one of the following holds:(1)|Γ⊥[α]|=|Γ⊥[β]|=1.This implies that|Γ[α]|=|Γ[β]|=1,whichmeans thatΓ[E]is a single edge ofΓwhich forms a connected com-ponent ofΓ.The quarter-plane E belongs to a unique cycle in Q, namely the4-cycle Q F associated with a uniqueflat F⊂K labelled byΓ[E].(2)After relabelling the factors of E,|Γ⊥[α]|=1,|Γ⊥[β]|>1.Then thereis a unique equivalence class[E′]of quarter-planes such that[E′] is incident to[E]at[α].Furthermore,any cycleΣ⊂Q containing [E]must also contain[E′],and there is a pair offlats F,F′⊂K such that the corresponding4-cycles Q F,Q F′⊂Q intersect precisely in[E]∪[E′].(3)min(|Γ⊥[α]|,|Γ⊥[β]|)>1.Then there is a pair offlats F,F′⊂K suchthat the corresponding4-cycles Q F,Q F′satisfy Q F∩Q F′=[E].Proof.Case1.SinceΓ[α]⊂Γ⊥[β]andΓ[β]⊂Γ⊥[α],it follows that|Γ[α]|=|Γ[β]|=1.SettingΓ[α]={v},Γ[β]={w},wefind that w is the unique vertex adjacent to w,and vice-versa.Let K′⊂K be the product subcomplex associated with the edge16MLADEN BESTVINA,BRUCE KLEINER,AND MICHAH SAGEEVis asymptotic to the R-factor,and T is a tree of valence≥4because |Γ[β]|>1.The remaining assertions follow readily from this.Case3.LetΓ′⊂Γbe the join ofΓ[α]andΓ⊥[α],andΓ′′⊂Γbethe join ofΓ[β]andΓ⊥[β].After passing to a sub-quarter-plane of Eif necessary,we may assume that E⊂K′∩K′′,where K′,K′′⊂K are product subcomplexes associated withΓ′andΓ′′respectively.Sincemin(|Γ⊥[α]|,|Γ⊥[β]|)>1,there are pairs offlats F′1∩F′2⊂K′and F′′1∩F′′2⊂K′′such that the intersections F′1∩F′2,F′′1∩F′′2are half-planes whose intersection is precisely E.In the remainder of this section,we will apply results from[BKS07]. We refer the reader to that paper for the definition and properties of support sets.Lemma 3.6.Let Q⊂K be a quasiflat.There is a unique cycle [E1],...,[E k]⊂Q of quarter-planes in Q,such that the union∪i E ihasfinite Hausdorffdistance from Q.We denote this cycle by Q Q. Proof.By[BKS07,Section5],there is afinite collection E1,...,E k of quarter-planes in K such that each E i is contained in the support set associated with Q,and for some r∈(0,∞),Q⊂N r(∪i E i).Note that this collection of quarter-planes is uniquely determined up to equivalence.To see this,observe that if E′1,...,E′l is another collection of quarter-planes withQ⊂N r′(∪j E′j)for some r′∈(0,∞),then for each1≤i≤k,there must be a1≤j≤l such that E′j is equivalent to E i;otherwise Lemma3.1would imply that there are points in E i arbitrarily far from the union∪j E′j.We now assume that the quarter-planes E1,...,E k represent distinct equivalence classes.Pick1≤j≤k,and consider the quarter-plane E j=αj×βj. Supposeαj is incident to i of the quarter-planes in the collection {E1,...,E k},where i=2.Pick R∈(0,∞).By Lemma3.1,if we choose x∈αj lying sufficiently far out the rayαi,then the ball B(x,R) will intersect Q in a set which is uniformly quasi-isometric to an R-ball B(x′,R)lying in an i-pod,where x′is a singular point of the i-pod.RAAG RIGIDITY17 (Recall that an i-pod is a tree which is a union of i rays emanating from a single vertex.)This contradicts the fact that Q is a quasiflat. Therefore{E1,...,E k}determines a union of cycles in Q.But it can only contain a single cycle,because the support set of Q has only one end. Lemma3.7.Every cycleΣ⊂Q arises from a quasiflat Q⊂K.Proof.Let the consecutive edges inΣbe represented by quarter-planes E0,...,E j⊂K,where the indices take values in the cyclic group Z j+1. Let W be the space obtained from the disjoint union⊔i E i by gluing the boundary rays isometrically,in a cyclic fashion;let¯E i denote the image of E i in W under the quotient mapπ:⊔E i→W.With respect to the path metric,W is biLipschitz homeomorphic to R2,and the quotient map E i→¯E i is a biLipschitz embedding for each i.Define φ:W−→K by settingφ(w)=p,where p∈∪i E i is a point with π(p)=w.SinceΣis a cycle,consecutive quarter-planes are incident,and this implies that there is a constant C∈(0,∞)such that for all w,w′∈W,d(φ(w),φ(w′))≤d(w,w′)+C.We claim that there are constants L,A∈(0,∞)such that for all w,w′∈W,d(φ(w),φ(w′))≥L−1d(w,w′)−A.If this were false,there would be sequences w k,w′k∈W such that d(w,w′)→∞,andd(φ(w k),φ(w′k))d(w k,w′k )→0because of(3.2)or(3.3).But then we may replace w k,w′k with se-quences lying in Y and Y′respectively,and this yields a contradic-tion. Definition3.8.For each quasiflat Q⊂K,we let Q Q⊂Q denote the corresponding cycle in Q.We denote by C be the collection of cycles in Q,and by N the poset of subcomplexes of Q generated by。