Characterization (mathematics)

Last updated

In mathematics, a characterization of an object is a set of conditions that, while different from the definition of the object, is logically equivalent to it. [1] To say that "Property P characterizes object X" is to say that not only does X have property P, but that X is the only thing that has property P (i.e., P is a defining property of X). Similarly, a set of properties P is said to characterize X, when these properties distinguish X from all other objects. Even though a characterization identifies an object in a unique way, several characterizations can exist for a single object. Common mathematical expressions for a characterization of X in terms of P include "P is necessary and sufficient for X", and "X holds if and only if P".

Contents

It is also common to find statements such as "Property Q characterizes Y up to isomorphism". The first type of statement says in different words that the extension of P is a singleton set, while the second says that the extension of Q is a single equivalence class (for isomorphism, in the given example depending on how up to is being used, some other equivalence relation might be involved).

A reference on mathematical terminology notes that characteristic originates from the Greek term kharax, "a pointed stake":

From Greek kharax came kharakhter, an instrument used to mark or engrave an object. Once an object was marked, it became distinctive, so the character of something came to mean its distinctive nature. The Late Greek suffix -istikos converted the noun character into the adjective characteristic, which, in addition to maintaining its adjectival meaning, later became a noun as well. [2]

Just as in chemistry, the characteristic property of a material will serve to identify a sample, or in the study of materials, structures and properties will determine characterization, in mathematics there is a continual effort to express properties that will distinguish a desired feature in a theory or system. Characterization is not unique to mathematics, but since the science is abstract, much of the activity can be described as "characterization". For instance, in Mathematical Reviews , as of 2018, more than 24,000 articles contain the word in the article title, and 93,600 somewhere in the review.

In an arbitrary context of objects and features, characterizations have been expressed via the heterogeneous relation aRb, meaning that object a has feature b. For example, b may mean abstract or concrete. The objects can be considered the extensions of the world, while the features are expressions of the intensions. A continuing program of characterization of various objects leads to their categorization.

Examples

See also

Related Research Articles

<span class="mw-page-title-main">Homeomorphism</span> Mapping which preserves all topological properties of a given space

In mathematics and more specifically in topology, a homeomorphism, also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same.

<span class="mw-page-title-main">Isomorphism</span> In mathematics, invertible homomorphism

In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσοςisos "equal", and μορφήmorphe "form" or "shape".

<span class="mw-page-title-main">Logarithm</span> Mathematical function, inverse of an exponential function

In mathematics, the logarithm is the inverse function to exponentiation. That means that the logarithm of a number x to the base b is the exponent to which b must be raised to produce x. For example, since 1000 = 103, the logarithm base  of 1000 is 3, or log10 (1000) = 3. The logarithm of x to base b is denoted as logb (x), or without parentheses, logbx. When the base is clear from the context or is irrelevant it is sometimes written log x.

<span class="mw-page-title-main">Quadrilateral</span> Polygon with four sides and four corners

In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words quadri, a variant of four, and latus, meaning "side". It is also called a tetragon, derived from Greek "tetra" meaning "four" and "gon" meaning "corner" or "angle", in analogy to other polygons. Since "gon" means "angle", it is analogously called a quadrangle, or 4-angle. A quadrilateral with vertices , , and is sometimes denoted as .

<span class="mw-page-title-main">Rectangle</span> Quadrilateral with four right angles

In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal ; or a parallelogram containing a right angle. A rectangle with four sides of equal length is a square. The term "oblong" is used to refer to a non-square rectangle. A rectangle with vertices ABCD would be denoted as  ABCD.

<span class="mw-page-title-main">Parallelogram</span> Quadrilateral with two pairs of parallel sides

