General topology

In mathematics, general topology (or point set topology) is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. The fundamental concepts in point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points. Compact sets are those that can be covered by finitely many sets of arbitrarily small size. Connected sets are sets that cannot be divided into two pieces that are far apart. The terms 'nearby', 'arbitrarily small', and 'far apart' can all be made precise by using the concept of open sets. If we change the definition of 'open set', we change what continuous functions, compact sets, and connected sets are. Each choice of definition for 'open set' is called a topology. A set with a topology is called a topological space. Metric spaces are an important class of topological spaces where a real, non-negative distance, also called a metric, can be defined on pairs of points in the set. Having a metric simplifies many proofs, and many of the most common topological spaces are metric spaces. General topology grew out of a number of areas, most importantly the following: the detailed study of subsets of the real line (once known as the topology of point sets; this usage is now obsolete) the introduction of the manifold concept the study of metric spaces, especially normed linear spaces, in the early days of functional analysis. General topology assumed its present form around 1940. It captures, one might say, almost everything in the intuition of continuity, in a technically adequate form that can be applied in any area of mathematics. Topological space Let X be a set and let τ be a family of subsets of X. Then τ is called a topology on X if: Both the empty set and X are elements of τ Any union of elements of τ is an element of τ Any intersection of finitely many elements of τ is an element of τ If τ is a topology on X, then the pair (X, τ) is called a topological space.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (2)

Related people (1)

Related concepts (153)

Related courses (44)

Related lectures (292)

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

MATH-225: Topology

On étudie des notions de topologie générale: unions et quotients d'espaces topologiques; on approfondit les notions de revêtements et de groupe fondamental,et d'attachements de cellules et on démontre

MATH-220: Metric and topological spaces

In metric spaces a distance is defined between each pair of points. In topological spaces, distances are replaced by only a certain notion of nearness. This abstract setting sheds new light upon basic

D-Cliques: Compensating for Data Heterogeneity with Topology in Decentralized Federated Learning

Anne-Marie Kermarrec, Erick Lavoie

The convergence speed of machine learning models trained with Federated Learning is significantly affected by non-independent and identically distributed (non-IID) data partitions, even more so in a f

2022

We present the general notion of Borel fields of metric spaces and show some properties of such fields. Then we make the study specific to the Borel fields of proper CAT(0) spaces and we show that the

Cambridge University Press2014

Baire category theorem

The Baire category theorem (BCT) is an important result in general topology and functional analysis. The theorem has two forms, each of which gives sufficient conditions for a topological space to be a Baire space (a topological space such that the intersection of countably many dense open sets is still dense). It is used in the proof of results in many areas of analysis and geometry, including some of the fundamental theorems of functional analysis.

Glossary of topology

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology. All spaces in this glossary are assumed to be topological spaces unless stated otherwise. Absolutely closed See H-closed Accessible See . Accumulation point See limit point.

General topology

Homology of Riemann Surfaces MATH-410: Riemann surfaces

Explores the homology of Riemann surfaces, including singular homology and the standard n-simplex.

The Duplication of the Cube

Explores the historical significance of the duplication of the cube problem and the attribution of mathematical instruments.

The Connected Sum: Surfaces and Gluing MATH-225: Topology

Explains the concept of the connected sum of surfaces through gluing and mathematical definitions.