|
Countably Generated Space
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 (topology), tightness—therefore the name ' is used as well. Definition A topological space X is called if for every subset V \subseteq X, V is closed in X whenever for each countable Subspace (topology), subspace U of X the set V \cap U is closed in U. Equivalently, X is countably generated if and only if the closure of any A \subseteq X equals the union of closures of all countable subsets of A. Countable fan tightness A topological space X has if for every point x \in X and every sequence A_1, A_2, \ldots of subsets of the space X such that x \in \, \overline = \overline \cap \overline \cap \cdots, there are finite set B_1\subseteq A_1, B_2 \subseteq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some 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 mathematical space that allows for the definition of limits, continuity, and connectedness. Common types of topological spaces include Euclidean spaces, metric spaces and manifolds. Although very general, the concept of topological spaces is fundamental, and used in virtually every branch of modern mathematics. The study of topologic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countable
In mathematics, a set is countable if either it is 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 (its number of elements) is not greater than that of the natural numbers. A countable set that is not finite is said 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 "countably infinite" as defined here are quite c ... [...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 (especially 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. This property is known as sequential closure. 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 spaces ... [...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 definition of a ... [...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 a 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 ... [...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 ''X'' called the subspace topology (or the relative topology, or the induced topology, or the trace topology). 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 inclusion map :\iota: S \hookrightarrow X is continuous. More ... [...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'' (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), 1998 * "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 London Grammar from ''If You Wait'' * "Strong", a song by Will Hoge from '' Never ... [...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 \left(X, \tau_X\right) be a topological space, and let \,\sim\, be an equivalence relation on X. The quotient set, Y = X / \sim\, is the set of equivalence clas ... [...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 injec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coreflective Subcategory
In mathematics, a full subcategory ''A'' of a 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 ''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. (Although often, for the sake of brevity, we speak ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Topological Spaces
In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology. N.B. Some authors use the name Top for the categories with topological manifolds, with compactly generated spaces as objects and continuous maps as morphisms or with the category of compactly generated weak Hausdorff spaces. As a concrete category Like many categories, the category Top is a concrete category, meaning its objects are sets with additional structure (i.e. topologies) and its morphisms are functions preserving this structure. There is a natural forgetful functor :''U'' : Top → Set to the category of sets which assigns to each topologic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