In Euclidean geometry, a parallelogram is a simple (non-self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

<span class="mw-page-title-main">Rhombus</span> Quadrilateral with sides of equal length

In plane Euclidean geometry, a rhombus is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The rhombus is often called a "diamond", after the diamonds suit in playing cards which resembles the projection of an octahedral diamond, or a lozenge, though the former sometimes refers specifically to a rhombus with a 60° angle, and the latter sometimes refers specifically to a rhombus with a 45° angle.

<span class="mw-page-title-main">Trapezoid</span> Convex quadrilateral with at least one pair of parallel sides

In geometry, a trapezoid in North American English, or trapezium in British English, is a quadrilateral that has one pair of parallel sides.

In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology.

In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures in a one-to-one fashion, often by means of an involution operation: if the dual of A is B, then the dual of B is A. In other cases the dual of the dual – the double dual or bidual – is not necessarily identical to the original. Such involutions sometimes have fixed points, so that the dual of A is A itself. For example, Desargues' theorem is self-dual in this sense under the standard duality in projective geometry.

<span class="mw-page-title-main">Square</span> Regular quadrilateral

In Euclidean geometry, a square is a regular quadrilateral, which means that it has four sides of equal length and four equal angles. It can also be defined as a rectangle with two equal-length adjacent sides. It is the only regular polygon whose internal angle, central angle, and external angle are all equal (90°), and whose diagonals are all equal in length. A square with vertices ABCD would be denoted ABCD.

In convex analysis, a non-negative function f : RnR+ is logarithmically concave if its domain is a convex set, and if it satisfies the inequality

In mathematics, nuclear spaces are topological vector spaces that can be viewed as a generalization of finite-dimensional Euclidean spaces and share many of their desirable properties. Nuclear spaces are however quite different from Hilbert spaces, another generalization of finite-dimensional Euclidean spaces. They were introduced by Alexander Grothendieck.

<span class="mw-page-title-main">Space (mathematics)</span> Mathematical set with some added structure

In mathematics, a space is a set with a definition (structure) of relationships among the elements of the set. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.

<span class="mw-page-title-main">Varignon's theorem</span> The midpoints of the sides of an arbitrary quadrilateral form a parallelogram

In Euclidean geometry, Varignon's theorem holds that the midpoints of the sides of an arbitrary quadrilateral form a parallelogram, called the Varignon parallelogram. It is named after Pierre Varignon, whose proof was published posthumously in 1731.

<span class="mw-page-title-main">Orthodiagonal quadrilateral</span>

In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other.

<span class="mw-page-title-main">Ex-tangential quadrilateral</span> Convex 4-sided polygon whose sidelines are all tangent to an outside circle

In Euclidean geometry, an ex-tangential quadrilateral is a convex quadrilateral where the extensions of all four sides are tangent to a circle outside the quadrilateral. It has also been called an exscriptible quadrilateral. The circle is called its excircle, its radius the exradius and its center the excenter. The excenter lies at the intersection of six angle bisectors. These are the internal angle bisectors at two opposite vertex angles, the external angle bisectors at the other two vertex angles, and the external angle bisectors at the angles formed where the extensions of opposite sides intersect. The ex-tangential quadrilateral is closely related to the tangential quadrilateral.

<span class="mw-page-title-main">Equidiagonal quadrilateral</span>

In Euclidean geometry, an equidiagonal quadrilateral is a convex quadrilateral whose two diagonals have equal length. Equidiagonal quadrilaterals were important in ancient Indian mathematics, where quadrilaterals were classified first according to whether they were equidiagonal and then into more specialized types.

In mathematics, equivalent definitions are used in two somewhat different ways. First, within a particular mathematical theory, a notion may have more than one definition. These definitions are equivalent in the context of a given mathematical structure. Second, a mathematical structure may have more than one definition.

References

  1. 1 2 Weisstein, Eric W. "Characterization". mathworld.wolfram.com. Retrieved 2019-11-21.
  2. Steven Schwartzmann (1994) The Words of Mathematics: An etymological dictionary of mathematical terms used in English, page 43, The Mathematical Association of America ISBN   0-88385-511-9
  3. A function f is log-convex if and only if log(f) is a convex function. The base of the logarithm does not matter as long as it is more than 1, but mathematicians generally take "log" with no subscript to mean the natural logarithm, whose base is e.