Produced by Charles Wells Revised 2014-09-05 Introduction to this website website TOC website index blog Back to Understanding Math Chapter head
A mathematical structure is a set (or sometimes several sets) with various associated mathematical objects such as subsets, sets of subsets, operations and relations, all of which must satisfy various requirements (axioms). The collection of associated mathematical objects is called the structure and the set is called the underlying set. The essentially always produces a mathematical structure.
This definition of mathematical structure is not a mathematical definition. A proper mathematical definition of "mathematical structure" is best done using .The phrase “mathematical structure” is usually used in the definition or discussion of a particular kind of mathematical structure, without any general definition being given.
¨ An equivalence relation is a set together with a relation on the set that is reflexive, symmetric and transitive.
¨ A partition is a set together with a set of subsets with the property that every element of the set is in exactly one of the subsets.
¨ A group is a set together with a binary operation with the properties that the operation is associative, there is an identity element, and every element of the set has an inverse.
¨ A topological space is a set $S$ together with a set $T$ of subsets of $S$ containing the empty set and $S$ and closed under finite intersections and all unions. (MW, Wi).
In some parts of math, a math structure and its underlying set may be denoted by convention by the same symbol. For example, if $G$ is a group, then one refers to an element $g\in G$. In that phrase, $G$ must denote the underlying set, not the whole structure
This way of speaking does not occur, for example, with structures such as equivalence relations.
¨ The same set can have many different structures on it, even of the same type. The example here shows that a two-element set has two different (and non-isomorphic) partition structures and two different (but isomorphic) group structures.
¨ Widely-used mathematical objects generally have “canonical structures” of various types on them. For example, the set of integers can be ordered in many ways, but it has a particular ordering (the familiar one) that is referred to as “the ordering of the integers”.
¨ The word "structure", sometimes in the phrase "mathematical structure", is also used to describe the way certain types of mathematical objects are related to each other in a system. For example, you might investigate the structure of the solutions of a particular type of differential equation. This is vaguely related to the kind of “mathematical structure” discussed in this section but is not the same thing.
Presenting a complex mathematical idea as a mathematical structure involves finding a minimal set of associated objects (the structure) and a minimal set of conditions on those objects from which the theorems about the structure follow. The ingredients of the structure are minimal so that it is easier to verify that some object is an example of that kind of structure. This is essentially the main use of the .
This minimal set of objects and conditions may not be the most important aspects of the structure for applications or for one's of the structure. See and for more discussion of this.
The same kind of structure can often be defined by two or more very different kinds of minimal ingredients. A mathematical structure of a given type has lots of structure implied by the minimalist definition, and when you think of a structure it is best to think of it as containing all that information, not just the stuff in the definition.
¨ “Equivalence relation” and “partition” are two different ways of defining exactly the same structure on a set. This phenomenon is discussed at length under equivalence relation.
¨ Another example is given more briefly under symmetric relation.
¨ The real numbers have many different equivalent definitions and constructions. See the Wikipedia article.
This work is licensed under a Creative Commons Attribution-ShareAlike 2.5 License.