|
Countable Tightness
In mathematics, a topological space X is called countably generated if the topology of X is determined by the countable sets in a similar way as the topology of a sequential space (or a Fréchet space) is determined by the convergent sequences. The countably generated spaces are precisely the spaces having countable tightness—therefore the name is used as well. Definition A topological space X is called if the topology on X is coherent with the family of its countable subspaces. In other words, any subset V \subseteq X is closed in X whenever for each countable subspace U of X the set V \cap U is closed in U; or equivalently, any subset V \subseteq X is open in X whenever for each countable subspace U of X the set V \cap U is open in U. Equivalently, X is countably generated if and only if the closure of any A \subseteq X equals the union of the closures of all countable subsets of A. Countable fan tightness A topological space X has if for every point x \in X and every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a topological space is a Set (mathematics), set whose elements are called Point (geometry), points, along with an additional structure called a topology, which can be defined as a set of Neighbourhood (mathematics), neighbourhoods for each point that satisfy some Axiom#Non-logical axioms, axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a space (mathematics), mathematical space that allows for the definition of Limit (mathematics), limits, Continuous function (topology), continuity, and Connected space, connectedness. Common types ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countable
In mathematics, a Set (mathematics), set is countable if either it is finite set, finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; this means that each element in the set may be associated to a unique natural number, or that the elements of the set can be counted one at a time, although the counting may never finish due to an infinite number of elements. In more technical terms, assuming the axiom of countable choice, a set is ''countable'' if its cardinality (the number of elements of the set) is not greater than that of the natural numbers. A countable set that is not finite is said to be countably infinite. The concept is attributed to Georg Cantor, who proved the existence of uncountable sets, that is, sets that are not countable; for example the set of the real numbers. A note on terminology Although the terms "countable" and "co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sequential Space
In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of countability, and all first-countable spaces (notably metric spaces) are sequential. In any topological space (X, \tau), if a convergent sequence is contained in a closed set C, then the limit of that sequence must be contained in C as well. Sets with this property are known as sequentially closed. Sequential spaces are precisely those topological spaces for which sequentially closed sets are in fact closed. (These definitions can also be rephrased in terms of sequentially open sets; see below.) Said differently, any topology can be described in terms of nets (also known as Moore–Smith sequences), but those sequences may be "too long" (indexed by too large an ordinal) to compress into a sequence. Sequential spaces are those topological spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fréchet Space
In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces ( normed vector spaces that are complete with respect to the metric induced by the norm). All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically Banach spaces. A Fréchet space X is defined to be a locally convex metrizable topological vector space (TVS) that is complete as a TVS, meaning that every Cauchy sequence in X converges to some point in X (see footnote for more details).Here "Cauchy" means Cauchy with respect to the canonical uniformity that every TVS possess. That is, a sequence x_ = \left(x_m\right)_^ in a TVS X is Cauchy if and only if for all neighborhoods U of the origin in X, x_m - x_n \in U whenever m and n are sufficiently large. Note that this definiti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tightness (topology)
In mathematics, a cardinal function (or cardinal invariant) is a function that returns cardinal numbers. Cardinal functions in set theory * The most frequently used cardinal function is the function that assigns to a set ''A'' its cardinality, denoted by , ''A'', . * Aleph numbers and beth numbers can both be seen as cardinal functions defined on ordinal numbers. * Cardinal arithmetic operations are examples of functions from cardinal numbers (or pairs of them) to cardinal numbers. * Cardinal characteristics of a (proper) ideal ''I'' of subsets of ''X'' are: :(I) = \min\. ::The "additivity" of ''I'' is the smallest number of sets from ''I'' whose union is not in ''I'' any more. As any ideal is closed under finite unions, this number is always at least \aleph_0; if ''I'' is a σ-ideal, then \operatorname(I) \ge \aleph_1. :\operatorname(I) = \min\. :: The "covering number" of ''I'' is the smallest number of sets from ''I'' whose union is all of ''X''. As ''X'' itself is not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent (topology)
In topology, a coherent topology is a topology that is uniquely determined by a family of Subspace topology, subspaces. Loosely speaking, a topological space is coherent with a family of subspaces if it is a ''topological union'' of those subspaces. It is also sometimes called the weak topology generated by the family of subspaces, a notion that is quite different from the notion of a weak topology generated by a set of maps. Definition Let X be a topological space and let C = \left\ be a indexed family, family of subsets of X, each with its induced subspace topology. (Typically C will be a Cover (topology), cover of X.) Then X is said to be coherent with C (or determined by C)X is also said to have the weak topology generated by C. This is a potentially confusing name since the adjectives and are used with opposite meanings by different authors. In modern usage the term is synonymous with initial topology and is synonymous with final topology. It is the final topology that i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subspace (topology)
In topology and related areas of mathematics, a subspace of a topological space (''X'', ''𝜏'') is a subset ''S'' of ''X'' which is equipped with a topology induced from that of ''𝜏'' called the subspace topology (or the relative topology, or the induced topology, or the trace topology).; see Section 26.2.4. Submanifolds, p. 59 Definition Given a topological space (X, \tau) and a subset S of X, the subspace topology on S is defined by :\tau_S = \lbrace S \cap U \mid U \in \tau \rbrace. That is, a subset of S is open in the subspace topology if and only if it is the intersection of S with an open set in (X, \tau). If S is equipped with the subspace topology then it is a topological space in its own right, and is called a subspace of (X, \tau). Subsets of topological spaces are usually assumed to be equipped with the subspace topology unless otherwise stated. Alternatively we can define the subspace topology for a subset S of X as the coarsest topology for which the inclu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strong Fréchet–Urysohn Space
Strong may refer to: Education * The Strong, an educational institution in Rochester, New York, United States * Strong Hall (Lawrence, Kansas), an administrative hall of the University of Kansas * Strong School, New Haven, Connecticut, United States, an overflow school for district kindergartners and first graders Music Albums * '' Strong (Tyler Hubbard album)'', 2024 * ''Strong'' (Anette Olzon album), 2021 * ''Strong'' (Arrested Development album), 2010 * ''Strong'' (Michelle Wright album), 2013 * ''Strong'' (Thomas Anders album), 2010 * ''Strong'' (Tracy Lawrence album), 2004 * ''Strong'', a 2000 album by Clare Quilty Songs * "Strong" (London Grammar song), 2013 * "Strong" (One Direction song), 2013 * "Strong" (Robbie Williams song), 1999 * "Strong" (Romy song), 2022 * "Strong", a song by After Forever from '' Remagine'' * "Strong", a song by Audio Adrenaline from '' Worldwide'' * "Strong", a song by LeAnn Rimes from '' Whatever We Wanna'' * "Strong", a song by Londo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Space (topology)
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let X be a topological space, and let \sim be an equivalence relation on X. The quotient set Y = X/ is the set of equivalence classes of elements of X. The e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Sum
In general topology and related areas of mathematics, the disjoint union (also called the direct sum, free union, free sum, topological sum, or coproduct) of a family of topological spaces is a space formed by equipping the disjoint union of the underlying sets with a natural topology called the disjoint union topology. Roughly speaking, in the disjoint union the given spaces are considered as part of a single new space where each looks as it would alone and they are isolated from each other. The name ''coproduct'' originates from the fact that the disjoint union is the categorical dual of the product space construction. Definition Let be a family of topological spaces indexed by ''I''. Let :X = \coprod_i X_i be the disjoint union of the underlying sets. For each ''i'' in ''I'', let :\varphi_i : X_i \to X\, be the canonical injection (defined by \varphi_i(x)=(x,i)). The disjoint union topology on ''X'' is defined as the finest topology on ''X'' for which all the canonical inje ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coreflective Subcategory
In mathematics, a full subcategory ''A'' of a Category (mathematics), category ''B'' is said to be reflective in ''B'' when the inclusion functor from ''A'' to ''B'' has a left adjoint. This adjoint is sometimes called a ''reflector'', or ''localization''. Dually, ''A'' is said to be coreflective in ''B'' when the inclusion functor has a right adjoint. Informally, a reflector acts as a kind of completion operation. It adds in any "missing" pieces of the structure in such a way that reflecting it again has no further effect. Definition A full subcategory A of a category B is said to be reflective in B if for each B-Object (category theory), object ''B'' there exists an A-object A_B and a B-morphism r_B \colon B \to A_B such that for each B-morphism f\colon B\to A to an A-object A there exists a unique A-morphism \overline f \colon A_B \to A with \overline f\circ r_B=f. : The pair (A_B,r_B) is called the A-reflection of ''B''. The morphism r_B is called the A-reflection arrow. (Al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
