|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| '''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 (mathematician)|Jakob Nielsen]], and bear his name.
| | Emilia Shryock is my name but you can call me something you like. Body developing is what my family and I appreciate. California is exactly where her home is but she requirements to move because of her family members. My working day job is a librarian.<br><br>Feel free to visit my web blog: std testing at home; [http://www.hurtdating.com/groups/candida-albicans-tips-you-have-to-remember/ Click On this page], |
| | |
| The theory developed in the study of the so-called ''minimal number'' of a [[map (mathematics)|map]] ''f'' from a [[compact (topology)|compact]] space to itself, denoted ''MF''[''f'']. This is defined as:
| |
| :<math>\mathit{MF}[f] = \min \{ \# \mathrm{Fix}(g) \, | \, g \sim f \},</math>
| |
| 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]] on the set of fixed points of a self-map ''f'' on a space ''X''. We say that ''x'' is equivalent to ''y'' if and only if there exists a [[path (topology)|path]] ''c'' from ''x'' to ''y'' with ''f''(''c'') homotopic to ''c'' as paths. The equivalence classes with respect to this relation are called the '''Nielsen classes''' of ''f'', and the '''Nielsen number''' ''N''(''f'') is defined as the number of Nielsen classes having non-zero [[fixed point index]] sum.
| |
| | |
| Nielsen proved that
| |
| :<math>N(f) \le \mathit{MF}[f],</math>
| |
| making his invariant a good tool for estimating the much more difficult ''MF''[''f'']. This leads immediately to what is now known as the '''Nielsen fixed point theorem:''' ''Any map f has at least N(f) fixed points.''
| |
| | |
| Because of its definition in terms of the [[fixed point index]], the Nielsen number is closely related to the [[Lefschetz number]]. Indeed, shortly after Nielsen's initial work, the two invariants were combined into a single "generalized Lefschetz number" (more recently called the [[Reidemeister trace]]) by [[Wecken]] and [[Reidemeister]].
| |
| | |
| ==Bibliography==
| |
| *{{cite book
| |
| | last=[[Werner Fenchel|Fenchel]]
| |
| | first=[[Werner Fenchel|Werner]]
| |
| | coauthors=[[Jakob Nielsen (mathematician)|Nielsen, Jakob]]; edited by Asmus L. Schmidt
| |
| | title=Discontinuous groups of isometries in the hyperbolic plane
| |
| | series=De Gruyter Studies in mathematics
| |
| | volume=29
| |
| | publisher=Walter de Gruyter & Co.
| |
| | location=Berlin
| |
| | year=2003
| |
| }}
| |
| | |
| ==External links==
| |
| *[http://at.yorku.ca/t/a/i/c/39.htm Survey article on Nielsen theory] by Robert F. Brown at [[Topology Atlas]]
| |
| | |
| [[Category:Fixed-point theorems]]
| |
| [[Category:Fixed points (mathematics)]]
| |
| [[Category:Topology]]
| |
Emilia Shryock is my name but you can call me something you like. Body developing is what my family and I appreciate. California is exactly where her home is but she requirements to move because of her family members. My working day job is a librarian.
Feel free to visit my web blog: std testing at home; Click On this page,