1.
Space
–
Space is the boundless three-dimensional extent in which objects and events have relative position and direction. Physical space is conceived in three linear dimensions, although modern physicists usually consider it, with time, to be part of a boundless four-dimensional continuum known as spacetime. The concept of space is considered to be of importance to an understanding of the physical universe. However, disagreement continues between philosophers over whether it is itself an entity, a relationship between entities, or part of a conceptual framework. Many of these classical philosophical questions were discussed in the Renaissance and then reformulated in the 17th century, in Isaac Newtons view, space was absolute—in the sense that it existed permanently and independently of whether there was any matter in the space. Other natural philosophers, notably Gottfried Leibniz, thought instead that space was in fact a collection of relations between objects, given by their distance and direction from one another. In the 18th century, the philosopher and theologian George Berkeley attempted to refute the visibility of spatial depth in his Essay Towards a New Theory of Vision. Kant referred to the experience of space in his Critique of Pure Reason as being a pure a priori form of intuition. In the 19th and 20th centuries mathematicians began to examine geometries that are non-Euclidean, in space is conceived as curved. According to Albert Einsteins theory of relativity, space around gravitational fields deviates from Euclidean space. Experimental tests of general relativity have confirmed that non-Euclidean geometries provide a model for the shape of space. In the seventeenth century, the philosophy of space and time emerged as an issue in epistemology. At its heart, Gottfried Leibniz, the German philosopher-mathematician, and Isaac Newton, unoccupied regions are those that could have objects in them, and thus spatial relations with other places. For Leibniz, then, space was an abstraction from the relations between individual entities or their possible locations and therefore could not be continuous but must be discrete. Space could be thought of in a way to the relations between family members. Although people in the family are related to one another, the relations do not exist independently of the people, but since there would be no observational way of telling these universes apart then, according to the identity of indiscernibles, there would be no real difference between them. According to the principle of sufficient reason, any theory of space that implied that there could be two possible universes must therefore be wrong. Newton took space to be more than relations between objects and based his position on observation and experimentation
2.
Cartesian coordinate system
–
Each reference line is called a coordinate axis or just axis of the system, and the point where they meet is its origin, usually at ordered pair. The coordinates can also be defined as the positions of the projections of the point onto the two axis, expressed as signed distances from the origin. One can use the principle to specify the position of any point in three-dimensional space by three Cartesian coordinates, its signed distances to three mutually perpendicular planes. In general, n Cartesian coordinates specify the point in an n-dimensional Euclidean space for any dimension n and these coordinates are equal, up to sign, to distances from the point to n mutually perpendicular hyperplanes. The invention of Cartesian coordinates in the 17th century by René Descartes revolutionized mathematics by providing the first systematic link between Euclidean geometry and algebra. Using the Cartesian coordinate system, geometric shapes can be described by Cartesian equations, algebraic equations involving the coordinates of the points lying on the shape. For example, a circle of radius 2, centered at the origin of the plane, a familiar example is the concept of the graph of a function. Cartesian coordinates are also tools for most applied disciplines that deal with geometry, including astronomy, physics, engineering. They are the most common system used in computer graphics, computer-aided geometric design. Nicole Oresme, a French cleric and friend of the Dauphin of the 14th Century, used similar to Cartesian coordinates well before the time of Descartes. The adjective Cartesian refers to the French mathematician and philosopher René Descartes who published this idea in 1637 and it was independently discovered by Pierre de Fermat, who also worked in three dimensions, although Fermat did not publish the discovery. Both authors used a single axis in their treatments and have a length measured in reference to this axis. The concept of using a pair of axes was introduced later, after Descartes La Géométrie was translated into Latin in 1649 by Frans van Schooten and these commentators introduced several concepts while trying to clarify the ideas contained in Descartes work. Many other coordinate systems have developed since Descartes, such as the polar coordinates for the plane. The development of the Cartesian coordinate system would play a role in the development of the Calculus by Isaac Newton. The two-coordinate description of the plane was later generalized into the concept of vector spaces. Choosing a Cartesian coordinate system for a one-dimensional space – that is, for a straight line—involves choosing a point O of the line, a unit of length, and an orientation for the line. An orientation chooses which of the two half-lines determined by O is the positive, and which is negative, we say that the line is oriented from the negative half towards the positive half
3.
Geometry
–
Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. A mathematician who works in the field of geometry is called a geometer, Geometry arose independently in a number of early cultures as a practical way for dealing with lengths, areas, and volumes. Geometry began to see elements of mathematical science emerging in the West as early as the 6th century BC. By the 3rd century BC, geometry was put into a form by Euclid, whose treatment, Euclids Elements. Geometry arose independently in India, with texts providing rules for geometric constructions appearing as early as the 3rd century BC, islamic scientists preserved Greek ideas and expanded on them during the Middle Ages. By the early 17th century, geometry had been put on a solid footing by mathematicians such as René Descartes. Since then, and into modern times, geometry has expanded into non-Euclidean geometry and manifolds, while geometry has evolved significantly throughout the years, there are some general concepts that are more or less fundamental to geometry. These include the concepts of points, lines, planes, surfaces, angles, contemporary geometry has many subfields, Euclidean geometry is geometry in its classical sense. The mandatory educational curriculum of the majority of nations includes the study of points, lines, planes, angles, triangles, congruence, similarity, solid figures, circles, Euclidean geometry also has applications in computer science, crystallography, and various branches of modern mathematics. Differential geometry uses techniques of calculus and linear algebra to problems in geometry. It has applications in physics, including in general relativity, topology is the field concerned with the properties of geometric objects that are unchanged by continuous mappings. In practice, this often means dealing with large-scale properties of spaces, convex geometry investigates convex shapes in the Euclidean space and its more abstract analogues, often using techniques of real analysis. It has close connections to convex analysis, optimization and functional analysis, algebraic geometry studies geometry through the use of multivariate polynomials and other algebraic techniques. It has applications in areas, including cryptography and string theory. Discrete geometry is concerned mainly with questions of relative position of simple objects, such as points. It shares many methods and principles with combinatorics, Geometry has applications to many fields, including art, architecture, physics, as well as to other branches of mathematics. The earliest recorded beginnings of geometry can be traced to ancient Mesopotamia, the earliest known texts on geometry are the Egyptian Rhind Papyrus and Moscow Papyrus, the Babylonian clay tablets such as Plimpton 322. For example, the Moscow Papyrus gives a formula for calculating the volume of a truncated pyramid, later clay tablets demonstrate that Babylonian astronomers implemented trapezoid procedures for computing Jupiters position and motion within time-velocity space
4.
Sphere
–
A sphere is a perfectly round geometrical object in three-dimensional space that is the surface of a completely round ball. This distance r is the radius of the ball, and the point is the center of the mathematical ball. The longest straight line through the ball, connecting two points of the sphere, passes through the center and its length is twice the radius. While outside mathematics the terms sphere and ball are used interchangeably. The ball and the share the same radius, diameter. The surface area of a sphere is, A =4 π r 2, at any given radius r, the incremental volume equals the product of the surface area at radius r and the thickness of a shell, δ V ≈ A ⋅ δ r. The total volume is the summation of all volumes, V ≈ ∑ A ⋅ δ r. In the limit as δr approaches zero this equation becomes, V = ∫0 r A d r ′, substitute V,43 π r 3 = ∫0 r A d r ′. Differentiating both sides of equation with respect to r yields A as a function of r,4 π r 2 = A. Which is generally abbreviated as, A =4 π r 2, alternatively, the area element on the sphere is given in spherical coordinates by dA = r2 sin θ dθ dφ. In Cartesian coordinates, the element is d S = r r 2 − ∑ i ≠ k x i 2 ∏ i ≠ k d x i, ∀ k. For more generality, see area element, the total area can thus be obtained by integration, A = ∫02 π ∫0 π r 2 sin θ d θ d φ =4 π r 2. In three dimensions, the volume inside a sphere is derived to be V =43 π r 3 where r is the radius of the sphere, archimedes first derived this formula, which shows that the volume inside a sphere is 2/3 that of a circumscribed cylinder. In modern mathematics, this formula can be derived using integral calculus, at any given x, the incremental volume equals the product of the cross-sectional area of the disk at x and its thickness, δ V ≈ π y 2 ⋅ δ x. The total volume is the summation of all volumes, V ≈ ∑ π y 2 ⋅ δ x. In the limit as δx approaches zero this equation becomes, V = ∫ − r r π y 2 d x. At any given x, a right-angled triangle connects x, y and r to the origin, hence, applying the Pythagorean theorem yields, thus, substituting y with a function of x gives, V = ∫ − r r π d x. Which can now be evaluated as follows, V = π − r r = π − π =43 π r 3
5.
Plane (geometry)
–
In mathematics, a plane is a flat, two-dimensional surface that extends infinitely far. A plane is the analogue of a point, a line. When working exclusively in two-dimensional Euclidean space, the article is used, so. Many fundamental tasks in mathematics, geometry, trigonometry, graph theory and graphing are performed in a space, or in other words. Euclid set forth the first great landmark of mathematical thought, a treatment of geometry. He selected a small core of undefined terms and postulates which he used to prove various geometrical statements. Although the plane in its sense is not directly given a definition anywhere in the Elements. In his work Euclid never makes use of numbers to measure length, angle, in this way the Euclidean plane is not quite the same as the Cartesian plane. This section is concerned with planes embedded in three dimensions, specifically, in R3. In a Euclidean space of any number of dimensions, a plane is determined by any of the following. A line and a point not on that line, a line is either parallel to a plane, intersects it at a single point, or is contained in the plane. Two distinct lines perpendicular to the plane must be parallel to each other. Two distinct planes perpendicular to the line must be parallel to each other. Specifically, let r0 be the vector of some point P0 =. The plane determined by the point P0 and the vector n consists of those points P, with position vector r, such that the vector drawn from P0 to P is perpendicular to n. Recalling that two vectors are perpendicular if and only if their dot product is zero, it follows that the plane can be described as the set of all points r such that n ⋅ =0. Expanded this becomes a + b + c =0, which is the form of the equation of a plane. This is just a linear equation a x + b y + c z + d =0 and this familiar equation for a plane is called the general form of the equation of the plane
6.
History of geometry
–
Geometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of mathematics, the other being the study of numbers. Classic geometry was focused in compass and straightedge constructions, geometry was revolutionized by Euclid, who introduced mathematical rigor and the axiomatic method still in use today. His book, The Elements is widely considered the most influential textbook of all time, the earliest recorded beginnings of geometry can be traced to early peoples, who discovered obtuse triangles in the ancient Indus Valley, and ancient Babylonia from around 3000 BC. Among these were some surprisingly sophisticated principles, and a mathematician might be hard put to derive some of them without the use of calculus. For example, both the Egyptians and the Babylonians were aware of versions of the Pythagorean theorem about 1500 years before Pythagoras and the Indian Sulba Sutras around 800 B. C. Problem 30 of the Ahmes papyrus uses these methods to calculate the area of a circle and this assumes that π is 4×², with an error of slightly over 0.63 percent. Problem 48 involved using a square with side 9 units and this square was cut into a 3x3 grid. The diagonal of the squares were used to make an irregular octagon with an area of 63 units. This gave a value for π of 3.111. The two problems together indicate a range of values for π between 3.11 and 3.16. Problem 14 in the Moscow Mathematical Papyrus gives the only ancient example finding the volume of a frustum of a pyramid, describing the correct formula, the Babylonians may have known the general rules for measuring areas and volumes. They measured the circumference of a circle as three times the diameter and the area as one-twelfth the square of the circumference, which would be correct if π is estimated as 3, the Pythagorean theorem was also known to the Babylonians. Also, there was a recent discovery in which a tablet used π as 3, the Babylonians are also known for the Babylonian mile, which was a measure of distance equal to about seven miles today. This measurement for distances eventually was converted to a used for measuring the travel of the Sun, therefore. There have been recent discoveries showing that ancient Babylonians may have discovered astronomical geometry nearly 1400 years before Europeans did, the Indian Vedic period had a tradition of geometry, mostly expressed in the construction of elaborate altars. Early Indian texts on this include the Satapatha Brahmana and the Śulba Sūtras. According to, the Śulba Sūtras contain the earliest extant verbal expression of the Pythagorean Theorem in the world, the diagonal rope of an oblong produces both which the flank and the horizontal <ropes> produce separately
7.
Euclidean geometry
–
Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry, the Elements. Euclids method consists in assuming a set of intuitively appealing axioms. Although many of Euclids results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. The Elements begins with plane geometry, still taught in school as the first axiomatic system. It goes on to the geometry of three dimensions. Much of the Elements states results of what are now called algebra and number theory, for more than two thousand years, the adjective Euclidean was unnecessary because no other sort of geometry had been conceived. Euclids axioms seemed so obvious that any theorem proved from them was deemed true in an absolute, often metaphysical. Today, however, many other self-consistent non-Euclidean geometries are known, Euclidean geometry is an example of synthetic geometry, in that it proceeds logically from axioms to propositions without the use of coordinates. This is in contrast to analytic geometry, which uses coordinates, the Elements is mainly a systematization of earlier knowledge of geometry. Its improvement over earlier treatments was recognized, with the result that there was little interest in preserving the earlier ones. There are 13 total books in the Elements, Books I–IV, Books V and VII–X deal with number theory, with numbers treated geometrically via their representation as line segments with various lengths. Notions such as numbers and rational and irrational numbers are introduced. The infinitude of prime numbers is proved, a typical result is the 1,3 ratio between the volume of a cone and a cylinder with the same height and base. Euclidean geometry is a system, in which all theorems are derived from a small number of axioms. To produce a straight line continuously in a straight line. To describe a circle with any centre and distance and that all right angles are equal to one another. Although Euclids statement of the only explicitly asserts the existence of the constructions. The Elements also include the five common notions, Things that are equal to the same thing are also equal to one another
8.
Non-Euclidean geometry
–
In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those specifying Euclidean geometry. In the latter case one obtains hyperbolic geometry and elliptic geometry, when the metric requirement is relaxed, then there are affine planes associated with the planar algebras which give rise to kinematic geometries that have also been called non-Euclidean geometry. The essential difference between the geometries is the nature of parallel lines. In hyperbolic geometry, by contrast, there are many lines through A not intersecting ℓ, while in elliptic geometry. In elliptic geometry the lines curve toward each other and intersect, the debate that eventually led to the discovery of the non-Euclidean geometries began almost as soon as Euclids work Elements was written. In the Elements, Euclid began with a number of assumptions. Other mathematicians have devised simpler forms of this property, regardless of the form of the postulate, however, it consistently appears to be more complicated than Euclids other postulates,1. To draw a line from any point to any point. To produce a straight line continuously in a straight line. To describe a circle with any centre and distance and that all right angles are equal to one another. For at least a thousand years, geometers were troubled by the complexity of the fifth postulate. Many attempted to find a proof by contradiction, including Ibn al-Haytham, Omar Khayyám, Nasīr al-Dīn al-Tūsī and these theorems along with their alternative postulates, such as Playfairs axiom, played an important role in the later development of non-Euclidean geometry. These early attempts did, however, provide some early properties of the hyperbolic and elliptic geometries. Another example is al-Tusis son, Sadr al-Din, who wrote a book on the subject in 1298, based on al-Tusis later thoughts and he essentially revised both the Euclidean system of axioms and postulates and the proofs of many propositions from the Elements. His work was published in Rome in 1594 and was studied by European geometers and he finally reached a point where he believed that his results demonstrated the impossibility of hyperbolic geometry. His claim seems to have based on Euclidean presuppositions, because no logical contradiction was present. In this attempt to prove Euclidean geometry he instead unintentionally discovered a new viable geometry, in 1766 Johann Lambert wrote, but did not publish, Theorie der Parallellinien in which he attempted, as Saccheri did, to prove the fifth postulate. He worked with a figure that today we call a Lambert quadrilateral and he quickly eliminated the possibility that the fourth angle is obtuse, as had Saccheri and Khayyam, and then proceeded to prove many theorems under the assumption of an acute angle
9.
Elliptic geometry
–
Elliptic geometry has a variety of properties that differ from those of classical Euclidean plane geometry. For example, the sum of the angles of any triangle is always greater than 180°. In elliptic geometry, two lines perpendicular to a line must intersect. In fact, the perpendiculars on one side all intersect at the pole of the given line. There are no points in elliptic geometry. Every point corresponds to a polar line of which it is the absolute pole. Any point on this line forms an absolute conjugate pair with the pole. Such a pair of points is orthogonal, and the distance between them is a quadrant, the distance between a pair of points is proportional to the angle between their absolute polars. As explained by H. S. M. Coxeter The name elliptic is possibly misleading and it does not imply any direct connection with the curve called an ellipse, but only a rather far-fetched analogy. A central conic is called an ellipse or a hyperbola according as it has no asymptote or two asymptotes, analogously, a non-Euclidean plane is said to be elliptic or hyperbolic according as each of its lines contains no point at infinity or two points at infinity. A simple way to picture elliptic geometry is to look at a globe, neighboring lines of longitude appear to be parallel at the equator, yet they intersect at the poles. More precisely, the surface of a sphere is a model of elliptic geometry if lines are modeled by great circles, with this identification of antipodal points, the model satisfies Euclids first postulate, which states that two points uniquely determine a line. Metaphorically, we can imagine geometers who are like living on the surface of a sphere. Even if the ants are unable to move off the surface, they can still construct lines, the existence of a third dimension is irrelevant to the ants ability to do geometry, and its existence is neither verifiable nor necessary from their point of view. Another way of putting this is that the language of the axioms is incapable of expressing the distinction between one model and another. In Euclidean geometry, a figure can be scaled up or scaled down indefinitely, and the figures are similar, i. e. they have the same angles. In elliptic geometry this is not the case, for example, in the spherical model we can see that the distance between any two points must be strictly less than half the circumference of the sphere. A line segment therefore cannot be scaled up indefinitely, a geometer measuring the geometrical properties of the space he or she inhabits can detect, via measurements, that there is a certain distance scale that is a property of the space
10.
Spherical geometry
–
Spherical geometry is the geometry of the two-dimensional surface of a sphere. It is an example of a geometry that is not Euclidean, two practical applications of the principles of spherical geometry are navigation and astronomy. In plane geometry, the concepts are points and lines. On a sphere, points are defined in the usual sense, the equivalents of lines are not defined in the usual sense of straight line in Euclidean geometry, but in the sense of the shortest paths between points, which are called geodesics. On a sphere, the geodesics are the circles, other geometric concepts are defined as in plane geometry. Spherical geometry is not elliptic geometry, but is rather a subset of elliptic geometry, for example, it shares with that geometry the property that a line has no parallels through a given point. An important geometry related to that of the sphere is that of the projective plane. Locally, the plane has all the properties of spherical geometry. In particular, it is non-orientable, or one-sided, Concepts of spherical geometry may also be applied to the oblong sphere, though minor modifications must be implemented on certain formulas. Higher-dimensional spherical geometries exist, see elliptic geometry, the earliest mathematical work of antiquity to come down to our time is On the rotating sphere by Autolycus of Pitane, who lived at the end of the fourth century BC. The book of unknown arcs of a written by the Islamic mathematician Al-Jayyani is considered to be the first treatise on spherical trigonometry. The book contains formulae for right-handed triangles, the law of sines. The book On Triangles by Regiomontanus, written around 1463, is the first pure trigonometrical work in Europe, however, Gerolamo Cardano noted a century later that much of its material on spherical trigonometry was taken from the twelfth-century work of the Andalusi scholar Jabir ibn Aflah. L. Euler, De curva rectificabili in superficie sphaerica, Novi Commentarii academiae scientiarum Petropolitanae 15,1771, pp. 195–216, Opera Omnia, Series 1, Volume 28, pp. 142–160. L. Euler, De mensura angulorum solidorum, Acta academiae scientarum imperialis Petropolitinae 2,1781, p. 31–54, Opera Omnia, Series 1, vol. L. Euler, Problematis cuiusdam Pappi Alexandrini constructio, Acta academiae scientarum imperialis Petropolitinae 4,1783, p. 91–96, Opera Omnia, Series 1, vol. L. Euler, Geometrica et sphaerica quaedam, Mémoires de lAcademie des Sciences de Saint-Petersbourg 5,1815, p. 96–114, Opera Omnia, Series 1, vol. L. Euler, Trigonometria sphaerica universa, ex primis principiis breviter et dilucide derivata, Acta academiae scientarum imperialis Petropolitinae 3,1782, p. 72–86, Opera Omnia, Series 1, vol
11.
Hyperbolic geometry
–
In mathematics, hyperbolic geometry is a non-Euclidean geometry. Hyperbolic plane geometry is also the geometry of saddle surface or pseudospherical surfaces, surfaces with a constant negative Gaussian curvature, a modern use of hyperbolic geometry is in the theory of special relativity, particularly Minkowski spacetime and gyrovector space. In Russia it is commonly called Lobachevskian geometry, named one of its discoverers. This page is mainly about the 2-dimensional hyperbolic geometry and the differences and similarities between Euclidean and hyperbolic geometry, Hyperbolic geometry can be extended to three and more dimensions, see hyperbolic space for more on the three and higher dimensional cases. Hyperbolic geometry is closely related to Euclidean geometry than it seems. When the parallel postulate is removed from Euclidean geometry the resulting geometry is absolute geometry, there are two kinds of absolute geometry, Euclidean and hyperbolic. All theorems of geometry, including the first 28 propositions of book one of Euclids Elements, are valid in Euclidean. Propositions 27 and 28 of Book One of Euclids Elements prove the existence of parallel/non-intersecting lines and this difference also has many consequences, concepts that are equivalent in Euclidean geometry are not equivalent in hyperbolic geometry, new concepts need to be introduced. Further, because of the angle of parallelism hyperbolic geometry has an absolute scale, single lines in hyperbolic geometry have exactly the same properties as single straight lines in Euclidean geometry. For example, two points define a line, and lines can be infinitely extended. Two intersecting lines have the properties as two intersecting lines in Euclidean geometry. For example, two lines can intersect in no more than one point, intersecting lines have equal opposite angles, when we add a third line then there are properties of intersecting lines that differ from intersecting lines in Euclidean geometry. For example, given 2 intersecting lines there are many lines that do not intersect either of the given lines. While in some models lines look different they do have these properties, non-intersecting lines in hyperbolic geometry also have properties that differ from non-intersecting lines in Euclidean geometry, For any line R and any point P which does not lie on R. In the plane containing line R and point P there are at least two lines through P that do not intersect R. This implies that there are through P an infinite number of lines that do not intersect R. All other non-intersecting lines have a point of distance and diverge from both sides of that point, and are called ultraparallel, diverging parallel or sometimes non-intersecting. Some geometers simply use parallel lines instead of limiting parallel lines and these limiting parallels make an angle θ with PB, this angle depends only on the Gaussian curvature of the plane and the distance PB and is called the angle of parallelism
12.
Projective geometry
–
Projective geometry is a topic of mathematics. It is the study of properties that are invariant with respect to projective transformations. This means that, compared to elementary geometry, projective geometry has a different setting, projective space, properties meaningful for projective geometry are respected by this new idea of transformation, which is more radical in its effects than can be expressed by a transformation matrix and translations. The first issue for geometers is what kind of geometry is adequate for a novel situation, one source for projective geometry was indeed the theory of perspective. Another difference from elementary geometry is the way in which parallel lines can be said to meet in a point at infinity, again this notion has an intuitive basis, such as railway tracks meeting at the horizon in a perspective drawing. See projective plane for the basics of geometry in two dimensions. While the ideas were available earlier, projective geometry was mainly a development of the 19th century and this included the theory of complex projective space, the coordinates used being complex numbers. Several major types of more abstract mathematics were based on projective geometry and it was also a subject with a large number of practitioners for its own sake, as synthetic geometry. Another topic that developed from axiomatic studies of projective geometry is finite geometry, the topic of projective geometry is itself now divided into many research subtopics, two examples of which are projective algebraic geometry and projective differential geometry. Projective geometry is an elementary form of geometry, meaning that it is not based on a concept of distance. In two dimensions it begins with the study of configurations of points and lines and that there is indeed some geometric interest in this sparse setting was first established by Desargues and others in their exploration of the principles of perspective art. In higher dimensional spaces there are considered hyperplanes, and other linear subspaces, Projective geometry can also be seen as a geometry of constructions with a straight-edge alone. Since projective geometry excludes compass constructions, there are no circles, no angles, no measurements, no parallels and it was realised that the theorems that do apply to projective geometry are simpler statements. For example, the different conic sections are all equivalent in projective geometry, during the early 19th century the work of Jean-Victor Poncelet, Lazare Carnot and others established projective geometry as an independent field of mathematics. Its rigorous foundations were addressed by Karl von Staudt and perfected by Italians Giuseppe Peano, Mario Pieri, Alessandro Padoa, after much work on the very large number of theorems in the subject, therefore, the basics of projective geometry became understood. The incidence structure and the cross-ratio are fundamental invariants under projective transformations, Projective geometry can be modeled by the affine plane plus a line at infinity and then treating that line as ordinary. An algebraic model for doing projective geometry in the style of geometry is given by homogeneous coordinates. In a foundational sense, projective geometry and ordered geometry are elementary since they involve a minimum of axioms and either can be used as the foundation for affine, Projective geometry is not ordered and so it is a distinct foundation for geometry
13.
Affine geometry
–
In mathematics, affine geometry is what remains of Euclidean geometry when not using the metric notions of distance and angle. As the notion of parallel lines is one of the properties that is independent of any metric. Therefore, Playfairs axiom is fundamental in affine geometry, comparisons of figures in affine geometry are made with affine transformations, which are mappings that preserve alignment of points and parallelism of lines. Affine geometry can be developed in two ways that are essentially equivalent, in synthetic geometry, an affine space is a set of points to which is associated a set of lines, which satisfy some axioms. Affine geometry can also be developed on the basis of linear algebra, although this article only discusses affine spaces, the notion of forgetting the metric is much more general, and can be applied to arbitrary manifolds, in general. This extension of the notion of affine spaces to manifolds in general is developed in the article on the affine connection, in 1748, Euler introduced the term affine in his book Introductio in analysin infinitorum. In 1827, August Möbius wrote on geometry in his Der barycentrische Calcul. After Felix Kleins Erlangen program, affine geometry was recognized as a generalization of Euclidean geometry, in 1912, Edwin B. Wilson and Gilbert N. Lewis developed an affine geometry to express the special theory of relativity. In 1918, Hermann Weyl referred to affine geometry for his text Space, Time and he used affine geometry to introduce vector addition and subtraction at the earliest stages of his development of mathematical physics. In 1984, the plane associated to the Lorentzian vector space L2 was described by Graciela Birman. The full axiom system proposed has point, line, and line containing point as primitive notions, for any line l and any point P, not on l, there is just one line containing P and not containing any point of l. This line is said to be parallel to l, every line contains at least two points. There are at least three points not belonging to one line, according to H. S. M. Euclidean geometry corresponds to the ordinary idea of rotation, while Minkowski’s geometry corresponds to hyperbolic rotation. With respect to perpendicular lines, they remain perpendicular when the plane is subjected to ordinary rotation, in the Minkowski geometry, lines that are hyperbolic-orthogonal remain in that relation when the plane is subjected to hyperbolic rotation. Given seven distinct points A, A, B, B, C, C, O, such that AA, BB, the affine concept of parallelism forms an equivalence relation on lines. The first non-Desarguesian plane was noted by David Hilbert in his Foundations of Geometry, the Moulton plane is a standard illustration. In order to provide a context for such geometry as well as those where Desargues theorem is valid, rudimentary affine planes are constructed from ordered pairs taken from a ternary ring. A plane is said to have the minor affine Desargues property when two triangles in parallel perspective, having two sides, must also have the third sides parallel
14.
Synthetic geometry
–
Synthetic geometry is the study of geometry without the use of coordinates or formulas. It relies on the method and the tools directly related to them. Only after the introduction of methods was there a reason to introduce the term synthetic geometry to distinguish this approach to geometry from other approaches. Other approaches to geometry are embodied in analytic and algebraic geometries, geometry, as presented by Euclid in the elements, is the quintessential example of the use of the synthetic method. It was the method of Isaac Newton for the solution of geometric problems. Synthetic methods were most prominent during the 19th century when geometers rejected coordinate methods in establishing the foundations of projective geometry, for example the geometer Jakob Steiner hated analytic geometry, and always gave preference to synthetic methods. The process of logical synthesis begins with some arbitrary but definite starting point and this starting point is the introduction of primitive notions or primitives and axioms about these primitives, Primitives are the most basic ideas. Typically they include objects and relationships. In geometry, the objects are such as points, lines and planes. Axioms are statements about these primitives, for example, any two points are incident with just one line. Axioms are assumed true, and not proven and they are the building blocks of geometric concepts, since they specify the properties that the primitives have. From a given set of axioms, synthesis proceeds as a carefully constructed logical argument, when a significant result is proved rigorously, it becomes a theorem. There is no fixed set for geometry, as more than one consistent set can be chosen. Each such set may lead to a different geometry, while there are examples of different sets giving the same geometry. With this plethora of possibilities, it is no longer appropriate to speak of geometry in the singular, historically, Euclids parallel postulate has turned out to be independent of the other axioms. Simply discarding it gives absolute geometry, while negating it yields hyperbolic geometry, other consistent axiom sets can yield other geometries, such as projective, elliptic, spherical or affine geometry. Axioms of continuity and betweeness are also optional, for example, following the Erlangen program of Klein, the nature of any given geometry can be seen as the connection between symmetry and the content of the propositions, rather than the style of development. One of the early French analysts summarized synthetic geometry this way, for example, the treatment of the projective plane starting from axioms of incidence is actually a broader theory than is found by starting with a vector space of dimension three
15.
Analytic geometry
–
In classical mathematics, analytic geometry, also known as coordinate geometry, or Cartesian geometry, is the study of geometry using a coordinate system. Analytic geometry is used in physics and engineering, and also in aviation, rocketry, space science. It is the foundation of most modern fields of geometry, including algebraic, differential, discrete, usually the Cartesian coordinate system is applied to manipulate equations for planes, straight lines, and squares, often in two and sometimes in three dimensions. Geometrically, one studies the Euclidean plane and Euclidean space, the numerical output, however, might also be a vector or a shape. That the algebra of the numbers can be employed to yield results about the linear continuum of geometry relies on the Cantor–Dedekind axiom. Apollonius in the Conics further developed a method that is so similar to analytic geometry that his work is thought to have anticipated the work of Descartes by some 1800 years. He further developed relations between the abscissas and the corresponding ordinates that are equivalent to rhetorical equations of curves and that is, equations were determined by curves, but curves were not determined by equations. Coordinates, variables, and equations were subsidiary notions applied to a specific geometric situation, analytic geometry was independently invented by René Descartes and Pierre de Fermat, although Descartes is sometimes given sole credit. Cartesian geometry, the term used for analytic geometry, is named after Descartes. This work, written in his native French tongue, and its philosophical principles, initially the work was not well received, due, in part, to the many gaps in arguments and complicated equations. Only after the translation into Latin and the addition of commentary by van Schooten in 1649 did Descartess masterpiece receive due recognition, Pierre de Fermat also pioneered the development of analytic geometry. Although not published in his lifetime, a form of Ad locos planos et solidos isagoge was circulating in Paris in 1637. Clearly written and well received, the Introduction also laid the groundwork for analytical geometry, as a consequence of this approach, Descartes had to deal with more complicated equations and he had to develop the methods to work with polynomial equations of higher degree. It was Leonard Euler who first applied the method in a systematic study of space curves and surfaces. In analytic geometry, the plane is given a coordinate system, similarly, Euclidean space is given coordinates where every point has three coordinates. The value of the coordinates depends on the choice of the point of origin. These are typically written as an ordered pair and this system can also be used for three-dimensional geometry, where every point in Euclidean space is represented by an ordered triple of coordinates. In polar coordinates, every point of the plane is represented by its distance r from the origin and its angle θ from the polar axis
16.
Algebraic geometry
–
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, the fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. A point of the plane belongs to a curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the points, the inflection points. More advanced questions involve the topology of the curve and relations between the curves given by different equations, Algebraic geometry occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex analysis, topology and number theory. In the 20th century, algebraic geometry split into several subareas, the mainstream of algebraic geometry is devoted to the study of the complex points of the algebraic varieties and more generally to the points with coordinates in an algebraically closed field. The study of the points of a variety with coordinates in the field of the rational numbers or in a number field became arithmetic geometry. The study of the points of an algebraic variety is the subject of real algebraic geometry. A large part of singularity theory is devoted to the singularities of algebraic varieties, with the rise of the computers, a computational algebraic geometry area has emerged, which lies at the intersection of algebraic geometry and computer algebra. It consists essentially in developing algorithms and software for studying and finding the properties of explicitly given algebraic varieties and this means that a point of such a scheme may be either a usual point or a subvariety. This approach also enables a unification of the language and the tools of algebraic geometry, mainly concerned with complex points. Wiless proof of the longstanding conjecture called Fermats last theorem is an example of the power of this approach. For instance, the sphere in three-dimensional Euclidean space R3 could be defined as the set of all points with x 2 + y 2 + z 2 −1 =0. A slanted circle in R3 can be defined as the set of all points which satisfy the two polynomial equations x 2 + y 2 + z 2 −1 =0, x + y + z =0, first we start with a field k. In classical algebraic geometry, this field was always the complex numbers C and we consider the affine space of dimension n over k, denoted An. When one fixes a system, one may identify An with kn. The purpose of not working with kn is to emphasize that one forgets the vector space structure that kn carries, the property of a function to be polynomial does not depend on the choice of a coordinate system in An. When a coordinate system is chosen, the functions on the affine n-space may be identified with the ring of polynomial functions in n variables over k
17.
Differential geometry
–
Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in the three-dimensional Euclidean space formed the basis for development of differential geometry during the 18th century, since the late 19th century, differential geometry has grown into a field concerned more generally with the geometric structures on differentiable manifolds. Differential geometry is related to differential topology and the geometric aspects of the theory of differential equations. The differential geometry of surfaces captures many of the key ideas, Differential geometry arose and developed as a result of and in connection to the mathematical analysis of curves and surfaces. These unanswered questions indicated greater, hidden relationships, initially applied to the Euclidean space, further explorations led to non-Euclidean space, and metric and topological spaces. Riemannian geometry studies Riemannian manifolds, smooth manifolds with a Riemannian metric and this is a concept of distance expressed by means of a smooth positive definite symmetric bilinear form defined on the tangent space at each point. Various concepts based on length, such as the arc length of curves, area of plane regions, the notion of a directional derivative of a function from multivariable calculus is extended in Riemannian geometry to the notion of a covariant derivative of a tensor. Many concepts and techniques of analysis and differential equations have been generalized to the setting of Riemannian manifolds, a distance-preserving diffeomorphism between Riemannian manifolds is called an isometry. This notion can also be defined locally, i. e. for small neighborhoods of points, any two regular curves are locally isometric. In higher dimensions, the Riemann curvature tensor is an important pointwise invariant associated with a Riemannian manifold that measures how close it is to being flat, an important class of Riemannian manifolds is the Riemannian symmetric spaces, whose curvature is not necessarily constant. These are the closest analogues to the plane and space considered in Euclidean and non-Euclidean geometry. Pseudo-Riemannian geometry generalizes Riemannian geometry to the case in which the metric tensor need not be positive-definite, a special case of this is a Lorentzian manifold, which is the mathematical basis of Einsteins general relativity theory of gravity. Finsler geometry has the Finsler manifold as the object of study. This is a manifold with a Finsler metric, i. e. a Banach norm defined on each tangent space. Riemannian manifolds are special cases of the more general Finsler manifolds. A Finsler structure on a manifold M is a function F, TM → [0, ∞) such that, F = |m|F for all x, y in TM, F is infinitely differentiable in TM −, symplectic geometry is the study of symplectic manifolds. A symplectic manifold is an almost symplectic manifold for which the symplectic form ω is closed, a diffeomorphism between two symplectic manifolds which preserves the symplectic form is called a symplectomorphism. Non-degenerate skew-symmetric bilinear forms can only exist on even-dimensional vector spaces, in dimension 2, a symplectic manifold is just a surface endowed with an area form and a symplectomorphism is an area-preserving diffeomorphism
18.
Riemannian geometry
–
This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other quantities can be derived by integrating local contributions. Riemannian geometry originated with the vision of Bernhard Riemann expressed in his inaugural lecture Ueber die Hypothesen and it is a very broad and abstract generalization of the differential geometry of surfaces in R3. Riemannian geometry was first put forward in generality by Bernhard Riemann in the 19th century and it deals with a broad range of geometries whose metric properties vary from point to point, including the standard types of Non-Euclidean geometry. Any smooth manifold admits a Riemannian metric, which helps to solve problems of differential topology. It also serves as a level for the more complicated structure of pseudo-Riemannian manifolds. Other generalizations of Riemannian geometry include Finsler geometry, there exists a close analogy of differential geometry with the mathematical structure of defects in regular crystals. Dislocations and Disclinations produce torsions and curvature, the choice is made depending on its importance and elegance of formulation. Most of the results can be found in the monograph by Jeff Cheeger. The formulations given are far from being very exact or the most general and this list is oriented to those who already know the basic definitions and want to know what these definitions are about. Gauss–Bonnet theorem The integral of the Gauss curvature on a compact 2-dimensional Riemannian manifold is equal to 2πχ where χ denotes the Euler characteristic of M and this theorem has a generalization to any compact even-dimensional Riemannian manifold, see generalized Gauss-Bonnet theorem. Nash embedding theorems also called fundamental theorems of Riemannian geometry and they state that every Riemannian manifold can be isometrically embedded in a Euclidean space Rn. If M is a connected compact n-dimensional Riemannian manifold with sectional curvature strictly pinched between 1/4 and 1 then M is diffeomorphic to a sphere. Given constants C, D and V, there are finitely many compact n-dimensional Riemannian manifolds with sectional curvature |K| ≤ C, diameter ≤ D. There is an εn >0 such that if an n-dimensional Riemannian manifold has a metric with sectional curvature |K| ≤ εn, G. Perelman in 1994 gave an astonishingly elegant/short proof of the Soul Conjecture, M is diffeomorphic to Rn if it has positive curvature at only one point. There is a constant C = C such that if M is a compact connected n-dimensional Riemannian manifold with sectional curvature then the sum of its Betti numbers is at most C. Given constants C, D and V, there are finitely many homotopy types of compact n-dimensional Riemannian manifolds with sectional curvature K ≥ C, diameter ≤ D. It implies that any two points of a connected complete Riemannian manifold with nonpositive sectional curvature are joined by a unique geodesic
19.
Symplectic geometry
–
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds, that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the space of certain classical systems takes on the structure of a symplectic manifold. A symplectic geometry is defined on a smooth even-dimensional space that is a differentiable manifold, on this space is defined a geometric object, the symplectic form, that allows for the measurement of sizes of two-dimensional objects in the space. The symplectic form in symplectic geometry plays an analogous to that of the metric tensor in Riemannian geometry. Where the metric tensor measures lengths and angles, the symplectic form measures areas, Symplectic geometry arose from the study of classical mechanics and an example of a symplectic structure is the motion of an object in one dimension. To specify the trajectory of the object, one requires both the position q and the p, which form a point in the Euclidean plane ℝ2. In this case, the form is ω = d p ∧ d q and is an area form that measures the area A of a region S in the plane through integration. The area is important because as conservative dynamical systems evolve in time, higher dimensional symplectic geometries are defined analogously. Symplectic geometry has a number of similarities with and differences from Riemannian geometry, unlike in the Riemannian case, symplectic manifolds have no local invariants such as curvature. Another difference with Riemannian geometry is not every differentiable manifold need admit a symplectic form. For example, every symplectic manifold is even-dimensional and orientable, both concepts play a fundamental role in their respective disciplines. Every Kähler manifold is also a symplectic manifold, most symplectic manifolds, one can say, are not Kähler, and so do not have an integrable complex structure compatible with the symplectic form. These invariants also play a key role in string theory, Symplectic geometry is also called symplectic topology although the latter is really a subfield concerned with important global questions in symplectic geometry. The term symplectic is a calque of complex, introduced by Weyl, previously and this naming reflects the deep connections between complex and symplectic structures. ISBN 2-88124-901-9. de Gosson, Maurice A. Symplectic Geometry, bulletin of the American Mathematical Society. Hazewinkel, Michiel, ed. Symplectic structure, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
20.
Finite geometry
–
A finite geometry is any geometric system that has only a finite number of points. The familiar Euclidean geometry is not finite, because a Euclidean line contains infinitely many points, a geometry based on the graphics displayed on a computer screen, where the pixels are considered to be the points, would be a finite geometry. While there are systems that could be called finite geometries, attention is mostly paid to the finite projective. Finite geometries may be constructed via linear algebra, starting from vector spaces over a finite field, Finite geometries can also be defined purely axiomatically. Most common finite geometries are Galois geometries, since any finite projective space of three or greater is isomorphic to a projective space over a finite field. However, dimension two has affine and projective planes that are not isomorphic to Galois geometries, namely the non-Desarguesian planes, similar results hold for other kinds of finite geometries. The following remarks apply only to finite planes, There are two main kinds of finite plane geometry, affine and projective. In an affine plane, the sense of parallel lines applies. In a projective plane, by contrast, any two lines intersect at a point, so parallel lines do not exist. Both finite affine plane geometry and finite projective plane geometry may be described by fairly simple axioms. An affine plane geometry is a nonempty set X, along with a nonempty collection L of subsets of X, such that, For every two distinct points, there is exactly one line that contains both points. Playfairs axiom, Given a line ℓ and a point p not on ℓ, There exists a set of four points, no three of which belong to the same line. The last axiom ensures that the geometry is not trivial, while the first two specify the nature of the geometry, the simplest affine plane contains only four points, it is called the affine plane of order 2. Since no three are collinear, any pair of points determines a line, and so this plane contains six lines. It corresponds to a tetrahedron where non-intersecting edges are considered parallel, or a square where not only opposite sides, but also diagonals are considered parallel. More generally, an affine plane of order n has n2 points and n2 + n lines, each line contains n points. The affine plane of order 3 is known as the Hesse configuration. A projective plane geometry is a nonempty set X, along with a nonempty collection L of subsets of X, such that, the intersection of any two distinct lines contains exactly one point
21.
Discrete geometry
–
Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of geometric objects, such as points, lines, planes, circles, spheres, polygons. The subject focuses on the properties of these objects, such as how they intersect one another. Although polyhedra and tessellations had been studied for years by people such as Kepler and Cauchy. Coxeter and Paul Erdős, laid the foundations of discrete geometry, a polytope is a geometric object with flat sides, which exists in any general number of dimensions. A polygon is a polytope in two dimensions, a polyhedron in three dimensions, and so on in higher dimensions, some theories further generalize the idea to include such objects as unbounded polytopes, and abstract polytopes. A sphere packing is an arrangement of non-overlapping spheres within a containing space, the spheres considered are usually all of identical size, and the space is usually three-dimensional Euclidean space. However, sphere packing problems can be generalised to consider unequal spheres, a tessellation of a flat surface is the tiling of a plane using one or more geometric shapes, called tiles, with no overlaps and no gaps. In mathematics, tessellations can be generalized to higher dimensions, topics in this area include, Cauchys theorem Flexible polyhedra Incidence structures generalize planes as can be seen from their axiomatic definitions. Incidence structures also generalize the higher-dimensional analogs and the structures are sometimes called finite geometries. Formally, a structure is a triple C =. Where P is a set of points, L is a set of lines, the elements of I are called flags. If ∈ I, we say that point p lies on line l, a geometric graph is a graph in which the vertices or edges are associated with geometric objects. Examples include Euclidean graphs, the 1-skeleton of a polyhedron or polytope, intersection graphs, simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely combinatorial counterpart to a complex is an abstract simplicial complex. The discipline of combinatorial topology used combinatorial concepts in topology and in the early 20th century this turned into the field of algebraic topology, lovászs proof used the Borsuk-Ulam theorem and this theorem retains a prominent role in this new field. This theorem has many equivalent versions and analogs and has used in the study of fair division problems. Topics in this include, Sperners lemma Regular maps A discrete group is a group G equipped with the discrete topology
22.
Fractal
–
A fractal is a mathematical set that exhibits a repeating pattern displayed at every scale. It is also known as expanding symmetry or evolving symmetry, if the replication is exactly the same at every scale, it is called a self-similar pattern. An example of this is the Menger Sponge, Fractals can also be nearly the same at different levels. This latter pattern is illustrated in small magnifications of the Mandelbrot set, Fractals also include the idea of a detailed pattern that repeats itself. Fractals are different from other geometric figures because of the way in which they scale, doubling the edge lengths of a polygon multiplies its area by four, which is two raised to the power of two. Likewise, if the radius of a sphere is doubled, its volume scales by eight, but if a fractals one-dimensional lengths are all doubled, the spatial content of the fractal scales by a power that is not necessarily an integer. This power is called the dimension of the fractal. As mathematical equations, fractals are usually nowhere differentiable, the term fractal was first used by mathematician Benoît Mandelbrot in 1975. Mandelbrot based it on the Latin frāctus meaning broken or fractured, there is some disagreement amongst authorities about how the concept of a fractal should be formally defined. Mandelbrot himself summarized it as beautiful, damn hard, increasingly useful, Fractals are not limited to geometric patterns, but can also describe processes in time. Fractal patterns with various degrees of self-similarity have been rendered or studied in images, structures and sounds and found in nature, technology, art, Fractals are of particular relevance in the field of chaos theory, since the graphs of most chaotic processes are fractal. The word fractal often has different connotations for laypeople than for mathematicians, the mathematical concept is difficult to define formally even for mathematicians, but key features can be understood with little mathematical background. If this is done on fractals, however, no new detail appears, nothing changes, self-similarity itself is not necessarily counter-intuitive. The difference for fractals is that the pattern reproduced must be detailed, a regular line, for instance, is conventionally understood to be 1-dimensional, if such a curve is divided into pieces each 1/3 the length of the original, there are always 3 equal pieces. In contrast, consider the Koch snowflake and it is also 1-dimensional for the same reason as the ordinary line, but it has, in addition, a fractal dimension greater than 1 because of how its detail can be measured. This also leads to understanding a third feature, that fractals as mathematical equations are nowhere differentiable, in a concrete sense, this means fractals cannot be measured in traditional ways. The history of fractals traces a path from chiefly theoretical studies to modern applications in computer graphics, according to Pickover, the mathematics behind fractals began to take shape in the 17th century when the mathematician and philosopher Gottfried Leibniz pondered recursive self-similarity. In his writings, Leibniz used the term fractional exponents, also in the last part of that century, Felix Klein and Henri Poincaré introduced a category of fractal that has come to be called self-inverse fractals
23.
Dimension
–
In physics and mathematics, the dimension of a mathematical space is informally defined as the minimum number of coordinates needed to specify any point within it. Thus a line has a dimension of one only one coordinate is needed to specify a point on it – for example. The inside of a cube, a cylinder or a sphere is three-dimensional because three coordinates are needed to locate a point within these spaces, in classical mechanics, space and time are different categories and refer to absolute space and time. That conception of the world is a space but not the one that was found necessary to describe electromagnetism. The four dimensions of spacetime consist of events that are not absolutely defined spatially and temporally, Minkowski space first approximates the universe without gravity, the pseudo-Riemannian manifolds of general relativity describe spacetime with matter and gravity. Ten dimensions are used to string theory, and the state-space of quantum mechanics is an infinite-dimensional function space. The concept of dimension is not restricted to physical objects, high-dimensional spaces frequently occur in mathematics and the sciences. They may be parameter spaces or configuration spaces such as in Lagrangian or Hamiltonian mechanics, in mathematics, the dimension of an object is an intrinsic property independent of the space in which the object is embedded. This intrinsic notion of dimension is one of the ways the mathematical notion of dimension differs from its common usages. The dimension of Euclidean n-space En is n, when trying to generalize to other types of spaces, one is faced with the question what makes En n-dimensional. One answer is that to cover a ball in En by small balls of radius ε. This observation leads to the definition of the Minkowski dimension and its more sophisticated variant, the Hausdorff dimension, for example, the boundary of a ball in En looks locally like En-1 and this leads to the notion of the inductive dimension. While these notions agree on En, they turn out to be different when one looks at more general spaces, a tesseract is an example of a four-dimensional object. The rest of this section some of the more important mathematical definitions of the dimensions. A complex number has a real part x and an imaginary part y, a single complex coordinate system may be applied to an object having two real dimensions. For example, an ordinary two-dimensional spherical surface, when given a complex metric, complex dimensions appear in the study of complex manifolds and algebraic varieties. The dimension of a space is the number of vectors in any basis for the space. This notion of dimension is referred to as the Hamel dimension or algebraic dimension to distinguish it from other notions of dimension
24.
Compass-and-straightedge construction
–
The idealized ruler, known as a straightedge, is assumed to be infinite in length, and has no markings on it and only one edge. The compass is assumed to collapse when lifted from the page, more formally, the only permissible constructions are those granted by Euclids first three postulates. It turns out to be the case that every point constructible using straightedge, the ancient Greek mathematicians first conceived compass-and-straightedge constructions, and a number of ancient problems in plane geometry impose this restriction. The ancient Greeks developed many constructions, but in cases were unable to do so. Gauss showed that some polygons are constructible but that most are not, some of the most famous straightedge-and-compass problems were proven impossible by Pierre Wantzel in 1837, using the mathematical theory of fields. In spite of existing proofs of impossibility, some persist in trying to solve these problems, in terms of algebra, a length is constructible if and only if it represents a constructible number, and an angle is constructible if and only if its cosine is a constructible number. A number is constructible if and only if it can be using the four basic arithmetic operations. Circles can only be starting from two given points, the centre and a point on the circle. The compass may or may not collapse when its not drawing a circle, the straightedge is infinitely long, but it has no markings on it and has only one straight edge, unlike ordinary rulers. It can only be used to draw a segment between two points or to extend an existing segment. The modern compass generally does not collapse and several modern constructions use this feature and it would appear that the modern compass is a more powerful instrument than the ancient collapsing compass. However, by Proposition 2 of Book 1 of Euclids Elements, although the proposition is correct, its proofs have a long and checkered history. Eyeballing it and getting close does not count as a solution and that is, it must have a finite number of steps, and not be the limit of ever closer approximations. One of the purposes of Greek mathematics was to find exact constructions for various lengths, for example. The Greeks could not find constructions for these three problems, among others, Squaring the circle, Drawing a square the same area as a given circle, doubling the cube, Drawing a cube with twice the volume of a given cube. Trisecting the angle, Dividing a given angle into three smaller angles all of the same size, for 2000 years people tried to find constructions within the limits set above, and failed. All three have now been proven under mathematical rules to be generally impossible, the ancient Greek mathematicians first attempted compass-and-straightedge constructions, and they discovered how to construct sums, differences, products, ratios, and square roots of given lengths. They could also construct half of an angle, a square whose area is twice that of another square, a square having the same area as a given polygon
25.
Angle
–
In planar geometry, an angle is the figure formed by two rays, called the sides of the angle, sharing a common endpoint, called the vertex of the angle. Angles formed by two rays lie in a plane, but this plane does not have to be a Euclidean plane, Angles are also formed by the intersection of two planes in Euclidean and other spaces. Angles formed by the intersection of two curves in a plane are defined as the angle determined by the tangent rays at the point of intersection. Similar statements hold in space, for example, the angle formed by two great circles on a sphere is the dihedral angle between the planes determined by the great circles. Angle is also used to designate the measure of an angle or of a rotation and this measure is the ratio of the length of a circular arc to its radius. In the case of an angle, the arc is centered at the vertex. In the case of a rotation, the arc is centered at the center of the rotation and delimited by any other point and its image by the rotation. The word angle comes from the Latin word angulus, meaning corner, cognate words are the Greek ἀγκύλος, meaning crooked, curved, both are connected with the Proto-Indo-European root *ank-, meaning to bend or bow. Euclid defines a plane angle as the inclination to each other, in a plane, according to Proclus an angle must be either a quality or a quantity, or a relationship. In mathematical expressions, it is common to use Greek letters to serve as variables standing for the size of some angle, lower case Roman letters are also used, as are upper case Roman letters in the context of polygons. See the figures in this article for examples, in geometric figures, angles may also be identified by the labels attached to the three points that define them. For example, the angle at vertex A enclosed by the rays AB, sometimes, where there is no risk of confusion, the angle may be referred to simply by its vertex. However, in geometrical situations it is obvious from context that the positive angle less than or equal to 180 degrees is meant. Otherwise, a convention may be adopted so that ∠BAC always refers to the angle from B to C. Angles smaller than an angle are called acute angles. An angle equal to 1/4 turn is called a right angle, two lines that form a right angle are said to be normal, orthogonal, or perpendicular. Angles larger than an angle and smaller than a straight angle are called obtuse angles. An angle equal to 1/2 turn is called a straight angle, Angles larger than a straight angle but less than 1 turn are called reflex angles
26.
Curve
–
In mathematics, a curve is, generally speaking, an object similar to a line but that need not be straight. Thus, a curve is a generalization of a line, in that curvature is not necessarily zero, various disciplines within mathematics have given the term different meanings depending on the area of study, so the precise meaning depends on context. However, many of these meanings are special instances of the definition which follows, a curve is a topological space which is locally homeomorphic to a line. In everyday language, this means that a curve is a set of points which, near each of its points, looks like a line, a simple example of a curve is the parabola, shown to the right. A large number of curves have been studied in multiple mathematical fields. A closed curve is a curve that forms a path whose starting point is also its ending point—that is, closely related meanings include the graph of a function and a two-dimensional graph. Interest in curves began long before they were the subject of mathematical study and this can be seen in numerous examples of their decorative use in art and on everyday objects dating back to prehistoric times. Curves, or at least their graphical representations, are simple to create, historically, the term line was used in place of the more modern term curve. Hence the phrases straight line and right line were used to distinguish what are called lines from curved lines. For example, in Book I of Euclids Elements, a line is defined as a breadthless length, Euclids idea of a line is perhaps clarified by the statement The extremities of a line are points. Later commentators further classified according to various schemes. For example, Composite lines Incomposite lines Determinate Indeterminate The Greek geometers had studied many kinds of curves. One reason was their interest in solving problems that could not be solved using standard compass. These curves include, The conic sections, deeply studied by Apollonius of Perga The cissoid of Diocles, studied by Diocles, the conchoid of Nicomedes, studied by Nicomedes as a method to both double the cube and to trisect an angle. The Archimedean spiral, studied by Archimedes as a method to trisect an angle, the spiric sections, sections of tori studied by Perseus as sections of cones had been studied by Apollonius. A fundamental advance in the theory of curves was the advent of analytic geometry in the seventeenth century and this enabled a curve to be described using an equation rather than an elaborate geometrical construction. Previously, curves had been described as geometrical or mechanical according to how they were, or supposedly could be, conic sections were applied in astronomy by Kepler. Newton also worked on an example in the calculus of variations
27.
Diagonal
–
In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal, in matrix algebra, a diagonal of a square matrix is a set of entries extending from one corner to the farthest corner. There are also other, non-mathematical uses, diagonal pliers are wire-cutting pliers defined by the cutting edges of the jaws intersects the joint rivet at an angle or on a diagonal, hence the name. A diagonal lashing is a type of lashing used to bind spars or poles together applied so that the cross over the poles at an angle. In association football, the system of control is the method referees. As applied to a polygon, a diagonal is a line segment joining any two non-consecutive vertices, therefore, a quadrilateral has two diagonals, joining opposite pairs of vertices. For any convex polygon, all the diagonals are inside the polygon, in a convex polygon, if no three diagonals are concurrent at a single point, the number of regions that the diagonals divide the interior into is given by + =24. The number of regions is 1,4,11,25,50,91,154,246, in a polygon with n angles the number of diagonals is given by n ∗2. The number of intersections between the diagonals is given by, in the case of a square matrix, the main or principal diagonal is the diagonal line of entries running from the top-left corner to the bottom-right corner. For a matrix A with row index specified by i and column index specified by j, the off-diagonal entries are those not on the main diagonal. A diagonal matrix is one whose off-diagonal entries are all zero, a superdiagonal entry is one that is directly above and to the right of the main diagonal. Just as diagonal entries are those A i j with j = i and this plays an important part in geometry, for example, the fixed points of a mapping F from X to itself may be obtained by intersecting the graph of F with the diagonal. In geometric studies, the idea of intersecting the diagonal with itself is common, not directly and this is related at a deep level with the Euler characteristic and the zeros of vector fields. For example, the circle S1 has Betti numbers 1,1,0,0,0, a geometric way of expressing this is to look at the diagonal on the two-torus S1xS1 and observe that it can move off itself by the small motion to. Topics In Algebra, Waltham, Blaisdell Publishing Company, ISBN 978-1114541016 Nering, linear Algebra and Matrix Theory, New York, Wiley, LCCN76091646 Diagonals of a polygon with interactive animation Polygon diagonal from MathWorld. Diagonal of a matrix from MathWorld
28.
Orthogonality
–
The concept of orthogonality has been broadly generalized in mathematics, as well as in areas such as chemistry, and engineering. The word comes from the Greek ὀρθός, meaning upright, and γωνία, the ancient Greek ὀρθογώνιον orthogōnion and classical Latin orthogonium originally denoted a rectangle. Later, they came to mean a right triangle, in the 12th century, the post-classical Latin word orthogonalis came to mean a right angle or something related to a right angle. In geometry, two Euclidean vectors are orthogonal if they are perpendicular, i. e. they form a right angle, two vectors, x and y, in an inner product space, V, are orthogonal if their inner product ⟨ x, y ⟩ is zero. This relationship is denoted x ⊥ y, two vector subspaces, A and B, of an inner product space, V, are called orthogonal subspaces if each vector in A is orthogonal to each vector in B. The largest subspace of V that is orthogonal to a subspace is its orthogonal complement. Given a module M and its dual M∗, an element m′ of M∗, two sets S′ ⊆ M∗ and S ⊆ M are orthogonal if each element of S′ is orthogonal to each element of S. A term rewriting system is said to be if it is left-linear and is non-ambiguous. Orthogonal term rewriting systems are confluent, a set of vectors in an inner product space is called pairwise orthogonal if each pairing of them is orthogonal. Such a set is called an orthogonal set, nonzero pairwise orthogonal vectors are always linearly independent. In certain cases, the normal is used to mean orthogonal. For example, the y-axis is normal to the curve y = x2 at the origin, however, normal may also refer to the magnitude of a vector. In particular, a set is called if it is an orthogonal set of unit vectors. As a result, use of the normal to mean orthogonal is often avoided. The word normal also has a different meaning in probability and statistics, a vector space with a bilinear form generalizes the case of an inner product. When the bilinear form applied to two results in zero, then they are orthogonal. The case of a pseudo-Euclidean plane uses the term hyperbolic orthogonality, in the diagram, axes x′ and t′ are hyperbolic-orthogonal for any given ϕ. In 2-D or higher-dimensional Euclidean space, two vectors are orthogonal if and only if their dot product is zero, i. e. they make an angle of 90°, hence orthogonality of vectors is an extension of the concept of perpendicular vectors into higher-dimensional spaces
29.
Perpendicular
–
In elementary geometry, the property of being perpendicular is the relationship between two lines which meet at a right angle. The property extends to other related geometric objects, a line is said to be perpendicular to another line if the two lines intersect at a right angle. Perpendicularity can be shown to be symmetric, meaning if a first line is perpendicular to a second line, for this reason, we may speak of two lines as being perpendicular without specifying an order. Perpendicularity easily extends to segments and rays, in symbols, A B ¯ ⊥ C D ¯ means line segment AB is perpendicular to line segment CD. A line is said to be perpendicular to an if it is perpendicular to every line in the plane that it intersects. This definition depends on the definition of perpendicularity between lines, two planes in space are said to be perpendicular if the dihedral angle at which they meet is a right angle. Perpendicularity is one instance of the more general mathematical concept of orthogonality, perpendicularity is the orthogonality of classical geometric objects. Thus, in advanced mathematics, the perpendicular is sometimes used to describe much more complicated geometric orthogonality conditions. The word foot is used in connection with perpendiculars. This usage is exemplified in the top diagram, above, the diagram can be in any orientation. The foot is not necessarily at the bottom, step 2, construct circles centered at A and B having equal radius. Let Q and R be the points of intersection of two circles. Step 3, connect Q and R to construct the desired perpendicular PQ, to prove that the PQ is perpendicular to AB, use the SSS congruence theorem for and QPB to conclude that angles OPA and OPB are equal. Then use the SAS congruence theorem for triangles OPA and OPB to conclude that angles POA, to make the perpendicular to the line g at or through the point P using Thales theorem, see the animation at right. The Pythagorean Theorem can be used as the basis of methods of constructing right angles, for example, by counting links, three pieces of chain can be made with lengths in the ratio 3,4,5. These can be out to form a triangle, which will have a right angle opposite its longest side. This method is useful for laying out gardens and fields, where the dimensions are large, the chains can be used repeatedly whenever required. If two lines are perpendicular to a third line, all of the angles formed along the third line are right angles
30.
Parallel (geometry)
–
In geometry, parallel lines are lines in a plane which do not meet, that is, two lines in a plane that do not intersect or touch each other at any point are said to be parallel. By extension, a line and a plane, or two planes, in three-dimensional Euclidean space that do not share a point are said to be parallel. However, two lines in space which do not meet must be in a common plane to be considered parallel. Parallel planes are planes in the same space that never meet. Parallel lines are the subject of Euclids parallel postulate, parallelism is primarily a property of affine geometries and Euclidean space is a special instance of this type of geometry. Some other spaces, such as space, have analogous properties that are sometimes referred to as parallelism. For example, A B ∥ C D indicates that line AB is parallel to line CD, in the Unicode character set, the parallel and not parallel signs have codepoints U+2225 and U+2226, respectively. In addition, U+22D5 represents the relation equal and parallel to, given parallel straight lines l and m in Euclidean space, the following properties are equivalent, Every point on line m is located at exactly the same distance from line l. Line m is in the plane as line l but does not intersect l. When lines m and l are both intersected by a straight line in the same plane, the corresponding angles of intersection with the transversal are congruent. Thus, the property is the one usually chosen as the defining property of parallel lines in Euclidean geometry. The other properties are consequences of Euclids Parallel Postulate. Another property that also involves measurement is that parallel to each other have the same gradient. The definition of parallel lines as a pair of lines in a plane which do not meet appears as Definition 23 in Book I of Euclids Elements. Alternative definitions were discussed by other Greeks, often as part of an attempt to prove the parallel postulate, proclus attributes a definition of parallel lines as equidistant lines to Posidonius and quotes Geminus in a similar vein. Simplicius also mentions Posidonius definition as well as its modification by the philosopher Aganis, at the end of the nineteenth century, in England, Euclids Elements was still the standard textbook in secondary schools. A major difference between these texts, both between themselves and between them and Euclid, is the treatment of parallel lines. These reform texts were not without their critics and one of them, Charles Dodgson, wrote a play, Euclid and His Modern Rivals, one of the early reform textbooks was James Maurice Wilsons Elementary Geometry of 1868
31.
Vertex (geometry)
–
In geometry, a vertex is a point where two or more curves, lines, or edges meet. As a consequence of this definition, the point where two lines meet to form an angle and the corners of polygons and polyhedra are vertices. A vertex is a point of a polygon, polyhedron, or other higher-dimensional polytope. However, in theory, vertices may have fewer than two incident edges, which is usually not allowed for geometric vertices. However, a smooth approximation to a polygon will also have additional vertices. A polygon vertex xi of a simple polygon P is a principal polygon vertex if the diagonal intersects the boundary of P only at x and x, there are two types of principal vertices, ears and mouths. A principal vertex xi of a simple polygon P is called an ear if the diagonal that bridges xi lies entirely in P, according to the two ears theorem, every simple polygon has at least two ears. A principal vertex xi of a simple polygon P is called a mouth if the diagonal lies outside the boundary of P. Any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges and this equation is known as Eulers polyhedron formula. Thus the number of vertices is 2 more than the excess of the number of edges over the number of faces, for example, a cube has 12 edges and 6 faces, and hence 8 vertices
32.
Congruence (geometry)
–
In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other. This means that either object can be repositioned and reflected so as to coincide precisely with the other object, so two distinct plane figures on a piece of paper are congruent if we can cut them out and then match them up completely. Turning the paper over is permitted, in elementary geometry the word congruent is often used as follows. The word equal is often used in place of congruent for these objects, two line segments are congruent if they have the same length. Two angles are congruent if they have the same measure, two circles are congruent if they have the same diameter. The related concept of similarity applies if the objects differ in size, for two polygons to be congruent, they must have an equal number of sides. Two polygons with n sides are congruent if and only if they each have identical sequences side-angle-side-angle-. for n sides. Congruence of polygons can be established graphically as follows, First, match, second, draw a vector from one of the vertices of the one of the figures to the corresponding vertex of the other figure. Translate the first figure by this vector so that two vertices match. Third, rotate the translated figure about the matched vertex until one pair of corresponding sides matches, fourth, reflect the rotated figure about this matched side until the figures match. If at any time the step cannot be completed, the polygons are not congruent, two triangles are congruent if their corresponding sides are equal in length, in which case their corresponding angles are equal in measure. SSS, If three pairs of sides of two triangles are equal in length, then the triangles are congruent, ASA, If two pairs of angles of two triangles are equal in measurement, and the included sides are equal in length, then the triangles are congruent. The ASA Postulate was contributed by Thales of Miletus, in most systems of axioms, the three criteria—SAS, SSS and ASA—are established as theorems. In the School Mathematics Study Group system SAS is taken as one of 22 postulates, AAS, If two pairs of angles of two triangles are equal in measurement, and a pair of corresponding non-included sides are equal in length, then the triangles are congruent. For American usage, AAS is equivalent to an ASA condition, RHS, also known as HL, If two right-angled triangles have their hypotenuses equal in length, and a pair of shorter sides are equal in length, then the triangles are congruent. The SSA condition which specifies two sides and a non-included angle does not by itself prove congruence, in order to show congruence, additional information is required such as the measure of the corresponding angles and in some cases the lengths of the two pairs of corresponding sides. The opposite side is longer when the corresponding angles are acute. This is the case and two different triangles can be formed from the given information, but further information distinguishing them can lead to a proof of congruence
33.
Similarity (geometry)
–
Two geometrical objects are called similar if they both have the same shape, or one has the same shape as the mirror image of the other. More precisely, one can be obtained from the other by uniformly scaling and this means that either object can be rescaled, repositioned, and reflected, so as to coincide precisely with the other object. If two objects are similar, each is congruent to the result of a uniform scaling of the other. A modern and novel perspective of similarity is to consider geometrical objects similar if one appears congruent to the other zoomed in or out at some level. For example, all circles are similar to other, all squares are similar to each other. On the other hand, ellipses are not all similar to other, rectangles are not all similar to each other. If two angles of a triangle have measures equal to the measures of two angles of triangle, then the triangles are similar. Corresponding sides of similar polygons are in proportion, and corresponding angles of similar polygons have the same measure and it can be shown that two triangles having congruent angles are similar, that is, the corresponding sides can be proved to be proportional. This is known as the AAA similarity theorem, due to this theorem, several authors simplify the definition of similar triangles to only require that the corresponding three angles are congruent. There are several statements each of which is necessary and sufficient for two triangles to be similar,1, the triangles have two congruent angles, which in Euclidean geometry implies that all their angles are congruent. That is, If ∠BAC is equal in measure to ∠B′A′C′, and ∠ABC is equal in measure to ∠A′B′C′, then this implies that ∠ACB is equal in measure to ∠A′C′B′, all the corresponding sides have lengths in the same ratio, AB/A′B′ = BC/B′C′ = AC/A′C′. This is equivalent to saying that one triangle is an enlargement of the other, two sides have lengths in the same ratio, and the angles included between these sides have the same measure. For instance, AB/A′B′ = BC/B′C′ and ∠ABC is equal in measure to ∠A′B′C′ and this is known as the SAS Similarity Criterion. When two triangles △ABC and △A′B′C′ are similar, one writes △ABC ∼ △A′B′C′, there are several elementary results concerning similar triangles in Euclidean geometry, Any two equilateral triangles are similar. Two triangles, both similar to a triangle, are similar to each other. Corresponding altitudes of similar triangles have the ratio as the corresponding sides. Two right triangles are similar if the hypotenuse and one side have lengths in the same ratio. Given a triangle △ABC and a line segment DE one can, with ruler and compass, the statement that the point F satisfying this condition exists is Walliss Postulate and is logically equivalent to Euclids Parallel Postulate
34.
Symmetry
–
Symmetry in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, symmetry has a precise definition, that an object is invariant to any of various transformations. Although these two meanings of symmetry can sometimes be told apart, they are related, so they are discussed together. The opposite of symmetry is asymmetry, a geometric shape or object is symmetric if it can be divided into two or more identical pieces that are arranged in an organized fashion. This means that an object is symmetric if there is a transformation that moves individual pieces of the object, an object has rotational symmetry if the object can be rotated about a fixed point without changing the overall shape. An object has symmetry if it can be translated without changing its overall shape. An object has symmetry if it can be simultaneously translated and rotated in three-dimensional space along a line known as a screw axis. An object has symmetry if it does not change shape when it is expanded or contracted. Fractals also exhibit a form of symmetry, where small portions of the fractal are similar in shape to large portions. Other symmetries include glide reflection symmetry and rotoreflection symmetry, a dyadic relation R is symmetric if and only if, whenever its true that Rab, its true that Rba. Thus, is the age as is symmetrical, for if Paul is the same age as Mary. Symmetric binary logical connectives are and, or, biconditional, nand, xor, the set of operations that preserve a given property of the object form a group. In general, every kind of structure in mathematics will have its own kind of symmetry, examples include even and odd functions in calculus, the symmetric group in abstract algebra, symmetric matrices in linear algebra, and the Galois group in Galois theory. In statistics, it appears as symmetric probability distributions, and as skewness, symmetry in physics has been generalized to mean invariance—that is, lack of change—under any kind of transformation, for example arbitrary coordinate transformations. This concept has one of the most powerful tools of theoretical physics. See Noethers theorem, and also, Wigners classification, which says that the symmetries of the laws of physics determine the properties of the found in nature. Important symmetries in physics include continuous symmetries and discrete symmetries of spacetime, internal symmetries of particles, in biology, the notion of symmetry is mostly used explicitly to describe body shapes. Bilateral animals, including humans, are more or less symmetric with respect to the plane which divides the body into left
35.
One-dimensional space
–
In physics and mathematics, a sequence of n numbers can be understood as a location in n-dimensional space. When n =1, the set of all locations is called a one-dimensional space. An example of a space is the number line, where the position of each point on it can be described by a single number. In algebraic geometry there are structures which are technically one-dimensional spaces. For a field k, it is a vector space over itself. Similarly, the line over k is a one-dimensional space. In particular, if k = ℂ, the complex plane, then the complex projective line P1 is one-dimensional with respect to ℂ. More generally, a ring is a module over itself. Similarly, the line over a ring is a one-dimensional space over the ring. In case the ring is an algebra over a field, these spaces are one-dimensional with respect to the algebra, the only regular polytope in one dimension is the line segment, with the Schläfli symbol. The hypersphere in 1 dimension is a pair of points, sometimes called a 0-sphere as its surface is zero-dimensional and its length is L =2 r where r is the radius. The most popular systems are the number line and the angle
36.
Point (geometry)
–
In modern mathematics, a point refers usually to an element of some set called a space. More specifically, in Euclidean geometry, a point is a primitive notion upon which the geometry is built, being a primitive notion means that a point cannot be defined in terms of previously defined objects. That is, a point is defined only by some properties, called axioms, in particular, the geometric points do not have any length, area, volume, or any other dimensional attribute. A common interpretation is that the concept of a point is meant to capture the notion of a location in Euclidean space. Points, considered within the framework of Euclidean geometry, are one of the most fundamental objects, Euclid originally defined the point as that which has no part. This idea is easily generalized to three-dimensional Euclidean space, where a point is represented by a triplet with the additional third number representing depth. Further generalizations are represented by an ordered tuplet of n terms, many constructs within Euclidean geometry consist of an infinite collection of points that conform to certain axioms. This is usually represented by a set of points, As an example, a line is a set of points of the form L =. Similar constructions exist that define the plane, line segment and other related concepts, a line segment consisting of only a single point is called a degenerate line segment. In addition to defining points and constructs related to points, Euclid also postulated a key idea about points, in spite of this, modern expansions of the system serve to remove these assumptions. There are several inequivalent definitions of dimension in mathematics, in all of the common definitions, a point is 0-dimensional. The dimension of a space is the maximum size of a linearly independent subset. In a vector space consisting of a point, there is no linearly independent subset. The zero vector is not itself linearly independent, because there is a non trivial linear combination making it zero,1 ⋅0 =0, if no such minimal n exists, the space is said to be of infinite covering dimension. A point is zero-dimensional with respect to the covering dimension because every open cover of the space has a refinement consisting of a open set. The Hausdorff dimension of X is defined by dim H , = inf, a point has Hausdorff dimension 0 because it can be covered by a single ball of arbitrarily small radius. Although the notion of a point is considered fundamental in mainstream geometry and topology, there are some systems that forgo it, e. g. noncommutative geometry. More precisely, such structures generalize well-known spaces of functions in a way that the operation take a value at this point may not be defined
37.
Line (geometry)
–
The notion of line or straight line was introduced by ancient mathematicians to represent straight objects with negligible width and depth. Lines are an idealization of such objects, the straight line is that which is equally extended between its points. In modern mathematics, given the multitude of geometries, the concept of a line is tied to the way the geometry is described. When a geometry is described by a set of axioms, the notion of a line is left undefined. The properties of lines are determined by the axioms which refer to them. One advantage to this approach is the flexibility it gives to users of the geometry, thus in differential geometry a line may be interpreted as a geodesic, while in some projective geometries a line is a 2-dimensional vector space. This flexibility also extends beyond mathematics and, for example, permits physicists to think of the path of a light ray as being a line, to avoid this vicious circle certain concepts must be taken as primitive concepts, terms which are given no definition. In geometry, it is frequently the case that the concept of line is taken as a primitive, in those situations where a line is a defined concept, as in coordinate geometry, some other fundamental ideas are taken as primitives. When the line concept is a primitive, the behaviour and properties of lines are dictated by the axioms which they must satisfy, in a non-axiomatic or simplified axiomatic treatment of geometry, the concept of a primitive notion may be too abstract to be dealt with. In this circumstance it is possible that a description or mental image of a notion is provided to give a foundation to build the notion on which would formally be based on the axioms. Descriptions of this type may be referred to, by some authors and these are not true definitions and could not be used in formal proofs of statements. The definition of line in Euclids Elements falls into this category, when geometry was first formalised by Euclid in the Elements, he defined a general line to be breadthless length with a straight line being a line which lies evenly with the points on itself. These definitions serve little purpose since they use terms which are not, themselves, in fact, Euclid did not use these definitions in this work and probably included them just to make it clear to the reader what was being discussed. In an axiomatic formulation of Euclidean geometry, such as that of Hilbert, for example, for any two distinct points, there is a unique line containing them, and any two distinct lines intersect in at most one point. In two dimensions, i. e. the Euclidean plane, two lines which do not intersect are called parallel, in higher dimensions, two lines that do not intersect are parallel if they are contained in a plane, or skew if they are not. Any collection of many lines partitions the plane into convex polygons. Lines in a Cartesian plane or, more generally, in affine coordinates, in two dimensions, the equation for non-vertical lines is often given in the slope-intercept form, y = m x + b where, m is the slope or gradient of the line. B is the y-intercept of the line, X is the independent variable of the function y = f
38.
Line segment
–
In geometry, a line segment is a part of a line that is bounded by two distinct end points, and contains every point on the line between its endpoints. A closed line segment includes both endpoints, while a line segment excludes both endpoints, a half-open line segment includes exactly one of the endpoints. Examples of line include the sides of a triangle or square. More generally, when both of the end points are vertices of a polygon or polyhedron, the line segment is either an edge if they are adjacent vertices. When the end points both lie on a such as a circle, a line segment is called a chord. Sometimes one needs to distinguish between open and closed line segments, thus, the line segment can be expressed as a convex combination of the segments two end points. In geometry, it is defined that a point B is between two other points A and C, if the distance AB added to the distance BC is equal to the distance AC. Thus in R2 the line segment with endpoints A = and C = is the collection of points. A line segment is a connected, non-empty set, if V is a topological vector space, then a closed line segment is a closed set in V. However, an open line segment is an open set in V if and only if V is one-dimensional. More generally than above, the concept of a segment can be defined in an ordered geometry. A pair of segments can be any one of the following, intersecting, parallel, skew. The last possibility is a way that line segments differ from lines, in an axiomatic treatment of geometry, the notion of betweenness is either assumed to satisfy a certain number of axioms, or else be defined in terms of an isometry of a line. Segments play an important role in other theories, for example, a set is convex if the segment that joins any two points of the set is contained in the set. This is important because it transforms some of the analysis of sets to the analysis of a line segment. The Segment Addition Postulate can be used to add congruent segment or segments with equal lengths and consequently substitute other segments into another statement to make segments congruent. A line segment can be viewed as a case of an ellipse in which the semiminor axis goes to zero, the foci go to the endpoints. A complete orbit of this ellipse traverses the line segment twice, as a degenerate orbit this is a radial elliptic trajectory. In addition to appearing as the edges and diagonals of polygons and polyhedra, some very frequently considered segments in a triangle include the three altitudes, the three medians, the perpendicular bisectors of the sides, and the internal angle bisectors
39.
Length
–
In geometric measurements, length is the most extended dimension of an object. In the International System of Quantities, length is any quantity with dimension distance, in other contexts length is the measured dimension of an object. For example, it is possible to cut a length of a wire which is shorter than wire thickness. Length may be distinguished from height, which is vertical extent, and width or breadth, length is a measure of one dimension, whereas area is a measure of two dimensions and volume is a measure of three dimensions. In most systems of measurement, the unit of length is a base unit, measurement has been important ever since humans settled from nomadic lifestyles and started using building materials, occupying land and trading with neighbours. As society has become more technologically oriented, much higher accuracies of measurement are required in a diverse set of fields. One of the oldest units of measurement used in the ancient world was the cubit which was the length of the arm from the tip of the finger to the elbow. This could then be subdivided into shorter units like the foot, hand or finger, the cubit could vary considerably due to the different sizes of people. After Albert Einsteins special relativity, length can no longer be thought of being constant in all reference frames. Thus a ruler that is one meter long in one frame of reference will not be one meter long in a frame that is travelling at a velocity relative to the first frame. This means length of an object is variable depending on the observer, in the physical sciences and engineering, when one speaks of units of length, the word length is synonymous with distance. There are several units that are used to measure length, in the International System of Units, the basic unit of length is the metre and is now defined in terms of the speed of light. The centimetre and the kilometre, derived from the metre, are commonly used units. In U. S. customary units, English or Imperial system of units, commonly used units of length are the inch, the foot, the yard, and the mile. Units used to denote distances in the vastness of space, as in astronomy, are longer than those typically used on Earth and include the astronomical unit, the light-year. Dimension Distance Orders of magnitude Reciprocal length Smoot Unit of length
40.
Two-dimensional space
–
In physics and mathematics, two-dimensional space is a geometric model of the planar projection of the physical universe. The two dimensions are commonly called length and width, both directions lie in the same plane. A sequence of n numbers can be understood as a location in n-dimensional space. When n =2, the set of all locations is called two-dimensional space or bi-dimensional space. Each reference line is called an axis or just axis of the system. The coordinates can also be defined as the positions of the projections of the point onto the two axes, expressed as signed distances from the origin. The idea of system was developed in 1637 in writings by Descartes and independently by Pierre de Fermat. Both authors used a single axis in their treatments and have a length measured in reference to this axis. The concept of using a pair of axes was introduced later, after Descartes La Géométrie was translated into Latin in 1649 by Frans van Schooten and these commentators introduced several concepts while trying to clarify the ideas contained in Descartes work. Later, the plane was thought of as a field, where any two points could be multiplied and, except for 0, divided and this was known as the complex plane. The complex plane is called the Argand plane because it is used in Argand diagrams. These are named after Jean-Robert Argand, although they were first described by Norwegian-Danish land surveyor, Argand diagrams are frequently used to plot the positions of the poles and zeroes of a function in the complex plane. In mathematics, analytic geometry describes every point in space by means of two coordinates. Two perpendicular coordinate axes are given which cross each other at the origin and they are usually labeled x and y. Another widely used system is the polar coordinate system, which specifies a point in terms of its distance from the origin. In two dimensions, there are infinitely many polytopes, the polygons, the first few regular ones are shown below, The Schläfli symbol represents a regular p-gon. The regular henagon and regular digon can be considered degenerate regular polygons and they can exist nondegenerately in non-Euclidean spaces like on a 2-sphere or a 2-torus. There exist infinitely many non-convex regular polytopes in two dimensions, whose Schläfli symbols consist of rational numbers and they are called star polygons and share the same vertex arrangements of the convex regular polygons
41.
Area
–
Area is the quantity that expresses the extent of a two-dimensional figure or shape, or planar lamina, in the plane. Surface area is its analog on the surface of a three-dimensional object. It is the analog of the length of a curve or the volume of a solid. The area of a shape can be measured by comparing the shape to squares of a fixed size, in the International System of Units, the standard unit of area is the square metre, which is the area of a square whose sides are one metre long. A shape with an area of three square metres would have the area as three such squares. In mathematics, the square is defined to have area one. There are several formulas for the areas of simple shapes such as triangles, rectangles. Using these formulas, the area of any polygon can be found by dividing the polygon into triangles, for shapes with curved boundary, calculus is usually required to compute the area. Indeed, the problem of determining the area of plane figures was a motivation for the historical development of calculus. For a solid such as a sphere, cone, or cylinder. Formulas for the areas of simple shapes were computed by the ancient Greeks. Area plays an important role in modern mathematics, in addition to its obvious importance in geometry and calculus, area is related to the definition of determinants in linear algebra, and is a basic property of surfaces in differential geometry. In analysis, the area of a subset of the plane is defined using Lebesgue measure, in general, area in higher mathematics is seen as a special case of volume for two-dimensional regions. Area can be defined through the use of axioms, defining it as a function of a collection of certain plane figures to the set of real numbers and it can be proved that such a function exists. An approach to defining what is meant by area is through axioms, area can be defined as a function from a collection M of special kind of plane figures to the set of real numbers which satisfies the following properties, For all S in M, a ≥0. If S and T are in M then so are S ∪ T and S ∩ T, if S and T are in M with S ⊆ T then T − S is in M and a = a − a. If a set S is in M and S is congruent to T then T is also in M, every rectangle R is in M. If the rectangle has length h and breadth k then a = hk, let Q be a set enclosed between two step regions S and T
42.
Polygon
–
In elementary geometry, a polygon /ˈpɒlɪɡɒn/ is a plane figure that is bounded by a finite chain of straight line segments closing in a loop to form a closed polygonal chain or circuit. These segments are called its edges or sides, and the points where two edges meet are the vertices or corners. The interior of the polygon is called its body. An n-gon is a polygon with n sides, for example, a polygon is a 2-dimensional example of the more general polytope in any number of dimensions. The basic geometrical notion of a polygon has been adapted in various ways to suit particular purposes, mathematicians are often concerned only with the bounding closed polygonal chain and with simple polygons which do not self-intersect, and they often define a polygon accordingly. A polygonal boundary may be allowed to intersect itself, creating star polygons and these and other generalizations of polygons are described below. The word polygon derives from the Greek adjective πολύς much, many and it has been suggested that γόνυ knee may be the origin of “gon”. Polygons are primarily classified by the number of sides, Polygons may be characterized by their convexity or type of non-convexity, Convex, any line drawn through the polygon meets its boundary exactly twice. As a consequence, all its interior angles are less than 180°, equivalently, any line segment with endpoints on the boundary passes through only interior points between its endpoints. Non-convex, a line may be found which meets its boundary more than twice, equivalently, there exists a line segment between two boundary points that passes outside the polygon. Simple, the boundary of the polygon does not cross itself, there is at least one interior angle greater than 180°. Star-shaped, the interior is visible from at least one point. The polygon must be simple, and may be convex or concave, self-intersecting, the boundary of the polygon crosses itself. Branko Grünbaum calls these coptic, though this term does not seem to be widely used, star polygon, a polygon which self-intersects in a regular way. A polygon cannot be both a star and star-shaped, equiangular, all corner angles are equal. Cyclic, all lie on a single circle, called the circumcircle. Isogonal or vertex-transitive, all lie within the same symmetry orbit. The polygon is cyclic and equiangular
43.
Triangle
–
A triangle is a polygon with three edges and three vertices. It is one of the shapes in geometry. A triangle with vertices A, B, and C is denoted △ A B C, in Euclidean geometry any three points, when non-collinear, determine a unique triangle and a unique plane. This article is about triangles in Euclidean geometry except where otherwise noted, triangles can be classified according to the lengths of their sides, An equilateral triangle has all sides the same length. An equilateral triangle is also a polygon with all angles measuring 60°. An isosceles triangle has two sides of equal length, some mathematicians define an isosceles triangle to have exactly two equal sides, whereas others define an isosceles triangle as one with at least two equal sides. The latter definition would make all equilateral triangles isosceles triangles, the 45–45–90 right triangle, which appears in the tetrakis square tiling, is isosceles. A scalene triangle has all its sides of different lengths, equivalently, it has all angles of different measure. Hatch marks, also called tick marks, are used in diagrams of triangles, a side can be marked with a pattern of ticks, short line segments in the form of tally marks, two sides have equal lengths if they are both marked with the same pattern. In a triangle, the pattern is no more than 3 ticks. Similarly, patterns of 1,2, or 3 concentric arcs inside the angles are used to indicate equal angles, triangles can also be classified according to their internal angles, measured here in degrees. A right triangle has one of its interior angles measuring 90°, the side opposite to the right angle is the hypotenuse, the longest side of the triangle. The other two sides are called the legs or catheti of the triangle, special right triangles are right triangles with additional properties that make calculations involving them easier. One of the two most famous is the 3–4–5 right triangle, where 32 +42 =52, in this situation,3,4, and 5 are a Pythagorean triple. The other one is a triangle that has 2 angles that each measure 45 degrees. Triangles that do not have an angle measuring 90° are called oblique triangles, a triangle with all interior angles measuring less than 90° is an acute triangle or acute-angled triangle. If c is the length of the longest side, then a2 + b2 > c2, a triangle with one interior angle measuring more than 90° is an obtuse triangle or obtuse-angled triangle. If c is the length of the longest side, then a2 + b2 < c2, a triangle with an interior angle of 180° is degenerate