|
Subcover
In mathematics, and more particularly in set theory, a cover (or covering) of a set X is a family of subsets of X whose union is all of X. More formally, if C = \lbrace U_\alpha : \alpha \in A \rbrace is an indexed family of subsets U_\alpha\subset X (indexed by the set A), then C is a cover of X if \bigcup_U_ = X. Thus the collection \lbrace U_\alpha : \alpha \in A \rbrace is a cover of X if each element of X belongs to at least one of the subsets U_. Definition Covers are commonly used in the context of topology. If the set X is a topological space, then a cover C of X is a collection of subsets \_ of X whose union is the whole space X = \bigcup_U_. In this case C is said to cover X, or that the sets U_\alpha cover X. If Y is a (topological) subspace of X, then a cover of Y is a collection of subsets C = \_ of X whose union contains Y. That is, C is a cover of Y if Y \subseteq \bigcup_U_. Here, Y may be covered with either sets in Y itself or sets in the parent space ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces. One suc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lindelöf Space
In mathematics, a Lindelöf space is a topological space in which every open cover has a countable subcover. The Lindelöf property is a weakening of the more commonly used notion of ''compactness'', which requires the existence of a ''finite'' subcover. A is a topological space such that every subspace of it is Lindelöf. Such a space is sometimes called strongly Lindelöf, but confusingly that terminology is sometimes used with an altogether different meaning. The term ''hereditarily Lindelöf'' is more common and unambiguous. Lindelöf spaces are named after the Finnish mathematician Ernst Leonard Lindelöf. Properties of Lindelöf spaces * Every compact space, and more generally every σ-compact space, is Lindelöf. In particular, every countable space is Lindelöf. * A Lindelöf space is compact if and only if it is countably compact. * Every second-countable space is Lindelöf, but not conversely. For example, there are many compact spaces that are not second-counta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paracompact Space
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed subspace of a paracompact space is paracompact. While compact subsets of Hausdorff spaces are always closed, this is not true for paracompact subsets. A space such that every subspace of it is a paracompact space is called hereditarily paracompact. This is equivalent to requiring that every open subspace be paracompact. The notion of paracompact space is also studied in pointless topology, where it is more well-behaved. For example, the product of any number of paracompact locales is a paracompact locale, but the product of two paracomp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Finite Collection
A collection of subsets of a topological space X is said to be locally finite if each point in the space has a neighbourhood that intersects only finitely many of the sets in the collection. In the mathematical field of topology, local finiteness is a property of collections of subsets of a topological space. It is fundamental in the study of paracompactness and topological dimension. Note that the term locally finite has different meanings in other mathematical fields. Examples and properties A finite collection of subsets of a topological space is locally finite. Infinite collections can also be locally finite: for example, the collection of subsets of \mathbb of the form (n, n+2) for an integer n. A countable collection of subsets need not be locally finite, as shown by the collection of all subsets of \mathbb of the form (-n, n) for a natural number ''n''. Every locally finite collection of sets is point finite, meaning that every point of the space belongs to only f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Family Of Sets
In set theory and related branches of mathematics, a family (or collection) can mean, depending upon the context, any of the following: set, indexed set, multiset, or class. A collection F of subsets of a given set S is called a family of subsets of S, or a family of sets over S. More generally, a collection of any sets whatsoever is called a family of sets, set family, or a set system. Additionally, a family of sets may be defined as a function from a set I, known as the index set, to F, in which case the sets of the family are indexed by members of I. In some contexts, a family of sets may be allowed to contain repeated copies of any given member, and in other contexts it may form a proper class. A finite family of subsets of a finite set S is also called a '' hypergraph''. The subject of extremal set theory concerns the largest and smallest examples of families of sets satisfying certain restrictions. Examples The set of all subsets of a given set S is called the pow ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trivial Topology
In topology, a topological space with the trivial topology is one where the only open sets are the empty set and the entire space. Such spaces are commonly called indiscrete, anti-discrete, concrete or codiscrete. Intuitively, this has the consequence that all points of the space are "lumped together" and cannot be distinguished by topological means. Every indiscrete space can be viewed as a pseudometric space in which the distance between any two points is zero. Details The trivial topology is the topology with the least possible number of open sets, namely the empty set and the entire space, since the definition of a topology requires these two sets to be open. Despite its simplicity, a space ''X'' with more than one element and the trivial topology lacks a key desirable property: it is not a T0 space. Other properties of an indiscrete space ''X''—many of which are quite unusual—include: * The only closed sets are the empty set and ''X''. * The only possible basi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Complex
In mathematics, a simplicial complex is a structured Set (mathematics), set composed of Point (geometry), points, line segments, triangles, and their ''n''-dimensional counterparts, called Simplex, simplices, such that all the faces and intersections of the elements are also included in the set (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely Combinatorics, combinatorial counterpart to a simplicial complex is an abstract simplicial complex. To distinguish a simplicial complex from an abstract simplicial complex, the former is often called a geometric simplicial complex., Section 4.3 Definitions A simplicial complex \mathcal is a set of Simplex, simplices that satisfies the following conditions: # Every Simplex#Elements, face of a simplex from \mathcal is also in \mathcal. # The non-empty Set intersection, intersection of any two simplices \sigma_1, \sigma_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barycentric Subdivision
In mathematics, the barycentric subdivision is a standard way to subdivide a given simplex into smaller ones. Its extension to simplicial complexes is a canonical method to refining them. Therefore, the barycentric subdivision is an important tool in algebraic topology. Motivation The barycentric subdivision is an operation on simplicial complexes. In algebraic topology it is sometimes useful to replace the original spaces with simplicial complexes via triangulations: This substitution allows one to assign combinatorial invariants such as the Euler characteristic to the spaces. One can ask whether there is an analogous way to replace the continuous functions defined on the topological spaces with functions that are linear on the simplices and homotopic to the original maps (see also simplicial approximation). In general, such an assignment requires a refinement of the given complex, meaning that one replaces larger simplices with a union of smaller simplices. A standard way to c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. For example, * a 0-dimensional simplex is a point, * a 1-dimensional simplex is a line segment, * a 2-dimensional simplex is a triangle, * a 3-dimensional simplex is a tetrahedron, and * a 4-dimensional simplex is a 5-cell. Specifically, a -simplex is a -dimensional polytope that is the convex hull of its vertices. More formally, suppose the points u_0, \dots, u_k are affinely independent, which means that the vectors u_1 - u_0,\dots, u_k-u_0 are linearly independent. Then, the simplex determined by them is the set of points C = \left\. A regular simplex is a simplex that is also a regular polytope. A regular -simplex may be constructed from a regular -simplex by connecting a new vertex to all original vertices by the common ... [...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] |
Star Refinement
In mathematics, specifically in the study of topology and open covers of a topological space ''X'', a star refinement is a particular kind of refinement of an open cover of ''X''. A related concept is the notion of barycentric refinement. Star refinements are used in the definition of fully normal space and in one definition of uniform space. It is also useful for stating a characterization of paracompactness. Definitions The general definition makes sense for arbitrary coverings and does not require a topology. Let X be a set and let \mathcal U be a covering of X, that is, X = \bigcup \mathcal U. Given a subset S of X, the star of S with respect to \mathcal U is the union of all the sets U \in \mathcal U that intersect S, that is, \operatorname(S, \mathcal U) = \bigcup\big\. Given a point x \in X, we write \operatorname(x,\mathcal U) instead of \operatorname(\, \mathcal U). A covering \mathcal U of X is a refinement of a covering \mathcal V of X if every U \in \mathcal U i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interval (mathematics)
In mathematics, a real interval is the set of all real numbers lying between two fixed endpoints with no "gaps". Each endpoint is either a real number or positive or negative infinity, indicating the interval extends without a bound. A real interval can contain neither endpoint, either endpoint, or both endpoints, excluding any endpoint which is infinite. For example, the set of real numbers consisting of , , and all numbers in between is an interval, denoted and called the unit interval; the set of all positive real numbers is an interval, denoted ; the set of all real numbers is an interval, denoted ; and any single real number is an interval, denoted . Intervals are ubiquitous in mathematical analysis. For example, they occur implicitly in the epsilon-delta definition of continuity; the intermediate value theorem asserts that the image of an interval by a continuous function is an interval; integrals of real functions are defined over an interval; etc. Interval ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
