|
Spanier–Whitehead Duality
In mathematics, Spanier–Whitehead duality is a duality theory in homotopy theory, based on a geometrical idea that a topological space ''X'' may be considered as dual to its complement in the ''n''-sphere, where ''n'' is large enough. Its origins lie in Alexander duality theory, in homology theory, concerning complements in manifolds. The theory is also referred to as ''S-duality'', but this can now cause possible confusion with the S-duality of string theory. It is named for Edwin Spanier and J. H. C. Whitehead, who developed it in papers from 1955. The basic point is that sphere complements determine the homology, but not the homotopy type, in general. What is determined, however, is the stable homotopy type, which was conceived as a first approximation to homotopy type. Thus Spanier–Whitehead duality fits into stable homotopy theory. Statement Let ''X'' be a compact neighborhood retract in \R^n. Then X^+ and \Sigma^\Sigma'(\R^n \setminus X) are dual obje ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Homotopy Type
A stable is a building in which livestock, especially horses, are kept. It most commonly means a building that is divided into separate stalls for individual animals and livestock. There are many different types of stables in use today; the American-style barn, for instance, is a large barn with a door at each end and individual stalls inside or free-standing stables with top and bottom-opening doors. The term "stable" is also used to describe a group of animals kept by one owner, regardless of housing or location. The exterior design of a stable can vary widely, based on climate, building materials, historical period and cultural styles of architecture. A wide range of building materials can be used, including masonry (bricks or stone), wood and steel. Stables also range widely in size, from a small building housing one or two animals to facilities at agricultural shows or race tracks that can house hundreds of animals. History The stable is typically historically the se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematika
''Mathematika'' is a peer-reviewed mathematics journal that publishes both pure and applied mathematical articles. The journal was founded by Harold Davenport in the 1950s. The journal is published by the London Mathematical Society, on behalf of the journal's owner University College London. Indexing and abstracting According to the ''Journal Citation Reports'', the journal has a 2020 impact factor of 0.844. The journal in indexing in the following bibliographic databases: * MathSciNet * Science Citation Index Expanded * Web of Science * Zentralblatt MATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastructur ... References {{reflist London Mathematical Society Mathematics education in the United Kingdom Mathematics journals Publications established in 1954 Quarterly journals W ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proceedings Of The National Academy Of Sciences Of The United States Of America
''Proceedings of the National Academy of Sciences of the United States of America'' (often abbreviated ''PNAS'' or ''PNAS USA'') is a peer-reviewed multidisciplinary scientific journal. It is the official journal of the National Academy of Sciences, published since 1915, and publishes original research, scientific reviews, commentaries, and letters. According to ''Journal Citation Reports'', the journal has a 2021 impact factor of 12.779. ''PNAS'' is the second most cited scientific journal, with more than 1.9 million cumulative citations from 2008 to 2018. In the mass media, ''PNAS'' has been described variously as "prestigious", "sedate", "renowned" and "high impact". ''PNAS'' is a delayed open access journal, with an embargo period of six months that can be bypassed for an author fee ( hybrid open access). Since September 2017, open access articles are published under a Creative Commons license. Since January 2019, ''PNAS'' has been online-only, although print issues are ava ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eilenberg–MacLane Space
In mathematics, specifically algebraic topology, an Eilenberg–MacLane spaceSaunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name. (See e.g. ) In this context it is therefore conventional to write the name without a space. is a topological space with a single nontrivial homotopy group. Let ''G'' be a group and ''n'' a positive integer. A connected topological space ''X'' is called an Eilenberg–MacLane space of type K(G,n), if it has ''n''-th homotopy group \pi_n(X) isomorphic to ''G'' and all other homotopy groups trivial. If n > 1 then ''G'' must be abelian. Such a space exists, is a CW-complex, and is unique up to a weak homotopy equivalence, therefore any such space is often just called K(G,n). The name is derived from Samuel Eilenberg and Saunders Mac Lane, who introduced such spaces in the late 1940s. As such, an Eilenberg–MacLane space is a special k ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Suspension (topology)
In topology, a branch of mathematics, the suspension of a topological space ''X'' is intuitively obtained by stretching ''X'' into a cylinder and then collapsing both end faces to points. One views ''X'' as "suspended" between these end points. The suspension of ''X'' is denoted by ''SX'' or susp(''X''). There is a variation of the suspension for pointed space, which is called the reduced suspension and denoted by Σ''X''. The "usual" suspension ''SX'' is sometimes called the unreduced suspension, unbased suspension, or free suspension of ''X'', to distinguish it from Σ''X.'' Free suspension The (free) suspension SX of a topological space X can be defined in several ways. 1. SX is the quotient space (X \times ,1/(X\times \, X\times \). In other words, it can be constructed as follows: * Construct the cylinder X \times ,1/math>. * Consider the entire set X\times \ as a single point ("glue" all its points together). * Consider the entire set X\times \ as a single point ("g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum (topology)
In algebraic topology, a branch of mathematics, a spectrum is an object representable functor, representing a Cohomology#Generalized cohomology theories, generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory\mathcal^*:\text^ \to \text,there exist spaces E^k such that evaluating the cohomology theory in degree k on a space X is equivalent to computing the homotopy classes of maps to the space E^k, that is\mathcal^k(X) \cong \left[X, E^k\right].Note there are several different category (mathematics), categories of spectra leading to many technical difficulties, but they all determine the same homotopy category, known as the stable homotopy category. This is one of the key points for introducing spectra because they form a natural home for stable homotopy theory. The definition of a spectrum There are many variations of the definition: in general, a ''spectrum'' is any s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Object
In category theory, a branch of mathematics, a dual object is an analogue of a dual vector space from linear algebra for objects in arbitrary monoidal categories. It is only a partial generalization, based upon the categorical properties of duality for finite-dimensional vector spaces. An object admitting a dual is called a dualizable object. In this formalism, infinite-dimensional vector spaces are not dualizable, since the dual vector space ''V''∗ doesn't satisfy the axioms. Often, an object is dualizable only when it satisfies some finiteness or compactness property. A category in which each object has a dual is called autonomous or rigid. The category of finite-dimensional vector spaces with the standard tensor product is rigid, while the category of all vector spaces is not. Motivation Let ''V'' be a finite-dimensional vector space over some field ''K''. The standard notion of a dual vector space ''V''∗ has the following property: for any ''K''-vector spaces ''U'' an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neighborhood Retract
In topology, a branch of mathematics, a retraction is a continuous mapping from a topological space into a subspace that preserves the position of all points in that subspace. The subspace is then called a retract of the original space. A deformation retraction is a mapping that captures the idea of ''continuously shrinking'' a space into a subspace. An absolute neighborhood retract (ANR) is a particularly well-behaved type of topological space. For example, every topological manifold is an ANR. Every ANR has the homotopy type of a very simple topological space, a CW complex. Definitions Retract Let ''X'' be a topological space and ''A'' a subspace of ''X''. Then a continuous map :r\colon X \to A is a retraction if the restriction of ''r'' to ''A'' is the identity map on ''A''; that is, r(a) = a for all ''a'' in ''A''. Equivalently, denoting by :\iota\colon A \hookrightarrow X the inclusion, a retraction is a continuous map ''r'' such that :r \circ \iota = \operatorname_A, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Homotopy Theory
In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the Freudenthal suspension theorem, which states that given any pointed space X, the homotopy groups \pi_(\Sigma^n X) stabilize for n sufficiently large. In particular, the homotopy groups of spheres \pi_(S^n) stabilize for n\ge k + 2. For example, :\langle \text_\rangle = \Z = \pi_1(S^1)\cong \pi_2(S^2)\cong \pi_3(S^3)\cong\cdots :\langle \eta \rangle = \Z = \pi_3(S^2)\to \pi_4(S^3)\cong \pi_5(S^4)\cong\cdots In the two examples above all the maps between homotopy groups are applications of the suspension functor. The first example is a standard corollary of the Hurewicz theorem, that \pi_n(S^n)\cong \Z. In the second example the Hopf map, \eta, is mapped to its suspension \Sigma\eta, which generates \pi_4(S^3)\cong \Z/2. One of the most i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Type
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") 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 p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Duality Theory
In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of is , then the dual of is . Such involutions sometimes have fixed points, so that the dual of is itself. For example, Desargues' theorem is self-dual in this sense under the ''standard duality in projective geometry''. In mathematical contexts, ''duality'' has numerous meanings. It has been described as "a very pervasive and important concept in (modern) mathematics" and "an important general theme that has manifestations in almost every area of mathematics". Many mathematical dualities between objects of two types correspond to pairings, bilinear functions from an object of one type and another object of the second type to some family of scalars. For instance, ''linear algebra duality'' corresponds in this way to bilinear maps from pairs of vector ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
