From Wikipedia, the free encyclopedia - View original article
|History of geometry|
In geometry, topology, and related branches of mathematics, a spatial point is a primitive notion upon which other concepts may be defined. Being a primitive notion means that they have no properties other than those that are derived from the axioms of the formal system in which they are used, i.e., they do not have volume, area, length, or any other higher-dimensional attribute. In Euclidean geometry, a common interpretation is that the concept of a point is meant to capture the notion of an object, with no properties, in a unique location in Euclidean space. In branches of mathematics dealing with set theory, an element is sometimes referred to as a point.
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". In two-dimensional Euclidean space, a point is represented by an ordered pair (x, y) of numbers, where the first number conventionally represents the horizontal and is often denoted by x, and the second number conventionally represents the vertical and is often denoted by y. This idea is easily generalized to three dimensional Euclidean space, where a point is represented by an ordered triplet (x, y, z) with the additional third number representing depth and often denoted by z. Further generalizations are represented by an ordered tuplet of n terms, (a1, a2, … , an) where n is the dimension of the space in which the point is located.
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 an infinite set of points of the form , where c1 through cn and d are constants and n is the dimension of the space. Similar constructions exist that define the plane, line segment and other related concepts. By the way, a degenerate line segment consists of only one point.
In addition to defining points and constructs related to points, Euclid also postulated a key idea about points; he claimed that any two points can be connected by a straight line. This is easily confirmed under modern expansions of Euclidean geometry, and had lasting consequences at its introduction, allowing the construction of almost all the geometric concepts of the time. However, Euclid's postulation of points was neither complete nor definitive, as he occasionally assumed facts about points that didn't follow directly from his axioms, such as the ordering of points on the line or the existence of specific points. In spite of this, modern expansions of the system serve to remove these assumptions.
Although the notion of a point is generally considered fundamental in mainstream geometry and topology, there are some systems that forgo it, e.g. noncommutative geometry and pointless topology. A "pointless" or "pointfree" space is defined not as a set, but via some structure (algebraic or logical respectively) which looks like a well-known function space on the set: an algebra of continuous functions or an algebra of sets respectively. 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. A further tradition starts from some books of A. N. Whitehead in which the notion of region is assumed as a primitive together with the one of inclusion or connection.
|Wikimedia Commons has media related to Points (mathematics).|