|
Nielsen Fixed-point Theorem
Nielsen theory is a branch of mathematical research with its origins in topological fixed-point theory. Its central ideas were developed by Danish mathematician Jakob Nielsen, and bear his name. The theory developed in the study of the so-called ''minimal number'' of a map ''f'' from a compact space to itself, denoted ''MF'' 'f'' This is defined as: :\mathit = \min \, where ''~'' indicates homotopy of mappings, and #Fix(''g'') indicates the number of fixed points of ''g''. The minimal number was very difficult to compute in Nielsen's time, and remains so today. Nielsen's approach is to group the fixed-point set into classes, which are judged "essential" or "nonessential" according to whether or not they can be "removed" by a homotopy. Nielsen's original formulation is equivalent to the following: We define an equivalence relation In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set endowed with a structure, called a ''topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; connecte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fixed-point Theory
* Fixed point, in quantum field theory, a coupling where the beta function vanishes – see
{{disambiguation, math ...
Fixed point may refer to: * Fixed point (mathematics), a value that does not change under a given transformation * Fixed-point arithmetic, a manner of doing arithmetic on computers * Fixed point, a benchmark (surveying) used by geodesists * Fixed point join, also called a recursive join The recursive join is an operation used in relational databases, also sometimes called a "fixed-point join". It is a compound operation that involves repeating the join operation, typically accumulating more records each time, until a repetition ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jakob Nielsen (mathematician)
Jakob Nielsen (15 October 1890 in Mjels, Als – 3 August 1959 in Helsingør) was a Danish mathematician known for his work on automorphisms of surfaces. He was born in the village Mjels on the island of Als in North Schleswig, in modern-day Denmark. His mother died when he was 3, and in 1900 he went to live with his aunt and was enrolled in the Realgymnasium. In 1907 he was expelled for membership to an illicit student club. Nevertheless, he matriculated at the University of Kiel in 1908. Nielsen completed his doctoral dissertation in 1913. Soon thereafter, he was drafted into the German Imperial Navy. He was assigned to coastal defense. In 1915 he was sent to Constantinople as a military adviser to the Turkish Government. After the war, in the spring of 1919, Nielsen married Carola von Pieverling, a German medical doctor. In 1920 Nielsen took a position at the Technical University of Breslau. The next year he published a paper in Mathematisk Tidsskrift in which he pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Map (mathematics)
In mathematics, a map or mapping is a function in its general sense. These terms may have originated as from the process of making a geographical map: ''mapping'' the Earth surface to a sheet of paper. The term ''map'' may be used to distinguish some special types of functions, such as homomorphisms. For example, a linear map is a homomorphism of vector spaces, while the term linear function may have this meaning or it may mean a linear polynomial. In category theory, a map may refer to a morphism. The term ''transformation'' can be used interchangeably, but ''transformation'' often refers to a function from a set to itself. There are also a few less common uses in logic and graph theory. Maps as functions In many branches of mathematics, the term ''map'' is used to mean a function, sometimes with a specific property of particular importance to that branch. For instance, a "map" is a " continuous function" in topology, a "linear transformation" in linear algebra, etc. Some ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact (topology)
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''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 topologic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation. Each equivalence relation provides a partition of the underlying set into disjoint equivalence classes. Two elements of the given set are equivalent to each other if and only if they belong to the same equivalence class. Notation Various notations are used in the literature to denote that two elements a and b of a set are equivalent with respect to an equivalence relation R; the most common are "a \sim b" and "", which are used when R is implicit, and variations of "a \sim_R b", "", or "" to specify R explicitly. Non-equivalence may be written "" or "a \not\equiv b". Definition A binary relation \,\sim\, on a set X is said to be an equivalence relation, if and only if it is reflexive, symmetric and transitive. That is, for all a, b, and c in X: * a \sim a ( ref ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Path (topology)
In mathematics, a path in a topological space X is a continuous function from the closed unit interval , 1/math> into X. Paths play an important role in the fields of topology and mathematical analysis. For example, a topological space for which there exists a path connecting any two points is said to be path-connected. Any space may be broken up into path-connected components. The set of path-connected components of a space X is often denoted \pi_0(X). One can also define paths and loops in pointed spaces, which are important in homotopy theory. If X is a topological space with basepoint x_0, then a path in X is one whose initial point is x_0. Likewise, a loop in X is one that is based at x_0. Definition A ''curve'' in a topological space X is a continuous function f : J \to X from a non-empty and non-degenerate interval J \subseteq \R. A in X is a curve f : , b\to X whose domain , b/math> is a compact non-degenerate interval (meaning a is homeomorphic to , 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fixed-point Index
In mathematics, the fixed-point index is a concept in topological fixed-point theory, and in particular Nielsen theory. The fixed-point index can be thought of as a multiplicity measurement for fixed points. The index can be easily defined in the setting of complex analysis: Let ''f''(''z'') be a holomorphic mapping on the complex plane, and let ''z''0 be a fixed point of ''f''. Then the function ''f''(''z'') − ''z'' is holomorphic, and has an isolated zero at ''z''0. We define the fixed-point index of ''f'' at ''z''0, denoted ''i''(''f'', ''z''0), to be the multiplicity of the zero of the function ''f''(''z'') − ''z'' at the point ''z''0. In real Euclidean space, the fixed-point index is defined as follows: If ''x''0 is an isolated fixed point of ''f'', then let ''g'' be the function defined by :g(x) = \frac. Then ''g'' has an isolated singularity at ''x''0, and maps the boundary of some deleted neighborhood of ''x''0 to the unit sphere. We define ''i'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lefschetz Number
In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X. It is named after Solomon Lefschetz, who first stated it in 1926. The counting is subject to an imputed multiplicity at a fixed point called the fixed-point index. A weak version of the theorem is enough to show that a mapping without ''any'' fixed point must have rather special topological properties (like a rotation of a circle). Formal statement For a formal statement of the theorem, let :f\colon X \rightarrow X\, be a continuous map from a compact triangulable space X to itself. Define the Lefschetz number \Lambda_f of f by :\Lambda_f:=\sum_(-1)^k\mathrm(f_*, H_k(X,\Q)), the alternating (finite) sum of the matrix traces of the linear maps induced by f on H_k(X,\Q), the singular homology groups of X with rational coefficients. A simple versi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reidemeister Trace
Kurt Werner Friedrich Reidemeister (13 October 1893 – 8 July 1971) was a mathematician born in Braunschweig (Brunswick), Germany. Life He was a brother of Marie Neurath. Beginning in 1912, he studied in Freiburg, Munich, Marburg, and Göttingen. In 1920, he got the staatsexamen (master's degree) in mathematics, philosophy, physics, chemistry, and geology. He received his doctorate in 1921 with a thesis in algebraic number theory at the University of Hamburg under the supervision of Erich Hecke. He became interested in differential geometry; he edited Wilhelm Blaschke's 2nd volume about that issue, and both made an acclaimed contribution to the Jena DMV conference in Sep 1921. In October 1922 (or 1923) he was appointed assistant professor at the University of Vienna. While there he became familiar with the work of Wilhelm Wirtinger on knot theory, and became closely connected to Hans Hahn and the Vienna Circle. Its manifesto (1929) lists one of Reidemeister's publications in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
