|
Localization Of A Topological Space
In mathematics, well-behaved topological spaces can be localized at primes, in a similar way to the localization of a ring at a prime. This construction was described by Dennis Sullivan in 1970 lecture notes that were finally published in . The reason to do this was in line with an idea of making topology, more precisely algebraic topology, more geometric. Localization of a space ''X'' is a geometric form of the algebraic device of choosing 'coefficients' in order to simplify the algebra, in a given problem. Instead of that, the localization can be applied to the space ''X'', directly, giving a second space ''Y''. Definitions We let ''A'' be a subring of the rational numbers, and let ''X'' be a simply connected CW complex. Then there is a simply connected CW complex ''Y'' together with a map from ''X'' to ''Y'' such that *''Y'' is ''A''-local; this means that all its homology groups are modules over ''A'' *The map from ''X'' to ''Y'' is universal for (homotopy classes of) maps from ... [...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] |
Homotopy Equivalence
In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second parameter of ''H'' as time then ''H'' describes a ''continuous de ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bousfield Localization
In category theory, a branch of mathematics, a (left) Bousfield localization of a model category replaces the model structure with another model structure with the same cofibrations but with more weak equivalences. Bousfield localization is named after Aldridge Bousfield, who first introduced this technique in the context of localization of topological spaces and spectra. Model category structure of the Bousfield localization Given a class ''C'' of morphisms in a model category ''M'' the left Bousfield localization is a new model structure on the same category as before. Its equivalences, cofibrations and fibrations, respectively, are * the ''C''-local equivalences * the original cofibrations of ''M'' and (necessarily, since cofibrations and weak equivalences determine the fibrations) * the maps having the right lifting property with respect to the cofibrations in ''M'' which are also ''C''-local equivalences. In this definition, a ''C''-local equivalence is a map f\colon X \to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Localization Of A Ring
Localization or localisation may refer to: Biology * Localization of function, locating psychological functions in the brain or nervous system; see Linguistic intelligence * Localization of sensation, ability to tell what part of the body is affected by touch or other sensation; see Allochiria * Neurologic localization, in neurology, the process of deducing the location of injury based on symptoms and neurological examination * Nuclear localization signal, an amino acid sequence on the surface of a protein which acts like a 'tag' to localize the protein in the cell * Sound localization, a listener's ability to identify the location or origin of a detected sound * Subcellular localization, organization of cellular components into different regions of a cell Engineering and technology * GSM localization, determining the location of an active cell phone or wireless transceiver * Robot localization, figuring out robot's position in an environment * Indoor positioning system, a networ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Localization Of A Module
In commutative algebra and algebraic geometry, localization is a formal way to introduce the "denominators" to a given ring or module. That is, it introduces a new ring/module out of an existing ring/module ''R'', so that it consists of fractions \frac, such that the denominator ''s'' belongs to a given subset ''S'' of ''R''. If ''S'' is the set of the non-zero elements of an integral domain, then the localization is the field of fractions: this case generalizes the construction of the field \Q of rational numbers from the ring \Z of integers. The technique has become fundamental, particularly in algebraic geometry, as it provides a natural link to sheaf theory. In fact, the term ''localization'' originated in algebraic geometry: if ''R'' is a ring of functions defined on some geometric object (algebraic variety) ''V'', and one wants to study this variety "locally" near a point ''p'', then one considers the set ''S'' of all functions that are not zero at ''p'' and localizes ''R'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Localization Of A Category
In mathematics, localization of a category consists of adding to a category inverse morphisms for some collection of morphisms, constraining them to become isomorphisms. This is formally similar to the process of localization of a ring; it in general makes objects isomorphic that were not so before. In homotopy theory, for example, there are many examples of mappings that are invertible up to homotopy; and so large classes of homotopy equivalent spaces. Calculus of fractions is another name for working in a localized category. Introduction and motivation A category ''C'' consists of objects and morphisms between these objects. The morphisms reflect relations between the objects. In many situations, it is meaningful to replace ''C'' by another category ''C in which certain morphisms are forced to be isomorphisms. This process is called localization. For example, in the category of ''R''- modules (for some fixed commutative ring ''R'') the multiplication by a fixed element ''r' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Analysis
In algebraic geometry and related areas of mathematics, local analysis is the practice of looking at a problem relative to each prime number ''p'' first, and then later trying to integrate the information gained at each prime into a 'global' picture. These are forms of the localization approach. Group theory In group theory, local analysis was started by the Sylow theorems, which contain significant information about the structure of a finite group ''G'' for each prime number ''p'' dividing the order of ''G''. This area of study was enormously developed in the quest for the classification of finite simple groups, starting with the Feit–Thompson theorem that groups of odd order are solvable. Number theory In number theory one may study a Diophantine equation, for example, modulo ''p'' for all primes ''p'', looking for constraints on solutions. The next step is to look modulo prime powers, and then for solutions in the ''p''-adic field. This kind of local analysis provides c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
:Category:Localization (mathematics)
In mathematics, specifically algebraic geometry and its applications, localization is a way of studying an algebraic object "at" a prime. One may study an object by studying it at every prime (the "local question"), then piecing these together to understand the original object (the "local-to-global question"). The simplest example is solving a Diophantine equation (a polynomial with integer coefficients) by finding solutions mod every prime (properly, finding a p-adic solution for every prime ''p''), then piecing these solutions together, which is called the Hasse principle. More abstractly, one studies a ring by localizing at a prime ideal, obtaining a local ring. One then often takes the completion. The geometric terminology ("local" and "global") come from algebraic geometry, and may be called topological algebra (considering algebraic objects as topological spaces, with a notion of "local" and "global"): from the point of view of the spectrum of a ring, the primes are the ''p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is derived . The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may often be identified. In mathematical jargon, one says that two objects are the same up to an isomorphism. A common example where isomorphic structures cannot be identified is when the structures are substructures of a larger one. For example, all subspaces of dimension one of a vector space are isomorphic and cannot be identified. An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology Group
In mathematics, the term homology, originally introduced in algebraic topology, has three primary, closely-related usages. The most direct usage of the term is to take the ''homology of a chain complex'', resulting in a sequence of abelian groups called ''homology groups.'' This operation, in turn, allows one to associate various named ''homologies'' or ''homology theories'' to various other types of mathematical objects. Lastly, since there are many homology theories for topological spaces that produce the same answer, one also often speaks of the ''homology of a topological space''. (This latter notion of homology admits more intuitive descriptions for 1- or 2-dimensional topological spaces, and is sometimes referenced in popular mathematics.) There is also a related notion of the cohomology of a cochain complex, giving rise to various cohomology theories, in addition to the notion of the cohomology of a topological space. Homology of chain complexes To take the homology o ... [...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] |
CW Complex
In mathematics, and specifically in topology, a CW complex (also cellular complex or cell complex) is a topological space that is built by gluing together topological balls (so-called ''cells'') of different dimensions in specific ways. It generalizes both manifolds and simplicial complexes and has particular significance for algebraic topology. It was initially introduced by J. H. C. Whitehead to meet the needs of homotopy theory. (open access) CW complexes have better categorical properties than simplicial complexes, but still retain a combinatorial nature that allows for computation (often with a much smaller complex). The C in CW stands for "closure-finite", and the W for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces \emptyset = X_ \subset X_0 \subset X_1 \subset \cdots such that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to the open k- bal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
