|
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy groups record information ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torus
In geometry, a torus (: tori or toruses) is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanarity, coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution, also known as a ring torus. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a Lemon (geometry), spindle torus (or ''self-crossing torus'' or ''self-intersecting torus''). If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology Theory
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] |
Poincaré Duality
In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology (mathematics), homology and cohomology group (mathematics), groups of manifolds. It states that if ''M'' is an ''n''-dimensional Orientability, oriented closed manifold (Compact space, compact and without boundary), then the ''k''th cohomology group of ''M'' is Group isomorphism, isomorphic to the th homology group of ''M'', for all integers ''k'' : H^k(M) \cong H_(M). Poincaré duality holds for any coefficient ring (mathematics), ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation. History A form of Poincaré duality was first stated, without proof, by Henri Poincaré in 1893. It was stated in terms of Betti numbers: The ''k''th and th Betti numbers of a closed (i.e., compact and witho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Projective Plane
In mathematics, the real projective plane, denoted or , is a two-dimensional projective space, similar to the familiar Euclidean plane in many respects but without the concepts of distance, circles, angle measure, or parallelism. It is the setting for planar projective geometry, in which the relationships between objects are not considered to change under projective transformations. The name ''projective'' comes from perspective drawing: projecting an image from one plane onto another as viewed from a point outside either plane, for example by photographing a flat painting from an oblique angle, is a projective transformation. The fundamental objects in the projective plane are points and straight lines, and as in Euclidean geometry, every pair of points determines a unique line passing through both, but unlike in the Euclidean case in projective geometry every pair of lines also determines a unique point at their intersection (in Euclidean geometry, parallel lines never in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Klein Bottle
In mathematics, the Klein bottle () is an example of a Orientability, non-orientable Surface (topology), surface; that is, informally, a one-sided surface which, if traveled upon, could be followed back to the point of origin while flipping the traveler upside down. More formally, the Klein bottle is a two-dimensional manifold on which one cannot define a normal vector at each point that varies continuous function, continuously over the whole manifold. Other related non-orientable surfaces include the Möbius strip and the real projective plane. While a Möbius strip is a surface with a Boundary (topology), boundary, a Klein bottle has no boundary. For comparison, a sphere is an orientable surface with no boundary. The Klein bottle was first described in 1882 by the mathematician Felix Klein. Construction The following square is a fundamental polygon of the Klein bottle. The idea is to 'glue' together the corresponding red and blue edges with the arrows matching, as in the diagr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torus
In geometry, a torus (: tori or toruses) is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanarity, coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution, also known as a ring torus. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a Lemon (geometry), spindle torus (or ''self-crossing torus'' or ''self-intersecting torus''). If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sphere
A sphere (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, a sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the center (geometry), ''center'' of the sphere, and the distance is the sphere's ''radius''. The earliest known mentions of spheres appear in the work of the Greek mathematics, ancient Greek mathematicians. The sphere is a fundamental surface in many fields of mathematics. Spheres and nearly-spherical shapes also appear in nature and industry. Bubble (physics), Bubbles such as soap bubbles take a spherical shape in equilibrium. The Earth is spherical Earth, often approximated as a sphere in geography, and the celestial sphere is an important concept in astronomy. Manufactured items including pressure vessels and most curved mirrors and lenses are based on spheres. Spheres rolling, roll smoothly in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plane (geometry)
In mathematics, a Euclidean plane is a Euclidean space of dimension two, denoted \textbf^2 or \mathbb^2. It is a geometric space in which two real numbers are required to determine the position of each point. It is an affine space, which includes in particular the concept of parallel lines. It has also metrical properties induced by a distance, which allows to define circles, and angle measurement. A Euclidean plane with a chosen Cartesian coordinate system is called a '' Cartesian plane''. The set \mathbb^2 of the ordered pairs of real numbers (the real coordinate plane), equipped with the dot product, is often called ''the'' Euclidean plane or ''standard Euclidean plane'', since every Euclidean plane is isomorphic to it. History Books I through IV and VI of Euclid's Elements dealt with two-dimensional geometry, developing such notions as similarity of shapes, the Pythagorean theorem (Proposition 47), equality of angles and areas, parallelism, the sum of the angles ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces'' of any positive integer dimension ''n'', which are called Euclidean ''n''-spaces when one wants to specify their dimension. For ''n'' equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of '' proving'' all properties of the space as theorems, by starting from a few fundamental properties, called '' postulates'', which either were considered as evid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chain (algebraic Topology)
In algebraic topology, a -chain is a formal linear combination of the -cells in a cell complex. In simplicial complexes (respectively, cubical complexes), -chains are combinations of -simplices (respectively, -cubes), but not necessarily connected. Chains are used in homology; the elements of a homology group are equivalence classes of chains. Definition For a simplicial complex X, the group C_n(X) of n-chains of X is given by: C_n(X) = \left\ where \sigma_i are singular n-simplices of X. Note that an element in C_n(X) is not necessarily a connected simplicial complex. Integration on chains Integration is defined on chains by taking the linear combination of integrals over the simplices in the chain with coefficients (which are typically integers). The set of all ''k''-chains forms a group and the sequence of these groups is called a chain complex. Boundary operator on chains The boundary of a chain is the linear combination of boundaries of the simplices in the chain. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology (mathematics)
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 group, 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 space, 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 complexes, cochain complex, giving rise to various cohomology theories, in addition to the notion of the cohomology of a topological space. Ho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Structure
In mathematics, an algebraic structure or algebraic system consists of a nonempty set ''A'' (called the underlying set, carrier set or domain), a collection of operations on ''A'' (typically binary operations such as addition and multiplication), and a finite set of identities (known as ''axioms'') that these operations must satisfy. An algebraic structure may be based on other algebraic structures with operations and axioms involving several structures. For instance, a vector space involves a second structure called a field, and an operation called ''scalar multiplication'' between elements of the field (called '' scalars''), and elements of the vector space (called '' vectors''). Abstract algebra is the name that is commonly given to the study of algebraic structures. The general theory of algebraic structures has been formalized in universal algebra. Category theory is another formalization that includes also other mathematical structures and functions between structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
