Explore the Three Core Structures of Mathematics: Topology, Algebra, Order

Mathematics as a discipline is not limited to numbers and formulas; it is a thinking tool that helps us understand and explore the world.

The three core structures of mathematics—topological structure, algebraic structure, and order structure—abstract and model relationships between things from different perspectives.

This article refers to the book "Mathematics and Life 5" to introduce these three structures, using typical examples and necessary mathematical expressions to help us better understand their applications in mathematics and the real world.

1. Topological Structure

Topological structure concerns the "nearness" relationship between elements in a set, studying relative positions and connectivity of points. In a topological space the focus is not on exact positions but on how elements are connected through a relation, emphasizing the properties of "space" rather than the points themselves. Topology studies concepts such as connectivity, neighborhoods, and continuity.

Basic features of topological structure include:

Open and closed sets : An open set contains points that have a certain “contact” with the boundary (e.g., distance less than a threshold). A closed set includes its boundary.

Continuity : Small adjustments in the space (e.g., moving a point) do not cause abrupt changes in the structure.

Examples:

City traffic system : The road network of cities can be seen as a topological space where cities are connected by roads. Even if two cities lack a direct road, they may be connected indirectly through intermediate cities, illustrating connectivity without regard to geographic distance.

Social network : Platforms like Facebook or Twitter form a graph of users where edges represent friendships. Even if two users are not directly connected, a chain of intermediate friends can establish connectivity.

2. Algebraic Structure

Algebraic structure focuses on relationships formed by operations (such as addition or multiplication) between elements of a set. It defines how to combine elements to produce new ones, with wide applications in number theory, algebraic equations, and functions.

Basic types of algebraic structures:

Group : A set equipped with a binary operation satisfying closure, associativity, identity, and inverses.

Ring : A set with two operations (addition and multiplication) satisfying distributivity.

Field : A set with addition, multiplication, and their inverses, where every non‑zero element has a multiplicative inverse.

Group axioms:

Closure : For any two elements a and b, the result of the operation a ∘ b is also in the set.

Associativity : For any a, b, c, (a ∘ b) ∘ c = a ∘ (b ∘ c).

Identity element : There exists an element e such that for any a, e ∘ a = a ∘ e = a.

Inverse element : For each a there exists an element a⁻¹ with a ∘ a⁻¹ = a⁻¹ ∘ a = e.

Integer addition group : The set of integers under addition forms a group; addition is closed, 0 is the identity, and each integer has an additive inverse (its negative).

Matrix algebra structure : The set of 2×2 real matrices forms a ring under matrix addition and multiplication, satisfying all ring axioms.

3. Order Structure

Order structure refers to a relational ordering among elements of a set, which can be based on size, priority, or other criteria. It concerns not only the members but also their relative relationships.

Basic features:

Partial order : A set with a reflexive, antisymmetric, and transitive relation.

Total order : A special case of partial order where any two elements are comparable.

Examples:

Natural number order : The set of natural numbers forms a total order where each number is compared by size.

Ranking system : In competitions, the ranking of participants can be viewed as a partial order; the relation is transitive and reflexive but not all participants are directly comparable.

Modern mathematics’ three core structures—topological, algebraic, and order—provide distinct ways to study relationships: topology emphasizes connectivity, algebra focuses on operations, and order highlights sequencing. Together they equip us with diverse mathematical tools to deepen our understanding of phenomena in the world.