In

Mathematical structures in computer science

(journal) {{Authority control Type theory Set theory

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, a structure is a set endowed with some additional features on the set (e.g. an operation, relation, metric
Metric or metrical may refer to:
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
In mathema ...

, or topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...

). Often, the additional features are attached or related to the set, so as to provide it with some additional meaning or significance.
A partial list of possible structures are measures, algebraic structure
In mathematics, an algebraic structure consists of a nonempty Set (mathematics), set ''A'' (called the underlying set, carrier set or domain), a collection of operation (mathematics), operations on ''A'' (typically binary operations such as addit ...

s ( groups, fields, etc.), topologies, metric structures ( geometries), orders, events, equivalence relations, differential structures, and categories.
Sometimes, a set is endowed with more than one feature simultaneously, which allows mathematicians to study the interaction between the different structures more richly. For example, an ordering imposes a rigid form, shape, or topology on the set, and if a set has both a topology feature and a group feature, such that these two features are related in a certain way, then the structure becomes a topological group.
Mappings between sets which preserve structures (i.e., structures in the domain are mapped to equivalent structures in the codomain
In mathematics, the codomain or set of destination of a Function (mathematics), function is the Set (mathematics), set into which all of the output of the function is constrained to fall. It is the set in the notation . The term Range of a funct ...

) are of special interest in many fields of mathematics. Examples are homomorphism
In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homo ...

s, which preserve algebraic structures; homeomorphisms, which preserve topological structures; and diffeomorphisms, which preserve differential structures.
History

In 1939, the French group with the pseudonymNicolas Bourbaki
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure (Paris), École normale supérieure - PSL (ENS). Founded in 1934–1935, the Bourbaki group originally in ...

saw structures as the root of mathematics. They first mentioned them in their "Fascicule" of ''Theory of Sets'' and expanded it into Chapter IV of the 1957 edition. They identified three ''mother structures'': algebraic, topological, and order.
Example: the real numbers

The set ofreal number
In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...

s has several standard structures:
*An order: each number is either less or more than any other number.
*Algebraic structure: there are operations of multiplication and addition that make it into a field.
*A measure: intervals of the real line have a specific length
Length is a measure of distance. In the International System of Quantities, length is a quantity with Dimension (physical quantity), dimension distance. In most Measurement system, systems of measurement a Base unit (measurement), base unit f ...

, which can be extended to the Lebesgue measure on many of its subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...

s.
*A metric: there is a notion of distance
Distance is a numerical or occasionally qualitative measurement of how far apart objects or points are. In physics or everyday usage, distance may refer to a physical length or an estimation based on other criteria (e.g. "two counties over"). ...

between points.
*A geometry: it is equipped with a metric
Metric or metrical may refer to:
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
In mathema ...

and is flat.
*A topology: there is a notion of open set
In mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...

s.
There are interfaces among these:
*Its order and, independently, its metric structure induce its topology.
*Its order and algebraic structure make it into an ordered field
In mathematics, an ordered field is a field (mathematics), field together with a total ordering of its elements that is compatible with the field operations. The basic example of an ordered field is the field of real numbers, and every Dedekind-co ...

.
*Its algebraic structure and topology make it into a Lie group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation a ...

, a type of topological group.
See also

* Abstract structure *Isomorphism
In mathematics, an isomorphism is a structure-preserving Map (mathematics), mapping between two Mathematical structure, structures of the same type that can be reversed by an inverse function, inverse mapping. Two mathematical structures are iso ...

* Equivalent definitions of mathematical structures
* Intuitionistic type theory
* Space (mathematics)
References

Further reading

* * * * * *External links

* ''(provides a model theoretic definition.)''Mathematical structures in computer science

(journal) {{Authority control Type theory Set theory