|
Kuratowski Closure Axioms
In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms that can be used to define a topological structure on a Set (mathematics), set. They are equivalent to the more commonly used open set definition. They were first formalized by Kazimierz Kuratowski, and the idea was further studied by mathematicians such as Wacław Sierpiński and Antonio Monteiro (mathematician), António Monteiro, among others. A similar set of axioms can be used to define a topological structure using only the dual notion of Interior (topology)#Interior operator, interior operator. Definition Kuratowski closure operators and weakenings Let X be an arbitrary set and \wp(X) its power set. A Kuratowski closure operator is a unary operation \mathbf:\wp(X) \to \wp(X) with the following properties: A consequence of \mathbf preserving binary unions is the following condition: In fact if we rewrite the equality in [K4] as an inclusion, giving the weaker axiom [K4''] ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Topology
In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and ordinary propositional logic. Interior algebras form a variety of modal algebras. Definition An interior algebra is an algebraic structure with the signature :⟨''S'', ·, +, ′, 0, 1, I⟩ where :⟨''S'', ·, +, ′, 0, 1⟩ is a Boolean algebra and postfix I designates a unary operator, the interior operator, satisfying the identities: # ''x''I ≤ ''x'' # ''x''II = ''x''I # (''xy'')I = ''x''I''y''I # 1I = 1 ''x''I is called the interior of ''x''. The dual of the interior operator is the closure operator C defined by ''x''C = ((''x''′)I)′. ''x''C is called the closure of ''x''. By the principle of duality, the closure operator satisfies the identities: # ''x''C ≥ ''x'' # ''x''CC = ''x''C # (''x'' + ''y'')C = ''x''C + ''y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
T0 Space
T, or t, is the twentieth letter of the Latin alphabet, used in the modern English alphabet, the alphabets of other western European languages and others worldwide. Its name in English is ''tee'' (pronounced ), plural ''tees''. It is derived from the Semitic Taw 𐤕 of the Phoenician and Paleo-Hebrew script (Aramaic and Hebrew Taw ת/𐡕/, Syriac Taw ܬ, and Arabic ت Tāʼ) via the Greek letter τ (tau). In English, it is most commonly used to represent the voiceless alveolar plosive, a sound it also denotes in the International Phonetic Alphabet. It is the most commonly used consonant and the second-most commonly used letter in English-language texts. History '' Taw'' was the last letter of the Western Semitic and Hebrew alphabets. The sound value of Semitic ''Taw'', the Greek alphabet Tαυ (''Tau''), Old Italic and Latin T has remained fairly constant, representing in each of these, and it has also kept its original basic shape in most of these alphabets. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphism
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuity (topology)
In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Until the 19th century, mathematicians largely relied on intuitive notions of continuity and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the most general continuous functions, and their d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Connection
In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets). Galois connections find applications in various mathematical theories. They generalize the fundamental theorem of Galois theory about the correspondence between subgroups and subfields, discovered by the French mathematician Évariste Galois. A Galois connection can also be defined on preordered sets or classes; this article presents the common case of posets. The literature contains two closely related notions of "Galois connection". In this article, we will refer to them as (monotone) Galois connections and antitone Galois connections. A Galois connection is rather weak compared to an order isomorphism between the involved posets, but every Galois connection gives rise to an isomorphism of certain sub-posets, as will be explained below. The term Galois correspondence is sometimes used to mean a bijective ''Galois connection'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cocountable Topology
The cocountable topology, also known as the countable complement topology, is a topology that can be defined on any infinite set X. In this topology, a set is open if its complement in X is either countable or equal to the entire set. Equivalently, the open sets consist of the empty set and all subsets of X whose complements are countable, a property known as cocountability. The only closed sets in this topology are X itself and the countable subsets of X. Definitions Let X be an infinite set and let \mathcal be the set of subsets of X such that H \in \mathcal \iff X \setminus H \mbox\, H = \varnothing then \mathcal is the countable complement toplogy on X , and the topological space T = ( X , \mathcal ) is a countable complement space. Symbolically, the topology is typically written as \mathcal = \. Double pointed cocountable topology Let X be an uncountable set. We define the topology \mathcal as all open sets whose complements are countable, along with \varn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cofinite Topology
In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set. In other words, A contains all but finitely many elements of X. If the complement is not finite, but is countable, then one says the set is cocountable. These arise naturally when generalizing structures on finite sets to infinite sets, particularly on infinite products, as in the product topology or direct sum. This use of the prefix "" to describe a property possessed by a set's mplement is consistent with its use in other terms such as " meagre set". Boolean algebras The set of all subsets of X that are either finite or cofinite forms a Boolean algebra, which means that it is closed under the operations of union, intersection, and complementation. This Boolean algebra is the on X. In the other direction, a Boolean algebra A has a unique non-principal ultrafilter (that is, a maximal filter not generated by a single element of the algebra) if and only if there exists an inf ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
