|
Protorus
In mathematics, a protorus is a compact space, compact connected space, connected topological abelian group. Equivalently, it is a projective limit of torus, tori (products of a finite number of copies of the circle group), or the Pontryagin dual of a discrete torsion-free abelian group. Some examples of protori are given by solenoid groups. See also * Duocylinder - Cartesian product of two Disk_(mathematics), disks * Proprism References * Topological groups {{abstract-algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Abelian Group
In mathematics, a topological abelian group, or TAG, is a topological group that is also an abelian group. That is, a TAG is both a Group (algebra), group and a topological space, the group operations are Continuous (topology), continuous, and the group's binary operation is commutative. The theory of topological groups applies also to TAGs, but more can be done with TAGs. Locally compact space, Locally compact TAGs, in particular, are used heavily in harmonic analysis. See also * * * * * * * * * , a topological abelian group that is compact and connected * * * * * * * References * *''Fourier analysis on Groups'', by Walter Rudin. Abelian group theory Topology Topological groups {{group-theory-stub ... [...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] |
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] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union (set theory), union of two or more disjoint set, disjoint Empty set, non-empty open (topology), open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a Subspace topology, subspace of X. Some related but stronger conditions are #Path connectedness, path connected, Simply connected space, simply connected, and N-connected space, n-connected. Another related notion is Locally connected space, locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Limit
In mathematics, the inverse limit (also called the projective limit) is a construction that allows one to "glue together" several related objects, the precise gluing process being specified by morphisms between the objects. Thus, inverse limits can be defined in any category although their existence depends on the category that is considered. They are a special case of the concept of limit in category theory. By working in the dual category, that is by reversing the arrows, an inverse limit becomes a direct limit or ''inductive limit'', and a ''limit'' becomes a colimit. Formal definition Algebraic objects We start with the definition of an inverse system (or projective system) of groups and homomorphisms. Let (I, \leq) be a directed poset (not all authors require ''I'' to be directed). Let (''A''''i'')''i''∈''I'' be a family of groups and suppose we have a family of homomorphisms f_: A_j \to A_i for all i \leq j (note the order) with the following properties: # f_ is t ... [...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] |
Circle Group
In mathematics, the circle group, denoted by \mathbb T or , is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers \mathbb T = \. The circle group forms a subgroup of , the multiplicative group of all nonzero complex numbers. Since \C^\times is abelian, it follows that \mathbb T is as well. A unit complex number in the circle group represents a rotation of the complex plane about the origin and can be parametrized by the angle measure : \theta \mapsto z = e^ = \cos\theta + i\sin\theta. This is the exponential map for the circle group. The circle group plays a central role in Pontryagin duality and in the theory of Lie groups. The notation \mathbb T for the circle group stems from the fact that, with the standard topology (see below), the circle group is a 1-torus. More generally, \mathbb T^n (the direct product of \mathbb T with itself n times) is geometrically an n-toru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pontryagin Dual
In mathematics, Pontryagin duality is a duality (mathematics), duality between locally compact abelian groups that allows generalizing Fourier transform to all such groups, which include the circle group (the multiplicative group of complex numbers of Absolute_value#Complex_numbers, modulus one), the finite abelian groups (with the discrete topology), and the additive group of the integers (also with the discrete topology), the real numbers, and every dimension (vector space), finite-dimensional vector space over the reals or a p-adic field, -adic field. The Pontryagin dual of a locally compact abelian group is the locally compact abelian topological group, consisting of the continuous group homomorphisms from the group to the circle group, with the operation of pointwise multiplication and the topology of uniform convergence on compact sets. The Pontryagin duality theorem establishes Pontryagin duality by stating that any locally compact abelian group is naturally isomorphic wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after the Norwegian mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation ･ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solenoid Group
upright=1.20, An illustration of a solenoid upright=1.20, Magnetic field created by a seven-loop solenoid (cross-sectional view) described using field lines A solenoid () is a type of electromagnet formed by a helix, helical coil of wire whose length is substantially greater than its diameter, which generates a controlled magnetic field. The coil can produce a uniform magnetic field in a volume of space when an electric current is passed through it. André-Marie Ampère coined the term ''solenoid'' in 1823, having conceived of the device in 1820. The French term originally created by Ampère is ''solénoïde'', which is a French transliteration of the Greek word '' σωληνοειδὴς'' which means ''tubular''. The helical coil of a solenoid does not necessarily need to revolve around a straight-line axis; for example, William Sturgeon's electromagnet of 1824 consisted of a solenoid bent into a horseshoe shape (similarly to an arc spring). Solenoids provide magnetic fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Duocylinder
The duocylinder, also called the double cylinder or the bidisc, is a geometric object embedded in 4-dimensional Euclidean space, defined as the Cartesian product of two disks of respective radii ''r''1 and ''r''2: :D = \left\ It is similar to a cylinder in 3-space, which is the Cartesian product of a disk with a line segment. But unlike the cylinder, both hypersurfaces (of a regular duocylinder) are congruent. Its dual is a duospindle, constructed from two circles, one in the -plane and the other in the -plane. Geometry Bounding 3-manifolds The duocylinder is bounded by two mutually perpendicular 3-manifolds with torus-like surfaces, respectively described by the formulae: :x^2 + y^2 = r_1^2, z^2 + w^2 \leq r_2^2 and :z^2 + w^2 = r_2^2, x^2 + y^2 \leq r_1^2 The duocylinder is so called because these two bounding 3-manifolds may be thought of as 3-dimensional cylinders 'bent around' in 4-dimensional space such that they form closed loops in the - and - planes. The duo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartesian Product
In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is A\times B = \. A table can be created by taking the Cartesian product of a set of rows and a set of columns. If the Cartesian product is taken, the cells of the table contain ordered pairs of the form . One can similarly define the Cartesian product of sets, also known as an -fold Cartesian product, which can be represented by an -dimensional array, where each element is an -tuple. An ordered pair is a 2-tuple or couple. More generally still, one can define the Cartesian product of an indexed family of sets. The Cartesian product is named after René Descartes, whose formulation of analytic geometry gave rise to the concept, which is further generalized in terms of direct product. Set-theoretic definition A rigorous definition of the Cartesian product re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
