Axiomatic foundations of topological spaces information
In the mathematical field of topology, a topological space is usually defined by declaring its open sets.[1] However, this is not necessary, as there are many equivalent axiomatic foundations, each leading to exactly the same concept. For instance, a topological space determines a class of closed sets, of closure and interior operators, and of convergence of various types of objects. Each of these can instead be taken as the primary class of objects, with all of the others (including the class of open sets) directly determined from that new starting point. For example, in Kazimierz Kuratowski's well-known textbook on point-set topology, a topological space is defined as a set together with a certain type of "closure operator," and all other concepts are derived therefrom.[2] Likewise, the neighborhood-based axioms (in the context of Hausdorff spaces) can be retraced to Felix Hausdorff's original definition of a topological space in Grundzüge der Mengenlehre.[citation needed]
Many different textbooks use many different inter-dependences of concepts to develop point-set topology. The result is always the same collection of objects: open sets, closed sets, and so on. For many practical purposes, the question of which foundation is chosen is irrelevant, as long as the meaning and interrelation between objects (many of which are given in this article), which are the same regardless of choice of development, are understood. However, there are cases where it can be useful to have flexibility. For instance, there are various natural notions of convergence of measures, and it is not immediately clear whether they arise from a topological structure or not. Such questions are greatly clarified by the topological axioms based on convergence.
^Dugundji 1966; Engelking 1977; Kelley 1955.
^Kuratowski 1966, p.38.
and 25 Related for: Axiomatic foundations of topological spaces information
equivalent axiomaticfoundations, each leading to exactly the same concept. For instance, a topologicalspace determines a class of closed sets, of closure...
various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is...
axiomatic system is any set of primitive notions and axioms to logically derive theorems. A theory is a consistent, relatively-self-contained body of...
subspaces of appropriate topological vector spaces by continuous functionals. Banach spaces, introduced by Stefan Banach, are complete normed vector spaces. A...
V is a topological vector space, the quotient space P(V) is a topologicalspace, endowed with the quotient topology of the subspace topology of V \ {0}...
as an axiomatic tool derived from the idea of a Cauchy filter, in order to study completeness in topologicalspaces. The category of Cauchy spaces and Cauchy...
an element of H. As a complete normed space, Hilbert spaces are by definition also Banach spaces. As such they are topological vector spaces, in which...
opposed to the better known point-to-set notion that characterize topologicalspaces. The concept was described by Frigyes Riesz (1909) but ignored at...
in a topologicalspace. In particular, in real and complex analysis, a domain is a non-empty connected open subset of the real coordinate space R n {\displaystyle...
of infinitely many Woodin cardinals). Quine's system ofaxiomatic set theory, New Foundations (NF), takes its name from the title ("New Foundations for...
Voronoi diagrams and Delaunay triangulations A simplicial complex is a topologicalspaceof a certain kind, constructed by "gluing together" points, line segments...
From the initial idea of homology as a method of constructing algebraic invariants oftopologicalspaces, the range of applications of homology and cohomology...
book Company, Incorporated. p. 10. G. Gierz (2006). Bundles ofTopological Vector Spaces and Their Duality. Springer. p. 252. ISBN 978-3-540-39437-2....
set. Examples include quotient spaces in linear algebra, quotient spaces in topology, quotient groups, homogeneous spaces, quotient rings, quotient monoids...
notion of a nuclear space, tensor products of locally convex topological vector spaces, and the start of Grothendieck's work on tensor products of Banach...
in January 1998. Eilenberg's main body of work was in algebraic topology. He worked on the axiomatic treatment of homology theory with Norman Steenrod (and...
naive set theory, and for a full rigorous axiomatic treatment see axiomatic set theory. The binary operations of set union ( ∪ {\displaystyle \cup } ) and...
functional analysis (which studies topological vector spaces that need not have any sense of distance). Formally, a metric space is an ordered pair ( M , d )...
mathematics at the Federal University of Paraná in Curitiba and the title of his 1961 Ph.D. dissertation was Topologicalspaces and continuous functions. Da Costa's...
empty set to be open. This empty topologicalspace is the unique initial object in the category oftopologicalspaces with continuous maps. In fact, it...
not be true of segments. In an axiomatic treatment of geometry, the notion of betweenness is either assumed to satisfy a certain number of axioms, or defined...
branch of mathematical analysis, the core of which is formed by the study of function spaces, which are some sort oftopological vector spaces. Functional...