|
Equivariant Topology
In mathematics, equivariant topology is the study of topological spaces that possess certain symmetries. In studying topological spaces, one often considers continuous maps f: X \to Y, and while equivariant topology also considers such maps, there is the additional constraint that each map "respects symmetry" in both its domain and target space. The notion of symmetry is usually captured by considering a group action of a group G on X and Y and requiring that f is equivariant under this action, so that f(g\cdot x) = g \cdot f(x) for all x \in X, a property usually denoted by f: X \to_ Y. Heuristically speaking, standard topology views two spaces as equivalent "up to deformation," while equivariant topology considers spaces equivalent up to deformation so long as it pays attention to any symmetry possessed by both spaces. A famous theorem of equivariant topology is the Borsuk–Ulam theorem, which asserts that every \mathbf_2-equivariant map f: S^n \to \mathbb R^n necessarily v ... [...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] |
Equivariant Cohomology
In mathematics, equivariant cohomology (or ''Borel cohomology'') is a cohomology theory from algebraic topology which applies to topological spaces with a ''group action''. It can be viewed as a common generalization of group cohomology and an ordinary cohomology theory. Specifically, the equivariant cohomology ring of a space X with action of a topological group G is defined as the ordinary cohomology ring with coefficient ring \Lambda of the homotopy quotient EG \times_G X: :H_G^*(X; \Lambda) = H^*(EG \times_G X; \Lambda). If G is the trivial group, this is the ordinary cohomology ring of X, whereas if X is contractible, it reduces to the cohomology ring of the classifying space BG (that is, the group cohomology of G when ''G'' is finite.) If ''G'' acts freely on ''X'', then the canonical map EG \times_G X \to X/G is a homotopy equivalence and so one gets: H_G^*(X; \Lambda) = H^*(X/G; \Lambda). Definitions It is also possible to define the equivariant cohomology H_G^*(X;A) o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Actions
In mathematics, a group action of a group G on a set S is a group homomorphism from G to some group (under function composition) of functions from S to itself. It is said that G acts on S. Many sets of transformations form a group under function composition; for example, the rotations around a point in the plane. It is often useful to consider the group as an abstract group, and to say that one has a group action of the abstract group that consists of performing the transformations of the group of transformations. The reason for distinguishing the group from the transformations is that, generally, a group of transformations of a structure acts also on various related structures; for example, the above rotation group also acts on triangles by transforming triangles into triangles. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
G-spectrum
In algebraic topology, a G-spectrum is a spectrum A spectrum (: spectra or spectrums) is a set of related ideas, objects, or properties whose features overlap such that they blend to form a continuum. The word ''spectrum'' was first used scientifically in optics to describe the rainbow of co ... with an action of a (finite) group. Let ''X'' be a spectrum with an action of a finite group ''G''. The important notion is that of the homotopy fixed point set X^. There is always :X^G \to X^, a map from the fixed point spectrum to a homotopy fixed point spectrum (because, by definition, X^ is the mapping spectrum F(BG_+, X)^G). Example: \mathbb/2 acts on the complex ''K''-theory ''KU'' by taking the conjugate bundle of a complex vector bundle. Then KU^ = KO, the real ''K''-theory. The cofiber of X_ \to X^ is called the Tate spectrum of ''X''. ''G''-Galois extension in the sense of Rognes This notion is due to J. Rognes . Let ''A'' be an E∞-ring with an action of a finit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivariant Stable Homotopy Theory
In mathematics, more specifically in topology, the equivariant stable homotopy theory is a subfield of equivariant topology that studies a spectrum with group action In mathematics, a group action of a group G on a set S is a group homomorphism from G to some group (under function composition) of functions from S to itself. It is said that G acts on S. Many sets of transformations form a group under ... instead of a space with group action, as in stable homotopy theory. The field has become more active recently because of its connection to algebraic K-theory. See also * Equivariant K-theory * G-spectrum (spectrum with an action of an (appropriate) group ''G'') References External linksCreating Equivariant Stable Homotopy Theory Homotopy theory {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Even And Odd Functions
In mathematics, an even function is a real function such that f(-x)=f(x) for every x in its domain. Similarly, an odd function is a function such that f(-x)=-f(x) for every x in its domain. They are named for the parity of the powers of the power functions which satisfy each condition: the function f(x) = x^n is even if ''n'' is an even integer, and it is odd if ''n'' is an odd integer. Even functions are those real functions whose graph is self-symmetric with respect to the and odd functions are those whose graph is self-symmetric with respect to the origin. If the domain of a real function is self-symmetric with respect to the origin, then the function can be uniquely decomposed as the sum of an even function and an odd function. Early history The concept of even and odd functions appears to date back to the early 18th century, with Leonard Euler playing a significant role in their formalization. Euler introduced the concepts of even and odd functions (using La ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Circle
In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Euclidean plane. In topology, it is often denoted as because it is a one-dimensional unit -sphere. If is a point on the unit circle's circumference, then and are the lengths of the legs of a right triangle whose hypotenuse has length 1. Thus, by the Pythagorean theorem, and satisfy the equation x^2 + y^2 = 1. Since for all , and since the reflection of any point on the unit circle about the - or -axis is also on the unit circle, the above equation holds for all points on the unit circle, not only those in the first quadrant. The interior of the unit circle is called the open unit disk, while the interior of the unit circle combined with the unit circle itself is called the closed unit disk. One may also use other notions of "dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stiefel–Whitney Class
In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of sections of the vector bundle. Stiefel–Whitney classes are indexed from 0 to ''n'', where ''n'' is the rank of the vector bundle. If the Stiefel–Whitney class of index ''i'' is nonzero, then there cannot exist (n-i+1) everywhere linearly independent sections of the vector bundle. A nonzero ''n''th Stiefel–Whitney class indicates that every section of the bundle must vanish at some point. A nonzero first Stiefel–Whitney class indicates that the vector bundle is not orientable. For example, the first Stiefel–Whitney class of the Möbius strip, as a line bundle over the circle, is not zero, whereas the first Stiefel–Whitney class of the trivial line bundle over the circle, S^1 \times\R, is zero. The Stiefel–Whitney class w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called scalar (mathematics), ''scalars''. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. Real vector spaces and complex vector spaces are kinds of vector spaces based on different kinds of scalars: real numbers and complex numbers. Scalars can also be, more generally, elements of any field (mathematics), field. Vector spaces generalize Euclidean vectors, which allow modeling of Physical quantity, physical quantities (such as forces and velocity) that have not only a Magnitude (mathematics), magnitude, but also a Orientation (geometry), direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix (mathematics), matrices, which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathematics), modules, vector spaces, lattice (order), lattices, and algebra over a field, algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variable (mathematics), variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in mathematical education, pedagogy. Algebraic structures, with their associated homomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Geometry
Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geometric objects, such as points, lines, planes, circles, spheres, polygons, and so forth. The subject focuses on the combinatorial properties of these objects, such as how they intersect one another, or how they may be arranged to cover a larger object. Discrete geometry has a large overlap with convex geometry and computational geometry, and is closely related to subjects such as finite geometry, combinatorial optimization, digital geometry, discrete differential geometry, geometric graph theory, toric geometry, and combinatorial topology. History Polyhedra and tessellations had been studied for many years by people such as Kepler and Cauchy, modern discrete geometry has its origins in the late 19th century. Early topics s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ham Sandwich Theorem
In mathematical measure theory, for every positive integer the ham sandwich theorem states that given measurable "objects" in -dimensional Euclidean space, it is possible to divide each one of them in half (with respect to their Measure (mathematics), measure, e.g. volume) with a single -dimensional hyperplane. This is possible even if the objects overlap. It was proposed by Hugo Steinhaus and proved by Stefan Banach (explicitly in dimension 3, without stating the theorem in the -dimensional case), and also years later called the Stone–Tukey theorem after Arthur Harold Stone, Arthur H. Stone and John Tukey. Naming The ham sandwich theorem takes its name from the case when and the three objects to be bisected are the ingredients of a ham sandwich. Sources differ on whether these three ingredients are two slices of bread and a piece of ham , bread and cheese and ham , or bread and butter and ham . In two dimensions, the theorem is known as the pancake theorem to refer to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
