Loop (topology)
In mathematics, a loop in a topological space is a continuous function from the unit interval to such that In other words, it is a path whose initial point is equal to its terminal point.. A loop may also be seen as a continuous map from the pointed unit circle into , because may be regarded as a quotient of under the identification of 0 with 1. The set of all loops in forms a space called the loop space of . See also *Free loop *Loop group *Loop space *Loop algebra *Fundamental group *Quasigroup In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible. Quasigroups differ from groups mainly in that they need not be associative and need not have ... References Topology es:Grupo fundamental#Lazo {{topology-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fundamental Group Torus2
Fundamental may refer to: * Foundation of reality * Fundamental frequency, as in music or phonetics, often referred to as simply a "fundamental" * Fundamentalism, the belief in, and usually the strict adherence to, the simple or "fundamental" ideas based on faith in a system of thought * ''The Fundamentals'', a set of books important to Christian fundamentalism * Any of a number of fundamental theorems identified in mathematics, such as: ** Fundamental theorem of algebra, awe theorem regarding the factorization of polynomials ** Fundamental theorem of arithmetic, a theorem regarding prime factorization * Fundamental analysis, the process of reviewing and analyzing a company's financial statements to make better economic decisions Music * Fun-Da-Mental, a rap group * Fundamental (Bonnie Raitt album), ''Fundamental'' (Bonnie Raitt album), 1998 * Fundamental (Pet Shop Boys album), ''Fundamental'' (Pet Shop Boys album) * Fundamental (Puya album), ''Fundamental'' (Puya album), 1999 * ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Loop Space
In topology, a branch of mathematics, the loop space Ω''X'' of a pointed topological space ''X'' is the space of (based) loops in ''X'', i.e. continuous pointed maps from the pointed circle ''S''1 to ''X'', equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an ''A''∞-space. That is, the multiplication is homotopy-coherently associative. The set of path components of Ω''X'', i.e. the set of based-homotopy equivalence classes of based loops in ''X'', is a group, the fundamental group ''π''1(''X''). The iterated loop spaces of ''X'' are formed by applying Ω a number of times. There is an analogous construction for topological spaces without basepoint. The free loop space of a topological space ''X'' is the space of maps from the circle ''S''1 to ''X'' with the compact-open topology. The free loop space of ''X'' is often denoted by \mathcalX. As a functor, the free loop space construction is righ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quasigroup
In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible. Quasigroups differ from groups mainly in that they need not be associative and need not have an identity element. A quasigroup with an identity element is called a loop. Definitions There are at least two structurally equivalent formal definitions of quasigroup. One defines a quasigroup as a set with one binary operation, and the other, from universal algebra, defines a quasigroup as having three primitive operations. The homomorphic image of a quasigroup defined with a single binary operation, however, need not be a quasigroup. We begin with the first definition. Algebra A quasigroup is a non-empty set ''Q'' with a binary operation ∗ (that is, a magma, indicating that a quasigroup has to satisfy closure property), obeying the Latin square property. This states that, for each ''a'' and ''b'' in ''Q'', there exist uniqu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fundamental Group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger case of homeomorphic) have isomorphic fundamental groups. The fundamental group of a topological space X is denoted by \pi_1(X). Intuition Start with a space (for example, a surface), and some point in it, and all the loops both starting and ending at this point— paths that start at this point, wander around and eventually return to the starting point. Two loops can be combined in an obvious way: travel along the first loop, then along the second. Two loops are considered equivalent if one can be deformed into the other without breakin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Loop Algebra
In mathematics, loop algebras are certain types of Lie algebras, of particular interest in theoretical physics. Definition For a Lie algebra \mathfrak over a field K, if K ,t^/math> is the space of Laurent polynomials, then L\mathfrak := \mathfrak\otimes K ,t^ with the inherited bracket \otimes t^m, Y\otimes t^n= ,Yotimes t^. Geometric definition If \mathfrak is a Lie algebra, the tensor product of \mathfrak with , the algebra of (complex) smooth functions over the circle manifold (equivalently, smooth complex-valued periodic functions of a given period), \mathfrak\otimes C^\infty(S^1), is an infinite-dimensional Lie algebra with the Lie bracket given by _1\otimes f_1,g_2 \otimes f_2 _1,g_2otimes f_1 f_2. Here and are elements of \mathfrak and and are elements of . This isn't precisely what would correspond to the direct product of infinitely many copies of \mathfrak, one for each point in , because of the smoothness restriction. Instead, it can be thought of in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Loop Space
In topology, a branch of mathematics, the loop space Ω''X'' of a pointed topological space ''X'' is the space of (based) loops in ''X'', i.e. continuous pointed maps from the pointed circle ''S''1 to ''X'', equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an ''A''∞-space. That is, the multiplication is homotopy-coherently associative. The set of path components of Ω''X'', i.e. the set of based-homotopy equivalence classes of based loops in ''X'', is a group, the fundamental group ''π''1(''X''). The iterated loop spaces of ''X'' are formed by applying Ω a number of times. There is an analogous construction for topological spaces without basepoint. The free loop space of a topological space ''X'' is the space of maps from the circle ''S''1 to ''X'' with the compact-open topology. The free loop space of ''X'' is often denoted by \mathcalX. As a functor, the free loop space construction is righ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Loop Group
In mathematics, a loop group is a Group (mathematics), group of Loop (topology), loops in a topological group ''G'' with multiplication defined pointwise. Definition In its most general form a loop group is a group of continuous mappings from a manifold to a topological group . More specifically, let , the circle in the complex plane, and let denote the Topological space, space of Continuous function (topology), continuous maps , i.e. :LG = \, equipped with the compact-open topology. An element of is called a ''loop'' in . Pointwise multiplication of such loops gives the structure of a topological group. Parametrize with , :\gamma:\theta \in S^1 \mapsto \gamma(\theta) \in G, and define multiplication in by :(\gamma_1 \gamma_2)(\theta) \equiv \gamma_1(\theta)\gamma_2(\theta). Associativity follows from associativity in . The inverse is given by :\gamma^:\gamma^(\theta) \equiv \gamma(\theta)^, and the identity by :e:\theta \mapsto e \in G. The space is called the free ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Free Loop
"Free Loop (One Night Stand)" (titled as "Free Loop" on ''Daniel Powter'') is a song written by Canadian singer Daniel Powter. It was his second single and the follow-up to his successful song, " Bad Day". In the United Kingdom, WEA failed to realize the single was deemed ineligible to chart since "Bad Day" was included as B-side whilst still being in the UK top 40 at the time. In the US, it did not chart on the ''Billboard'' Hot 100, but it did reach the top 30 of the ''Billboard'' Adult Contemporary chart. The song was featured in Cheetah Mobile's 2016 iOS/Android app Piano Tiles 2. It was also used in a 2007 advertisement showcasing the Ford I-Max in Taiwan. Music video The video, directed by Marc Webb, who also directed the music videos for " Bad Day" and "Lie to Me," shows a young Daniel Powter starting at a piano in a music store and puts his fingers on the window and magically plays the piano. The scene then cuts to an adult version of Powter, who is now able to buy th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quotient Space (topology)
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let \left(X, \tau_X\right) be a topological space, and let \,\sim\, be an equivalence relation on X. The quotient set, Y = X / \sim\, is the set of equivalence classes o ... [...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]   |
|
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 "dista ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Pointed Space
In mathematics, a pointed space or based space is a topological space with a distinguished point, the basepoint. The distinguished point is just simply one particular point, picked out from the space, and given a name, such as x_0, that remains unchanged during subsequent discussion, and is kept track of during all operations. Maps of pointed spaces (based maps) are Continuous (topology), continuous maps preserving basepoints, i.e., a map f between a pointed space X with basepoint x_0 and a pointed space Y with basepoint y_0 is a based map if it is continuous with respect to the topologies of X and Y and if f\left(x_0\right) = y_0. This is usually denoted :f : \left(X, x_0\right) \to \left(Y, y_0\right). Pointed spaces are important in algebraic topology, particularly in homotopy theory, where many constructions, such as the fundamental group, depend on a choice of basepoint. The pointed set concept is less important; it is anyway the case of a pointed discrete space. Pointed sp ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |